REVIEW 1 major objections 1 minor 1 cited by
Reciprocal symmetry of the scaling function implies local algebraic constraints on multiplicity distributions at the mean.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · grok-4.3
2026-05-12 01:40 UTC pith:NHYVBOKM
load-bearing objection The paper derives a clean k=1 local constraint on P(n) from the evenness of h(u) and gives a model-independent entropy formula with a nice cancellation, but the locality assumption for the Taylor step is not quantified even though global symmetry fails at 13 TeV. the 1 major comments →
Higher-order local constraints from reciprocal symmetry and entanglement entropy of charged-particle multiplicity distributions in pp collisions
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The reciprocal symmetry f_s(z)=f_s(1/z) of the KNO-violating term implies that h(u)≡f_s(e^u) is even in u=ln z. Each odd derivative of h at u=0 therefore supplies a local algebraic constraint on the multiplicity distribution at n=<n>. The k=1 constraint is <n>^3 P'''(<n>)+6<n>^2 P''(<n>)=5 P(<n>), which is equivalent to the unconditional residual δ_3=1-2ρ_0+ρ_1=0. In ATLAS 13 TeV data with the largest fit window, δ_3=-0.02±0.11, consistent with the symmetric value. A χ² test rejects global symmetry at 13 TeV but the local picture near z=1 holds at the first two non-trivial orders. The entanglement entropy is given by the model-independent expression S=ln<n>+1−(1/2)∫ e^{-z} f_s²(z) dz + O(f_s
What carries the argument
The even function h(u)=f_s(e^u) obtained from the reciprocal symmetry f_s(z)=f_s(1/z), whose vanishing odd derivatives at u=0 produce algebraic constraints on the derivatives of P at the mean multiplicity.
Load-bearing premise
That the reciprocal symmetry is sufficiently accurate near z=1 for the Taylor expansion of h(u) to produce local constraints that are borne out by the data, despite the global symmetry being rejected at 13 TeV.
What would settle it
A measurement with smaller uncertainties showing that δ_3 differs from zero by several standard deviations, or that the combination <n>^3 P'''(<n>)+6<n>^2 P''(<n>)-5 P(<n>) is nonzero near the mean, would falsify the local constraint derived from the symmetry.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper reports that the reciprocal symmetry f_s(z)=f_s(1/z) observed in the KNO-violating component of charged-particle multiplicity distributions in pp collisions at LHC energies implies that h(u)≡f_s(e^u) is even, yielding local algebraic constraints on P(n) at n=⟨n⟩ via Taylor expansion. It derives the k=1 constraint ⟨n⟩³P'''(⟨n⟩)+6⟨n⟩²P''(⟨n⟩)=5P(⟨n⟩) (or δ₃=0), tests it on ATLAS data (finding δ₃=-0.02±0.11 at 13 TeV consistent with zero), notes that global χ² rejects the symmetry at 13 TeV while local consistency holds near z=1, and derives the model-independent entanglement entropy S=ln⟨n⟩+1−½∫e^{-z}f_s²(z)dz+O(f_s³).
Significance. If the local symmetry near z=1 is robust, the work supplies parameter-free higher-order constraints on multiplicity distributions and a compact, model-independent expression for entanglement entropy that cancels the linear term in f_s by normalization and ⟨z⟩=1. This could constrain phenomenological models of particle production and link multiplicity statistics to information-theoretic quantities in high-energy collisions. The explicit data tests and derivation of the entropy formula are strengths.
major comments (1)
- [Abstract and data-analysis section] Abstract and data-analysis section: The central claim that 'the symmetry holds at the leading two non-trivial orders near z=1' rests on δ₃ consistency at 13 TeV, yet the same data set yields a decisive χ² rejection of global reciprocity over 1/3<z<3. No auxiliary figure or table quantifies the scale |ln z| at which |f_s(z)−f_s(1/z)| first exceeds the local statistical uncertainty, leaving open whether asymmetry already contaminates the Taylor truncation used to extract the k=1 constraint at the reported ±0.11 precision.
minor comments (1)
- [Entropy derivation] The numerical evaluation of the integral in the entropy expression is stated to be performed on ATLAS data, but the binning, interpolation, or cutoff procedure used for f_s(z) is not specified, which affects reproducibility of the quoted S values.
Simulated Author's Rebuttal
We thank the referee for the careful reading and for identifying the need to better quantify the range of validity of the local reciprocal symmetry. We agree that an auxiliary figure or table would strengthen the distinction between local consistency near z=1 and global deviations, and we will incorporate this in the revision.
read point-by-point responses
-
Referee: [Abstract and data-analysis section] Abstract and data-analysis section: The central claim that 'the symmetry holds at the leading two non-trivial orders near z=1' rests on δ₃ consistency at 13 TeV, yet the same data set yields a decisive χ² rejection of global reciprocity over 1/3<z<3. No auxiliary figure or table quantifies the scale |ln z| at which |f_s(z)−f_s(1/z)| first exceeds the local statistical uncertainty, leaving open whether asymmetry already contaminates the Taylor truncation used to extract the k=1 constraint at the reported ±0.11 precision.
Authors: We agree that an explicit quantification of the |ln z| scale is needed to confirm that the local Taylor truncation remains uncontaminated. The δ₃ constraint is obtained from a local fit to P(n) in a window around n=⟨n⟩ (i.e., z near 1), while the global χ² integrates over 1/3<z<3. In the revised manuscript we will add a new figure displaying |f_s(z)−f_s(1/z)|/σ(z) versus |ln z|, where σ(z) is the point-wise uncertainty propagated from the ATLAS data. This will show that the normalized deviation remains consistent with zero (within 1σ) for |ln z| ≲ 0.1, which covers the fit window used for δ₃, while statistically significant departures appear only at larger |ln z| that drive the global χ² rejection. We will also update the abstract and discussion to state more precisely that the leading two orders hold locally near z=1, with the global symmetry breaking exposed only by the higher-precision 13 TeV data at larger |ln z|. revision: yes
Circularity Check
No significant circularity; derivation is self-contained from observed symmetry and normalization
full rationale
The paper observes reciprocal symmetry f_s(z)=f_s(1/z) in data at multiple energies, defines h(u)≡f_s(e^u) as even, and derives the k=1 algebraic constraint on P(n) at n=<n> via Taylor expansion of the even function (odd derivatives vanish at u=0). This is a direct mathematical consequence, not a fit or self-definition. The entropy expression follows from an expansion where the linear f_s term cancels explicitly by normalization and <z>=1, independent of the symmetry. The χ² global rejection at 13 TeV is reported separately and does not enter the local derivation or entropy formula. No self-citations, ansatze smuggled via citation, or renaming of known results occur; the central claims reduce to the input symmetry assumption plus standard normalization, with data tests serving as external checks rather than tautological outputs.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The function h(u) = f_s(e^u) is even, so all odd derivatives vanish at u=0.
- standard math Normalization ∫ P(n) dn = 1 and <z> = 1 hold exactly.
read the original abstract
The KNO-violating term $f_s$ of the charged-particle multiplicity distribution in $pp$ collisions measures the relative deviation of $\langle n\rangle P_n$ from $e^{-z}$, with $z=n/\langle n\rangle$, and is reported to obey the reciprocal symmetry $f_s(z)=f_s(1/z)$, taken here as input. Being an evenness condition in $\ln z$, it generates a tower of local constraints on the derivatives of $P_n$ at the mean. The lowest member holds for the ATLAS data at $7$, $8$ and $13$~TeV at the few-per-cent level, while the third-derivative residual testing the next member is not determined with a controlled uncertainty by the present binning and stays inconclusive. The global test is consistent at $7$ and $8$~TeV, while at $13$~TeV a residual deviation remains, which a closure test shows is not a binning artefact. Multiplicative noise in the Mueller colour-dipole cascade, the negative binomial and the dipole cascades with recombination each give an $f_s$ that is not invariant under $z\to1/z$, so none of them carries the symmetry. We further obtain a dynamics-independent entropy in the KNO continuum, $S=\ln\langle n\rangle+I_0-\tfrac12\int e^{-z}f_s^2\,dz$, with $I_0$ a support factor tending to unity in the continuum limit. The linear term cancels by normalisation and unit mean, independently of the symmetry, and the remaining correction is quadratic and negative. It reproduces the Shannon entropy of the ATLAS data at the $10^{-3}$ level.
Figures
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel echoes?
echoesECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.
The reciprocal symmetry f_s(z)=f_s(1/z) ... implies that the function h(u)≡f_s(e^u) is even in u=ln z. Each odd derivative of h at u=0 then provides a local algebraic constraint
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.
Forward citations
Cited by 1 Pith paper
-
Deep inelastic scattering as a probe of entanglement: the complete QCD dipole cascade
The Shannon entropy of dipole multiplicities from the full Levin–Lublinsky equation in DIS reproduces the H1 hadron entropy, growing linearly with ln(1/x) and described by S = ln(2/3⟨n⟩) + 0.85.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.