Recognition: 2 theorem links
· Lean TheoremMeasurement of charged-particle production in sqrt{s_NN}=9.62 TeV proton-oxygen collisions as a probe of cosmic-ray air showers with the ATLAS detector
Pith reviewed 2026-05-10 19:15 UTC · model grok-4.3
The pith
ATLAS measures charged-particle production in 9.62 TeV proton-oxygen collisions to extract a proton-air inelastic cross section of 406 mb for cosmic-ray air shower modeling.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
This Letter presents a measurement of prompt charged-particle production in proton-oxygen interactions at 9.62 TeV with the ATLAS detector. The measured fiducial proton-oxygen cross section is 396 ± 6 (exp.) ± 9 (lumi.) mb and the extrapolated inelastic proton-air cross section is 406 ± 6 (exp.) ± 9 (lumi.) ± 28 (th.) mb. Measurements of charged-particle multiplicity, pT, and η distributions are an order-of-magnitude more precise than differences between hadronic-interaction models. These results enable improved modeling of cosmic-ray air showers.
What carries the argument
The fiducial event selection of tracks with p_T > 500 MeV and |η| < 2.5, which defines the measured proton-oxygen cross section and anchors the extrapolation to the proton-air inelastic cross section.
Load-bearing premise
The extrapolation from the measured proton-oxygen fiducial cross section to the proton-air inelastic cross section assumes Glauber nuclear geometry and hadronic models accurately describe the difference between oxygen and air nuclei.
What would settle it
A future direct measurement of the proton-air inelastic cross section near 10 TeV that falls outside the quoted 406 ± 30 mb range would invalidate the extrapolation.
read the original abstract
This Letter presents a measurement of prompt charged-particle production in proton-oxygen interactions at $\sqrt{s_\text{NN}}=9.62$ TeV center-of-mass energy with the ATLAS detector, corresponding to 634 $\mu$b$^{-1}$ of integrated luminosity. A total of 246 million selected events have at least one track with transverse momentum $p_\text{T}> 500$ MeV and pseudorapidity $|\eta|<2.5$. The measured fiducial proton-oxygen cross section is $\sigma_\text{fid.}^{p\text{O}}=396 \pm 6~(\text{exp.}) \pm 9~(\text{lumi.})~\text{mb}$ and the extrapolated inelastic proton-air cross section is $\sigma^{p+\text{air}}_\text{inel.} = 406 \pm 6~(\text{exp.}) \pm 9~(\text{lumi.}) \pm 28~(\text{th.})~\text{mb}$. Measurements of charged-particle multiplicity, $p_\text{T}$, and $\eta$ distributions are an order-of-magnitude more precise than differences between hadronic-interaction models. These results enable improved modeling of cosmic-ray air showers, which is important for astroparticle physics.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This Letter reports a measurement of prompt charged-particle production in proton-oxygen collisions at √s_NN = 9.62 TeV with the ATLAS detector, based on 634 μb^{-1} of integrated luminosity and 246 million selected events containing at least one track with p_T > 500 MeV and |η| < 2.5. The fiducial proton-oxygen cross section is measured as σ_fid^{pO} = 396 ± 6 (exp.) ± 9 (lumi.) mb. An extrapolation using Glauber nuclear geometry and hadronic models yields the inelastic proton-air cross section σ^{p+air}_inel = 406 ± 6 (exp.) ± 9 (lumi.) ± 28 (th.) mb. The paper also presents charged-particle multiplicity, p_T, and η distributions that are stated to be an order of magnitude more precise than differences among current hadronic-interaction models, with the goal of improving cosmic-ray air-shower simulations.
Significance. If the results hold, the work supplies a direct experimental constraint on hadronic interactions at an energy scale directly relevant to cosmic-ray air showers, with explicit separation of experimental, luminosity, and theoretical uncertainties. The high precision on the multiplicity, p_T, and η distributions relative to model variations constitutes a concrete, falsifiable input that can be used to tune or validate generators. The manuscript ships a parameter-free fiducial measurement together with a transparently model-dependent extrapolation whose theoretical uncertainty is quoted separately; these features strengthen the utility for astroparticle-physics applications.
major comments (1)
- The extrapolation from the measured p-O fiducial cross section to the p-air inelastic cross section (headline result σ^{p+air}_inel = 406 ± 28 (th.) mb) relies on Glauber-based nuclear thickness functions and a specific set of hadronic generators to account for the oxygen-to-air difference. While the ±28 mb theoretical uncertainty is intended to cover model variations, the manuscript must explicitly document the exact set of generators, the range of Glauber parameters (e.g., nuclear density profiles, inelastic nucleon-nucleon cross sections), and the procedure used to propagate these variations into the quoted uncertainty; without this, the central extrapolated value remains insufficiently reproducible and the uncertainty may not fully capture possible biases at 9.62 TeV.
minor comments (2)
- The abstract states that the distributions are “an order-of-magnitude more precise than differences between hadronic-interaction models,” but the main text should quantify this statement with explicit numerical comparisons (e.g., RMS model spread versus experimental uncertainty in each bin of multiplicity or p_T) so that readers can verify the claim without external references.
- Section describing the event selection and track reconstruction should include a brief statement on the treatment of pile-up and the efficiency correction for the p_T > 500 MeV threshold, even if these are standard ATLAS procedures, to allow independent assessment of the fiducial definition.
Simulated Author's Rebuttal
We thank the referee for the positive evaluation of the work's significance for cosmic-ray physics and for the constructive comment on the extrapolation procedure. We address the major comment below.
read point-by-point responses
-
Referee: The extrapolation from the measured p-O fiducial cross section to the p-air inelastic cross section (headline result σ^{p+air}_inel = 406 ± 28 (th.) mb) relies on Glauber-based nuclear thickness functions and a specific set of hadronic generators to account for the oxygen-to-air difference. While the ±28 mb theoretical uncertainty is intended to cover model variations, the manuscript must explicitly document the exact set of generators, the range of Glauber parameters (e.g., nuclear density profiles, inelastic nucleon-nucleon cross sections), and the procedure used to propagate these variations into the quoted uncertainty; without this, the central extrapolated value remains insufficiently reproducible and the uncertainty may not fully capture possible biases at 9.62 TeV.
Authors: We agree that additional explicit documentation is required to ensure full reproducibility of the extrapolated result. The current manuscript describes the overall approach using Glauber nuclear geometry combined with hadronic models but does not enumerate the precise generators, parameter ranges, or propagation steps in sufficient detail. In the revised manuscript we will add a dedicated subsection (or appendix) that: (1) lists the complete set of hadronic generators employed (EPOS-LHC, QGSJET-II-04, SIBYLL 2.3d and any others); (2) specifies the Glauber parameters varied, including the Woods-Saxon nuclear density profiles for oxygen and the air nuclei (with explicit radius and diffuseness values), the inelastic nucleon-nucleon cross section at √s_NN = 9.62 TeV, and any other inputs; and (3) details the uncertainty propagation procedure, which evaluates the envelope of results obtained by varying these inputs within their accepted ranges to arrive at the quoted ±28 mb theoretical uncertainty. This addition will make both the central value and the uncertainty fully reproducible while allowing readers to assess potential biases at this energy. We do not expect any numerical changes to the reported cross sections. revision: yes
Circularity Check
No circularity: direct experimental measurements with external-model extrapolation
full rationale
The paper reports a direct measurement of the fiducial proton-oxygen cross section and charged-particle distributions from ATLAS collision data. The extrapolation to the inelastic proton-air cross section applies Glauber nuclear geometry and external hadronic-interaction models whose parameters and predictions are independent of the present dataset. No step reduces a claimed result to a fitted parameter or self-citation by construction; the central numbers are normalized event counts with reported experimental and luminosity uncertainties, while the theoretical uncertainty is explicitly separated as model variation. This is a standard experimental analysis whose derivation chain is self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Glauber model for nuclear geometry and inelasticity differences between oxygen and air nuclei
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
The measured fiducial proton-oxygen cross section is σ_fid.^pO = 396 ± 6 (exp.) ± 9 (lumi.) mb and the extrapolated inelastic proton-air cross section is σ^p+air_inel. = 406 ± 6 (exp.) ± 9 (lumi.) ± 28 (th.) mb.
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Measurements of charged-particle multiplicity, pT, and η distributions are an order-of-magnitude more precise than differences between hadronic-interaction models.
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
-
[1]
P. Bhattacharjee and G. Sigl,Origin and propagation of extremely high-energy cosmic rays, Phys. Rept.327(2000) 109, arXiv:astro-ph/9811011
- [2]
-
[3]
Alves Batista et al.,Open Questions in Cosmic-Ray Research at Ultrahigh Energies, Front
R. Alves Batista et al.,Open Questions in Cosmic-Ray Research at Ultrahigh Energies, Front. Astron. Space Sci.6(2019) 23, arXiv:1903.06714 [astro-ph.HE]
-
[4]
P. Mészáros, D. B. Fox, C. Hanna, and K. Murase,Multi-Messenger Astrophysics, Nat. Rev. Phys.1(2019) 585, arXiv:1906.10212 [astro-ph.HE]
-
[5]
A. Coleman et al., Ultra high energy cosmic rays The intersection of the Cosmic and Energy Frontiers, Astropart. Phys.149(2023) 102819, arXiv:2205.05845 [astro-ph.HE]
- [6]
- [7]
- [8]
- [9]
-
[10]
Albert et al.,Observation of the Galactic Center PeVatron beyond 100 TeV with HAWC, Astrophys
A. Albert et al.,Observation of the Galactic Center PeVatron beyond 100 TeV with HAWC, Astrophys. J. Lett.973(2024) L34, arXiv:2407.03682 [astro-ph.HE]
-
[11]
T. Abu-Zayyad et al.,Evidence for Changing of Cosmic Ray Composition between1017 and10 18 eV from Multicomponent Measurements, Phys. Rev. Lett.84(2000) 4276, arXiv:astro-ph/9911144
- [12]
-
[13]
Dembinski, R
H. Dembinski, R. R. Engel, A. Fedynitch, and K. Fujisue,Global Spline Fit GSF-2025 – An update of the data-driven model of the cosmic-ray flux and its mass composition, PoSICRC2025(2025) 248
2025
- [14]
- [15]
-
[16]
C. De Donato and G. A. Medina-Tanco,Experimental constraints on the astrophysical interpretation of the cosmic ray Galactic-extragalactic transition region, Astropart. Phys.32(2009) 253, arXiv:0807.4510 [astro-ph]
- [17]
- [18]
-
[19]
Ferrari and E
F. Ferrari and E. Szuszkiewicz,Cosmic Rays: A Review for Astrobiologists, Astrobiology9(2009) 413
2009
-
[20]
Atri and A
D. Atri and A. L. Melott,Cosmic rays and terrestrial life: A brief review, Astropart. Phys.53(2014) 186
2014
- [21]
-
[22]
Atri et al.,Estimating the potential of ionizing radiation-induced radiolysis for microbial metabolism on terrestrial planets and satellites with rarefied atmospheres, Int
D. Atri et al.,Estimating the potential of ionizing radiation-induced radiolysis for microbial metabolism on terrestrial planets and satellites with rarefied atmospheres, Int. J. Astrobiol.24(2025) e9
2025
-
[23]
Avati et al.,Cosmic multi-muon events observed in the underground CERN-LEP tunnel with the ALEPH experiment, Astropart
V. Avati et al.,Cosmic multi-muon events observed in the underground CERN-LEP tunnel with the ALEPH experiment, Astropart. Phys.19(2003) 513
2003
- [24]
-
[25]
Phys.28(2007) 273, arXiv:0706.2561 [astro-ph]
DELPHI Collaboration, Study of multi-muon bundles in cosmic ray showers detected with the DELPHI detector at LEP, Astropart. Phys.28(2007) 273, arXiv:0706.2561 [astro-ph]
- [26]
- [27]
- [28]
-
[29]
J. Alvarez-Muñiz, R. Engel, T. K. Gaisser, J. A. Ortiz, and T. Stanev, Hybrid simulations of extensive air showers, Phys. Rev. D66(2002) 033011, arXiv:astro-ph/0205302
-
[30]
H.-J. Drescher and G. R. Farrar, Air shower simulations in a hybrid approach using cascade equations, Phys. Rev. D67(2003) 116001, arXiv:astro-ph/0212018
-
[31]
Matthews,A Heitler model of extensive air showers, Astropart
J. Matthews,A Heitler model of extensive air showers, Astropart. Phys.22(2005) 387. 10
2005
-
[32]
R. Engel et al.,Towards a Next Generation of CORSIKA: A Framework for the Simulation of Particle Cascades in Astroparticle Physics, Comput. Softw. Big Sci.3(2019) 2, arXiv:1808.08226 [astro-ph.IM]
-
[33]
D. d’Enterria, R. Engel, T. Pierog, S. Ostapchenko, and K. Werner,Constraints from the first LHC data on hadronic event generators for ultra-high energy cosmic-ray physics, Astropart. Phys.35(2011) 98, arXiv:1101.5596 [astro-ph.HE]
-
[34]
J. Albrecht et al., Global tuning of hadronic interaction models with accelerator-based and astroparticle data, Nat. Rev. Phys.8(2026) 98, arXiv:2508.21796 [astro-ph.HE]
-
[35]
A comprehensive guide to the physics and usage of PYTHIA 8.3
C. Bierlich et al.,A comprehensive guide to the physics and usage of PYTHIA 8.3, SciPost Phys. Codebases (2022) 8, arXiv:2203.11601 [hep-ph]
work page internal anchor Pith review arXiv 2022
-
[36]
The Monte Carlo Event Generator DPMJET-III,
S. Roesler, R. Engel, and J. Ranft,The Monte Carlo event generator DPMJET-III, Advanced Monte Carlo for Radiation Physics, Particle Transport Simulation and Applications1(2000) 1033, arXiv:hep-ph/0012252
- [37]
-
[38]
EPOS LHC : test of collective hadronization with LHC data
T. Pierog, I. Karpenko, J. M. Katzy, E. Yatsenko, and K. Werner,EPOS LHC: Test of collective hadronization with data measured at the CERN Large Hadron Collider, Phys. Rev. C92(2015) 034906, arXiv:1306.0121 [hep-ph]
work page Pith review arXiv 2015
-
[39]
T. Pierog and K. Werner,EPOS LHC-R : a global approach to solve the muon puzzle, PoSICRC2025(2025) 358, arXiv:2508.07105 [astro-ph.HE]
-
[40]
Monte Carlo treatment of hadronic interactions in enhanced Pomeron scheme: I. QGSJET-II model
S. Ostapchenko, Monte Carlo treatment of hadronic interactions in enhanced Pomeron scheme: QGSJET-II model, Phys. Rev. D83(2011) 014018, arXiv:1010.1869 [hep-ph]
work page Pith review arXiv 2011
-
[41]
Ostapchenko,QGSJET-III model of high energy hadronic interactions: The formalism, Phys
S. Ostapchenko,QGSJET-III model of high energy hadronic interactions: The formalism, Phys. Rev. D109(2024) 034002, arXiv:2401.06202 [hep-ph]
-
[42]
Ostapchenko,QGSJET-III model of high energy hadronic interactions
S. Ostapchenko,QGSJET-III model of high energy hadronic interactions. II. Particle production and extensive air shower characteristics, Phys. Rev. D109(2024) 094019, arXiv:2403.16106 [hep-ph]
- [43]
- [44]
- [45]
- [46]
-
[47]
ATLAS Collaboration,Measurement of the Inelastic Proton–Proton Cross Section at√𝑠=13TeV with the ATLAS Detector at the LHC, Phys. Rev. Lett.117(2016) 182002, arXiv:1606.02625 [hep-ex]
work page Pith review arXiv 2016
- [48]
- [49]
-
[50]
Charged-particle multiplicities in pp interactions measured with the ATLAS detector at the LHC
ATLAS Collaboration, Charged-particle multiplicities in𝑝 𝑝interactions measured with the ATLAS detector at the LHC, New J. Phys.13(2011) 053033, arXiv:1012.5104 [hep-ex]
work page Pith review arXiv 2011
-
[51]
ATLAS Collaboration, Charged-particledistributionsin 𝑝 𝑝interactionsat √𝑠=8TeV measuredwiththeATLASdetector, Eur. Phys. J. C76(2016) 403, arXiv:1603.02439 [hep-ex]
work page Pith review arXiv 2016
-
[52]
ATLAS Collaboration,Charged-particle distributions in √𝑠=13TeV𝑝 𝑝interactions measured with the ATLAS detector at the LHC, Phys. Lett. B758(2016) 67, arXiv:1602.01633 [hep-ex]
work page Pith review arXiv 2016
- [53]
- [54]
- [55]
- [56]
- [57]
- [58]
-
[59]
ALICE Collaboration,Charged-particle multiplicity distributions over a wide pseudorapidity range in proton-proton collisions at√𝑠=0.9, 7, and 8 TeV, Eur. Phys. J. C77(2017) 852, arXiv:1708.01435 [hep-ex]
work page Pith review arXiv 2017
- [60]
- [61]
- [62]
- [63]
- [64]
-
[65]
CMS Collaboration,Measurement of the inelastic proton–proton cross section at√𝑠=13TeV, JHEP07(2018) 161, arXiv:1802.02613 [hep-ex]
work page Pith review arXiv 2018
- [66]
- [67]
- [68]
- [69]
- [70]
-
[71]
LHCb Collaboration,Measurement of charged particle multiplicities and densities in𝑝 𝑝collisions at √𝑠=7TeV in the forward region, Eur. Phys. J. C74(2014) 2888, arXiv:1402.4430 [hep-ex]
work page Pith review arXiv 2014
- [72]
- [73]
- [74]
-
[75]
LHCf Collaboration,Measurements of longitudinal and transverse momentum distributions for neutral pions in the forward-rapidity region with the LHCf detector, Phys. Rev. D94(2016) 032007, arXiv:1507.08764 [hep-ex]. 13
work page Pith review arXiv 2016
-
[76]
LHCf Collaboration,Measurement of forward photon production cross-section in proton–proton collisions at√𝑠= 13 TeV with the LHCf detector, Phys. Lett. B780(2018) 233, arXiv:1703.07678 [hep-ex]
work page Pith review arXiv 2018
-
[77]
LHCf Collaboration,Measurement of inclusive forward neutron production cross section in proton-proton collisions at√𝑠=13TeV with the LHCf Arm2 detector, JHEP11(2018) 073, arXiv:1808.09877 [hep-ex]
work page Pith review arXiv 2018
-
[78]
O. Adriani et al.,Measurement of the forward𝜂 meson production rate in p-p collisions at√s= 13 TeV with the LHCf-Arm2 detector, JHEP10(2023) 169, arXiv:2305.06633 [hep-ex]
-
[79]
ATLAS Collaboration,Measurement of the azimuthal anisotropy of charged particles in√𝑠NN =5.36TeV 16O+16O and20Ne+20Ne collisions with the ATLAS detector, (2025), arXiv:2509.05171 [nucl-ex]
work page internal anchor Pith review Pith/arXiv arXiv 2025
- [80]
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.