Sensitivity to kaon decays to ALPs at fixed target experiments

We study the sensitivity of fixed target experiments to hadronically coupled axionlike particles (ALPs) produced in kaon decays, with a particular emphasis on current and upcoming Short-Baseline Neutrino (SBN) experiments. We demonstrate that below the kaon decay mass threshold $(m_a<m_K-m_π)$ kaon decay is the dominant production mechanism for ALPs at neutrino experiments, larger by many orders of magnitude than production in pseudoscalar mixing. Such axions can be probed principally by the diphoton and dimuon final states. In the latter case, even if the axion does not couple to muons at tree level, such a coupling is induced by the renormalization group flow from the UV scale. We reinterpret prior results by CHARM and MicroBooNE through these channels and show that they constrain new areas of heavy axion parameter space. We also show projections of the sensitivity of the SBN experiment and Deep Underground Neutrino Experiment (DUNE) to axions through these channels, which reach up to a decade higher in the axion decay constant beyond existing constraints. DUNE projects to have a sensitivity competitive with other world-leading upcoming experiments.