A particle on a ring or: how I learned to stop worrying and love $\theta$-vacua

This paper refutes a recent proposal that the strong CP problem can be avoided by a specific order of limits in the path integral, demonstrating through exactly solvable quantum mechanical models on a ring that this procedure fails to reproduce the correct physical energy spectrum.

The Gist

The Big Picture: A Debate About "Infinite" Time

Imagine you are trying to predict the weather. You have a computer model that simulates the atmosphere. To get the most accurate forecast, you need to run the simulation for a very long time (infinite time) and consider every possible storm pattern that could ever happen (all topological sectors).

Recently, a group of scientists (let's call them ACGT) proposed a shortcut. They argued that if you run the simulation for an infinite amount of time first, and then look at the different storm patterns, you would find that the "twist" in the weather (a parameter called $\theta$) disappears completely. They claimed this means a famous physics problem called the "Strong CP Problem" (which asks why the universe doesn't behave differently if you swap matter for antimatter) might not actually be a problem at all.

This paper says: "Wait a minute. That shortcut breaks the math."

The authors, Mohammad Aghaie and Ryosuke Sato, decided to test ACGT's shortcut using two simple, perfectly solvable toy models: a Quantum Rotor (a particle spinning on a ring) and a Quantum Pendulum (a particle swinging on a ring with gravity). Because these models are simple, the authors know the "correct" answer exactly. They used these models to see if ACGT's shortcut produces the right result.

The Two Toy Models

1. The Quantum Rotor (The Spinning Skater)

Imagine a skater spinning on a perfectly smooth, frictionless ring.

• The Twist ($\theta$): Imagine there is a tiny, invisible magnetic field in the center of the ring. Even though the skater never touches it, this field changes the skater's energy slightly depending on how fast they spin. This is the "twist."
• The Correct Way: To calculate the skater's energy, you must add up the contributions from the skater spinning clockwise 1 time, 2 times, 3 times... all the way to infinity, and counter-clockwise as well. This "sum over all paths" is essential.
• The ACGT Shortcut: ACGT suggests you should first pretend time goes on forever, and then look at the spinning.
• The Result: The authors found that if you use the ACGT shortcut, the invisible magnetic field seems to vanish. The skater's energy becomes independent of the twist. But we know from basic physics that the twist does matter. The shortcut gave the wrong answer.

2. The Quantum Pendulum (The Swinging Monkey)

Now, imagine a monkey swinging on a ring, but this time there is gravity. The monkey likes to sit at the bottom of the swing (the lowest energy spot).

• The Twist ($\theta$): The ring has many "bottoms" (every 360 degrees). The monkey can tunnel (teleport) through the walls to get to the next bottom. The "twist" changes how easily the monkey can tunnel between these spots.
• The Correct Way: You must count every possible way the monkey can tunnel: 1 jump, 2 jumps, 100 jumps, etc. When you add them all up, the monkey's energy depends on the twist.
• The ACGT Shortcut: Again, ACGT says: "Let time go to infinity first, then count the jumps."
• The Result: Using this order, the math breaks down. The energy calculation gets messy (it involves a logarithm that never settles down), and the "twist" disappears. The monkey seems to forget it can tunnel. This is physically impossible.

The Core Conflict: Order Matters

The paper's main lesson is about the Order of Operations.

Think of it like baking a cake:

1. The Correct Order: Mix all the ingredients (sum over all topological sectors) first, then bake the cake (take the infinite time limit). This gives you a delicious, correct cake (the right energy spectrum).
2. The ACGT Order: Bake the cake for an infinite amount of time first, and then try to mix in the ingredients. You end up with a burnt, inedible mess that doesn't taste like a cake at all.

The authors show that in quantum mechanics, you cannot swap these steps. If you take the "infinite time" limit before you have summed up all the possible ways the particle can move (all the "winding numbers" or "topological sectors"), you lose the physics that makes the system work.

Why This Matters for the Real World

The "Strong CP Problem" is a big mystery in particle physics (QCD). It asks why the universe seems to ignore a specific type of symmetry breaking that should exist.

• ACGT's Claim: "We solved it! If you change the order of your math, the problem disappears."
• This Paper's Rebuttal: "You can't just change the order of math to make a problem go away. We tested your math on simple, perfect models, and it failed. It gave the wrong energy levels and the wrong physical predictions."

The Conclusion

The authors conclude that the ACGT proposal is mathematically inconsistent.

• The "twist" ($\theta$) is a real, physical thing that affects energy.
• To see this effect, you must sum over all possible "winding" paths (topological sectors) before you let time go to infinity.
• If you do it the other way around, you get nonsense results (like a vanishing topological susceptibility, which contradicts what we know about how the universe works).

In short: You can't cheat the math by changing the order of limits. The Strong CP problem remains a problem, and this specific shortcut proposed by ACGT does not solve it.

Technical Summary

Technical Summary: "A particle on a ring or: how I learned to stop worrying and love θ-vacua"

Problem Statement
The paper addresses a recent proposal by Ai, Cruz, Garbrecht, and Tamarit (ACGT) [1–3] regarding the strong CP problem in Quantum Chromodynamics (QCD). ACGT argued that the physical $\theta$-dependence of observables (and consequently the strong CP problem) is an artifact of an incorrect order of limits in the Euclidean path integral. Specifically, they proposed that if the infinite spacetime volume limit ($T \to \infty$ or $\beta \to \infty$) is taken before summing over all topological sectors (winding numbers), the $\theta$-dependence vanishes from physical observables, implying CP conservation without new physics. The authors of this paper aim to critically examine this proposal by testing it against exactly solvable quantum mechanical models where the correct physical results are known via canonical quantization.

Methodology
The authors utilize two fully controlled, exactly solvable one-dimensional quantum mechanical systems as toy models for QCD:

1. The Quantum Rotor: A free particle on a ring (no potential). This system allows for exact analytical solutions for the energy spectrum, propagator, and partition function via both canonical quantization and the Euclidean path integral.
2. The Quantum Pendulum: A particle on a ring subject to a periodic potential. This system mimics the semiclassical structure of gauge theories with instanton tunneling between distinct vacua.

For both systems, the authors perform calculations using two distinct methods:

• Canonical Quantization: Used as the unambiguous benchmark to establish the correct energy spectrum and topological susceptibility.
• Euclidean Path Integral: Used to explicitly implement the ACGT prescription. To test the order of limits, the authors introduce a technical device: a finite cutoff $\Delta$ on the winding number (or topological charge). This allows them to distinguish between two limiting procedures:
  • Standard Order: Sum over all topological sectors ($\Delta \to \infty$) first, then take the infinite-time limit ($\beta \to \infty$).
  • ACGT Order: Take the infinite-time limit ($\beta \to \infty$) at a fixed, finite $\Delta$, and only then let $\Delta \to \infty$.

The authors analyze the partition function, energy spectrum, propagator, and topological susceptibility under both prescriptions.

Key Contributions and Results

1. Failure of the ACGT Prescription in the Quantum Rotor:

   • Canonical Result: The ground state energy is $E_0(\theta) = \frac{1}{2I}(\frac{\theta}{2\pi})^2$, leading to a non-vanishing topological susceptibility $\chi = \frac{1}{4\pi^2 I}$.
   • ACGT Result: When the limit $\beta \to \infty$ is taken at fixed $\Delta$, the partition function is dominated by a prefactor scaling as $\beta^{-1/2}$ (analogous to volume factors discussed in [47]). The resulting ground state energy becomes independent of $\theta$, and the topological susceptibility vanishes identically ($\chi = 0$).
   • Analysis: The authors demonstrate that the non-zero susceptibility arises strictly from the sum over all winding sectors. Taking the infinite-time limit before summing suppresses the contribution of non-trivial winding configurations, leading to physically inconsistent results that contradict the exact canonical spectrum.

2. Failure in the Quantum Pendulum:

   • Canonical/Semiclassical Result: The ground state energy exhibits $\theta$-dependence via tunneling: $E_0(\theta) \approx \frac{1}{2}\omega - 2K e^{-S} \cos \theta$. The susceptibility is non-zero and controlled by the instanton amplitude.
   • ACGT Result: Applying the ACGT order of limits leads to a truncated partition function that effectively mixes different $\theta$ superselection sectors. The resulting expression contains a logarithmic dependence on $\beta$ ($\log \beta$) and loses the physical $\theta$-dependence, yielding a vanishing susceptibility.
   • Analysis: The procedure fails to reproduce the correct band structure and tunneling effects, instead averaging over distinct quantum theories labeled by $\theta$.

3. Clarification of Topological Susceptibility Definitions:

   • The authors address claims in [3] that a non-zero susceptibility can be derived within a fixed topological sector. They show that such derivations rely on an unjustified interchange of the $\beta \to \infty$ limit with temporal integrations.
   • They demonstrate that for any finite $\beta$, the fluctuation contribution to the susceptibility vanishes due to exact cancellations between local $\delta$-function terms and boundary terms. A non-zero result only emerges when the sum over all topological sectors is performed before the infinite-time limit.
   • They clarify that the calculation in [3] implicitly assumes a large-gauge-invariant ground state (which enforces a sum over sectors), making it inconsistent with the ACGT path-integral prescription that imposes gauge-variant boundary conditions at finite volume.

Significance and Claims
The paper concludes that the ACGT proposal is fundamentally flawed because the limits of infinite time and summation over topological sectors do not commute.

• Physical Inconsistency: The ACGT order of limits leads to a vanishing topological susceptibility and the disappearance of $\theta$-dependence, which contradicts exact results in solvable quantum mechanical systems and established phenomenology (such as the Witten-Veneziano relation for the $\eta'$ mass in QCD).
• Conceptual Origin: The authors argue that the ACGT prescription effectively averages over distinct, inequivalent quantum theories (different $\theta$-vacua) rather than defining a single quantum theory at a fixed $\theta$. In the infinite-volume limit, this average is dominated by the $\theta \approx 0$ sector, obscuring the physics of non-zero $\theta$.
• Scope of Claim: The authors modestly state that their work does not prove that CP is violated in QCD or that the strong CP problem is unsolvable; rather, it demonstrates that the specific mechanism proposed by ACGT to eliminate the strong CP problem via a particular order of limits is mathematically and physically invalid. The correct $\theta$-dependence is a genuine global effect arising from the unrestricted sum over topological sectors.

The paper reinforces the standard understanding that $\theta$-vacua must be constructed by summing over all topological sectors before taking the infinite-volume limit to obtain a consistent quantum theory.