In experiments searching for axionic dark matter, the use of the standard threshold-based data analysis discards valuable information. We present a Bayesian analysis framework that builds on an existing processing protocol to extract more information from the data of coherent axion detectors such as operating haloscopes. The analysis avoids logical subtleties that accompany the standard analysis framework and enables greater experimental flexibility on future data runs. Performing this analysis on the existing data from the HAYSTAC experiment, we find improved constraints on the axion-photon coupling $g_\gamma$ while also identifying the most promising regions of parameter space within the $23.15$--$24.0$ $\mu$eV mass range. A comparison with the standard threshold analysis suggests a $36\%$ improvement in scan rate from our analysis, demonstrating the utility of this framework for future axion haloscope analyses.

We describe in detail the analysis procedure used to derive the first limits from the Haloscope at Yale Sensitive to Axion CDM (HAYSTAC), a microwave cavity search for cold dark matter (CDM) axions with masses above $20\ \mu\text{eV}$. We have introduced several significant innovations to the axion search analysis pioneered by the Axion Dark Matter eXperiment (ADMX), including optimal filtering of the individual power spectra that constitute the axion search dataset and a consistent maximum likelihood procedure for combining and rebinning these spectra. These innovations enable us to obtain the axion-photon coupling $|g_\gamma|$ excluded at any desired confidence level directly from the statistics of the combined data.

We report here several technical improvements to the HAYSTAC (Haloscope at Yale Sensitive To Axion Cold dark matter) that have improved operational efficiency, sensitivity, and stability.

We describe a dark matter axion detector designed, constructed, and operated both as an innovation platform for new cavity and amplifier technologies and as a data pathfinder in the $5 - 25$ GHz range ($\sim20-100\: \mu$eV). The platform is small but flexible to facilitate the development of new microwave cavity and amplifier concepts in an operational environment. The experiment has recently completed its first data production; it is the first microwave cavity axion search to deploy a Josephson parametric amplifier and a dilution refrigerator to achieve near-quantum limited performance.

We report on the first results from a new microwave cavity search for dark matter axions with masses above $20~\mu\text{eV}$. We exclude axion models with two-photon coupling $g_{a\gamma\gamma} \gtrsim 2\times10^{-14}~\text{GeV}^{-1}$ over the range $23.55~\mu\text{eV} < m_a < 24.0~\mu\text{eV}$. These results represent two important achievements. First, we have reached cosmologically relevant sensitivity an order of magnitude higher in mass than any existing limits. Second, by incorporating a dilution refrigerator and Josephson parametric amplifier, we have demonstrated total noise approaching the standard quantum limit for the first time in an axion search.