⚛️ high-energy theory

Gauge conditions in the perturbative quantization of quadratic gravity and its quantum Lagrangian

This paper demonstrates that while the equivalence between Hamiltonian and covariant field equations in quadratic gravity holds nonperturbatively without gauge conditions, a specific gauge is necessary in the perturbative regime to derive the theory's quantum Lagrangian and characterize its quantum modes via BFV quantization.

Original authors: Jorge Bellorin, Claudio Bórquez, Byron Droguett

Published 2026-10-26

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Jorge Bellorin, Claudio Bórquez, Byron Droguett

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Gravity is the force that holds our feet to the ground and keeps the planets in their orbits, but for physicists, it is also a puzzle that refuses to fit neatly into the rules governing the rest of the universe. While the other fundamental forces are successfully described by quantum mechanics, the theory that governs gravity, known as general relativity, breaks down when applied to the smallest scales. To bridge this gap, scientists have explored "quadratic gravity," a more complex version of Einstein's theory that adds extra terms to the equations. These extra terms act like a mathematical safety net, making the theory workable at the quantum level, but they introduce a strange problem: the theory predicts the existence of particles that behave as if they have negative mass or energy, which seems physically impossible.

To understand how these theories work, physicists often switch between two different mathematical languages. One language, called the Lagrangian approach, describes how fields evolve through space and time in a smooth, unified way. The other, called the Hamiltonian approach, breaks the universe down into a series of snapshots, tracking how the state of the system changes from one moment to the next. For a theory to be consistent, these two languages must tell the same story. If they disagree, the theory is flawed. In the specific case of quadratic gravity, a previous study suggested that the two languages only agreed if a very strict rule was applied: the ripples in space itself had to be perfectly balanced so that their total size remained unchanged. This rule seemed necessary to make the math work, but it raised a question: was this a fundamental law of nature, or just an artifact of the way the scientists were doing the math?

A team of researchers from Chile set out to answer this question by looking deeper into the mathematics of quadratic gravity. They wanted to know if the requirement for this strict balancing rule was a true feature of the universe or simply a side effect of using approximations. In the world of physics, it is common to study complex systems by first looking at a simplified, "linearized" version where the effects are small and easy to calculate. The previous rule had been discovered in this simplified version. The researchers used powerful computer software to perform a much more rigorous check, comparing the two mathematical languages not just in the simplified case, but in more complex, realistic scenarios. They tested situations where the gravitational field was static and unchanging, as well as situations where it evolved over time but remained uniform across space.

The results were clear and decisive. The researchers found that when they looked at the full, exact equations without relying on simplifications, the two mathematical languages agreed perfectly without needing any special rules. The requirement for the spatial ripples to be balanced was not a fundamental law of the universe; it was an effect of the perturbative approach used in earlier studies. However, the researchers emphasized that despite this finding, the strict balancing rule must still be imposed when working within the perturbative approach to ensure consistency. This discovery removed a significant hurdle in the theoretical framework, confirming that the Hamiltonian formulation of quadratic gravity is consistent on its own terms, while clarifying the specific constraints needed for its approximate versions.

With this confusion cleared up, the team moved on to the next step: building a quantum version of the theory. To do this, they used a sophisticated method known as BFV quantization, which is designed to handle the complex symmetries of gravity. This process involves integrating out the abstract mathematical variables to reveal the underlying physical behavior of the system. By carefully applying the necessary gauge conditions—which are essentially rules to fix the coordinate system so the math doesn't get stuck—they derived a quantum Lagrangian. This new formulation allowed them to identify the specific types of particles, or "modes," that would exist in this theory.

The analysis revealed a rich spectrum of particles. The theory contains two massive scalar particles, one massless particle, one massive tensor particle, and one massive vector particle. The tensor particle corresponds to the familiar gravitational waves predicted by Einstein, but in this extended theory, it appears alongside these new, heavier counterparts. However, the theory retains its most troubling feature: several of these new particles, including one of the scalars, the massive tensor, and the massive vector, possess a negative quantum norm. In physical terms, this means they represent states that cannot exist in a stable, real-world universe, suggesting that while the theory is mathematically consistent, it may not describe our actual reality without further modification.

The researchers also explored how this complex theory connects back to the familiar gravity we observe every day. By taking the limit where the extra terms in the theory become negligible, they showed that the quantum Lagrangian smoothly transitions into the standard equations for general relativity. This confirms that the new framework is a valid extension of Einstein's work, capable of reducing to the known laws of gravity under the right conditions. The study also touched upon the possibility of using more complex, non-local rules to fix the gauge, which could potentially alter the behavior of the mathematical momenta, but found that these changes did not fundamentally alter the nature of the particles identified. Ultimately, the work clarifies the mathematical structure of quadratic gravity, separating the genuine features of the theory from the artifacts of approximation, and provides a solid foundation for understanding the quantum modes that such a theory would predict.

Technical Summary: Gauge Conditions in the Perturbative Quantization of Quadratic Gravity and its Quantum Lagrangian

Problem Statement
This work addresses a technical inconsistency in the perturbative Hamiltonian formulation of quadratic gravity. While the theory is defined by the most general second-order curvature Lagrangian (Eq. 1.1), a discrepancy exists between the Hamiltonian equations of motion and the covariant field equations derived from the same Lagrangian. Specifically, in the linearized theory around Minkowski spacetime, equivalence between these two formulations requires an additional gauge condition: the perturbative spatial metric must be traceless ( $h_{ii} = 0$ ) [3].

The central question is whether this condition is a fundamental requirement of the nonperturbative theory or merely an artifact of the perturbative expansion. If the condition is fundamental, it implies a necessary constraint on the classical Hamiltonian formulation and, by extension, the quantum theory. If it is an artifact, the classical Hamiltonian formalism is more robust than previously thought, though the condition remains necessary for the consistency of the perturbative quantum approach.

Methodology
The authors employ a two-pronged approach combining symbolic computation and canonical quantization:

Nonperturbative Equivalence Check: Using the symbolic computational tool Cadabra [11], the authors perform a direct comparison between the covariant field equations ( $H_{\mu\nu} = 0$ ) and the Hamiltonian equations of motion derived from the ADM parametrization. To manage the complexity of the full nonperturbative equations, they analyze two specific orthogonal configurations:
- Static Case: Time derivatives of all fields vanish.
- Spatially Independent Case: Fields depend only on time.
  In both cases, the authors verify whether the Hamiltonian constraints and equations of motion map exactly to the covariant equations without imposing the traceless condition ( $h_{ii}=0$ ).
BFV Quantization and Lagrangian Derivation: Having established the perturbative origin of the traceless condition, the authors proceed to the Batalin-Fradkin-Vilkovisky (BFV) quantization of the theory. They:
- Promote Lagrange multipliers ( $N, N^i$ ) to canonical variables.
- Introduce fermionic ghosts and define the BRST generator $\Omega$ and gauge fermion $\Psi$ .
- Impose a broad class of gauge-fixing conditions ( $\chi_A$ ) that are linear in fields, local, and respect spatial rotation symmetry. Crucially, they include the condition $h_{ii}=0$ (via the limit $\epsilon \to 0$ in Eq. 3.9) to ensure consistency with the perturbative requirement.
- Perform the path integral by integrating out canonical variables ( $\pi_{ij}, P^{ij}, K_{ij}$ , etc.) to derive the effective quantum Lagrangian in terms of geometric variables.

Key Contributions and Results

Resolution of the Gauge Condition Origin: The computational comparison in the static and time-dependent cases demonstrates that the Hamiltonian equations of motion and the covariant field equations are totally equivalent in the nonperturbative regime without imposing the traceless condition $h_{ii}=0$ . The authors conclude that the necessity of this condition found in Ref. [3] is strictly an effect of the perturbative approach, not a fundamental feature of the exact theory.
Derivation of the Quantum Lagrangian: The authors successfully integrate out the canonical variables in the BFV path integral to obtain the quantum Lagrangian separated into scalar, vector, tensor, and ghost sectors (Eqs. 3.13–3.16). This Lagrangian is supported by a consistent Hamiltonian formalism and incorporates the necessary gauge-fixing terms (Eq. 3.17).
Recovery of General Relativity: The derived quantum Lagrangian admits a smooth limit to General Relativity. By taking $\alpha, \beta \to 0$ , the massive modes decouple (their masses become infinite), and the Lagrangian reduces to the standard second-order perturbative Lagrangian of General Relativity in ADM variables (Eq. 3.18). This resolves an obstruction present in the Hamiltonian language, where the limit is not smooth due to the inability to turn off $\alpha$ while maintaining the generic case structure.
Characterization of Quantum Modes: By analyzing the propagators in Fourier space (Eqs. 4.1–4.7), the authors identify the physical spectrum:
- Two massive scalars: One with a mass pole at $\Pi_1$ (negative norm) and one at $\Pi_2$ (positive norm).
- One massless tensor: Corresponding to the standard graviton ( $\Pi_0$ ).
- One massive tensor: Corresponding to the pole $\Pi_1$ (negative norm).
- One massive vector: Corresponding to the pole $\Pi_1$ .
  The distribution of negative-norm states (ghosts) aligns with previous findings by Stelle [1] and Ref. [12], though the specific identification of modes differs due to the use of ADM parametrization. The authors note that the massive vector mode interpretation may vary depending on the choice of fundamental field operators.
Gauge Fixing and Ostrogradsky Instability: The paper discusses the possibility of introducing nonlocal gauge-fixing conditions involving canonical momenta to potentially alter the dependence on momenta (addressing Ostrogradsky instability). However, the authors find that while such conditions introduce quadratic momentum terms in the Hamiltonian, they do not essentially change the resulting propagators after integration to the geometric Lagrangian.

Significance
The paper clarifies the theoretical status of the traceless gauge condition in quadratic gravity, distinguishing between perturbative artifacts and nonperturbative necessities. This distinction is vital for the consistency of the classical Hamiltonian formulation. Furthermore, by deriving the quantum Lagrangian directly from the BFV Hamiltonian formalism, the work provides a robust bridge between canonical quantization and the Lagrangian perspective, which is the standard framework for analyzing propagators and degrees of freedom. The results confirm the renormalizability features of the theory while explicitly mapping the negative-norm states inherent to the quadratic curvature terms, offering a consistent framework for analyzing the quantum modes of quadratic gravity.

More like this