pith. sign in

arxiv: 1906.12055 · v1 · pith:RT3HHTPXnew · submitted 2019-06-28 · 🌀 gr-qc · hep-ph· hep-th

Non-Fierz-Pauli bimetric theory from quadratic curvature gravity on Einstein manifolds

Pith reviewed 2026-05-25 14:01 UTC · model grok-4.3

classification 🌀 gr-qc hep-phhep-th
keywords quadratic curvature gravitymassive gravitynon-Fierz-PauliEinstein manifoldlinear perturbationsbimetric theoryWeyl tensorspin-2 fields
0
0 comments X

The pith

Quadratic curvature gravity on Einstein backgrounds decouples linear perturbations into massless gravity and non-Fierz-Pauli massive gravity.

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

The paper shows that on any four-dimensional Einstein spacetime the linear dynamical degrees of freedom of generic quadratic curvature gravity split into a standard massless graviton and a massive sector. The massive sector obeys the same equations as non-Fierz-Pauli massive gravity except for an overall sign. This direct equivalence at the level of the equations of motion converts experimental upper limits on the mass of extra gravitational fields into restrictions on the quadratic curvature coupling constants. One immediate result is that the coefficient of the Weyl-squared term must satisfy two apparently incompatible bounds coming from laboratory inverse-square law tests and from the observed properties of spinning black holes.

Core claim

In four-dimensional spacetimes with an arbitrary Einstein metric, with and without a cosmological constant, perturbative dynamical degrees of freedom in generic quadratic-curvature gravity can be decoupled into massless and massive parts. The massive part has the structure identical to, modulo the over-all sign, the non-Fierz-Pauli-type massive gravity, and a further decomposition into the spin-2 and spin-0 sectors can be done. The equivalence at the level of equations of motion allows us to translate various observational bounds on the mass of extra fields into constraints on the coupling constants in quadratic curvature gravity. We find that the Weyl-squared term is confronting two appar-

What carries the argument

Decoupling of linear perturbations into massless and massive modes on an Einstein background, where the massive modes match non-Fierz-Pauli bimetric massive gravity equations up to sign.

If this is right

  • The equivalence translates observational mass bounds directly into limits on quadratic gravity couplings.
  • The Weyl-squared term faces conflicting constraints from inverse-square law experiments and spinning black hole observations.
  • Massive modes further decompose into spin-2 and spin-0 sectors.
  • The result holds for any Einstein background with or without a cosmological constant at linear order.

Where Pith is reading between the lines

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

  • If the linear-order equivalence persists at higher orders, quadratic curvature gravity could provide a controlled way to generate massive gravity without introducing new fundamental fields.
  • Gravitational wave observations of massive modes could be reinterpreted as direct probes of higher-curvature coefficients.
  • The sign difference between the two theories may affect the presence of ghosts or the stability of the massive sector.

Load-bearing premise

The background spacetime must be an arbitrary Einstein metric and the analysis must remain at the linear perturbative level where the equations of motion are equivalent.

What would settle it

Finding that the equations for the massive modes deviate from the non-Fierz-Pauli form when computed on a non-Einstein background or when second-order perturbation terms are included would falsify the claimed equivalence.

read the original abstract

We show that, in four-dimensional spacetimes with an arbitrary Einstein metric, with and without a cosmological constant, perturbative dynamical degrees of freedom in generic quadratic-curvature gravity can be decoupled into massless and massive parts. The massive part has the structure identical to, modulo the over-all sign, the non-Fierz-Pauli-type massive gravity, and a further decomposition into the spin-2 and spin-0 sectors can be done. The equivalence at the level of equations of motion allows us to translate various observational bounds on the mass of extra fields into constraints on the coupling constants in quadratic curvature gravity. We find that the Weyl-squared term is confronting two apparently contradicting constraints on massive spin-2 fields from the inverse-square law experiments and observations of spinning black holes.

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 manuscript shows that, on four-dimensional Einstein backgrounds (with or without cosmological constant), the linear perturbative degrees of freedom of generic quadratic-curvature gravity decouple into a massless Einstein-graviton sector and a massive sector whose equations of motion match those of non-Fierz-Pauli massive gravity up to an overall sign; a further spin-2/spin-0 decomposition is performed. Equations-of-motion equivalence is then used to map observational mass bounds on the extra fields onto constraints on the quadratic couplings, revealing an apparent tension for the Weyl-squared term between inverse-square-law experiments and observations of spinning black holes.

Significance. If the linear-level derivation holds, the result supplies a concrete bridge between quadratic curvature gravity and non-Fierz-Pauli massive gravity on arbitrary Einstein manifolds, allowing existing observational limits on massive spin-2 and spin-0 fields to be reinterpreted as bounds on the quadratic couplings. The generality to any Einstein background (rather than flat space or specific solutions) and the explicit translation of bounds constitute the main strengths.

major comments (2)
  1. [§3 (linearised equations)] The central claim of EOM equivalence (modulo overall sign) between the massive sector and non-Fierz-Pauli massive gravity is load-bearing for the subsequent mapping of observational bounds; the manuscript must therefore exhibit the explicit factorisation of the linearised equations, including the sign, on a general Einstein background (not merely on flat space).
  2. [§5 (observational constraints)] The reported tension for the Weyl-squared term rests on applying inverse-square-law and spinning-black-hole bounds directly to the massive spin-2 mode; it is necessary to confirm that the spin-0 sector remains decoupled from these particular observables and that the sign flip does not alter the stability or propagation properties used in the bound derivations.
minor comments (2)
  1. [§2] The quadratic action should be written explicitly with the three independent curvature-squared terms (R², RμνRμν, CμνρσCμνρσ) and their coefficients before the linearisation is performed.
  2. A short table summarising the mass parameters of the spin-2 and spin-0 modes in terms of the quadratic couplings would improve readability of the constraint translation.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading, positive assessment, and constructive suggestions. We address the two major comments below and will incorporate the requested clarifications into a revised manuscript.

read point-by-point responses
  1. Referee: [§3 (linearised equations)] The central claim of EOM equivalence (modulo overall sign) between the massive sector and non-Fierz-Pauli massive gravity is load-bearing for the subsequent mapping of observational bounds; the manuscript must therefore exhibit the explicit factorisation of the linearised equations, including the sign, on a general Einstein background (not merely on flat space).

    Authors: We agree that the explicit factorisation, including the overall sign, should be displayed on a general Einstein background. Although the derivation in §3 is performed for an arbitrary Einstein metric (with or without cosmological constant), the intermediate algebraic steps were condensed and illustrated primarily via the flat-space limit for brevity. In the revised manuscript we will expand §3 to include the full component-wise factorisation of the linearised quadratic-curvature equations on a general Einstein background, explicitly isolating the massless Einstein-graviton sector, the massive non-Fierz-Pauli sector, and the overall sign that appears in the massive equations of motion. revision: yes

  2. Referee: [§5 (observational constraints)] The reported tension for the Weyl-squared term rests on applying inverse-square-law and spinning-black-hole bounds directly to the massive spin-2 mode; it is necessary to confirm that the spin-0 sector remains decoupled from these particular observables and that the sign flip does not alter the stability or propagation properties used in the bound derivations.

    Authors: We confirm both points. The spin-0 mode that arises after the further decomposition is a scalar field that does not source the tensor perturbations probed by inverse-square-law tests or by the frame-dragging and quasi-normal-mode analyses of spinning black holes; these observables couple exclusively to the massive spin-2 sector. The overall sign flip in the massive equations is equivalent to a redefinition of the mass parameter that leaves the sign of the mass-squared term (and hence the stability and the form of the propagator) unchanged. We will add a short clarifying paragraph in §5 stating the decoupling of the spin-0 sector from the cited observables and confirming that the sign does not modify the stability or propagation properties underlying the quoted bounds. revision: yes

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The derivation proceeds by direct linearization of the quadratic-curvature action on an arbitrary Einstein background, yielding an algebraic factorization of the equations of motion into a massless Einstein sector plus a massive sector whose structure matches (modulo sign) non-Fierz-Pauli massive gravity, followed by a further spin-2/spin-0 split. This factorization is obtained from the explicit variation of the action at linear order and does not rely on fitted parameters, self-referential definitions, or load-bearing self-citations. Observational mass bounds are imported from external experiments and mapped via the established EOM equivalence; they are not generated internally. The analysis is confined to the linear perturbative regime on Einstein manifolds where the factorization is known to hold, rendering the central claim self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the domain assumption of an Einstein background metric and linear-order perturbation theory; no free parameters are fitted in the abstract and no new entities are postulated.

axioms (2)
  • domain assumption Background spacetime is an arbitrary Einstein metric (with or without cosmological constant)
    Explicitly stated as the setting in which the decoupling occurs.
  • domain assumption Analysis is restricted to linear perturbative dynamical degrees of freedom
    The decoupling and equivalence are claimed at the perturbative level.

pith-pipeline@v0.9.0 · 5679 in / 1153 out tokens · 59926 ms · 2026-05-25T14:01:42.517192+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

36 extracted references · 36 canonical work pages · 19 internal anchors

  1. [1]

    Indeed, general hamiltonian analyses [6, 7] imply that the theory contains scalar- and tensor-type (in the th ree-dimensional sense) extra dofs (see also [ 8])

    of the generic quadratic-curvature gravity (QCG) contains ter ms non-linear in second-order derivatives of the metric, its equation of motion (eom) becomes a fo urth-order differential equation, signaling the emergence of extra degrees of freedom (dofs) other than the g ravitons in GR. Indeed, general hamiltonian analyses [6, 7] imply that the theory conta...

  2. [2]

    Einstein

    and [ 19]. Possible signatures of the ghost in the primordial gravitational wa ves were investigated in [ 13, 21]. Of course, the situation would change when coupling to matter fields and/or non-linear interactions are taken into account, but, even if there are relevant couplings, it is a non-trivia l task to prove the time scale of instability is short en...

  3. [3]

    Weyl, Annalen Phys

    H. Weyl, Annalen Phys. 59, 101 (1919) , [Annalen Phys. 364, 101 (1919)]

  4. [4]

    Utiyama and B

    R. Utiyama and B. S. DeWitt, J. Math. Phys. 3, 608 (1962)

  5. [5]

    ’t Hooft and M

    G. ’t Hooft and M. Veltman, Ann. Inst. H. Poincare Phys. Th eor. A20, 69 (1974)

  6. [6]

    K. S. Stelle, Phys. Rev. D16, 953 (1977)

  7. [7]

    D. J. Gross and E. Witten, Nucl. Phys. B277, 1 (1986)

  8. [8]

    Hamiltonian formulation of f(Riemann) theories of gravity

    N. Deruelle, M. Sasaki, Y. Sendouda, and D. Yamauchi, Prog. Theor. Phys. 123, 169 (2010) , arXiv:0908.0679 [hep-th]

  9. [9]

    Hamiltonian analysis of curvature-squared gravity with or without conformal invariance

    J. Kluso˘ n, M. Oksanen, and A. Tureanu, Phys. Rev. D89, 064043 (2014) , arXiv:1311.4141 [hep-th]

  10. [10]

    Consistent Spin-Two Coupling and Quadratic Gravitation

    A. Hindawi, B. A. Ovrut, and D. Waldram, Phys. Rev. D53, 5583 (1996) , arXiv:hep-th/9509142 [hep-th]

  11. [11]

    Pais and G

    A. Pais and G. E. Uhlenbeck, Phys. Rev. 79, 145 (1950)

  12. [12]

    R. P. Woodard, The Invisible Universe: Dark Matter and Dark Energy , Lect. Notes Phys. 720, 403 (2007) , arXiv:astro-ph/0601672 [astro-ph]

  13. [13]

    Classical and quantum ghosts

    F. Sbis` a, Eur. J. Phys. 36, 015009 (2015) , arXiv:1406.4550 [hep-th]

  14. [14]

    K. S. Stelle, Gen. Rel. Grav. 9, 353 (1978)

  15. [15]

    Tensor ghosts in the inflationary cosmology

    T. Clunan and M. Sasaki, Class. Quant. Grav. 27, 165014 (2010) , arXiv:0907.3868 [hep-th]

  16. [16]

    Critical Gravity in Four Dimensions

    H. L¨ u and C. N. Pope, Phys. Rev. Lett. 106, 181302 (2011) , arXiv:1101.1971 [hep-th]

  17. [17]

    S. Hyun, W. Jang, J. Jeong, and S.-H. Yi, J. High Energy Phys. 2012 (01), 054, arXiv:1111.1175 [hep-th]

  18. [18]

    Particle Content of Quadratic and $f(R_{\mu\nu\sigma \rho})$ Theories in $(A)dS$

    B. Tekin, Phys. Rev. D93, 101502 (2016) , arXiv:1604.00891 [hep-th]

  19. [19]

    Whitt, Phys

    B. Whitt, Phys. Rev. D32, 379 (1985)

  20. [20]

    Y. S. Myung, Phys. Lett. B728, 422 (2014) , arXiv:1308.1455 [gr-qc]

  21. [21]

    H. L¨ u, A. Perkins, C. N. Pope, and K. S. Stelle, Phys. Rev. D96, 046006 (2017) , arXiv:1704.05493 [hep-th]

  22. [22]

    Y. S. Myung, Phys. Rev. D88, 024039 (2013) , arXiv:1306.3725 [gr-qc]

  23. [23]

    Lorentz-violating vs ghost gravitons: the example of Weyl gravity

    N. Deruelle, M. Sasaki, Y. Sendouda, and A. Youssef, J. High Energy Phys. 2012 (09), 009, arXiv:1202.3131 [gr-qc]

  24. [24]

    Lovelock, J

    D. Lovelock, J. Math. Phys. 12, 498 (1971)

  25. [25]

    Fierz and W

    M. Fierz and W. E. Pauli, Proc. Roy. Soc. Lond. A173, 211 (1939)

  26. [26]

    Note on Massive Spin 2 in Curved Space

    I. Bengtsson, J. Math. Phys. 36, 5805 (1995) , arXiv:gr-qc/9411057 [gr-qc]

  27. [27]

    Higuchi, Nucl

    A. Higuchi, Nucl. Phys. B282, 397 (1987)

  28. [28]

    van Dam and M

    H. van Dam and M. Veltman, Nucl. Phys. B22, 397 (1970)

  29. [29]

    V. I. Zakharov, JETP Lett. 12, 312 (1970), [Pisma Zh. Eksp. Teor. Fiz. 12, 447 (1970)]

  30. [30]

    Theoretical Aspects of Massive Gravity

    K. Hinterbichler, Rev. Mod. Phys. 84, 671 (2012) , arXiv:1105.3735 [hep-th]

  31. [31]

    D. J. Kapner, T. S. Cook, E. G. Adelberger, J. H. Gundlach , B. R. Heckel, C. D. Hoyle, and H. E. Swanson, Phys. Rev. Lett. 98, 021101 (2007) , arXiv:hep-ph/0611184 [hep-ph]

  32. [32]

    C. M. Will, Living Rev. Rel. 17, 4 (2014) , arXiv:1403.7377 [gr-qc]

  33. [33]

    Bertotti, L

    B. Bertotti, L. Iess, and P. Tortora, Nature 425, 374 (2003)

  34. [34]

    Massive spin-2 fields on black hole spacetimes: Instability of the Schwarzschild and Kerr solutions and bounds on the graviton mass

    R. Brito, V. Cardoso, and P. Pani, Phys. Rev. D88, 023514 (2013) , arXiv:1304.6725 [gr-qc]

  35. [35]

    Tanabashi et al

    M. Tanabashi et al. (Particle Data Group), Phys. Rev. D98, 030001 (2018)

  36. [36]

    Inflation with a Weyl term, or ghosts at work

    N. Deruelle, M. Sasaki, Y. Sendouda, and A. Youssef, J. Cosmol. Astropart. Phys. 2011 (03), 040, arXiv:1012.5202 [gr-qc]