REVIEW 2 major objections 42 references
Reviewed by Pith at T0; open to challenge.
T0 means a machine referee read the full paper against a public rubric. The mark states how deep the mechanical check went, never who wrote it. the ladder, T0–T4 →
T0 review · grok-4.3
The perturbative S-matrix in the null surface formulation of gravity is ultraviolet finite at every loop order.
2026-06-30 13:14 UTC pith:B6UOBTGP
load-bearing objection NSF paper computes fourth-order Bondi shear and claims all-loop UV finiteness from inductive kernel scaling, but the induction step under advanced corrections is the part that needs checking. the 2 major comments →
Graviton scattering in the null surface formulation. Part III: Fourth-order Bondi shear and the tree-level amplitude
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 authors compute σ⁺₄ from three retarded-cone pairs, the conformal factor δΩ⁻₄, and advanced-cone corrections built from the already-known σ⁺₂ and σ⁺₃. They establish that the S-matrix is UV-finite at every loop order because the kernel K^{(n)} scales as ω_ext / q^{n-2} by induction on the recursive null-cone scattering equation; the L-loop integrand therefore scales as dq / q^{4L} and converges for all L ≥ 1. They introduce the loop-counting rule L = (n1 + n2 - 6)/2 that organises 2 → 2 contributions by the perturbative orders of the out-operators, show that tree level is given exactly by the sum of M^{(22)}, M^{(33)} and M^{(24)} reproducing the Weinberg-DeWitt amplitude, and formulate
What carries the argument
The recursive null-cone scattering equation that determines each higher-order outgoing Bondi shear σ⁺_n from lower-order fields and the free incoming datum σ⁻, together with the inductively derived kernel scaling K^{(n)} ∼ ω_ext / q^{n-2}.
Load-bearing premise
The recursive null-cone scattering equation permits an inductive derivation of the kernel scaling that continues to hold at all orders, and the generalised Jordan-Pauli relation correctly incorporates all advanced-cone corrections from prior orders.
What would settle it
An explicit two-loop integrand computed in this formalism whose momentum scaling is weaker than 1/q^8 or that produces a divergence would falsify the all-orders finiteness claim.
If this is right
- The L-loop contribution to any 2 → 2 graviton amplitude is ultraviolet finite for every L without regularization.
- Tree-level 2 → 2 graviton scattering is reproduced exactly by the sum of the (2,2), (3,3) and (2,4) perturbative orders.
- The complete one-loop amplitude additionally requires the fifth- and sixth-order outgoing shear fields.
- At every order n ≥ 4 the advanced-cone contributions to σ⁺_n include nontrivial corrections δσ⁺_j determined at all previous orders.
Where Pith is reading between the lines
- If the inductive kernel scaling persists beyond the orders checked, the null-surface formulation would supply a perturbative expansion that is finite by construction at every loop order.
- The same inductive argument on the recursive null-cone equation could be applied to higher-point graviton amplitudes or to other massless fields.
- Explicit verification that the computed σ⁺_4 satisfies the generalised Jordan-Pauli relation would provide a direct consistency check on the procedure.
- The loop-counting formula offers a practical way to organise the expansion and could be used to isolate the first genuinely new one-loop diagrams once σ⁺_5 and σ⁺_6 are known.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript completes a trilogy on graviton scattering in the null surface formulation (NSF) by computing the fourth-order Bondi shear σ⁺₄. It claims three main results: (i) the perturbative S-matrix is UV-finite at every loop order because the kernel scales as K^{(n)}∼ω_ext/q^{n-2}, derived by induction on the recursive null-cone scattering equation, implying L-loop integrands behave as dq/q^{4L}; (ii) a loop-counting formula L=(n₁+n₂-6)/2 classifies 2→2 contributions, with tree level exhausted by ℳ^{(22)}, ℳ^{(33)}, and ℳ^{(24)} reproducing the Weinberg–DeWitt amplitude ℳ_tree=-κ²s³/(4tu); (iii) a generalized Jordan–Pauli relation is required at n≥4 to incorporate advanced-cone corrections δσ⁺_j (j<n) from prior orders, and σ⁺₄ is computed using three retarded-cone pairs, δΩ⁻₄, and advanced corrections from (1,3) and (2,2).
Significance. If the inductive kernel scaling and explicit tree-level matching hold, the result would establish a regularization-free, UV-finite perturbative S-matrix for quantum gravity within the NSF, together with a systematic order-by-order procedure via the generalized Jordan–Pauli relation and a topological classification of loop contributions. This would constitute a concrete technical advance for the NSF program, with the explicit σ⁺₄ computation providing the first nontrivial test of the generalized relation.
major comments (2)
- [Abstract] Abstract: the central UV-finiteness claim rests on deriving K^{(n)}∼ω_ext/q^{n-2} by induction on the recursive null-cone scattering equation and showing that this scaling survives the generalized Jordan–Pauli corrections δσ⁺_j (j<n). The manuscript asserts the induction but supplies neither the inductive step nor the explicit verification that the leading high-q behavior remains unchanged when the advanced-cone terms receive nontrivial contributions built from lower-order σ⁺_k and their kernels.
- [Abstract] Abstract: the statement that ℳ^{(22)}, ℳ^{(33)}, and ℳ^{(24)} together reproduce ℳ_tree=-κ²s³/(4tu) is presented as a result, yet the explicit matching calculation that confirms this equality is not provided, leaving the tree-level claim without visible support.
Simulated Author's Rebuttal
We thank the referee for their careful reading and constructive comments on the manuscript. The two major comments correctly identify places where explicit derivations supporting the central claims are not fully supplied in the current text. We address each point below and will incorporate the requested details in a revised version.
read point-by-point responses
-
Referee: [Abstract] Abstract: the central UV-finiteness claim rests on deriving K^{(n)}∼ω_ext/q^{n-2} by induction on the recursive null-cone scattering equation and showing that this scaling survives the generalized Jordan–Pauli corrections δσ⁺_j (j<n). The manuscript asserts the induction but supplies neither the inductive step nor the explicit verification that the leading high-q behavior remains unchanged when the advanced-cone terms receive nontrivial contributions built from lower-order σ⁺_k and their kernels.
Authors: The referee is correct that the manuscript states the kernel scaling follows by induction but does not display the inductive step or verify that the leading high-q behavior is unaffected by the advanced-cone corrections. In the revision we will add a dedicated subsection that carries out the induction explicitly on the recursive null-cone equation, demonstrating that corrections δσ⁺_j (j < n) contribute only to sub-leading powers of 1/q and therefore leave the claimed scaling K^{(n)} ∼ ω_ext / q^{n-2} intact. revision: yes
-
Referee: [Abstract] Abstract: the statement that ℳ^{(22)}, ℳ^{(33)}, and ℳ^{(24)} together reproduce ℳ_tree=-κ²s³/(4tu) is presented as a result, yet the explicit matching calculation that confirms this equality is not provided, leaving the tree-level claim without visible support.
Authors: We agree that the explicit algebraic verification that ℳ^{(22)} + ℳ^{(33)} + ℳ^{(24)} equals the Weinberg–DeWitt amplitude is not shown. The revised manuscript will include this calculation, either in the main text or as a short appendix, by substituting the perturbative expressions for the relevant Bondi shears and confirming the cancellation that yields -κ² s³ / (4 t u). revision: yes
Circularity Check
No significant circularity; derivation is self-contained.
full rationale
The paper derives the kernel scaling K^{(n)}∼ω_ext/q^{n-2} by induction on the recursive null-cone scattering equation after formulating the generalized Jordan-Pauli relation to incorporate δσ^+_j corrections. This is a direct derivation from the equation rather than a reduction to the input by construction. The tree-level amplitude is cross-checked against the external Weinberg-DeWitt result M_tree=-κ²s³/(4tu). The trilogy context implies self-citations to prior parts for the base recursive equation, but these are not load-bearing for the new induction or the UV-finiteness counting, which follows from the derived scaling. No quoted step equates a claimed prediction to a fitted input or renames a known result; the central claim has independent content from the induction and external check.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The null surface formulation supplies a consistent perturbative expansion for quantum graviton scattering
read the original abstract
We complete a trilogy on quantum graviton scattering in the null surface formulation (NSF) of general relativity by computing the fourth-order Bondi shear $\sigma^+_4$ and establishing three results of general scope. The perturbative $S$-matrix of the NSF is UV-finite at every loop order. This follows from the kernel scaling $K^{(n)}\sim\omega_{\mathrm{ext}}/q^{n-2}$, which we derive by induction on the recursive null-cone scattering equation; the $L$-loop integrand then scales as $dq/q^{4L}$, which is convergent for all $L\geq 1$ without regularization. We show that a simple loop-counting formula, $L=(n_1+n_2-6)/2$, classifies the topologically distinct contributions to $2\to 2$ graviton scattering by the perturbative orders $n_1$, $n_2$ of the out-operators. Tree level ($L=0$) is exhausted by $\mathcal{M}^{(22)}$, $\mathcal{M}^{(33)}$, and $\mathcal{M}^{(24)}$, which together reproduce the Weinberg--DeWitt amplitude $\mathcal{M}_{\mathrm{tree}}=-\kappa^2s^3/(4tu)$. The complete 1-loop amplitude requires, in addition to $\sigma^+_4$, the fields $\sigma^+_5$ and $\sigma^+_6$. At order $n\geq 4$ the standard Jordan--Pauli argument, which equates the advanced and retarded null-cone contributions, must be extended. The advanced cone receives additional contributions from $\delta\sigma^+_j$ ($j<n$), the nontrivial scattering corrections determined at previous orders. We formulate this as a generalized Jordan--Pauli relation that provides a systematic, order-by-order procedure for computing $\sigma^+_n$ from the free incoming datum $\sigma^-$. The computation of $\sigma^+_4$ uses three retarded-cone pairs, the conformal factor $\delta\Omega^-_4$, and -- for the first time -- advanced-cone corrections from pairs $(1,3)$ and $(2,2)$ built from the known $\sigma^+_2$ and $\sigma^+_3$
Reference graph
Works this paper leans on
-
[1]
The general structure of the type-δcorrection from the cross terms is: δK (4),adv (2,2),(n) = ηabK(12) a k4b ℓ+c(ˆk4) (K(12) +k 4)c F (i)(⃗k1, ⃗k2, ζ) ¯F (δ)(⃗k3, ⃗k4, ζ) + c.c.,(28) where ¯F (δ) is the kernel ofδσ+ 2 =σ + 2 , i.e.(ð ¯ðS Ω +S A), and the denominator carriesℓ+ as the signature of the advanced cone. The corrections contribute to all six cha...
-
[2]
applying all canonical contractions[ain λ (⃗k), a†in λ′ (⃗k′)] =δ λλ′ 2ω δ(3)(⃗k− ⃗k′), which fix the momenta of internal lines on-shell; and
-
[3]
applying all frequency deltasδ(ω′ − | ±⃗ki ± ⃗kj ± · · · |)from the kernels ofδaout n , which constrain the on-shell combinations. A contribution hasL= 0(tree) ifallinternal momenta are fixed. It hasL= 1if exactly one three-momentum integration remains free after all fixings, and so on: L= (internal contractions)−(independent constraints from frequency de...
-
[4]
Graviton 1 emits a spacelike virtual graviton (gravitational vertex, orderε)
-
[5]
The virtual graviton propagates to finite distance (not toI+)
-
[6]
It is absorbed by graviton 2, which emits secondary null/timelike radiation (vertex, orderε); 36
-
[7]
Steps 1 and 3 together account for the extra factorε2 inM t,u relative toM s
This secondary radiation propagates causally toI+ and is recorded asσ+. Steps 1 and 3 together account for the extra factorε2 inM t,u relative toM s. a. Limitation.This argument relies on the flat-space notion of timelike vs. spacelike propagation, which is globally well-defined in Minkowski space. In an asymptotically flat spacetime, themetricisdynamical...
-
[8]
The metric matching condition The NSF constructs the spacetime metric from the null cone cutZand the conformal factorΩvia: gab(x) = Ω2 hab[Z],(A1) whereh ab[Z]is the conformal metric determined by the null surfacesZ= const. The advanced solution(Z +,Ω +)uses free dataσ + atI +; the retarded solution(Z −,Ω −)uses free dataσ − atI −. Imposingg + ab(x) =g − ...
-
[9]
Integration constants and gauge fixing The NSF field equation forZn (Eq. (11) of Ref. [3]) involves∂2/∂s2 in the affine parameter sof Minkowski space. Integrating twice insintroduces two arbitrary functions of integration at each ordern:
-
[10]
ABondi supertranslationf n(ζ, ¯ζ): an arbitrary function on the sphere, reflecting the BMS gauge freedom at null infinity. 42
-
[11]
A functionF n(xaℓ+ a , ζ, ¯ζ) =F n(u, ζ, ¯ζ): an arbitrary function of the Bondi retarded timeuand the angular coordinates, arising from the first integration ins. Both are fixed simultaneously by requiring that in the absence of radiation (σ± = 0) the spacetime is flat. For flat spacetime the null cone cuts are: Z+ 0 =x aℓ+ a =u, Z − 0 =−x aℓ− a =v,(A5) ...
-
[12]
Explicit derivation of the master equation We now derive Eq. (A15) explicitly. The NSF equation forZ± n (Eq. (5) of Ref. [3]) is: ¯ð2ð2Z ± n =ð 2σ±(Z ± n−1, ζ) + ¯ð2¯σ±(Z ± n−1, ζ) + Z ±∞ 0 2ð¯ðδΩ ± n + n−1X j=1 ηab∂aΛ± j ∂b ¯Λ± n−j ds.(A7) where, using the parametric form of the future (or past) null cone,sis the affine parameter withs= 0atx a. The right...
-
[13]
The free parts of the cut cancel:Z+ n,cut|σ+ 1 + ˆZ − n,cut|σ− = 0
-
[14]
The scattering correctionsPn−1 j=2 Z+ n,cut|δσ+ j are boundary terms that cancel (Step 2b below)
-
[15]
What remains is precisely the master equation (A15), which determinesδσ+ n from the cone integrals built withδσ+ 2 , . . . , δσ+ n−1. The recursive structure is therefore manifest: at each ordernone solves (A15) forδσ+ n using δσ+ 2 , . . . , δσ+ n−1 already determined at previous steps. The entire perturbative S-matrix is generated recursively from the s...
-
[16]
Decomposition ofΛ − 1 Using the quantum operator identificationσ −(⃗k)→ p 4πG/ω ain +(⃗k)and¯σ −(⃗k)→ p 4πG/ω ain −(⃗k)(established in Sec. I): Λ− 1 (x, ζ) = s 4πG ωζ ωζ 2 ain +(⃗kζ)e ixakζa + Z d3k 2ω G2,+2(ζ, ˆk) r 4πG ω ain −(⃗k)e −ixaka.(B4) The first term istype-δ(localized at ˆk=ζviaG 2,−2 =δ 2); the second istype-G(non-local onS 2). 46
-
[17]
Pair(1,3):η ab∂aΛ− 1 ∂b ¯Λ− 3 ¯Λ− 3 has three pieces: ¯Λ− 3 = ¯Λ− 3,kn + ¯Λ− 3,¯σ− 3 + ¯Λ− 3,cone,(B5) each of which is cubic inain ±. a. Type-δcontribution ofΛ − 1.Thea in + part ofΛ − 1 localizes at ˆk1 =ζ ′. Contracting with∂ a ¯Λ− 3: ηab∂aΛ− 1,δ ∂b ¯Λ− 3 =i Z d3k1 2ω1 d3k2 2ω2 d3k3 2ω3 d3k4 2ω4 ηabk1aK(234) b ℓ−c(ˆk1)(k1 +K (234))c ×a in +(⃗k1)·[ ¯Λ− ...
-
[18]
The nine cross products of the pair(2,2)
Pair(2,2):η ab∂aΛ− 2 ∂b ¯Λ− 2 SinceΛ − 2 = Λ− 2,kn + Λ− 2,σ + Λ− 2,cone, this pair generates3×3 = 9cross products: ¯Λ− 2,kn ¯Λ− 2,σ ¯Λ− 2,cone Λ− 2,kn (1) kn×kn (2) kn×σ(3) kn×cone Λ− 2,σ (4)σ×kn (5)σ×σ(6)σ×cone Λ− 2,cone (7) cone×kn (8) cone×σ(9) cone×cone TABLE VIII. The nine cross products of the pair(2,2). Each is quartic inain ±. The general structur...
-
[19]
All kernels areK(4),(1,3) with momenta relabeled
Pair(3,1):η ab∂aΛ− 3 ∂b ¯Λ− 1 This is the Hermitian conjugate of pair(1,3)undera in + ↔a †in − ,a in − ↔a †in + ,G 2,+2 ↔ G−2,−2. All kernels areK(4),(1,3) with momenta relabeled. 48 Channel Operatorsω ′ F(σ) (I)a in +ain −ain +ain − |k1 −k 2 +k 3 −k 4|diff×diff (II)a in +ain −ain +ain + |k1 −k 2 +k 3 +k 4|diff×sum (III)a in +ain −ain −ain − |k1 −k 2 −k 3...
-
[20]
Group 1: direct terms∂ 2 r Λ− k ∂2 r ¯Λ− j a. Direct pair(1,3). δ ˜Ω− 4,(n),(1,3) = (ℓ−ck1c)2 (ℓ−cK(234) c )2 [ℓ−cK(n) c ]2 ain +(⃗k1)· ¯H(n) 3 (ˆk1; ⃗k2, ⃗k3, ⃗k4).(F2) b. Direct pair(2,2). δ ˜Ω− 4,(n),(2,2) = (ℓ−cK(12) c )2 (ℓ−cK(34) c )2 [ℓ−cK(n) c ]2 X i,j F (i) (n)(⃗k1, ⃗k2, ζ′) ¯F (j) (n)(⃗k3, ⃗k4, ζ′).(F3) c. Direct pair(3,1). δ ˜Ω− 4,(n),(3,1) = (...
-
[21]
Group 2: coupling withδΩ − 3 δ ˜Ω− 4,(n),Ω3 = Z 4Y i=1 d3ki 2ωi h (ℓ−ck1c)2(ℓ−ck2c)2 + (ℓ−ck1c)(ℓ−ck2c)·(ℓ −ck1c)(ℓ−ck2c) i ×a in +(⃗k1)ain −(⃗k2)· ˜Ω− 3,(n′)(⃗k3, ⃗k4)δ (n′⊗diff/sum),(n).(F5)
-
[22]
Group 3: coupling withδΩ − 2 δ ˜Ω− 4,(n),Ω2 = (ℓ−cK(12) c )2 (ℓ−ck3c)2 [ℓ−cK(n) c ]2 ˜Ω− 2 (⃗k1, ⃗k2)· G (n)(⃗k3, ⃗k4, ζ′) + (ℓ−ck1c)2 (ℓ−cK(34) c )2 [ℓ−cK(n) c ]2 G(n)(⃗k1, ⃗k2, ζ′)· ˜Ω− 2 (⃗k3, ⃗k4).(F6) a. CompleteK (4),Ω (n) . K(4),Ω (n) = I d2ζ ′ G2,0(ζ, ζ ′) ℓ−c(ζ ′)K (n) c ð′¯ð′ h δ ˜Ω− 4,(n),(1,3) +δ ˜Ω− 4,(n),(2,2) +δ ˜Ω− 4,(n),(3,1) +δ ˜Ω− 4,(n)...
-
[23]
Ultraviolet-finite perturbative expansion of quantum gravity at null infinity,
C. N. Kozameh and G. O. Depaola, “Ultraviolet-finite perturbative expansion of quantum gravity at null infinity,”Phys. Rev. Lett.(submitted, 2026)
work page 2026
-
[24]
Quantum graviton scattering with definite helicities in the null surface formulation,
C. N. Kozameh and G. O. Depaola, “Quantum graviton scattering with definite helicities in the null surface formulation,”Phys. Rev. D(submitted, 2026)
work page 2026
-
[25]
Nonlinear scattering of classical gravitons,
M. Bordcoch, C. N. Kozameh, and T. A. Rojas, “Nonlinear scattering of classical gravitons,” Phys. Rev. D107, 104026 (2023)
work page 2023
-
[26]
Green’s functions of the edth operators,
J. Ivancovich, C. Kozameh, and E. Newman, “Green’s functions of the edth operators,”J. Math. Phys.30, 45 (1989)
work page 1989
-
[27]
Quantum theory of asymptotically flat spacetimes,
C. N. Kozameh and L. Zapata-Altuna, “Quantum theory of asymptotically flat spacetimes,” Phys. Rev. D112, 026021 (2025)
work page 2025
-
[28]
C. N. Kozameh and G. O. Depaola, “Quantum graviton scattering with definite helicities in the null surface formulation. Part II: Third-order scattering and thes-channel,”Phys. Rev. D (submitted, 2026)
work page 2026
-
[29]
Quantum theory of gravity. III. Applications of the covariant theory,
B. S. DeWitt, “Quantum theory of gravity. III. Applications of the covariant theory,”Phys. Rev.162, 1239 (1967)
work page 1967
-
[30]
Gravity as the limit of the type-II superstring theory,
S. Sannan, “Gravity as the limit of the type-II superstring theory,”Phys. Rev. D34, 1749 (1986)
work page 1986
-
[31]
A relation between tree amplitudes of closed and open strings,
H. Kawai, D. C. Lewellen, and S.-H. H. Tye, “A relation between tree amplitudes of closed and open strings,”Nucl. Phys. B269, 1 (1986)
work page 1986
-
[32]
Infrared photons and gravitons,
S. Weinberg, “Infrared photons and gravitons,”Phys. Rev.140, B516 (1965)
work page 1965
-
[33]
Gravitational waves in general relativity. VII. Waves from axi-symmetric isolated systems,
H. Bondi, M. G. J. van der Burg, and A. W. K. Metzner, “Gravitational waves in general relativity. VII. Waves from axi-symmetric isolated systems,”Proc. R. Soc. Lond. A269, 21 (1962)
work page 1962
-
[34]
Gravitational waves in general relativity. VIII. Waves in asymptotically flat space-time,
R. K. Sachs, “Gravitational waves in general relativity. VIII. Waves in asymptotically flat space-time,”Proc. R. Soc. Lond. A270, 103 (1962)
work page 1962
-
[35]
New relations for gauge-theory amplitudes,
Z. Bern, J. J. M. Carrasco, and H. Johansson, “New relations for gauge-theory amplitudes,” Phys. Rev. D78, 085011 (2008). 54
work page 2008
-
[36]
Perturbative quantum gravity as a double copy of gauge theory,
Z. Bern, J. J. M. Carrasco, and H. Johansson, “Perturbative quantum gravity as a double copy of gauge theory,”Phys. Rev. Lett.105, 061602 (2010)
work page 2010
-
[37]
The Duality Between Color and Kinematics and its Applications,
Z. Bern, J. J. Carrasco, M. Chiodaroli, H. Johansson, and R. Roiban, “The duality between color and kinematics and its applications,” arXiv:1909.01358 (2019)
-
[38]
A. Strominger,Lectures on the Infrared Structure of Gravity and Gauge Theory, Princeton University Press (2018)
work page 2018
-
[39]
Null infinity, the BMS group and infrared issues
A. Ashtekar and M. Campiglia, “Null infinity, the BMS group and infrared issues,”Gen. Rel. Grav.50, 140 (2018) [arXiv:1808.07093 [gr-qc]]
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[40]
On BMS Invariance of Gravitational Scattering
A. Strominger, “On BMS invariance of gravitational scattering,”JHEP07, 152 (2014) [arXiv:1312.2229 [hep-th]]
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[41]
A. Strominger and A. Zhiboedov, “Gravitational memory, BMS supertranslations and soft theorems,”JHEP01, 086 (2016) [arXiv:1411.5754 [hep-th]]
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[42]
Pasterski,Lectures on celestial amplitudes,Eur
S. Pasterski, “Lectures on celestial amplitudes,”Eur. Phys. J. C81, 1062 (2021) [arXiv:2108.04801 [hep-th]]. 55
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.