Batalin-Fradkin-Vilkovisky Quantization of Quadratic Gravity

Byron Droguett; Claudio B\'orquez; Jorge Bellorin

arxiv: 2511.15474 · v2 · pith:NMQ5DS4Xnew · 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 comments

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

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.

Desk Editor's Note private letter to a colleague

The paper applies BFV to quadratic gravity, incorporates the known classical Hamiltonian condition, and computes propagators whose masses match Stelle but get reassigned across fields.

read the letter

The main point is that this work takes the Batalin-Fradkin-Vilkovisky formalism and runs it on the most general quadratic curvature gravity. They add the mandatory classical condition for a valid Hamiltonian formulation by introducing Lagrange multipliers and time derivatives, then extract the propagators for all fields, including those tied to negative-norm states. The mass values line up with Stelle's old result, though the distribution among the modes is different here. That redistribution and the explicit propagators are the concrete output that was not in the earlier literature they cite. The approach stays inside the Hamiltonian setting, which is a reasonable way to keep track of constraints and gauge fixing in a higher-derivative theory. They also show that the extra condition can be folded in without an immediate breakdown of the BFV structure, at least at the level they present. The soft spot is the nilpotency check. Adding the condition changes the constraint algebra and the gauge-fixing fermion, so the extended BRST charge must still satisfy {Q, Q} = 0 on the full phase space. The abstract asserts consistency, but if the paper does not display the explicit Poisson-bracket calculation after the addition, the propagators rest on an unverified step. That is the part a referee would press on. This is for readers already working with canonical methods in higher-derivative gravity who want to see how BFV handles the extra conditions and negative-norm modes. It is not a conceptual overhaul, but the technical execution is clear enough to be worth referee time. I would send it out for review.

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)

[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)

[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.
[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

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)

Forward citations

Cited by 1 Pith paper

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

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.