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.

The microwave cavity experiment is the most sensitive way of looking for axions in the 0.1-10 GHz range, corresponding to masses of 0.5 - 40 $\mu$eV. The particular challenge for frequencies greater than 5 GHz is designing a cavity with a large volume that contains a resonant mode that has a high form factor, a high quality factor, a wide dynamic range, and is free from intruder modes. For HAYSTAC, we have designed and constructed an optimized high frequency cavity with a tuning mechanism that preserves a high degree of rotational symmetry, critical to maximizing its figure of merit. This cavity covers an important frequency range according to recent theoretical estimates for the axion mass, 5.5 - 7.4 GHz, and the design appears extendable to higher frequencies as well. This paper will discuss key design and construction details of the cavity, present a summary of the design evolution, and alert practitioners of potentially unfruitful avenues for future work.

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.