arxiv: 2512.08490 · v2 · submitted 2025-12-09 · 🌌 astro-ph.GA

Recognition: 2 theorem links

· Lean Theorem

Investigating ionising sources and the complex interstellar medium of GHZ2 at z=12.3

M. Castellano , L. Napolitano , B. Moreschini , A. Calabr\`o , L. Christensen , M. Llerena , T. J. L. C. Bakx , F. Belfiore

show 22 more authors

D. Bevacqua M. Dickinson A. Fontana G. Gandolfi T. Gasparetto A. Marconi S. Mascia E. Merlin T. Morishita T. Nanayakkara D. Paris L. Pentericci B. P\'erez-D\'iaz G. Roberts-Borsani S. Rojas Ruiz P. Santini T. Treu E. Vanzella B. Vulcani X. Wang I. Yoon J. Zavala

Authors on Pith no claims yet

Pith reviewed 2026-05-17 00:18 UTC · model grok-4.3

classification 🌌 astro-ph.GA

keywords high-redshift galaxiesinterstellar mediumphotoionisation modellingactive galactic nucleiemission linesgalaxy GHZ2cosmic dawn

0 comments

The pith

GHZ2 at z=12.3 has a stratified interstellar medium and requires an additional hard ionising source beyond pure stellar radiation.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

Deep NIRSpec observations of the galaxy GHZ2 at redshift 12.3 reveal prominent emission lines including He II and variable O III. Single-density models cannot reproduce the full spectrum. Multi-zone photoionisation modelling indicates that star formation occurs in a mix of low- and high-density gas regions. The failure of radiation-bounded stellar models to explain He II points to the need for a hard ionising component. Variability in O III on short timescales suggests an active nucleus is present.

Core claim

The emission spectrum of GHZ2 cannot be reproduced by single-density spectro-photometric models. Multi-zone photoionisation modelling performed with the HOMERUN code demonstrates that star formation must be occurring in a strongly stratified ISM, where both low-/intermediate-density gas and high-density regions (log(n_e/cm^{-3}) ≳ 4) coexist. The GHZ2 emission landscape is consistent with either a composite star-formation plus AGN scenario, or with star formation occurring in a combination of radiation- and matter-bounded regions. Purely radiation-bounded stellar models fail to reproduce the observed He II emission, making an additional hard ionising component unavoidable.

What carries the argument

Multi-zone photoionisation modelling using the HOMERUN code to simulate coexisting gas regions of different densities.

If this is right

Early galaxies like GHZ2 have complex, non-uniform interstellar media with both dense and diffuse gas.
An additional hard ionising source, such as an AGN, is needed to explain high-energy emission lines like He II.
The presence of matter-bounded regions allows for higher escape of ionising photons.
The N/O ratio being twice solar indicates rapid chemical enrichment in the early universe.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

Such stratified ISM structures may be common in UV-bright galaxies at z>10, affecting models of cosmic reionization.
Variability observations could be used to identify hidden AGN in other high-redshift sources.
Future multi-epoch spectroscopy might confirm if the hard component is transient or persistent.

Load-bearing premise

The HOMERUN multi-zone photoionisation models and their atomic data fully represent the relevant physics, and the O III variability is due to an active nucleus.

What would settle it

A successful fit of the emission spectrum using a single-density model with updated atomic data or non-AGN ionising sources, or repeated observations showing no O III variability.

read the original abstract

An accurate characterisation of the physical properties of galaxies at cosmic dawn is key to understanding the origin of the high abundance of UV-bright galaxies at z$\gtrsim$10. We exploit deep NIRSpec PRISM observations of GHZ2 to constrain the sources of ionising radiation and the properties of the ISM in this bright, compact, and highly ionising galaxy at z=12.3. We measure with high significance the prominent N IV, C IV, He II, O III, C III, O II, and Ne III emission features previously detected in shallower observations, and confirm the detection of the N III] $\lambda 1750$ multiplet, yielding tight constraints on the N/O ratio, which is found to be $\simeq$2 times the solar value. We also detect the Mg II $\lambda 2800$, [Fe IV] $\lambda 2833$ and Si II $\lambda 1812$ doublets, the H8+HeI $\lambda\lambda 3889$ blend, and the Si IV+O IV] $\lambda\lambda 1400$ absorption complex. The O III $\lambda 3133$ fluorescence line is only detected in the first observing epoch, implying variability on a rest-frame time span of 19 days, strongly suggesting the presence of an active nucleus. Combining the NIRSpec dataset with available optical and far-infrared constraints from MIRI and ALMA, we show that the emission spectrum of GHZ2 cannot be reproduced by single-density spectro-photometric models. Multi-zone photoionisation modelling performed with the HOMERUN code demonstrates that star formation must be occurring in a strongly stratified ISM, where both low-/intermediate-density gas and high-density regions (log($n_e$/cm$^{-3}) \gtrsim 4$) coexist. The GHZ2 emission landscape is consistent with either a composite star-formation plus AGN scenario, or with star formation occurring in a combination of radiation- and matter-bounded regions. Purely radiation-bounded stellar models fail to reproduce the observed He II emission, making an additional hard ionising component unavoidable.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Deep PRISM data on GHZ2 shows single-density stellar models fail and points to stratified ISM plus a hard ionizing component.

read the letter

The main thing to know is that this paper adds solid new spectroscopy on one of the brightest z=12.3 galaxies and uses it to argue that the ISM must be stratified with both low- and high-density gas, while pure radiation-bounded stellar models cannot explain the He II line without an extra hard source, possibly an AGN or matter-bounded regions. They also report N/O about twice solar and O III variability on a 19-day rest-frame timescale. The data quality looks good. They recover the main lines at high significance, add the N III] multiplet for the abundance ratio, and pick up weaker features like Mg II and Si IV absorption. Combining the NIRSpec spectrum with existing MIRI and ALMA photometry gives a broader view of the energy budget. The HOMERUN multi-zone fits are the clearest step beyond earlier single-zone work on similar objects. The failure of single-density models is directly tied to the line ratios they measure, which is a concrete result. The soft spot is the completeness of the model grid. The claim that radiation-bounded stellar populations are ruled out rests on how thoroughly HOMERUN explored ionization parameter, stellar libraries, and geometry. If very high-U cases or binary evolution tracks were not fully sampled, a pure star-formation solution might still be viable. The variability detection is interesting but the short timescale leaves room for other explanations besides an AGN. Overall this is observational work with clear model-fitting steps rather than a closed derivation. It is aimed at people studying cosmic dawn galaxies and reionization. Anyone working on high-z ISM or UV-bright source overabundance will find the line measurements and density constraints useful. The paper shows clear thinking and honest engagement with the data and prior models. It deserves peer review because the observations are new and high-quality, and the modeling raises testable questions even if the grid details need more scrutiny in revision.

Referee Report

2 major / 2 minor

Summary. The paper analyzes deep NIRSpec PRISM spectroscopy of the compact, UV-bright galaxy GHZ2 at z=12.3, reporting high-significance detections of N IV, C IV, He II, O III, C III, O II, Ne III, N III] λ1750, Mg II λ2800, [Fe IV] λ2833, Si II λ1812, H8+He I λλ3889, and Si IV+O IV] λλ1400, plus O III λ3133 fluorescence that varies on a 19-day rest-frame timescale. Combining these with MIRI and ALMA constraints, the authors show that single-density spectro-photometric models fail to reproduce the full emission spectrum. Multi-zone photoionisation modeling with the HOMERUN code indicates a stratified ISM containing both low/intermediate-density gas and high-density regions (log n_e ≳ 4 cm^{-3}), with N/O ≈ 2× solar. Purely radiation-bounded stellar models underpredict He II, implying that an additional hard ionising component (AGN or matter-bounded regions) is required.

Significance. If the modeling conclusions are robust, the work supplies concrete evidence for complex, density-stratified ISM conditions and the presence of a hard ionising source in one of the highest-redshift spectroscopically confirmed galaxies. The high-significance line detections, the direct N/O measurement, and the multi-epoch variability detection are clear observational strengths. The result bears on the origin of the UV-bright population at z ≳ 10 and on the relative roles of star formation versus AGN activity at cosmic dawn.

major comments (2)

[Multi-zone photoionisation modelling] Multi-zone modeling section: The central claim that 'purely radiation-bounded stellar models fail to reproduce the observed He II emission, making an additional hard ionising component unavoidable' is load-bearing for the interpretation. This conclusion rests on the specific HOMERUN grid; the manuscript does not demonstrate that the explored parameter space includes the full range of ionisation parameters, binary-evolution stellar libraries, or single-zone matter-bounded geometries that could enhance He II without an extra component. Explicit documentation of the grid boundaries, atomic data sources for high-ionisation species, and any tests of alternative single-zone configurations is required to secure the necessity of the additional hard source.
[Observations and line measurements] Variability and AGN interpretation: The O III λ3133 detection only in the first epoch is used to argue for an active nucleus on a 19-day rest-frame timescale. While the short variability is intriguing, the manuscript should quantify the significance of the non-detection in the second epoch and discuss whether changes in the stellar ionising continuum, geometric effects, or differential dust obscuration could produce the same signature without invoking an AGN.

minor comments (2)

[Results] The exact measured N/O ratio with uncertainty and the specific line ratios used to derive it should be stated explicitly in the text (with reference to the relevant table or figure) rather than only in the abstract.
[Figures] Figure captions for the emission-line fits and model comparisons should include the reduced χ² values or residual statistics so readers can assess the quality of the single-density versus multi-zone fits directly.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their constructive and detailed comments, which have helped clarify several aspects of our analysis. We address each major comment point by point below and have revised the manuscript accordingly.

read point-by-point responses

Referee: Multi-zone modeling section: The central claim that 'purely radiation-bounded stellar models fail to reproduce the observed He II emission, making an additional hard ionising component unavoidable' is load-bearing for the interpretation. This conclusion rests on the specific HOMERUN grid; the manuscript does not demonstrate that the explored parameter space includes the full range of ionisation parameters, binary-evolution stellar libraries, or single-zone matter-bounded geometries that could enhance He II without an extra component. Explicit documentation of the grid boundaries, atomic data sources for high-ionisation species, and any tests of alternative single-zone configurations is required to secure the necessity of the additional hard source.

Authors: We agree that explicit documentation of the modeling setup is required to robustly support the claim. In the revised manuscript we have added a dedicated subsection detailing the HOMERUN grid boundaries (including the full ranges of ionisation parameter, metallicity, and density), the binary-evolution stellar libraries employed, and the atomic data sources for high-ionisation species. We have also included new tests of single-zone matter-bounded geometries; these confirm that even the most extreme matter-bounded configurations underpredict He II relative to the data, reinforcing the need for an additional hard ionising component. These additions appear in the updated multi-zone modelling section. revision: yes
Referee: Variability and AGN interpretation: The O III λ3133 detection only in the first epoch is used to argue for an active nucleus on a 19-day rest-frame timescale. While the short variability is intriguing, the manuscript should quantify the significance of the non-detection in the second epoch and discuss whether changes in the stellar ionising continuum, geometric effects, or differential dust obscuration could produce the same signature without invoking an AGN.

Authors: We have revised the manuscript to quantify the non-detection and to discuss alternatives. The O III λ3133 line is undetected in the second epoch at >3.5σ significance. We now explicitly consider changes in the stellar ionising continuum, geometric effects, and differential dust obscuration as possible explanations for the variability. While these cannot be ruled out with the current data, the 19-day rest-frame timescale combined with the overall high-ionisation spectrum still favors an active nucleus or additional hard ionising source. The updated quantification and discussion have been added to the variability subsection. revision: yes

Circularity Check

0 steps flagged

No significant circularity; claims rest on direct model-data comparison

full rationale

The paper's derivation chain consists of measuring observed line fluxes from NIRSpec data, combining them with MIRI/ALMA constraints, and comparing against single-density and multi-zone photoionisation models run with the HOMERUN code. The key statements—that single-density models fail, that stratified ISM is required, and that purely radiation-bounded stellar models cannot reproduce He II—are empirical outcomes of these fits rather than quantities defined in terms of themselves or renamed predictions. The O III variability detection is a direct observational result on a 19-day rest-frame baseline. No load-bearing self-citation, ansatz smuggling, or uniqueness theorem imported from prior author work is used to force the conclusion; the modeling grid and atomic data are external tools whose completeness is a separate (non-circularity) question of parameter exploration.

Axiom & Free-Parameter Ledger

2 free parameters · 2 axioms · 0 invented entities

Abstract-only review limits visibility of exact model parameters; the work relies on standard photoionisation assumptions and fits gas densities and abundances to match the observed spectrum.

free parameters (2)

high-density gas component
log(n_e) ≳ 4 required by multi-zone modelling to reproduce the spectrum
N/O abundance ratio
Measured at approximately twice solar from line ratios

axioms (2)

domain assumption HOMERUN photoionisation models with standard atomic data accurately capture the relevant ISM physics
Invoked to interpret why single-density models fail and to support the stratified-ISM conclusion
ad hoc to paper O III variability on 19-day rest-frame timescale indicates an active nucleus
Used to argue for a composite SF+AGN scenario

pith-pipeline@v0.9.0 · 5858 in / 1455 out tokens · 121213 ms · 2026-05-17T00:18:49.665095+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/Cost/FunctionalEquation.lean (Jcost uniqueness, Aczél classification) washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Multi-zone photoionisation modelling performed with the HOMERUN code demonstrates that star formation must be occurring in a strongly stratified ISM... Purely radiation-bounded stellar models fail to reproduce the observed He II emission

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

132 extracted references · 132 canonical work pages · 1 internal anchor

[1]

Arrabal Haro P. et al. , 2023 a , , 951, L22

work page 2023
[2]

Arrabal Haro P. et al. , 2023 b , , 622, 707

work page 2023
[3]

J., Scott P., 2009, , 47, 481

Asplund M., Grevesse N., Sauval A. J., Scott P., 2009, , 47, 481

work page 2009
[4]

, 2013, , 558, A33

Astropy Collaboration et al. , 2013, , 558, A33

work page 2013
[5]

Atek H. et al. , 2023, , 524, 5486

work page 2023
[6]

Bergamini P. et al. , 2023, arXiv e-prints, arXiv:2303.10210

work page arXiv 2023
[7]

D., Pradhan A

Blum R. D., Pradhan A. K., 1992, , 80, 425

work page 1992
[8]

S., 1934, , 46, 146

Bowen I. S., 1934, , 46, 146

work page 1934
[9]

S., 1947, , 59, 196

Bowen I. S., 1947, , 59, 196

work page 1947
[10]

Bunker A. J. et al. , 2023, , 677, A88

work page 2023
[11]

Calabro A. et al. , 2024, arXiv e-prints, arXiv:2403.12683

work page arXiv 2024
[12]

C., Kinney A

Calzetti D., Armus L., Bohlin R. C., Kinney A. L., Koornneef J., Storchi-Bergmann T., 2000, , 533, 682

work page 2000
[13]

A., Clayton G

Cardelli J. A., Clayton G. C., Mathis J. S., 1989, , 345, 245

work page 1989
[14]

Carnall A. C. et al. , 2019, , 490, 417

work page 2019
[15]

C., McLure R

Carnall A. C., McLure R. J., Dunlop J. S., Dav \'e R., 2018, , 480, 4379

work page 2018
[16]

Castellano M. et al. , 2023, , 948, L14

work page 2023
[17]

Castellano M. et al. , 2022, , 938, L15

work page 2022
[18]

Castellano M. et al. , 2024, , 972, 143

work page 2024
[19]

Ceci M. et al. , 2025, arXiv e-prints, arXiv:2507.08077

work page arXiv 2025
[20]

Charbonnel C., Schaerer D., Prantzos N., Ram \' rez-Galeano L., Fragos T., Kuruvanthodi A., Marques-Chaves R., Gieles M., 2023, , 673, L7

work page 2023
[21]

Chavez Ortiz O. A. et al. , 2025, arXiv e-prints, arXiv:2511.03035

work page arXiv 2025
[22]

Curti M. et al. , 2025, , 697, A89

work page 2025
[23]

D'Antona F. et al. , 2023, , 680, L19

work page 2023
[24]

Dayal P., Maiolino R., 2025, arXiv e-prints, arXiv:2506.08116

work page arXiv 2025
[25]

A., Hartwick F

Denissenkov P. A., Hartwick F. D. A., 2014, , 437, L21

work page 2014
[26]

J., Stanway E

Eldridge J. J., Stanway E. R., Xiao L., McClelland L. A. S., Taylor G., Ng M., Greis S. M. L., Bray J. C., 2017, , 34, e058

work page 2017
[27]

Feltre A., Charlot S., Gutkin J., 2016, , 456, 3354

work page 2016
[28]

Ferland G. J. et al. , 2013, Revista Mexicana de Astronom\' a y Astrof\' sica, 49, 137

work page 2013
[29]

Fern \'a ndez-Menchero L., Zatsarinny O., Bartschat K., 2017, Journal of Physics B Atomic Molecular Physics, 50, 065203

work page 2017
[30]

Finkelstein S. L. et al. , 2022, , 940, L55

work page 2022
[31]

R., Arellano-C \'o rdova K

Flury S. R., Arellano-C \'o rdova K. Z., Moran E. C., Einsig A., 2024, arXiv e-prints, arXiv:2412.06763

work page arXiv 2024
[32]

W., Lang D., Goodman J., 2013, , 125, 306

Foreman-Mackey D., Hogg D. W., Lang D., Goodman J., 2013, , 125, 306

work page 2013
[33]

E., Mendoza C., Zeippen C

Galavis M. E., Mendoza C., Zeippen C. J., 1998, , 131, 499

work page 1998
[34]

Garilli B. et al. , 2021, , 647, A150

work page 2021
[35]

Gelli V. et al. , 2025, arXiv e-prints, arXiv:2510.01315

work page arXiv 2025
[36]

Glenn J. et al. , 2025, Journal of Astronomical Telescopes, Instruments, and Systems, 11, 031628

work page 2025
[37]

M., van Hoof P

Gunasekera C. M., van Hoof P. A. M., Chatzikos M., Ferland G. J., 2025, , 991, 203

work page 2025
[38]

Gutkin J., Charlot S., Bruzual G., 2016, , 462, 1757

work page 2016
[39]

Harikane Y. et al. , 2025, , 980, 138

work page 2025
[40]

Harikane Y., Nakajima K., Ouchi M., Umeda H., Isobe Y., Ono Y., Xu Y., Zhang Y., 2024, , 960, 56

work page 2024
[41]

Harikane Y. et al. , 2023, , 265, 5

work page 2023
[42]

J., Saldana-Lopez A., Citro A., James B

Hayes M. J., Saldana-Lopez A., Citro A., James B. L., Mingozzi M., Scarlata C., Martinez Z., Berg D. A., 2025, , 982, 14

work page 2025
[43]

M., Furlanetto S

Hegde S., Wyatt M. M., Furlanetto S. R., 2024, , 2024, 025

work page 2024
[44]

Heintz K. E. et al. , 2025 a , , 693, A60

work page 2025
[45]

Heintz K. E. et al. , 2025 b , , 987, L2

work page 2025
[46]

Heintz K. E. et al. , 2024, Science, 384, 890

work page 2024
[47]

Hirschmann M. et al. , 2023, , 526, 3610

work page 2023
[48]

S., Choi E., 2019, , 487, 333

Hirschmann M., Charlot S., Feltre A., Naab T., Somerville R. S., Choi E., 2019, , 487, 333

work page 2019
[49]

Huang H.-L., Wang Y.-T., Piao Y.-S., 2024, arXiv e-prints, arXiv:2410.05891

work page arXiv 2024
[50]

J., Gazagnes S., 2025, , 987, 82

Huberty M., Scarlata C., Hayes M. J., Gazagnes S., 2025, , 987, 82

work page 2025
[51]

Isobe Y. et al. , 2025, , 541, L71

work page 2025
[52]

G., Gawiser E., Faber S

Iyer K. G., Gawiser E., Faber S. M., Ferguson H. C., Kartaltepe J., Koekemoer A. M., Pacifici C., Somerville R. S., 2019, , 879, 116

work page 2019
[53]

Ji X., Belokurov V., Maiolino R., Monty S., Isobe Y., Kravtsov A., McClymont W., \"U bler H., 2025, arXiv e-prints, arXiv:2505.12505

work page arXiv 2025
[54]

Ji X. et al. , 2024, , 535, 881

work page 2024
[55]

Jones G. C. et al. , 2023, arXiv e-prints, arXiv:2306.02471

work page arXiv 2023
[56]

Juod z balis I. et al. , 2025, arXiv e-prints, arXiv:2504.03551

work page arXiv 2025
[57]

Kannan R. et al. , 2023, , 524, 2594

work page 2023
[58]

Kobayashi C., Ferrara A., 2024, , 962, L6

work page 2024
[59]

Kov \'a cs O. E. et al. , 2024, , 965, L21

work page 2024
[60]

Lanzuisi G. et al. , 2015, , 578, A120

work page 2015
[61]

Le F \`e vre O. et al. , 2015, , 576, A79

work page 2015
[62]

Y., Badnell N

Liang G. Y., Badnell N. R., Zhao G., 2012, , 547, A87

work page 2012
[63]

Lilly S. J. et al. , 2007, , 172, 70

work page 2007
[64]

Liu X.-W., Danziger J., 1993, , 261, 465

work page 1993
[65]

Llerena M. et al. , 2025, , 698, A302

work page 2025
[66]

A., 2012, IAU Symposium, 283, 422

Luridiana V., Morisset C., Shaw R. A., 2012, IAU Symposium, 283, 422

work page 2012
[67]

A., 2015, , 573, A42

Luridiana V., Morisset C., Shaw R. A., 2015, , 573, A42

work page 2015
[68]

Maiolino R. et al. , 2023, arXiv e-prints, arXiv:2305.12492

work page arXiv 2023
[69]

Makrygianni L. et al. , 2023, , 953, 32

work page 2023
[70]

A., 1986, , 310, 679

Malkan M. A., 1986, , 310, 679

work page 1986
[71]

Marconi A. et al. , 2024, , 689, A78

work page 2024
[72]

Marques-Chaves R. et al. , 2024, , 681, A30

work page 2024
[73]

A., Chen Z., Stark D

Mason C. A., Chen Z., Stark D. P., Lu T.-Y., Topping M., Tang M., 2025, arXiv e-prints, arXiv:2501.11702

work page arXiv 2025
[74]

Matteri A., Ferrara A., Pallottini A., 2025, , 701, A186

work page 2025
[75]

Matteri A., Pallottini A., Ferrara A., 2025, , 697, A65

work page 2025
[76]

McLeod D. J. et al. , 2024, , 527, 5004

work page 2024
[77]

Merlin E. et al. , 2022, , 938, L14

work page 2022
[78]

Merlin E., Pilo S., Fontana A., Castellano M., Paris D., Roscani V., Santini P., Torelli M., 2019, , 622, A169

work page 2019
[79]

Merlin E. et al. , 2024, , 691, A240

work page 2024
[80]

Mingozzi M. et al. , 2022, , 939, 110

work page 2022

Showing first 80 references.