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.

Precise wavelength calibration is a critical issue for high-resolution spectroscopic observations. The ideal calibration source should be able to provide a very stable and dense grid of evenly distributed spectral lines of constant intensity. A new method which satisfies all mentioned conditions has been developed by our group. The approach is to actively measure the exact position of a single spectral line of a Fabry-Perot etalon with very high precision with a wavelength-tuneable laser and compare it to an extremely stable wavelength standard. The ideal choice of standard is the D2 absorption line of Rubidium, which has been used as an optical frequency standard for decades. With this technique, the problem of stable wavelength calibration of spectrographs becomes a problem of how reliably we can measure and anchor one etalon line to the Rb transition. In this work we present our self-built module for Rb saturated absorption spectroscopy and discuss its 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.

We present a method of frequency stabilizing a broadband etalon that can serve as a high-precision wavelength calibrator for an Echelle spectrograph. Using a laser to probe the Doppler-free saturated absorption of the rubidium D2 line, we stabilize one etalon transmission peak directly to the rubidium frequency. The rubidium transition is an established frequency standard and has been used to lock lasers to fractional stabilities of $<10^{-12}$, a level of accuracy far exceeding the demands of radial velocity (RV) searches for exoplanets. We describe a simple setup designed specifically for use at an observatory and demonstrate that we can stabilize the etalon peak to a relative precision of $<10^{-10}$; this is equivalent to 3 cm/s RV precision.