Excluding MeV-scale QCD axions by $K_L \to π^0π^0 a$ at KTeV
Takaya Iwai, Ryosuke Sato, Kohsaku Tobioka, Takumu Yamanaka
TL;DR
This work tests the viability of a QCD axion with mass in the MeV range, coupled to first-generation fermions, by translating kaon decay data into stringent bounds. It combines a detailed chiral Lagrangian treatment of axion–meson mixing with a dedicated Monte Carlo study of the KTeV measurement of $K_L \to \pi^0 \pi^0 e^+ e^-$ to constrain $K_L \to \pi^0 \pi^0 a$ with $a \to e^+ e^-$. It also reinterprets $K^+ \to \pi^+ a$ constraints from E949 and NA62 and examines axion-electron and other decay channels. The main result is that the MeV axion window is excluded in the leading and many subleading scenarios, with only a tiny finely-tuned region remaining possible, implying that viable QCD axions must be at much higher decay constants or involve different mass mechanisms. This demonstrates the power of kaon-decay observables as probes of low-mass axions and informs the parameter space for beyond-Standard-Model axion theories.
Abstract
An interesting proposal suggests that a QCD axion $(a)$ coupling to the up quark, down quark, and electron remains viable for an axion mass near 10~MeV. In this paper, this possibility is reexamined by deriving new bounds from kaon decays. In particular, we perform a detailed analysis of the $K_L \to π^0 π^0 e^+ e^-$ measurement reported by the KTeV experiment, and reinterpret $K^+$ decay measurements at the E949 and NA62 experiments to constrain both the diphoton decay and effectively invisible decay modes of the axion. We find that, combined with the previously known bounds, the viable window for the MeV-scale QCD axion is excluded, primarily due to the KTeV bound. Uncertainties associated with the chiral Lagrangian are further examined, and the scenario remains excluded even after accounting for these uncertainties, except for a tiny region of parameter space where higher-order corrections must finely cancel the leading-order contribution, suppressing the branching ratio of $K_L\to π^0π^0 a$ by three orders of magnitude.
