pith. sign in

arxiv: 2511.15474 · v1 · submitted 2025-11-19 · ✦ hep-th · gr-qc

Batalin-Fradkin-Vilkovisky Quantization of Quadratic Gravity

Jorge Bellorin , Claudio B\'orquez , Byron Droguett This is my paper

Pith reviewed 2026-05-17 20:53 UTC · model grok-4.3

classification ✦ hep-th gr-qc
keywords Batalin-Fradkin-Vilkovisky quantizationquadratic gravityHamiltonian formulationpropagatorsnegative norm statesStelle mass spectrumgauge conditions
0
0 comments X

The pith

Batalin-Fradkin-Vilkovisky quantization applies consistently to quadratic gravity and reproduces the Stelle mass spectrum with a different distribution among fields.

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

The paper carries out the Batalin-Fradkin-Vilkovisky quantization of quadratic gravity, the most general curvature theory truncated at quadratic order, using its Hamiltonian formulation. This framework permits the addition of extra constraints on the fields through Lagrange multipliers and time derivatives. A condition previously required for the classical Hamiltonian treatment is shown to fit inside the quantum procedure without contradiction. Propagators are computed for every field, including those tied to negative-norm states, and the resulting mass values match earlier results by Stelle while appearing in a different assignment to the field content. The work therefore strengthens the case for a consistent quantum version of the theory.

Core claim

We present the Batalin-Fradkin-Vilkovisky quantization of the quadratic gravity theory, which is the most general theory with terms up to quadratic order in curvature. This approach of quantization is based on the Hamiltonian formulation. In this sense, this study contributes to the consistency of the quantum formulation of the theory. With this scheme of quantization we may introduce a broad class of additional conditions on the field variables, by including Lagrange multipliers and time derivatives. We find that a mandatory condition for the validity of the Hamiltonian formulation, previously known from classical analysis, can be incorporated consistently in this quantization. We obtainthe

What carries the argument

Batalin-Fradkin-Vilkovisky quantization constructed on the Hamiltonian formulation of quadratic gravity, which incorporates additional constraints via Lagrange multipliers and time derivatives.

Load-bearing premise

A mandatory condition for the validity of the Hamiltonian formulation, previously known from classical analysis, can be incorporated consistently in this quantization.

What would settle it

An explicit check that the mandatory classical condition produces inconsistent propagators or breaks BRST invariance in the quantized theory would falsify the claim of consistent quantization.

read the original abstract

We present the Batalin-Fradkin-Vilkovisky quantization of the quadratic gravity theory, which is the most general theory with terms up to quadratic order in curvature. This approach of quantization is based on the Hamiltonian formulation. In this sense, this study contributes to the consistency of the quantum formulation of the theory. With this scheme of quantization we may introduce a broad class of additional conditions on the field variables, by including Lagrange multipliers and time derivatives. We find that a mandatory condition for the validity of the Hamiltonian formulation, previously known from classical analysis, can be incorporated consistently in this quantization. We obtain the propagators of the fields, including the propagators associated with the quantum states of negative norm. The spectrum of masses coincides with the results of Stelle, but distributed on a different way among the fields.

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

1 major / 2 minor

Summary. The manuscript applies the Batalin-Fradkin-Vilkovisky (BFV) quantization to quadratic gravity, the most general curvature-squared theory. It incorporates a classical mandatory condition required for a valid Hamiltonian formulation by introducing Lagrange multipliers and time derivatives, derives the propagators of all fields (including those associated with negative-norm states), and reports that the resulting mass spectrum coincides with Stelle's classic result but is redistributed among the fields.

Significance. If the incorporation of the classical condition preserves the BFV structure, the work provides a Hamiltonian-based quantization route for higher-derivative gravity that can accommodate additional constraints. The reproduction of the known mass spectrum (massive spin-2 ghost plus scalar) serves as a non-trivial consistency check on the procedure.

major comments (1)
  1. [Section describing incorporation of the classical condition (near the discussion of the Hamiltonian formulation and BRST] The central claim that the mandatory classical condition is incorporated consistently rests on the assertion that the extended BRST charge remains nilpotent. No explicit verification of {Q, Q} = 0 on the enlarged phase space after the addition of the Lagrange-multiplier term and its time derivative is provided; this step is load-bearing because the new constraint modifies the algebra and the gauge-fixing fermion.
minor comments (2)
  1. [Hamiltonian analysis] Clarify the precise definition of the auxiliary fields and the counting of degrees of freedom after the mandatory condition is imposed; a short table comparing the original and extended constraint sets would help.
  2. [Propagator derivation] The propagators are stated to match Stelle's spectrum but are redistributed; an explicit side-by-side comparison of pole locations and residues for each field component would strengthen the claim.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for the constructive major comment. We address the point raised below and outline the changes we will make in a revised version.

read point-by-point responses

  1. Referee: The central claim that the mandatory classical condition is incorporated consistently rests on the assertion that the extended BRST charge remains nilpotent. No explicit verification of {Q, Q} = 0 on the enlarged phase space after the addition of the Lagrange-multiplier term and its time derivative is provided; this step is load-bearing because the new constraint modifies the algebra and the gauge-fixing fermion.

    Authors: We agree that an explicit verification of the nilpotency condition is necessary to fully substantiate the consistency of the procedure. In the revised manuscript we will add a dedicated subsection (or appendix) that computes the Poisson bracket {Q, Q} on the enlarged phase space after the introduction of the Lagrange multiplier and its time derivative. We will show that the bracket vanishes identically, confirming that the extended BRST charge remains nilpotent and that the classical mandatory condition is incorporated without altering the BFV algebra or the gauge-fixing structure in a way that would violate nilpotency. revision: yes

Circularity Check

0 steps flagged

No circularity: standard BFV construction with external spectrum match

full rationale

The derivation applies the established BFV procedure to the Hamiltonian form of quadratic gravity, explicitly constructing the extended phase space, BRST charge, and gauge-fixing fermion before computing propagators. The mandatory classical condition is incorporated via Lagrange multipliers as an additional constraint, with the resulting mass spectrum shown to match Stelle's independent results (redistributed among fields). This provides an external benchmark rather than a self-referential fit. No steps reduce by construction to inputs, no load-bearing self-citations close the argument, and the nilpotency and cohomology follow from the standard BFV algebra applied to the new constraints. The paper remains self-contained against external references.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract does not specify any free parameters, axioms, or invented entities; full text may contain details on the quantization procedure.

pith-pipeline@v0.9.0 · 5438 in / 1073 out tokens · 35865 ms · 2026-05-17T20:53:51.450473+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Scattering amplitudes in Quadratic Graivty in a general formalism

    hep-th 2026-02 unverdicted novelty 5.0

    Derives LSZ rules for graviton scattering in quadratic gravity using a covariant quantization that continues ghost variables to imaginary values after mean values are taken.

Reference graph

Works this paper leans on

33 extracted references · 33 canonical work pages · cited by 1 Pith paper · 7 internal anchors

  1. [1]

    Quantum Gravity at a Lifshitz Point

    P. Horava, Quantum Gravity at a Lifshitz Point, Phys. Rev. D79084008 (2009) doi:10.1103/PhysRevD.79.084008 [arXiv:0901.3775 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevd.79.084008 2009

  2. [2]

    D. Blas, O. Pujolas and S. Sibiryakov, Consistent Extension of Horava Gravity, Phys. Rev. Lett.104, 181302 (2010) doi:10.1103/PhysRevLett.104.181302 [arXiv:0909.3525 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevlett.104.181302 2010

  3. [3]

    Bellorin and B

    J. Bellorin and B. Droguett, Quantization of the nonprojectable 2+1D Hoˇ rava theory: The second-class constraints, Phys. Rev. D101084061 (2020) doi:10.1103/PhysRevD.101.084061 [arXiv:1912.06749 [hep-th]]

    work page doi:10.1103/physrevd.101.084061 2020

  4. [4]

    Bellorin and B

    J. Bellorin and B. Droguett, BFV quantization of the nonprojectable (2+1)-dimensional Hoˇ rava theory, Phys. Rev. D103064039 (2021) doi:10.1103/PhysRevD.103.064039 [arXiv:2102.04595 [hep-th]]. J. Bellorin, C. B´ orquez and B. Droguett, Quantum La- grangian of the Hoˇ rava theory and its nonlocalities, Phys. Rev. D105024065 (2022) doi:10.1103/PhysRevD.105....

    work page doi:10.1103/physrevd.103.064039 2021

  5. [5]

    K. S. Stelle, Renormalization of Higher Derivative Quantum Gravity, Phys. Rev. D16 953 (1977) doi:10.1103/PhysRevD.16.953. 15

    work page doi:10.1103/physrevd.16.953 1977

  6. [6]

    ’t Hooft and M

    G. ’t Hooft and M. J. G. Veltman, One-loop divergencies in the theory of gravitation, Ann. Inst. H. Poincare Phys. Theor. A2069 (1974)

    work page 1974

  7. [7]

    M. H. Goroff and A. Sagnotti, Quantum Gravity at Two Loops, Phys. Lett. B16081 (1985) doi:10.1016/0370-2693(85)91470-4

    work page doi:10.1016/0370-2693(85)91470-4 1985

  8. [8]

    M. H. Goroff and A. Sagnotti, The Ultraviolet Behavior of Einstein Gravity, Nucl. Phys. B266709 (1986). doi:10.1016/0550-3213(86)90193-8

    work page doi:10.1016/0550-3213(86)90193-8 1986

  9. [9]

    Deser and P

    S. Deser and P. van Nieuwenhuizen, One Loop Divergences of Quantized Einstein- Maxwell Fields, Phys. Rev. D10401 (1974)

    work page 1974

  10. [10]

    Deser, H

    S. Deser, H. S. Tsao and P. van Nieuwenhuizen, One Loop Divergences of the Einstein Yang-Mills System, Phys. Rev. D103337 (1974) doi:10.1103/PhysRevD.10.3337

    work page doi:10.1103/physrevd.10.3337 1974

  11. [11]

    Antoniadis and E

    I. Antoniadis and E. T. Tomboulis, Gauge Invariance and Unitarity in Higher Derivative Quantum Gravity, Phys. Rev. D332756 (1986) doi:10.1103/PhysRevD.33.2756

    work page doi:10.1103/physrevd.33.2756 1986

  12. [12]

    Aspects of Quadratic Gravity

    L. Alvarez-Gaume, A. Kehagias, C. Kounnas, D. L¨ ust and A. Riotto, Aspects of Quadratic Gravity, Fortsch. Phys.64176 (2016) doi:10.1002/prop.201500100 [arXiv:1505.07657 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1002/prop.201500100 2016

  13. [13]

    A. Hell, D. Lust and G. Zoupanos, On the degrees of freedom ofR 2 gravity in flat spacetime, JHEP02039 (2024) doi:10.1007/JHEP02(2024)039 [arXiv:2311.08216 [hep- th]]

    work page doi:10.1007/jhep02(2024)039 2024

  14. [14]

    Barker and D

    W. Barker and D. Glavan, Spectrum of pureR 2 gravity: full Hamiltonian analysis, [arXiv:2510.08201 [gr-qc]]

    work page internal anchor Pith review arXiv

  15. [15]

    Bartoli, J

    A. Bartoli, J. Julve and E. J. S. Villasenor, Gauge fixing in higher derivative grav- ity, Class. Quant. Grav.162283 (1999) doi:10.1088/0264-9381/16/7/310 [arXiv:gr- qc/9811041 [gr-qc]]

    work page doi:10.1088/0264-9381/16/7/310 1999

  16. [16]

    New infra-red enhancements in 4-derivative gravity

    A. Salvio, A. Strumia and H. Veerm¨ ae, New infra-red enhancements in 4- derivative gravity, Eur. Phys. J. C78842 (2018) doi:10.1140/epjc/s10052-018-6311-1 [arXiv:1808.07883 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1140/epjc/s10052-018-6311-1 2018

  17. [17]

    Hindawi, B

    A. Hindawi, B. A. Ovrut and D. Waldram, Consistent spin two coupling and quadratic gravitation, Phys. Rev. D535583 (1996) doi:10.1103/PhysRevD.53.5583 [arXiv:hep- th/9509142 [hep-th]]

    work page doi:10.1103/physrevd.53.5583 1996

  18. [18]

    K. S. Stelle, Classical Gravity with Higher Derivatives, Gen. Rel. Grav.9353 (1978) doi:10.1007/BF00760427

    work page doi:10.1007/bf00760427 1978

  19. [19]

    D. G. Boulware, G. T. Horowitz and A. Strominger, Zero Energy Theorem for Scale Invariant Gravity, Phys. Rev. Lett.501726 (1983) doi:10.1103/PhysRevLett.50.1726. 16

    work page doi:10.1103/physrevlett.50.1726 1983

  20. [20]

    Teyssandier, LinearizedR+R 2 Gravity: A New Gauge and New Solutions, Class

    P. Teyssandier, LinearizedR+R 2 Gravity: A New Gauge and New Solutions, Class. Quant. Grav.6219 (1989) doi:10.1088/0264-9381/6/2/016

    work page doi:10.1088/0264-9381/6/2/016 1989

  21. [21]

    H. L¨ u, A. Perkins, C. N. Pope and K. S. Stelle, Spherically Symmet- ric Solutions in Higher-Derivative Gravity, Phys. Rev. D92124019 (2015). doi:10.1103/PhysRevD.92.124019 [arXiv:1508.00010 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevd.92.124019 2015

  22. [22]

    Hamiltonian equations of motion of quadr atic gravity,

    J. Bellorin, Hamiltonian equations of motion of quadratic gravity (2025) [arXiv:2506.07305 [gr-qc]]

    work page arXiv 2025

  23. [23]

    I. L. Buchbinder and S. L. Lyahovich, Canonical Quantization and Local Measure of R2 Gravity, Class. Quant. Grav.41487 (1987). doi:10.1088/0264-9381/4/6/008

    work page doi:10.1088/0264-9381/4/6/008 1987

  24. [24]

    D. G. Boulware, Quantization of higher derivative theories of gravity, in Quantum Theory of Gravity, ed. S. M. Christensen, Adam Hilger, Bristol, 1984, p. 267

    work page 1984

  25. [25]

    Kaku, Strong Coupling Approach to the Quantization of Conformal Gravity, Phys

    M. Kaku, Strong Coupling Approach to the Quantization of Conformal Gravity, Phys. Rev. D272819 (1983) doi:10.1103/PhysRevD.27.2819

    work page doi:10.1103/physrevd.27.2819 1983

  26. [26]

    L. D. Faddeev, Feynman integral for singular Lagrangians, Theor. Math. Phys.11 (1969) doi:10.1007/BF01028566

    work page doi:10.1007/bf01028566 1969

  27. [27]

    Salvio, A non-perturbative and background-independent formulation of quadratic gravity, JCAP07092 (2024) doi:10.1088/1475-7516/2024/07/092 [arXiv:2404.08034 [hep-th]]

    A. Salvio, A non-perturbative and background-independent formulation of quadratic gravity, JCAP07092 (2024) doi:10.1088/1475-7516/2024/07/092 [arXiv:2404.08034 [hep-th]]

    work page doi:10.1088/1475-7516/2024/07/092 2024

  28. [28]

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

    J. Klusoˇ n, M. Oksanen and A. Tureanu, Hamiltonian analysis of curvature-squared gravity with or without conformal invariance, Phys. Rev. D89064043 (2014) doi:10.1103/PhysRevD.89.064043 [arXiv:1311.4141 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevd.89.064043 2014

  29. [29]

    E. S. Fradkin and G. A. Vilkovisky, Quantization of relativistic systems with constraints, Phys. Lett. B55224 (1975)

    work page 1975

  30. [30]

    I. A. Batalin and G. A. Vilkovisky, Relativistic S Matrix of Dynamical Systems with Boson and Fermion Constraints, Phys. Lett. B69309 (1977)

    work page 1977

  31. [31]

    E. S. Fradkin and T. E. Fradkina, Quantization of Relativistic Systems with Boson and Fermion First and Second Class Constraints, Phys. Lett. B72343 (1978)

    work page 1978

  32. [32]

    E. S. Fradkin and G. A. Vilkovisky, Unitarity of S Matrix in Gravidynamics and General Covariance in Quantum Domain, Lett. Nuovo Cim.13187 (1975)

    work page 1975

  33. [33]

    D. M. Gitman, S. L. Lyakhovich and I. V. Tyutin, Hamilton formulation of a theory with high derivatives, Soviet Physics Journal26730 (1983). 17

    work page 1983