Recognition: 1 theorem link
· Lean TheoremA proof of conservation laws in gravitational scattering: tails and breaking of peeling
Pith reviewed 2026-05-15 13:15 UTC · model grok-4.3
The pith
A definition of asymptotically flat spacetimes yields three antipodal matching conditions at spatial infinity that become conservation laws.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We propose a definition of asymptotically flat spacetimes that is consistent with both null infinities and compatible with known properties of gravitational scattering, incoming and outgoing radiation, and interactions with matter. For this class of spacetimes, we prove three antipodal matching conditions at spatial infinity: one for the so-called dual mass aspect, one for the leading tail of the shear, and one that non-trivially relates the peeling properties of the spacetime at past and null infinities to the leading tail and mass aspect at spatial infinity. Furthermore, we reformulate these identities as asymptotic conservation laws defined on the boundary hyperboloid at spatial infinity.
What carries the argument
The three antipodal matching conditions at spatial infinity, which relate the dual mass aspect, shear tail, and peeling data and are rewritten as conservation laws on the spatial-infinity hyperboloid.
Load-bearing premise
The proposed definition of asymptotically flat spacetimes is consistent with both null infinities and known properties of gravitational scattering, incoming and outgoing radiation, and interactions with matter.
What would settle it
An explicit construction of a spacetime obeying the proposed definition yet violating any one of the three antipodal matching conditions at spatial infinity would falsify the claimed proof.
read the original abstract
We propose a definition of asymptotically flat spacetimes that is consistent with both null infinities and compatible with known properties of gravitational scattering, incoming and outgoing radiation, and interactions with matter. For this class of spacetimes, we prove three antipodal matching conditions at spatial infinity: one for the so-called dual mass aspect, one for the leading tail of the shear, and one that non-trivially relates the peeling properties of the spacetime at past and null infinities to the leading tail and mass aspect at spatial infinity. Furthermore, we reformulate these identities as asymptotic conservation laws defined on the boundary hyperboloid at spatial infinity.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proposes a new definition of asymptotically flat spacetimes that is consistent with both null infinities and the known properties of gravitational scattering, incoming/outgoing radiation, and matter interactions. For spacetimes in this class, it proves three antipodal matching conditions at spatial infinity—one for the dual mass aspect, one for the leading tail of the shear, and one relating the peeling properties at past and null infinities to the leading tail and mass aspect at spatial infinity—and reformulates these as asymptotic conservation laws on the spatial-infinity hyperboloid.
Significance. If the definition is shown to be consistent with standard examples and the proofs are rigorous, the results would establish conservation laws that incorporate tails and breaking of peeling, providing a useful framework for asymptotic symmetries and gravitational scattering in general relativity.
major comments (2)
- [Definition of asymptotically flat spacetimes] The proposed definition of asymptotically flat spacetimes is the load-bearing foundation for all three matching conditions and the conservation laws. The manuscript asserts consistency with null infinities, peeling, tails, and scattering but supplies no explicit verification against Minkowski, Schwarzschild, or known tail solutions; without such checks the class may be either too restrictive or too permissive for the spacetimes of physical interest.
- [Proofs of the matching conditions] The proofs of the three antipodal matching conditions (dual mass aspect, leading shear tail, and peeling relation) are stated to follow from the definition, yet the text provides neither the full derivation steps nor an explicit list of assumptions and error estimates. This prevents independent assessment of whether the matching conditions hold non-trivially or reduce to identities by construction.
minor comments (1)
- Notation for the dual mass aspect and shear tail should be introduced with explicit reference to the corresponding equations at spatial infinity to improve readability.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments. We address the two major concerns below. Both points are valid and will be resolved by expanding the manuscript with explicit verifications and fuller derivations; no standing objections remain.
read point-by-point responses
-
Referee: [Definition of asymptotically flat spacetimes] The proposed definition of asymptotically flat spacetimes is the load-bearing foundation for all three matching conditions and the conservation laws. The manuscript asserts consistency with null infinities, peeling, tails, and scattering but supplies no explicit verification against Minkowski, Schwarzschild, or known tail solutions; without such checks the class may be either too restrictive or too permissive for the spacetimes of physical interest.
Authors: We agree that explicit verification against standard examples is necessary to confirm the definition is neither too restrictive nor too permissive. In the revised version we will add a new section (or appendix) that explicitly checks the definition on Minkowski spacetime, Schwarzschild spacetime, and representative tail solutions from linearized gravity. These checks will verify that the asymptotic expansions, peeling properties, and radiation content match the known behaviors while still allowing the non-trivial matching conditions we prove. revision: yes
-
Referee: [Proofs of the matching conditions] The proofs of the three antipodal matching conditions (dual mass aspect, leading shear tail, and peeling relation) are stated to follow from the definition, yet the text provides neither the full derivation steps nor an explicit list of assumptions and error estimates. This prevents independent assessment of whether the matching conditions hold non-trivially or reduce to identities by construction.
Authors: We acknowledge that the current text presents the derivations in a condensed form. The three matching conditions are non-trivial consequences of the definition together with the asymptotic expansions on the spatial-infinity hyperboloid; they are not identities by construction. In the revision we will expand the relevant sections to include complete step-by-step derivations, an explicit list of all assumptions (fall-off rates, regularity conditions on the hyperboloid, and the precise relation between null and spatial infinities), and error estimates for the remainder terms. This will allow independent verification that the results are substantive. revision: yes
Circularity Check
Proposed definition of asymptotically flat spacetimes carries the proofs; no reduction to fitted inputs or self-referential definitions.
full rationale
The paper proposes a definition of asymptotically flat spacetimes and derives three antipodal matching conditions (dual mass aspect, leading shear tail, peeling relation) strictly within that class, reformulating them as conservation laws on the spatial-infinity hyperboloid. No quoted equations or steps in the abstract or description reduce a prediction to a fitted parameter by construction, invoke load-bearing self-citations for uniqueness, or smuggle an ansatz. The derivation is self-contained as a direct proof from the stated definition, consistent with the default expectation that most papers are not circular.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The proposed definition of asymptotically flat spacetimes is consistent with null infinities, gravitational scattering, incoming/outgoing radiation, and matter interactions.
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking echoes?
echoesECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.
harmonic analysis on three-dimensional de Sitter spacetime... antipodal maps as conservation laws on dS3
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
-
[1]
A proof of conservation laws in gravitational scattering: tails and breaking of peeling
following earlier work [ 12, 28, 45]. Using the Bondi tetrad ( l, n, m,¯m), the tensor DAB corresponds to the lack of peeling in Ψ 0 = r−4DABmAmB + o(r−4) and Ψ1 =∇ BDABmA logr r −4 +O(r −4) [30]. The metric is defined at past null infinity I − from the formally identical expansion as at I+ with u replaced by −v. We introduce the notation u+ := u and u− :...
work page internal anchor Pith review Pith/arXiv arXiv 2026
-
[2]
Lectures on the Infrared Structure of Gravity and Gauge Theory
A. Strominger,Lectures on the Infrared Structure of Grav- ity and Gauge Theory(Princeton University Press, 2018) arXiv:1703.05448 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[3]
The Formation of Black Holes in General Relativity
D. Christodoulou, The Formation of Black Holes in Gen- eral Relativity, in12th Marcel Grossmann Meeting on General Relativity(2008) pp. 24–34, arXiv:0805.3880 [gr- qc]
work page internal anchor Pith review Pith/arXiv arXiv 2008
-
[4]
S. Pasterski, M. Pate, and A.-M. Raclariu, Celestial Holog- raphy, inSnowmass 2021(2021) arXiv:2111.11392 [hep- th]
-
[5]
Penrose, Asymptotic properties of fields and space- times, Phys
R. Penrose, Asymptotic properties of fields and space- times, Phys. Rev. Lett.10, 66 (1963)
work page 1963
-
[6]
Penrose, Conformal treatment of infinity, Relativity, groups and topology , 565 (1964)
R. Penrose, Conformal treatment of infinity, Relativity, groups and topology , 565 (1964)
work page 1964
-
[7]
Geroch, Asymptotic Structure of Space-Time, in Asymptotic Structure of Space-Time, edited by F
R. Geroch, Asymptotic Structure of Space-Time, in Asymptotic Structure of Space-Time, edited by F. P. Es- posito and L. Witten (1977) p. 1
work page 1977
-
[8]
Frauendiener, Conformal infinity, Living Rev
J. Frauendiener, Conformal infinity, Living Rev. Rel.3, 4 (2000)
work page 2000
-
[9]
Sachs, Gravitational waves in general relativity
R. Sachs, Gravitational waves in general relativity. vi. the outgoing radiation condition, Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences264, 309 (1961)
work page 1961
-
[10]
R. Penrose, Zero rest-mass fields including gravitation: asymptotic behaviour, Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences284, 159 6 (1965), https://royalsocietypublishing.org/rspa/article- pdf/284/1397/159/55368/rspa.1965.0058.pdf
-
[11]
M. Walker and C. M. Will, Relativistic kepler problem. ii. asymptotic behavior of the field in the infinite past, Phys. Rev. D19, 3495 (1979)
work page 1979
-
[12]
T. Damour, Analytical calculations of gravitational radi- ation, in4th Marcel Grossmann Meeting on the Recent Developments of General Relativity(1985)
work page 1985
-
[13]
Winicour, Logarithmic asymptotic flatness, Founda- tions of Physics15, 605 (1985)
J. Winicour, Logarithmic asymptotic flatness, Founda- tions of Physics15, 605 (1985)
work page 1985
-
[14]
D. Christodoulou, The global initial value problem in gen- eral relativity, inThe Ninth Marcel Grossmann Meeting: On Recent Developments in Theoretical and Experimental General Relativity, Gravitation and Relativistic Field The- ories (In 3 Volumes)(World Scientific, 2002) pp. 44–54
work page 2002
- [15]
- [16]
-
[17]
B. Sahoo and A. Sen, Classical soft graviton theorem rewritten, JHEP01, 077, arXiv:2105.08739 [hep-th]
-
[18]
Logarithmic Terms in the Soft Expansion in Four Dimensions
A. Laddha and A. Sen, Logarithmic Terms in the Soft Expansion in Four Dimensions, JHEP10, 056, arXiv:1804.09193 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv
-
[19]
R. K. Sachs, Gravitational Waves in General Relativity. VIII. Waves in Asymptotically Flat Space-Time, Proceed- ings of the Royal Society of London Series A270, 103 (1962)
work page 1962
- [20]
-
[21]
G. Comp` ere, S. E. Gralla, and H. Wei, An asymptotic framework for gravitational scattering, Class. Quant. Grav.40, 205018 (2023), arXiv:2303.17124 [gr-qc]
-
[22]
D. Christodoulou and S. Klainerman,The Global Nonlin- ear Stability of the Minkowski Space (PMS-41)(Princeton University Press, Princeton, 1994)
work page 1994
- [23]
- [24]
-
[25]
H. Masaood, A scattering theory for linearised gravity on the exterior of the Schwarzschild black hole II: The full system, Adv. Math.452, 109785 (2024), arXiv:2211.07462 [gr-qc]
-
[26]
L. Kehrberger, The case against smooth null infinity IV: Linearized gravity around Schwarzschild—anoverview, Phil. Trans. Roy. Soc. Lond. A382, 20230039 (2024), arXiv:2401.04170 [gr-qc]
-
[27]
L. Kehrberger and H. Masaood, The Case Against Smooth Null Infinity V: Early-Time Asymptotics of Linearised Gravity Around Schwarzschild for Fixed Spherical Har- monic Modes, Arch. Ration. Mech. Anal.250, 9 (2026), arXiv:2401.04179 [gr-qc]
-
[28]
B. Schneider and N. Khera, From spatial to null infinity: Connecting initial data to peeling, Phys. Rev. D112, 104024 (2025), arXiv:2507.07977 [gr-qc]
-
[29]
P. T. Chru´ sciel, M. A. MacCallum, and D. B. Singleton, Gravitational waves in general relativity xiv. bondi ex- pansions and the ‘polyhomogeneity’of I, Philosophical Transactions of the Royal Society of London. Series A: Physical and Engineering Sciences350, 113 (1995)
work page 1995
-
[30]
J. A. V. Kroon, Conserved quantities for polyhomoge- neous space-times, Class. Quant. Grav.15, 2479 (1998), arXiv:gr-qc/9805094
work page internal anchor Pith review Pith/arXiv arXiv 1998
-
[31]
M. Geiller, A. Laddha, and C. Zwikel, Symmetries of the gravitational scattering in the absence of peeling, JHEP 12, 081, arXiv:2407.07978 [gr-qc]
-
[32]
A. Ashtekar and R. O. Hansen, A unified treatment of null and spatial infinity in general relativity. I - Universal structure, asymptotic symmetries, and conserved quanti- ties at spatial infinity, J. Math. Phys.19, 1542 (1978)
work page 1978
-
[33]
A. Ashtekar and N. Khera, Unified treatment of null and spatial infinity III: asymptotically minkowski space-times, JHEP02, 210, arXiv:2311.14130 [gr-qc]
-
[34]
A. Ashtekar and N. Khera, Unified treatment of null and spatial infinity IV: angular momentum at null and spatial infinity, JHEP01, 085, arXiv:2311.14190 [gr-qc]
-
[35]
The Asymptotic Behavior of Massless Fields and the Memory Effect
G. Satishchandran and R. M. Wald, Asymptotic behavior of massless fields and the memory effect, Phys. Rev. D 99, 084007 (2019), arXiv:1901.05942 [gr-qc]
work page internal anchor Pith review Pith/arXiv arXiv 2019
-
[36]
H. Godazgar, M. Godazgar, and C. N. Pope, Dual gravita- tional charges and soft theorems, Journal of High Energy Physics2019, 10.1007/jhep10(2019)123 (2019)
-
[37]
U. Kol and M. Porrati, Properties of dual supertranslation charges in asymptotically flat spacetimes, Physical Review D100, 10.1103/physrevd.100.046019 (2019)
-
[38]
G. Comp` ere and S. Robert, Scalar, vector and tensor fields on ds3 with arbitrary sources: harmonic analysis and antipodal maps (2025), arXiv:2512.15578 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2025
-
[39]
Sachs, Asymptotic symmetries in gravitational theory, Phys
R. Sachs, Asymptotic symmetries in gravitational theory, Phys. Rev.128, 2851 (1962)
work page 1962
-
[40]
Bondi, Gravitational waves in general relativity, Nature 186, 535 (1960)
H. Bondi, Gravitational waves in general relativity, Nature 186, 535 (1960)
work page 1960
-
[41]
R. K. Sachs, Gravitational waves in general relativity viii. waves in asymptotically flat space-time, Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences270, 103 (1962)
work page 1962
-
[42]
Symmetries of asymptotically flat 4 dimensional spacetimes at null infinity revisited
G. Barnich and C. Troessaert, Symmetries of asymptoti- cally flat 4 dimensional spacetimes at null infinity revis- ited, Phys. Rev. Lett.105, 111103 (2010), arXiv:0909.2617 [gr-qc]
work page internal anchor Pith review Pith/arXiv arXiv 2010
-
[43]
G. Comp` ere, A. Fiorucci, and R. Ruzziconi, Superboost transitions, refraction memory and super-Lorentz charge algebra, JHEP11, 200, [Erratum: JHEP 04, 172 (2020)], arXiv:1810.00377 [hep-th]
-
[44]
M. Campiglia and J. Peraza, Generalized BMS charge al- gebra, Phys. Rev. D101, 104039 (2020), arXiv:2002.06691 [gr-qc]
-
[45]
A. Rignon-Bret and S. Speziale, Center-less bms charge algebra (2024), arXiv:2405.01526 [hep-th]
-
[46]
M. Geiller and C. Zwikel, The partial Bondi gauge: Fur- ther enlarging the asymptotic structure of gravity, SciPost Phys.13, 108 (2022), arXiv:2205.11401 [hep-th]
- [47]
- [48]
-
[49]
G. Boschetti and M. Campiglia, Log translation invari- ance of log soft gravitational radiation, JHEP10, 105, arXiv:2508.17919 [gr-qc]
-
[50]
L. Freidel and D. Pranzetti, Gravity from symmetry: dual- ity and impulsive waves, JHEP04, 125, arXiv:2109.06342 [hep-th]
-
[51]
Quantum semipara- metric estimation.Phys
H. Godazgar, M. Godazgar, and C. Pope, New dual grav- itational charges, Physical Review D99, 10.1103/phys- revd.99.024013 (2019)
-
[52]
S. Agrawal, L. Donnay, K. Nguyen, and R. Ruzziconi, Logarithmic soft graviton theorems from superrotation Ward identities, JHEP02, 120, arXiv:2309.11220 [hep-th]
-
[53]
Observational Signature of the Logarithmic Terms in the Soft Graviton Theorem
A. Laddha and A. Sen, Observational Signature of the Logarithmic Terms in the Soft Graviton Theorem, Phys. Rev. D100, 024009 (2019), arXiv:1806.01872 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2019
-
[54]
G. Boschetti and M. Campiglia, An asymptotic proof of the classical log soft graviton theorem (2026), arXiv:2603.09844 [gr-qc]
-
[55]
R. Beig and B. G. Schmidt, Einstein’s equations near spatial infinity, Communications in Mathematical Physics 87, 65 (1982)
work page 1982
-
[56]
R. Beig, Integration of einstein’s equations near spatial infinity, Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences391, 295 (1984)
work page 1984
-
[57]
Relaxing the Parity Conditions of Asymptotically Flat Gravity
G. Comp` ere and F. Dehouck, Relaxing the Parity Con- ditions of Asymptotically Flat Gravity, Class. Quant. Grav.28, 245016 (2011), [Erratum: Class.Quant.Grav. 30, 039501 (2013)], arXiv:1106.4045 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2011
- [58]
-
[59]
The BMS4 algebra at spatial infinity
C. Troessaert, The BMS4 algebra at spatial infinity, Class. Quant. Grav.35, 074003 (2018), arXiv:1704.06223 [hep- th]
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[60]
K. Prabhu, Conservation of asymptotic charges from past to future null infinity: Supermomentum in general rela- tivity, JHEP03, 148, arXiv:1902.08200 [gr-qc]
work page internal anchor Pith review Pith/arXiv arXiv 1902
-
[61]
M. Magdy and J. A. V. Kroon, Asymptotic charges for spin-1 and spin-2 fields at the critical sets of null infinity, J. Math. Phys.63, 052502 (2022), arXiv:2112.03890 [gr-qc]
-
[62]
Gravitational Memory, BMS Supertranslations and Soft Theorems
A. Strominger and A. Zhiboedov, Gravitational Memory, BMS Supertranslations and Soft Theorems, JHEP01, 086, arXiv:1411.5745 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv
-
[63]
M. Geiller, Celestial w1+∞ charges and the subleading structure of asymptotically-flat spacetimes, SciPost Phys. 18, 023 (2025), arXiv:2403.05195 [hep-th]
-
[64]
Evidence for a New Soft Graviton Theorem
F. Cachazo and A. Strominger, Evidence for a new soft graviton theorem (2014), arXiv:1404.4091 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[65]
T. M¨ adler and J. Winicour, Bondi-sachs formalism, Schol- arpedia11, 33528 (2016)
work page 2016
-
[66]
G. Comp` ere and S. Robert, Conservation law of super- Lorentz charges, to appear (2026). SUPPLEMENTARY MATERIAL Appendix A: Einstein equations at future null infinity We provide here the solution to Einstein’s equations at future null infinity in Bondi gauge for a polyhomogeneous expansion of the form (2). The computations in this Appendix generalize [30...
work page 2026
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.