Pith. sign in

REVIEW 3 major objections 4 minor 37 references

Plane-wave gravitational polarizations are encoded in Killing invariants of the background, not in Cartan curvature invariants, and these coincide with the Bardeen tensor variables.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · deepseek-v4-flash

2026-08-03 14:35 UTC pith:PKZU7VKR

load-bearing objection The Bardeen and Cartan–Karlhede parts are fine, but the advertised 'Killing invariant' encoding of polarizations is gauge-dependent and the central claim does not hold. the 3 major comments →

arxiv 2512.19828 v2 pith:PKZU7VKR submitted 2025-12-22 gr-qc

Where are linearized gauge invariants encoded for plane waves in linearized gravity?

R. Radhakrishnan , D. McNutt , D. Mirfendereski , E. Davis , W. Julius , G. Cleaver This is my paper
classification gr-qc MSC 83C2583C35
keywords Bardeen variablesgauge-invariant perturbationsplane gravitational wavesKilling invariantsCartan–Karlhede algorithmNewman–Penrose formalismlinearized gravitypolarization modes
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

This paper asks where the physical degrees of freedom of a plane gravitational wave are stored when one uses gauge-invariant and geometric methods. Applying the Bardeen formalism to a plane wave in Minkowski spacetime, the authors verify that only the two transverse-traceless tensor modes (plus and cross) survive. They then show that the Cartan–Karlhede algorithm, which classifies spacetimes by curvature invariants, fails to distinguish these two polarizations: the Weyl tensor has a single nonzero Newman–Penrose scalar and the algorithm terminates without an invariant that tells plus from cross. The central positive result is that the two Bardeen tensor variables are exactly reproduced by 'Killing invariants' — projections of the metric perturbation onto the translational Killing vectors of the background (∂x and ∂y). The paper concludes that, in the plane-wave case, the radiative degrees of freedom are encoded in invariants generated from the background's Killing vector fields rather than in Cartan invariants.

Core claim

The paper's central claim is that for a plane gravitational wave in linearized general relativity, the two radiative degrees of freedom — the transverse-traceless tensor modes conventionally called plus and cross — are not detectable by the curvature invariants produced by the linearized Cartan–Karlhede algorithm. For the plane-wave metric, the Weyl tensor has a single non-zero Newman–Penrose scalar (Ψ4), and the algorithm terminates after second order without generating any invariant that distinguishes h⊕ from h⊗. The authors then show that if one projects the metric perturbation onto the two translational Killing vector fields of the Minkowski background, ∂x and ∂y, the resulting Killing i

What carries the argument

The central objects are the Bardeen variables, formed by decomposing the metric perturbation into irreducible scalar, vector, and tensor pieces under spatial rotations, and the Killing invariants K_ab = ξ^μ_(a) ξ^ν_(b) h_μν, obtained by projecting the perturbation onto the background's translational Killing vectors. The identity that carries the argument is that, in the transverse-traceless gauge, these projections equal the surviving Bardeen tensor variables: K_xx = h⊕, K_yy = −h⊕, K_xy = h⊗. The comparison is made against the Cartan–Karlhede algorithm, which produces only a single nonzero Weyl scalar and no polarization-distinguishing invariant.

Load-bearing premise

The identification of the Killing projections with the Bardeen variables relies on imposing the transverse-traceless gauge; the paper does not prove that the projections are invariant under general gauge transformations, so the claimed invariant encoding is a gauge-fixed statement.

What would settle it

Start with a plane-wave metric and add a pure-gauge perturbation (a small shift generated by a vector field that satisfies the wave equation) so that the metric is no longer in TT gauge but is physically identical. If the values of K_xx, K_yy, K_xy change, the Killing projections are not gauge-invariant, undercutting the claim that they are the invariant locus of the radiative degrees of freedom.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • The Cartan–Karlhede classification of plane-wave spacetimes cannot distinguish the ⊕ and ⊗ polarizations; the two modes differ only by a spatial frame rotation, which is not a curvature invariant.
  • In the transverse-traceless gauge, the Killing projections K_xx, K_yy, and K_xy reproduce the Bardeen tensor variables, so the radiative degrees of freedom can be read off directly from the background symmetry projections.
  • The gauge-invariant Bardeen formalism and the symmetry-based Killing invariants give the same answer for the plane-wave sector, establishing a bridge between perturbation theory and spacetime symmetry classification.
  • Because the polarization content is not visible in Cartan invariants, any pure-curvature method for identifying gravitational-wave polarizations will miss the physical distinction between plus and cross in this setting.
  • The authors suggest this correspondence may extend to backgrounds with richer symmetry and to modified gravity theories, where additional scalar and vector modes could appear as further Killing projections.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The equality K_ab = h^TT_ab is demonstrated in the transverse-traceless gauge; a natural extension is to test whether the Killing projections can be dressed into truly gauge-invariant observables, or whether they coincide with Bardeen variables only after gauge fixing.
  • The failure of Cartan invariants for plane waves mirrors the known degeneracy of pp-wave spacetimes in exact general relativity; the new insight is that the missing polarization information is supplied by the background isometry group, not by the perturbed curvature.
  • One could test the framework on a spherical or cosmological background: if the correspondence between Bardeen variables and Killing projections persists, it would give a practical route to extracting radiative modes without solving the linearized field equations.
  • For modified gravity, the six-mode classification suggests that scalar and vector modes might be identified by projections onto additional Killing or conformal Killing vectors, providing a way to search for beyond-GR polarizations in a symmetry-adapted basis.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 4 minor

Summary. The manuscript computes the flat-space Bardeen variables for a linearized plane gravitational wave, confirms that only the two transverse-traceless tensor modes survive, applies a modified 'linearized Cartan–Karlhede' algorithm to argue that the CK invariants do not distinguish the ⊕ and ⊗ polarizations, and then claims that projections of the metric perturbation onto the background translational Killing vectors ∂x, ∂y — denoted K_ab — reproduce the Bardeen variables and therefore encode the physical radiative degrees of freedom. The Bardeen calculation is a standard review; the Killing-invariant correspondence is the advertised new result.

Significance. If the Killing-invariant correspondence were correct, it would give a simple symmetry-based route to the radiative tensor degrees of freedom and a possible tool for modified-gravity extensions. The Bardeen-variable computation is correct but standard, and the CK degeneracy statement is consistent with the known pp-wave literature. However, the central invariant-encoding claim is not established: K_ab as defined is not invariant under linearized gauge transformations, and the equality with the Bardeen tensor holds only in the TT gauge, where it is true by construction. Thus the paper's main novelty fails; what remains is a useful but largely non-novel review.

major comments (3)
  1. [§6, Eqs. (73)–(75)] The claim that K_ab are invariants is the load-bearing step. Under h_μν → h_μν − ∂_μ X_ν − ∂_ν X_μ, one has δK_ab = −2 ξ^μ_(a) ξ^ν_(b) ∂_μ X_ν = −2 ξ^μ_(a) ∂_μ(ξ^ν_(b) X_ν), which is generically nonzero. No invariance proof is given. Equations (75) are obtained only after imposing the TT gauge conditions (69)–(71), in which h_ij = h^TT_ij by definition. The 'correspondence' is therefore a gauge-fixed component identity, not an invariant encoding, and the conclusion in §8 that the radiative degrees of freedom are 'invariants generated from the Killing vector fields' is unsupported. The stress-test concern lands here.
  2. [§6, Eqs. (61)–(65)] The linearized Cartan–Karlhede algorithm is asserted rather than rigorously defined. The frame and coframe are dual only to first order, yet Φ22 and Ψ4 are quoted 'including all higher order terms' before imposing ϵ² ≈ 0. The perturbative truncation is not specified: if all higher-order terms are kept, the use of a first-order-dual frame is inconsistent; if only first order is kept, the expressions should be expanded consistently. A precise definition of the linearized CK algorithm, including the order at which invariants are evaluated and the stopping criterion, is needed before the degeneracy conclusion can be assessed.
  3. [§6, Eqs. (66)–(67)] The termination of the algorithm at second order is not demonstrated. The paper states that the linear isotropy group is 'still the subgroup of null rotations about ℓ' and that no new functionally independent invariants arise, but it does not show the computation of the isotropy group at each order or the count of functionally independent components. This leaves the CK section as a sketch. The conclusion may be true, but the supporting calculation is incomplete.
minor comments (4)
  1. [§6, Eq. (70)] The notation '∂_i(h_ij = 0)' is malformed; it should read '∂^i h_ij = 0'.
  2. [§3 and §4] The notation oscillates between 'cos k(t−z)' and 'cos[k(t−z)]'; please standardize, and define the relation between k and Ω.
  3. [§4, Eqs. (39)–(43)] The inverse Laplacian and the boundary conditions γ→0 and λ→0 at spatial infinity are not compatible with the plane-wave ansatz, which has no spatial decay. The calculation should be phrased with an explicit regularization or distributional interpretation.
  4. [Abstract and §6] The abstract says the Weyl tensor possesses a single non-zero NP scalar, but §6 reports a non-zero Φ22 at higher order. Please state explicitly that the statement refers to first order in the perturbation.

Circularity Check

2 steps flagged

Claimed equivalence of Killing invariants and Bardeen variables is a TT-gauge identity, not an invariant encoding.

specific steps
  1. self definitional [Section 6, Eqs. (68)-(75); cf. Section 4 Eq. (36) and Section 2 Eq. (11)]
    "Using the TT gauge we get Kxx =h ⊕, K yy =−h ⊕, K xy =h ⊗. (75) Thus, the linearized plane waves admitting X = ∂/∂x and Y = ∂/∂y as Killing vector fields, yield: |X|2 − |Y|2 = 2h⊕, g(X,Y) = h⊗. Thus, the Killing invariants are exactly the Bardeen variables discussed in the previous section."

    K_ab is defined as ξ^μ_(a)ξ^ν_(b) h_μν, so for ξ=∂x,∂y it is literally the coordinate component h_ab, not a gauge-invariant object: under h_μν→h_μν−∂_μX_ν−∂_νX_μ, δK_ab=−2ξ^μ_(a)ξ^ν_(b)∂_μX_ν, which is generally nonzero. The paper reaches the Bardeen values only after imposing TT gauge (69)-(71), where h_ij=h^TT_ij by definition and h^TT_ij is the Bardeen radiative variable (36). Thus 'the Killing invariants are exactly the Bardeen variables' reduces to the gauge-fixed identity h_ij=h^TT_ij; no invariant computation or independent characterization is supplied.

  2. self citation load bearing [Section 6, paragraph introducing Killing invariants; reference [19]]
    "Interestingly, the polarization modes can be detected directly as Killing invariants [19], which are obtained by projecting the metric perturbation onto background Killing vector fields."

    Reference [19] is by the same group (Brown, Gorban, Julius, Radhakrishnan, Cleaver, McNutt) and is the only cited source for the term and invariant status of K_ab. The paper never proves gauge invariance of its K_ab; it simply imports from its own prior framework the assertion that these projections are invariants, and then uses that label as the basis of the conclusion that GW degrees of freedom 'are encoded in invariants generated from the Killing vector fields.' The load-bearing property is thus a self-citation.

full rationale

Most of the paper is self-contained and not circular: the Bardeen-variable calculation in Section 4 follows standard definitions, and the linearized Cartan-Karlhede/NP computation in Sections 5-6 is an explicit independent calculation that supports the negative claim that Cartan invariants do not distinguish ⊕ and ⊗. The circularity is concentrated in the advertised positive claim that the Bardeen radiative variables coincide with 'Killing invariants.' That claim is obtained only after imposing TT gauge, where K_ab reduces to h_ab and the Bardeen tensor variable is h^TT_ab by definition (Eq. 36). Hence the equality is a gauge-fixed component identity, not a derived invariant correspondence. In addition, the term 'Killing invariants' and its invariant status are imported from the authors' own Ref. [19], which is load-bearing for the conclusion. The paper still contains independent content, especially the CK degeneracy analysis, so the overall score is 7 rather than higher.

Axiom & Free-Parameter Ledger

0 free parameters · 5 axioms · 0 invented entities

No numerical fitting is performed. The central calculation rests on the standard Bardeen decomposition and on a nonstandard, incompletely specified modification of the CK algorithm. The advertised Killing-invariant correspondence depends on an unproven assumption that the projections are invariant; this assumption is the main weakness.

axioms (5)
  • domain assumption Bardeen gauge-invariant decomposition of h_μν into scalar, vector, and tensor variables (Eqs. 8–11)
    Taken from Flanagan & Hughes [27] and Jaccard et al. [31]; the entire Bardeen analysis rests on this decomposition.
  • domain assumption Plane-wave ansatz h_μν = A_μν cos(kα xα) with null k, plus Lorenz and TT gauge conditions
    Section 3; restricts the analysis to monochromatic plane waves on a Minkowski background.
  • domain assumption Inverse Laplacians in the Bardeen variable definitions are fixed by boundary conditions (λ, γ → 0 at spatial infinity)
    Section 4, after Eq. (39); required to conclude λ = 0 and hence Ψ = 0.
  • ad hoc to paper The linearized Cartan–Karlhede algorithm can be run on a frame/coframe dual only to first order, with finite boost/spin normalizations applied to first-order curvature
    Section 6, first paragraph; this modification is asserted rather than derived and is not standard CK.
  • ad hoc to paper K_ab = ξ^μ ξ^ν h_μν are treated as invariant observables
    Section 6, Eq. (73); no proof of gauge invariance is given, and in fact the quantities are gauge-dependent.

pith-pipeline@v1.3.0-alltime-deepseek · 11590 in / 19588 out tokens · 195755 ms · 2026-08-03T14:35:33.742644+00:00 · methodology

0 comments
read the original abstract

The Newman--Penrose (NP) formalism is traditionally used to analyze the polarization content of gravitational waves, while the gauge-invariant Bardeen formalism provides a complementary, and often simpler, description based on the irreducible scalar, vector, and tensor perturbations of the metric. In this work we apply the Bardeen formalism to plane gravitational waves in Minkowski spacetime, computing all scalar, vector, and tensor gauge-invariant variables explicitly and demonstrating that only the two transverse-traceless tensor modes survive, as expected for vacuum waves in general relativity. We then compare these Bardeen variables with curvature-based invariants constructed using the linearized Cartan--Karlhede (CK) algorithm. Although one might anticipate a correspondence, our analysis shows that the CK invariants do \emph{not} capture the polarization modes: the Weyl tensor possesses only a single non-zero Newman--Penrose scalar and the CK algorithm terminates without producing invariants that distinguish the $\oplus$ and $\otimes$ states. However, by computing invariant quantities obtained from the translational Killing vector fields of the Minkowski background that are retained under linear perturbation, we provide an algorithmic approach that reproduces the same physical tensor degrees of freedom captured by the Bardeen variables.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

37 extracted references · 8 canonical work pages · 1 internal anchor

  1. [1]

    C. M. Will. The confrontation between general relativity and experiment.Liv. Rev. Rel., 17(4), 2014. doi:10.12942/lrr-2014-4

    doi:10.12942/lrr-2014-4 2014

  2. [2]

    Mirshekari, N

    S. Mirshekari, N. Yunes, and C. M. Will. Constraining generic lorentz violation and the speed of the graviton with gravitational waves.Phys. Rev. D, 85:024041, 2012. doi:10.1103/PhysRevD.85.024041. arXiv:1110.2720 [gr-qc]

    Pith/arXiv arXiv 2012

  3. [3]

    Tests of general relativity with gwtc-3

    The LIGO Scientific Collaboration and the Virgo Collaboration and the KAGRA Col- laboration. Tests of general relativity with gwtc-3. 2021. arXiv:2112.06861 [gr-qc]

    Pith/arXiv arXiv 2021

  4. [4]

    Punturo et al

    M. Punturo et al. The einstein telescope: A third-generation gravitational wave obser- vatory.Class. Quant. Grav., 27(19):194002, 2010

    2010

  5. [5]

    Reitze et al

    D. Reitze et al. Cosmic explorer: the us contribution to gravitational-wave astronomy beyond ligo. 2019. arXiv:1907.04833 [gr-qc]

    Pith/arXiv arXiv 2019

  6. [6]

    Laser interferometer space antenna: Mission proposal

    LISA Study Team. Laser interferometer space antenna: Mission proposal. Technical report, European Space Agency, 2017. L3 Mission Proposal

    2017

  7. [7]

    D. M. Eardley, D. L. Lee, and A. P. Lightman. Gravitational-wave observations as a tool for testing relativistic gravity.Phys. Rev. D, 8:3308–3321, Nov 1973. doi:10.1103/PhysRevD.8.3308

    doi:10.1103/physrevd.8.3308 1973

  8. [8]

    M. E. S. Alves. Testing gravity with gauge-invariant polarization states of gravitational waves. 2023. URLhttps://doi.org/10.48550/arXiv.2308.09178. arXiv:2308.09178 [gr-qc]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2308.09178 2023

  9. [9]

    W. L. de Paula, O. D. Miranda, and R. M. Marinho. Polarization states of gravitational waves with a massive graviton.Class. Quant. Grav., 21(19):4595–4605, September 2004. doi:10.1088/0264-9381/21/19/008

    work page doi:10.1088/0264-9381/21/19/008 2004

  10. [10]

    Gong and S

    Y. Gong and S. Hou. The polarizations of gravitational waves.Universe, 4(8):85, August

  11. [12]

    Kodama and M

    H. Kodama and M. Sasaki. Cosmological perturbation theory.Prog. Theor. Phys. Supp., 78:1–166, 1984. doi:10.1143/PTPS.78.1. 16

    doi:10.1143/ptps.78.1 1984

  12. [13]

    V. F. Mukhanov, H. A. Feldman, and R. H. Brandenberger. Theory of cosmological perturbations.Phys. Rep., 215(5-6):203–333, 1992. doi:10.1016/0370-1573(92)90044-Z

    doi:10.1016/0370-1573(92)90044-z 1992

  13. [14]

    Debus and A

    S. Debus and A. Kretschmer. Symmetric ideals and invariant hilbert schemes.Journal of Algebra, 2025

    2025

  14. [15]

    McNutt and E

    D. McNutt and E. Schneider. Detecting horizons of symmetric black holes using relative differential invariants.Class. Quant. Grav., 42(10):105011, 2025

    2025

  15. [16]

    J. J. Ferrando and J. A. S´ aez. An intrinsic characterization of the kerr metric.Class. Quant. Grav., 26(7):075013, March 2009. doi:10.1088/0264-9381/26/7/075013

    work page doi:10.1088/0264-9381/26/7/075013 2009

  16. [17]

    Coley and D

    A. Coley and D. McNutt. Identification of black hole horizons using scalar curva- ture invariants.Class. Quant. Grav., 35(2):025013, December 2017. doi:10.1088/1361- 6382/aa9804

    doi:10.1088/1361- 2017

  17. [18]

    Kruglikov and E

    B. Kruglikov and E. Schneider. Differential invariants of kundt spacetimes.Class. Quant. Grav., 38(19):195017, September 2021. doi:10.1088/1361-6382/abff9c

    work page doi:10.1088/1361-6382/abff9c 2021

  18. [19]

    Brown, M

    C. Brown, M. Gorban, W. Julius, R. Radhakrishnan, G. Cleaver, and D. McNutt. Killing invariants: An approach to the sub-classification of geometries with symmetry. Gen. Rel. Grav., 56(8):92, 2024

    2024

  19. [20]

    Stephani, D Kramer, M

    H. Stephani, D Kramer, M. MacCallum, C. Hoenselaers, and E. Herlt.Exact Solutions of Einstein ’s Field Equations. Cambridge University Press, 2009

    2009

  20. [21]

    D. D. McNutt, W. Julius, M. Gorban, B. Mattingly, P. Brown, and G. Cleaver. Geomet- ric surfaces: An invariant characterization of spherically symmetric black hole horizons and wormhole throats.Phys. Rev. D, 103(12):124024, 2021

    2021

  21. [22]

    Coley, D

    A. Coley, D. McNutt, and R. Milson. Vacuum plane waves: Cartan invariants and physical interpretation.Class. Quant. Grav, 29(23):235023, 2012

    2012

  22. [23]

    Khavkine

    I. Khavkine. Local and gauge invariant observables in gravity.Class. Quant. Grav, 32(18):185019, 2015

    2015

  23. [24]

    M. B. Fr¨ ob, T. P. Hack, and I. Khavkine. Approaches to linear local gauge-invariant observables in inflationary cosmologies.Class. Quant. Grav, 35(11):115002, 2018

    2018

  24. [25]

    J. M. Bardeen. Gauge-invariant cosmological perturbations.Phys. Rev. D, 22:1882– 1905, Oct 1980. doi:10.1103/PhysRevD.22.1882

    doi:10.1103/physrevd.22.1882 1905

  25. [26]

    Bertschinger

    E. Bertschinger. Cosmological perturbation theory and structure formation. 2000. arXiv:0101009 [astro-ph]

    2000

  26. [27]

    ´E. ´E. Flanagan and S. A. Hughes. The basics of gravitational wave theory.New J. Phys., 7:204–204, September 2005. doi:10.1088/1367-2630/7/1/204

    doi:10.1088/1367-2630/7/1/204 2005

  27. [28]

    Grøn and S

    Ø. Grøn and S. Hervik.Introduction to Einstein ’s Theory of Relativity. Springer New York, NY, 2020

    2020

  28. [29]

    T. P. Cheng.Relativity, Gravitation and Cosmology:A Basic Introduction, 2nd Edition. Oxford University Press, Inc., NY, 2010. 17

    2010

  29. [30]

    J. B. Hartle.Gravity : an introduction to Einstein ’s general relativity. Cambridge University Press, 2003

    2003

  30. [31]

    Jaccard, M

    M. Jaccard, M. Maggiore, and E. Mitsou. Bardeen variables and hidden gauge symmetries in linearized massive gravity.Phys. Rev. D, 87:044017, Feb 2013. doi:10.1103/PhysRevD.87.044017

    work page doi:10.1103/physrevd.87.044017 2013

  31. [32]

    Newman and R

    E. Newman and R. Penrose. An Approach to gravitational radiation by a method of spin coefficients.J. Math. Phys., 3:566–578, 1962. doi:10.1063/1.1724257

    doi:10.1063/1.1724257 1962

  32. [33]

    Geroch, A

    R. Geroch, A. Held, and R. Penrose. A space–time calculus based on pairs of null directions.J. Math. Phys., 14(7):874–881, 1973. doi:10.1063/1.1666410

    work page doi:10.1063/1.1666410 1973

  33. [34]

    Penrose and W

    R. Penrose and W. Rindler.Spinors and Space-Time. Cambridge Monographs on Mathematical Physics. Cambridge Univ. Press, Cambridge, UK, 4 2011

    2011

  34. [35]

    Jizba and K

    P. Jizba and K. Mudruˇ nka. Newman-penrose formalism and exact vacuum solutions to conformal weyl gravity.Phys. Rev. D, 110:124006, Dec 2024. doi:10.1103/PhysRevD.110.124006

    work page doi:10.1103/physrevd.110.124006 2024

  35. [36]

    Stephani, D

    H. Stephani, D. Kramer, M.A.H. MacCallum, C. Hoenselaers, and E. Herlt.Exact Solutions of Einstein ’s Field Equations. Cambridge University Press, New York, NY, USA, 2003

    2003

  36. [37]

    A. A. Shoom. Gravitational faraday and spin-hall effects of light: Local description. Phys Rev. D, 110(2):024029, 2024. 18

    2024

  37. [2018]

    doi:10.3390/universe4080085

    work page doi:10.3390/universe4080085