Schwinger-Keldysh Path Integral for Gauge theories

✨

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

Imagine you are trying to predict the weather. In a perfect, closed world, you could write down one set of equations, plug in the current conditions, and know exactly what happens tomorrow. But the real world is messy. The atmosphere is an "open system"—it exchanges energy and matter with space, the ground, and the ocean. To predict the weather accurately, you can't just look at the air; you have to account for how the air interacts with everything else it touches.

This paper is about building a better mathematical toolkit for describing these messy, open systems, specifically when they involve gauge theories. In physics, gauge theories are the rules that govern forces like electromagnetism and the strong nuclear force (which holds atoms together). The authors are tackling a very specific, difficult problem: how to describe these forces when the system is not in a calm, stable state (like a hot plasma or a chaotic collision), but is instead evolving dynamically from a specific starting point.

Here is the breakdown of their work using simple analogies:

1. The "Double-Book" Problem (Schwinger-Keldysh)

To track an open system, physicists use a method called the Schwinger-Keldysh formalism.

The Analogy: Imagine you are keeping a diary of a day. To understand what happened, you don't just write down the events as they happened (forward in time). You also write a second diary where you imagine the day happening in reverse. You then compare the two diaries.
Why? This "double diary" allows you to calculate probabilities and averages for systems that are interacting with an environment, rather than just isolated systems.
The Challenge: When you apply this to forces like the strong nuclear force, the math gets incredibly complicated because of "gauge symmetry." Think of gauge symmetry as a redundancy in your language. You can describe the same physical reality using many different words (gauges). In a closed system, this is easy to handle. But in this "double diary" setup, the redundancy doubles, and the authors had to figure out how to keep the math consistent without it falling apart.

2. The "Ghost" and the "Negative" (BRST and Indefinite Hilbert Space)

To fix the redundancy problem, physicists introduce "ghosts."

The Analogy: These aren't spooky ghosts. Think of them as accounting ghosts. When you have a system with too many variables (redundancy), you add fake variables to cancel out the errors.
The Problem: In standard physics, probabilities must always be positive (you can't have a -50% chance of rain). However, these "ghost" variables and the time-component of the force fields naturally create "negative probabilities" in the math.
The Solution: The authors show how to handle these negative numbers correctly. They use a special mathematical trick (the Nakanishi-Lautrup representation) which is like changing the currency of your accounting. Instead of trying to force the numbers to be positive, they redefine the rules of the ledger so that the negative numbers cancel out the errors perfectly, leaving you with a valid, positive probability for the real, physical stuff.

3. The "Diagonal" Rule (Symmetry Breaking)

When you have two diaries (the forward and backward branches), you might think you have two sets of rules (symmetries).

The Analogy: Imagine two dancers. If they are dancing in a vacuum, they can each do their own moves. But in this "open system," they are holding hands at the end of the dance. This connection forces them to move in sync.
The Discovery: The authors prove that the "backward" dancer (the advanced symmetry) cannot move freely; their moves are broken by the connection at the end. Only the "forward" dancer (the diagonal or retarded symmetry) remains valid. This is crucial because it tells us exactly which rules we must follow to ensure our predictions make sense. If we try to use the broken rules, the math gives nonsense results.

4. The "Influence" of the Environment (Open EFTs)

Often, we don't care about every single particle in a system (like every air molecule). We just want to know how a specific object (like a car) moves through the air.

The Analogy: This is like calculating the drag on a car without simulating every single air molecule. You "integrate out" the air molecules and replace them with a single "friction" force.
The Innovation: The authors show how to do this for these complex gauge forces. They create a "Feynman-Vernon Influence Functional." Think of this as a magic filter. You put the messy, full system into the filter, and it spits out a simplified "Effective Theory" for just the part you care about.
The Guarantee: The most important part of their work is proving that this simplified theory still respects the fundamental rules (BRST symmetry) of the original complex system. They show that even after simplifying, the "ghosts" and the "negative numbers" still cancel out correctly.

5. Real-World Examples

The paper doesn't just stay in theory; they test their math on two specific scenarios:

Hard Thermal Loops (HTL): This describes a hot soup of particles (like in the early universe or a particle collider). They show how to simplify the math for the "slow" particles by averaging out the "fast" ones, while keeping the rules intact.
Broken Symmetry (Higgs Phase): This describes a situation where the forces behave differently because a field (like the Higgs field) has "broken" the symmetry. They show how to write the rules for this broken state in a way that still works for open, non-equilibrium systems.

Summary

In short, this paper builds a robust, rule-abiding framework for describing how complex force fields behave when they are messy, hot, and interacting with an environment. They solved the problem of how to handle the "negative numbers" and "ghosts" that usually break the math in these situations. By proving that a specific "diagonal" symmetry is the only one that survives, they provide a safe way to simplify complex physics problems without losing the fundamental laws that govern them.

1. Problem Statement

The Schwinger-Keldysh (SK) or Closed Time Path (CTP) formalism is the standard tool for describing non-equilibrium quantum systems and open quantum systems. However, its application to non-Abelian gauge theories with arbitrary initial states (pure or mixed) defined at finite times has remained technically underdeveloped.

Key challenges addressed in this work include:

Indefinite Hilbert Space: Gauge theories require covariant gauges (like Lorenz gauge) to maintain manifest Lorentz invariance, which introduces negative-norm states (timelike photons) and unphysical degrees of freedom (ghosts). Standard SK formalisms often struggle to define a consistent inner product and trace operation for these indefinite spaces, particularly for non-vacuum states.
BRST Symmetry in Open Systems: While BRST symmetry ensures unitarity in closed systems, it is unclear how it survives the "doubling" of fields inherent in the SK contour (retarded/advanced branches) and the tracing out of environmental degrees of freedom.
Boundary Conditions: Standard treatments often assume the infinite time limit ( $t_i \to -\infty, t_f \to +\infty$ ) with $i\epsilon$ prescriptions. This paper focuses on generic finite-time initial states where boundary terms cannot be neglected.
Open EFT Construction: Constructing Effective Field Theories (EFTs) for open gauge systems (e.g., Hard Thermal Loops) requires a rigorous understanding of which symmetries constrain the effective action when high-energy modes or matter fields are integrated out.

2. Methodology

The authors develop a rigorous path-integral framework based on the Becchi-Rouet-Stora-Tyutin (BRST) formalism, specifically utilizing the Nakanishi-Lautrup (NL) representation.

A. Indefinite Hilbert Space Quantization (Schrödinger Picture)

Pauli's Representation: To handle the non-normalizable wavefunctionals of the timelike photon component ( $A_0$ ), the authors adopt Pauli's representation where the eigenvalues of the Hermitian operator $\hat{A}_0$ are purely imaginary ( $A_0 \to iA_4$ ). This allows for a normalizable inner product where states with an odd number of timelike photons have negative norms, consistent with the indefinite metric of the Hilbert space.
Ghost Schrödinger Representation: Unlike fermions which require coherent states, the authors construct a Schrödinger representation for Faddeev-Popov ghosts because their equations of motion are second-order. They define simultaneous eigenstates for the ghost ( $c$ ) and anti-ghost ( $\bar{c}$ ) fields, establishing a consistent inner product and trace formula.
Nakanishi-Lautrup Representation: Instead of integrating out the auxiliary $B$ $B$ field (which forces BRST algebra to close only on-shell), the authors treat $B$ $B$ (or $B_4$ $B_{4}$ ) as a fundamental configuration variable conjugate to $A_0$ $A_{0}$ . In this representation:
- The BRST algebra closes off-shell ( $\hat{s}^2 = 0$ ).
- The BRST transformations act directly on equal-time field variables without generating boundary terms in the action.
- Physical wavefunctionals take the form $\psi_{phys} = e^{\hat{s}G} \Psi_{gauge-inv}$ , where $G$ is a gauge-fixing fermion and $\Psi$ is gauge invariant.

B. The Hata-Kugo Prescription for Traces

To compute physical expectation values in the indefinite Hilbert space, the authors implement the Hata-Kugo trace:
$\text{Tr}_{phys}[\hat{O}] = \text{Tr}[e^{\pi \hat{Q}_G} \hat{\rho} \hat{O}]$
where $\hat{Q}_G$ is the ghost charge. This insertion of $e^{\pi \hat{Q}_G}$ (which flips the sign of ghost fields) cancels the fermionic minus sign arising from the ghost trace, effectively projecting the density matrix onto the physical Hilbert space. This prescription is crucial for deriving correct boundary conditions (e.g., periodic KMS conditions for ghosts in thermal states).

C. Schwinger-Keldysh Path Integral Construction

Field Doubling: The path integral involves two branches ( $+$ and $-$) for all fields ( $A_\mu, B, c, \bar{c}$ ).
Diagonal BRST Symmetry: The authors demonstrate that while the SK contour naively suggests two copies of BRST symmetry, the final-time boundary condition ( $f_+(t_f) = f_-(t_f)$ ) breaks the "advanced" (off-diagonal) BRST symmetry. Only the diagonal (retarded) BRST symmetry survives.
Zinn-Justin Equation: They derive the in-in Zinn-Justin (Master) equation for the generating functional, which encodes the Ward-Takahashi-Slavnov-Taylor identities. This equation holds for arbitrary initial states and includes source terms for composite operators (antifields) to track BRST variations.

3. Key Contributions and Results

1. Resolution of the Indefinite Metric Problem

The paper provides a complete recipe for defining the inner product and trace for gauge theories in the Schrödinger picture at finite times. By combining the imaginary eigenvalue representation for $A_0$ and the Hata-Kugo trace, they ensure that physical states have positive norms and that the path integral correctly projects onto the physical subspace.

2. Breaking of Advanced BRST Symmetry

A central result is the explicit proof that the advanced BRST symmetry is broken by the in-in boundary conditions, even in the vacuum.

The diagonal (retarded) BRST symmetry is the only one compatible with the conserved BRST charge $\hat{Q}$ in the operator formalism.
This implies that the "naive" doubling of symmetries in the SK formalism is an illusion; the open system retains only the diagonal symmetry.

3. Keldysh BRST Symmetry in Open EFTs

When expanding the Open EFT action in terms of retarded ( $r$ ) and advanced ( $a$ ) fields (Keldysh rotation), the authors identify a contracted Keldysh BRST symmetry:

Retarded Sector: Transforms under the standard non-Abelian BRST symmetry of the retarded gauge fields.
Advanced Sector: Transforms linearly (Abelian-like) under a covariant transformation involving the retarded fields.
Significance: This symmetry is exact for the action truncated to quadratic order in advanced fields. It imposes strict constraints on the allowed operators in Open EFTs, preventing the construction of terms that are merely gauge-invariant under retarded transformations but violate the full diagonal BRST structure.

4. Application to Hard Thermal Loop (HTL) EFT

The authors apply their formalism to the Hard Thermal Loop effective theory. They show that the SK-HTL action, derived by integrating out hard thermal modes, is manifestly invariant under the Keldysh BRST symmetry. This confirms that the dissipative and stochastic (noise) terms in the HTL action are consistent with unitarity and gauge invariance.

5. Open EFTs with Spontaneous Symmetry Breaking (SSB)

The paper constructs the general form of an Open EFT for gauge theories in a Higgs phase (where all gauge symmetries are broken). By utilizing the Stueckelberg mechanism to restore gauge redundancy in the unitary gauge, they derive the most general BRST-invariant action up to quadratic order in advanced fields, including noise kernels and equations of motion that satisfy causality and positivity constraints.

4. Significance

Rigorous Foundation for Non-Equilibrium Gauge Theory: This work fills a critical gap in the literature by providing a mathematically consistent path-integral formulation for non-Abelian gauge theories in non-equilibrium settings with generic initial states.
Constraints on Open EFTs: The identification of the Keldysh BRST symmetry provides a powerful new tool for constructing Open EFTs. It clarifies that simply imposing retarded gauge invariance is insufficient; the advanced fields must transform in a specific way to preserve the underlying BRST structure. This prevents the inclusion of unphysical operators in effective actions for plasmas, cosmology, and heavy-ion collisions.
Handling of Ghosts and Boundaries: The detailed treatment of the ghost sector and boundary terms via the Hata-Kugo prescription and Nakanishi-Lautrup representation resolves ambiguities regarding thermal ghosts and finite-time evolution, which are often glossed over in phenomenological treatments.
Gribov Ambiguity: The authors acknowledge the non-perturbative Gribov ambiguity but argue that for the relationship between closed and open systems, the standard BRST framework (potentially with modified gauge-fixing terms) remains the appropriate organizing principle, with the diagonal BRST symmetry being the robust feature.

In summary, the paper establishes that the diagonal BRST symmetry is the fundamental organizing principle for open gauge systems, replacing the naive expectation of doubled symmetries, and provides the technical machinery to construct consistent, unitary Open EFTs for a wide range of physical scenarios.