Revisiting the relaxation of constraints in gauge theories

Here is an explanation of the paper "Revisiting the relaxation of constraints in gauge theories," translated into simple language with everyday analogies.

The Big Picture: What is this paper about?

Imagine you are trying to solve a complex puzzle (a physical theory like electromagnetism or gravity). Recently, some researchers proposed a new way to solve it: throw away some of the rules. They suggested that in the quantum world, we don't need to strictly obey certain "constraints" (rules that say, for example, "electric charge must be conserved" or "the universe must start with zero energy"). They called this "relaxing the constraints."

The authors of this paper (Golovnev and Russkov) are saying: "Wait a minute. You aren't discovering a new quantum secret. You are just breaking the rules of the game by accident."

They argue that when people try to "relax" these constraints, they are actually just making a specific, somewhat clumsy choice of how to look at the system. By doing so, they accidentally change the laws of physics, adding fake energy or charge that wasn't there before.

The Core Concepts (With Analogies)

1. The "Gauge" Problem: The Infinite Wardrobe

In physics, a gauge theory is like a wardrobe with infinite outfits that all look exactly the same.

The Reality: The physical world is the person wearing the clothes.
The Gauge: The specific shirt, pants, and hat they are wearing.
The Rule: You can change the outfit (gauge transformation) without changing who the person is.

In math, this creates a problem. Because there are infinite outfits, the equations have "redundant" variables. To solve the equations, you usually have to pick one specific outfit (fix the gauge).

2. The "Constraint": The Rulebook

Every physical theory has a rulebook.

Electromagnetism: One rule is Gauss's Law (electric field lines must start and end on charges).
Gravity: One rule is that the universe's total energy behaves in a specific way.

These rules are called constraints. They aren't just suggestions; they are the glue holding the theory together. If you break them, the theory falls apart or changes into something else.

3. The "Relaxation" Mistake: Cutting the Rules

The recent papers claimed that to quantize (make quantum) these theories, we must "relax" (break) these rules.

The Authors' View: This is like saying, "To drive a car faster, we should just remove the speed limit sign."
The Reality: If you remove the sign, you haven't made the car faster; you've just created a new, dangerous situation where the car might crash.

The authors show that when you "relax" the constraint, you aren't finding a deeper truth. You are simply changing the classical theory by adding a fixed background of fake charge or energy.

The "How It Happens" Analogy

The paper explains why this mistake happens using a very specific mathematical trick. Here is the analogy:

The "Two-Step Dance" vs. The "Jump"

Imagine a dance where you must take two steps to get to the next move.

Step 1: You check your balance (Primary Constraint).
Step 2: Based on that balance, you check your footing (Secondary Constraint).
Result: Only after both steps do you know the correct move (the Gauge Transformation).

The Standard Way: You do Step 1, then Step 2, and then you pick your outfit (fix the gauge). The rules are preserved.

The "Relaxation" Way: The authors say the recent papers are doing this:

They pick an outfit immediately at Step 1.
Because they picked the outfit too early, Step 2 (the secondary constraint) never happens.
The Consequence: The dance is now different. The dancer has a new, weird move that wasn't in the original choreography.

The Metaphor:
Imagine you are baking a cake.

The Constraint: "You must add eggs before the flour."
The Relaxation: You decide, "I'm going to skip the eggs and just add flour."
The Result: You don't get a "quantum cake." You get a bowl of raw flour. You have changed the recipe entirely.

The authors argue that the "relaxation" papers are just baking a bowl of flour and calling it a new type of cake.

Why Does This Matter? (The "Fake" Physics)

When you relax the constraints in this specific way, the math produces ghosts.

In Electromagnetism: If you relax the rules, the math says there is a static cloud of electric charge sitting in the universe, even though you didn't put any there. It's like finding a pile of money in your bank account that you didn't deposit. The authors say this is just an artifact of your bad math choice, not a real physical discovery.
In Gravity: If you relax the rules for gravity, you create a "fluid" of energy that has no pressure. This sounds cool, but the authors point out it leads to weird singularities (crashes) in the math, similar to how a pressureless fluid in real life would collapse instantly.

The "Gauge Hits Twice" Concept

The paper mentions a phrase: "The gauge hits twice."

Analogy: Imagine a security guard (the gauge symmetry) who checks your ID (Step 1) and then checks your ticket (Step 2).
If you try to bypass the guard by showing a fake ID immediately, the system gets confused. It thinks you are a different person entirely.
In these theories, the "guard" checks the rules twice. If you try to fix the rules (gauge) before the second check is done, you break the system.

The Conclusion: Don't Break the Rules

The authors conclude with a simple message:

It's not a new discovery: "Relaxing constraints" is just a fancy way of saying "we fixed the gauge (picked an outfit) too early."
It changes the game: By doing this, you aren't solving quantum gravity; you are just playing a different game with different rules (adding fake charges/energy).
We already know how to do it: We have perfectly good ways to quantize these theories without breaking the rules. We don't need to throw away the rulebook.

In short: The paper is a "reality check." It tells the physics community, "Stop thinking you've found a loophole in the universe. You've just made a math error by picking your variables in the wrong order."

Here is a detailed technical summary of the paper "Revisiting the relaxation of constraints in gauge theories" by Alexey Golovnev and Kirill Russkov.

1. Problem Statement

Recent literature (specifically preprints [1–4]) has claimed that the path integral quantization of gauge theories (including General Relativity and Electrodynamics) necessarily requires the "relaxation" of Lagrangian constraints. The proponents of this view argue that relaxing these constraints (e.g., the Gauss law in electromagnetism or the Hamiltonian constraint in cosmology) is a fundamental necessity for a consistent quantum theory, potentially leading to a perfect quantum gravity theory.

The authors of this paper challenge this claim, arguing that:

Gauge theories can be quantized without relaxing constraints using established methods.
The idea of modifying classical constraints is not new but dates back to early works by Fock and Stueckelberg.
The "relaxation" observed in recent works is not a fundamental necessity of quantum physics but rather a specific artifact of fixing a gauge directly at the level of the action principle (or total Hamiltonian) in a specific way that prevents the generation of secondary constraints.

2. Methodology

The authors employ a comparative analysis of constrained Hamiltonian dynamics and Lagrangian field theory. Their methodology involves:

Re-evaluating Dirac's Formalism: They revisit the distinction between the Total Hamiltonian ( $H_T$ ) and the Extended Hamiltonian ( $H_E$ ). They analyze how gauge fixing interacts with primary and secondary constraints.
Case Studies:
- Electrodynamics (Vacuum): They analyze the standard Maxwell theory to demonstrate how different gauge choices affect the constraint structure.
- Mechanical Toy Models: They use simple mechanical systems ( $L(q, \dot{q}, s)$ ) to isolate the mathematical mechanism of "constraint relaxation" without the complexity of field theory.
- General Relativity (GR): They apply their findings to vacuum GR, comparing the Dirac metric formulation with the ADM (Arnowitt-Deser-Misner) formalism.
Gauge Fixing Analysis: They specifically investigate the consequences of imposing gauge conditions that are second-class with respect to the primary constraints (e.g., fixing $A_0 = 0$ or $N=1$ ) before deriving the equations of motion or checking for secondary constraints.

3. Key Contributions and Theoretical Arguments

A. The Mechanism of "Relaxation"

The central technical contribution is the identification of the mechanism causing constraint relaxation.

Standard Procedure: In a gauge theory where the gauge symmetry "hits twice" (mixing variables with different time derivative orders, e.g., $A_0$ lacks $\dot{A}_0$ while $A_i$ has it), the preservation of the primary constraint ( $\pi_0 \approx 0$ ) in time generates a secondary constraint (e.g., Gauss law $\partial_i \pi^i \approx 0$ ).
The "Relaxation" Procedure: If one imposes a gauge condition (e.g., $A_0 = f(x)$ ) directly into the action or total Hamiltonian before ensuring the consistency of constraints, this condition is often second-class with the primary constraint.
Consequence: The time preservation of this new second-class pair fixes the Lagrange multipliers immediately. Consequently, the algorithm stops, and no secondary constraint is generated.
Result: The resulting theory lacks the original constraint (e.g., Gauss law), effectively modifying the classical theory by introducing an arbitrary source term (e.g., a static charge density $\rho$ ) that was not present in the original formulation.

B. The "Hits Twice" Phenomenon

The authors clarify that this phenomenon occurs specifically in theories where the gauge symmetry "hits twice." This means the gauge transformation mixes variables with different time-derivative orders.

The primary constraint alone is not a generator of the full gauge transformation.
Only the combination of primary and secondary constraints generates the gauge symmetry.
By fixing a gauge that eliminates the primary constraint's ability to generate the secondary one, the physical degrees of freedom change, and new, unphysical dynamics appear.

C. Dependence on Variables and Frames

The paper demonstrates that the "relaxation" is an artifact of the choice of variables and reference frame:

Frame Dependence: In Electrodynamics, relaxing the constraint by fixing $A_0$ introduces a charge density without currents. This violates Lorentz invariance unless treated as an external background, proving it is a modification of the theory, not a quantization requirement.
Variable Dependence: If one changes variables (e.g., $A_0 \to A_0 + f(A_i)$ ), a gauge condition that looks like a simple relaxation in one set of variables becomes a complex, non-trivial constraint in another.

D. Application to General Relativity

The authors apply this logic to General Relativity:

Fixing the lapse function ( $N=1$ ) or shift vector ( $N^i=0$ ) directly in the action (synchronous gauge) without deriving secondary constraints leads to a theory where only the spatial Einstein equations ( $G_{ij}=0$ ) remain.
This is mathematically equivalent to adding an effective energy-momentum tensor with only temporal components ( $T^{0\mu} \neq 0$ ), resembling mimetic gravity.
They argue this is a modification of GR (introducing a pressureless fluid with potential singularities) rather than a necessary step for quantization.

4. Results

Constraint Relaxation is a Modification, Not a Necessity: The "relaxation" of constraints is shown to be a specific procedure of gauge fixing that alters the classical equations of motion. It is not a mathematical requirement for path integral quantization.
Origin of New Dynamics: When constraints are relaxed by fixing second-class conditions early, the theory loses its original constraints and gains new, spurious dynamical degrees of freedom (e.g., a new Cauchy datum $\rho(x)$ ).
Distinction from Extended Hamiltonian: The authors distinguish this from the standard "Extended Hamiltonian" approach. While the Extended Hamiltonian adds all constraints to the action, it preserves the gauge symmetry structure. "Relaxation" breaks this structure by preventing the generation of secondary constraints.
Gribov Ambiguity: The paper notes that a "perfect" global gauge fixing is impossible in non-Abelian theories due to the Gribov ambiguity, further undermining the idea that one can simply "fix" the theory by removing constraints globally.

5. Significance

Clarification of Quantum Gravity Debates: The paper refutes the claim that relaxing constraints is a necessary step for a consistent quantum gravity theory. It asserts that standard quantization methods (respecting constraints) are well-defined and mathematically sound.
Interpretation of Recent Claims: It reinterprets recent claims (e.g., regarding the "problem of time" in cosmology) as instances of modifying the classical theory via specific gauge choices, rather than discovering a fundamental quantum necessity.
Pedagogical Value: It provides a clear mechanical and field-theoretic explanation of how premature gauge fixing alters the constraint algebra and the physical content of a theory.
Warning against "Relaxation": The authors warn that treating variables like the lapse $N$ or $A_0$ merely as gauge parameters to be fixed arbitrarily can lead to theories with unintended physical consequences (like mimetic gravity features) that are artifacts of the method, not features of nature.

In summary, Golovnev and Russkov demonstrate that "constraint relaxation" is a gauge-fixing artifact that modifies the classical theory by removing secondary constraints, rather than a fundamental requirement for the quantization of gauge theories.