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 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.