Schwinger-Keldysh effective theory of charge transport: redundancies and systematic $\omega/T$ expansion

This paper establishes the complete equivalence between two Schwinger-Keldysh effective field theory approaches for non-Abelian charge transport near thermal equilibrium, extends both formalisms to satisfy dynamical Kubo-Martin-Schwinger symmetry to all orders in $\hbar \omega/T$, and provides a systematic framework for analyzing transport and fluctuations through clarified power-counting rules.

The Gist

Imagine you are trying to predict how a crowd of people moves through a busy train station. If the crowd is perfectly still, it's easy to describe. But if the crowd is hot, chaotic, and constantly bumping into each other, describing their movement becomes a nightmare. In physics, this "hot, chaotic crowd" is a system near thermal equilibrium (like a hot gas or a liquid).

This paper is a guidebook for physicists on how to write the "rules of motion" (mathematical equations) for these chaotic systems, specifically when they carry a special kind of "charge" (like electric charge, but more complex).

Here is the breakdown of what the authors did, using simple analogies:

1. The Problem: Two Ways to Describe the Same Chaos

The authors are studying a specific type of math called Effective Field Theory (EFT). Think of EFT as a "zoomed-out" map. You don't need to track every single atom; you just need to know how the crowd flows as a whole.

However, because the system is "hot" (thermal), the math gets tricky. To handle this, physicists use a special method called the Schwinger-Keldysh formalism.

• The Analogy: Imagine you are filming a movie of the crowd. To understand how the crowd reacts to a sudden push, you need to know not just what happens forward in time, but also what would happen if you played the movie backward.
• The Trick: This method forces you to double your cast of characters. You have a "forward" version of every particle and a "backward" version. It's like having a twin for every person in the crowd.

The paper tackles a specific puzzle: There are two different ways physicists have been using to write the rules for these "twinned" crowds.

1. The "Redundant" Way: You introduce extra, fake variables (like adding a "ghost" twin) to make the math work. It's like using a crutch to walk; it helps, but it feels a bit clunky and confusing.
2. The "Matter Field" Way: You replace the ghost twin with a real, tangible object (a "matter field") that behaves like a normal particle. This feels more natural, like walking without a crutch.

2. The Big Discovery: They Are Actually the Same

The authors' first major achievement is proving that these two methods are completely identical.

• The Analogy: Imagine two people giving you directions to a hidden treasure. One says, "Walk 10 steps North, then turn left," while the other says, "Walk 10 steps North, then turn right." Usually, you'd think they are different. But these authors built a dictionary (a translation guide) showing that "Left" in the first language is exactly the same as "Right" in the second language.
• The Result: They proved mathematically that no matter which method you use, you get the exact same answer. They showed how to translate any equation from the "Redundant" style to the "Matter Field" style and back again. This means physicists can choose the method that feels easiest for them without worrying about getting the wrong answer.

3. The "Golden Rule" of Hot Systems (DKMS Symmetry)

When systems are hot, they obey a very strict rule called the KMS condition (Kubo-Martin-Schwinger).

• The Analogy: Think of a hot cup of coffee. If you look at it, the steam rises. If you could magically reverse time, the steam would go back down. The KMS condition is a mathematical "law of physics" that ensures your equations respect this time-reversal symmetry in a hot environment.
• The Innovation: Previous versions of these rules only worked for "slow" movements (low energy). The authors extended these rules to work for any speed, even very fast, quantum jitters. They classified every possible "kernel" (the mathematical engine that drives the equations) that respects this rule.
• Why it matters: It's like upgrading a car engine. Before, the engine only worked well on flat roads (slow speeds). Now, they have built an engine that works on flat roads, steep hills, and even in the air (all energy scales).

4. The "Redundancy" Mystery Solved

The "Redundant" method mentioned earlier uses a "local redundancy."

• The Analogy: Imagine you are describing a dance. You could say, "Dancer A moves left, Dancer B moves right." Or, you could say, "Dancer A moves left, Dancer B moves right, and also, imagine a third invisible dancer moving in a circle that doesn't actually change the outcome." That third invisible dancer is the "redundancy."
• The Insight: The authors showed that this "invisible dancer" is actually a mathematical trick to make the equations look simpler. However, they proved that you don't need this trick. You can describe the exact same dance using only the real dancers (the "Matter Field" approach).
• The Surprise: In the "Redundant" view, there is a hidden symmetry that looks like an infinite number of conservation laws. The authors showed that in the "Matter Field" view, this isn't magic; it's just the normal conservation of charge, but viewed from a different angle.

Summary

In plain English, this paper is a unification manual.

1. It takes two confusing, different ways of writing the rules for hot, moving charges.
2. It proves they are the same thing, just written in different languages.
3. It provides a dictionary to translate between them.
4. It upgrades the rules so they work for any speed, not just slow ones.
5. It explains that the "extra variables" some people use are just a crutch—you can walk just fine without them if you use the "Matter Field" approach.

The authors haven't invented a new machine or a new drug; they have simply cleaned up the instruction manual for how to describe how heat and charge move in the quantum world, making it clearer and more powerful for future scientists.

Technical Summary

Technical Summary: Schwinger-Keldysh Effective Theory of Charge Transport: Redundancies and Systematic $\hbar\omega/T$ Expansion

Problem Statement
The paper addresses the construction of Effective Field Theories (EFTs) for systems with non-Abelian internal symmetries near thermal equilibrium. While hydrodynamics provides a universal description of long-distance, long-time dynamics governed by conserved currents, a systematic EFT framework that incorporates quantum statistical effects and fluctuations to arbitrary orders in the expansion parameter $\hbar\omega/T$ has remained challenging. Specifically, the authors aim to resolve two distinct approaches found in the literature for describing charge transport: one utilizing a redundant Goldstone parameterization and another employing an adjoint matter field. The central problem involves demonstrating the equivalence of these formalisms and extending them to satisfy the Dynamical Kubo-Martin-Schwinger (DKMS) symmetry to all orders in $\hbar\omega/T$, while respecting unitarity constraints.

Methodology
The authors employ the Schwinger-Keldysh (in-in) formalism, which requires doubling degrees of freedom (labeled 1 and 2, or $r$ and $a$) to describe non-equilibrium dynamics. The analysis proceeds through the following steps:

1. Symmetry Analysis: The paper analyzes the symmetry breaking pattern $G_1 \times G_2 \to H_r$ in a thermal state, where $H_r$ is the diagonal subgroup. This pattern, termed "strong-to-weak" symmetry breaking, implies that while the diagonal $r$-transformations may remain unbroken, the "quantum" $a$-transformations are spontaneously broken, necessitating Goldstone modes $\phi_a$.
2. Redundant Goldstone Approach (Sections 3-4): The authors review a formalism where the coset is parametrized by introducing redundant fields $\phi_r$ alongside $\phi_a$. This approach relies on a local, time-independent right-action redundancy ($GR$ fibers) to ensure compatibility with DKMS symmetry. They construct the Maurer-Cartan form and derive covariant building blocks ($\tilde{D}_\mu \phi_r, \tilde{D}_\mu \phi_a, \tilde{\nabla}_i$, etc.).
3. Kernel Classification: By working in frequency space, the authors classify all possible invariant kernels for the effective action. They solve the constraints imposed by unitarity (reality conditions) and DKMS symmetry to all orders in $\hbar\omega/T$. This involves decomposing kernels into real and imaginary parts and expressing them as linear combinations of tensors involving Bose and Fermi distribution functions.
4. Matter Field Approach (Section 5): The authors review an alternative approach where the redundant $\phi_r$ is replaced by a matter field $\rho_r$ transforming in the adjoint representation of the unbroken group $H_r$. They derive a precise "dictionary" mapping the covariant building blocks of the redundant approach to those of the matter field approach.
5. Equivalence Proof: The paper explicitly performs the change of variables in the path integral from the redundant set $(\phi_r, \phi_a)$ to $(\rho_r, \phi_a)$, demonstrating that the measures and saddle points are equivalent. They further derive the DKMS transformation rules for the matter field $\rho_r$ to all orders in $\hbar\omega/T$.

Key Contributions and Results

• All-Order DKMS Symmetry: The primary technical result is the extension of both the redundant Goldstone and matter field formalisms to be compatible with DKMS symmetry to all orders in $\hbar\omega/T$. Previous treatments were often limited to leading orders. The authors classify all invariant kernels satisfying unitarity and DKMS constraints, providing a systematic way to compute correlation functions at arbitrary orders.
• Equivalence of Formalisms: The paper provides an explicit dictionary (Table 1) and a proof of equivalence at the path integral level between the redundant Goldstone parameterization and the matter field approach. This resolves ambiguities regarding the necessity of the redundancy, showing that the matter field approach is a valid, non-redundant alternative that yields identical physical predictions.
• Power Counting Rules: The authors establish precise power-counting rules, clarifying the interplay between semiclassical and hydrodynamic expansions. They derive the scaling relation $\phi_a / \phi_r \sim \hbar\omega/T$, justifying the simultaneous expansion in time derivatives and $a$-fields in the low-frequency limit.
• Emergent Symmetry in the Non-Dissipative Limit: In the limit where dissipation is neglected (far from the diffusive pole), the authors show that the redundancy in the Goldstone approach implies an emergent, infinite-dimensional symmetry ($G_R^1 \times G_R^2$). This leads to an infinite number of conserved quantities, analogous to "fractonic" symmetries or the "chemical shift" symmetry in charged fluids. In the matter field approach, this manifests as the trivial conservation of non-Abelian charge at each spatial point.

Significance
The paper claims to provide a robust framework for studying non-Abelian charge transport and fluctuations to arbitrary orders in $\hbar\omega/T$. By proving the equivalence of the two major approaches in the literature, it clarifies the role of redundancy in hydrodynamic EFTs, suggesting that while the redundant approach is technically simpler for defining KMS transformations, the matter field approach offers a conceptually cleaner description rooted in standard EFT logic. The systematic classification of invariant kernels enables the calculation of transport coefficients and correlation functions beyond the leading order, addressing a gap in the systematic out-of-equilibrium description of thermal states. The work lays the groundwork for future extensions to full relativistic hydrodynamics, including energy-momentum transport.