REVIEW 3 major objections 6 minor 30 references
Newman-Penrose-like exact and approximate conservation laws: a covariant and conformal formulation
T0 review · 3 major / 6 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read Newman-Penrose constants, traditionally tied to Minkowski light cones, are formulated covariantly and proven to extend to massless fields of arbitrary spin on conformally flat spacetimes.
desk verdict Worth publishing after the iff in Theorem 2 is fixed or downgraded; the conformal GHP formalism and Theorem 1 are real contributions. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The machinery is the conformal GHP operator pair $(\eth_c, \eth_c)$, defined in Eq. (2.1) by absorbing the spin coefficients $\rho$, $\rho-\bar\rho$, $\tau$, $\tau-\bar\tau'$ into the ordinary GHP derivatives, so that both operators carry conformal weight $-1$ and the commutators (2.8)–(2.9) simplify to forms with at most two derivative terms. Acting on a spin-$s$ field component $\phi_k$ with $q = 0$, the combination $[\square, \eth_c \eth_c] = 0$ (Lemma 2) generates new solutions of the wave equation by raising the spin weight, which is exactly what lets one build the higher-$\ell$ NP charges iteratively. Stokes' theorem on a null surface in conformal GHP form (Proposition 1) then converts the identity $\eth'_c (Y \eth_c\phi_k) = \eth'_c (Y \eth_c\phi_k)$ into cut-independence of the charge, and the same proposition yields the flux-balance law when curvature terms remain.
What would settle it
On a shearing null hypersurface in Kerr spacetime, attempt to construct $Z$ satisfying $\eth'_c Z = 0 = \eth'_c Z$; the integrability condition (5.2) predicts this is impossible unless the hypersurface is shear-free. Checking this by direct computation on a concrete null cone would settle whether the conformal NP charges are obstructed in general curved spacetimes exactly as the paper claims.
Extended reading notes
Core claim
The central result is Theorem 1: for a field component $\phi_k$ with conformal-GHP weights $\{-s-1, 2(s-k), 0\}$ satisfying the spin-$s$ wave equation $\square\phi_k = 0$, the charge $Q_\ell[\phi_k, C] = \oint_S Y \,\eth_c^{\ell-s+k+1}\phi_k\, dS$ is independent of the spherical cut $S$ of any light cone $C$ in Minkowski space, where $Y = \eth_c^{\ell-s+k} Z$ and $Z$ has the weights given in Eq. (3.7) together with $\eth'_c Z = 0 = \eth'_c Z$. In terms of spin-weighted spherical harmonics, $Y$ is the mode ${}_{k-s}Y_\ell$, so the construction picks out exactly the Newman-Penrose constants of the flat wave equation. Since every ingredient is conformally invariant, the same conservation laws hold on any light cone in any conformally flat spacetime. The paper further proves (Theorem 2) that charges of the form $\oint_S \omega\, \eth'_c\phi_k$ exist on a general null hypersurface if and only if a weight function $\omega$ satisfies $\eth_c\omega = 0$ and the elliptic equation (4.2), generalizing Aretakis' scalar-wave criterion; Theorem 3 then re-derives the existence of such $\omega$ on extremal Killing horizons, giving conserved Aretakis charges; and Theorem 4 turns the exact conservation laws into explicit flux-balance laws in spherically symmetric spacetimes.
Load-bearing premise
The main results stand or fall on the existence of a special auxiliary function on the light cone that both conformal derivative operators annihilate; that function exists in Minkowski space but is generally absent on shearing null hypersurfaces in curved spacetimes, as the paper itself notes in Section V.A.
Editorial extensions
If this is right
- NP constants become well-defined charges for scalar, electromagnetic, Weyl, and linearized gravitational fields on all conformally flat spacetimes, not just Minkowski space.
- In Schwarzschild and other spherically symmetric backgrounds, the flux-balance laws (5.19)–(5.20) give an algorithm for propagating field asymptotics to null infinity, the same logic Kehrberger used to prove late-time tails.
- Theorem 2 supplies a purely elliptic test for whether a given null hypersurface carries any conserved charge, so one can search for new charges by solving Eq. (4.2) rather than by ansatz.
- The conformal spin coefficients in Kerr and in general asymptotically flat spacetimes fall off with an extra power of $r$ (Section I.D), which the paper argues makes the conformal NP charges a promising tool for approximate conservation laws beyond spherical symmetry.
Reading between the lines
- If the elliptic criterion of Theorem 2 is as sharp as stated, then numerical evolution of linear fields on near-extremal black holes could use the charge $Q[\omega, S]$ as a diagnostic: a time-dependent value directly measures departure from the extremal horizon structure.
- Because the conformal weights align with the Penrose conformal treatment of null infinity, the same charges may lift to a definition of NP constants at $\mathcal{I}$ for the full nonlinear vacuum theory, where the known conserved quantities at $\mathcal{I}$ are analogues of the flat-space constants.
- The faster falloff of conformal spin coefficients in Kerr suggests a perturbative expansion of the flux in powers of the shear; a concrete testable extension would be to compute the leading flux correction for a shearing null cone and check whether it is controlled by $\sigma$ alone.
- The paper's suspicion that higher-spin ($k=s$) Aretakis charges generally do not exist on extremal horizons could be checked by solving the complex elliptic equation (4.2) numerically on an extremal Kerr horizon; a positive solution would identify precisely which field components remain conserved.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops a conformal extension of the Geroch-Held-Penrose (GHP) formalism, introducing conformal weighted operators and using them to obtain a manifestly covariant and conformal formulation of Newman-Penrose (NP) constants. The main results are: (i) Theorem 1, which gives conserved charges Q_l = \oint_S Y \eth_c^{\ell-s+k+1} \phi_k \, dS on light cones in Minkowski space and, by conformal invariance, in conformally flat spacetimes, for massless fields of arbitrary spin; (ii) Theorem 2, stated as an if-and-only-if condition for conserved charges of the form \oint \omega \eth'_c \phi_k on a null hypersurface; (iii) Theorem 3, a proof of the existence of Aretakis charges on extremal Killing horizons using the conformal formalism; and (iv) Theorem 4, approximate flux-balance laws for spherically symmetric spacetimes, with coordinate checks against Kehrberger's equations. The paper also discusses obstructions to these constructions on shearing null hypersurfaces and outlines applications to asymptotics.
Significance. If the main constructive results hold, the paper provides a unified and elegant conformal-GHP framework for NP-type conservation laws, extending them to arbitrary spin and to conformally flat spacetimes, and producing approximate conservation laws that are directly useful for late-time asymptotics and mode stability arguments. The paper's strengths include explicit theorem statements, a covariant formulation without fitted parameters, and concrete coordinate consistency checks, particularly against Kehrberger's scalar and Teukolsky equations. The constructive Theorems 1 and 4 appear to be based on sound commutation calculations, and the conformal machinery is well motivated. However, the claimed necessary-and-sufficient characterization in Theorem 2 overreaches the proof actually given, and the proof of Theorem 3 contains a significant unjustified step. These issues do not destroy the constructive parts of the paper, but they do require correction before the results can be accepted as stated.
major comments (3)
- [Section IV, Theorem 2 and Eqs. (4.3)-(4.5)] The theorem is stated as an "if and only if" characterization, but the proof establishes only the sufficient direction. The computation of \eth_c(\omega\eth'_c\phi_k) shows that when \eth_c\omega=0 and the elliptic equation (4.2) hold, the integrand becomes a total divergence and Stokes' theorem gives conservation. The converse— that conservation of \oint\omega\eth'_c\phi_k for all solutions to (\Box-V)\phi_k=0 forces \eth_c\omega=0 and the elliptic equation—is never addressed. Because V is an arbitrary function and no surjectivity or self-adjointness of the elliptic operator is demonstrated, the "only if" direction is a genuine gap. Please either prove the converse or restate Theorem 2 as a sufficient condition.
- [Section IV, Theorem 3 proof, Eq. (4.10)] The reality of the operator O is not established. The displayed computation "O\omega = k[\eth\eth' + \bar\Psi_2 + 2\Lambda]\omega = O\bar\omega" does not follow from the commutator [\eth,\eth']\omega=(\Psi_2-\bar\Psi_2)\omega: applying the same commutator to \bar\omega yields an expression containing \bar\omega, not \omega. The subsequent appeal to standard elliptic theory (real principal eigenvalue and unique positive eigenfunction) depends on this step. Please supply the correct conjugation or self-adjointness argument for O, or correct the displayed equality.
- [Section II.A, Eqs. (2.8)-(2.9)] The conformal commutators [\eth_c,\eth_c] and [\eth_c,\eth'_c]-[\eth_c,\eth'_c] are load-bearing: they are used to derive the spin-s wave equation (2.14), Lemma 2, and Theorem 1. They are, however, only asserted in the text. Please include a derivation, or a precise reference to a derivation, of these identities, and state the weights for which they hold.
minor comments (6)
- [Page 1, Introduction] The reference to "Penrose & Rinder" should read "Penrose & Rindler".
- [Section V, first paragraph] The word "aplied" should be "applied".
- [Section II.C, Eq. (2.27)] In the Goldberg-Sachs proof, the expression \psi_{p-3} is undefined for p=2; handle p=2 separately or restrict the displayed computation to 3\le p\le4.
- [Theorems 2 and 4] The weights of the potential V in (\Box-V)\phi_k=0 are not specified; for the equation to be a weighted GHP equation, V should be assigned definite weights {w,p,q} or the statement should explain how V transforms.
- [Section III, after Theorem 1] The claim that the conservation law extends to every conformally flat spacetime by conformal invariance would benefit from an explicit statement of how the function Z and the spherical foliation are transformed under the conformal rescaling.
- [Section V.A, Eq. (5.2)] The statement that the integrability condition is satisfied when N is generated by shear-free rays, but fails in general, is asserted without derivation; a short justification or reference would improve readability.
Circularity Check
No significant circularity: Theorem 1 and Theorem 4 are explicit computations from stated identities and Stokes' theorem, validated against independent external results (NP constants, Kehrberger, Aretakis); the flagged Theorem 2 converse gap is a completeness overreach, not a circular reduction.
full rationale
The derivation chain is self-contained. Theorem 1 (Eqs. 3.6-3.11) and Lemma 2 are explicit computations: from the spin-s wave equation (2.14), the proof uses the commutator [ロ, ð_cþ_c] = 0 and the annihilation conditions þ'_c Z = 0 = ð'_c Z to convert þ'_c[Zð_c^{ℓ−s+k}þ_c^{ℓ−s+k+1}ϕ_k] into an exact ð'_c-derivative (Eq. 3.9), so Stokes' theorem (2.18) yields cut-independence of Q_ℓ. No fitted parameter or assumed target result enters; the existence of Z is a stated hypothesis guaranteed by spherical symmetry in Minkowski space, and the paper itself flags (Section V.A, Eq. 5.2) that it fails on shearing null hypersurfaces. Theorem 4's flux-balance laws (5.9) are derived by the same route, and Examples 2-4 are checked against Kehrberger's independent equations (Eq. 3.15 of [15]; Eq. 5.5 of [17]) and against the paper's own Eq. (1.5) — validation, not an input. Theorem 3 is explicitly attributed to Aretakis [13] and re-proven; the imported facts are standard elliptic PDE theory (Evans [21]) and the extremality implication λ = 0 from κ_g = 0 (Eq. 4.13), neither of which is equivalent to the conclusion. The reference list contains no works by the author, so no self-citation chain is load-bearing; the conformal operators (2.1) are defined in-paper with a remark acknowledging their non-uniqueness, not adopted by citation from prior work of the author. Two flagged issues are correctness concerns, not circularity: (i) the load-bearing commutators (2.8)-(2.9) are stated without derivation (verification gap); (ii) Theorem 2 (Section IV, Eqs. 4.3-4.5) proves only the 'if' direction of its claimed iff statement, so the 'only if' is unproven overreach. Neither reduces any derived quantity to its own input, so the circularity score is 0.
Assumptions & free parameters
assumptions (6)
- domain assumption Four-dimensional Lorentzian spacetime with signature (+,-,-,-) and the standard NP/GHP tetrad formalism.
- domain assumption The conformal GHP operators (2.1) transform with the claimed conformal weights and satisfy the commutator identities (2.8) and (2.9).
- standard math Massless free-field equations (2.13) imply the spin-s wave equation (2.14).
- standard math Stokes' theorem on null hypersurfaces in GHP form (Proposition 1) is valid.
- domain assumption Standard elliptic PDE theory guarantees a real principal eigenvalue and a positive principal eigenfunction for the operator O on closed cross-sections.
- domain assumption The relevant massless field equations and NP constants are conformally invariant under the stated rescalings.
Cite this review
Pith. "Pith review of Newman-Penrose-like exact and approximate conservation laws: a covariant and conformal formulation." pith.science (2026). https://pith.science/paper/UM4PPRM2
@misc{pith2026250702237,
author = {Pith},
title = {Pith review of: Newman-Penrose-like exact and approximate conservation laws: a covariant and conformal formulation},
year = {2026},
howpublished = {\url{https://pith.science/paper/UM4PPRM2}},
note = {Machine review of arXiv:2507.02237}
}
read the original abstract
Using a conformal extension of the Geroch-Held-Penrose (GHP) formalism I derive a manifestly covariant and conformal expression of Newman-Penrose (NP) constants, which are a set of conserved quantities associated to solutions to the wave equation on light cones in Minkowski space. The resulting expression generalizes to massless fields of arbitrary spin -- including the electromagnetic field, Weyl fermions, and the linearized Weyl tensor -- on conformally flat space-times. In some non-conformally flat space-times there may exist conserved charges on very special null hypersurfaces. Using the conformal GHP formalism I prove the existence of conserved Aretakis charges on extremal Killing horizons. In the absence of exact conservation laws it is still useful to extend the definition for NP constants to some asymptotically flat curved space-times, where the conservation laws become approximate conservation laws which rapidly approach exact conservation laws at null infinity. I derive explicit expressions for spherically symmetric space-times.
Reference graph
Works this paper leans on
-
[1]
Conformal GHP operators 5
- [2]
-
[3]
Aretakis-like charges for higher spin fields on extremal horizons 7
-
[4]
Newman-Penrose-like exact and approximate conservation laws: a covariant and conformal formulation
Newman-Penrose-like approximate conservation laws in general asymptotically flat space-times 8 E. Outline of the paper 8 II. Conformal extension of the GHP formalism 9 A. Conformal weighted thorn and eth 9 B. Conformal field equations 11 C. Some applications of the conformal GHP formalism 12 III. Newman-Penrose constants in conformally flat space-time: a ...
work page Pith review arXiv 2025
-
[5]
A significantly more detailed exposition will be given in §II
Conformal GHP operators Here I define conformal GHP operators which I will need to state the main results. A significantly more detailed exposition will be given in §II. For a short overview of the GHP formalism refer to Appendix A. Definition 1. A function η is said to be a conformal- and GHP-weighted function with weights {w, p, q} if, under tetrad tran...
-
[6]
When acting on quantities with weights {−1, 0, 0}, 2( ロ − Ψ2) = 2 + 1 6 R. Eq. (1.13) contains many physically interesting wave equations, including the source-free Maxwell equa- tions and the linearized vacuum Einstein equations
-
[7]
The main theorems I am now in a position to state the main results of this paper. A covariant and conformal representation of the NP conservation laws (1.4) in Minkowski space is given by: 6 Theorem 1. Let ϕk be a scalar with weights {−s − 1, 2(s − k), 0} satisfying ロϕk = 0. Let N be a light cone in Minkowski space generated by na. Choose a foliation of N...
-
[8]
Aretakis-like charges for higher spin fields on extremal horizons It is natural to ask if theorem 3 can be generalized to fields of higher spin. The proof of theorem 3 uses the fact that in the case s = k = 0, the elliptic operator O defined by (1.17) is real so that it has a unique (up to a factor) positive principal eigenfunction. In general, however, O...
Show all 30 references
-
[9]
ϕ−1” satisfying “ þcϕ0 = ð′ cϕ−1
Newman-Penrose-like approximate conservation laws in general asymptotically flat space-times Spherically symmetric space-times are some of the simplest curved space-times. The ultimate goal is to obtain NP-like approximate conservation laws in more complicated space-times like...
1962
-
[10]
R. P. Geroch, A. Held, and R. Penrose, A space-time calculus based on pairs of null directions, J. Math. Phys. 14, 874 (1973). 24
1973
-
[11]
Penrose and W
R. Penrose and W. Rindler, Spinors and Space-Time , Cambridge Monographs on Mathemat- ical Physics (Cambridge Univ. Press, Cambridge, UK, 2011)
2011
-
[12]
Penrose and W
R. Penrose and W. Rindler, Spinors and Space-Time. Vol. 2: Spinor and Twistor Methods in Space-Time Geometry, Cambridge Monographs on Mathematical Physics (Cambridge Uni- versity Press, 1988)
1988
-
[13]
Ludwig, Extended Geroch-Held-Penrose formalism, Int
G. Ludwig, Extended Geroch-Held-Penrose formalism, Int. J. Theor. Phys. 27, 315 (1988)
1988
-
[14]
Kehrberger, The Case Against Smooth Null Infinity I: Heuristics and Counter-Examples, Annales Henri Poincare 23, 829 (2022), arXiv:2105.08079 [gr-qc]
L. Kehrberger, The Case Against Smooth Null Infinity I: Heuristics and Counter-Examples, Annales Henri Poincare 23, 829 (2022), arXiv:2105.08079 [gr-qc]
2022 arXiv
-
[15]
E. T. Newman and R. Penrose, 10 exact gravitationally-conserved quantities, Phys. Rev. Lett. 15, 231 (1965)
1965
-
[16]
E. T. Newman and R. Penrose, New conservation laws for zero rest-mass fields in asymptoti- cally flat space-time, Proc. Roy. Soc. Lond. A 305, 175 (1968)
1968
-
[17]
A. R. Exton, E. T. Newman, and R. Penrose, Conserved quantities in the Einstein-Maxwell theory, J. Math. Phys. 10, 1566 (1969)
1969
-
[18]
Aretakis, The Wave Equation on Extreme Reissner-Nordstr¨ om Black Hole Spacetimes: Stability and Instability Results (2011), arXiv:1006.0283 [math.AP]
S. Aretakis, The Wave Equation on Extreme Reissner-Nordstr¨ om Black Hole Spacetimes: Stability and Instability Results (2011), arXiv:1006.0283 [math.AP]
2011 arXiv
-
[19]
Aretakis, Horizon Instability of Extremal Black Holes, Adv
S. Aretakis, Horizon Instability of Extremal Black Holes, Adv. Theor. Math. Phys. 19, 507 (2015), arXiv:1206.6598 [gr-qc]
2015 arXiv
-
[20]
Lucietti and H
J. Lucietti and H. S. Reall, Gravitational instability of an extreme Kerr black hole, Physical Review D 86, 10.1103/physrevd.86.104030 (2012), arXiv:1208.1437 [gr-qc]
2012 arXiv
-
[21]
Murata, Instability of higher dimensional extreme black holes, Classical and Quantum Gravity 30, 075002 (2013), arXiv:1211.6903 [gr-qc]
K. Murata, Instability of higher dimensional extreme black holes, Classical and Quantum Gravity 30, 075002 (2013), arXiv:1211.6903 [gr-qc]
2013 arXiv
-
[22]
Aretakis, The characteristic gluing problem and conservation laws for the wave equa- tion on null hypersurfaces, Ann
S. Aretakis, The characteristic gluing problem and conservation laws for the wave equa- tion on null hypersurfaces, Ann. PDE 3, https://doi.org/10.1007/s40818-017-0023-y (2017), arXiv:1310.1365 [gr-qc]
2017 arXiv
-
[23]
Aretakis, On a Foliation-Covariant Elliptic Operator on Null Hypersurfaces, International Mathematics Research Notices 2015, 6433 (2014), arXiv:1310.1348 [gr-qc]
S. Aretakis, On a Foliation-Covariant Elliptic Operator on Null Hypersurfaces, International Mathematics Research Notices 2015, 6433 (2014), arXiv:1310.1348 [gr-qc]
2014 arXiv
-
[24]
Kehrberger, The Case Against Smooth Null Infinity III: Early-Time Asymptotics for Higher ℓ-Modes of Linear Waves on a Schwarzschild Background, Ann
L. Kehrberger, The Case Against Smooth Null Infinity III: Early-Time Asymptotics for Higher ℓ-Modes of Linear Waves on a Schwarzschild Background, Ann. PDE 8, 12 (2022), arXiv:2106.00035 [gr-qc]
2022 arXiv
-
[25]
Angelopoulos, S
Y. Angelopoulos, S. Aretakis, and D. Gajic, Late-time tails and mode coupling of linear waves on Kerr spacetimes (2021), arXiv:2102.11884 [gr-qc]
2021 arXiv
-
[26]
Kehrberger, The Case Against Smooth Null Infinity IV: Linearized Gravity Around Schwarzschild—An Overview, Phil
L. Kehrberger, The Case Against Smooth Null Infinity IV: Linearized Gravity Around Schwarzschild—An Overview, Phil. Trans. Roy. Soc. Lond. A 382, 20230039 (2024), arXiv:2401.04170 [gr-qc]
2024 arXiv
-
[27]
E. T. Newman and T. W. J. Unti, Behavior of Asymptotically Flat Empty Spaces, J. Math. Phys. 3, 891 (1962)
1962
-
[28]
J. N. Goldberg and R. K. Sachs, Republication of: A theorem on Petrov types, Gen. Relativ. Gravit. 41, 433 (2009)
2009
-
[29]
Kolassis and G
C. Kolassis and G. Ludwig, The GHP conformal Killing equations and their integrability condi- tions, with application to twisting type N vacuum spacetimes. [GHP (Geroch-Held-Penrose)], General Relativity and Gravitation; (United States) 25:6, 10.1007/BF00757073 (1993)
1993 doi
-
[30]
L. C. Evans, Partial Differential Equations. , Graduate Studies in Mathematics (American Mathematical Society, 1998). 25 Appendix A: The GHP formalism The basis of the GHP formalism is the complex null tetrad ( la, na, ma, ¯ma) satisfying lana = 1 and ma ¯ma = −1. The connecti...
1998
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.