Pith. sign in

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 →

arxiv 2605.08736 v2 pith:NHYVBOKM submitted 2026-05-09 hep-ph

Higher-order local constraints from reciprocal symmetry and entanglement entropy of charged-particle multiplicity distributions in pp collisions

classification hep-ph
keywords reciprocal symmetrymultiplicity distributionsKNO scalingentanglement entropypp collisionsATLAS experimentcharged particleslocal constraints
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

Reciprocal symmetry f_s(z) equals f_s(1/z) in the KNO-violating term makes h(u) = f_s(e^u) an even function of u = ln z. Consequently, the odd derivatives of h at u=0 vanish and translate into relations among the derivatives of the probability P at n = . The paper derives the k=1 constraint relating the third and second derivatives to the distribution value itself and verifies that it is satisfied by ATLAS data at 13 TeV. The same symmetry and normalization conditions also yield a model-independent formula for the entanglement entropy of the distribution.

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.

Watch this falsifier — get emailed when new claim-graph text bears on it.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

1 major / 1 minor

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)
  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)
  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

1 responses · 0 unresolved

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
  1. 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

0 steps flagged

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

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on the assumption that the observed f_s(z) is even in ln z near z=1, on standard Taylor expansion, and on normalization plus <z>=1; no new free parameters or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption The function h(u) = f_s(e^u) is even, so all odd derivatives vanish at u=0.
    Invoked to obtain the local algebraic constraints from the reciprocal symmetry observed in data.
  • standard math Normalization ∫ P(n) dn = 1 and <z> = 1 hold exactly.
    Used to cancel the linear term in the entanglement entropy expansion.

pith-pipeline@v0.9.0 · 5772 in / 1761 out tokens · 50560 ms · 2026-05-12T01:40:49.908342+00:00 · methodology

0 comments
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

Figures reproduced from arXiv: 2605.08736 by Alex Prygarin, Claudelle Capasia Madjuogang Sandeu, Mustapha Ouchen.

Figure 1
Figure 1. Figure 1: FIG. 1. The function [PITH_FULL_IMAGE:figures/full_fig_p004_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2. Local-fit determination of [PITH_FULL_IMAGE:figures/full_fig_p005_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3. Comparison of the multiplicative-noise prediction [PITH_FULL_IMAGE:figures/full_fig_p005_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: shows the integrand e −zf 2 s (z) across the mea￾sured z range for the three energies. The largest contri￾butions come from z ∼ 1 and from the high-z tail where f 2 s → 1, with the central window 1/3 < z < 3 contribut￾ing only ∼ 25% of the total ∆S. 0 1 2 3 4 5 6 7 8 z = n/⟨n⟩ 10 −6 10 −5 10 −4 10 −3 10 −2 10 −1 e − z f2 s (z) integrand of ΔS= − 1 2 ∫ ∞ 0 e −z f2 s (z)dz −2ΔS contribution 7 TeV, ΔS= −0.008… view at source ↗

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

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/Cost/FunctionalEquation.lean washburn_uniqueness_aczel echoes
    ?
    echoes

    ECHOES: 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

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Deep inelastic scattering as a probe of entanglement: the complete QCD dipole cascade

    hep-ph 2026-07 conditional novelty 6.0

    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.