REVIEW 3 major objections 5 minor 26 references
Gauge anomalies on shell and collinear factorization
T0 review · 3 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read The paper argues that gauge anomalies manifest on shell as a breakdown of one-loop collinear factorization in five-point amplitudes, and that the only cure is the standard anomaly cancellation conditions.
desk verdict A credible on-shell diagnosis of gauge anomalies via collinear factorization breakdown, with the main no-go resting on an unproven rational-term uniqueness claim. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the isolated graviton-exchange contribution to the five-point amplitude, written as $M_{3\gamma 2\psi}+R'_{3\gamma 2\psi}$ in Eq. (4.2), obtained by sewing the one-loop four-point amplitude $M^{(1)}[1^-_\gamma 2^-_\gamma 3^+_\gamma 4^+_h]$—proportional to $\sum_n s_n Q_n^3$—onto the tree-level graviton-fermion amplitude. The identity that makes the argument work is that this piece is separable from the rest of the amplitude: the factor $\langle 45\rangle/[45]$ picks up a large phase when one fermion momentum is rotated around the other, and the charge dependence is shared by no other term that could develop the collinear singularity. What carries the proof is the one-loop collinear factorization theorem stated in Refs. [13, 14], which says that for $n\ge 5$ every collinear limit must factor into a universal splitting function times a lower-point amplitude; the pathological $1/\sqrt{s_{12}}$ behavior fits none of the allowed photon or graviton splittings.
What would settle it
Compute the complete one-loop five-point amplitude $M^{(1)}[1^-_\gamma 2^-_\gamma 3^+_\gamma 4^-_\psi 5^+_{\bar\psi}]$ in an anomalous theory, keeping every channel and every rational term; if the $1/\sqrt{s_{12}}$ singularity of the isolated graviton-exchange piece cancels against the remaining terms, collinear factorization could survive even with $\sum_n s_n Q_n^3\neq 0$, and the central claim would be wrong.
Extended reading notes
Core claim
On the authors' own terms, the central claim is that gauge anomalies appear in the on-shell S-matrix as a violation of collinear factorization: in an anomalous chiral theory, selected one-loop five-point amplitudes have a $1/\sqrt{s_{12}}$ singularity in the $1\parallel 2$ collinear limit that cannot be written as a universal splitting function times a lower-point amplitude. The offending singularity comes from the graviton-exchange channel, where the anomaly coefficient of the one-loop four-point amplitude enters the residue. Restoring factorization by adding a rational term is never a fix: the term needed to cure $1\parallel 2$ produces a $1/s_{13}$ singularity in the $1\parallel 3$ limit, which is equally incompatible with the theorem and cannot be removed without breaking Bose symmetry. The non-abelian triangle anomaly and the mixed $U(1)$-gravitational anomaly obey the same pattern, so all three standard cancellation conditions follow from collinear-factorization consistency alone.
Load-bearing premise
Everything rests on the assumption that the graviton-exchange piece isolated in Eq. (4.2) can be studied by itself, so no other term in the complete one-loop five-point amplitude cancels its bad collinear singularities.
Editorial extensions
If this is right
- An anomalous chiral gauge theory cannot be embedded in a unitary, local on-shell theory, because its five-point amplitudes violate the one-loop collinear factorization theorem.
- The three standard anomaly cancellation conditions emerge as the unique on-shell consistency conditions: $U(1)^3$, mixed $U(1)$-gravitational, and non-abelian triangle.
- Four-point amplitudes are not enough to expose the pathology, so future on-shell anomaly tests should target five-point collinear limits with a graviton attached.
- Gravity acts as a universal probe: coupling a single graviton to a photonic or gluonic loop converts the anomaly coefficient into a testable singular behavior.
- Because adjusting rational terms only moves the problem from one collinear channel to another, no local rational counterterm can repair an anomalous theory.
Reading between the lines
- One could turn the phase isolation argument into a practical test: rotate one external fermion momentum around its partner and look for terms with the $\langle 45\rangle/[45]$ phase; any such term not reproduced by a splitting function is an anomaly signal.
- The same construction should apply to axion-like exchange mechanisms: adding an axion-like state in the graviton channel would contribute to the same residue and could restore collinear factorization, giving an on-shell analogue of that mechanism.
- For anomaly-free but chiral theories with anomalous global symmetries, gravity-probed five-point amplitudes might expose physical signatures of the global anomaly rather than an inconsistency, since factorization need not be saved in that case.
- Because the singularities require massless chiral fermions, the on-shell probe is specifically sensitive to the massless chiral content of the theory.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes an on-shell manifestation of gauge anomalies: in a chiral gauge theory coupled to gravity, certain one-loop amplitudes with external photons/gluons and a virtual graviton exchange are proportional to anomaly coefficients, and when these are used as seeds for five-point amplitudes, the resulting collinear singularities are incompatible with the one-loop collinear factorization theorem unless the anomaly cancellation conditions hold. Section 2 contains explicit unitarity-based computations of four-point amplitudes M(1)[3γ h], M(1)[3h γ], and M(1)[3g h], proportional to the U(1)^3, mixed U(1)-gravitational, and non-abelian triangle anomaly coefficients. Section 3 reviews the factorization theorem and explains why four-point amplitudes do not expose anomalies. Section 4 constructs five-point amplitudes with a near-collinear external fermion pair and studies their 1∥2 collinear limit, finding a 1/√s12 singularity that cannot be represented by universal splitting functions; attempts to cancel it by adjusting rational terms introduce a pathological 1/s13 singularity in another collinear limit. The conclusion is that anomaly cancellation conditions (Eq. (5.1)) are necessary for collinear factorization.
Significance. The paper offers a clean, systematic S-matrix criterion for anomaly cancellation, with gravity as a universal probe for all three types of triangle anomalies. The four-point unitarity computations are explicit, the collinear scaling analysis is clear, and the n≥5 setup correctly avoids the kinematic degeneracy that weakens four-point arguments. If the five-point argument is made rigorous, this would be a valuable contribution to the on-shell programme. However, the central five-point claim currently rests on an isolation assumption that is asserted but not proven.
major comments (3)
- [Section 4, after Eq. (4.2)] The statement that M3γ2ψ + R' can be studied 'in the sense that there cannot be cancellation' is load-bearing and not established. The paper itself notes that other terms in the amplitude can be of the same order for small s45. The phase argument by itself only shows that terms with different rotational phase cannot cancel the ⟨45⟩/[45] factor, and the charge argument with a dark fermion only rules out contributions in which the external pair couples to photons; it does not exclude other s45-singular contributions with the same phase and the same ∑_n s_n Q_n^3 coefficient. Without computing the full one-loop five-point amplitude (or at least the complete set of terms singular in both s45 and s12), the possibility that Eq. (4.3)'s 1/√s12 singularity is canceled by other terms is not excluded. Since Eq. (4.6) is the main result of the paper, this gap must be closed.
- [Section 4, Eq. (4.4)] The rational term R3γh is introduced as 'a possible choice,' and the conclusion that no adjustment can repair the 1∥2 limit without breaking the 1∥3 limit is asserted but not proven by an exhaustive classification. Because the argument requires showing that every allowed rational completion (consistent with 1↔2 Bose symmetry and other constraints) either leaves the 1/√s12 singularity or produces a non-universal 1/s13 singularity, the paper needs either a rigorous proof or an explicit statement of the assumptions under which this classification is complete.
- [Sections 4.2 and 4.3] The non-abelian and mixed-anomaly generalizations inherit the same isolation assumption without additional checks. For the non-abelian amplitude in Eq. (4.7), the case with two external gravitons may involve additional subtleties (e.g., graviton helicity structure and the form of the rational part), and the same 'cannot be amended' claim appears without a systematic analysis. The reader is left without a demonstration that the chosen contributions are the only ones able to develop the pathological collinear limits.
minor comments (5)
- [Eqs. (2.7), (2.8)] The symbols M3γh and M3hγ are easily confused; consider renaming the cut-constructible parts, e.g., M^{cut}_{3γh} and M^{cut}_{3hγ}.
- [Text after Eq. (4.1)] The expression 'M(0)[1−γ 2−γ 3+γ 4+h ] = 0' appears to be a typo; the vanishing object should be the tree-level three-photon amplitude.
- [Reference [12]] Reference [12] is cited as 'unpublished' without a year; please provide an updated reference or a more complete citation.
- [Eq. (2.9)] The notation nR+ = nR_R + nR_L and nR− = nR_R − nR_L would benefit from a clarifying sentence, since the superscript R is used both for the representation and for the right/left fermion counts.
- [Figure 2] The flowchart is helpful; a brief explanation of the 'Fix R' step in the caption would improve reproducibility.
Circularity Check
No circularity: anomaly cancellation conditions emerge as consistency constraints from an external factorization theorem, not as fitted or self-referential inputs.
full rationale
The derivation is self-contained against an external standard. The paper begins with 3-particle amplitudes (Eqs. 2.1-2.2), uses unitarity to compute 4-point seed amplitudes (Eqs. 2.7-2.9), and finds that those amplitudes are proportional to the free theory inputs sum_n s_n Q_n^3, sum_n s_n Q_n, and sum_R n_R^- d^abc_R. No parameter is fitted: these coefficients are inputs that appear linearly in the computed expressions. The 5-point amplitudes are then built by taking the graviton-exchange residue (Eq. 4.1), so the offending 1/sqrt(s12) term in Eq. (4.3) is proportional to the same input coefficient. Requiring consistency with the external collinear factorization theorem (Eq. 3.2) forces that coefficient to vanish, yielding Eqs. (4.6), (4.10), and (4.13). This is a consistency condition, not an assumed result. The rational terms R are not fitted to data; they are the undetermined rational parts of the unitarity bootstrap, and the argument shows that choosing them to restore one collinear limit generates pathologies in another (Eqs. 4.4-4.5). The paper contains no self-citations by the present authors; the citations to Refs. [8,9,11] are external prior work. The main technical vulnerability, that only the isolated contribution M3gamma2psi + R'3gamma2psi is analyzed rather than the full 5-point amplitude, is an assumption about the absence of cancellations from other terms, not a circularity. It affects correctness risk but does not make the derivation equivalent to its inputs.
Assumptions & free parameters
assumptions (5)
- domain assumption One-loop amplitudes can be reconstructed from their two-particle unitarity cuts up to rational terms.
- domain assumption The one-loop collinear factorization theorem for n>=5, Eq. (3.2), holds with universal splitting functions.
- domain assumption Gravitational splitting functions are tree-level exact: Split^(1)_h = 0.
- domain assumption Photon splitting into two photons vanishes at tree level and one loop.
- domain assumption The five-point amplitude contains the graviton-exchange residue of Eq. (4.1), and this term is not canceled by other contributions to the full amplitude.
Cite this review
Pith. "Pith review of Gauge anomalies on shell and collinear factorization." pith.science (2026). https://pith.science/paper/VWUIL5FV
@misc{pith2026250903368,
author = {Pith},
title = {Pith review of: Gauge anomalies on shell and collinear factorization},
year = {2026},
howpublished = {\url{https://pith.science/paper/VWUIL5FV}},
note = {Machine review of arXiv:2509.03368}
}
read the original abstract
We revisit gauge anomalies from the purely on-shell perspective. We argue that violation of anomaly cancellation conditions manifests as a breakdown of collinear factorization. We explicitly construct one-loop 5-point amplitudes with graviton exchange displaying singular behavior in collinear limits that cannot be reconciled with factorization theorems. In this approach, gravity serves as a universal probe of both abelian and non-abelian anomalies.
Reference graph
Works this paper leans on
-
[12]
Q. Bonnefoy, S. De Angelis, E. Gendy, C. Grojean and J. Roosmale Nepveu,unpublished,
-
[1]
Adler,Axial vector vertex in spinor electrodynamics, Phys
S.L. Adler,Axial vector vertex in spinor electrodynamics, Phys. Rev. 177 (1969) 2426
work page 1969
-
[2]
J.S. Bell and R. Jackiw,A PCAC puzzle:π0→γγ in theσ model, Nuovo Cim. A60 (1969) 47
work page 1969
-
[3]
Bardeen,Anomalous Ward identities in spinor field theories, Phys
W.A. Bardeen,Anomalous Ward identities in spinor field theories, Phys. Rev. 184 (1969) 1848
work page 1969
- [4]
- [5]
- [6]
-
[7]
P. Benincasa and F. Cachazo,Consistency Conditions on the S-Matrix of Massless Particles, 0705.4305
Show all 26 references
-
[8]
Huang and D
Y.-t. Huang and D. McGady,Consistency Conditions for Gauge Theory S Matrices from Requirements of Generalized Unitarity, Phys. Rev. Lett.112 (2014) 241601 [1307.4065]
2014 arXiv
- [9]
- [10]
-
[11]
Accettulli Huber and S
M. Accettulli Huber and S. De Angelis,Standard Model EFTs via on-shell methods, JHEP 11 (2021) 221 [2108.03669]
2021 arXiv
-
[13]
Bern and G
Z. Bern and G. Chalmers,Factorization in one loop gauge theory, Nucl. Phys. B 447 (1995) 465 [hep-ph/9503236]
1995 arXiv
-
[14]
Kosower,All order collinear behavior in gauge theories, Nucl
D.A. Kosower,All order collinear behavior in gauge theories, Nucl. Phys. B 552 (1999) 319 [hep-ph/9901201]
1999 arXiv
-
[15]
Dreiner, H.E
H.K. Dreiner, H.E. Haber and S.P. Martin,Two-component spinor techniques and Feynman rules for quantum field theory and supersymmetry, Phys. Rept. 494 (2010) 1 [0812.1594]
2010 arXiv
-
[16]
Furry,A Symmetry Theorem in the Positron Theory, Phys
W.H. Furry,A Symmetry Theorem in the Positron Theory, Phys. Rev. 51 (1937) 125
1937
-
[17]
Badger, J
S. Badger, J. Henn, J.C. Plefka and S. Zoia,Scattering Amplitudes in Quantum Field Theory, Lect. Notes Phys.1021 (2024) pp. [2306.05976]
2024 arXiv
-
[18]
Mangano and S.J
M.L. Mangano and S.J. Parke,Multiparton amplitudes in gauge theories, Phys. Rept. 200 (1991) 301 [hep-th/0509223]. – 15 –
1991 arXiv
-
[19]
Bern, L.J
Z. Bern, L.J. Dixon, D.C. Dunbar, M. Perelstein and J.S. Rozowsky,Perturbative relationships between QCD and gravity and some implications, in3rd Workshop on Continuous Advances in QCD (QCD 98), pp. 195–207, 4, 1998 [hep-th/9809163]
1998 arXiv
-
[20]
Bern, L.J
Z. Bern, L.J. Dixon, M. Perelstein and J.S. Rozowsky,Multileg one loop gravity amplitudes from gauge theory, Nucl. Phys. B 546 (1999) 423 [hep-th/9811140]
1999 arXiv
-
[21]
Bern, L.J
Z. Bern, L.J. Dixon and D.A. Kosower,One loop corrections to two quark three gluon amplitudes, Nucl. Phys. B 437 (1995) 259 [hep-ph/9409393]
1995 arXiv
-
[22]
Kosower and P
D.A. Kosower and P. Uwer,One loop splitting amplitudes in gauge theory, Nucl. Phys. B 563 (1999) 477 [hep-ph/9903515]
1999 arXiv
-
[23]
Adler and W.A
S.L. Adler and W.A. Bardeen,Absence of higher order corrections in the anomalous axial vector divergence equation, Phys. Rev. 182 (1969) 1517
1969
-
[24]
Zwiebel,From Scattering Amplitudes to the Dilatation Generator in N=4 SYM, J
B.I. Zwiebel,From Scattering Amplitudes to the Dilatation Generator in N=4 SYM, J. Phys. A 45 (2012) 115401 [1111.0083]
2012 arXiv
-
[25]
Caron-Huot and M
S. Caron-Huot and M. Wilhelm,Renormalization group coefficients and the S-matrix, JHEP 12 (2016) 010 [1607.06448]
2016 arXiv
-
[26]
Ellis and G
R.K. Ellis and G. Zanderighi,Scalar one-loop integrals for QCD, JHEP 02 (2008) 002 [0712.1851]. – 16 –
2008 arXiv
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.