Arbitrary gauge quantisation of light-matter theories with time-dependent constraints

This paper establishes a general framework for quantizing light-matter theories with time-dependent constraints, demonstrating that the irrotational gauge is uniquely suited for such scenarios while showing that the Coulomb gauge is not generally irrotational and thus lacks a special status in time-dependent interactions.

The Gist

The Big Picture: The "Map" Problem

Imagine you are trying to describe a journey from New York to London. You can use a map based on latitude and longitude (Gauge A), or you can use a map based on distance from the equator and the Prime Meridian (Gauge B).

In physics, when things are static (not moving or changing), both maps give you the exact same destination. It doesn't matter which one you use; the math works out perfectly, and the physics is the same. This is what physicists call "gauge invariance."

However, this paper tackles a specific problem: What happens when the journey itself is changing while you are driving? Imagine the road is shifting, the speed limit is fluctuating, or the destination is moving.

The authors (Adam Stokes and Ahsan Nazir) discovered that if you try to describe a changing (time-dependent) system by just "tweaking" your static map later on, you run into a disaster. Depending on which map (gauge) you started with, you end up with completely different, contradictory theories about how the journey should go.

The Core Concept: The "Irrotational" Gauge

The paper introduces a special kind of map called the Irrotational Gauge.

Think of it like this:

• The Naive Approach: You have a static map of a city. Then, you decide the traffic lights are changing color every second. You just scribble "changing lights" onto your static map.
  • Result: If you do this on the "Latitude/Longitude" map, you get one set of traffic rules. If you do it on the "Distance from Equator" map, you get a totally different set of rules. They don't match. One of them is wrong.
• The Correct Approach (Irrotational Gauge): Instead of starting with a static map and adding changes later, you build the map from the ground up knowing that the traffic lights are changing from the very first second.

The authors prove that there is usually only one specific way to set up your coordinates (one specific gauge) where the "Naive Approach" accidentally works. They call this the Irrotational Gauge.

The Big Surprise: For a long time, physicists thought the Coulomb Gauge (a very popular, standard map used in light-matter physics) was always this "correct" map. This paper proves that it is usually NOT. If you use the Coulomb gauge for a moving atom or a changing circuit, you are using the wrong map, and your predictions will be physically incorrect.

Real-World Examples from the Paper

The authors use two main examples to show why this matters:

1. The Superconducting Circuit (The Shifting Bridge)

Imagine a bridge made of two sections (Josephson junctions) with a river flowing underneath. The water level (magnetic flux) is rising and falling.

• The Mistake: If you assume the bridge is fixed and just say "the water level is changing," you might calculate the energy of the bridge incorrectly.
• The Fix: The "Irrotational Gauge" tells you that the correct way to measure the bridge's energy depends on the capacitance (how much electrical "storage" each section has).
  • If the left side stores more energy, the "correct" map focuses on the left side.
  • If the right side stores more, the "correct" map focuses on the right.
  • There is no single "standard" map that works for all bridges. You have to calculate the specific "Irrotational" map for your specific bridge.

2. The Moving Atom (The Dancing Dancer)

Imagine an atom (a tiny dancer) moving through a room filled with light (the audience).

• The Röntgen Current: As the atom moves, it creates a subtle "wind" or magnetic effect just by virtue of moving while being electrically charged. This is called the Röntgen current.
• The Mistake: Many standard theories (using the Coulomb gauge) ignore this wind because they assume the atom is just sitting still and the light is just getting brighter.
• The Consequence: If you ignore this wind, your theory violates a fundamental law of physics: Conservation of Charge. It's like saying a car is moving forward but the wheels aren't turning. The math breaks.
• The Fix: The "Irrotational Gauge" automatically includes this "wind" (Röntgen current) in the equations. It ensures that charge is conserved and the physics makes sense.

Why Should You Care?

This isn't just abstract math; it affects the future of technology.

1. Quantum Computers: We are building quantum computers using superconducting circuits. These circuits are constantly being tuned and changed (time-dependent). If engineers use the "wrong" gauge (like the standard Coulomb gauge) to design them, their models might predict the computer will work, but in reality, it might fail or be unstable.
2. Chemical Reactions: Scientists are trying to control chemical reactions using light. If the light is changing rapidly, the "wrong" gauge could lead to wrong predictions about how molecules react.
3. The "Right" Answer: The paper tells us that there is no "one size fits all" gauge. To get the right answer for a changing system, you must build your theory from the start with the changes in mind, or find the specific "Irrotational" gauge for that specific situation.

The Takeaway Metaphor

Imagine you are baking a cake.

• Static Theory: You have a recipe for a vanilla cake.
• Time-Dependent Problem: You want to make a cake where the oven temperature changes every minute.
• The Naive Mistake: You take the vanilla recipe and just write "change temp" in the margin. If you do this, the cake might burn or stay raw, because the recipe didn't account for how the temperature changes relative to the batter rising.
• The Paper's Solution: You need a Master Recipe that was designed specifically for a changing oven. This paper provides the framework to write that Master Recipe. It also warns us that the "Standard Vanilla Recipe" (Coulomb Gauge) is not the Master Recipe for changing ovens, even though everyone used to think it was.

In short: When things change, you can't just patch the old rules. You need a new rulebook, and this paper tells you how to write it so you don't break the laws of physics.

Technical Summary

1. Problem Statement

The paper addresses a fundamental issue in quantum optics and condensed matter physics: the quantization of light-matter systems subject to explicit time-dependent external controls (e.g., time-varying magnetic fluxes in superconducting circuits or moving atoms in cavities).

• The Core Conflict: When time dependence is introduced phenomenologically at the Hamiltonian level (e.g., by simply replacing a constant parameter with a function of time, $t$), different gauge choices (e.g., Coulomb gauge vs. Dipole/Multipolar gauge) generally yield non-equivalent canonical theories.
• The Ambiguity: Previous literature has debated which gauge is "correct" for time-dependent interactions. Some authors argued that the Coulomb gauge is uniquely valid, while others suggested the Dipole gauge. The authors argue that this ambiguity arises because time dependence was not treated consistently from the fundamental Lagrangian level.
• The Gap: There is a lack of a unified framework to determine which gauge, if any, allows for a "naive" introduction of time dependence (at the Hamiltonian level) to yield a physically correct result without additional correction terms.

2. Methodology

The authors develop a general theoretical framework based on Lagrangian mechanics with time-dependent holonomic constraints.

• Constraint Formalism: They consider systems described by coordinates $\{x_n\}$ subject to $M$ time-dependent holonomic constraints $f_\mu^t(x_n) = 0$. These constraints allow the elimination of $M$ coordinates in favor of $N-M$ unconstrained generalized coordinates $\{q_i\}$.
• Two Approaches to Time Dependence:
  1. Fundamental Approach: Time dependence is introduced at the Lagrangian level via the constraints ($f_\mu^t$). The Lagrangian $L_g^t$ is constructed using these time-dependent functions, leading to a unique canonical Hamiltonian $H_g^t$.
  2. Naive Approach: Time dependence is introduced later at the Hamiltonian level by phenomenologically modulating parameters in a time-independent Hamiltonian $H_g(t)$.
• Gauge Transformation Analysis: The authors analyze the relationship between different gauges (labeled by a parameter $g$). They demonstrate that while different gauges are unitarily equivalent for time-independent systems, the naive time-dependent Hamiltonians $H_g(t)$ in different gauges are not unitarily equivalent to the fundamental Hamiltonian $H_g^t$ unless specific conditions are met.
• Definition of the Irrotational Gauge: They define the irrotational gauge as the specific gauge choice where the naive Hamiltonian $H_g(t)$ coincides with the fundamental Hamiltonian $H_g^t$. In this gauge, no additional correction terms arising from the time evolution of the gauge transformation are required.

3. Key Contributions

A. General Framework for Time-Dependent Constraints

The paper establishes that a unique, physically correct canonical theory is obtained only if time dependence is present within the constraints from the outset of the Lagrangian description. If time dependence is added later at the Hamiltonian level, the resulting theory depends on the gauge choice, and most gauges will be "incorrect" (missing essential interaction terms).

B. The Irrotational Gauge

The authors formalize the concept of the irrotational gauge.

• If a gauge $g$ is irrotational, then $H_g^t = H_g(t)$.
• If a gauge is not irrotational, the correct Hamiltonian is related to the naive one by a unitary transformation involving an extra term: $H_g^t = U H_g(t) U^\dagger + i \dot{U} U^\dagger$.
• Crucially, the existence of an irrotational gauge is not guaranteed for all physical scenarios; it depends on the specific microscopic context and constraints.

C. Refutation of Coulomb Gauge Supremacy

A major contribution is the rigorous demonstration that the Coulomb gauge is not generally irrotational for time-dependent light-matter interactions. The assumption that the Coulomb gauge is universally preferred for time-dependent modulation is shown to be physically unjustified and often leads to missing physical terms (specifically the Röntgen current).

4. Results and Applications

The framework is applied to two distinct physical systems:

Case 1: Superconducting Circuit with Variable External Flux

• System: A circuit with Josephson junctions threaded by a time-dependent external flux $\phi(t)$.
• Finding: The authors derive the condition for the irrotational gauge. The irrotational parameter $\alpha_{irr}$ depends on the ratio of the junction capacitances ($C_0, C_1$).
  $$\alpha_{irr} = \frac{C_1}{C_0 + C_1}$$
• Implication: The standard "right-arm" ($\alpha=0$) or "left-arm" ($\alpha=1$) gauges are only irrotational if one capacitance dominates the other. In general, the naive Hamiltonian in the standard gauges is incorrect.

Case 2: Moving Atom (Light-Matter Interaction)

• System: A neutral atom (two charges) moving with a time-dependent center-of-mass trajectory $R(t)$.
• Finding: The authors analyze the $\alpha$-gauge family (interpolating between Coulomb $\alpha=0$ and Multipolar/Dipole $\alpha=1$).
• The Röntgen Current: They identify that the correct Hamiltonian must include a term arising from the Röntgen current (associated with the motion of the polarized atom).
  • In the Coulomb gauge ($\alpha=0$), the naive Hamiltonian misses the Röntgen interaction term.
  • The Dipole gauge ($\alpha=1$) is often irrotational for specific configurations (e.g., a dipole moving perpendicular to a cavity mode), but this is not universal.
• Conclusion: The Coulomb gauge is generally not irrotational because the constraint defining the gauge (transversality) does not account for the time-dependence of the atom's position $R(t)$ in the same way the fundamental constraints do.

Case 3: Natural Lineshape (Spontaneous Emission)

• The paper revisits the spectrum of spontaneous emission. It shows that the spectral lineshape $S_\alpha(\omega)$ is gauge-dependent.
• If one assumes a sudden switch-on of interaction ($\mu(t) = \theta(t)$), the resulting spectrum depends on the gauge.
• The authors argue that specifying a single "correct" gauge for modulation is unsustainable. The "correct" gauge is the one that is irrotational for the specific experimental setup (e.g., how the atom is prepared and measured).

5. Significance and Implications

• Resolution of Controversy: The paper resolves long-standing debates in the literature (e.g., between the "Coulomb gauge is fundamental" camp and the "Dipole gauge is fundamental" camp) by showing that neither is universally fundamental. The validity of a gauge depends entirely on the specific time-dependent constraints of the system.
• Experimental Relevance: For next-generation quantum technologies (superconducting qubits, cavity QED, metamaterials), where external controls are time-dependent, using a "naive" Hamiltonian in the wrong gauge leads to incorrect predictions of dynamics, energy levels, and transition rates.
• Methodological Shift: The authors advocate for a first-principles approach: always start with the time-dependent constraints in the Lagrangian to derive the correct Hamiltonian. If a "naive" approach is desired, one must first determine if an irrotational gauge exists for that specific system.
• Physical Consistency: The work highlights that omitting terms like the Röntgen current (which happens when using the naive Coulomb gauge for moving atoms) violates local charge conservation and leads to fundamentally inconsistent theories.

In summary, Stokes and Nazir provide a rigorous mathematical framework proving that gauge invariance in time-dependent systems is subtle: while the physics is gauge-invariant, the form of the Hamiltonian and the validity of naive approximations are gauge-dependent. The "correct" theory is unique only when derived from the constraints, and the "irrotational gauge" is the specific (and often context-dependent) gauge where naive time-dependence works.