Strong CP problem, theta term and QCD topological properties

This chapter introduces the $\theta$-dependence and topological properties of QCD that lead to the strong CP problem, while discussing analytical approaches for studying these features and comparing their predictions with lattice simulation results.

The Gist

The Big Picture: The Universe's "Hidden Switch"

Imagine the universe is a giant, complex machine built by physicists. One of its most important gears is QCD (Quantum Chromodynamics), the force that glues the tiny particles inside atoms (quarks and gluons) together.

For decades, physicists have noticed a strange glitch in this machine. There is a theoretical "switch" in the laws of physics, called the $\theta$-term (theta-term).

• What it does: If you flip this switch, it changes how matter behaves. Specifically, it would make the strong force violate a fundamental rule called CP symmetry.
• What is CP symmetry? Think of it like a mirror. If you look at a particle in a mirror (Parity, P) and swap it with its antimatter twin (Charge Conjugation, C), the laws of physics should look exactly the same.
• The Glitch: If the $\theta$-switch is turned on (even just a tiny bit), the strong force would not look the same in the mirror. It would create a tiny electric imbalance in particles like the neutron.

The Problem: We have looked for this imbalance with incredibly sensitive experiments, and we found nothing. The universe seems to have the switch turned off perfectly.

• The Mystery: Why is the switch off? The laws of physics say it could be anywhere. It's like finding a radio dial set to a specific station with a precision of one in a trillion, when the dial could be anywhere. This is the Strong CP Problem.

The Hero: The Axion

To fix this mystery, physicists proposed a solution: a new, invisible particle called the Axion.

• The Analogy: Imagine the $\theta$-switch is a heavy door that won't stay closed. The Axion is like a spring attached to the door. No matter how you push the door open, the spring pulls it back to the "closed" position (zero).
• The Result: The Axion dynamically forces the universe to set $\theta = 0$, solving the mystery.
• Why we care: The Axion is also a leading candidate for Dark Matter (the invisible stuff holding galaxies together). To find it, we need to know exactly how "heavy" it is and how it interacts. This depends entirely on understanding the $\theta$-term.

The Challenge: The "Sign Problem"

To study this, scientists use Lattice QCD. Imagine trying to simulate the universe on a computer. You break space and time into a grid (a lattice) and try to calculate the behavior of all the particles.

• The Obstacle: When the $\theta$-term is turned on, the math becomes "imaginary" (in the mathematical sense). It's like trying to calculate the probability of an event, but the numbers turn into complex numbers that cancel each other out.
• The Result: The computer simulation crashes or gives random noise. This is called the Sign Problem. It's like trying to weigh a ghost; the scale just doesn't work.

The Solution: Looking at the "Shape" of Space

Since we can't simulate the switch directly, the authors of this paper explain how scientists use clever workarounds to understand the $\theta$-term. They look at the Topological Charge ($Q$).

• The Analogy: Imagine the vacuum of space is a giant, stretchy rubber sheet.
  • Smooth sheet: Normal space.
  • Twisted sheet: Sometimes, the sheet gets knotted or twisted. These knots are "topological charges."
  • The $\theta$-term: This term counts how many times the sheet is twisted.
• The Strategy: Instead of simulating the twist directly, scientists simulate the universe without the twist ($\theta=0$) and count how many knots naturally appear. Then, they use math to guess what would happen if they did turn the switch on.

Two Different Worlds: Cold vs. Hot

The paper explores how these "knots" behave at different temperatures.

1. The Cold World (Low Temperature)

• The Scene: This is our everyday universe. The knots are tightly packed and interact heavily.
• The Theory: In the cold, the knots are so complex that they don't act like simple particles. They form a dense, interacting soup.
• The Discovery: Scientists found that the "knots" in the cold universe are actually related to the mass of a specific particle called the $\eta'$ meson. It's like finding that the weight of a specific car tire is determined by how tangled the road is. This confirms a famous theory called the Witten-Veneziano mechanism.

2. The Hot World (High Temperature)

• The Scene: Imagine heating the universe to billions of degrees (like just after the Big Bang). The rubber sheet melts.
• The Theory: At high heat, the knots untangle and float apart. They stop interacting and act like a Dilute Gas (like individual balloons floating in a room).
• The Discovery: When the universe is hot enough, the math becomes simple again. The "knots" behave exactly like the Dilute Instanton Gas Approximation (DIGA) predicts. They are independent, non-interacting particles.
• Why it matters: This is crucial for the Axion. The mass of the Axion depends on how these knots behave at high temperatures. If the knots act like a gas, the Axion is lighter; if they act like a soup, it's heavier.

The Computer Simulation Struggle

The paper details the massive effort required to get these numbers right using supercomputers.

• Topological Freezing: As computers get better and try to simulate the universe with higher precision (smaller grid steps), the "knots" get stuck. The computer gets trapped in one configuration and can't explore the others. It's like a hiker getting stuck in a deep valley and unable to climb out to see the rest of the mountain range.
• The Fix: Scientists are developing new algorithms (like "cooling" the simulation or using special mathematical tricks) to help the computer jump over these barriers and count the knots correctly.

The Bottom Line

This paper is a roadmap for understanding a fundamental mystery of the universe: Why is the strong force so perfectly symmetrical?

1. The Mystery: The $\theta$-switch should be on, but it's off.
2. The Fix: The Axion particle likely forces it off.
3. The Tool: To find the Axion, we need to know how the "knots" in space (topology) behave.
4. The Progress: We now know that in the cold universe, these knots are complex and linked to particle masses. In the hot early universe, they behave like a simple gas.
5. The Future: We are building better supercomputers to measure these effects precisely, which will tell us exactly how heavy the Axion is and where to look for it in the sky.

In short: We are using the most powerful computers on Earth to count the invisible knots in the fabric of space, hoping to find the key to Dark Matter and solve one of physics' greatest riddles.

Technical Summary

1. Problem Statement

The paper addresses two interconnected fundamental issues in Quantum Chromodynamics (QCD) and the Standard Model:

• The Strong CP Problem: The QCD Lagrangian naturally allows for a CP-violating term, the $\theta$-term ($\theta \frac{g^2}{32\pi^2} F_{\mu\nu}^a \tilde{F}^{a\mu\nu}$), arising from the non-trivial topology of the gauge field configuration space. Experimental limits on the neutron electric dipole moment constrain the physical parameter $|\theta_{\text{phys}}| \lesssim 10^{-10}$. The problem is explaining why this parameter is so small, given that the Standard Model's electroweak sector does not provide a symmetry to set it to zero.
• $\theta$-Dependence and Topology: Understanding how physical observables (specifically the vacuum energy density) depend on $\theta$ is crucial not only for solving the Strong CP problem but also for characterizing the topological structure of QCD, the $\eta'$ meson mass, and the properties of the axion (a proposed solution to the Strong CP problem and a dark matter candidate).

2. Methodology

The authors employ a multi-faceted approach, combining analytical theoretical frameworks with non-perturbative numerical simulations:

• Canonical Quantization & Path Integrals: The paper introduces $\theta$-dependence not merely through semiclassical instanton arguments but via a canonical approach based on the topology of the gauge group (large gauge transformations). This establishes $\theta$ as a physical parameter arising from boundary conditions in the Hilbert space, independent of semiclassical approximations.
• Analytical Approximations:
  • Dilute Instanton Gas Approximation (DIGA): A semiclassical model assuming a non-interacting gas of instantons and anti-instantons. It predicts specific functional forms for the free energy $F(T, \theta)$.
  • Large-$N$ Expansion ('t Hooft limit): Analyzing QCD as $N_c \to \infty$ with fixed 't Hooft coupling. This framework connects the topological susceptibility to the $\eta'$ mass (Witten-Veneziano mechanism) and predicts specific scaling behaviors for $\theta$-dependence.
  • Chiral Perturbation Theory ($\chi$PT): Used for the low-temperature regime with light quarks to relate $\theta$-dependence to quark masses and chiral condensates.
• Lattice QCD Simulations: The primary tool for non-perturbative verification. The authors discuss:
  • Discretization: Handling the topological charge $Q$ on the lattice using geometric definitions, fermionic definitions (via the index theorem), and smoothing techniques (cooling, gradient flow) to remove UV fluctuations.
  • The Sign Problem: Addressing the difficulty of simulating real $\theta$ values due to the complex action. The paper highlights the use of imaginary $\theta$ or source terms to extract coefficients of the Taylor expansion of the free energy at $\theta=0$.
  • Topological Freezing: Discussing the algorithmic challenge where Monte Carlo simulations get stuck in a single topological sector as the continuum limit is approached.

3. Key Contributions and Theoretical Framework

A. Origin of $\theta$-dependence

The authors clarify that $\theta$-dependence arises from the non-trivial homotopy group $\pi_3(SU(N)) = \mathbb{Z}$. By diagonalizing the unitary operator implementing large gauge transformations, one introduces the parameter $\theta$. In the path integral, this manifests as a weight $e^{i\theta Q}$, where $Q$ is the topological charge.

B. The Strong CP Problem and Axions

The physical $\theta$ angle is defined as $\theta_{\text{phys}} = \theta - \arg(\det M)$, where $M$ is the quark mass matrix. Since the electroweak sector violates CP, $\theta_{\text{phys}}$ cannot be set to zero by symmetry. The Peccei-Quinn (PQ) mechanism promotes $\theta$ to a dynamical field (the axion $a$), where the effective angle is $\theta_{\text{eff}} = \theta + a/f_a$. The vacuum energy minimizes at $\theta_{\text{eff}} = 0$, dynamically solving the problem. The axion mass is directly related to the topological susceptibility: $m_a^2 = \chi / f_a^2$.

C. Analytical Predictions for $F(T, \theta)$

The free energy density is expanded as:
$$F(T, \theta) = \frac{1}{2}\chi \theta^2 \left(1 + \sum_{n=1}^{\infty} b_{2n} \theta^{2n}\right)$$

• DIGA Prediction: Predicts $F(T, \theta) \propto (1 - \cos \theta)$, implying specific values for coefficients (e.g., $b_2 = -1/12$). This is expected to hold at high temperatures where instantons are dilute.
• Large-$N$ Prediction: Predicts that the relevant variable is $\bar{\theta} = \theta/N$. The free energy scales as $N^2 \bar{F}(\theta/N)$. This implies $b_{2n} \sim 1/N^{2n}$. It also suggests a multi-branched structure with cusps at $\theta = \pi$, indicating spontaneous CP breaking at $\theta=\pi$ in the large-$N$ limit.
• Chiral Limit ($\chi$PT): For $N_f$ light quarks, $\chi \propto m_q$ (vanishing as quark mass goes to zero). The coefficient $b_2$ depends on the quark mass ratios.

4. Results from Lattice Simulations

Low Temperature ($T < T_c$)

• Topological Susceptibility ($\chi$): Lattice results confirm the Witten-Veneziano relation, showing a finite $\chi$ in the pure gauge limit ($N \to \infty$) and a linear dependence on quark mass in full QCD, consistent with $\chi$PT.
• Coefficients ($b_2$): For $N=3$, $b_2 \approx -0.29$ (physical masses) or $-0.22$ (degenerate masses). This deviates significantly from the DIGA prediction ($-0.083$) and aligns better with Large-$N$ scaling ($b_2 \propto 1/N^2$).
• Interpretation: The deviation from DIGA suggests that at low $T$, topological objects are not dilute instantons but rather delocalized structures (potentially "instanton-quarks" with fractional charge $1/N$).

High Temperature ($T > T_c$)

• Phase Transition: A sharp change in $\theta$-dependence occurs at the deconfinement transition ($T_c$).
• Susceptibility: $\chi(T)$ drops rapidly above $T_c$. In the large-$N$ limit, $\chi$ vanishes for $T > T_c$, consistent with the DIGA prediction.
• Coefficients: Lattice data shows that $b_2$ approaches the DIGA value ($-1/12$) as $T$ increases above $T_c$, and this convergence is faster for larger $N$.
• Axion Cosmology: The behavior of $\chi(T)$ at high $T$ (specifically between 150 MeV and 10 GeV) is critical for calculating the axion relic abundance. Lattice results are converging on the 1-loop DIGA prediction for the power-law decay of $\chi(T)$, though quantitative discrepancies remain between different groups.

5. Significance and Future Outlook

• Validation of Non-Perturbative Physics: The paper confirms that analytical Large-$N$ and $\chi$PT predictions are robust in the low-temperature regime, while the DIGA model becomes valid only at high temperatures.
• Axion Physics: Precise determination of $\chi(T)$ at high temperatures is the bottleneck for predicting the axion mass and dark matter abundance. The paper highlights that current lattice results are improving but still suffer from systematic errors (discretization, topological freezing).
• Open Challenges:
  • Sign Problem: Direct simulation at real $\theta$ is impossible; reliance on imaginary $\theta$ and analytic continuation limits the range of validity.
  • Continuum Extrapolation: Achieving the continuum limit with physical quark masses is computationally expensive and hindered by topological freezing.
  • High-$T$ Consensus: While the qualitative picture (DIGA validity at high $T$) is established, quantitative consensus on $\chi(T)$ values at $T \sim$ few GeV is still needed to constrain axion models tightly.

In summary, the paper provides a comprehensive bridge between the theoretical formulation of the Strong CP problem, the topological structure of QCD, and the latest numerical evidence from Lattice QCD, emphasizing the critical role of these studies in the search for the axion.