REVIEW
Light-Transformed Carrollian OPEs and the Four-Gluon Spectral Bootstrap
High Energy Physics - Theory · Submitted 30 Oct 2026 · 84 references
Pith's verdict: A serious and unusually explicit Carrollian bootstrap paper; the uniqueness claim likely holds inside the stated rational tree class, but it is one analytic-continuation step ahead of what is proved.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
The four-gluon tree amplitude is determined, up to a single subtraction constant, by the two collinear operator products of light-transformed gluons at null infinity together with crossing symmetry and Carroll-time homogeneity.
The reading
What carries the argument
The load-bearing object is the crossed light block: the complete contribution of one exchanged massless gluon, with all of its Carroll-time and angular descendants, to the product of two light-transformed gluon operators. Its density is fixed by the Ward identities, which after the light transform become Kummer's confluent hypergeometric equation $\chi F'' + (p-\chi)F' - aF = 0$, whose two solutions are a descendant tower and a light-shadow tower; the integration range over the signed energy fraction $\tau \in (-\infty,0)$, forced by the external energy signs, imposes power-law growth at large $\chi$ and selects the Tricomi combination $\Gamma(a)U(a,p,\chi)$ of the two solutions. On the timelike side the machinery is the Jacob-Wick partial-wave expansion with the normalization (43), whose two pole sectors are matched to the two crossed blocks by the bridge identity (68), after analytic continuation treats the celestial coordinates $z$ and $\bar z$ as independent variables. The uniqueness step then uses the rational tree class (86) to turn any pole-free remainder into a polynomial, confining leftover freedom to finitely many spins, which crossing and Carroll-time scaling (88) remove.
Extended reading notes
Core claim
Within the rational tree class — amplitudes that, once the helicity factor $H$ is removed, are rational in the Mandelstam invariants with simple poles only at $s = t = u_M = 0$ and polynomial growth on complex kinematics — the paper claims that the alternating-helicity four-gluon spectrum is the unique solution to its own bootstrap data. The data are the two crossed operator products, each fixed by the Ward identities (which reduce to Kummer's equation (22)) and by the energy-sign integration range (which selects the Tricomi combination (26)–(28)), together with crossing symmetry and Carroll-time homogeneity (88). The unique spectrum is (52): for the 1234 colour ordering the partial-wave coefficients are the alternating harmonic-number sequence $a^{FP}_{J,1234} = -g^2(-1)^J(H_{J-2}+H_{J+2})/(16\pi)$, and for the 1324 ordering a non-alternating rational piece $-3g^2/(8\pi D_J)$ with $D_J = (J-1)J(J+1)(J+2)$ is added. The bridge theorem (68) ties the two descriptions together: resumming the timelike Jacob-Wick partial waves and taking the discontinuity at a crossed collinear pole reproduces the complete crossed light block, so each infinite sequence is fixed by exactly one collinear OPE. The remaining freedom is a single subtraction constant $\kappa$ at the collinear boundary, which shifts the coefficients but leaves the meromorphic pole residues unchanged; contributions supported at zero invariant mass are not fixed by the positive-mass spectrum and are supplied as separate boundary data.
Load-bearing premise
The load-bearing premise is containment in the rational tree class of Section 5.4 — after removal of the helicity factor the amplitude must be rational with simple poles only at $s$, $t$, $u_M = 0$ and polynomial growth on complex kinematics — and the authors note explicitly that regularity on the real angular interval alone would not suffice, because a deformation with complex poles at $X = \pm i\sqrt{3}$ carries infinitely many partial waves.
Editorial extensions
If this is right
- The opposite-helicity collinear OPE fixes the entire alternating harmonic-number sequence $a^{FP}_{J,1234} = -g^2(-1)^J(H_{J-2}+H_{J+2})/(16\pi)$, and the subtraction-independent adjacent-spin difference $\hat a_{J+1}-\hat a_J = -g^2(1/(J-1)+1/(J+3))/(16\pi)$ holds exactly for every $J \ge 2$.
- The same-helicity collinear OPE fixes the non-alternating tail $c^t_J = -3g^2/(8\pi D_J)$ with $D_J = (J-1)J(J+1)(J+2)$, including every subleading inverse power of the spin.
- The bridge (68) implies that the massive two-particle spectrum of the physical channel and the massless exchanged families of the crossed channels carry the same information: each crossed OPE determines one full infinite sequence of coefficients.
- At one loop the branch cuts supply new input beyond the poles, and the paper writes the one-loop form of the bridge (93) that takes the two crossed cut densities as data, with the subtraction ambiguity reappearing as the forward-limit problem.
- Any added higher-dimension interaction, such as the dimension-eight contact term (91), occupies finitely many spins and is excluded by the Carroll-time scaling (88), so the uniqueness result doubles as a tree-level constraint on such couplings.
Reading between the lines
- If the same recipe were applied to other amplitudes, the Einstein tree amplitude would be the natural next target, since its energy degree is two and its light correlator would carry time weight $\Lambda+2$; a parallel uniqueness statement for gravity would show the framework is about the null-infinity data structure rather than gluon specifics.
- The subtraction constant $\kappa$ is the Carrollian shadow of the forward-limit ambiguity familiar from massless dispersion relations; fixing it by matching a physical infrared prescription would turn the one free parameter into data instead of a choice.
- The light-shadow tower in each block begins at the conformally soft dimension $\Delta = 1$; computing its overlap with the known soft-gluon currents would test the Tricomi normalization independently of the four-point amplitude.
- The exact adjacent-spin identity is a finite-spin prediction that a numerical bootstrap in the timelike basis could test away from the collinear limit, providing a practical check of the uniqueness proposition without repeating the analytic continuation.
Original abstract
Scattering amplitudes of massless particles can be rewritten as correlation functions of light-transformed operators at null infinity, on which the Carrollian symmetries act. We ask how much of the four-gluon tree amplitude is determined by the operator product expansion of these operators. When two gluons become collinear, the exchanged gluon and all of its descendants combine into a single function of the null time of $\mathcal{I}^+$ and angular separations of the pair on the celestial sphere. We show that this function is fixed by the Ward identities, which reduce to Kummer's differential equation, and by the signs of the energies, which select one combination of its two solutions. We then expand the same amplitude in massive two-particle states of the physical scattering channel and find that the collinear data control the expansion at large spin. Each of the two collinear poles of the amplitude determines one of the two infinite sequences of partial-wave coefficients in closed form. Once both poles are imposed, crossing symmetry and the scaling of the correlator in Carroll time fix the tree spectrum uniquely among amplitudes with only the physical collinear poles, up to a single subtraction constant at the collinear boundary.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
Scattering amplitudes of massless particles can be rewritten as correlation functions of light-transformed operators at null infinity, on which the Carrollian symmetries act. We ask how much of the four-gluon tree amplitude is determined by the operator product expansion of these operators. When two gluons become collinear, the exchanged gluon and all of its descendants combine into a single function of the null time of $\mathcal{I}^+$ and angular separations of the pair on the celestial sphere. We show that this function is fixed by the Ward identities, which reduce to Kummer's differential equation, and by the signs of the energies, which select one combination of its two solutions. We then expand the same amplitude in massive two-particle states of the physical scattering channel and find that the collinear data control the expansion at large spin. Each of the two collinear poles of the amplitude determines one of the two infinite sequences of partial-wave coefficients in closed form. Once both poles are imposed, crossing symmetry and the scaling of the correlator in Carroll time fix the tree spectrum uniquely among amplitudes with only the physical collinear poles, up to a single subtraction constant at the collinear boundary.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | Scattering amplitudes of massless particles can be rewritten as correlation functions of light-transformed operators at null infinity, on which the Carrollian symmetries act. | background 1.00 | 0.11 | 0.04 | asserted 0.96 |
| s1 | We ask how much of the four-gluon tree amplitude is determined by the operator product expansion of these operators. | contribution 0.57 | 0.31 | 0.04 | unclear 0.85 |
| s2 | When two gluons become collinear, the exchanged gluon and all of its descendants combine into a single function of the null time of $\mathcal{I}^+$ and angular separations of the pair on the celestial sphere. | result 0.98 | 0.62 | 0.10 | asserted 1.00 |
| s3 | We show that this function is fixed by the Ward identities, which reduce to Kummer's differential equation, and by the signs of the energies, which select one combination of its two solutions. | result 0.86 | 0.90 | 0.18 | asserted 1.00 |
| s4 | We then expand the same amplitude in massive two-particle states of the physical scattering channel and find that the collinear data control the expansion at large spin. | result 0.63 | 0.95 | 0.14 | asserted 1.00 |
| s5 | Each of the two collinear poles of the amplitude determines one of the two infinite sequences of partial-wave coefficients in closed form. | result 1.00 | 0.90 | 0.20 | asserted 1.00 |
| s6 | Once both poles are imposed, crossing symmetry and the scaling of the correlator in Carroll time fix the tree spectrum uniquely among amplitudes with only the physical collinear poles, up to a single subtraction constant at the collinear boundary. | result 0.98 | 0.89 | 0.68 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v1
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
References
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.