Skip to content

Strong CP and the Axion Interface

The physical strong-CPCP parameter is not the coefficient θ\theta of the QCD topological term by itself, but the basis-invariant combination θˉ=θ+argdet(MuMd)\bar\theta=\theta+\arg\det(M_uM_d) modulo 2π2\pi. A QCD axion replaces this fixed angle by a dynamical field: the QCD vacuum energy then drives the effective angle to a CPCP-conserving minimum, provided the Peccei–Quinn symmetry has sufficient quality and the usual vacuum assumptions hold. That mechanism is narrower than generic axionlike-particle phenomenology.

Required background. The U(1)AU(1)_A problem and QCD topology supplies the anomalous axial rotation, topological charge, and θ\theta-dependent vacuum energy. Helpful background. Explicit breaking and pseudo-Goldstone modes supplies the relation between an approximate shift symmetry, a potential, and a pseudo-Goldstone mass.

Use the inherited ϵ0123=+1\epsilon^{0123}=+1 and γ5=iγ0γ1γ2γ3\gamma^5=i\gamma^0\gamma^1\gamma^2\gamma^3 conventions, and define

G~aμν=12ϵμνρσGρσa,q(x)=gs232π2GμνaG~aμν.\widetilde G^{a\mu\nu} =\frac12\epsilon^{\mu\nu\rho\sigma}G^a_{\rho\sigma}, \qquad q(x)=\frac{g_s^2}{32\pi^2} G^a_{\mu\nu}\widetilde G^{a\mu\nu}.

The relevant QCD terms are

Lθq(x)qLMqqRqRMqqL,Mq=diag(Mu,Md).\mathcal L \supset \theta q(x) -\overline q_LM_q q_R -\overline q_RM_q^\dagger q_L, \qquad M_q=\operatorname{diag}(M_u,M_d).

This page fixes the sign of θ\theta by this equation. A source that chooses the opposite sign for q(x)q(x) or for the complex mass term will write a corresponding minus sign in θˉ\bar\theta; observables are unchanged after translating the whole convention.

To see which phase is physical, make a passive flavor-basis change

qL=LqL,qR=RqR,q_L'=Lq_L, \qquad q_R'=Rq_R,

where LL and RR are unitary. The mass matrix in the primed coordinates is

Mq=LMqR,M_q'=LM_qR^\dagger,

so

argdetMq=argdetMqargdet(RL).\arg\det M_q' =\arg\det M_q-\arg\det(RL^\dagger).

The singlet axial part of this change of variables is anomalous. In the convention above its Jacobian shifts

θ=θ+argdet(RL).\theta'=\theta+\arg\det(RL^\dagger).

Therefore

θˉ=θ+argdet(MuMd)(mod2π)\boxed{ \bar\theta =\theta+\arg\det(M_uM_d) } \pmod{2\pi}

is invariant. For the simple axial redefinition q=eiαγ5qq'=e^{i\alpha\gamma^5}q, one has L=eiα1L=e^{-i\alpha}\mathbf 1 and R=eiα1R=e^{i\alpha}\mathbf 1: argdetMq\arg\det M_q decreases by 2Nfα2N_f\alpha while θ\theta increases by the same amount. This anomaly–mass-phase cancellation is the essential derivation; keeping only one shift gives a basis-dependent answer. The same physics is presented with an explicitly translated sign convention in Schwartz 2014, § 29.5.3, pp. 609–613.

Finite-action gauge fields have integer topological charge

Q=d4xq(x)ZQ=\int d^4x\,q(x)\in\mathbb Z

under the standard boundary conditions. The quantum theory is consequently periodic in θˉ\bar\theta with period 2π2\pi. The density GG~G\widetilde G is CC even and PP and TT odd, so a generic θˉ\bar\theta violates CPCP. The points θˉ=0\bar\theta=0 and π\pi modulo 2π2\pi require separate care: zero is CPCP conserving, while at π\pi the action is CPCP symmetric but the vacuum can have branch structure or spontaneous CPCP breaking.

An exactly massless quark would provide an anomalous axial redefinition with no mass phase to reintroduce, making θˉ\bar\theta unobservable. This is a useful structural limit, not an assumption made on this page.

Near θˉ=0\bar\theta=0, a hadronic CPCP-odd observable has the schematic form

OCP=θˉKO+O(θˉ3),\mathcal O_{CP} =\bar\theta\,K_{\mathcal O} +O(\bar\theta^3),

where KOK_{\mathcal O} is a nonperturbative QCD response. Examples include CPCP-odd pion–nucleon interactions and permanent hadronic electric dipole moments. The absence of an even power follows when the observable is odd under CPCP and the vacuum is analytic about zero. The coefficient is not fixed by dimensional analysis: it must be matched through chiral methods, lattice QCD, sum rules, or another controlled nonperturbative calculation.

The strong-CPCP problem is the coexistence of three facts:

  1. θˉ\bar\theta is allowed by QCD symmetries and is dimensionless, so it is not suppressed by a heavy mass scale.
  2. diagonalizing complex Yukawa matrices does not remove it; the anomaly transfers their determinant phase into θ\theta.
  3. hadronic CPCP tests require its observable effects to be very small, yet the Standard Model does not supply a symmetry that sets the invariant to zero.

No current numerical bound is needed to state that problem. A quantitative extraction would additionally require the dated experimental likelihood, the hadronic response calculation, its renormalization convention, and correlated uncertainties.

The theory-to-observable chain must preserve scheme cancellation:

θˉici(μ)Oi(μ)OCPhadron.\bar\theta \longrightarrow \sum_i c_i(\mu)\,\mathcal O_i(\mu) \longrightarrow \mathcal O_{CP}^{\rm hadron}.

Under a finite operator-basis change O=RO\mathcal O'=R\mathcal O, coefficients transform as c=RTcc'=R^{-\mathsf T}c. Hence cTOc^{\mathsf T}\langle\mathcal O\rangle is unchanged, although an individual coefficient or matrix element is not. Chiral rotations also redistribute phases between θ\theta, masses, and higher-dimensional CPCP-odd operators. A quoted “induced θ\theta” is therefore meaningful only with the complete operator and phase convention; the observable amplitude is the invariant object.

StageQuantity carried forwardMethod-dependent inputFailure if omitted
quark and gluon theoryθˉ\bar\theta and any other CPCP-odd coefficientsfield basis, operator normalization, matching scalea mass phase is counted twice or not at all
hadronic effective theoryrenormalized CPCP-odd couplingsnonperturbative matrix elements and correlationscoefficient–matrix-element scheme mismatch
observableenergy shift, form factor, or decay amplitudekinematics, external-field and sign conventionsthe reported sign or normalization is ambiguous
inferenceconstraint on the common parametersdataset identity, likelihood, nuisance modela mutable result is mistaken for a timeless constant

The Peccei–Quinn mechanism introduces a spontaneously broken anomalous global symmetry. Its angular mode a(x)a(x) has an approximate shift symmetry and, after heavy fields are integrated out, couples to QCD. Normalize the low-energy field so that

La=12μaμa+(θˉ+afa)q(x)+Lderivative+Lmodel-dependent.\mathcal L_a =\frac12\partial_\mu a\,\partial^\mu a +\left(\bar\theta+\frac{a}{f_a}\right)q(x) +\mathcal L_{\rm derivative} +\mathcal L_{\rm model\text{-}dependent}.

Changing the sign of aa changes the sign written in the anomalous coupling and has no physical effect if all axion couplings are changed with it. More generally the ultraviolet theory gives CGa/fPQC_Ga/f_{\rm PQ}; defining fa=fPQ/CGf_a=f_{\rm PQ}/|C_G| produces the local normalization above, while the integer anomaly coefficient still controls the field’s global periodicity and domain-wall structure.

QCD generates a vacuum energy EQCD(ϑ)E_{\rm QCD}(\vartheta) for

ϑ=θˉ+afa.\vartheta=\bar\theta+\frac{a}{f_a}.

Thus the axion potential is

VQCD(a)=EQCD ⁣(θˉ+afa).V_{\mathrm{QCD}}(a)=E_{\mathrm{QCD}}\!\left( \bar\theta+\frac{a}{f_a} \right).

At a regular CPCP-conserving minimum,

dVQCDda=1fadEQCDdϑ=0,afa=θˉ(mod2π).\frac{dV_{\mathrm{QCD}}}{da} =\frac1{f_a} \frac{dE_{\mathrm{QCD}}}{d\vartheta}=0, \qquad \frac{\langle a\rangle}{f_a} =-\bar\theta\pmod{2\pi}.

The effective angle therefore relaxes to zero. Expanding around that minimum defines the topological susceptibility

χQCD=d2EQCDdϑ2ϑ=0,\chi_{\mathrm{QCD}} =\left. \frac{d^2E_{\mathrm{QCD}}}{d\vartheta^2} \right|_{\vartheta=0},

and gives the model-independent QCD contribution

ma2fa2=χQCD.m_a^2f_a^2=\chi_{\mathrm{QCD}}.

This relation, including controlled low-energy corrections and the role of quark-mass ratios, is derived in Grilli di Cortona et al. 2016, § 2.1, pp. 4–7. The dynamical cancellation follows the original Peccei–Quinn symmetry construction Peccei and Quinn 1977, pp. 1440–1443.

The argument assumes that QCD selects the relevant global minimum, cosmological evolution reaches it in the intended branch, and additional explicit breaking is negligible. It does not by itself solve the hierarchy, dark-matter abundance, isocurvature, domain-wall, or ultraviolet-completion questions.

QCD axion versus a generic axionlike particle

Section titled “QCD axion versus a generic axionlike particle”

The name “axionlike” describes field content and approximate shift symmetry, not automatically a solution of strong CPCP.

PropertyQCD axionGeneric axionlike particle
anomalous QCD couplingrequired and normalized into a/faa/f_aoptional
dominant potentialincludes the QCD vacuum energymay be set mainly by unrelated explicit breaking
mass–coupling relationma2fa2=χQCDm_a^2f_a^2=\chi_{\rm QCD} up to declared additional breakingmam_a and couplings can be independent
strong-CPCP cancellationfollows if the total minimum is at ϑ=0\vartheta=0not implied by pseudoscalar couplings alone
photon, lepton, and flavor couplingsmodel dependent around the QCD relationbroadly model dependent

This distinction is the typed boundary to axionlike pseudoscalar portals: that page may vary masses and portal couplings independently, whereas a strong-CPCP solution must retain the anomalous QCD potential and show that its true minimum suppresses ϑ\vartheta.

An extra Peccei–Quinn-breaking contribution ΔV(a)\Delta V(a) generally displaces the QCD minimum. Let a0=faθˉa_0=-f_a\bar\theta and suppose the displacement is small. Writing the residual angle as δϑ=(aa0)/fa\delta\vartheta=(a-a_0)/f_a, the stationarity equation gives

0=χQCDfaδϑ+ΔV(a0)+O(δϑ2),0 =\frac{\chi_{\rm QCD}}{f_a}\delta\vartheta +\Delta V'(a_0)+O(\delta\vartheta^2),

and hence

δϑfaΔV(a0)χQCD.\delta\vartheta \simeq -\frac{f_a\Delta V'(a_0)}{\chi_{\rm QCD}}.

This is the axion-quality test. A small coefficient in ΔV\Delta V is not sufficient if a large harmonic number or an unfavorable phase produces a large slope at a0a_0. Conversely, an extra term aligned so that ΔV(a0)=0\Delta V'(a_0)=0 need not shift the minimum at first order, although it changes the mass and higher derivatives. Every claimed solution should therefore specify the full periodic potential, anomaly coefficient, phases, and which minimum is occupied.

  • Anomalous rephasing: apply an arbitrary singlet axial basis change. The shifts of θ\theta and argdetMq\arg\det M_q must cancel in θˉ\bar\theta.
  • Vector rephasing: set L=RL=R. Neither the mass determinant phase nor θ\theta changes; a vector flavor convention cannot affect strong CPCP.
  • Periodicity: replace θˉ\bar\theta by θˉ+2π\bar\theta+2\pi. The partition function and every observable must be unchanged under the stated topological boundary conditions.
  • Massless-quark limit: if one quark mass is exactly zero, verify that its axial phase can remove θˉ\bar\theta without introducing a mass phase.
  • CP limit: at the ordinary QCD minimum, ϑ=0\vartheta=0 and all effects proportional to a single θˉ\bar\theta insertion vanish.
  • Dimensions: [a]=[fa]=1[a]=[f_a]=1, [χQCD]=4[\chi_{\rm QCD}]=4, so ma2=χQCD/fa2m_a^2=\chi_{\mathrm{QCD}}/f_a^2 has dimension two and faΔV/χQCDf_a\Delta V'/\chi_{\mathrm{QCD}} is dimensionless.
  • Scheme cancellation: evolve coefficients and matrix elements in the same basis, including any finite chiral rotation. A residual scale dependence in the observable signals incomplete matching or truncation.
  • Scope: present-day dipole limits, axion mass windows, dark-matter fractions, and search exclusions are dated evidence, not fixed facts of this derivation.

Setting θ=0\theta=0 and declaring strong CPCP solved. A complex quark-mass determinant regenerates the invariant phase after diagonalization. The correct object is θˉ\bar\theta in a fully stated sign convention.

Calling every light pseudoscalar an axion. A generic axionlike particle need not couple anomalously to QCD or minimize the effective vacuum angle. Demonstrate the QCD coupling and total potential before claiming the Peccei–Quinn solution.

Using mafa1m_a\propto f_a^{-1} after adding an unrelated potential. The relation ma2fa2=χQCDm_a^2f_a^2=\chi_{\rm QCD} is the QCD contribution. Additional explicit breaking can change the mass and, more seriously, shift the CPCP minimum.

For one Dirac quark with mass meiϕm e^{i\phi}, perform the passive axial basis change q=eiαγ5qq'=e^{i\alpha\gamma^5}q. What value of α\alpha makes the mass real, and what happens to θˉ\bar\theta?

Answer

Here M=e2iαMM'=e^{-2i\alpha}M, so choose 2α=ϕ2\alpha=\phi modulo 2π2\pi to make MM' real and positive. The anomaly gives θ=θ+2α=θ+ϕ\theta'=\theta+2\alpha=\theta+\phi, while argM=0\arg M'=0. Therefore θˉ=θ=θ+ϕ=θˉ\bar\theta'=\theta'=\theta+\phi=\bar\theta: diagonalizing the mass moves the phase into the topological term rather than removing it.

  • Grilli di Cortona, Giovanni, Edward Hardy, Javier Pardo Vega, and Giovanni Villadoro. “The QCD Axion, Precisely.” Journal of High Energy Physics 2016, no. 1 (2016): 034. DOI · Open PDF
  • Peccei, Roberto D., and Helen R. Quinn. “CP Conservation in the Presence of Pseudoparticles.” Physical Review Letters 38 (1977): 1440–1443. DOI
  • Schwartz, Matthew D. Quantum Field Theory and the Standard Model. Cambridge: Cambridge University Press, 2014, § 29.5.3. DOI