Quantum theory of asymptotically flat spacetimes

Carlos N. Kozameh; Lautaro Zapata-Altuna

REVIEW 3 major objections 4 minor 28 references

Quantum theory of asymptotically flat spacetimes

T0 review · 3 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read A quantum theory of asymptotically flat spacetimes, built from quantized Bondi shear at null infinity, produces a nonzero 2-to-2 graviton scattering amplitude.

desk verdict The paper's linear sector is sound, but the claimed non-trivial graviton scattering amplitude lacks momentum conservation and its key input is asserted rather than derived. read the letter →

arxiv 2506.22195 v1 pith:MBNLXESO submitted 2025-06-27 hep-th

Carlos N. Kozameh , Lautaro Zapata-Altuna This is my paper · ORCID

classification hep-th PACS 04.60.-m04.62.+v

keywords quantumgravitynullinfinityBondishearSurfaceFormulationgravitonscatteringasymptoticquantizationS-matrixperturbative

topics Quantum Gravity

open problems Quantum Gravity

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper tries to build a quantum theory of asymptotically flat spacetimes from data living only on null infinity, without first quantizing the bulk metric. Starting from the Null Surface Formulation of general relativity, the Bondi shear at future or past null infinity is promoted to creation and annihilation operators, and the field equations then turn spacetime points into labels and the metric into a derived quantum operator. The central result is a nonzero 2-to-2 graviton scattering amplitude, Eq. (86), obtained by matching advanced and retarded quantum metrics order by order. If the construction holds, it gives a first-principles perturbative S-matrix for quantum gravity whose input is purely boundary data.

What carries the argument

The machinery is the Null Surface Formulation: the null cone cut function $Z(x^a,\zeta,\bar\zeta)$, the conformal factor $\Omega$, and the derived metric $g_{ab}=\Omega^2 h_{ab}[\Lambda]$ with $\Lambda=\eth^2 Z$. The free data are the Bondi shear $\sigma$ at null infinity, promoted to operators with commutation relations $[\sigma(w,\zeta),\sigma^\dagger(w',\zeta')]=\delta(w-w')/w\,\delta^2(\zeta-\zeta')$. The argument is carried by the NSF field equations, especially the second-order equations (19)-(20), and by the identity $g^+_{ab}=g^-_{ab}$ identifying advanced and retarded solutions; the Fourier-integral formula (41) for the second-order shear $\sigma^+_2$, through the kernels $S_\Omega$, $S_A$, and $S_B$, feeds the S-matrix amplitude in Eq. (86).

What would settle it

Recompute the second-order shear with the product $\partial_r\Lambda_1\partial_r\bar\Lambda_1$ normal-ordered instead of classically ordered, and compare Eq. (86); if the amplitude changes, the quantization prescription is ambiguous and the claimed S-matrix is not uniquely defined.

Watch

Extended reading notes

Core claim

The paper's central claim is that quantizing the null data of the Null Surface Formulation yields a genuine perturbative quantum gravity S-matrix. The linearized quantum shear reproduces a free spin-2 field on Minkowski spacetime with standard creation and annihilation operators; at second order, requiring the advanced and retarded solutions to give the same metric operator forces a relation between incoming and outgoing operators. Expanding the scattering operator to first order in the small parameter gives the amplitude (86), with direct and exchange terms, so incoming gravitons are scattered rather than merely passing through. The authors state that this second-order result differs from the earlier classical result in [8] and gives what they call the correct nontrivial part of the scattering cross section.

Load-bearing premise

The load-bearing assumption is that the classical field equations of the Null Surface Formulation remain valid as equations between operators once the shear is quantized, so that products of quantum fields can be written in the same order as in the classical calculation.

Editorial extensions

If this is right

The in and out graviton Fock spaces are fixed once and for all by the commutation relations at null infinity, so the same free-field phase space serves every order of perturbation theory.
At linear order, gravitons are free helicity-2 particles propagating along null directions; scattering first appears at second order through the relation between incoming and outgoing shear.
The 2-to-2 amplitude has a direct term and an exchange term, analogous to electron-electron Møller scattering, so graviton-graviton scattering is nonvanishing even with only boundary data as input.
Tree-level second-order amplitudes avoid the divergences expected at higher orders, but the paper notes that higher-order terms will require regularization.
The construction is restricted to small Bondi data and excludes coherent states peaked at large classical radiation, because such data would make null cone cuts singular before reaching null infinity.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

Beyond the paper's claims, a boundary-data S-matrix of this kind suggests that quantum gravity amplitudes might be fixed entirely by null-boundary correlation functions, with no bulk Hamiltonian or constraint quantization needed.
The operator-ordering issue in Eq. (20) is unresolved: classical products like $\partial_r\Lambda_1\partial_r\bar\Lambda_1$ are promoted by hand. A natural test is to normal-order or antisymmetrize those products and see whether Eq. (86) changes; any change means the amplitude is prescription-dependent.
A concrete check would take the low-frequency limit of Eq. (86) and compare it with standard soft-graviton factorization formulas; agreement would support the claim that this boundary S-matrix is the same object as the usual perturbative one.
Running the same scheme to third order would test whether infrared divergences appear; their presence or absence would decide whether the tree-level finiteness found here survives.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

The paper has a solid linear sector and an interesting program, but the central claim of a non-trivial scattering amplitude is not established. What is genuinely new: the second-order perturbative solution of the NSF field equations, the quantization of Bondi shear via Ashtekar's boundary commutation relations, and the reading of spacetime points as labels with the metric as a derived operator. The linear sector is standard and correctly presented, and the paper is honest about its assumptions, especially the operator-field-equation assumption and the exclusion of large coherent states.

The soft spots are serious. Eq. (41) is the key input to the amplitude; the text says it follows from the Appendix of ref. 8 but also says it differs from ref. 8. No derivation appears in this manuscript, so the input is not verifiable. More importantly, Eq. (86) lacks the overall factor δ⁴(k′₁+k′₂−k₁−k₂) that a 2-to-2 relativistic amplitude must carry. The τ_B and τ_χ factors contain only vertex-level deltas in ω and angles; after integrating over the loop momentum k, nothing enforces total energy-momentum conservation. For generic non-collinear momenta the amplitude is nonzero for kinematically forbidden processes. That is a concrete internal inconsistency, not a convention issue.

The operator-field-equation assumption is also a gap: the equations are nonlinear and non-Lagrangian, products like ∂_rΛ₁∂_rΛ̄₁ are replaced by classical products, and no normal-ordering or operator-ordering prescription is given. A referee would need to see why this correspondence holds beyond the linear level.

I would still send this to a referee. The program is non-mainstream but serious, and the linear sector is formally grounded. The flaws are potentially fixable—if the momentum conservation is restored and Eq. (41) is actually derived, the paper could be a useful contribution. In its current form, I would not cite it for the scattering result.

Referee Report

3 major / 4 minor

Summary. The paper presents a quantization of asymptotically flat spacetimes based on the Null Surface Formulation (NSF). It quantizes the Bondi shear at null infinity using Ashtekar's asymptotic quantization, solves the NSF field equations perturbatively to second order, promotes the solutions to operator-valued quantities, and claims a nontrivial 2-to-2 graviton scattering amplitude, Eq. (86). The linear sector reproduces the standard free spin-2 field on Minkowski space, and the paper explicitly restricts to small data and regular null cuts. The central nonlinear claim, however, rests on the classical second-order shear formula (41), the operator-field-equation assumption of Section IV, and the final amplitude (86), all of which have serious unaddressed problems.

Significance. If established, the paper would provide a first-principles perturbative S-matrix for asymptotically flat quantum gravity constructed from null-infinity data, which would be a notable alternative to covariant perturbation theory. The paper has the virtue of being explicit: the linear metric operator is written out, the free-field commutation relations are taken from a well-established framework, and the assumptions (small epsilon, regular cuts, exclusion of large coherent states) are stated openly. Those strengths, however, concern mainly the linear sector. The nonlinear scattering claim on which the paper's novelty rests is not established: the key input (41) is asserted rather than derived, its Fourier counterpart (44) is internally inconsistent, and the final amplitude (86) is not translation invariant. The significance of the paper as it stands is therefore not realized.

major comments (3)

[Section V, Eqs. (84)-(86)] The central amplitude is not translation invariant. After the operator contractions that lead to Eq. (86), the surviving constraints are delta(w'_1 - |k1 + k|), delta(w'_2 - |k - k2|), and the angular delta functions inside S_B, S_Omega, and S_A, together with the on-shell conditions for the external momenta. There is no overall delta^3(k'_1 + k'_2 - k1 - k2) and no delta(w'_1 + w'_2 - w1 - w2). Consequently Eq. (86) is nonzero for generic external momenta that do not satisfy total energy-momentum conservation. A physical 2-to-2 S-matrix element must contain the four-momentum conserving delta function; its absence is an internal inconsistency in the advertised result.
[Section II.F, Eqs. (41) and (44)] The classical second-order shear (41), which is the direct input to the quantum expression (72), is not derived in this manuscript. The text says it follows from a calculation in ref. 8, but immediately adds that it differs from ref. 8; no derivation of the new result is supplied. Moreover, Eq. (44) is not a valid positive-frequency Fourier transform of Eq. (41): the e^{+iu|k1+k2|} term in Eq. (41) cannot contribute at positive frequency w, yet Eq. (44) gives that term the same delta(w - |k1+k2|) as the e^{-iu|k1+k2|} term, so the two S_B terms cancel as written. The operator expression (72) nevertheless retains both S_B terms. This breaks the chain from the classical calculation to the quantum S-matrix.
[Section IV, after Eq. (20)] The quantization of the nonlinear sector rests on the stated assumption that the NSF field equations remain valid as operator equations. This is load-bearing and is not justified. The equations are non-Lagrangian and nonlinear, and Eq. (20) and Eq. (21) contain products such as partial_r Lambda_1 partial_r barLambda_1 that become operator products after promotion; the paper gives no operator-ordering prescription. The passage from the classical quadratic products in Eq. (41) to the specific ordering in Eq. (72) is likewise assumed without argument. Different orderings would change the amplitude (86), so the central result is not well defined even before the momentum-conservation problem.

minor comments (4)

[Introduction] There are frequent typos ('to to', 'absorbe', 'si', 'aymptotic', 'John Wilwy & Sons'), and references 1 and 2 are given as 'Placeholder Journal' rather than complete citations.
[Section III, Eq. (49)] The commutator equation (49) has a missing bracket: it reads '[sigma+(u,zeta), sigma+(u',zeta')] = sigma+(u,zeta), sigma+(u',zeta')] = 0'.
[Section V, Eq. (75)] The definition of the S-matrix element as <0|a_out(k'_1)a_out(k'_2)a_dagger_in(k2)a_dagger_in(k1)|0> is not justified if a_out and a_in are related by a unitary transformation; the paper does not state how the in and out vacua are related.
[Section VI] The criticism of covariant perturbation theory in the final section (flat null cones do not reach null infinity) is made without a proof or reference; since it is not needed for the main calculation, it should be removed or substantiated.

Circularity Check

2 steps flagged · score 4.0 of 10

Central scattering input relies on a self-cited, corrected-without-derivation classical result; the linear trivial scattering is definitional, but the overall quantization scheme is a stated postulate rather than a fit.

self definitional [Section IV.A, Eqs. (66)-(68)]
"At a quantum level on then has aout(⃗k) = σ+(w, ζ,¯ζ) = −¯σ−(w, bζ, b¯ζ) = ain(⃗k), (66) giving a trivial scattering at the linear level."

In Eqs. (67)-(68) the operators are defined as aout(⃗k) := σ+(w, ζ, ¯ζ) and ain(⃗k) := −σ−(w, bζ, b¯ζ). Equation (66) then asserts aout = ain, so the linear S = 1 "trivial scattering" result is true by construction of the identifications (together with the linear relation (65)), not as a separately derived dynamical prediction. The paper itself labels this trivial, so this is a minor definitional step.
self citation load bearing [Section II.F, Eq. (41)]
"Following a calculation derived in the Appendix of ref. 8 one can show that ... It is important to note that the above result differs from the one obtained in8 and gives the correct form of the nontrivial part of the scattering cross section."

Equation (41) is the sole quantitative input for the operator relation (72) and hence for the 2→2 amplitude (86). The text attributes it to the appendix of the authors' own ref. 8, but immediately says the formula differs from ref. 8, and no derivation is provided in this manuscript. The cited appendix therefore cannot justify the corrected formula; the central nontrivial-scattering claim is carried by an unverified self-citation rather than by a self-contained computation.

full rationale

The paper does not fit parameters to data, and its central quantization scheme is an explicit postulate: null-infinity free data obey Ashtekar's external commutation relations, and the NSF field equations are assumed to hold as operator equations. Given that postulate, the second-order formulas do follow from the field equations plus Wick contractions, so the derivation is not circular in the fit or self-definition sense. However, the linear aout = ain relation is built into the operator identifications (66)-(68), and the nontrivial amplitude is an operator transcription of the classical formula (41), whose support is a self-cited reference that the paper itself says it corrects without showing the correction. These issues raise the circularity/self-support burden to a moderate level, though the classical NSF equations and Ashtekar's asymptotic quantization remain independent external inputs.

Assumptions & free parameters 1 free parameters · 4 assumptions · 0 invented entities

The construction rests on two unproven physical assumptions (regularity of null cuts and operator-valued field equations) plus a technical assumption about the in/out map at spacelike infinity. No new particles or forces are introduced. The only 'parameter' is the perturbative expansion ϵ, which is not fitted to data.

free parameters (1)

epsilon (perturbative parameter) = set to 1 at the end (Section V); absorbed in the News function (Section II.B)
Expansion parameter measuring deviation from flat space; the paper states 'we absorbe the parameter ϵ in the News function' and later uses ϵ=1 to define the first-order scattering. Not fitted to data, but it controls the interaction strength and its value is part of the construction.

assumptions (4)

domain assumption Null cuts are regular closed 2-surfaces at both future and past null infinity for the class of 'classical graviton' spacetimes.
Stated in Section I as 'a very important and non-trivial restriction'. The paper argues using Chrusciel-Delay stability but acknowledges it is an assumption.
ad hoc to paper The classical NSF field equations hold as operator equations after quantization.
Section IV: 'We thus assume that the field equations are also valid for the quantum variables of NSF, a standard assumption in quantum field theory.' No proof or operator-ordering prescription.
domain assumption There is a unique map between past and future Bondi coordinates via regularity at spacelike infinity.
Section VI: 'there is also an assumption that has been used in this work, namely, the existence of a map between the past and future Bondi coordinates mediated by a regularity assumption of spacelike infinity'. Without it, the S-matrix has an S2 gauge freedom.
standard math The Bondi shear admits a positive-frequency Fourier decomposition and mode operators satisfy free-field commutation relations.
Section III, based on Ashtekar's asymptotic quantization. Standard free-field quantization procedure; assumed without derivation here.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Quantum theory of asymptotically flat spacetimes." pith.science (2026). https://pith.science/paper/MBNLXESO

@misc{pith2026250622195,
  author       = {Pith},
  title        = {Pith review of: Quantum theory of asymptotically flat spacetimes},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/MBNLXESO}},
  note         = {Machine review of arXiv:2506.22195}
}

read the original abstract

A quantum theory of asymptotically flat space-times is presented using the solutions of the Null Surface Formulation (NSF) field equations in a perturbative scheme. Free-field commutation relations are given for the null free data of NSF at future or past null infinity, and the main variables of NSF are then used to define the interior points of the space-time as labels and the metric of the space-time as a derived quantum operator. A non-trivial scattering of gravitons is given.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

28 extracted references · 28 canonical work pages

[1]

Dominguez A 1997 Placeholder Journal\/

work page 1997
[2]

Chrusciel P T and Delay E 2002 Placeholder Journal\/

work page 2002
[3]

Bordcoch M, Kozameh C N and Rojas T A 2016 Physical Review D\/ 94 104051

work page 2016
[4]

Frittelli S, Kozameh C N, Newman E T, Rovelli C and Tate R S 1997 Classical and Quantum Gravity\/ 14 A143

work page 1997
[5]

Frittelli S, Kozameh C N, Newman E T, Rovelli C and Tate R S 1997 Physical Review D\/ 56 889--907

work page 1997
[6]

Ashtekar A 1981 Physical Review Letters\/ 46 573

work page 1981
[7]

Ashtekar A 1987 Asymptotic quantization\/ (Bibliopolis)

work page 1987
[8]

Bordcoch M, Kozameh C N and Rojas T A 2023 Physical Review D\/ 107 104026

work page 2023

Show all 28 references

[9]

Weinberg S 1979 Physics Reports\/ 19 213--320

1979
[10]

Parker L and Toms D 2009 The S-Matrix in Quantum Gravity: Effective Field Theories, Feynman Diagrams, and Perturbation Theory\/ (Cambridge University Press)

2009
[11]

Strominger A 2018 Lectures on the infrared structure of gravity and gauge theory\/ (Princeton University Press)

2018
[12]

Himwich E, Narayanan S A, Pate M, Paul N and Strominger A 2020 JHEP 09\/ 129

2020
[13]

Kozameh C and Newman E 1983 J. Math. Phys.\/ 24 2481--2489

1983
[14]

Wunschmann K 1905 Uber Beruhrungsbedingungen bei Integralkurven von Differ- entialgleichungen\/ (Teubner Leipzig)

1905
[15]

Cartan E 1938 C. R. Acad. Sci.\/ 206 1425

1938
[16]

Cartan E 1941 Rev. Mat. Hispano-Amer.\/ 4 1

1941
[17]

Chern S 1978 Selected Papers: The Geometry of the Di®erential Equation y000 = F(x; y; y0; y00); 1940\/ (Springer-Verlag)

1978
[18]

Wald R M 2010 General relativity\/ (University of Chicago press)

2010
[19]

Ivancovich J, Kozameh C and Newman E 1989 Journal of mathematical physics\/ 30 45--52

1989
[20]

Newman E T and Silva-Ortigoza G 2005 Classical and Quantum Gravity\/ 23 497

2005
[21]

Gasiorowicz S 1966 Elementary Particle Physics\/ (John Wilwy & Sons)

1966
[22]

Frittelli S, Kozameh C and Newman E T 1995 Journal of Mathematical Physics\/ 36 4984--5004

1995
[23]

Kozameh C and Tessone E 2023 Physical Review D\/ 107 105016

2023
[24]

Domingues A and Tiglio M 1999 Physical Review D\/ 60 064001

1999
[25]

Ashtekar A 2022 MDPI Physics\/ 4 1384--1402

2022
[26]

Gallo E I M and C K 2005 Classical and Quantum Gravity\/ 22 1881–1901

2005
[27]

Friedrich H 1998 Journal of Geometry and Physics\/ 24 83--163

1998
[28]

Friedrich H and Kannar J 2000 Annalen der Physik\/ 9 321--330

2000

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.

[1] [1]

Dominguez A 1997 Placeholder Journal\/

work page 1997

[2] [2]

Chrusciel P T and Delay E 2002 Placeholder Journal\/

work page 2002

[3] [3]

Bordcoch M, Kozameh C N and Rojas T A 2016 Physical Review D\/ 94 104051

work page 2016

[4] [4]

Frittelli S, Kozameh C N, Newman E T, Rovelli C and Tate R S 1997 Classical and Quantum Gravity\/ 14 A143

work page 1997

[5] [5]

Frittelli S, Kozameh C N, Newman E T, Rovelli C and Tate R S 1997 Physical Review D\/ 56 889--907

work page 1997

[6] [6]

Ashtekar A 1981 Physical Review Letters\/ 46 573

work page 1981

[7] [7]

Ashtekar A 1987 Asymptotic quantization\/ (Bibliopolis)

work page 1987

[8] [8]

Bordcoch M, Kozameh C N and Rojas T A 2023 Physical Review D\/ 107 104026

work page 2023