Revisiting Isocurvature Bounds on the Minimal QCD Axion
Peter W. Graham, Davide Racco
TL;DR
This work shows that the conventional isocurvature exclusion for high $f_a$ and high $H_I$ in the minimal QCD axion is not generic: if the PQ-breaking sector has a small quartic coupling and couples to gravity via a positive $R$-term, the inflationary decay constant $f_a^{(inf)}$ can exceed the late-time $f_a$, suppressing isocurvature perturbations. The authors model the saxion-axion system with the $2\xi R|\Phi|^2$ coupling, derive the inflationary evolution of $f_a^{(inf)}$, and numerically solve the coupled equations of motion to assess parametric resonance across UV-parameter space. They find sizable regions where isocurvature is avoided without overproducing axions, illustrating the UV sensitivity of the bounds and highlighting the role of inflation and reheating dynamics. These results open substantial portions of the previously excluded $H_I$–$f_a$ parameter space for pre-inflationary axion DM and motivate further UV model-building and potential friction mechanisms to widen viable regions.
Abstract
The QCD axion has important connections to early universe cosmology. For example, it is often said that isocurvature limits rule out a combination of high axion decay constant, $f_a$, and high inflationary Hubble scale, $H_I$. High scales are theoretically motivated, so it is important to ask how robust this constraint is. We demonstrate that this constraint is naturally evaded when the quartic coupling of the complex $U(1)_\mathrm{PQ}$-breaking field is small. In this case, $f_a$ changes from a larger value during inflation to a smaller value in the later universe, suppressing isocurvature perturbations. Importantly, we show that in large parts of parameter space this solution is not jeopardised by overproduction of the axion through parametric resonance. The isocurvature bounds are thus dependent on UV physics. We have found that, even for the minimal QCD axion, large parts of UV parameter space at both high $f_a$ and high $H_I$ are in fact allowed, not ruled out by isocurvature constraints.
