El argumento, que reproduzco aquí de Ramond `Journies BSM', es originalmente por Witten y Vafa en ($\it{Phys}$. $\it{Rev}$. $\it{Lett}$. 53, 535(1984)). El argumento es que para $\theta = 0 $ (mod $2\pi$) de la QCD la energía del vacío $E(\theta)$ es mínimo. A partir de la distancia Euclídea ruta integral para QCD ( con masivos fermiones acusados en virtud de QCD, nada más) en un volumen V
$ e^{- V E (\theta)} = \int \mathcal{D} \mathcal{D} p \mathcal{D} \bar{q} exp \left( - \int d^4 x \mathcal{L}\right) $
donde
$\mathcal{L} = - \frac{1}{4 g^2} Tr (G_{\mu \nu}G_{\mu \nu}) + \bar{q}_i (\gamma^\mu D_\mu+ m_i) q_i + \frac{i \theta}{32 \pi^2} Tr(G_{\mu \nu} \tilde{G}_{\mu \nu} ). $
La integración de la quarks obtenemos:
$ e^{- V E (\theta)} = \int \mathcal{D} \det{(\gamma^\mu D_\mu+ m_i)} \mathcal{D} p \mathcal{D} \bar{q} exp \int d^4 x\left( \frac{1}{4 g^2} Tr (G_{\mu \nu}G_{\mu \nu}) - \frac{i \theta}{32 \pi^2} Tr(G_{\mu \nu} \tilde{G}_{\mu \nu} )\right). $
En pura QCD los quarks tienen vectores como los acoplamientos y por lo $\det{ (\gamma^\mu \mathcal{D}_\mu+ m_i) }$ es positivo y real. Para cada autovalor $\lambda$ $\gamma^\mu \mathcal{D}_\mu$ hay otro de signo opuesto. Así
$\det{ (\gamma^\mu D_\mu+ m_i) } = \prod_\lambda i \lambda +M) = \prod_{\lambda>0} (i \lambda +M)(-i \lambda +M) = \prod_{\lambda>0} ( \lambda^2 +M^2 )^2 >0 $
Por lo tanto si $\theta$ fueron de cero, el integrando serían puramente real y positiva de las cantidades. Ahora, la inclusión de la $\theta$ plazo con su yo sólo puede reducir el valor de la ruta integral, que es el mismo que se incrementa el valor de $E(\theta)$. De ello se desprende que $E(\theta)$ es mínimo en $\theta = 0$. Esta es la motivación para que los axiones donde $\theta$ es promovido a una dinámica de campo que luego se relaja a un vev de 0.
Ramond agrega "la leve advertencia" que con los acoplamientos de Yukawa, el fermión determinante no puede dejar de ser positivo ni real. Witten y Vafa no parecen hacer nada semejante advertencia. Ramond nota sobre yukawas parece invalidar todo el argumento. ¿Dónde deja esto a axiones como candidato a resolver el Fuerte CP problema?