pith. machine review for the scientific record. sign in

arxiv: 2605.06961 · v1 · submitted 2026-05-07 · ✦ hep-th

Recognition: 2 theorem links

· Lean Theorem

Quantum graviton scattering with definite helicities in the null surface formulation

Carlos Kozameh , Gerardo Depaola
Authors on Pith no claims yet

Pith reviewed 2026-05-11 01:16 UTC · model grok-4.3

classification ✦ hep-th
keywords null surface formulationquantum gravitygraviton scatteringhelicity amplitudesperturbative finitenessasymptotically flat spacetimesBMS symmetriesgravitational memory
0
0 comments X

The pith

Quantum gravity in the null-surface formulation is perturbatively finite without renormalization or counterterms.

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

The paper develops second-order quantum perturbation theory for gravity entirely in the Null Surface Formulation of asymptotically flat spacetimes, where every dynamical degree of freedom is radiative data at null infinity and no bulk fields or off-shell propagators appear. It derives helicity-resolved Bondi shear operators and shows that nonlinear graviton scattering factorizes into tail vertices joined by strictly on-shell intermediate gravitons. The Poincare limit recovers the s-channel of the Weinberg tree-level amplitude, while the theory remains finite at every order because intermediates carry no virtual bulk momenta and the required Gaussian-smeared states suppress high-energy contributions recursively. A reader would care because this structure removes the ultraviolet divergences that normally force renormalization in covariant perturbative gravity.

Core claim

In the Null Surface Formulation all dynamical data reside at null infinity. Second-order perturbation theory yields a graviton scattering amplitude that factorizes into two tail vertices connected by an on-shell intermediate graviton. Imposing the Poincare limit reproduces the s-channel Weinberg tree-level result; crossed channels appear only at higher order. The amplitude is perturbatively finite because every intermediate graviton is strictly on-shell, eliminating loop integrals over virtual bulk momenta, and because the perturbative regime employs Gaussian-smeared states whose suppression propagates through the hierarchy, rendering all energy integrals absolutely convergent without any re

What carries the argument

The Null Surface Formulation (NSF) of asymptotically flat spacetimes, in which all dynamical degrees of freedom are radiative data defined solely at null infinity and no bulk fields or off-shell propagators enter the construction; it supplies helicity-resolved Bondi shear and out-operators for nonlinear graviton processes.

Load-bearing premise

The Null Surface Formulation with only radiative data at null infinity fully captures the quantum dynamics of gravity, including all nonlinear processes, without requiring bulk fields or off-shell propagators.

What would settle it

An explicit third-order calculation in this formalism that produces a divergent energy integral not removed by the Gaussian smearing of the external states, or a mismatch with the full Weinberg soft factor once crossed channels are included.

read the original abstract

We develop the second-order quantum perturbation theory of gravity in the Null Surface Formulation (NSF) of asymptotically flat spacetimes. In this framework all dynamical degrees of freedom are radiative data defined at null infinity; no bulk fields or off-shell propagators enter the construction. Working directly at null infinity, we derive the helicity-resolved Bondi shear and the corresponding out-operators governing nonlinear graviton processes. The formalism naturally generates a gravitational tail amplitude requiring opposite incoming helicities, and a graviton scattering amplitude that factorizes into two tail vertices connected by an on-shell intermediate graviton. Imposing the Poincare limit reproduces the s-channel contribution of the Weinberg tree-level amplitude, while the crossed channels are shown to arise at higher perturbative order. The theory is perturbatively finite for two independent reasons: all intermediate gravitons are strictly on-shell, so no loop integrals over virtual bulk momenta are generated; and the perturbative regime requires Gaussian-smeared graviton states (small Bondi mass relative to the Planck scale), whose suppression propagates recursively through the hierarchy, rendering all energy integrals absolutely convergent at every order without renormalization or counterterms. This finiteness is structurally distinct from the ultraviolet problem of covariant perturbative gravity, where divergences originate in off-shell bulk propagators and asymptotic states are defined only indirectly via an i{\epsilon} bulk prescription. The natural observables of the NSF are spectral-angular distributions on the celestial sphere, which encode BMS supermomentum flux rather than ordinary Poincare momentum conservation. Gravitational memory, MHV helicity selection rules, and the coherent-state classical limit arise naturally within the same framework.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper develops the second-order quantum perturbation theory of gravity in the Null Surface Formulation (NSF) of asymptotically flat spacetimes. All dynamical degrees of freedom are encoded in radiative data at null infinity with no bulk fields or off-shell propagators. It derives the helicity-resolved Bondi shear and out-operators, generates a gravitational tail amplitude requiring opposite incoming helicities and a scattering amplitude that factorizes into two tail vertices connected by an on-shell intermediate graviton. In the Poincaré limit this reproduces the s-channel Weinberg tree-level amplitude while crossed channels appear at higher order. The theory is claimed to be perturbatively finite because all intermediate gravitons remain strictly on-shell (no virtual bulk loop integrals) and Gaussian-smeared states with small Bondi mass ensure recursive absolute convergence of energy integrals without renormalization. Natural observables are spectral-angular distributions on the celestial sphere that encode BMS supermomentum flux; gravitational memory, MHV rules, and the coherent-state limit emerge naturally.

Significance. If the NSF with purely radiative boundary data at null infinity is dynamically equivalent to full quantum general relativity, the approach would supply a structurally finite perturbative framework for quantum gravity that sidesteps the ultraviolet divergences of covariant methods. The reproduction of the s-channel Weinberg amplitude and the natural incorporation of BMS-related observables and memory effects would be notable strengths. However, the significance is limited by the absence of explicit verification that higher-order terms and crossed channels match standard results without missing bulk-mediated processes.

major comments (2)
  1. [Abstract] Abstract: the claim that crossed channels 'are shown to arise at higher perturbative order' is stated without any explicit derivation, amplitude expression, or comparison to the full Weinberg tree-level result; this is load-bearing for the assertion that the NSF reproduces known gravitational scattering without additional bulk contributions.
  2. [Abstract] Abstract: the finiteness argument rests on 'Gaussian-smeared graviton states (small Bondi mass relative to the Planck scale)' whose suppression 'propagates recursively through the hierarchy'; no explicit definition of the smearing, recursive relation, or demonstration that all energy integrals become absolutely convergent at every order is supplied, leaving the central finiteness claim unverified.
minor comments (2)
  1. [Abstract] The relation between the NSF out-operators and standard asymptotic graviton creation operators is not clarified with an explicit mapping or reference to prior NSF literature.
  2. [Abstract] The statement that 'the natural observables of the NSF are spectral-angular distributions on the celestial sphere' would benefit from a brief indication of how these differ from conventional S-matrix elements.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the thorough review and insightful comments on our manuscript. We address each major comment point by point below. We agree that the abstract claims would be strengthened by additional explicit derivations and will revise the manuscript to incorporate these elements while preserving the core results.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the claim that crossed channels 'are shown to arise at higher perturbative order' is stated without any explicit derivation, amplitude expression, or comparison to the full Weinberg tree-level result; this is load-bearing for the assertion that the NSF reproduces known gravitational scattering without additional bulk contributions.

    Authors: We acknowledge that an explicit derivation of the crossed channels would provide stronger support for the claim. At second order, the factorization into two tail vertices connected by a single on-shell intermediate graviton yields exclusively the s-channel contribution in the Poincaré limit, consistent with the helicity structure and the absence of off-shell bulk propagators. Crossed channels require at least one additional interaction vertex and thus appear at third order. We will add a new subsection deriving the leading crossed-channel amplitude explicitly at third order, including the full amplitude expression and a direct comparison to the Weinberg tree-level result, to confirm that no bulk-mediated processes are missing and that the NSF framework reproduces the complete tree-level structure order by order. revision: yes

  2. Referee: [Abstract] Abstract: the finiteness argument rests on 'Gaussian-smeared graviton states (small Bondi mass relative to the Planck scale)' whose suppression 'propagates recursively through the hierarchy'; no explicit definition of the smearing, recursive relation, or demonstration that all energy integrals become absolutely convergent at every order is supplied, leaving the central finiteness claim unverified.

    Authors: We agree that the finiteness argument requires a more detailed and self-contained presentation. The Gaussian smearing is implemented as a Gaussian wave-packet profile in the Bondi mass parameter with variance much smaller than the Planck scale, which suppresses high-energy contributions while preserving the on-shell condition for intermediate gravitons. Because every perturbative insertion involves an integral over on-shell energies multiplied by the smearing factors inherited from lower-order states, the suppression propagates recursively. We will expand the relevant section to include the explicit definition of the smearing function, the recursive convergence relation, and a proof that all energy integrals remain absolutely convergent at arbitrary order without renormalization. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation starts from NSF radiative data and derives amplitudes independently

full rationale

The paper takes the Null Surface Formulation with purely radiative data at null infinity as its foundational input and constructs the second-order perturbation theory, Bondi shear operators, tail amplitudes, and scattering amplitudes directly from that data. The reproduction of the s-channel Weinberg tree amplitude occurs only after imposing the Poincare limit as an external check, while the finiteness claims follow structurally from the on-shell restriction and Gaussian smearing that are built into the NSF setup itself. No equations reduce a derived quantity to a fitted parameter or to a self-referential definition, and no load-bearing uniqueness theorems or ansatze are imported via self-citation in the provided text. The central claims therefore remain independent of their own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claims rest on the domain assumption that NSF radiative data at null infinity suffice for the full quantum theory; no free parameters or invented entities are explicitly introduced in the abstract.

axioms (1)
  • domain assumption All dynamical degrees of freedom of asymptotically flat gravity are captured by radiative data defined at null infinity with no bulk fields required.
    Stated directly in the abstract as the foundational setup for the perturbation theory.

pith-pipeline@v0.9.0 · 5587 in / 1296 out tokens · 44861 ms · 2026-05-11T01:16:14.215955+00:00 · methodology

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.

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.

Reference graph

Works this paper leans on

42 extracted references · 42 canonical work pages

  1. [1]

    The derivation of the corresponding Jacobian factors is presented in Appendix C

    (56) for each intermediate direction ˆk∈S 2. The derivation of the corresponding Jacobian factors is presented in Appendix C. The amplitude then reduces to the purely angular form δS λ′ 1λ′ 2 λ1λ2 =−ϵ 2(4πG)2p ω′ 1ω′ 2ω1ω2 Z d2ˆk J( ˆk) × I d2ζ ′ I d2ζ ′′ G2λ′ 1,0(ζ ′ 1, ζ′)G2λ′ 2,0(ζ ′ 2, ζ′′) × (h ˜τλ′ 1 χ (⃗k′ 1; ⃗k1, ⃗k∗;ζ ′) ˜τ λ′ 2 N (⃗k′ 2; ⃗k∗, ⃗k...

    work page

  2. [2]

    multipole mixing beyond the original quadrupolar sector,

    work page

  3. [3]

    angular redistribution of the scattered radiation over the full celestial sphere,

    work page

  4. [4]

    The coherent-state limit therefore provides a direct bridge between the fully second- quantized NSF and the classical nonlinear scattering problem

    helicity-dependent corrections in the angular tail amplitudes. The coherent-state limit therefore provides a direct bridge between the fully second- quantized NSF and the classical nonlinear scattering problem. XIV. HIGHER-ORDER STRUCTURE The second-order fieldσ + 2 contains four distinct operator groups, separated according to their frequency support and...

    work page

  5. [5]

    the missingt- andu-channel contributions,

    work page

  6. [6]

    additional radiative corrections from mixedσ + 2 σ+ 3 terms,

    work page

  7. [7]

    the quantized null propagator connecting different null cones, whose structure has been partially analyzed in Ref. [6]. The ultraviolet finiteness mechanism discussed in Sec. IX is expected to persist at higher orders because the Gaussian smearing propagates recursively through the perturbative hi- erarchy. The main open question is whether the peeling st...

    work page

  8. [8]

    (2)–(3), provides the source for the second-order equa- tions

    Starting point: the first-order shear and its four modes The first-order Bondi shear, Eqs. (2)–(3), provides the source for the second-order equa- tions. Substituting into the NSF equation forZ + 1 [3], Z+ 1 (xa, ζ) = I S2 G0,0(ζ, ζ ′) ¯ð2 ζ′σ+(xaℓ+ a′, ζ′) +ð 2 ζ′¯σ+(xaℓ+ a′, ζ′) d2ζ ′,(A1) each ofσ + and ¯σ+ contributes two operator modes (annihilation ...

    work page

  9. [9]

    The six operator pairs and their spin weights Operator pair sw( ˆk1) sw(ˆk2) Character ain +ain − +2−2 annihilate, opposite helicity ain −ain + −2 +2 annihilate, opposite helicity a†in − ain − −2−2 number operator,λ=− a†in + ain + +2 +2 number operator,λ= + ain +ain + +2 +2 annihilate, same helicity ain −ain − −2−2 annihilate, same helicity Together with ...

    work page

  10. [10]

    All remaining dependence onζ ′, ˆk1, ˆk2 must have sw = 0 so that the integrand is well-defined onS 2

    Spin-weight matching and the kinematic factors The overall spin weight ofσ + 2 is sw(ζ) = +2, carried entirely by the external kernel G2,0(ζ, ζ ′) =ð 2 ζG0,0. All remaining dependence onζ ′, ˆk1, ˆk2 must have sw = 0 so that the integrand is well-defined onS 2. The spin-weight identity ð2 ζ¯ð2 ζ G0,0(ζ, ζ ′) =δ (2)(ζ, ζ ′) (A3) is used to perform integrat...

    work page

  11. [11]

    Time integration and the frequency channels The Fourier integrals in retarded timeuproduce the energy-conserving delta functions via Z +∞ −∞ du e i(ω∓ω′)u = 2π δ(ω∓ω ′).(A4) The four groups of Eq. (24) arise from the four possible frequency combinations: •Groups 1 and 2(difference channel): the product of two first-order shears with frequenciesω 1 andω 2 ...

    work page

  12. [12]

    (A4), only the terms inσ + 2 with time dependencee −iω′u andω ′ >0 contribute, namely Groups 1, 2, and 4, recovering Eq

    Extraction ofδa out ± and the factor16πG The outgoing operators are extracted by inverse Fourier transform inu: δaout + (ω, ζ) = r ω 4πG Z +∞ −∞ du e+iωu σ+ 2 (u, ζ).(A5) Using Eq. (A4), only the terms inσ + 2 with time dependencee −iω′u andω ′ >0 contribute, namely Groups 1, 2, and 4, recovering Eq. (36). The overall coefficient 16πGin the on-shell ampli...

    work page

  13. [13]

    (52) from the vacuum matrix element I3 =⟨0|δa out λ′ 1 (⃗k′ 1)δa out λ′ 2 (⃗k′ 2)a †in λ2 (⃗k2)a †in λ1 (⃗k1)|0⟩.(A8) Eachδa out λ′ contains three groups of operators (from Eq

    Wick contractions for the2→2S-matrix element We exhibit explicitly the Wick contractions that produce Eq. (52) from the vacuum matrix element I3 =⟨0|δa out λ′ 1 (⃗k′ 1)δa out λ′ 2 (⃗k′ 2)a †in λ2 (⃗k2)a †in λ1 (⃗k1)|0⟩.(A8) Eachδa out λ′ contains three groups of operators (from Eq. 36): δaout λ′ ⊃a inain |{z} G1 +a †in ain | {z } G2 +a †in a†in | {z } G4 ...

    work page

  14. [14]

    Structure of the NSF recursive equations The NSF field equations have a strictly bilinear recursive structure. At each ordern≥2, the source forσ + n is a sum of products of lower-order quantities [3, 6]: ¯ð2ð2Z+ n = n−1X j=1 B σ+ j , σ + n−j +L σ+ n−1 ,(D1) 41 whereB[·,·] denotes a bilinear differential operator (the productη ab∂aΛj∂b ¯Λn−j integrated ove...

    work page

  15. [15]

    ,⃗kn, ζ, u)a G,λ1(⃗k1)· · ·a G,λn(⃗kn),(D2) where eacha G,λ(⃗k) is the Gaussian-smeared operator of Eq

    Definition of the Gaussian property We say thatσ + n (u, ζ) satisfies then-Gaussian propertyif, when expanded in creation and annihilation operators, every term takes the form σ+ n (u, ζ) = Z nY i=1 d3ki 2ωi Kn(⃗k1, . . . ,⃗kn, ζ, u)a G,λ1(⃗k1)· · ·a G,λn(⃗kn),(D2) where eacha G,λ(⃗k) is the Gaussian-smeared operator of Eq. (77), andK n is a kinematic ker...

    work page

  16. [16]

    Base case:n= 1 The first-order shear, Eqs. (2)–(3), is linear in the creation and annihilation operators: σ+ 1 (u, ζ) = Z ∞ 0 dω 2π r 4πG ω h aG,+(ω, ζ)e −iωu +a † G,−(ω, ζ)e +iωu i ,(D3) where we have replaceda in ± →a G,± to indicate that physical states use smeared operators. This is a single momentum integral with a single factor ofG(ω ′ −ω) implicit ...

    work page

  17. [17]

    Inductive step:n−1⇒n Inductive hypothesis:Assume thatσ + k satisfies thek-Gaussian property for allk≤n−

    work page

  18. [18]

    42 Inductive step:From Eq

    That is, every term inσ + k contains exactlyksmeared operatorsa G,λ(⃗k), each contributing one factor ofG(ω ′ −ω). 42 Inductive step:From Eq. (D1),σ + n is determined byZ + n , which receives contributions from the bilinear termsB[σ + j , σ+ n−j] for 1≤j≤n−1 and the linear termL[σ + n−1]. Bilinear terms:Each termB[σ + j , σ+ n−j] is a product of one facto...

    work page

  19. [19]

    Consequently, every energy integral appearing in the perturbative expansion at orderϵ n is absolutely convergent

    Consequence: absolute convergence at all orders Theorem.For everyn≥1, then-Gaussian property holds forσ + n . Consequently, every energy integral appearing in the perturbative expansion at orderϵ n is absolutely convergent. Proof.By induction, as established above. The convergence follows becauseG(ω ′ −ω) is a Schwartz-class function ofω ′: it decays fast...

    work page

  20. [20]

    Kozameh and E

    C. Kozameh and E. Newman, J. Math. Phys.24, 2481 (1983)

    work page 1983

  21. [21]

    Bordcoch, C

    M. Bordcoch, C. Kozameh, and T. A. Rojas, Phys. Rev. D94, 104051 (2016)

    work page 2016

  22. [22]

    Bordcoch, C

    M. Bordcoch, C. N. Kozameh, and T. A. Rojas, Phys. Rev. D107, 104026 (2023)

    work page 2023

  23. [23]

    Ashtekar,Asymptotic Quantization(Bibliopolis, Naples, 1987)

    A. Ashtekar,Asymptotic Quantization(Bibliopolis, Naples, 1987)

    work page 1987

  24. [24]

    Ivancovich, C

    J. Ivancovich, C. Kozameh, and E. Newman, J. Math. Phys.30, 45 (1989)

    work page 1989

  25. [25]

    C. N. Kozameh and L. Zapata-Altuna, Phys. Rev. D112, 026021 (2025)

    work page 2025

  26. [26]

    Strominger,Lectures on the Infrared Structure of Gravity and Gauge Theory(Princeton University Press, 2018)

    A. Strominger,Lectures on the Infrared Structure of Gravity and Gauge Theory(Princeton University Press, 2018)

    work page 2018

  27. [27]

    Ashtekar, Phys

    A. Ashtekar, Phys. Rev. Lett.46, 573 (1981)

    work page 1981

  28. [28]

    Kozameh and G

    C. Kozameh and G. O. Depaola, Phys. Rev. Lett., submitted (2026); manuscript available upon request

    work page 2026

  29. [29]

    Weinberg, inGeneral Relativity: An Einstein Centenary Survey, edited by S

    S. Weinberg, inGeneral Relativity: An Einstein Centenary Survey, edited by S. W. Hawking and W. Israel (Cambridge University Press, 1979)

    work page 1979

  30. [30]

    Bondi, M

    H. Bondi, M. G. J. van der Burg, and A. W. K. Metzner, Proc. R. Soc. Lond. A269, 21 (1962)

    work page 1962

  31. [31]

    R. K. Sachs, Proc. R. Soc. Lond. A270, 103 (1962)

    work page 1962

  32. [32]

    Strominger, J

    A. Strominger, J. High Energy Phys.07, 152 (2014)

    work page 2014

  33. [33]

    Christodoulou, Phys

    D. Christodoulou, Phys. Rev. Lett.67, 1486 (1991)

    work page 1991

  34. [34]

    Z. Bern, L. J. Dixon, and R. Roiban, Phys. Lett. B644, 265 (2007)

    work page 2007

  35. [35]

    Z. Bern, L. Dixon, M. Perelstein, and J. S. Rozowsky, Nucl. Phys. B425, 217 (1998)

    work page 1998

  36. [36]

    Frittelli, C

    S. Frittelli, C. N. Kozameh, E. T. Newman, C. Rovelli, and R. S. Tate, Classical Quantum Gravity14, A143 (1997)

    work page 1997

  37. [37]

    Frittelli, C

    S. Frittelli, C. N. Kozameh, E. T. Newman, C. Rovelli, and R. S. Tate, Phys. Rev. D56, 889 (1997)

    work page 1997

  38. [38]

    M. H. Goroff and A. Sagnotti, Nucl. Phys. B266, 709 (1986). 44

    work page 1986

  39. [39]

    Himwich, S

    E. Himwich, S. A. Narayanan, M. Pate, N. Paul, and A. Strominger, J. High Energy Phys. 09, 129 (2020)

    work page 2020

  40. [40]

    Blanchet, Living Rev

    L. Blanchet, Living Rev. Relativity9, 200 (2006)

    work page 2006

  41. [41]

    E. T. Newman and G. Silva-Ortigoza, Classical Quantum Gravity23, 497 (2005)

    work page 2005

  42. [42]

    Chrusciel and E

    P. Chrusciel and E. Delay, Classical Quantum Gravity19, 389 (2002). 45

    work page 2002