Abstract:These TASI lectures where given in 2018 and provide an introduction to the Strong CP problem and the axion. I start by introducing the Strong CP problem from both a classical and a quantum mechanical perspective, calculating the neutron eDM and discussing the $\theta$ vacua. Next, I review the various solutions and discuss the active areas of axion model building. Finally, I summarize various experiments proposed to look for these solutions.
What problem does this paper attempt to address?
### The problems the paper attempts to solve
This paper attempts to solve the Strong CP Problem, which is a very important issue in the standard model. Specifically, the Strong CP Problem is about why the electric dipole moment (eDM) of the neutron is so small. Theoretically, if the θ parameter in the strong interaction is not zero, then the neutron should have a large electric dipole moment. However, experimental measurements show that the electric dipole moment of the neutron is very small, which leads to the emergence of the Strong CP Problem.
### Background and problem description
1. **The Strong CP Problem at the classical level**:
- From a classical perspective, a neutron can be regarded as composed of an up - quark with a charge of 2/3 and two down - quarks with a charge of - 1/3.
- If a student tries to calculate the electric dipole moment of the neutron using the classical formula \(\vec{d}=\sum q\vec{r}\), an expected value of \(|d_{n}|\approx10^{- 13}e\text{cm}\) will be obtained.
- However, experimental measurements show that the electric dipole moment of the neutron is very small, that is, \(|d_{n}|\leq10^{-26}e\text{cm}\).
2. **The Strong CP Problem at the quantum level**:
- In quantum field theory, the Lagrangian of the strong interaction contains a \(\theta\) - term, in the form of \(\theta\frac{g_{s}^{2}}{32\pi^{2}}G\tilde{G}\).
- This \(\theta\) - term will lead to the electric dipole moment of the neutron, but the experimentally observed electric dipole moment is far smaller than the theoretical expectation, so it is necessary to explain why \(\theta\) is very small.
### Solutions
1. **Solutions at the classical level**:
- **Parity Symmetry**: If parity is symmetric, that is, space inversion \(P:\vec{x}\to-\vec{x}\), then the electric dipole moment of the neutron must be zero. However, the weak interaction has already broken parity symmetry.
- **Time Reversal Symmetry**: Time reversal \(T:t\to - t\) will also require the electric dipole moment of the neutron to be zero. However, CP symmetry (i.e., CT symmetry) is also broken by the weak interaction.
- **Axion Solution**: Assume that \(\theta\) is a dynamic variable, which can be adjusted to the minimum energy state, so that the electric dipole moment is zero. This dynamic variable is called an axion.
2. **Solutions at the quantum level**:
- **Instantons and vacuum structure**: Instantons are field configurations with finite energy, and their behavior at infinity determines the physical meaning of \(\theta\). By studying instantons, one can understand why \(\theta\) must be very small.
- **Axion model**: The axion is a hypothetical particle, which can solve the Strong CP Problem by dynamically adjusting \(\theta\). The mass and coupling relationship of the axion can be described by different models.
### Experimental detection
The paper also discusses a variety of experimental methods to search for axions or their variants, including dark matter detection, astrophysical probes, halogen detectors, etc. Each experimental method has different parameter - space sensitivities, and these experimental results are helpful for further verifying or excluding the existence of axions.
### Summary
This paper aims to provide graduate students with the necessary background knowledge by introducing the Strong CP Problem and its solutions, so that they can carry out relevant research. The paper not only covers theoretical analysis at the classical and quantum levels, but also discusses experimental detection methods, providing readers with a comprehensive understanding.