HAYSTAC axion search analysis procedure

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. 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 data set and a consistent maximum likelihood procedure for combining and rebinning these spectra. These innovations enable us to obtain the axion-photon coupling |g_| excluded at any desired confidence level directly from the statistics of the combined data.