Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

CALT-TH/2022-011

Atom Interferometer Tests of Dark Matter

Yufeng Du Walter Burke Institute for Theoretical Physics, California Institute of Technology, Pasadena, CA 91125, USA    Clara Murgui Walter Burke Institute for Theoretical Physics, California Institute of Technology, Pasadena, CA 91125, USA    Kris Pardo Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA 91109, USA Walter Burke Institute for Theoretical Physics, California Institute of Technology, Pasadena, CA 91125, USA    Yikun Wang Walter Burke Institute for Theoretical Physics, California Institute of Technology, Pasadena, CA 91125, USA    Kathryn M. Zurek Walter Burke Institute for Theoretical Physics, California Institute of Technology, Pasadena, CA 91125, USA
(September 6, 2024)
Abstract

Direct detection experiments for dark matter are increasingly ruling out large parameter spaces. However, light dark matter models with particle masses <<< GeV are still largely unconstrained. Here we examine a proposal to use atom interferometers to detect a light dark matter subcomponent at sub-GeV masses. We describe the decoherence and phase shifts caused by dark matter scattering off of one “arm” of an atom interferometer using a generalized dark matter direct detection framework. This allows us to consider multiple channels: nuclear recoils, hidden photon processes, and axion interactions. We apply this framework to several proposed atom interferometer experiments. Because atom interferometers are sensitive to extremely low momentum deposition and their coherent atoms may give them a boost in sensitivity, these experiments will be highly competitive and complementary to other direct detection methods. In particular, atom interferometers are uniquely able to probe a dark matter sub-component with mχ10keVless-than-or-similar-tosubscript𝑚𝜒10keVm_{\chi}\lesssim 10~{}\rm{keV}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ≲ 10 roman_keV. We find that, for a mediator mass mϕ=105mχsubscript𝑚italic-ϕsuperscript105subscript𝑚𝜒m_{\phi}=10^{-5}m_{\chi}italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT = 10 start_POSTSUPERSCRIPT - 5 end_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT, future atom interferometers could close a gap in the existing constraints on nuclear recoils down to σ¯n1042cm2similar-tosubscript¯𝜎𝑛superscript1042superscriptcm2\bar{\sigma}_{n}\sim 10^{-42}~{}\rm{cm}^{2}over¯ start_ARG italic_σ end_ARG start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ∼ 10 start_POSTSUPERSCRIPT - 42 end_POSTSUPERSCRIPT roman_cm start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT for mχ105101MeVsimilar-tosubscript𝑚𝜒superscript105superscript101MeVm_{\chi}\sim 10^{-5}-10^{-1}~{}\rm{MeV}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ∼ 10 start_POSTSUPERSCRIPT - 5 end_POSTSUPERSCRIPT - 10 start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT roman_MeV dark matter masses.

I Introduction

Although we have seen dark matter (DM) through its astrophysical and cosmological effects [1, 2, 3, 4, 5, 6, 7, 8], we have yet to directly detect DM. The traditional direct detection methods, which rely on measuring nuclear recoils, have succeeded in placing ever stronger limits on Weakly Interacting Massive Particles (WIMPs), but have not led to any detections [9, 10, 11, 12, 13]. In the last several years, motivated by theories of dark sectors [14, 15, 16, 17, 18, 19, 20, 21, 22, 23], many new types of direct detection channels and experiments have been proposed to probe lighter DM masses. Electronic transitions in a variety of materials [24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44], molecular excitations [45, 46, 47], and phonon excitations [48, 49, 50, 51, 52] have been identified as promising new directions.

Recently, there has been an interest in using quantum sensors, and especially those in space, to detect dark matter [e.g., 53, 54]. Atom interferometers, in particular, offer an interesting and complementary pathway to dark matter detection compared to conventional searches. These experiments use falling atoms to measure differential forces along two paths, and they can be used as accelerometers [e.g., 55, 56]. Recent suggestions for DM detection with atom interferometers have focused on ultralight DM with couplings to either the photon or the electron, which would induce temporal oscillations in fundamental constants. Although these couplings were first investigated for their possible detection with atomic clock experiments [57, 58, 59, 60], these couplings would also be measurable in an atom interferometer via induced phase shifts [61, 62, 63]. Notably, these tests would only be applicable to specific types of atom interferometers – those that rely on atomic transitions and shared lasers.

Another proposal considers the decoherence caused by DM scattering in atom interferometers [64, 65]. This would be applicable to all types of atom interferometers. Previous work has shown that future atom interferometers would provide promising constraints on DM that interacts with the Standard Model (SM) through nuclear recoils [65]. Atom interferometers have two useful features that enable these constraints: the coherence of the atoms may allow for an N2superscript𝑁2N^{2}italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT enhancement in the scattering rate, and they do not have a minimum energy threshold. This means that atom interferometers can probe to extremely low momentum depositions, and thus low dark matter masses.

In this paper, we consider observables that potentially get coherent enhancements: phase-shifts for cold atomic clouds, and both contrast loss and phase shifts for matter interferometers111Recent work [66] shows that atom interferometers based on diffuse atom clouds do not receive N2superscript𝑁2N^{2}italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT enhancements to the decoherence rate when one-body measurements are performed. Experiments based on Bose–Einstein condensates (BECs) exhibit a similar behavior than diffuse atomic clouds and we will therefore treat them as such. We leave a comprehensive treatment for future work., and expand the atom interferometer detection mechanism to further scattering channels. Fig. 1 gives a schematic description of the detection strategy. We standardize and generalize the formalism of Ref. [65] using the methods of Ref. [67]. We then consider nuclear recoils, hidden photon processes, and coherent axion scattering. Our main results are summarized in Fig. 2, which shows that atom interferometers can be uniquely powerful for probing nuclear recoil of DM with masses mχ1MeVless-than-or-similar-tosubscript𝑚𝜒1MeVm_{\chi}\lesssim 1~{}\rm{MeV}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ≲ 1 roman_MeV. Although the constraints through the other channels are not competitive, we include rough analytic estimates.

The paper is organized as follows. In Section II we discuss the overall method, explain our general formalism, and describe the atom interferometer experiments we consider in this paper. We then apply our formalism in Section III to nuclear recoils (III.1), and dark photon processes and coherent axion scattering (III.2). We discuss how these atom interferometer constraints compare to other relevant constraints in Section IV, and we conclude in Section V.

Throughout this paper, we assume natural units, =c=1Planck-constant-over-2-pi𝑐1\hbar=c=1roman_ℏ = italic_c = 1 and consider a DM particle, χ𝜒\chiitalic_χ, that is a subcomponent of the total DM in the Universe: Ωχ=0.05ΩDMsubscriptΩ𝜒0.05subscriptΩDM\Omega_{\chi}=0.05~{}\Omega_{\rm{DM}}roman_Ω start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT = 0.05 roman_Ω start_POSTSUBSCRIPT roman_DM end_POSTSUBSCRIPT. Light DM with mχ1MeVless-than-or-similar-tosubscript𝑚𝜒1MeVm_{\chi}\lesssim 1~{}\rm{MeV}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ≲ 1 roman_MeV interacting with nucleons at a large enough rate to be detectable in an atom interferometer will typically come into thermal equilibrium at some point in the history of the Universe, giving rise to a variety of constraints, discussed in detail in Ref. [68]; considering a dark matter subcomponent evades these bounds. The code used for our calculations and figures is publicly available at: https://github.com/kpardo/atom_interferometer_dm.

II Direct Detection with Atom Interferometers

In this section, we review the effects of DM scattering on atom interferometers. We develop the general formula that describes the scattering rate measurable by an atom interferometer, and then discuss the specific atom interferometer experiments we consider in the paper.

In essence, DM scattering will cause decoherence and phase shifts in an atom interferometer (see Fig. 1). Consider a Mach-Zender atom interferometer [for a general review of atom interferometers, see Ref. 56]. Analogously to the conventional Mach-Zender interferometer, here the de-Broglie wave nature of the atoms plays the role of light, while laser pulses act as beamsplitters and mirrors. The atoms start in a coherent wavepacket, then are split by a laser pulse into two different wavepackets that travel along two different paths. Two more laser pulses reverse the motion of these wavepackets and recombine them. The state of the recombined wavepacket is then read, with the relative populations depending on the initial prepared state, the timing of the laser pulses, and any differential forces felt along the different paths.

The main observables from an atom interferometer are the visibility, V𝑉Vitalic_V, and phase, ϕitalic-ϕ\phiitalic_ϕ. The visibility is a measure of the decoherence of the system, and the phase measures the path differences between the two arms. Previously, atom interferometer measurements would require calibration of the fringe over several measurements with varying laser phase to give a proper measurement of either the phase or visibility [see, e.g., 55]. However, modern atom interferometers are capable of measuring a spatial fringe, and thus V𝑉Vitalic_V, with each measurement [some ways of doing this are shown in 69, 70]. Unless the phase shifts associated with systematic effects are known exactly, ϕitalic-ϕ\phiitalic_ϕ cannot be measured from a single spatial fringe without prior knowledge. However, the relative phase between two different measurements or between two atom interferometers on the same laser can be measured [e.g., 71, 72].

Refer to caption
Figure 1: Left: Cartoon of dark matter detection with atom interferometry. Three laser pulses are used to separate, redirect, and recombine the atom wavepackets. Atom interferometers are a promising avenue for detecting DM because they are sensitive to low momentum transfers and the coherence of the atom clouds may allow for an enhancement in the DM scattering rates. Right, Top: Cartoon of expected fringe measurement (e.g., probability of the state |ψket𝜓|\psi\rangle| italic_ψ ⟩ at the end of the atom interferometer sequence as a function of final laser phase) for the main observables from DM scattering. The black line gives the expected fringe if there are no DM or other effects. The blue (orange) points give simulated data points that show the effect of decoherence (phase shifts) on the fringe. Right, Bottom: Observable effects as a function of the DM momentum transfer (q𝑞qitalic_q) and the spatial distance between the wavepacket paths of the atoms (ΔxΔ𝑥\Delta xroman_Δ italic_x). The blue line shows the decoherence induced by DM scattering (see Eqn. 8), and the orange line shows the phase shift (see Eqn. 9). Both are maximally affected by DM at q1/Δxsimilar-to𝑞1Δ𝑥q\sim 1/\Delta xitalic_q ∼ 1 / roman_Δ italic_x, which is where we expect the DM to “resolve” the clouds.

We will assume that both the phase and visibility can be reliably measured, and we will consider the case where the only relevant force causing decoherence comes from scattering with DM particles, which can be considered to be a thermal bath. The first laser pulse splits the population of the atoms and prepares the system |ΨketΨ|\Psi\rangle| roman_Ψ ⟩ in a quantum superposition of two states: the “blue” and the “purple” wavepackets, following the same color coding as in Fig. 1. In particular, any DM scattering with either the “purple” or “blue” wavepacket will cause decoherence in the final state. The density of states in the {purple, blue} basis is given by:

ρ=12(1γγ1),𝜌12matrix1𝛾superscript𝛾1\rho=\frac{1}{2}\left(\begin{matrix}1&\gamma\\ \gamma^{*}&1\end{matrix}\right)\;,italic_ρ = divide start_ARG 1 end_ARG start_ARG 2 end_ARG ( start_ARG start_ROW start_CELL 1 end_CELL start_CELL italic_γ end_CELL end_ROW start_ROW start_CELL italic_γ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT end_CELL start_CELL 1 end_CELL end_ROW end_ARG ) , (1)

where γ𝛾\gammaitalic_γ is the decoherence factor, which contains both the decoherence and phase effects. Specifically, this factor can be decomposed into a dimensionless decoherence, s𝑠sitalic_s (real, positive), and a phase, ϕitalic-ϕ\phiitalic_ϕ (real), via: γ=exp(s+iϕ)𝛾𝑠𝑖italic-ϕ\gamma=\exp(-s+i\phi)italic_γ = roman_exp ( - italic_s + italic_i italic_ϕ ).

When the wavepackets recombine, the evolved state |Ψ~ket~Ψ|\tilde{\Psi}\rangle| over~ start_ARG roman_Ψ end_ARG ⟩ is measured in the basis of the initial state |ΨketΨ|\Psi\rangle| roman_Ψ ⟩ with a probability of

P(|Ψ~,|Ψ)=Tr{ρ|ΨΨ|}=12(1+Re(γ))=12(1+escosϕ).𝑃ket~ΨketΨTr𝜌ketΨbraΨ121Re𝛾121superscript𝑒𝑠italic-ϕP(|\tilde{\Psi}\rangle,|\Psi\rangle)=\text{Tr}\{\rho\,|\Psi\rangle\langle\Psi|% \}=\frac{1}{2}(1+\mathrm{Re}(\gamma))=\frac{1}{2}(1+e^{-s}\cos\phi)\;.italic_P ( | over~ start_ARG roman_Ψ end_ARG ⟩ , | roman_Ψ ⟩ ) = Tr { italic_ρ | roman_Ψ ⟩ ⟨ roman_Ψ | } = divide start_ARG 1 end_ARG start_ARG 2 end_ARG ( 1 + roman_Re ( italic_γ ) ) = divide start_ARG 1 end_ARG start_ARG 2 end_ARG ( 1 + italic_e start_POSTSUPERSCRIPT - italic_s end_POSTSUPERSCRIPT roman_cos italic_ϕ ) . (2)

The visibility of an experiment, V=es𝑉superscript𝑒𝑠V=e^{-s}italic_V = italic_e start_POSTSUPERSCRIPT - italic_s end_POSTSUPERSCRIPT, is given by measuring the amplitude of the fringe. As explained above, the absolute phase cannot be measured – instead a differential phase must be measured by comparing two measurements at different times or measurements of different atom interferometers on the same laser. DM scattering will affect both of these observables.

The decoherence factor will be directly related to the number of DM scattering events and how its resolution (de Broglie wavelength) compares to the separation between the two interferometer modes. Let R𝑅Ritalic_R give the rate of dark matter scattering per target mass that leads to decoherence or phase shifts in the atom interferometer. Then, over a measurement time, texpsubscript𝑡expt_{\rm{exp}}italic_t start_POSTSUBSCRIPT roman_exp end_POSTSUBSCRIPT, the decoherence factor accumulated will be:

γ=exp[mTNind0texpR𝑑t],𝛾subscript𝑚𝑇subscript𝑁indsuperscriptsubscript0subscript𝑡exp𝑅differential-d𝑡\gamma=\exp\left[-\frac{m_{T}}{N_{\rm ind}}\int_{0}^{t_{\rm{exp}}}R~{}dt\right% ]\;,italic_γ = roman_exp [ - divide start_ARG italic_m start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT end_ARG start_ARG italic_N start_POSTSUBSCRIPT roman_ind end_POSTSUBSCRIPT end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t start_POSTSUBSCRIPT roman_exp end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_R italic_d italic_t ] , (3)

where mTsubscript𝑚𝑇m_{T}italic_m start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT gives the target mass – the mass of the atom cloud in the interferometer, and Nindsubscript𝑁indN_{\rm{ind}}italic_N start_POSTSUBSCRIPT roman_ind end_POSTSUBSCRIPT is the number of independent objects that are measured at the read-out port. For an unentangled atom interferometer (e.g., a cold atom interferometer, such as the BECCAL, GDM, Stanford, and AEDGE experiments considered in this paper) with NAsubscript𝑁𝐴N_{A}italic_N start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT independent atoms, Nind=NAsubscript𝑁indsubscript𝑁𝐴N_{\rm ind}=N_{A}italic_N start_POSTSUBSCRIPT roman_ind end_POSTSUBSCRIPT = italic_N start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT. For entangled atom interferometers, matter interferometers (such as the MAQRO and Pino experiments considered in this paper), and quantum resonators, only one independent measurement is made per shot – the quantum state of the macroscopic object. Thus, Nind=1subscript𝑁ind1N_{\rm ind}=1italic_N start_POSTSUBSCRIPT roman_ind end_POSTSUBSCRIPT = 1.

Now, we turn our attention to calculating the rate per target mass, R𝑅Ritalic_R. Consider a non-relativistic DM particle with mass mχsubscript𝑚𝜒m_{\chi}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT that has some spin-independent scattering interaction with SM nucleons, mediated by a field of mass mϕsubscript𝑚italic-ϕm_{\phi}italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT. For reasons that will be fully discussed later, we stress that the observables we focus on in this paper are only effective for spin-independent interactions. The process occurs as shown in the Feynman diagram below, with the corresponding reference cross-section σ¯¯𝜎\bar{\sigma}over¯ start_ARG italic_σ end_ARG,

[Uncaptioned image]:σ¯=yχ2yn24πμ2(mχ2v02+mϕ2)2,\begin{gathered}\includegraphics[width=73.7146pt]{RefXSec.pdf}\end{gathered}:% \quad\bar{\sigma}=\frac{y_{\chi}^{2}\,y_{n}^{2}}{4\pi}\frac{\mu^{2}}{(m_{\chi}% ^{2}v_{0}^{2}+m_{\phi}^{2})^{2}},start_ROW start_CELL end_CELL end_ROW : over¯ start_ARG italic_σ end_ARG = divide start_ARG italic_y start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_y start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 4 italic_π end_ARG divide start_ARG italic_μ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG ( italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , (4)

where yisubscript𝑦𝑖y_{i}italic_y start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT are the dimensionless coupling factors, μ=mχmN/(mχ+mN)𝜇subscript𝑚𝜒subscript𝑚𝑁subscript𝑚𝜒subscript𝑚𝑁\mu=m_{\chi}m_{N}/(m_{\chi}+m_{N})italic_μ = italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT / ( italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT + italic_m start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT ) is the reduced mass of the DM and each nucleon, and v0=230km/ssubscript𝑣0230kmsv_{0}=230~{}\rm{km/s}italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = 230 roman_km / roman_s is the local average velocity of the DM. When necessary, we set yχ=4πsubscript𝑦𝜒4𝜋y_{\chi}=\sqrt{4\pi}italic_y start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT = square-root start_ARG 4 italic_π end_ARG in this paper.

As we will see, atom interferometers have the best constraining power at low mχsubscript𝑚𝜒m_{\chi}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT. We will be most interested in the limit mχmNmuch-less-thansubscript𝑚𝜒subscript𝑚𝑁m_{\chi}\ll m_{N}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ≪ italic_m start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT. Thus, we replace the reduced mass with μmχ𝜇subscript𝑚𝜒\mu\approx m_{\chi}italic_μ ≈ italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT throughout. In addition, we will assume, without loss of generality, that the DM χ𝜒\chiitalic_χ is a real scalar. Other scenarios can be adapted to the reference cross section from Eqn. 4 by redefining the coupling yχsubscript𝑦𝜒y_{\chi}italic_y start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT.

We would like to find the rate of DM scattering events that lead to decoherence or phase shifts in an atom interferometer. The differential rate per target mass is given by [see, e.g., 67]:

dRdω=1ρTρχmχd3𝐯f(𝐯)dΓdω,𝑑𝑅𝑑𝜔1subscript𝜌𝑇subscript𝜌𝜒subscript𝑚𝜒superscript𝑑3𝐯𝑓𝐯𝑑Γ𝑑𝜔\frac{dR}{d\omega}=\frac{1}{\rho_{T}}\frac{\rho_{\chi}}{m_{\chi}}\int d^{3}% \mathbf{v}~{}f(\mathbf{v})\frac{d\Gamma}{d\omega}\;,divide start_ARG italic_d italic_R end_ARG start_ARG italic_d italic_ω end_ARG = divide start_ARG 1 end_ARG start_ARG italic_ρ start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT end_ARG divide start_ARG italic_ρ start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG ∫ italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT bold_v italic_f ( bold_v ) divide start_ARG italic_d roman_Γ end_ARG start_ARG italic_d italic_ω end_ARG , (5)

where ρTsubscript𝜌𝑇\rho_{T}italic_ρ start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT is the density of the target material, ω𝜔\omegaitalic_ω is the energy deposition, ρχsubscript𝜌𝜒\rho_{\chi}italic_ρ start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT is the DM density, and f(𝐯)𝑓𝐯f(\mathbf{v})italic_f ( bold_v ) is the DM velocity distribution function. The differential interaction rate, dΓ/dω𝑑Γ𝑑𝜔d\Gamma/d\omegaitalic_d roman_Γ / italic_d italic_ω, can be written using the formalism of Ref [67] as:

dΓdω=πσ¯μ2d3𝐪(2π)3med2(𝐪)S(𝐪,ω)δ(ωω𝐪),𝑑Γ𝑑𝜔𝜋¯𝜎superscript𝜇2superscript𝑑3𝐪superscript2𝜋3superscriptsubscriptmed2𝐪𝑆𝐪𝜔𝛿𝜔subscript𝜔𝐪\frac{d\Gamma}{d\omega}=\frac{\pi\bar{\sigma}}{\mu^{2}}\int\frac{d^{3}{\bf q}}% {(2\pi)^{3}}\mathcal{F}_{\rm{med}}^{2}(\mathbf{q})S(\mathbf{q},\omega)\delta(% \omega-\omega_{\mathbf{q}})\;,divide start_ARG italic_d roman_Γ end_ARG start_ARG italic_d italic_ω end_ARG = divide start_ARG italic_π over¯ start_ARG italic_σ end_ARG end_ARG start_ARG italic_μ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ∫ divide start_ARG italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT bold_q end_ARG start_ARG ( 2 italic_π ) start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG caligraphic_F start_POSTSUBSCRIPT roman_med end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( bold_q ) italic_S ( bold_q , italic_ω ) italic_δ ( italic_ω - italic_ω start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT ) , (6)

where 𝐪𝐪\mathbf{q}bold_q is the momentum deposition, σ¯¯𝜎\bar{\sigma}over¯ start_ARG italic_σ end_ARG is a reference cross section, med(𝐪)subscriptmed𝐪\mathcal{F}_{\rm{med}}(\mathbf{q})caligraphic_F start_POSTSUBSCRIPT roman_med end_POSTSUBSCRIPT ( bold_q ) is the mediator form factor, and S(𝐪,ω𝐪)𝑆𝐪subscript𝜔𝐪S(\mathbf{q},\omega_{\mathbf{q}})italic_S ( bold_q , italic_ω start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT ) is the dynamic structure factor. It is this last factor that encodes atom interferometer-specific physics.

The dynamic structure factor encodes the response of a detector to a given momentum deposition [see, e.g., Eqn. 14 of 67]. It includes terms that conserve energy in the target and account for a momentum transfer dependence in the target material. In addition, the dynamic structure factor should encode the restrictions of an atom interferometer as a DM detector. Namely, only scattering events that produce momentum transfer along the atom interferometer separation direction, 𝚫𝐱𝚫𝐱\mathbf{\Delta x}bold_Δ bold_x, produce decoherence and phase shifts. The probability that a scattering event will contribute to the decoherence factor of a single atom is [73, 74, 64, 65]:

pdecoh=1exp[i𝐪𝚫𝐱].subscript𝑝decoh1𝑖𝐪𝚫𝐱p_{\rm{decoh}}=1-\exp\left[i\mathbf{q}\cdot\mathbf{\Delta x}\right]\;.italic_p start_POSTSUBSCRIPT roman_decoh end_POSTSUBSCRIPT = 1 - roman_exp [ italic_i bold_q ⋅ bold_Δ bold_x ] . (7)

To get a better idea of this effect, let us consider the real and imaginary parts separately. If we take only the real component of pdecohsubscript𝑝decohp_{\rm{decoh}}italic_p start_POSTSUBSCRIPT roman_decoh end_POSTSUBSCRIPT and integrate over the angle between 𝐪𝐪\mathbf{q}bold_q and 𝚫𝐱𝚫𝐱\mathbf{\Delta x}bold_Δ bold_x, we find:

1211Re(pdecoh)dcosθ𝐪𝚫𝐱=1sinc(qΔx),12superscriptsubscript11Resubscript𝑝decoh𝑑subscript𝜃𝐪𝚫𝐱1sinc𝑞Δ𝑥\frac{1}{2}\int_{-1}^{1}\mathrm{Re}(p_{\rm{decoh}})~{}d\cos\theta_{\mathbf{q% \Delta x}}=1-\mathrm{sinc}(q\Delta x)\;,divide start_ARG 1 end_ARG start_ARG 2 end_ARG ∫ start_POSTSUBSCRIPT - 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT roman_Re ( italic_p start_POSTSUBSCRIPT roman_decoh end_POSTSUBSCRIPT ) italic_d roman_cos italic_θ start_POSTSUBSCRIPT bold_q bold_Δ bold_x end_POSTSUBSCRIPT = 1 - roman_sinc ( italic_q roman_Δ italic_x ) , (8)

where q𝐪𝑞norm𝐪q\equiv\|\mathbf{q}\|italic_q ≡ ∥ bold_q ∥, Δx𝚫𝐱Δ𝑥norm𝚫𝐱\Delta x\equiv\|\mathbf{\Delta x}\|roman_Δ italic_x ≡ ∥ bold_Δ bold_x ∥, and the 1212\frac{1}{2}divide start_ARG 1 end_ARG start_ARG 2 end_ARG factor later cancels with other angular integrals. This is the “decoherence effect” plotted in Fig. 1. Note that the decoherence is maximal when the DM “resolves” the clouds, q1/Δxsimilar-to𝑞1Δ𝑥q\sim 1/\Delta xitalic_q ∼ 1 / roman_Δ italic_x, and quickly vanishes for q<1/Δx𝑞1Δ𝑥q<1/\Delta xitalic_q < 1 / roman_Δ italic_x.

Integrating over the imaginary part in this same way would give us zero. Some anisotropy in the DM flux is needed for its interaction to induce a relative phase between the two clouds. Taking into account that anisotropy, and anticipating the full derivation of the rate of DM interactions, we parameterize the effect responsible for generating a non-zero shift in the relative phase as:

1211Im(pdecoh)ev~eqΔxcosθ𝐪𝚫𝐱dcosθ𝐪𝚫𝐱=v~esin(qΔx)cosh(v~eqΔx)cos(qΔx)sinh(v~eqΔx)qΔx(v~e2+1),12superscriptsubscript11Imsubscript𝑝decohsuperscript𝑒subscript~𝑣𝑒𝑞Δ𝑥subscript𝜃𝐪𝚫𝐱𝑑subscript𝜃𝐪𝚫𝐱subscript~𝑣𝑒𝑞Δ𝑥subscript~𝑣𝑒𝑞Δ𝑥𝑞Δ𝑥subscript~𝑣𝑒𝑞Δ𝑥𝑞Δ𝑥superscriptsubscript~𝑣𝑒21\begin{split}\frac{1}{2}\int_{-1}^{1}\mathrm{Im}(p_{\rm{decoh}})\,e^{-% \displaystyle\tilde{v}_{e}q\Delta x\cos\theta_{\bf q\Delta x}}~{}d\cos\theta_{% \mathbf{q\Delta x}}&=\frac{\tilde{v}_{e}\sin(q\Delta x)\cosh(\tilde{v}_{e}q% \Delta x)-\cos(q\Delta x)\sinh(\tilde{v}_{e}q\Delta x)}{q\Delta x(\tilde{v}_{e% }^{2}+1)}\;,\end{split}start_ROW start_CELL divide start_ARG 1 end_ARG start_ARG 2 end_ARG ∫ start_POSTSUBSCRIPT - 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT roman_Im ( italic_p start_POSTSUBSCRIPT roman_decoh end_POSTSUBSCRIPT ) italic_e start_POSTSUPERSCRIPT - over~ start_ARG italic_v end_ARG start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT italic_q roman_Δ italic_x roman_cos italic_θ start_POSTSUBSCRIPT bold_q bold_Δ bold_x end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_d roman_cos italic_θ start_POSTSUBSCRIPT bold_q bold_Δ bold_x end_POSTSUBSCRIPT end_CELL start_CELL = divide start_ARG over~ start_ARG italic_v end_ARG start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT roman_sin ( italic_q roman_Δ italic_x ) roman_cosh ( over~ start_ARG italic_v end_ARG start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT italic_q roman_Δ italic_x ) - roman_cos ( italic_q roman_Δ italic_x ) roman_sinh ( over~ start_ARG italic_v end_ARG start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT italic_q roman_Δ italic_x ) end_ARG start_ARG italic_q roman_Δ italic_x ( over~ start_ARG italic_v end_ARG start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + 1 ) end_ARG , end_CELL end_ROW (9)

where v~e=ve/(v02mχΔx)subscript~𝑣𝑒subscript𝑣𝑒superscriptsubscript𝑣02subscript𝑚𝜒Δ𝑥\tilde{v}_{e}=v_{e}/(v_{0}^{2}m_{\chi}\Delta x)over~ start_ARG italic_v end_ARG start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT = italic_v start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT / ( italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT roman_Δ italic_x ) is a scaled version of the Earth’s velocity, and we have assumed that 𝚫𝐱𝚫𝐱{\bf\Delta x}bold_Δ bold_x is aligned with 𝐯𝐞subscript𝐯𝐞{\bf v_{e}}bold_v start_POSTSUBSCRIPT bold_e end_POSTSUBSCRIPT. Like the decoherence effect, the phase effect is maximal at q1/Δxsimilar-to𝑞1Δ𝑥q\sim 1/\Delta xitalic_q ∼ 1 / roman_Δ italic_x. However, it oscillates rapidly about 00 for q>1/Δx𝑞1Δ𝑥q>1/\Delta xitalic_q > 1 / roman_Δ italic_x. Note that for small q𝑞qitalic_q, Eqn. 9 goes as (qΔx)2v~esuperscript𝑞Δ𝑥2subscript~𝑣𝑒(q\Delta x)^{2}\tilde{v}_{e}( italic_q roman_Δ italic_x ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT over~ start_ARG italic_v end_ARG start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT (see the discussion in Section. III.1 for how this affects our constraints). Although this form factor vanishes when q0𝑞0q\to 0italic_q → 0, as the limits in Fig. 23 and 4 show, the sensitivity to the phase approaches a constant because the q𝑞qitalic_q dependence cancels in the rate.

In this paper we only consider observables that get coherent enhancements when dark matter does not resolve the size of the atom interferometer [66]. In these cases, the decoherence factor probability factorizes from the overall probability that an incoming scattering event produces a given final state. In other words, the dynamic structure factor can be written as:

S(𝐪,ω)pdecohVf|f|T(𝐪)|i|22πδ(EfEiω𝐪),𝑆𝐪𝜔subscript𝑝decoh𝑉subscript𝑓superscriptquantum-operator-product𝑓subscript𝑇𝐪𝑖22𝜋𝛿subscript𝐸𝑓subscript𝐸𝑖subscript𝜔𝐪S(\mathbf{q},\omega)\equiv\frac{p_{\rm{decoh}}}{V}\sum_{f}|\langle f|\mathcal{% F}_{T}(\mathbf{q})|i\rangle|^{2}~{}2\pi\delta(E_{f}-E_{i}-\omega_{\mathbf{q}})\;,italic_S ( bold_q , italic_ω ) ≡ divide start_ARG italic_p start_POSTSUBSCRIPT roman_decoh end_POSTSUBSCRIPT end_ARG start_ARG italic_V end_ARG ∑ start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT | ⟨ italic_f | caligraphic_F start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT ( bold_q ) | italic_i ⟩ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT 2 italic_π italic_δ ( italic_E start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT - italic_E start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - italic_ω start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT ) , (10)

where Tsubscript𝑇\mathcal{F}_{T}caligraphic_F start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT is the target form factor and the delta function enforces energy conservation.

The last factor in determining the general rate equation is the DM phase-space distribution. We will follow Ref. [67] and take:

f(𝐯)=1N0exp((𝐯+𝐯e)2v02)Θ(vesc𝐯+𝐯e),𝑓𝐯1subscript𝑁0superscript𝐯subscript𝐯𝑒2superscriptsubscript𝑣02Θsubscript𝑣escnorm𝐯subscript𝐯𝑒f(\mathbf{v})=\frac{1}{N_{0}}\exp\left(-\frac{(\mathbf{v}+\mathbf{v}_{e})^{2}}% {v_{0}^{2}}\right)\Theta(v_{\rm{esc}}-\|\mathbf{v}+\mathbf{v}_{e}\|)\;,italic_f ( bold_v ) = divide start_ARG 1 end_ARG start_ARG italic_N start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG roman_exp ( - divide start_ARG ( bold_v + bold_v start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) roman_Θ ( italic_v start_POSTSUBSCRIPT roman_esc end_POSTSUBSCRIPT - ∥ bold_v + bold_v start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ∥ ) , (11)

where 𝐯e=240km/snormsubscript𝐯𝑒240kms\|\mathbf{v}_{e}\|=240~{}\rm{km/s}∥ bold_v start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ∥ = 240 roman_km / roman_s is the Earth’s velocity222Technically, 𝐯esubscript𝐯𝑒\mathbf{v}_{e}bold_v start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT should be replaced by the velocity of each experiment, for the space-based experiments. However, many of these mission concepts do not have finalized orbits. They are likely to be solar orbits with semi-major axis 1AUsimilar-toabsent1AU\sim 1~{}\rm{AU}∼ 1 roman_AU. To first order in orbital eccentricity, this would give them similar velocities to the Earth. The experiment on the International Space Station (BECCAL) is one exception to this. However, it’s orbital velocity around the Earth is within 10%less-than-or-similar-toabsentpercent10\lesssim 10\%≲ 10 % of the Earth’s velocity we assume here. Thus we assume Earth’s velocity for all of our experiments., Θ(x)Θ𝑥\Theta(x)roman_Θ ( italic_x ) is the Heaviside function, vesc=600km/ssubscript𝑣esc600kmsv_{\rm{esc}}=600~{}\rm{km/s}italic_v start_POSTSUBSCRIPT roman_esc end_POSTSUBSCRIPT = 600 roman_km / roman_s is the escape velocity of the Galaxy, and N0subscript𝑁0N_{0}italic_N start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT is the normalization factor:

N0=π3/2v03[erf(vescv0)2πvescv0exp(vesc2v02)].subscript𝑁0superscript𝜋32superscriptsubscript𝑣03delimited-[]erfsubscript𝑣escsubscript𝑣02𝜋subscript𝑣escsubscript𝑣0superscriptsubscript𝑣esc2superscriptsubscript𝑣02N_{0}=\pi^{3/2}v_{0}^{3}\left[\mathrm{erf}\left(\frac{v_{\rm{esc}}}{v_{0}}% \right)-\frac{2}{\sqrt{\pi}}\frac{v_{\rm{esc}}}{v_{0}}\exp\left(-\frac{v_{\rm{% esc}}^{2}}{v_{0}^{2}}\right)\right]\;.italic_N start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = italic_π start_POSTSUPERSCRIPT 3 / 2 end_POSTSUPERSCRIPT italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT [ roman_erf ( divide start_ARG italic_v start_POSTSUBSCRIPT roman_esc end_POSTSUBSCRIPT end_ARG start_ARG italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG ) - divide start_ARG 2 end_ARG start_ARG square-root start_ARG italic_π end_ARG end_ARG divide start_ARG italic_v start_POSTSUBSCRIPT roman_esc end_POSTSUBSCRIPT end_ARG start_ARG italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG roman_exp ( - divide start_ARG italic_v start_POSTSUBSCRIPT roman_esc end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) ] . (12)

We can simplify the integration by remembering that there is a relationship between the velocity and the momentum transfer. Regardless of the target, the energy deposition from a given DM momentum transfer and velocity is:

ω𝐪=qvcosθ𝐪𝐯q22mχ,subscript𝜔𝐪𝑞𝑣subscript𝜃𝐪𝐯superscript𝑞22subscript𝑚𝜒\omega_{\mathbf{q}}=qv\cos\theta_{\mathbf{qv}}-\frac{q^{2}}{2m_{\chi}}\;,italic_ω start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT = italic_q italic_v roman_cos italic_θ start_POSTSUBSCRIPT bold_qv end_POSTSUBSCRIPT - divide start_ARG italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG , (13)

where θ𝐯𝐪subscript𝜃𝐯𝐪\theta_{\mathbf{vq}}italic_θ start_POSTSUBSCRIPT bold_vq end_POSTSUBSCRIPT is the angle between 𝐯𝐯\mathbf{v}bold_v and 𝐪𝐪\mathbf{q}bold_q, and v=𝐯𝑣norm𝐯v=\|\mathbf{v}\|italic_v = ∥ bold_v ∥.

Thus, the energy deposition delta function can be traded for one in velocity. In general, we can define [67]:

g(𝐪,ω)d3𝐯f(𝐯)2πδ(ωω𝐪)=2π2v02N0q[exp(v2(𝐪,ω)/v02)exp(vesc2/v02)],𝑔𝐪𝜔superscript𝑑3𝐯𝑓𝐯2𝜋𝛿𝜔subscript𝜔𝐪2superscript𝜋2superscriptsubscript𝑣02subscript𝑁0𝑞delimited-[]superscriptsubscript𝑣2𝐪𝜔superscriptsubscript𝑣02superscriptsubscript𝑣esc2superscriptsubscript𝑣02\displaystyle\begin{split}g(\mathbf{q},\omega)&\equiv\int d^{3}\mathbf{v}~{}f(% \mathbf{v})2\pi\delta(\omega-\omega_{\mathbf{q}})\\ &=\frac{2\pi^{2}v_{0}^{2}}{N_{0}q}\left[\exp\Big{(}-v_{-}^{2}(\mathbf{q},% \omega)/v_{0}^{2}\Big{)}-\exp(-v_{\rm esc}^{2}/v_{0}^{2})\right]\;,\end{split}start_ROW start_CELL italic_g ( bold_q , italic_ω ) end_CELL start_CELL ≡ ∫ italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT bold_v italic_f ( bold_v ) 2 italic_π italic_δ ( italic_ω - italic_ω start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT ) end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL = divide start_ARG 2 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_N start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_q end_ARG [ roman_exp ( - italic_v start_POSTSUBSCRIPT - end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( bold_q , italic_ω ) / italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) - roman_exp ( - italic_v start_POSTSUBSCRIPT roman_esc end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) ] , end_CELL end_ROW (14)

where:

v(𝐪,ω)=min[1q|𝐪𝐯e+ω+q22mχ|,vesc].subscript𝑣𝐪𝜔min1𝑞𝐪subscript𝐯𝑒𝜔superscript𝑞22subscript𝑚𝜒subscript𝑣escv_{-}(\mathbf{q},\omega)=\mathrm{min}\left[\frac{1}{q}\left|\mathbf{q}\cdot% \mathbf{v}_{e}+\omega+\frac{q^{2}}{2m_{\chi}}\right|,v_{\rm{esc}}\right]\;.italic_v start_POSTSUBSCRIPT - end_POSTSUBSCRIPT ( bold_q , italic_ω ) = roman_min [ divide start_ARG 1 end_ARG start_ARG italic_q end_ARG | bold_q ⋅ bold_v start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT + italic_ω + divide start_ARG italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG | , italic_v start_POSTSUBSCRIPT roman_esc end_POSTSUBSCRIPT ] . (15)

The energy deposition in this equation is set by the conservation of energy equation in the dynamic structure factor, which is different for the various channels we discuss in this paper.

The rate equation for DM scattering that is measurable via either decoherence or phase shifts is then:

R=1ρTVρχmχπσ¯mχ2d3𝐪(2π)3med2(𝐪)(1exp(i𝐪𝚫𝐱))f|f|T(𝐪)|i|2g(𝐪,EfEi).𝑅1subscript𝜌𝑇𝑉subscript𝜌𝜒subscript𝑚𝜒𝜋¯𝜎superscriptsubscript𝑚𝜒2superscript𝑑3𝐪superscript2𝜋3superscriptsubscriptmed2𝐪1𝑖𝐪𝚫𝐱subscript𝑓superscriptquantum-operator-product𝑓subscript𝑇𝐪𝑖2𝑔𝐪subscript𝐸𝑓subscript𝐸𝑖R=\frac{1}{\rho_{T}V}\frac{\rho_{\chi}}{m_{\chi}}\frac{\pi\bar{\sigma}}{m_{% \chi}^{2}}\int\frac{d^{3}\mathbf{q}}{(2\pi)^{3}}\mathcal{F}_{\rm{med}}^{2}({% \bf q})\left(1-\exp(i\mathbf{q}\cdot\mathbf{\Delta x})\right)\sum_{f}|\langle f% |\mathcal{F}_{T}(\mathbf{q})|i\rangle|^{2}g(\mathbf{q},E_{f}-E_{i})\;.italic_R = divide start_ARG 1 end_ARG start_ARG italic_ρ start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT italic_V end_ARG divide start_ARG italic_ρ start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG divide start_ARG italic_π over¯ start_ARG italic_σ end_ARG end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ∫ divide start_ARG italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT bold_q end_ARG start_ARG ( 2 italic_π ) start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG caligraphic_F start_POSTSUBSCRIPT roman_med end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( bold_q ) ( 1 - roman_exp ( italic_i bold_q ⋅ bold_Δ bold_x ) ) ∑ start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT | ⟨ italic_f | caligraphic_F start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT ( bold_q ) | italic_i ⟩ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_g ( bold_q , italic_E start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT - italic_E start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) . (16)

To get the total decoherence factor, we integrate over the measurement time and multiply by the total target mass. If we ignore any daily modulation, then there is no explicit time-dependence in the rate. This then gives a total decoherence of:

siϕ=1Nindρχmχπσ¯mχ2texpd3𝐪(2π)3med2(𝐪)(1exp(i𝐪𝚫𝐱))f|f|T(𝐪)|i|2g(𝐪,EfEi),𝑠𝑖italic-ϕ1subscript𝑁indsubscript𝜌𝜒subscript𝑚𝜒𝜋¯𝜎superscriptsubscript𝑚𝜒2subscript𝑡expsuperscript𝑑3𝐪superscript2𝜋3superscriptsubscriptmed2𝐪1𝑖𝐪𝚫𝐱subscript𝑓superscriptquantum-operator-product𝑓subscript𝑇𝐪𝑖2𝑔𝐪subscript𝐸𝑓subscript𝐸𝑖s-i\phi=\frac{1}{N_{\rm ind}}\frac{\rho_{\chi}}{m_{\chi}}\frac{\pi\bar{\sigma}% }{m_{\chi}^{2}}t_{\rm{exp}}\int\frac{d^{3}\mathbf{q}}{(2\pi)^{3}}\mathcal{F}_{% \rm{med}}^{2}({\bf q})\left(1-\exp(i\mathbf{q}\cdot\mathbf{\Delta x})\right)% \sum_{f}|\langle f|\mathcal{F}_{T}(\mathbf{q})|i\rangle|^{2}g(\mathbf{q},E_{f}% -E_{i})\;,italic_s - italic_i italic_ϕ = divide start_ARG 1 end_ARG start_ARG italic_N start_POSTSUBSCRIPT roman_ind end_POSTSUBSCRIPT end_ARG divide start_ARG italic_ρ start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG divide start_ARG italic_π over¯ start_ARG italic_σ end_ARG end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_t start_POSTSUBSCRIPT roman_exp end_POSTSUBSCRIPT ∫ divide start_ARG italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT bold_q end_ARG start_ARG ( 2 italic_π ) start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG caligraphic_F start_POSTSUBSCRIPT roman_med end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( bold_q ) ( 1 - roman_exp ( italic_i bold_q ⋅ bold_Δ bold_x ) ) ∑ start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT | ⟨ italic_f | caligraphic_F start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT ( bold_q ) | italic_i ⟩ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_g ( bold_q , italic_E start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT - italic_E start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) , (17)

where texpsubscript𝑡expt_{\rm{exp}}italic_t start_POSTSUBSCRIPT roman_exp end_POSTSUBSCRIPT is the measurement time, and the volume factor in the rate equation cancels with the volume factor in the dynamic structure factor. The real part of the above equation quantifies the decoherence induced in a matter interferometer, while the imaginary part applies to both matter interferometers and diffuse clouds.

We stress here that, unlike other direct detection experiments, there is no minimum energy threshold for these atom interferometer experiments. Unlike traditional direct detection setups, atom interferometers do not directly measure the energy deposition – only the visibility and phase. This allows atom interferometers to probe much lighter DM masses than traditional direct detection setups. In practice, the decoherence observable loses sensitivity to light DM once the mass is below scales mχv01/Δxless-than-or-similar-tosubscript𝑚𝜒subscript𝑣01Δ𝑥m_{\chi}v_{0}\lesssim 1/\Delta xitalic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ≲ 1 / roman_Δ italic_x. On the other hand, the phase has no minimum. The main limitations for this method comes from other backgrounds.

There are many possible decoherence and phase shift mechanisms for atom interferometers [e.g., see Ref. 75]. To definitively make a DM detection, an atom interferometer would need to see a signal that varies with the expected DM flux [65]. For a terrestrial experiment, this would give the so-called “daily modulation” caused by the Earth’s rotation with respect to the incoming DM flux. For a space-based experiment, like most of the ones we consider here, the exact modulation will depend on the orbit. Low-Earth orbits will lead to modulation signals with timescales on the order of the orbit (e.g., for an experiment on the International Space Station, the timescale is 90similar-toabsent90\sim{90}∼ 90 minutes). Other orbits would need to be studied in depth. We do not consider this effect in-depth – we assume that if the decoherence and phase effects can be measured in a single shot, then their variance with time will also be measurable (but see Appendix A for a short description of how to include the daily modulation). Thus, we study here a necessary, but not sufficient, metric for detecting DM with atom interferometers.

We say that an atom interferometer has sensitivity to a given DM model when the estimated signal is larger than the expected noise (i.e., we set a signal-to-noise threshold of 1). Thus, the overall sensitivity to a given cross section is given by solving for the cross section in the equation:

(XXbkg)2σX2=1,superscript𝑋subscript𝑋bkg2superscriptsubscript𝜎𝑋21\frac{(X-X_{\rm{bkg}})^{2}}{\sigma_{X}^{2}}=1\;,divide start_ARG ( italic_X - italic_X start_POSTSUBSCRIPT roman_bkg end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_σ start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG = 1 , (18)

where X𝑋Xitalic_X denotes either the visibility, V𝑉Vitalic_V, or the phase, ϕitalic-ϕ\phiitalic_ϕ. Xbkgsubscript𝑋bkgX_{\rm{bkg}}italic_X start_POSTSUBSCRIPT roman_bkg end_POSTSUBSCRIPT is the average value of either observable without any DM scattering effects, while σXsubscript𝜎𝑋\sigma_{X}italic_σ start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT is the noise for each observable. We note that we do not study backgrounds here such as cosmic rays and solar photons. Ref. [76] claimed, via an order of magnitude estimate, that the decoherence between atom clouds caused by cosmic rays are not a significant background. Solar photons, in the forward scattering limit, could be a background source for phase shifts due to their lower energies (which can mimic dark matter kinematics) and high fluxes. However, their interaction rate will be suppressed because the atom clouds are neutral, with interactions occurring through the polarizability, which is generally suppressed. We leave detailed study for future work, but note in the interim that our reach curves can be simply re-scaled with the background event rate.

First, we consider the decoherence sensitivity. In the absence of decoherence, environmental effects, and systematics, V=1𝑉1V=1italic_V = 1. The sensitivity to any visibility change, per shot, is limited by the irreducible quantum noise limit (QNL),

σV1Nind.subscript𝜎𝑉1subscript𝑁ind\sigma_{V}\equiv\frac{1}{\sqrt{N_{\rm ind}}}\;.italic_σ start_POSTSUBSCRIPT italic_V end_POSTSUBSCRIPT ≡ divide start_ARG 1 end_ARG start_ARG square-root start_ARG italic_N start_POSTSUBSCRIPT roman_ind end_POSTSUBSCRIPT end_ARG end_ARG . (19)

Modern atom interferometers have demonstrated detection sensitivity on the QNL level (see, e.g.[77]). In this work, we assume that all proposed missions could operate at the quantum limit, and thus the noise of the visibility is given by the equation above. We also assume that σVsubscript𝜎𝑉\sigma_{V}italic_σ start_POSTSUBSCRIPT italic_V end_POSTSUBSCRIPT will scale with the number of measurements, Nmeassubscript𝑁measN_{\rm{meas}}italic_N start_POSTSUBSCRIPT roman_meas end_POSTSUBSCRIPT, as: σVNmeas1/2proportional-tosubscript𝜎𝑉superscriptsubscript𝑁meas12\sigma_{V}\propto N_{\rm{meas}}^{-1/2}italic_σ start_POSTSUBSCRIPT italic_V end_POSTSUBSCRIPT ∝ italic_N start_POSTSUBSCRIPT roman_meas end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 1 / 2 end_POSTSUPERSCRIPT. As we discuss further in the next subsection, Nmeassubscript𝑁measN_{\rm meas}italic_N start_POSTSUBSCRIPT roman_meas end_POSTSUBSCRIPT is the number of drop times accumulated over the run-time (assumed to be 1 year) of the experiment.

Now let us consider the phase sensitivity. We ignore any effects from gravity here and set the average ϕbkg=0subscriptitalic-ϕbkg0\phi_{\rm{bkg}}=0italic_ϕ start_POSTSUBSCRIPT roman_bkg end_POSTSUBSCRIPT = 0. The standard deviation of the phase is then the minimum measurable phase shift, which is set by the number of nucleons, typical contrast, and other backgrounds. The experiments we consider do not directly list their minimum phase shifts. However, in the case of zero systematic issues, the phase sensitivity can be estimated by QNL as well [78, 79]. We define our phase error as:

σϕ1radNind.subscript𝜎italic-ϕ1radsubscript𝑁ind\sigma_{\phi}\equiv\frac{1~{}\rm{rad}}{\sqrt{N_{\rm ind}}}\;.italic_σ start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT ≡ divide start_ARG 1 roman_rad end_ARG start_ARG square-root start_ARG italic_N start_POSTSUBSCRIPT roman_ind end_POSTSUBSCRIPT end_ARG end_ARG . (20)

Note that we assume perfect contrast when setting the phase constraints. We list the minimum measurable phase shifts for each mission in the last column of Table 1. As in the case of the visibility, the phase sensitivity will also scale with Nmeassubscript𝑁measN_{\rm{meas}}italic_N start_POSTSUBSCRIPT roman_meas end_POSTSUBSCRIPT as: σϕNmeas1/2proportional-tosubscript𝜎italic-ϕsuperscriptsubscript𝑁meas12\sigma_{\phi}\propto N_{\rm{meas}}^{-1/2}italic_σ start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT ∝ italic_N start_POSTSUBSCRIPT roman_meas end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 1 / 2 end_POSTSUPERSCRIPT.

We note that the minimum measurable acceleration can also be used to calculate the minimum phase via:

σϕ=14mindΔxtexpamin,subscript𝜎italic-ϕ14subscript𝑚indΔ𝑥subscript𝑡expsubscript𝑎min\sigma_{\phi}=\frac{1}{4}m_{\rm ind}\Delta x\,t_{\text{exp}}a_{\text{min}},italic_σ start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG 4 end_ARG italic_m start_POSTSUBSCRIPT roman_ind end_POSTSUBSCRIPT roman_Δ italic_x italic_t start_POSTSUBSCRIPT exp end_POSTSUBSCRIPT italic_a start_POSTSUBSCRIPT min end_POSTSUBSCRIPT , (21)

where mindsubscript𝑚indm_{\rm ind}italic_m start_POSTSUBSCRIPT roman_ind end_POSTSUBSCRIPT is the mass of one independent particle within the atom interferometer, and the momentum injected by the laser beam has been written as a function of the separation of the wave packets and the measurement time. The factor of 1/4141/41 / 4 accounts for our use of the full measurement time, texpsubscript𝑡expt_{\rm{exp}}italic_t start_POSTSUBSCRIPT roman_exp end_POSTSUBSCRIPT, rather than the time between pulses (12texp12subscript𝑡exp\frac{1}{2}t_{\rm{exp}}divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_t start_POSTSUBSCRIPT roman_exp end_POSTSUBSCRIPT), which is typically used in these estimates.

We would also like to note: there are upper bounds on the sensitivities as well: if there is too much decoherence from DM scattering in an experiment, then the experiment would never measure a fringe! This is then degenerate with an experiment simply not working properly (i.e., not properly producing a coherent state or having too many decoherence-producing backgrounds). In principle, the space-based experiments are more subject to this problem than terrestrial ones - if DM scattering cross sections were high enough to always produce decoherence, then they would most likely never reach the terrestrial detectors due to atmospheric shielding. Thus, a null test for DM in this case would be to compare identical setups in Earth and space. We ignore these issues in our sensitivity curves since this would be easily solved via the above test. In addition, several atom interferometers have been shown to properly work on the surface of the Earth, and one has been shown to work in Low-Earth Orbit [80, 81]. Although it may be difficult to distinguish DM from other backgrounds, no signal of decoherence unambiguously constrains DM interactions.

To summarize: DM scattering with momentum transfer along the separation axis of an atom interferometer causes decoherence and phase shifts in an atom interferometer. The rate of these interactions is given by Eqn. 16. The exact form of the rate will depend on the particulars of the DM model and scattering type. The measured decoherence and phase shift effects are then given by Eqn. 17 for the cases we consider. The overall sensitivity of the experiment is given by comparing either the decoherence or the phase shift to any background signal and the expected noise via Eqn. 18. The resulting limits are shown in Figs. 2, 3, and 4, which we will discuss in detail in Sections III.1 & III.2.

Refer to caption
Figure 2: DM detection prospects for atom interferometers in the nucleon cross section vs mχsubscript𝑚𝜒m_{\chi}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT plane assuming a light mediator, mϕmχproportional-tosubscript𝑚italic-ϕsubscript𝑚𝜒m_{\phi}\propto m_{\chi}italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT ∝ italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT. The solid, colored lines show the limits from decoherence, which apply to matter interferometers, and the dashed, colored lines show the limits from phase shifts, applying to both matter and cold atom interferometers. The different colors signify different experiments, where we assume 1 year of integration time for each experiment. The gray lines give the superfluid helium prospects for the nuclear recoil (solid) and 2-phonon (dashed) cases [49], and the Al2O3 prospects for phonon excitations (dotted) [44]. The superfluid helium forecasts assume a massless mediator. We assume an energy threshold of ωmin=1meVsubscript𝜔min1meV\omega_{\rm{min}}=1~{}\rm{meV}italic_ω start_POSTSUBSCRIPT roman_min end_POSTSUBSCRIPT = 1 roman_meV for Al2O3. The solid, gray regions indicate 5th force constraints from Ref. [82] (no hash), and stellar emission constraints from RGB stars (vertical hash) [83], HB stars (’X’ hash) [83], and SN1987a (dot hash) [84].

Although the atom interferometer experiments can probe to much lighter mχsubscript𝑚𝜒m_{\chi}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT than shown here, we only plot to 10eV10eV10~{}\rm{eV}10 roman_eV. Lighter DM would have velocities greater than the escape speed of the galaxy, if we assume that the DM decouples before the QCD temperature. For a longer discussion of these other constraints, see Section IV. We assume that the DM particle χ𝜒\chiitalic_χ is a DM subcomponent and set yχ=4πsubscript𝑦𝜒4𝜋y_{\chi}=\sqrt{4\pi}italic_y start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT = square-root start_ARG 4 italic_π end_ARG for the 5th force and stellar emission constraints.

Refer to caption
Figure 3: DM detection prospects for atom interferometers in the nucleon cross section vs mχsubscript𝑚𝜒m_{\chi}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT plane for fixed mϕ=1eVsubscript𝑚italic-ϕ1eVm_{\phi}=1~{}\rm{eV}italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT = 1 roman_eV. The solid, colored lines show the limits from decoherence, and the dashed, colored lines show the limits from phase shifts. The different colors signify different experiments, where we assume 1 year of integration time for each experiment. The gray lines give the superfluid helium prospects for the nuclear recoil (solid) and 2-phonon (dashed) cases [49], and the Al2O3 prospects for phonon excitations (dotted) [44]. The superfluid helium forecasts assume a massless mediator. We assume an energy threshold of ωmin=1meVsubscript𝜔min1meV\omega_{\rm{min}}=1~{}\rm{meV}italic_ω start_POSTSUBSCRIPT roman_min end_POSTSUBSCRIPT = 1 roman_meV for Al2O3. The solid, gray region indicates 5th force constraints from Ref. [82]. The change in the shape of the region is set by the transition from heavy to light mediator (as mχsubscript𝑚𝜒m_{\chi}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT increases relative to the fixed mϕ=1eVsubscript𝑚italic-ϕ1eVm_{\phi}=1~{}\rm{eV}italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT = 1 roman_eV).
Refer to caption
Figure 4: Forecasted DM-nucleon cross section limits from atom interferometers for the heavy mediator case. The solid, colored lines show the limits from decoherence, and the dashed, colored lines show the limits from phase shifts. The different colors signify different experiments, where we assume 1 year of integration time for each experiment. The gray lines give the superfluid helium prospects for the nuclear recoil (solid) and 2-phonon (dashed) [49]. The dotted line gives the Al2O3 prospects from phonon excitations [44]. We note that much of this parameter space is excluded by various collider, astrophysical, and cosmological constraints, dependent on the mediator mass and hence not shown here [see Fig. 6 of Ref. 49, and related discussions therein]. For this plot, we also assume that the χ𝜒\chiitalic_χ makes up all of the DM. Although the dark matter model space probed by atom interferometers for massive mediators is of somewhat limited interest due to existing collider, astrophysical, and cosmological constraints, we include this plot because it enables an easy calculation of the constraints for the other processes we consider in Section III.2, where such constraints do not necessarily apply.

II.1 Atom Interferometer Experiments

In this section, we describe the various atom interferometer experiments that we consider in this paper. For the most part, these are future, space-based experiment concepts that span a wide range in the parameters that matter for our DM signals (ΔxΔ𝑥\Delta xroman_Δ italic_x, Nnucleonsubscript𝑁nucleonN_{\rm{nucleon}}italic_N start_POSTSUBSCRIPT roman_nucleon end_POSTSUBSCRIPT, rcloudsubscript𝑟cloudr_{\rm{cloud}}italic_r start_POSTSUBSCRIPT roman_cloud end_POSTSUBSCRIPT, and texpsubscript𝑡expt_{\rm{exp}}italic_t start_POSTSUBSCRIPT roman_exp end_POSTSUBSCRIPT). Many of the other experiments that we do not discuss here (e.g., MAGIS-100 [85], AION [86], STE-QUEST [87]) have parameters, where published, within the ranges we consider here and also feature multiple interferometers which are beyond the scope of the present work. We note that our public code can be used to calculate the limits for any other experiment, given the necessary parameters.

Table 1 gives the important parameters for all of the experiments we consider and we discuss each of them in turn below. In analogy to other direct detection experiments, which typically give limits assuming 1 kg-yr of exposure, we assume an overall integration time of 1 year for all experiments. To calculate the number of measurements that each experiment will take, Nmeassubscript𝑁measN_{\rm meas}italic_N start_POSTSUBSCRIPT roman_meas end_POSTSUBSCRIPT, we assume no downtime between measurements and simply divide the assumed 1 year integration time by the experimental measurement time.

The Bose-Einstein Condensate and Cold Atom Laboratory (BECCAL) is a proposed upgrade [88] to the Cold Atom Lab (CAL), which is currently running on the International Space Station (ISS) [89, 80]. This upgrade would improve the current atom interferometer capabilities of CAL, including a higher number of atoms in the condensates. BECCAL would study a few different atoms; however for simplicity we focus on its 87Rb capabilities in this paper. We assume that BECCAL would produce condensates with 106superscript10610^{6}10 start_POSTSUPERSCRIPT 6 end_POSTSUPERSCRIPT atoms, a cloud size of 150μm150𝜇m150~{}\mu\rm{m}150 italic_μ roman_m, and a free-fall (measurement) time of 2.6 s. We take the separation between the atom interferometer arms to be Δx=3mmΔ𝑥3mm\Delta x=3~{}\rm{mm}roman_Δ italic_x = 3 roman_mm. Given the number of atoms in this experiment, we calculate a sensitivity of: σϕ=103subscript𝜎italic-ϕsuperscript103\sigma_{\phi}=10^{-3}italic_σ start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT = 10 start_POSTSUPERSCRIPT - 3 end_POSTSUPERSCRIPT.

Macroscopic Quantum Resonators (MAQRO) is a proposed space mission to perform high-mass matter interferometry [90, 91]. The mission would use SiO2 molecules in a cloud with 1010superscript101010^{10}10 start_POSTSUPERSCRIPT 10 end_POSTSUPERSCRIPT nucleons and a radius of 120nm120nm120~{}\rm{nm}120 roman_nm. The baseline separation would be 100nm100nm100~{}\rm{nm}100 roman_nm and the free-fall measurement time would be 100s100s100~{}\rm{s}100 roman_s. Note that since this experiment uses a solid nanoparticle rather than a diffuse atomic cloud, there is only 1111 independent phase measurement per drop. Thus, we assume a phase sensitivity for this experiment of: σϕ=1subscript𝜎italic-ϕ1\sigma_{\phi}=1italic_σ start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT = 1.

The Gravity Probe and Dark energy Detection mission (GDM) is a NASA Innovative Advanced Concepts (NIAC) Phase II mission concept [92, 93]. Although its primary goal would be to measure deviations from the gravitational inverse-square law, its instruments would be well-suited for the direct detection scheme we consider here. It would consist of a constellation of four spacecraft, each with six atom interferometers. In this paper, we consider the limits from just one of these interferometers. However, the large number of interferometers, each with separation axes in different directions would be useful for disentangling any possible DM signature from other backgrounds. This is a futuristic mission concept and many of the parameters are not concretely set yet. We take the same values assumed by the GDM team in their benchmark forecasts [94]. We assume an atom interferometer baseline of Δx=25mΔ𝑥25m\Delta x=25~{}\rm{m}roman_Δ italic_x = 25 roman_m, an interrogation time of 20s20s20~{}\rm{s}20 roman_s, a cloud size of rcloud=1mmsubscript𝑟cloud1mmr_{\rm{cloud}}=1~{}\rm{mm}italic_r start_POSTSUBSCRIPT roman_cloud end_POSTSUBSCRIPT = 1 roman_mm, and 108superscript10810^{8}10 start_POSTSUPERSCRIPT 8 end_POSTSUPERSCRIPT 87Rb atoms. From the number of atoms, we assume a phase sensitivity of σϕ=104subscript𝜎italic-ϕsuperscript104\sigma_{\phi}=10^{-4}italic_σ start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT = 10 start_POSTSUPERSCRIPT - 4 end_POSTSUPERSCRIPT.

Another mission is the Atomic Experiment for Dark Matter and Gravity Exploration in Space (AEDGE) [95], a space-based version of the long baseline earth proposals MAGIS-100 [85] and AION [86]. According to the quoted phase sensitivity of 105radHz1/2superscript105radsuperscriptHz1210^{-5}\text{rad}\,\text{Hz}^{-1/2}10 start_POSTSUPERSCRIPT - 5 end_POSTSUPERSCRIPT rad Hz start_POSTSUPERSCRIPT - 1 / 2 end_POSTSUPERSCRIPT, AEDGE will consist of a diffuse cloud of 1010superscript101010^{10}10 start_POSTSUPERSCRIPT 10 end_POSTSUPERSCRIPT 87Sr atoms with a radius of 3333 mm. The largest separation between the two clouds is expected to be 0.9 m, each shot lasting 10 minutes. We expect a phase sensitivity of σϕ=105subscript𝜎italic-ϕsuperscript105\sigma_{\phi}=10^{-5}italic_σ start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT = 10 start_POSTSUPERSCRIPT - 5 end_POSTSUPERSCRIPT.

We also consider a proposed terrestrial experiment, described in Ref. [96], which we refer to as the “Pino” experiment in this paper. This table-top experiment concept would use an all-magnetic scheme to perform a double slit experiment with a macroscopic sphere. We take the example experimental parameters listed in Appendix A of Ref. [96] as our parameters. Namely, we assume a sphere of Niobium with radius 1 micron and 2×10132superscript10132\times 10^{13}2 × 10 start_POSTSUPERSCRIPT 13 end_POSTSUPERSCRIPT nucleons. We assume a separation of 290nm290nm290~{}\rm{nm}290 roman_nm and a free-fall time of 0.483s0.483s0.483~{}\rm{s}0.483 roman_s. The goal for this experimental concept is to measure the decoherence from the self-gravity of the sphere, but it is not clear if this experiment could produce a phase measurement as well. Here we assume it will be able to measure a phase, but like MAQRO, the number of independent phase measurements per shot is Nind=1subscript𝑁ind1N_{\rm{ind}}=1italic_N start_POSTSUBSCRIPT roman_ind end_POSTSUBSCRIPT = 1. Then its phase sensitivity is: σϕ=1subscript𝜎italic-ϕ1\sigma_{\phi}=1italic_σ start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT = 1.

Finally, we consider a current terrestrial experiment, an atom interferometer drop tower described in Refs. [97, 98]. This experiment, which we refer to as the “Stanford” experiment in this paper, drops 87Rb atoms in a 10 m tower to perform the interferometry measurements. They use 4×1064superscript1064\times 10^{6}4 × 10 start_POSTSUPERSCRIPT 6 end_POSTSUPERSCRIPT atoms and have a free-fall time of 1.91s1.91s1.91~{}\rm{s}1.91 roman_s. The cloud radius is 2×104m2superscript104m2\times 10^{-4}~{}\rm{m}2 × 10 start_POSTSUPERSCRIPT - 4 end_POSTSUPERSCRIPT roman_m and the separation between the clouds is 0.067m0.067m0.067~{}\rm{m}0.067 roman_m. From the number of atoms, we assume a phase sensitivity of σϕ=5.0×104subscript𝜎italic-ϕ5.0superscript104\sigma_{\phi}=5.0\times 10^{-4}italic_σ start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT = 5.0 × 10 start_POSTSUPERSCRIPT - 4 end_POSTSUPERSCRIPT. This is within an order of magnitude of the phase calculated via Eqn. 21 and their reported acceleration sensitivity per shot of amin=1.4×1010m/s2subscript𝑎min1.4superscript1010msuperscripts2a_{\mathrm{min}}=1.4\times 10^{-10}~{}\rm{m/s}^{2}italic_a start_POSTSUBSCRIPT roman_min end_POSTSUBSCRIPT = 1.4 × 10 start_POSTSUPERSCRIPT - 10 end_POSTSUPERSCRIPT roman_m / roman_s start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT.

Mission Type Target rcloudsubscript𝑟cloudr_{\rm{cloud}}italic_r start_POSTSUBSCRIPT roman_cloud end_POSTSUBSCRIPT Nnucleonsubscript𝑁nucleonN_{\rm{nucleon}}italic_N start_POSTSUBSCRIPT roman_nucleon end_POSTSUBSCRIPT ΔxΔ𝑥\Delta xroman_Δ italic_x texpsubscript𝑡expt_{\rm{exp}}italic_t start_POSTSUBSCRIPT roman_exp end_POSTSUBSCRIPT σϕsubscript𝜎italic-ϕ\sigma_{\phi}italic_σ start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT
[m] [m] [s] [rad]
MAQRO [90, 91] Solid SiO2 1.2×1071.2superscript1071.2\times 10^{-7}1.2 × 10 start_POSTSUPERSCRIPT - 7 end_POSTSUPERSCRIPT 1010superscript101010^{10}10 start_POSTSUPERSCRIPT 10 end_POSTSUPERSCRIPT 107superscript10710^{-7}10 start_POSTSUPERSCRIPT - 7 end_POSTSUPERSCRIPT 100100100100 1.01.01.01.0
Pino [96] Solid Nb 106superscript10610^{-6}10 start_POSTSUPERSCRIPT - 6 end_POSTSUPERSCRIPT 2.2×10132.2superscript10132.2\times 10^{13}2.2 × 10 start_POSTSUPERSCRIPT 13 end_POSTSUPERSCRIPT 2.9×1072.9superscript1072.9\times 10^{-7}2.9 × 10 start_POSTSUPERSCRIPT - 7 end_POSTSUPERSCRIPT 0.483 1.01.01.01.0
BECCAL [88, 89, 80] BEC 87Rb 1.5×1041.5superscript1041.5\times 10^{-4}1.5 × 10 start_POSTSUPERSCRIPT - 4 end_POSTSUPERSCRIPT 8.7×1078.7superscript1078.7\times 10^{7}8.7 × 10 start_POSTSUPERSCRIPT 7 end_POSTSUPERSCRIPT 3×1033superscript1033\times 10^{-3}3 × 10 start_POSTSUPERSCRIPT - 3 end_POSTSUPERSCRIPT 2.6 1.0×1031.0superscript1031.0\times 10^{-3}1.0 × 10 start_POSTSUPERSCRIPT - 3 end_POSTSUPERSCRIPT
GDM [93, 92, 94] BEC 87Rb 103superscript10310^{-3}10 start_POSTSUPERSCRIPT - 3 end_POSTSUPERSCRIPT 8.7×1098.7superscript1098.7\times 10^{9}8.7 × 10 start_POSTSUPERSCRIPT 9 end_POSTSUPERSCRIPT 25252525 20202020 1.0×1041.0superscript1041.0\times 10^{-4}1.0 × 10 start_POSTSUPERSCRIPT - 4 end_POSTSUPERSCRIPT
Stanford [97, 98] Diffuse cloud 87Rb 2×1042superscript1042\times 10^{-4}2 × 10 start_POSTSUPERSCRIPT - 4 end_POSTSUPERSCRIPT 3.5×1083.5superscript1083.5\times 10^{8}3.5 × 10 start_POSTSUPERSCRIPT 8 end_POSTSUPERSCRIPT 6.7×1026.7superscript1026.7\times 10^{-2}6.7 × 10 start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT 1.911.911.911.91 5.0×1045.0superscript1045.0\times 10^{-4}5.0 × 10 start_POSTSUPERSCRIPT - 4 end_POSTSUPERSCRIPT
AEDGE [99] Diffuse cloud 87Sr 3×1033superscript1033\times 10^{-3}3 × 10 start_POSTSUPERSCRIPT - 3 end_POSTSUPERSCRIPT 8.7×10118.7superscript10118.7\times 10^{11}8.7 × 10 start_POSTSUPERSCRIPT 11 end_POSTSUPERSCRIPT 0.90.90.90.9 600600600600 1.0×1051.0superscript1051.0\times 10^{-5}1.0 × 10 start_POSTSUPERSCRIPT - 5 end_POSTSUPERSCRIPT
Table 1: Mission concept parameters assumed in this paper. The phase sensitivity, σϕsubscript𝜎italic-ϕ\sigma_{\phi}italic_σ start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT, is given per exposure time. We calculate σϕsubscript𝜎italic-ϕ\sigma_{\phi}italic_σ start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT for all experiments based on Eqn. 20. The other parameters are taken from the references shown next to each experiment. The details are given in Section II.1.

III Dark Matter Interaction Rates in Atom Interferometers

Various interaction processes between the DM and atoms can cause the decoherence and phase shift effects. As will be discussed in detail below, because atoms in an atom interferometer begin in a coherent state, the DM-atom interaction rate will receive an N2superscript𝑁2N^{2}italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT enhancement in the coherent scattering limit in the scenarios we consider (contrast loss for matter interferometers, phase-shifts for matter interferometers and cold atom clouds), where N𝑁Nitalic_N is the number of nucleons or electrons in the target. Thus, to exploit this N2superscript𝑁2N^{2}italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT enhancement, we primarily seek processes that do not break the coherence of states within one wavepacket. In particular, we consider DM scattering via nuclear recoils (III.1), and interactions involving dark photons and coherent axion scattering (III.2). Only the nuclear recoils produce interesting constraints; however, we give estimates of the constraints for the other cases.

III.1 Nuclear Recoil

In this section, we derive the atom interferometer observables expected from DM scattering via nuclear recoils. We must use the physics of nuclear recoils to set two of the terms in Eqn. 17: the target form factor, and the energy deposition via the conservation of energy. We start with these definitions and then walk through the simplifications needed to arrive at the final decoherence equation, Eqn. 29. We then consider the phase observable.

We will be agnostic about the mediator in this section and take its form factor to be:

med(q)=(mχv0)2+mϕ2q2+mϕ2,subscriptmed𝑞superscriptsubscript𝑚𝜒subscript𝑣02superscriptsubscript𝑚italic-ϕ2superscript𝑞2superscriptsubscript𝑚italic-ϕ2\mathcal{F}_{\rm{med}}(q)=\frac{(m_{\chi}v_{0})^{2}+m_{\phi}^{2}}{q^{2}+m_{% \phi}^{2}}\;,caligraphic_F start_POSTSUBSCRIPT roman_med end_POSTSUBSCRIPT ( italic_q ) = divide start_ARG ( italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , (22)

where v0subscript𝑣0v_{0}italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT is the DM velocity dispersion. This reduces to the light mediator form factor (med(q)(mχv0/q)2subscriptmed𝑞superscriptsubscript𝑚𝜒subscript𝑣0𝑞2\mathcal{F}_{\rm{med}}(q)\rightarrow(m_{\chi}v_{0}/q)^{2}caligraphic_F start_POSTSUBSCRIPT roman_med end_POSTSUBSCRIPT ( italic_q ) → ( italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT / italic_q ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT) for mϕ0subscript𝑚italic-ϕ0m_{\phi}\rightarrow 0italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT → 0, and to the heavy mediator form factor (med(q)1subscriptmed𝑞1\mathcal{F}_{\rm{med}}(q)\rightarrow 1caligraphic_F start_POSTSUBSCRIPT roman_med end_POSTSUBSCRIPT ( italic_q ) → 1) for mϕqmuch-greater-thansubscript𝑚italic-ϕ𝑞m_{\phi}\gg qitalic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT ≫ italic_q.

An important factor in setting these limits is whether the scattering is in the coherent limit (i.e., whether the DM scatters off of the cloud as a whole or only 1 nucleus). This is set by the momentum transfer, q𝑞qitalic_q, of the dark matter and the relevant cloud radii. We note that the various limits here will apply, when considering loss of contrast, to matter interferometers, and when considering phase-shifts, to both matter and cold atom interferometers. These limits will be important for both finding the target form factor and the minimum velocity, vsubscript𝑣v_{-}italic_v start_POSTSUBSCRIPT - end_POSTSUBSCRIPT.

Consider an atom interferometer that has NAsubscript𝑁𝐴N_{A}italic_N start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT identical atoms, each with atomic mass number A𝐴Aitalic_A. The structure factor contains the response of these N=ANA𝑁𝐴subscript𝑁𝐴N=AN_{A}italic_N = italic_A italic_N start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT nucleons to a DM scattering event. It will depend on the momentum transfer, q𝑞qitalic_q, versus the size of the atom cloud, rCsubscript𝑟𝐶r_{C}italic_r start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT, the size of each atom, rAsubscript𝑟𝐴r_{A}italic_r start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT, and the size of each nucleon, rNsubscript𝑟𝑁r_{N}italic_r start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT. In particular, there are four regimes to consider:

  1. 1.

    q1/rCmuch-less-than𝑞1subscript𝑟𝐶q\ll 1/r_{C}italic_q ≪ 1 / italic_r start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT: Here, the DM does not “see” any of the separate atoms. Instead, it sees the entire atomic cloud as one object. This means that the rate will receive a Born enhancement: RN2proportional-to𝑅superscript𝑁2R\propto N^{2}italic_R ∝ italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT.

  2. 2.

    1/rC<q<1/rA1subscript𝑟𝐶𝑞1subscript𝑟𝐴1/r_{C}<q<1/r_{A}1 / italic_r start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT < italic_q < 1 / italic_r start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT: In this case, the DM sees the separate atoms, but does not see individual nucleons. Thus, there is a Born enhancement for each of the nucleons within an atom, but not for all of the atoms: RA2NAproportional-to𝑅superscript𝐴2subscript𝑁𝐴R\propto A^{2}N_{A}italic_R ∝ italic_A start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_N start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT.

  3. 3.

    1/rA<q<1/rN1subscript𝑟𝐴𝑞1subscript𝑟𝑁1/r_{A}<q<1/r_{N}1 / italic_r start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT < italic_q < 1 / italic_r start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT: Here, the DM sees each separate nucleon. There is no Born enhancement of any kind: RNproportional-to𝑅𝑁R\propto Nitalic_R ∝ italic_N.

  4. 4.

    q1/rNmuch-greater-than𝑞1subscript𝑟𝑁q\gg 1/r_{N}italic_q ≫ 1 / italic_r start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT: We do not consider any extra interactions in this case, and we allow the rate to go to zero whenever the momenta is large enough to probe within individual nucleons.

With all of this in mind, we take the structure factor to be:

f|f|T(𝐪)|i|2=i,j=1,,NAeiΔ𝐲ij𝐪target=N[1+AFA2(q)+A(NA1)F2(qrC)],subscript𝑓superscriptquantum-operator-product𝑓subscript𝑇𝐪𝑖2subscriptformulae-sequence𝑖𝑗1subscript𝑁𝐴subscriptdelimited-⟨⟩superscript𝑒𝑖Δsubscript𝐲𝑖𝑗𝐪target𝑁delimited-[]1𝐴superscriptsubscript𝐹𝐴2𝑞𝐴subscript𝑁𝐴1superscript𝐹2𝑞subscript𝑟𝐶\sum_{f}|\langle f|\mathcal{F}_{T}(\mathbf{q})|i\rangle|^{2}=\sum_{i,j=1,...,N% _{A}}\langle e^{-i\Delta\mathbf{y}_{ij}\cdot\mathbf{q}}\rangle_{\rm{target}}=N% [1+AF_{A}^{2}(q)+A(N_{A}-1)F^{2}(qr_{C})]\;,∑ start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT | ⟨ italic_f | caligraphic_F start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT ( bold_q ) | italic_i ⟩ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = ∑ start_POSTSUBSCRIPT italic_i , italic_j = 1 , … , italic_N start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT end_POSTSUBSCRIPT ⟨ italic_e start_POSTSUPERSCRIPT - italic_i roman_Δ bold_y start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ⋅ bold_q end_POSTSUPERSCRIPT ⟩ start_POSTSUBSCRIPT roman_target end_POSTSUBSCRIPT = italic_N [ 1 + italic_A italic_F start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_q ) + italic_A ( italic_N start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT - 1 ) italic_F start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_q italic_r start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT ) ] , (23)

where FA(x)subscript𝐹𝐴𝑥F_{A}(x)italic_F start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT ( italic_x ) is the atomic form factor, F(x)𝐹𝑥F(x)italic_F ( italic_x ) is the cloud form factor, and ΔyijΔsubscript𝑦𝑖𝑗\Delta y_{ij}roman_Δ italic_y start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT are the interparticle spacings. We take the atomic form factor to be the Helm form factor [100]:

FA(q)=3j1(qrA)qrAeq2sp2/2,subscript𝐹𝐴𝑞3subscript𝑗1𝑞subscript𝑟𝐴𝑞subscript𝑟𝐴superscript𝑒superscript𝑞2superscriptsubscript𝑠𝑝22F_{A}(q)=\frac{3j_{1}(qr_{A})}{qr_{A}}e^{-q^{2}s_{p}^{2}/2}\;,italic_F start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT ( italic_q ) = divide start_ARG 3 italic_j start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_q italic_r start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT ) end_ARG start_ARG italic_q italic_r start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT end_ARG italic_e start_POSTSUPERSCRIPT - italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_s start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / 2 end_POSTSUPERSCRIPT , (24)

where j1(x)subscript𝑗1𝑥j_{1}(x)italic_j start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_x ) is a spherical Bessel function, rAA1/3×1.2fmsubscript𝑟𝐴superscript𝐴131.2fmr_{A}\approx A^{1/3}\times 1.2~{}\rm{fm}italic_r start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT ≈ italic_A start_POSTSUPERSCRIPT 1 / 3 end_POSTSUPERSCRIPT × 1.2 roman_fm is the typical size of an atom, and sp0.9fmsubscript𝑠𝑝0.9fms_{p}\approx 0.9~{}\rm{fm}italic_s start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT ≈ 0.9 roman_fm is the skin depth.

The cloud form factor is typically taken as [64, 101]:

F(x)=3j1(x)x.𝐹𝑥3subscript𝑗1𝑥𝑥F(x)=\frac{3j_{1}(x)}{x}\;.italic_F ( italic_x ) = divide start_ARG 3 italic_j start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_x ) end_ARG start_ARG italic_x end_ARG . (25)

Note that for low momentum transfer, F2(qrC)1superscript𝐹2𝑞subscript𝑟𝐶1F^{2}(q\,r_{C})\rightarrow 1italic_F start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_q italic_r start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT ) → 1. For high momentum transfer, F2(qrC)1/(qrC)4superscript𝐹2𝑞subscript𝑟𝐶1superscript𝑞subscript𝑟𝐶4F^{2}(q\,r_{C})\rightarrow 1/(q\,r_{C})^{4}italic_F start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_q italic_r start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT ) → 1 / ( italic_q italic_r start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT. This cloud form factor is appropriate for experiments with macroscopic particles, such as Pino and MAQRO, as well as diffuse atomic clouds, such as Stanford and AEDGE. However, for the BEC experiments we discuss in this paper (BECCAL, and GDM), although we treat them exactly in the same way as a diffuse cloud under dark matter scattering, we must make a small modification. As discussed in Appendix B, the form factor for the BEC experiments is: F(x)=exp[(qrC/2)2]𝐹𝑥superscript𝑞subscript𝑟𝐶22F(x)=\exp\left[-(qr_{C}/2)^{2}\right]italic_F ( italic_x ) = roman_exp [ - ( italic_q italic_r start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT / 2 ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ]. Note that although the above form factor is a reasonable approximation to this form factor, we do use this BEC form factor for the BEC experiments.

Now, let us consider the conservation of energy. For a given momentum transfer q𝑞qitalic_q, the change in energy of a target nucleus is: EfEi=q2/(2mi)subscript𝐸𝑓subscript𝐸𝑖superscript𝑞22subscript𝑚𝑖E_{f}-E_{i}=q^{2}/(2m_{i})italic_E start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT - italic_E start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / ( 2 italic_m start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ), where i𝑖iitalic_i refers to either the full atomic cloud or one atom, as discussed above. However, note that for the dark matter masses that we consider in this paper mχmimuch-less-thansubscript𝑚𝜒subscript𝑚𝑖m_{\chi}\ll m_{i}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ≪ italic_m start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT regardless of the target i𝑖iitalic_i. Thus, we can approximate EfEi=ω0subscript𝐸𝑓subscript𝐸𝑖𝜔similar-to-or-equals0E_{f}-E_{i}=\omega\simeq 0italic_E start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT - italic_E start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = italic_ω ≃ 0. With the energy deposition given by Eqn. 13, the minimum velocity is then given by:

v(𝐪)min[1q|𝐪𝐯e+q22mχ|,vesc].subscript𝑣𝐪min1𝑞𝐪subscript𝐯𝑒superscript𝑞22subscript𝑚𝜒subscript𝑣escv_{-}({\bf q})\approx\mathrm{min}\left[\frac{1}{q}\left|\mathbf{q}\cdot\mathbf% {v}_{e}+\frac{q^{2}}{2m_{\chi}}\right|,v_{\rm{esc}}\right]\;.italic_v start_POSTSUBSCRIPT - end_POSTSUBSCRIPT ( bold_q ) ≈ roman_min [ divide start_ARG 1 end_ARG start_ARG italic_q end_ARG | bold_q ⋅ bold_v start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT + divide start_ARG italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG | , italic_v start_POSTSUBSCRIPT roman_esc end_POSTSUBSCRIPT ] . (26)

Note that vsubscript𝑣v_{-}italic_v start_POSTSUBSCRIPT - end_POSTSUBSCRIPT depends on both the magnitude and direction of 𝐪𝐪\mathbf{q}bold_q. Although the direction will not have a large impact on the decoherence rate calculation, it will be important for the phase calculation.

III.1.1 Decoherence

The limits of this subsection apply solely to matter interferometers. The decoherence is given by the real part of Eqn. 17. As was shown by Ref. [65], the daily modulation only affects the decoherence rate by a factor 2222. We also find that it has little effect on the final limits (see Appendix A). Thus, for ease of understanding the underlying physics, we set 𝐯e=0subscript𝐯𝑒0\mathbf{v}_{e}=0bold_v start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT = 0 for the decoherence calculations.

Putting all of the above together gives a decoherence rate of:

Rdecoh=1ρTVρχmχπσ¯v02(q02+mϕ2)22N0mχ2mϕ4𝑑qq((q/mϕ)2+1)2N[1+AFA2(q)+A(NA1)F2(qrC)]×[exp(v2(q)v02)exp(vesc2v02)]11dcosθ(1cos(𝐪𝚫𝐱)),subscript𝑅decoh1subscript𝜌𝑇𝑉subscript𝜌𝜒subscript𝑚𝜒𝜋¯𝜎superscriptsubscript𝑣02superscriptsuperscriptsubscript𝑞02superscriptsubscript𝑚italic-ϕ222subscript𝑁0superscriptsubscript𝑚𝜒2superscriptsubscript𝑚italic-ϕ4differential-d𝑞𝑞superscriptsuperscript𝑞subscript𝑚italic-ϕ212𝑁delimited-[]1𝐴superscriptsubscript𝐹𝐴2𝑞𝐴subscript𝑁𝐴1superscript𝐹2𝑞subscript𝑟𝐶delimited-[]superscriptsubscript𝑣2𝑞superscriptsubscript𝑣02superscriptsubscript𝑣esc2superscriptsubscript𝑣02superscriptsubscript11𝑑𝜃1𝐪𝚫𝐱\displaystyle\begin{split}R_{\rm{decoh}}=\frac{1}{\rho_{T}V}\frac{\rho_{\chi}}% {m_{\chi}}\frac{\pi\bar{\sigma}v_{0}^{2}(q_{0}^{2}+m_{\phi}^{2})^{2}}{2N_{0}m_% {\chi}^{2}m_{\phi}^{4}}\int dq\frac{q}{\left((q/m_{\phi})^{2}+1\right)^{2}}N[1% +AF_{A}^{2}(q)+A(N_{A}-1)F^{2}(qr_{C})]\\ \times\left[\exp\left(-\frac{v_{-}^{2}(q)}{v_{0}^{2}}\right)-\exp\left(-\frac{% v_{\rm esc}^{2}}{v_{0}^{2}}\right)\right]\int_{-1}^{1}d\cos\theta\left(1-\cos(% \mathbf{q}\cdot\mathbf{\Delta x})\right)\;,\end{split}start_ROW start_CELL italic_R start_POSTSUBSCRIPT roman_decoh end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG italic_ρ start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT italic_V end_ARG divide start_ARG italic_ρ start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG divide start_ARG italic_π over¯ start_ARG italic_σ end_ARG italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_q start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_N start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG ∫ italic_d italic_q divide start_ARG italic_q end_ARG start_ARG ( ( italic_q / italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + 1 ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_N [ 1 + italic_A italic_F start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_q ) + italic_A ( italic_N start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT - 1 ) italic_F start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_q italic_r start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT ) ] end_CELL end_ROW start_ROW start_CELL × [ roman_exp ( - divide start_ARG italic_v start_POSTSUBSCRIPT - end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_q ) end_ARG start_ARG italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) - roman_exp ( - divide start_ARG italic_v start_POSTSUBSCRIPT roman_esc end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) ] ∫ start_POSTSUBSCRIPT - 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT italic_d roman_cos italic_θ ( 1 - roman_cos ( bold_q ⋅ bold_Δ bold_x ) ) , end_CELL end_ROW (27)

where we define θ𝜃\thetaitalic_θ as the angle between 𝐪𝐪{\bf q}bold_q and 𝚫𝐱𝚫𝐱{\bf\Delta x}bold_Δ bold_x. The cosine integral can be done analytically, yielding:

Rdecoh=1ρTVρχmχπσ¯v02(q02+mϕ2)2N0mχ2mϕ4𝑑qq((q/mϕ)2+1)2N[1+AFA2(q)+A(NA1)F2(qrC)]×[exp(v2(q)v02)exp(vesc2v02)](1sin(qΔx)qΔx).subscript𝑅decoh1subscript𝜌𝑇𝑉subscript𝜌𝜒subscript𝑚𝜒𝜋¯𝜎superscriptsubscript𝑣02superscriptsuperscriptsubscript𝑞02superscriptsubscript𝑚italic-ϕ22subscript𝑁0superscriptsubscript𝑚𝜒2superscriptsubscript𝑚italic-ϕ4differential-d𝑞𝑞superscriptsuperscript𝑞subscript𝑚italic-ϕ212𝑁delimited-[]1𝐴superscriptsubscript𝐹𝐴2𝑞𝐴subscript𝑁𝐴1superscript𝐹2𝑞subscript𝑟𝐶delimited-[]superscriptsubscript𝑣2𝑞superscriptsubscript𝑣02superscriptsubscript𝑣esc2superscriptsubscript𝑣021𝑞Δ𝑥𝑞Δ𝑥\displaystyle\begin{split}R_{\rm{decoh}}=\frac{1}{\rho_{T}V}\frac{\rho_{\chi}}% {m_{\chi}}\frac{\pi\bar{\sigma}v_{0}^{2}(q_{0}^{2}+m_{\phi}^{2})^{2}}{N_{0}m_{% \chi}^{2}m_{\phi}^{4}}\int dq\frac{q}{\left((q/m_{\phi})^{2}+1\right)^{2}}N[1+% AF_{A}^{2}(q)+A(N_{A}-1)F^{2}(qr_{C})]\\ \times\left[\exp\left(-\frac{v_{-}^{2}(q)}{v_{0}^{2}}\right)-\exp\left(-\frac{% v_{\rm esc}^{2}}{v_{0}^{2}}\right)\right]\left(1-\frac{\sin(q\Delta x)}{q% \Delta x}\right).\end{split}start_ROW start_CELL italic_R start_POSTSUBSCRIPT roman_decoh end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG italic_ρ start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT italic_V end_ARG divide start_ARG italic_ρ start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG divide start_ARG italic_π over¯ start_ARG italic_σ end_ARG italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_q start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_N start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG ∫ italic_d italic_q divide start_ARG italic_q end_ARG start_ARG ( ( italic_q / italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + 1 ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_N [ 1 + italic_A italic_F start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_q ) + italic_A ( italic_N start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT - 1 ) italic_F start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_q italic_r start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT ) ] end_CELL end_ROW start_ROW start_CELL × [ roman_exp ( - divide start_ARG italic_v start_POSTSUBSCRIPT - end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_q ) end_ARG start_ARG italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) - roman_exp ( - divide start_ARG italic_v start_POSTSUBSCRIPT roman_esc end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) ] ( 1 - divide start_ARG roman_sin ( italic_q roman_Δ italic_x ) end_ARG start_ARG italic_q roman_Δ italic_x end_ARG ) . end_CELL end_ROW (28)

The overall decoherence is given by plugging this into Eqn. 17:

s=1Nindρχmχπσ¯v02(q02+mϕ2)2N0mχ2mϕ4texp𝑑qq((q/mϕ)2+1)2N[1+AFA2(q)+A(NA1)F2(qrC)]×[exp(v2(q)v02)exp(vesc2v02)](1sin(qΔx)qΔx).𝑠1subscript𝑁indsubscript𝜌𝜒subscript𝑚𝜒𝜋¯𝜎superscriptsubscript𝑣02superscriptsuperscriptsubscript𝑞02superscriptsubscript𝑚italic-ϕ22subscript𝑁0superscriptsubscript𝑚𝜒2superscriptsubscript𝑚italic-ϕ4subscript𝑡expdifferential-d𝑞𝑞superscriptsuperscript𝑞subscript𝑚italic-ϕ212𝑁delimited-[]1𝐴superscriptsubscript𝐹𝐴2𝑞𝐴subscript𝑁𝐴1superscript𝐹2𝑞subscript𝑟𝐶delimited-[]superscriptsubscript𝑣2𝑞superscriptsubscript𝑣02superscriptsubscript𝑣esc2superscriptsubscript𝑣021𝑞Δ𝑥𝑞Δ𝑥\displaystyle\begin{split}s=\frac{1}{N_{\rm ind}}\frac{\rho_{\chi}}{m_{\chi}}% \frac{\pi\bar{\sigma}v_{0}^{2}(q_{0}^{2}+m_{\phi}^{2})^{2}}{N_{0}m_{\chi}^{2}m% _{\phi}^{4}}t_{\rm{exp}}\int dq\frac{q}{\left((q/m_{\phi})^{2}+1\right)^{2}}N[% 1+AF_{A}^{2}(q)+A(N_{A}-1)F^{2}(qr_{C})]\\ \times\left[\exp\left(-\frac{v_{-}^{2}(q)}{v_{0}^{2}}\right)-\exp\left(-\frac{% v_{\rm esc}^{2}}{v_{0}^{2}}\right)\right]\left(1-\frac{\sin(q\Delta x)}{q% \Delta x}\right).\end{split}start_ROW start_CELL italic_s = divide start_ARG 1 end_ARG start_ARG italic_N start_POSTSUBSCRIPT roman_ind end_POSTSUBSCRIPT end_ARG divide start_ARG italic_ρ start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG divide start_ARG italic_π over¯ start_ARG italic_σ end_ARG italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_q start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_N start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG italic_t start_POSTSUBSCRIPT roman_exp end_POSTSUBSCRIPT ∫ italic_d italic_q divide start_ARG italic_q end_ARG start_ARG ( ( italic_q / italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + 1 ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_N [ 1 + italic_A italic_F start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_q ) + italic_A ( italic_N start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT - 1 ) italic_F start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_q italic_r start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT ) ] end_CELL end_ROW start_ROW start_CELL × [ roman_exp ( - divide start_ARG italic_v start_POSTSUBSCRIPT - end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_q ) end_ARG start_ARG italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) - roman_exp ( - divide start_ARG italic_v start_POSTSUBSCRIPT roman_esc end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) ] ( 1 - divide start_ARG roman_sin ( italic_q roman_Δ italic_x ) end_ARG start_ARG italic_q roman_Δ italic_x end_ARG ) . end_CELL end_ROW (29)

To build intuition, we now consider various approximations of this integral. For each of these, we will also consider two scenarios for the mediator mass: mϕmχproportional-tosubscript𝑚italic-ϕsubscript𝑚𝜒m_{\phi}\propto m_{\chi}italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT ∝ italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT and fixed mϕsubscript𝑚italic-ϕm_{\phi}italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT. These correspond to Figures 2 & 3, respectively.

  1. 1.

    mχ0subscript𝑚𝜒0m_{\chi}\rightarrow 0italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT → 0 – For either mediator case, this limit implies that both qrC1much-less-than𝑞subscript𝑟𝐶1q\,r_{C}\ll 1italic_q italic_r start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT ≪ 1 and qΔx1much-less-than𝑞Δ𝑥1q\,\Delta x\ll 1italic_q roman_Δ italic_x ≪ 1. The first of these allows the last term in the target form factor to dominate, which makes the rate go as N2superscript𝑁2N^{2}italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. The second of these will set the last term in Eqn 28 to go as (qΔx)2superscript𝑞Δ𝑥2(q\Delta x)^{2}( italic_q roman_Δ italic_x ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT (to second order in the Taylor expansion). In addition, v0subscript𝑣0v_{-}\rightarrow 0italic_v start_POSTSUBSCRIPT - end_POSTSUBSCRIPT → 0. Taking the light mediator limit of the form factor, we find that the limit on the cross section scales as:

    limmχ0σ¯nNindN21mχ(Δx)2,proportional-tosubscriptsubscript𝑚𝜒0subscript¯𝜎𝑛subscript𝑁indsuperscript𝑁21subscript𝑚𝜒superscriptΔ𝑥2\lim_{m_{\chi}\to 0}\bar{\sigma}_{n}\propto\frac{\sqrt{N_{\rm ind}}}{N^{2}}% \frac{1}{m_{\chi}(\Delta x)^{2}},roman_lim start_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT → 0 end_POSTSUBSCRIPT over¯ start_ARG italic_σ end_ARG start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ∝ divide start_ARG square-root start_ARG italic_N start_POSTSUBSCRIPT roman_ind end_POSTSUBSCRIPT end_ARG end_ARG start_ARG italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG divide start_ARG 1 end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ( roman_Δ italic_x ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , (30)

    where we only write the factors that depend on the DM mass and the experiment explicitly. This behavior applies to both mϕmχproportional-tosubscript𝑚italic-ϕsubscript𝑚𝜒m_{\phi}\propto m_{\chi}italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT ∝ italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT and mϕ=constantsubscript𝑚italic-ϕconstantm_{\phi}=\text{constant}italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT = constant. In this limit of mχ0subscript𝑚𝜒0m_{\chi}\to 0italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT → 0, these two mediator scenarios correspond to the massless mediator and heavy mediator cases, respectively; however, both have the same form factor limit: limmχ0med1similar-tosubscriptsubscript𝑚𝜒0subscriptmed1\lim_{m_{\chi}\to 0}{\cal F}_{\text{med}}\sim 1roman_lim start_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT → 0 end_POSTSUBSCRIPT caligraphic_F start_POSTSUBSCRIPT med end_POSTSUBSCRIPT ∼ 1.

  2. 2.

    mχsubscript𝑚𝜒m_{\chi}\to\inftyitalic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT → ∞ – For mϕmχproportional-tosubscript𝑚italic-ϕsubscript𝑚𝜒m_{\phi}\propto m_{\chi}italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT ∝ italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT, the rate benefits from the momentum transfer growing proportionally to the dark matter mass. In this limit, qrC1much-greater-than𝑞subscript𝑟𝐶1q\,r_{C}\gg 1italic_q italic_r start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT ≫ 1 and qΔx1much-greater-than𝑞Δ𝑥1q\,\Delta x\gg 1italic_q roman_Δ italic_x ≫ 1. The first of these means that the first term in the target form factor dominates, so RdecohNproportional-tosubscript𝑅decoh𝑁R_{\rm{decoh}}\propto Nitalic_R start_POSTSUBSCRIPT roman_decoh end_POSTSUBSCRIPT ∝ italic_N. The second of these will set the probability of causing decoherence to 1111. Taking the light mediator limit of the form factor we find:

    limmχσ¯nNindNmχformϕmχ.formulae-sequenceproportional-tosubscriptsubscript𝑚𝜒subscript¯𝜎𝑛subscript𝑁ind𝑁subscript𝑚𝜒proportional-toforsubscriptmitalic-ϕsubscriptm𝜒\lim_{m_{\chi}\to\infty}\bar{\sigma}_{n}\propto\frac{\sqrt{N_{\rm ind}}}{N}m_{% \chi}\quad\rm{for~{}}m_{\phi}\propto m_{\chi}\;.roman_lim start_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT → ∞ end_POSTSUBSCRIPT over¯ start_ARG italic_σ end_ARG start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ∝ divide start_ARG square-root start_ARG italic_N start_POSTSUBSCRIPT roman_ind end_POSTSUBSCRIPT end_ARG end_ARG start_ARG italic_N end_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT roman_for roman_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT ∝ roman_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT . (31)

    Thus the cross section limit at high masses is only dependent on the number of nuclei in the experiments and is largely insensitive to the rest of the experimental setup. Note that in Fig. 2 we do not reach high enough masses to see this behavior for the experiments plotted. Instead, the higher masses in our plots in Fig. 2 are explained by limit 3.

    Now let us consider the mϕ=constantsubscript𝑚italic-ϕconstantm_{\phi}=\text{constant}italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT = constant case. We will set mϕ=1 eV1/rCsubscript𝑚italic-ϕ1 eVgreater-than-or-equivalent-to1subscript𝑟𝐶m_{\phi}=1\text{ eV}\gtrsim 1/r_{C}italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT = 1 eV ≳ 1 / italic_r start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT, as we do in Fig. 3. Unlike in the previous case, for a fixed mediator mass the rate benefits from low momentum transfer, q<rC1𝑞superscriptsubscript𝑟𝐶1q<r_{C}^{-1}italic_q < italic_r start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT. Then, we expect the following scaling for the masses mχ>mϕ/v01keVsubscript𝑚𝜒subscript𝑚italic-ϕsubscript𝑣0similar-to1keVm_{\chi}>m_{\phi}/v_{0}\sim 1~{}\rm{keV}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT > italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT / italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ∼ 1 roman_keV:

    σ¯NindN2mϕ4rC2mχformϕ=constant.formulae-sequenceproportional-to¯𝜎subscript𝑁indsuperscript𝑁2superscriptsubscript𝑚italic-ϕ4superscriptsubscript𝑟𝐶2subscript𝑚𝜒forsubscriptmitalic-ϕconstant\bar{\sigma}\propto\frac{\sqrt{N_{\rm ind}}}{N^{2}}\frac{m_{\phi}^{4}r_{C}^{2}% }{m_{\chi}}\quad\rm{for~{}}m_{\phi}=\text{constant}\;.over¯ start_ARG italic_σ end_ARG ∝ divide start_ARG square-root start_ARG italic_N start_POSTSUBSCRIPT roman_ind end_POSTSUBSCRIPT end_ARG end_ARG start_ARG italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG divide start_ARG italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT italic_r start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG roman_for roman_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT = constant . (32)

    Naively it might be surprising that the limits on the reference cross section improve linearly with mχsubscript𝑚𝜒m_{\chi}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT, as Fig. 3 displays. However, because we define σ¯(yχyϕ)2/mχ2proportional-to¯𝜎superscriptsubscript𝑦𝜒subscript𝑦italic-ϕ2superscriptsubscript𝑚𝜒2\bar{\sigma}\propto(y_{\chi}y_{\phi})^{2}/m_{\chi}^{2}over¯ start_ARG italic_σ end_ARG ∝ ( italic_y start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT italic_y start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT for mχmϕmuch-greater-thansubscript𝑚𝜒subscript𝑚italic-ϕm_{\chi}\gg m_{\phi}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ≫ italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT (see Eq. 4), the constraints on the couplings (yχyϕ)2superscriptsubscript𝑦𝜒subscript𝑦italic-ϕ2(y_{\chi}y_{\phi})^{2}( italic_y start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT italic_y start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT weaken linearly with mχsubscript𝑚𝜒m_{\chi}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT in this limit. This relationship between the couplings and the reference cross section also explains why the 5th force constraints become more aggressive at higher mχsubscript𝑚𝜒m_{\chi}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT for fixed mϕsubscript𝑚italic-ϕm_{\phi}italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT (see Section IV and Ref. [68] for more discussion).

    For the fixed mediator case where mχ<mϕ/v01keVsubscript𝑚𝜒subscript𝑚italic-ϕsubscript𝑣0similar-to1keVm_{\chi}<m_{\phi}/v_{0}\sim 1~{}\rm{keV}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT < italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT / italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ∼ 1 roman_keV, the cross-section is expected to scale as:

    σ¯NindN2mχ3rC2formϕ=constant.formulae-sequenceproportional-to¯𝜎subscript𝑁indsuperscript𝑁2superscriptsubscript𝑚𝜒3superscriptsubscript𝑟𝐶2forsubscriptmitalic-ϕconstant\bar{\sigma}\propto\frac{\sqrt{N_{\rm ind}}}{N^{2}}m_{\chi}^{3}r_{C}^{2}\quad% \rm{for~{}}m_{\phi}=\text{constant}\;.over¯ start_ARG italic_σ end_ARG ∝ divide start_ARG square-root start_ARG italic_N start_POSTSUBSCRIPT roman_ind end_POSTSUBSCRIPT end_ARG end_ARG start_ARG italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_r start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_for roman_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT = constant . (33)
  3. 3.

    There is a third limit for mχmϕproportional-tosubscript𝑚𝜒subscript𝑚italic-ϕm_{\chi}\propto m_{\phi}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ∝ italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT that lies in between the first two limits: when q<rC1𝑞superscriptsubscript𝑟𝐶1q<r_{C}^{-1}italic_q < italic_r start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT and q(Δx)1similar-to𝑞superscriptΔ𝑥1q\sim(\Delta x)^{-1}italic_q ∼ ( roman_Δ italic_x ) start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT. Since q<rC1𝑞superscriptsubscript𝑟𝐶1q<r_{C}^{-1}italic_q < italic_r start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT, the rate still has an N2superscript𝑁2N^{2}italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT enhancement; however, since q(Δx)1similar-to𝑞superscriptΔ𝑥1q\sim(\Delta x)^{-1}italic_q ∼ ( roman_Δ italic_x ) start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT, the probability of producing decoherence is also high. In this intermediate regime, which is between the two “knees”, the two mediator cases behave differently.

    For mϕmχproportional-tosubscript𝑚italic-ϕsubscript𝑚𝜒m_{\phi}\propto m_{\chi}italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT ∝ italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT, q<rC1𝑞superscriptsubscript𝑟𝐶1q<r_{C}^{-1}italic_q < italic_r start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT boosts the mχ3superscriptsubscript𝑚𝜒3m_{\chi}^{-3}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 3 end_POSTSUPERSCRIPT dependence of the rate, which dominates with respect to the mχ1superscriptsubscript𝑚𝜒1m_{\chi}^{-1}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT discussed in the second limit. Thus, we expect:

    σ¯NindN2rC2Rϕχ4mχ3,proportional-to¯𝜎subscript𝑁indsuperscript𝑁2superscriptsubscript𝑟𝐶2superscriptsubscript𝑅italic-ϕ𝜒4superscriptsubscript𝑚𝜒3\bar{\sigma}\propto\frac{\sqrt{N_{\rm ind}}}{N^{2}}r_{C}^{2}R_{\phi\chi}^{4}m_% {\chi}^{3},over¯ start_ARG italic_σ end_ARG ∝ divide start_ARG square-root start_ARG italic_N start_POSTSUBSCRIPT roman_ind end_POSTSUBSCRIPT end_ARG end_ARG start_ARG italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_r start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_R start_POSTSUBSCRIPT italic_ϕ italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT , (34)

    where Rϕχ=mϕ/mχsubscript𝑅italic-ϕ𝜒subscript𝑚italic-ϕsubscript𝑚𝜒R_{\phi\chi}=m_{\phi}/m_{\chi}italic_R start_POSTSUBSCRIPT italic_ϕ italic_χ end_POSTSUBSCRIPT = italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT / italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT is the constant ratio assumed between the mediator and the dark matter masses.

The sweet spot for sensitivity of the matter interferometers occurs in the threshold between limit 1 and 3, corresponding to a change in the sign of the slope in the curves in Fig. 2. These two limits overlap at the mχsubscript𝑚𝜒m_{\chi}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT with best sensitivity, where the rate is boosted by both a large probability of decoherence and the N2superscript𝑁2N^{2}italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT Born enhancement. Equating both limits we expect the best constraint for a given experiment to happen at:

mχknee1RϕχΔxrC.similar-tosuperscriptsubscript𝑚𝜒knee1subscript𝑅italic-ϕ𝜒Δ𝑥subscript𝑟𝐶m_{\chi}^{\text{knee}}\sim\frac{1}{R_{\phi\chi}\sqrt{\Delta x\,r_{C}}}.italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT knee end_POSTSUPERSCRIPT ∼ divide start_ARG 1 end_ARG start_ARG italic_R start_POSTSUBSCRIPT italic_ϕ italic_χ end_POSTSUBSCRIPT square-root start_ARG roman_Δ italic_x italic_r start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT end_ARG end_ARG . (35)

III.1.2 Phase

The limits of this subsection apply to both matter interferometers and cold atomic clouds. As mentioned above, the phase effect relies on anistropy of the DM flux. Thus, we must include the Earth’s velocity, vesubscript𝑣𝑒v_{e}italic_v start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT, when calculating the phase effect. This gives a phase rate of:

Rphase=1ρTVρχmχπσ¯v02(q02+mϕ2)22N0mχ2mϕ4𝑑qq((q/mϕ)2+1)2N[1+AFA2(q)+A(NA1)F2(qrC)]×11dcosθ(sin(𝐪𝚫𝐱))[exp(v2(q,θ)v02)exp(vesc2v02)].subscript𝑅phase1subscript𝜌𝑇𝑉subscript𝜌𝜒subscript𝑚𝜒𝜋¯𝜎superscriptsubscript𝑣02superscriptsuperscriptsubscript𝑞02superscriptsubscript𝑚italic-ϕ222subscript𝑁0superscriptsubscript𝑚𝜒2superscriptsubscript𝑚italic-ϕ4differential-d𝑞𝑞superscriptsuperscript𝑞subscript𝑚italic-ϕ212𝑁delimited-[]1𝐴superscriptsubscript𝐹𝐴2𝑞𝐴subscript𝑁𝐴1superscript𝐹2𝑞subscript𝑟𝐶superscriptsubscript11𝑑𝜃𝐪𝚫𝐱delimited-[]superscriptsubscript𝑣2𝑞𝜃superscriptsubscript𝑣02superscriptsubscript𝑣esc2superscriptsubscript𝑣02\displaystyle\begin{split}R_{\rm{phase}}=\frac{1}{\rho_{T}V}\frac{\rho_{\chi}}% {m_{\chi}}\frac{\pi\bar{\sigma}v_{0}^{2}(q_{0}^{2}+m_{\phi}^{2})^{2}}{2N_{0}m_% {\chi}^{2}m_{\phi}^{4}}\int dq\frac{q}{\left((q/m_{\phi})^{2}+1\right)^{2}}N[1% +AF_{A}^{2}(q)+A(N_{A}-1)F^{2}(qr_{C})]\\ \times\int_{-1}^{1}d\cos\theta\left(-\sin(\mathbf{q}\cdot\mathbf{\Delta x})% \right)\left[\exp\left(-\frac{v_{-}^{2}(q,\theta)}{v_{0}^{2}}\right)-\exp\left% (-\frac{v_{\rm esc}^{2}}{v_{0}^{2}}\right)\right].\end{split}start_ROW start_CELL italic_R start_POSTSUBSCRIPT roman_phase end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG italic_ρ start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT italic_V end_ARG divide start_ARG italic_ρ start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG divide start_ARG italic_π over¯ start_ARG italic_σ end_ARG italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_q start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_N start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG ∫ italic_d italic_q divide start_ARG italic_q end_ARG start_ARG ( ( italic_q / italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + 1 ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_N [ 1 + italic_A italic_F start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_q ) + italic_A ( italic_N start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT - 1 ) italic_F start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_q italic_r start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT ) ] end_CELL end_ROW start_ROW start_CELL × ∫ start_POSTSUBSCRIPT - 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT italic_d roman_cos italic_θ ( - roman_sin ( bold_q ⋅ bold_Δ bold_x ) ) [ roman_exp ( - divide start_ARG italic_v start_POSTSUBSCRIPT - end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_q , italic_θ ) end_ARG start_ARG italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) - roman_exp ( - divide start_ARG italic_v start_POSTSUBSCRIPT roman_esc end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) ] . end_CELL end_ROW (36)

Since the presence of the vesubscript𝑣𝑒v_{e}italic_v start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT term in Eqn. 26 promotes the integrand to an odd function, the dark matter flux anisotropy is critical for obtaining a non-zero rate.

We now analyze the behavior of the rate in the limit of different DM masses. As in the decoherence case, we discuss limits in the context of two mediator scenarios, shown in Figures 2 & 3: where mϕsubscript𝑚italic-ϕm_{\phi}italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT is some constant ratio of mχsubscript𝑚𝜒m_{\chi}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT, and where mϕsubscript𝑚italic-ϕm_{\phi}italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT is fixed to some value.

  1. 1.

    mχ0subscript𝑚𝜒0m_{\chi}\rightarrow 0italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT → 0 – As before, in this limit qrC1much-less-than𝑞subscript𝑟𝐶1q\,r_{C}\ll 1italic_q italic_r start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT ≪ 1 and qΔx1much-less-than𝑞Δ𝑥1q\,\Delta x\ll 1italic_q roman_Δ italic_x ≪ 1. The first of these makes the rate go as N2superscript𝑁2N^{2}italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, and the second of these allows us to expand sin(𝐪𝚫𝐱)qΔxcosθsimilar-to-or-equals𝐪𝚫𝐱𝑞Δ𝑥𝜃\sin(\mathbf{q}\cdot\mathbf{\Delta x})\simeq q\,\Delta x\cos\thetaroman_sin ( bold_q ⋅ bold_Δ bold_x ) ≃ italic_q roman_Δ italic_x roman_cos italic_θ (to first order in the Taylor expansion) in Eqn. 36. Hence, the cross section constraints in this limit scale as:

    limmχ0σ¯NindN2Δx.proportional-tosubscriptsubscript𝑚𝜒0¯𝜎subscript𝑁indsuperscript𝑁2Δ𝑥\lim_{m_{\chi}\to 0}\bar{\sigma}\propto\frac{\sqrt{N_{\rm ind}}}{N^{2}}\Delta x\;.roman_lim start_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT → 0 end_POSTSUBSCRIPT over¯ start_ARG italic_σ end_ARG ∝ divide start_ARG square-root start_ARG italic_N start_POSTSUBSCRIPT roman_ind end_POSTSUBSCRIPT end_ARG end_ARG start_ARG italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG roman_Δ italic_x . (37)

    This behaviour applies independently of the mϕsubscript𝑚italic-ϕm_{\phi}italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT scenario. This is because, as before, limmχ0medconstant in mχsimilar-tosubscriptsubscript𝑚𝜒0subscriptmedconstant in subscript𝑚𝜒\lim_{m_{\chi}\to 0}{\cal F}_{\text{med}}\sim\text{constant in }m_{\chi}roman_lim start_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT → 0 end_POSTSUBSCRIPT caligraphic_F start_POSTSUBSCRIPT med end_POSTSUBSCRIPT ∼ constant in italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT in both cases. Note that the sensitivity of the phase measurement in this limit is expected to be constant. This constant shift in the phase induced by the low DM momentum transfer can be understood as the classical effect of having a wave with large wavelength acting on two clouds separated by a physical distance of ΔxΔ𝑥\Delta xroman_Δ italic_x. We only see this constant behavior at the lower mϕsubscript𝑚italic-ϕm_{\phi}italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT ratios in Fig. 2 because the mϕ/mχsubscript𝑚italic-ϕsubscript𝑚𝜒m_{\phi}/m_{\chi}italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT / italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ratio sets the intercept with the next limit case (see below).

  2. 2.

    mχsubscript𝑚𝜒m_{\chi}\to\inftyitalic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT → ∞Rphase0subscript𝑅phase0R_{\text{phase}}\to 0italic_R start_POSTSUBSCRIPT phase end_POSTSUBSCRIPT → 0 when qΔx1much-greater-than𝑞Δ𝑥1q\,\Delta x\gg 1italic_q roman_Δ italic_x ≫ 1 because of the oscillatory behavior of the sinusoidal function (see right panel of Fig. 1 for illustration). Thus, we are interested in the limit where mχsubscript𝑚𝜒m_{\chi}\to\inftyitalic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT → ∞, but vv0much-less-than𝑣subscript𝑣0v\ll v_{0}italic_v ≪ italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT. This implies that qΔx1less-than-or-similar-to𝑞Δ𝑥1q\,\Delta x\lesssim 1italic_q roman_Δ italic_x ≲ 1 will bound the growth of q𝑞qitalic_q, which will then be decoupled from mχsubscript𝑚𝜒m_{\chi}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT. Furthermore, because we are now in the qΔx1less-than-or-similar-to𝑞Δ𝑥1q\,\Delta x\lesssim 1italic_q roman_Δ italic_x ≲ 1 regime, we may expect the N2superscript𝑁2N^{2}italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT term in the target form factor will dominate (since for most of the missions rCΔxsimilar-tosubscript𝑟𝐶Δ𝑥r_{C}\sim\Delta xitalic_r start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT ∼ roman_Δ italic_x). Hence, we expect the cross section constraint to scale as:

    limmχσ¯NindN2(Δx)3mχ4rϕχ4 for mϕmχ,formulae-sequenceproportional-tosubscriptsubscript𝑚𝜒¯𝜎subscript𝑁indsuperscript𝑁2superscriptΔ𝑥3superscriptsubscript𝑚𝜒4superscriptsubscript𝑟italic-ϕ𝜒4proportional-to for subscript𝑚italic-ϕsubscript𝑚𝜒\lim_{m_{\chi}\to\infty}\bar{\sigma}\propto\frac{\sqrt{N_{\rm ind}}}{N^{2}}% \frac{(\Delta x)^{3}\,m_{\chi}^{4}}{r_{\phi\chi}^{4}}\quad\text{ for }m_{\phi}% \propto m_{\chi}\;,roman_lim start_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT → ∞ end_POSTSUBSCRIPT over¯ start_ARG italic_σ end_ARG ∝ divide start_ARG square-root start_ARG italic_N start_POSTSUBSCRIPT roman_ind end_POSTSUBSCRIPT end_ARG end_ARG start_ARG italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG divide start_ARG ( roman_Δ italic_x ) start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG start_ARG italic_r start_POSTSUBSCRIPT italic_ϕ italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG for italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT ∝ italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT , (38)

    where an extra 1/(mχΔx)1subscript𝑚𝜒Δ𝑥1/(m_{\chi}\Delta x)1 / ( italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT roman_Δ italic_x ) in the rate comes from the phase integral, as Eqn. 9 explicitly shows333Notice that v~esubscript~𝑣𝑒\tilde{v}_{e}over~ start_ARG italic_v end_ARG start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT factorizes out in the right-hand side of Eqn. 9 due to the expansion of the hyperbolic sine and it scales inversely proportional to mχΔxsubscript𝑚𝜒Δ𝑥m_{\chi}\Delta xitalic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT roman_Δ italic_x.. The σ¯nmχ4proportional-tosubscript¯𝜎𝑛superscriptsubscript𝑚𝜒4\bar{\sigma}_{n}\propto m_{\chi}^{4}over¯ start_ARG italic_σ end_ARG start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ∝ italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT scaling determines the slope of the curves in the logarithmic plots of Fig. 2. The intercept is fixed by ΔxΔ𝑥\Delta xroman_Δ italic_x, N𝑁Nitalic_N, and the ratio rϕχ=mϕ/mχsubscript𝑟italic-ϕ𝜒subscript𝑚italic-ϕsubscript𝑚𝜒r_{\phi\chi}=m_{\phi}/m_{\chi}italic_r start_POSTSUBSCRIPT italic_ϕ italic_χ end_POSTSUBSCRIPT = italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT / italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT.

    On the other hand, when mϕsubscript𝑚italic-ϕm_{\phi}italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT is fixed, the cross section sensitivity scales as:

    limmχσ¯NindN2(Δx)3mϕ4 for a fixed mϕ,proportional-tosubscriptsubscript𝑚𝜒¯𝜎subscript𝑁indsuperscript𝑁2superscriptΔ𝑥3superscriptsubscript𝑚italic-ϕ4 for a fixed subscript𝑚italic-ϕ\lim_{m_{\chi}\to\infty}\bar{\sigma}\propto\frac{\sqrt{N_{\rm ind}}}{N^{2}}(% \Delta x)^{3}\,m_{\phi}^{4}\quad\text{ for a fixed }m_{\phi}\;,roman_lim start_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT → ∞ end_POSTSUBSCRIPT over¯ start_ARG italic_σ end_ARG ∝ divide start_ARG square-root start_ARG italic_N start_POSTSUBSCRIPT roman_ind end_POSTSUBSCRIPT end_ARG end_ARG start_ARG italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ( roman_Δ italic_x ) start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT for a fixed italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT , (39)

    which is independent of mχsubscript𝑚𝜒m_{\chi}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT (as long as this limit holds). If mϕ<1/Δxsubscript𝑚italic-ϕ1Δ𝑥m_{\phi}<1/\Delta xitalic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT < 1 / roman_Δ italic_x, the constant scaling with mχsubscript𝑚𝜒m_{\chi}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT would go as σ¯Nind/(N2Δx)proportional-to¯𝜎subscript𝑁indsuperscript𝑁2Δ𝑥\bar{\sigma}\propto\sqrt{N_{\rm ind}}/(N^{2}\Delta x)over¯ start_ARG italic_σ end_ARG ∝ square-root start_ARG italic_N start_POSTSUBSCRIPT roman_ind end_POSTSUBSCRIPT end_ARG / ( italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Δ italic_x ).

We note that the phase shifts discussed here can only be seen if the visibility is high enough to measure the fringe reliably. Thus, there cannot be a large decoherence effect. The phase limits we show in our figures are then only valid when they are more constraining than the decoherence limits. We include the full curves as a reference.

One final note before we move on to other interactions: if the DM scatters off of the electrons in the clouds instead, we would get a similar rate: this rate may also get an N2superscript𝑁2N^{2}italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT enhancement since the electrons in these experiments are also coherent. However, we do not explicitly include these results here because the limits from astrophysical constraints are much more constraining for electron couplings [see, e.g., 68].

III.2 Hidden Photon Processes and Coherent Axion Scattering

In this section, we consider other processes that could cause decoherence and phase shifts in an atom interferometer through coherently scattering with one of the two wavepackets. We discuss three different processes: DM scattering mediated by a hidden photon through kinematic mixing, hidden photon scattering through baryon and lepton number couplings, and coherent axion scattering. The hidden photon kinematic mixing scenario has a rate suppressed by the poor polarizability of the atom clouds in these experiments. The rates for the other two processes can be projected onto the rate for nuclear recoil with heavy mediators, and thus are not optimized for detection. Overall, these processes do not prove as compelling for atom interferometers as the nuclear recoil with light mediators. We focus on the decoherence observable within matter interferometers (Pino, and MAQRO) only in this section; however, the phase shifts can be calculated using the methods of the previous section.

  • Hidden photon through kinetic mixing

    A hidden photon, Asuperscript𝐴A^{\prime}italic_A start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT, couples to the SM photon through a kinetic mixing operator κ2FμνFμν𝜅2superscript𝐹𝜇𝜈subscriptsuperscript𝐹𝜇𝜈{\cal L}\supset\frac{\kappa}{2}F^{\mu\nu}F^{\prime}_{\mu\nu}caligraphic_L ⊃ divide start_ARG italic_κ end_ARG start_ARG 2 end_ARG italic_F start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT italic_F start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT, where κ𝜅\kappaitalic_κ is the kinetic mixing parameter, Fμνsubscript𝐹𝜇𝜈F_{\mu\nu}italic_F start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT is the photon field strength, and Fμνsubscriptsuperscript𝐹𝜇𝜈F^{\prime}_{\mu\nu}italic_F start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT is that for the dark photon. The SM photons polarize the atom clouds with polarizability α𝛼\alphaitalic_α, and the effective Hamiltonian for the interaction between the dark photon, the SM photon, and the target medium then reads:

    HI=ακd3𝐫n(𝐫)𝐄(𝐫)𝐄(𝐫),subscript𝐻I𝛼𝜅superscript𝑑3𝐫𝑛𝐫𝐄𝐫superscript𝐄𝐫H_{\rm I}=-\alpha\,\kappa\int d^{3}\mathbf{r}\,n(\mathbf{r})\mathbf{E}(\mathbf% {r})\cdot\mathbf{E}^{\prime}(\mathbf{r})\;,italic_H start_POSTSUBSCRIPT roman_I end_POSTSUBSCRIPT = - italic_α italic_κ ∫ italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT bold_r italic_n ( bold_r ) bold_E ( bold_r ) ⋅ bold_E start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( bold_r ) , (40)

    where 𝐄𝐄\mathbf{E}bold_E is the electric field for the SM photons, 𝐄superscript𝐄\mathbf{E}^{\prime}bold_E start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT is the electric field for the dark photon and n(𝐫)𝑛𝐫n(\mathbf{r})italic_n ( bold_r ) is the number density of the solid.

    With this interaction Hamiltonian, we can calculate the overall decoherence for DM scattering mediated by the hidden photon in the absence of external fields using the real part of Eqn. 17:

    s=1Nind(αa03)2ρχmχπσ¯μ2texpd3𝐪(2π)3med2(1cos(𝐪𝚫𝐱))f|f|T(𝐪)|i|2g(𝐪,ω1),𝑠1subscript𝑁indsuperscript𝛼superscriptsubscript𝑎032subscript𝜌𝜒subscript𝑚𝜒𝜋¯𝜎superscript𝜇2subscript𝑡expsuperscript𝑑3𝐪superscript2𝜋3superscriptsubscriptmed21𝐪𝚫𝐱subscript𝑓superscriptquantum-operator-product𝑓subscript𝑇𝐪𝑖2𝑔𝐪subscript𝜔1s=\frac{1}{N_{\rm ind}}\left(\frac{\alpha}{a_{0}^{3}}\right)^{2}\frac{\rho_{% \chi}}{m_{\chi}}\frac{\pi\bar{\sigma}}{\mu^{2}}t_{\rm{exp}}\int\frac{d^{3}% \mathbf{q}}{(2\pi)^{3}}\mathcal{F}_{\rm{med}}^{2}\left(1-\cos(\mathbf{q}\cdot% \mathbf{\Delta x})\right)\sum_{f}|\langle f|\mathcal{F}_{T}(\mathbf{q})|i% \rangle|^{2}g(\mathbf{q},\omega_{1})\;,italic_s = divide start_ARG 1 end_ARG start_ARG italic_N start_POSTSUBSCRIPT roman_ind end_POSTSUBSCRIPT end_ARG ( divide start_ARG italic_α end_ARG start_ARG italic_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT divide start_ARG italic_ρ start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG divide start_ARG italic_π over¯ start_ARG italic_σ end_ARG end_ARG start_ARG italic_μ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_t start_POSTSUBSCRIPT roman_exp end_POSTSUBSCRIPT ∫ divide start_ARG italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT bold_q end_ARG start_ARG ( 2 italic_π ) start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG caligraphic_F start_POSTSUBSCRIPT roman_med end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( 1 - roman_cos ( bold_q ⋅ bold_Δ bold_x ) ) ∑ start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT | ⟨ italic_f | caligraphic_F start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT ( bold_q ) | italic_i ⟩ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_g ( bold_q , italic_ω start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) , (41)

    where a0subscript𝑎0a_{0}italic_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT is the Bohr radius. Following the formalism in [49], we define the reference cross section σ¯¯𝜎\bar{\sigma}over¯ start_ARG italic_σ end_ARG as:

    [Uncaptioned image]:σ¯=κ2μ2π1(mχ2v02+mA2)2,[Uncaptioned image]:¯𝜎superscript𝜅2superscript𝜇2𝜋1superscriptsuperscriptsubscript𝑚𝜒2superscriptsubscript𝑣02superscriptsubscript𝑚superscript𝐴22\begin{gathered}\includegraphics[width=73.7146pt]{RefXsec_DPhot.pdf}\end{% gathered}\quad:\quad\begin{gathered}\bar{\sigma}=\kappa^{2}\frac{\mu^{2}}{\pi}% \frac{1}{(m_{\chi}^{2}v_{0}^{2}+m_{A^{\prime}}^{2})^{2}}\;,\end{gathered}start_ROW start_CELL end_CELL end_ROW : start_ROW start_CELL over¯ start_ARG italic_σ end_ARG = italic_κ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT divide start_ARG italic_μ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_π end_ARG divide start_ARG 1 end_ARG start_ARG ( italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_m start_POSTSUBSCRIPT italic_A start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , end_CELL end_ROW (42)

    where we have assumed the DM charge under the hidden photon to be 1. We use the mediator form factor:

    med(q)=(mχv0)2+mA2q2+mA2,subscriptmed𝑞superscriptsubscript𝑚𝜒subscript𝑣02superscriptsubscript𝑚superscript𝐴2superscript𝑞2superscriptsubscript𝑚superscript𝐴2\mathcal{F}_{\rm{med}}(q)=\frac{(m_{\chi}v_{0})^{2}+m_{A^{\prime}}^{2}}{q^{2}+% m_{A^{\prime}}^{2}},caligraphic_F start_POSTSUBSCRIPT roman_med end_POSTSUBSCRIPT ( italic_q ) = divide start_ARG ( italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_m start_POSTSUBSCRIPT italic_A start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_m start_POSTSUBSCRIPT italic_A start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , (43)

    and the structure function (convoluted with the kinematic function):

    f|f|T(𝐪)|i|2g(𝐪,ω1)=a06q22d3𝐤1(2π)3ω1S(𝐪𝐤1)g(𝐪,ω1),subscript𝑓superscriptquantum-operator-product𝑓subscript𝑇𝐪𝑖2𝑔𝐪subscript𝜔1superscriptsubscript𝑎06superscript𝑞22superscript𝑑3subscript𝐤1superscript2𝜋3subscript𝜔1𝑆𝐪subscript𝐤1𝑔𝐪subscript𝜔1\sum_{f}|\langle f|\mathcal{F}_{T}(\mathbf{q})|i\rangle|^{2}g(\mathbf{q},% \omega_{1})=a_{0}^{6}\frac{q^{2}}{2}\int\frac{d^{3}\mathbf{k}_{1}}{(2\pi)^{3}}% \omega_{1}S(\mathbf{q}-\mathbf{k}_{1})g(\mathbf{q},\omega_{1})\;,∑ start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT | ⟨ italic_f | caligraphic_F start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT ( bold_q ) | italic_i ⟩ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_g ( bold_q , italic_ω start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) = italic_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 6 end_POSTSUPERSCRIPT divide start_ARG italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG ∫ divide start_ARG italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT bold_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG ( 2 italic_π ) start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG italic_ω start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_S ( bold_q - bold_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) italic_g ( bold_q , italic_ω start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) , (44)

    where the static structure factor S(𝐪𝐤1)=i,j=1,,NAeiΔ𝐲ij(𝐪𝐤1)target𝑆𝐪subscript𝐤1subscriptformulae-sequence𝑖𝑗1subscript𝑁𝐴subscriptdelimited-⟨⟩superscript𝑒𝑖Δsubscript𝐲𝑖𝑗𝐪subscript𝐤1targetS(\mathbf{q}-\mathbf{k}_{1})=\sum_{i,j=1,...,N_{A}}\langle e^{-i\Delta\mathbf{% y}_{ij}\cdot(\mathbf{q}-\mathbf{k}_{1})}\rangle_{\rm{target}}italic_S ( bold_q - bold_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) = ∑ start_POSTSUBSCRIPT italic_i , italic_j = 1 , … , italic_N start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT end_POSTSUBSCRIPT ⟨ italic_e start_POSTSUPERSCRIPT - italic_i roman_Δ bold_y start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ⋅ ( bold_q - bold_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) end_POSTSUPERSCRIPT ⟩ start_POSTSUBSCRIPT roman_target end_POSTSUBSCRIPT follows the same form as the one derived for nuclear recoil in Eqn. 23 (see Sec. C for a detailed derivation). Notice that ω1subscript𝜔1\omega_{1}italic_ω start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT is the energy of an on-shell photon and obeys the dispersion relation ω1k1subscript𝜔1subscript𝑘1\omega_{1}\approx k_{1}italic_ω start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ≈ italic_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT.

    We perform a numerical evaluation of the decoherence effect with α/a03𝒪(100)similar-to𝛼superscriptsubscript𝑎03𝒪100\alpha/a_{0}^{3}\sim\mathcal{O}(100)italic_α / italic_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ∼ caligraphic_O ( 100 ), and find that the limits are greater-than-or-equivalent-to\gtrsim 20 orders of magnitude lower than the nuclear recoil limits in the light mχsubscript𝑚𝜒m_{\chi}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT regime.

  • Hidden photon through baryon and lepton number couplings

    A hidden photon can couple coherently to the total baryon number of the atom cloud through:

    gB3q¯γμqZBμ,subscript𝑔𝐵3¯𝑞subscript𝛾𝜇𝑞superscriptsubscript𝑍𝐵𝜇\mathcal{L}\supset\frac{g_{B}}{3}\bar{q}\gamma_{\mu}qZ_{B}^{\mu},caligraphic_L ⊃ divide start_ARG italic_g start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT end_ARG start_ARG 3 end_ARG over¯ start_ARG italic_q end_ARG italic_γ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_q italic_Z start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT , (45)

    where gBsubscript𝑔𝐵g_{B}italic_g start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT is the gauge coupling constant.

    The rate for ZBsubscript𝑍𝐵Z_{B}italic_Z start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT scattering, and thus the overall decoherence, mediated by a nucleon, has the same dynamical structure function as nuclear recoil given by Eqn. 23. However, the reference cross section in this case is defined as:

    [Uncaptioned image]:σ¯=316πmN2(gB3)4,\begin{gathered}\includegraphics[width=86.72267pt]{DiagramZB.pdf}\end{gathered% }:\quad\bar{\sigma}=\frac{3}{16\pi m_{N}^{2}}\left(\frac{g_{B}}{3}\right)^{4}\;,start_ROW start_CELL end_CELL end_ROW : over¯ start_ARG italic_σ end_ARG = divide start_ARG 3 end_ARG start_ARG 16 italic_π italic_m start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ( divide start_ARG italic_g start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT end_ARG start_ARG 3 end_ARG ) start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT , (46)

    with a trivial mediator form factor med(q)=1subscriptmed𝑞1\mathcal{F}_{\rm{med}}(q)=1caligraphic_F start_POSTSUBSCRIPT roman_med end_POSTSUBSCRIPT ( italic_q ) = 1. We note that this cross section scaling is similar to that of nuclear recoil mediated by a heavy mediator. This is a consequence of the vector nature of the baryonic force on quarks; if a non-zero axial interaction is present, the cross section would be enhanced by a factor mN2/mZB2superscriptsubscript𝑚𝑁2superscriptsubscript𝑚subscript𝑍𝐵2m_{N}^{2}/m_{Z_{B}}^{2}italic_m start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / italic_m start_POSTSUBSCRIPT italic_Z start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. The sensitivity curves for a heavy mediator are shown in Fig. 4, which can be converted to limits on gBsubscript𝑔𝐵g_{B}italic_g start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT using the reference cross section above.

    Similarly to the baryon number coupling scenario, if the hidden photon couples to the net lepton number, the rate would also benefit from the same coherent scattering enhancement. However, as mentioned at the end of Sec. III.1, the electronic interactions of DM are more constrained that those involving baryons [68].

  • Coherent axion scattering

    Generally, couplings between axion DM and fermions are spin-dependent, which would break the coherence within one wavepacket and suppress the scattering rate. However, as has been recently pointed out in Ref. [102], there is a spin-independent interaction between axions and nucleons:

    a28fa2N=p,nδmNN¯N,superscript𝑎28superscriptsubscript𝑓𝑎2subscript𝑁𝑝𝑛𝛿subscript𝑚𝑁¯𝑁𝑁\mathcal{L}\supset\frac{a^{2}}{8f_{a}^{2}}\sum_{N=p,n}\delta m_{N}\,\bar{N}N\;,caligraphic_L ⊃ divide start_ARG italic_a start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 8 italic_f start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ∑ start_POSTSUBSCRIPT italic_N = italic_p , italic_n end_POSTSUBSCRIPT italic_δ italic_m start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT over¯ start_ARG italic_N end_ARG italic_N , (47)

    where a𝑎aitalic_a is the axion field, fasubscript𝑓𝑎f_{a}italic_f start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT is the axion decay constant, and the mass parameter δmN𝒪(10)similar-to𝛿subscript𝑚𝑁𝒪10\delta m_{N}\sim\mathcal{O}(10)italic_δ italic_m start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT ∼ caligraphic_O ( 10 ) MeV characterizes the quark mass contribution to the nucleon mass. Importantly, such an interaction is not additionally suppressed by the axion mass masubscript𝑚𝑎m_{a}italic_m start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT, as is normally expected from the expansion of the axion-nucleon interacting term. Instead, it is proportional to the quark masses, encoded in δmN𝛿subscript𝑚𝑁\delta m_{N}italic_δ italic_m start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT, which also violate the shift-symmetry in the UV Lagrangian. This spin-independent interaction, combined with the large occupation number of axion DM, at first seems like a promising candidate for detecting axion DM with atom interferometers.

    This effective interaction produces coherent axion scattering with the atom cloud, which causes an overall decoherence similar to the nuclear recoil case with heavy mediators. The reference cross section in this case is then:

    σ¯=μ2256π(δmNfa2)21ma2,¯𝜎superscript𝜇2256𝜋superscript𝛿subscript𝑚𝑁superscriptsubscript𝑓𝑎221superscriptsubscript𝑚𝑎2\bar{\sigma}=\frac{\mu^{2}}{256\pi}{\left(\frac{\delta m_{N}}{f_{a}^{2}}\right% )}^{2}\frac{1}{m_{a}^{2}}\;,over¯ start_ARG italic_σ end_ARG = divide start_ARG italic_μ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 256 italic_π end_ARG ( divide start_ARG italic_δ italic_m start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT end_ARG start_ARG italic_f start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , (48)

    with a trivial mediator form factor. Recasting the heavy mediator limit shown in Fig. 4, this probes fasubscript𝑓𝑎f_{a}italic_f start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT only up to 100 GeV100 GeV100\text{ GeV}100 GeV and thus is not a promising target.

IV Comparison with Other Constraints

In this section, we put the limits we derive above into context. We first describe how they compare to previous atom interferometer dark matter limits. Then, we compare our results to other direct detection methods, and relevant astrophysical and cosmological constraints.

IV.1 Comparison to previous calculations

Refs. [64, 65] were the first to suggest using atom interferometers to probe dark matter through the decoherence effect we consider in this paper. They solely consider nuclear recoil calculations and their results are equivalent to ours if we choose the same statistical methods from each paper. Ref. [65] only considers the decoherence observable. While [64] does consider the phase observable, it is not clear how they set their statistics for the phase. Several other works [61, 62, 63] have considered the phase effects in atom interferometers from ultralight dark matter (ULDM). However, these works rely on phase effects produced by varying the fine structure constant and electron mass, which are quite distinct from the effects we consider here.

IV.2 Comparison to other direct detection methods

Most direct detection experiments cannot probe the small DM masses to which atom interferometers will be sensitive. The notable exceptions will be superfluid Helium experiments [49] and phonon excitations in semiconductors [44], as shown by the grey lines in Fig. 2. These experiments will outperform the atom interferometers we discuss in this paper for mediator masses mϕ>107mχsubscript𝑚italic-ϕsuperscript107subscript𝑚𝜒m_{\phi}>10^{-7}m_{\chi}italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT > 10 start_POSTSUPERSCRIPT - 7 end_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT; however, none of these experiments can probe below mχ10keVless-than-or-similar-tosubscript𝑚𝜒10keVm_{\chi}\lesssim 10~{}\rm{keV}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ≲ 10 roman_keV. Another recent work has proposed using optomechanical sensors to measure DM scattering [101]. The most ambitious of these would produce comparable limits in the heavy mediator case to MAQRO in the 0.011MeV0.011MeV0.01-1~{}\rm{MeV}0.01 - 1 roman_MeV range.

Another promising avenue for probing light DM is to use atomic clocks or magnetometers [103, 104]. Although the constraints on the scalar DM-nucleon cross sections from these experiments are much stronger, these experiments also have many more nuclei. The constraining power for the same number of nuclei and same integration time is similar between these experiments and atom interferometers. However, these atomic clock and magnetometer experiments must rely on spin-dependent DM interactions to produce observable effects. This does not allow them to gain the coherent enhancement that atom interferometers may use (depending on the type and the observable). If these experiments could probe spin-independent DM interactions and gain the N2superscript𝑁2N^{2}italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT enhancement, then the earlier spin-dependent results suggest that they could be more powerful than the atom interferometers, given the same nucleon numbers.

Atom interferometers are so far the only way to effectively probe mχ10keVless-than-or-similar-tosubscript𝑚𝜒10keVm_{\chi}\lesssim 10~{}\rm{keV}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ≲ 10 roman_keV DM with spin-independent interactions. Note however that atom interferometers can only effectively probe spin-independent DM interactions – any spin-dependent effects will break the coherence that is used to get such effective limits in the observables we consider. Thus, some combination of atom interferometers and the other direct detection experiments described above are necessary to rule out this parameter space.

Although not expressly shown in the figures, we want to stress that the space missions we discuss in this paper would also be sensitive to large cross section DM. If DM had very large nucleon cross sections, then current, terrestrial direct detection experiments would not be able to detect DM due to shielding by the atmosphere. The space-based missions we describe here would be complementary to proposed balloon and low-Earth-based orbit satellites [41].

IV.3 Astrophysical & Cosmological Constraints

In Fig. 2, we show in gray the parameter space ruled out by the existing astrophysical bounds on the reference cross section described in Eqn. 4. We briefly address these and other astrophysical and cosmological limits in this section, and refer the reader to [68] for further details.

There are two couplings entering in the reference cross section, σ¯¯𝜎\bar{\sigma}over¯ start_ARG italic_σ end_ARG:

  1. 1.

    ynsubscript𝑦𝑛y_{n}italic_y start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT, which quantifies the interaction between the mediator, ϕitalic-ϕ\phiitalic_ϕ, and the nucleons. Light bosonic mediators can be emitted in stars, leading to their potential rapid cooling. Constraints on new forms of energy loss in stars then translate into a bound for the coupling ynsubscript𝑦𝑛y_{n}italic_y start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT [83, 84]. Particularly stringent for the light mediator masses that we are considering are the fifth force constraints. The most relevant bounds come from Casimir force, cantilever, and torsion balance experiments [82], which constrain the attractive Yukawa potential generated by the ϕitalic-ϕ\phiitalic_ϕ-nucleon interaction,

    V(r)=yn24π1remϕr,𝑉𝑟superscriptsubscript𝑦𝑛24𝜋1𝑟superscript𝑒subscript𝑚italic-ϕ𝑟V(r)=-\frac{y_{n}^{2}}{4\pi}\frac{1}{r}e^{-m_{\phi}r},italic_V ( italic_r ) = - divide start_ARG italic_y start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 4 italic_π end_ARG divide start_ARG 1 end_ARG start_ARG italic_r end_ARG italic_e start_POSTSUPERSCRIPT - italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT italic_r end_POSTSUPERSCRIPT , (49)

    which translates into a bound on ynsubscript𝑦𝑛y_{n}italic_y start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT for a given mϕsubscript𝑚italic-ϕm_{\phi}italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT. The solid gray shaded area in Fig. 2 corresponds to the parameter space in the σ¯¯𝜎\bar{\sigma}over¯ start_ARG italic_σ end_ARG - mχsubscript𝑚𝜒m_{\chi}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT plane excluded by the above constraints when assuming a large ϕitalic-ϕ\phiitalic_ϕ-χ𝜒\chiitalic_χ coupling, yχ=4πsubscript𝑦𝜒4𝜋y_{\chi}=\sqrt{4\pi}italic_y start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT = square-root start_ARG 4 italic_π end_ARG.

  2. 2.

    yχsubscript𝑦𝜒y_{\chi}italic_y start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT, which weights the interaction between the mediator, ϕitalic-ϕ\phiitalic_ϕ, and the dark matter, χ𝜒\chiitalic_χ. If χ𝜒\chiitalic_χ composes all of the DM in the universe, dark matter self-interactions (DMSI) are constrained by cluster mergers and halo shaped observations to satisfy σDMSI/mχ<110 cm2/gsubscript𝜎DMSIsubscript𝑚𝜒110superscript cm2g\sigma_{\text{DMSI}}/m_{\chi}<1-10\text{ cm}^{2}/\text{g}italic_σ start_POSTSUBSCRIPT DMSI end_POSTSUBSCRIPT / italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT < 1 - 10 cm start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / g [105], which together with the previous bounds on ynsubscript𝑦𝑛y_{n}italic_y start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT, impose severe constraints on σ¯¯𝜎\bar{\sigma}over¯ start_ARG italic_σ end_ARG. This would rule out the possibility of testing DM with atom interferometers in the foreseeable future. However, the DMSI bound can be considerably relaxed if χ𝜒\chiitalic_χ is a subcomponent of the total DM. In this paper, we assume that χ𝜒\chiitalic_χ composes 5%percent55\%5 % of the total DM.

For the light DM particles we are considering, cosmological observations can also impose relevant bounds on the couplings yχsubscript𝑦𝜒y_{\chi}italic_y start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT and yϕsubscript𝑦italic-ϕy_{\phi}italic_y start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT, and thus indirectly on σ¯¯𝜎\bar{\sigma}over¯ start_ARG italic_σ end_ARG, by constraining the contribution of the light particles from the dark sector to the number of effective relativistic degrees of freedom (Neffsubscript𝑁effN_{\text{eff}}italic_N start_POSTSUBSCRIPT eff end_POSTSUBSCRIPT). The contribution of distinct relativistic fields from the dark sector (each denoted with subscript i𝑖iitalic_i) to Neffsubscript𝑁effN_{\text{eff}}italic_N start_POSTSUBSCRIPT eff end_POSTSUBSCRIPT is given by:

ΔNeff=47igi(g(TνLdec)g(Ti))4/3,Δsubscript𝑁eff47subscript𝑖subscript𝑔𝑖superscript𝑔superscriptsubscript𝑇subscript𝜈𝐿dec𝑔subscript𝑇𝑖43\Delta N_{\text{eff}}=\frac{4}{7}\sum_{i}\,g_{i}\,\left(\frac{g(T_{\nu_{L}}^{% \text{dec}})}{g(T_{i})}\right)^{4/3},roman_Δ italic_N start_POSTSUBSCRIPT eff end_POSTSUBSCRIPT = divide start_ARG 4 end_ARG start_ARG 7 end_ARG ∑ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_g start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( divide start_ARG italic_g ( italic_T start_POSTSUBSCRIPT italic_ν start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT dec end_POSTSUPERSCRIPT ) end_ARG start_ARG italic_g ( italic_T start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) end_ARG ) start_POSTSUPERSCRIPT 4 / 3 end_POSTSUPERSCRIPT , (50)

where gisubscript𝑔𝑖g_{i}italic_g start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT are the number of degrees of freedom of the particle i𝑖iitalic_i, TνLdecsuperscriptsubscript𝑇subscript𝜈𝐿decT_{\nu_{L}}^{\text{dec}}italic_T start_POSTSUBSCRIPT italic_ν start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT dec end_POSTSUPERSCRIPT is the decoupling temperature of the active neutrinos, and Tisubscript𝑇𝑖T_{i}italic_T start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT is the temperature of the dark sector.

Whatever UV interaction that generates the coupling of the mediator with the nucleons (ynsubscript𝑦𝑛y_{n}italic_y start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT) will also induce an effective interaction between ϕitalic-ϕ\phiitalic_ϕ and the gluons. Then, above the QCD phase-transition, thermal scatterings of the mediator with gluons, such as ggϕg𝑔𝑔italic-ϕ𝑔gg\to\phi gitalic_g italic_g → italic_ϕ italic_g, can bring the mediator into thermal equilibrium with the SM bath. Once thermalized, the mediator will decouple as the universe cools down, depending on the strength of ynsubscript𝑦𝑛y_{n}italic_y start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT.

For a light mediator (mϕmχproportional-tosubscript𝑚italic-ϕsubscript𝑚𝜒m_{\phi}\propto m_{\chi}italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT ∝ italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT or fixed mϕ=1 eVsubscript𝑚italic-ϕ1 eVm_{\phi}=1\text{ eV}italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT = 1 eV), for all the parameter space that we consider, yn<109subscript𝑦𝑛superscript109y_{n}<10^{-9}italic_y start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT < 10 start_POSTSUPERSCRIPT - 9 end_POSTSUPERSCRIPT because of the stringent 5thsuperscript5th5^{\text{th}}5 start_POSTSUPERSCRIPT th end_POSTSUPERSCRIPT force and stellar constraints. In this case, ϕitalic-ϕ\phiitalic_ϕ decouples from the SM bath before the QCD phase transition, as derived in Ref. [68]. After the decoupling of ϕitalic-ϕ\phiitalic_ϕ, the dark matter χ𝜒\chiitalic_χ cannot be thermally produced and also decouples from the SM bath. The contribution to the number of relativistic degrees of freedom from the dark sector then depends on the number of relativistic particles that were in thermal equilibrium at the time the dark sector decouples. Hence, ΔNeff0.06igisimilar-to-or-equalsΔsubscript𝑁eff0.06subscript𝑖subscript𝑔𝑖\Delta N_{\text{eff}}\simeq 0.06\sum_{i}g_{i}roman_Δ italic_N start_POSTSUBSCRIPT eff end_POSTSUBSCRIPT ≃ 0.06 ∑ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_g start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT, where gisubscript𝑔𝑖g_{i}italic_g start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT depends on the nature of the dark matter and the mediator. Note that such a small contribution is far from being in tension with the current Neffsubscript𝑁effN_{\text{eff}}italic_N start_POSTSUBSCRIPT eff end_POSTSUBSCRIPT measurements, but will be easily probed by upcoming experiments, such as CMB-S4 [106], PICO [107], CORE [108], and CMB-HD [109].

Finally, we want to address the particular range in mχsubscript𝑚𝜒m_{\chi}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT that we choose for our plots. The upper limit is set by mχmNmuch-less-thansubscript𝑚𝜒subscript𝑚𝑁m_{\chi}\ll m_{N}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ≪ italic_m start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT, which allows us to make several simplifying assumptions in the nuclear recoil case. Normally, the lower bound would be set by warm DM constraints (typically at mχ1keVsimilar-tosubscript𝑚𝜒1keVm_{\chi}\sim 1~{}\rm{keV}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ∼ 1 roman_keV, see for example Ref. [110]); however, we consider χ𝜒\chiitalic_χ to be a small subcomponent of the DM. Thus, we set our lower bound by mandating that the DM velocity should be less than the escape velocity of the Milky Way. This sets the reasonable limit that we should have DM to detect in our galaxy. If, as we discuss above, the DM decouples above the QCD phase transition, this sets a temperature for the DM of TDM0.1Tγ105eVsimilar-tosubscript𝑇DM0.1subscript𝑇𝛾similar-tosuperscript105eVT_{\rm{DM}}\sim 0.1T_{\gamma}\sim 10^{-5}~{}\rm{eV}italic_T start_POSTSUBSCRIPT roman_DM end_POSTSUBSCRIPT ∼ 0.1 italic_T start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT ∼ 10 start_POSTSUPERSCRIPT - 5 end_POSTSUPERSCRIPT roman_eV today, where Tγsubscript𝑇𝛾T_{\gamma}italic_T start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT is the temperature of the cosmic microwave background today. Approximating vTDM/mχsimilar-to𝑣subscript𝑇DMsubscript𝑚𝜒v\sim\sqrt{T_{\rm{DM}}/m_{\chi}}italic_v ∼ square-root start_ARG italic_T start_POSTSUBSCRIPT roman_DM end_POSTSUBSCRIPT / italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG and setting v0.001less-than-or-similar-to𝑣0.001v\lesssim 0.001italic_v ≲ 0.001 gives a lower limit on the DM mass of mχ10 eVgreater-than-or-equivalent-tosubscript𝑚𝜒10 eVm_{\chi}\gtrsim 10\mbox{ eV}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ≳ 10 eV.

V Discussion & Conclusions

In this paper, we consider the effects of dark matter scattering on atom interferometers. We calculate the decoherence and phase shifts produced in atom interferometers from several different channels: nuclear recoils, hidden photon processes, and coherent axion scattering. The resulting forecasted limits for various proposed atom interferometer experiments are given in Figs. 2, 3, and 4, for the observables that are Born enhanced at momentum transfers below the inverse size of the cloud. In this final section, we discuss some caveats and opportunities for improvement, both theoretically and experimentally.

We make various assumptions and approximations in this paper. For example, we neglect to include the mass of the targets in the kinematic matching equations (e.g., Eqn. 26). However this will only have an effect at mχmNsimilar-tosubscript𝑚𝜒subscript𝑚𝑁m_{\chi}\sim m_{N}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ∼ italic_m start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT, which is at the very upper end of the masses we consider here. In addition, we do not take into account certain detection mechanisms that could also affect the observable visibility change from DM. As one example: if the DM momentum transfer is large enough to move one of the clouds outside of the detection region, this would lead to extra visibility loss. However, we note that DM masses greater than our range of interest (mχ>10GeVsubscript𝑚𝜒10GeVm_{\chi}>10~{}\rm{GeV}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT > 10 roman_GeV) would be required to move a cloud this far. Finally, we provide a simplistic statistical formalism and do not include the DM flux modulation for setting the decoherence limits (although a discussion of this effect is included in Appendix A). For all of these cases, we have taken the more conservative approach to our approximations. One final caveat we should note: we do not consider any specific backgrounds that could affect these results. A recent study showed that long-distance forces are negligible for decoherence, especially for the short (10less-than-or-similar-toabsent10\lesssim 10≲ 10 s) measurement timescales we consider here [76]. As we discuss in Section II, we expect these processes to be suppressed relative to the light DM models with light mediators. However, for the space-based experiments we consider, we plan to carry out a careful study of the cosmic ray and solar photon backgrounds in the future.

Future work could address the above simplifications in more detail. Exploring how atom interferometers could probe other models, such as large bound states of DM (i.e., DM nuggets) could also be interesting [100]. These models are also coherent at low momentum transfer, making them prime targets for atom inteferometers. Another avenue for probing DM could examine the collective excitations produced in Bose-Einstein condensates. While these could not be probed by traditional atom interferometers, other BEC experiments could be used.

In this paper, we only considered a few of the many proposed atom interferometer experiments [see, e.g., 99, 86, 87]. The experiments we chose have a wide spread in ΔxΔ𝑥\Delta xroman_Δ italic_x, N𝑁Nitalic_N, rCsubscript𝑟𝐶r_{C}italic_r start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT, and texpsubscript𝑡expt_{\rm{exp}}italic_t start_POSTSUBSCRIPT roman_exp end_POSTSUBSCRIPT, so that our results span much of the parameter space that other interferometers could probe. We note that in this paper we only consider how a single atom interferometer could probe DM; however, some of the experiment concepts, such as GDM, MAQRO and AEDGE, will have networks of atom interferometers, and will be especially sensitive to differential phase measurements between two atom interferometers, potentially improving the reach. We leave a detailed investigation of atom interferometer networks to future work.

We would now like to address how atom interferometers could improve their bounds on DM physics. As we discuss in Section III.1, we find that the best constraint for matter interferometers can be approximated by: mχ(ΔxrCmϕ/mχ)1similar-tosubscript𝑚𝜒superscriptΔ𝑥subscript𝑟𝐶subscript𝑚italic-ϕsubscript𝑚𝜒1m_{\chi}\sim(\sqrt{\Delta x\,r_{C}}\,m_{\phi}/m_{\chi})^{-1}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ∼ ( square-root start_ARG roman_Δ italic_x italic_r start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT end_ARG italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT / italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT, if ΔxΔ𝑥\Delta xroman_Δ italic_x is of the same order or larger than rCsubscript𝑟𝐶r_{C}italic_r start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT. Thus, experiments can target specific mass ranges by properly tuning the cloud separation and size. To probe the weakest part of the current astrophysical constraints, 10eVmχ1MeVless-than-or-similar-to10eVsubscriptm𝜒less-than-or-similar-to1MeV10~{}\rm{eV}\lesssim m_{\chi}\lesssim 1~{}\rm{MeV}10 roman_eV ≲ roman_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ≲ 1 roman_MeV with mϕ=105mχsubscript𝑚italic-ϕsuperscript105subscript𝑚𝜒m_{\phi}=10^{-5}~{}m_{\chi}italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT = 10 start_POSTSUPERSCRIPT - 5 end_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT, these experiments would want 1cmΔx100nmgreater-than-or-equivalent-to1cmΔxgreater-than-or-equivalent-to100nm1~{}\rm{cm}\gtrsim\Delta x\gtrsim 100~{}\rm{nm}1 roman_cm ≳ roman_Δ roman_x ≳ 100 roman_nm, with similarly sized cloud radii. The cross section limit sensitivity for atom interferometers is then mostly set by the number of nucleons – the more, the better. The most important design change that these experiments could consider is to increase their nucleon count.

As we show in this paper, atom interferometers would be a complementary probe to current direct detection efforts. They would uniquely probe light dark matter, including improving current astrophysical bounds by up to 10 orders of magnitude in some cases. These and other quantum sensing missions should continue to be studied for use as DM probes.

Acknowledgements

The authors would like to thank the anonymous referee for their helpful comments. The authors would also like to thank Sheng-wey Chiow, Curt Cutler, Ryan Plestid, Marianna Safronova, and Tanner Trickle for useful discussions. Part of this work was done at the Jet Propulsion Laboratory, California Institute of Technology, under a contract with the National Aeronautics and Space Administration. The work of KZ is supported by the DoE under contract DE-SC0011632, and by a Simons Investigator award. This work is also supported by the Walker Burke Institute for Theoretical Physics.

Software: astropy [111], matplotlib [112], numpy [113], PhonoDark [114], scipy [115]

Appendix A Daily Modulation

As has been shown in the main text, e.g. through Eqn. 7, both the decoherence rate and the phase are sensitive to the orientation of 𝚫𝐱𝚫𝐱\mathbf{\Delta x}bold_Δ bold_x. This directional signal will modulate during a day (orbit period), as the Earth (space-based experiment), rotates around the Earth’s axis (Sun). In this appendix, we present a daily modulation formalism and calculation to show the significance of the time-varying signal. For space-based experiments, the modulation will depend explicitly on the orbit. We expect this to have a similarly-sized effect as the daily modulation, since they originate from the same directional information of 𝚫𝐱𝚫𝐱\mathbf{\Delta x}bold_Δ bold_x. We leave a specific orbit study to future work.

Daily modulation effects can be parameterized through the time-dependence of the Earth’s velocity 𝐯e(t)subscript𝐯𝑒𝑡\mathbf{v}_{e}(t)bold_v start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ( italic_t ) in the lab frame, where the phase-space distribution of the dark matter takes the boosted Maxwell-Boltzmann distribution as in Eqn. 11. In the lab frame where 𝚫𝐱𝚫𝐱{\bf\Delta x}bold_Δ bold_x is chosen to be aligned with the 𝐳^^𝐳{\bf\hat{z}}over^ start_ARG bold_z end_ARG axis, the Earth’s velocity at time t𝑡titalic_t reads:

𝐯e(t)=𝐯e(sθecθxsϕ(t)sθxsθecθlcϕ(t)+sθxcθesθlcθesθgsθlcθxsθesθgcθlcθxcϕ(t)sθecθgsθlcϕ(t)cθecθgcθlsθesθgsθxsϕ(t)sθecθgcθlcθxcϕ(t)cθecθgsθlcθxsθesθgsθlcϕ(t)cθesθgcθl+sθecθgsθxsϕ(t)),subscript𝐯e𝑡normsubscript𝐯𝑒matrixssubscript𝜃ecsubscript𝜃xsitalic-ϕ𝑡ssubscript𝜃xssubscript𝜃ecsubscript𝜃lcitalic-ϕ𝑡ssubscript𝜃xcsubscript𝜃essubscript𝜃lcsubscript𝜃essubscript𝜃gssubscript𝜃lcsubscript𝜃xssubscript𝜃essubscript𝜃gcsubscript𝜃lcsubscript𝜃xcitalic-ϕ𝑡ssubscript𝜃ecsubscript𝜃gssubscript𝜃lcitalic-ϕ𝑡csubscript𝜃ecsubscript𝜃gcsubscript𝜃lssubscript𝜃essubscript𝜃gssubscript𝜃xsitalic-ϕ𝑡ssubscript𝜃ecsubscript𝜃gcsubscript𝜃lcsubscript𝜃xcitalic-ϕ𝑡csubscript𝜃ecsubscript𝜃gssubscript𝜃lcsubscript𝜃xssubscript𝜃essubscript𝜃gssubscript𝜃lcitalic-ϕ𝑡csubscript𝜃essubscript𝜃gcsubscript𝜃lssubscript𝜃ecsubscript𝜃gssubscript𝜃xsitalic-ϕ𝑡{\bf v_{\text{e}}}(t)=\|\mathbf{v}_{e}\|\begin{pmatrix}\text{s}\theta_{\text{e% }}\,\text{c}\theta_{\text{x}}\,\text{s}\phi(t)-\text{s}\theta_{\text{x}}\,% \text{s}\theta_{\text{e}}\,\text{c}\theta_{\text{l}}\,\text{c}\phi(t)+\text{s}% \theta_{\text{x}}\,\text{c}\theta_{\text{e}}\,\text{s}\theta_{\text{l}}\\ \text{c}\theta_{\text{e}}\,\text{s}\theta_{\text{g}}\,\text{s}\theta_{\text{l}% }\,\text{c}\theta_{\text{x}}-\text{s}\theta_{\text{e}}\,\text{s}\theta_{\text{% g}}\,\text{c}\theta_{\text{l}}\,\text{c}\theta_{\text{x}}\,\text{c}\phi(t)-% \text{s}\theta_{\text{e}}\,\text{c}\theta_{\text{g}}\,\text{s}\theta_{\text{l}% }\,\text{c}\phi(t)-\text{c}\theta_{\text{e}}\,\text{c}\theta_{\text{g}}\,\text% {c}\theta_{\text{l}}-\text{s}\theta_{\text{e}}\,\text{s}\theta_{\text{g}}\,% \text{s}\theta_{\text{x}}\,\text{s}\phi(t)\\ \text{s}\theta_{\text{e}}\,\text{c}\theta_{\text{g}}\,\text{c}\theta_{\text{l}% }\,\text{c}\theta_{\text{x}}\,\text{c}\phi(t)-\text{c}\theta_{\text{e}}\,\text% {c}\theta_{\text{g}}\,\text{s}\theta_{\text{l}}\,\text{c}\theta_{\text{x}}-% \text{s}\theta_{\text{e}}\,\text{s}\theta_{\text{g}}\,\text{s}\theta_{\text{l}% }\,\text{c}\phi(t)-\text{c}\theta_{\text{e}}\,\text{s}\theta_{\text{g}}\,\text% {c}\theta_{\text{l}}+\text{s}\theta_{\text{e}}\,\text{c}\theta_{\text{g}}\,% \text{s}\theta_{\text{x}}\,\text{s}\phi(t)\end{pmatrix},bold_v start_POSTSUBSCRIPT e end_POSTSUBSCRIPT ( italic_t ) = ∥ bold_v start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ∥ ( start_ARG start_ROW start_CELL s italic_θ start_POSTSUBSCRIPT e end_POSTSUBSCRIPT c italic_θ start_POSTSUBSCRIPT x end_POSTSUBSCRIPT s italic_ϕ ( italic_t ) - s italic_θ start_POSTSUBSCRIPT x end_POSTSUBSCRIPT s italic_θ start_POSTSUBSCRIPT e end_POSTSUBSCRIPT c italic_θ start_POSTSUBSCRIPT l end_POSTSUBSCRIPT c italic_ϕ ( italic_t ) + s italic_θ start_POSTSUBSCRIPT x end_POSTSUBSCRIPT c italic_θ start_POSTSUBSCRIPT e end_POSTSUBSCRIPT s italic_θ start_POSTSUBSCRIPT l end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL c italic_θ start_POSTSUBSCRIPT e end_POSTSUBSCRIPT s italic_θ start_POSTSUBSCRIPT g end_POSTSUBSCRIPT s italic_θ start_POSTSUBSCRIPT l end_POSTSUBSCRIPT c italic_θ start_POSTSUBSCRIPT x end_POSTSUBSCRIPT - s italic_θ start_POSTSUBSCRIPT e end_POSTSUBSCRIPT s italic_θ start_POSTSUBSCRIPT g end_POSTSUBSCRIPT c italic_θ start_POSTSUBSCRIPT l end_POSTSUBSCRIPT c italic_θ start_POSTSUBSCRIPT x end_POSTSUBSCRIPT c italic_ϕ ( italic_t ) - s italic_θ start_POSTSUBSCRIPT e end_POSTSUBSCRIPT c italic_θ start_POSTSUBSCRIPT g end_POSTSUBSCRIPT s italic_θ start_POSTSUBSCRIPT l end_POSTSUBSCRIPT c italic_ϕ ( italic_t ) - c italic_θ start_POSTSUBSCRIPT e end_POSTSUBSCRIPT c italic_θ start_POSTSUBSCRIPT g end_POSTSUBSCRIPT c italic_θ start_POSTSUBSCRIPT l end_POSTSUBSCRIPT - s italic_θ start_POSTSUBSCRIPT e end_POSTSUBSCRIPT s italic_θ start_POSTSUBSCRIPT g end_POSTSUBSCRIPT s italic_θ start_POSTSUBSCRIPT x end_POSTSUBSCRIPT s italic_ϕ ( italic_t ) end_CELL end_ROW start_ROW start_CELL s italic_θ start_POSTSUBSCRIPT e end_POSTSUBSCRIPT c italic_θ start_POSTSUBSCRIPT g end_POSTSUBSCRIPT c italic_θ start_POSTSUBSCRIPT l end_POSTSUBSCRIPT c italic_θ start_POSTSUBSCRIPT x end_POSTSUBSCRIPT c italic_ϕ ( italic_t ) - c italic_θ start_POSTSUBSCRIPT e end_POSTSUBSCRIPT c italic_θ start_POSTSUBSCRIPT g end_POSTSUBSCRIPT s italic_θ start_POSTSUBSCRIPT l end_POSTSUBSCRIPT c italic_θ start_POSTSUBSCRIPT x end_POSTSUBSCRIPT - s italic_θ start_POSTSUBSCRIPT e end_POSTSUBSCRIPT s italic_θ start_POSTSUBSCRIPT g end_POSTSUBSCRIPT s italic_θ start_POSTSUBSCRIPT l end_POSTSUBSCRIPT c italic_ϕ ( italic_t ) - c italic_θ start_POSTSUBSCRIPT e end_POSTSUBSCRIPT s italic_θ start_POSTSUBSCRIPT g end_POSTSUBSCRIPT c italic_θ start_POSTSUBSCRIPT l end_POSTSUBSCRIPT + s italic_θ start_POSTSUBSCRIPT e end_POSTSUBSCRIPT c italic_θ start_POSTSUBSCRIPT g end_POSTSUBSCRIPT s italic_θ start_POSTSUBSCRIPT x end_POSTSUBSCRIPT s italic_ϕ ( italic_t ) end_CELL end_ROW end_ARG ) , (51)

where the abbreviations “s” and “c” refer to sine and cosine, respectively. In the above matrix, θe42subscript𝜃esuperscript42\theta_{\text{e}}\approx 42^{\circ}italic_θ start_POSTSUBSCRIPT e end_POSTSUBSCRIPT ≈ 42 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT is the angle between the Earth’s velocity 𝐯e(t=0)subscript𝐯e𝑡0{\bf v_{\text{e}}}(t=0)bold_v start_POSTSUBSCRIPT e end_POSTSUBSCRIPT ( italic_t = 0 ) and the north pole, θlsubscript𝜃l\theta_{\text{l}}italic_θ start_POSTSUBSCRIPT l end_POSTSUBSCRIPT is the angle between the location of the experiment and the north pole, ϕ(t)=2π×t/\phi(t)=2\pi\times t/italic_ϕ ( italic_t ) = 2 italic_π × italic_t /24h accounts for the rotation of the Earth and introduces the time dependence, θxsubscript𝜃x\theta_{\text{x}}italic_θ start_POSTSUBSCRIPT x end_POSTSUBSCRIPT represents the orientation of 𝚫𝐱𝚫𝐱{\bf\Delta x}bold_Δ bold_x in the plane perpendicular to the free-falling direction 𝐠^^𝐠\mathbf{\hat{g}}over^ start_ARG bold_g end_ARG, while the angle θgsubscript𝜃g\theta_{\text{g}}italic_θ start_POSTSUBSCRIPT g end_POSTSUBSCRIPT is the angle between 𝚫𝐱𝚫𝐱{\bf\Delta x}bold_Δ bold_x and such plane.

We show the daily modulation for Pino in Fig. 5, taking three different orientations for 𝚫𝐱𝚫𝐱\mathbf{\Delta x}bold_Δ bold_x. Although the final modulation is sensitive to the orientation, as well as the orbit information for space-based experiments, the different curves shown in Fig. 5 give an estimate of the range of modulations we expect. By taking θx=0subscript𝜃x0\theta_{\text{x}}=0italic_θ start_POSTSUBSCRIPT x end_POSTSUBSCRIPT = 0 and θg=0subscript𝜃g0\theta_{\text{g}}=0italic_θ start_POSTSUBSCRIPT g end_POSTSUBSCRIPT = 0, we set 𝚫𝐱𝐠^perpendicular-to𝚫𝐱^𝐠{\bf\Delta x}\perp{\bf\hat{g}}bold_Δ bold_x ⟂ over^ start_ARG bold_g end_ARG and 𝚫𝐱(𝐋^×𝐠^)perpendicular-to𝚫𝐱^𝐋^𝐠{\bf\Delta x}\perp({\bf\hat{L}}\times{\bf\hat{g}})bold_Δ bold_x ⟂ ( over^ start_ARG bold_L end_ARG × over^ start_ARG bold_g end_ARG ), shown in the blue lines of Fig. 5, where 𝐋^^𝐋{\bf\hat{L}}over^ start_ARG bold_L end_ARG is the unit vector for the Earth’s spin axis (\vvSN\vvSN\vv{\rm SN}roman_SN). Taking θx=π/2subscript𝜃x𝜋2\theta_{\text{x}}=\pi/2italic_θ start_POSTSUBSCRIPT x end_POSTSUBSCRIPT = italic_π / 2 and θg=0subscript𝜃g0\theta_{\text{g}}=0italic_θ start_POSTSUBSCRIPT g end_POSTSUBSCRIPT = 0, we are considering the experiment to be 𝚫𝐱𝐠^perpendicular-to𝚫𝐱^𝐠{\bf\Delta x}\perp{\bf\hat{g}}bold_Δ bold_x ⟂ over^ start_ARG bold_g end_ARG and 𝚫𝐱(𝐋^×𝐠^)conditional𝚫𝐱^𝐋^𝐠{\bf\Delta x}\parallel({\bf\hat{L}}\times{\bf\hat{g}})bold_Δ bold_x ∥ ( over^ start_ARG bold_L end_ARG × over^ start_ARG bold_g end_ARG ), represented with orange lines in the same figure. Finally, taking θg=π/2subscript𝜃g𝜋2\theta_{\text{g}}=\pi/2italic_θ start_POSTSUBSCRIPT g end_POSTSUBSCRIPT = italic_π / 2 we are considering that the experiment is (anti)-aligned with the free-falling direction, represented by the green lines in Fig. 5.

Notice that for large DM mass, where mχv01/𝚫𝐱much-greater-thansubscript𝑚𝜒subscript𝑣01norm𝚫𝐱m_{\chi}v_{0}\gg 1/\|\mathbf{\Delta x}\|italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ≫ 1 / ∥ bold_Δ bold_x ∥, there is no daily modulation. In the limit of low DM mass, where mχv01/𝚫𝐱much-less-thansubscript𝑚𝜒subscript𝑣01norm𝚫𝐱m_{\chi}v_{0}\ll 1/\|\mathbf{\Delta x}\|italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ≪ 1 / ∥ bold_Δ bold_x ∥, the amount of daily modulation does not depend on the DM mass. However, the total decoherence factor is suppressed in this limit, as explained in the main text. Unexpectedly, the mediator mass mϕsubscript𝑚italic-ϕm_{\phi}italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT does not play a major role in the daily modulation. Although large momentum transfer is preferred for heavy mediator mass mϕmχmuch-greater-thansubscript𝑚italic-ϕsubscript𝑚𝜒m_{\phi}\gg m_{\chi}italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT ≫ italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT, the anisotropy of the target still picks up daily modulation in the low to medium DM mass range, similar to other directional detection scenarios [116]. Overall, we estimate the daily/orbit modulation to affect the signal by a factor of a few.

Refer to caption
Figure 5: Daily modulation of the decoherence and phase signals for Pino, at latitude 47superscript4747^{\circ}47 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPTN, assuming three different orientations of 𝚫𝐱𝚫𝐱\mathbf{\Delta x}bold_Δ bold_x: 𝚫𝐱𝐠^perpendicular-to𝚫𝐱^𝐠\mathbf{\Delta x}\perp{\bf\hat{g}}bold_Δ bold_x ⟂ over^ start_ARG bold_g end_ARG and 𝚫𝐱(𝐋^×𝐠^)perpendicular-to𝚫𝐱^𝐋^𝐠\mathbf{\Delta x}\perp({\bf\hat{L}}\times{\bf\hat{g}})bold_Δ bold_x ⟂ ( over^ start_ARG bold_L end_ARG × over^ start_ARG bold_g end_ARG ) (blue); 𝚫𝐱𝐠^perpendicular-to𝚫𝐱^𝐠\mathbf{\Delta x}\perp{\bf\hat{g}}bold_Δ bold_x ⟂ over^ start_ARG bold_g end_ARG and 𝚫𝐱(𝐋^×𝐠^)conditional𝚫𝐱^𝐋^𝐠\mathbf{\Delta x}\parallel({\bf\hat{L}}\times{\bf\hat{g}})bold_Δ bold_x ∥ ( over^ start_ARG bold_L end_ARG × over^ start_ARG bold_g end_ARG ) (orange); 𝚫𝐱𝐠^conditional𝚫𝐱^𝐠\mathbf{\Delta x}\parallel{\bf\hat{g}}bold_Δ bold_x ∥ over^ start_ARG bold_g end_ARG (green). 𝐠^^𝐠{\bf\hat{g}}over^ start_ARG bold_g end_ARG is the direction of free-fall and 𝐋^^𝐋{\bf\hat{L}}over^ start_ARG bold_L end_ARG is aligned with the Earth’s spin axis (SNSN\vec{\rm SN}over→ start_ARG roman_SN end_ARG). Left panel shows the normalized decoherence effect s(t)/s0𝑠𝑡subscript𝑠0s(t)/s_{0}italic_s ( italic_t ) / italic_s start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT and the right panel shows the normalized phase effect ϕ(t)/ϕ0italic-ϕ𝑡subscriptitalic-ϕ0\phi(t)/\phi_{0}italic_ϕ ( italic_t ) / italic_ϕ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT. The normalization factor s0=s𝚫𝐱𝐠^(t=0)subscript𝑠0subscript𝑠conditional𝚫𝐱^𝐠𝑡0s_{0}=s_{\mathbf{\Delta x}\parallel{\bf\hat{g}}}(t=0)italic_s start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = italic_s start_POSTSUBSCRIPT bold_Δ bold_x ∥ over^ start_ARG bold_g end_ARG end_POSTSUBSCRIPT ( italic_t = 0 ) and ϕ0=ϕ𝚫𝐱𝐠^(t=0)subscriptitalic-ϕ0subscriptitalic-ϕconditional𝚫𝐱^𝐠𝑡0\phi_{0}=\phi_{\mathbf{\Delta x}\parallel{\bf\hat{g}}}(t=0)italic_ϕ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = italic_ϕ start_POSTSUBSCRIPT bold_Δ bold_x ∥ over^ start_ARG bold_g end_ARG end_POSTSUBSCRIPT ( italic_t = 0 ). We use mχ=1subscript𝑚𝜒1m_{\chi}=1italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT = 1 MeV and mϕ=103mχsubscript𝑚italic-ϕsuperscript103subscript𝑚𝜒m_{\phi}=10^{-3}m_{\chi}italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT = 10 start_POSTSUPERSCRIPT - 3 end_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT for the plots.

Appendix B Derivation of Bose Einstein Condensate Form Factor & Born Enhancement

In this appendix we compute the form factor relevant for coherence amongst the N𝑁Nitalic_N nuclei in a Bose Einstein Condensate (BEC) built from optical or magnetic trapping. We mainly follow the discussion about coherency and incoherency from Ref. [117].

The BEC, composed of N𝑁Nitalic_N nucleons, is initially in the ground state (0)0(0)( 0 ). The probability of scattering with the BEC is given by the squared amplitude:

|𝒜|2=m|𝒜m0|2=|𝒜0|2k,jmfm0kfm0j,superscript𝒜2subscript𝑚superscriptsubscript𝒜𝑚02superscriptsubscript𝒜02subscript𝑘𝑗subscript𝑚superscriptsubscript𝑓𝑚0𝑘superscriptsubscript𝑓𝑚0𝑗|{\cal A}|^{2}=\sum_{m}|{\cal A}_{m0}|^{2}=|{\cal A}_{0}|^{2}\sum_{k,j}\sum_{m% }f_{m0}^{k}f_{m0}^{j*}\;,| caligraphic_A | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = ∑ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT | caligraphic_A start_POSTSUBSCRIPT italic_m 0 end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = | caligraphic_A start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_k , italic_j end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT italic_f start_POSTSUBSCRIPT italic_m 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT italic_f start_POSTSUBSCRIPT italic_m 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_j ∗ end_POSTSUPERSCRIPT , (52)

where we sum over all possible final states of the BEC after the scattering. The form factors fm0superscriptsubscript𝑓m0f_{\text{m0}}^{\ell}italic_f start_POSTSUBSCRIPT m0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ℓ end_POSTSUPERSCRIPT are defined as

fm0(𝐪)=m|ei𝐪𝐗^|0=(i=1Nd𝐱i)Ψm(𝐱1,,𝐱N)Ψ0(𝐱1,,𝐱N)ei𝐪𝐱,superscriptsubscript𝑓𝑚0𝐪quantum-operator-product𝑚superscript𝑒𝑖𝐪subscript^𝐗0superscriptsubscriptproduct𝑖1𝑁𝑑subscript𝐱𝑖superscriptsubscriptΨmsubscript𝐱1subscript𝐱𝑁subscriptΨ0subscript𝐱1subscript𝐱𝑁superscript𝑒𝑖𝐪subscript𝐱\begin{split}f_{m0}^{\ell}(\mathbf{q})&=\langle m|e^{i\mathbf{q\cdot\hat{X}_{% \ell}}}|0\rangle=\int\left(\displaystyle\prod_{i=1}^{N}d\mathbf{x}_{i}\right)% \Psi_{\text{m}}^{*}(\mathbf{x}_{1},...,\mathbf{x}_{N})\Psi_{0}(\mathbf{x}_{1},% ...,\mathbf{x}_{N})e^{i\mathbf{q}\cdot\mathbf{x_{\ell}}}\;,\end{split}start_ROW start_CELL italic_f start_POSTSUBSCRIPT italic_m 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ℓ end_POSTSUPERSCRIPT ( bold_q ) end_CELL start_CELL = ⟨ italic_m | italic_e start_POSTSUPERSCRIPT italic_i bold_q ⋅ over^ start_ARG bold_X end_ARG start_POSTSUBSCRIPT roman_ℓ end_POSTSUBSCRIPT end_POSTSUPERSCRIPT | 0 ⟩ = ∫ ( ∏ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT italic_d bold_x start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) roman_Ψ start_POSTSUBSCRIPT m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ( bold_x start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , … , bold_x start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT ) roman_Ψ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( bold_x start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , … , bold_x start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT ) italic_e start_POSTSUPERSCRIPT italic_i bold_q ⋅ bold_x start_POSTSUBSCRIPT roman_ℓ end_POSTSUBSCRIPT end_POSTSUPERSCRIPT , end_CELL end_ROW (53)

where xisubscript𝑥𝑖x_{i}italic_x start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT is the position of the i𝑖iitalic_ith nucleon and 𝐗^isubscript^𝐗𝑖\mathbf{\hat{X}}_{i}over^ start_ARG bold_X end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT is the quantum position operator for the i𝑖iitalic_ith nucleon.

Summing over all possible final states (Parseval’s identity), Eq. (52) can be rewritten in the following way,

|𝒜|2=|𝒜0|2k,j0|ei𝐪𝐗^j|00|ei𝐪𝐗^k|0+|𝒜0|2k,jm00|ei𝐪𝐗^j|mm|ei𝐪𝐗^k|0.superscript𝒜2superscriptsubscript𝒜02subscript𝑘𝑗quantum-operator-product0superscript𝑒𝑖𝐪subscript^𝐗𝑗0quantum-operator-product0superscript𝑒𝑖𝐪subscript^𝐗𝑘0superscriptsubscript𝒜02subscript𝑘𝑗subscript𝑚0quantum-operator-product0superscript𝑒𝑖𝐪subscript^𝐗𝑗𝑚quantum-operator-product𝑚superscript𝑒𝑖𝐪subscript^𝐗𝑘0|{\cal A}|^{2}=|{\cal A}_{0}|^{2}\sum_{k,j}\langle 0|e^{-i\mathbf{q}\cdot% \mathbf{\hat{X}}_{j}}|0\rangle\langle 0|e^{-i\mathbf{q}\cdot\mathbf{\hat{X}}_{% k}}|0\rangle+|{\cal A}_{0}|^{2}\sum_{k,j}\sum_{m\neq 0}\langle 0|e^{-i\mathbf{% q\cdot\hat{X}}_{j}}|m\rangle\langle m|e^{i\mathbf{q\cdot\hat{X}}_{k}}|0\rangle.| caligraphic_A | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = | caligraphic_A start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_k , italic_j end_POSTSUBSCRIPT ⟨ 0 | italic_e start_POSTSUPERSCRIPT - italic_i bold_q ⋅ over^ start_ARG bold_X end_ARG start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_POSTSUPERSCRIPT | 0 ⟩ ⟨ 0 | italic_e start_POSTSUPERSCRIPT - italic_i bold_q ⋅ over^ start_ARG bold_X end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUPERSCRIPT | 0 ⟩ + | caligraphic_A start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_k , italic_j end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_m ≠ 0 end_POSTSUBSCRIPT ⟨ 0 | italic_e start_POSTSUPERSCRIPT - italic_i bold_q ⋅ over^ start_ARG bold_X end_ARG start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_POSTSUPERSCRIPT | italic_m ⟩ ⟨ italic_m | italic_e start_POSTSUPERSCRIPT italic_i bold_q ⋅ over^ start_ARG bold_X end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUPERSCRIPT | 0 ⟩ . (54)

Given that f00k(𝐪)superscriptsubscript𝑓00𝑘𝐪f_{00}^{k}(\mathbf{q})italic_f start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT ( bold_q ) does not depend on the index k𝑘kitalic_k because of the symmetry properties of the wavefunction under the interchange of bosons, the first term of the above equation gives:

|𝒜0|2N2|F(𝐪)|2,superscriptsubscript𝒜02superscript𝑁2superscript𝐹𝐪2|{\cal A}_{0}|^{2}N^{2}|F(\mathbf{q})|^{2}\;,| caligraphic_A start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | italic_F ( bold_q ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , (55)

which encodes the N2superscript𝑁2N^{2}italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT coherent enhancement. The form factor F(𝐪)𝐹𝐪F(\mathbf{q})italic_F ( bold_q ) quantifies coherence as a function of the properties of the BEC. It is defined as:

F(𝐪)=0|ei𝐪𝐗^|0=(iNd𝐱i|Ψ0(𝐱i)|2)𝑑𝐱|Ψ0(𝐱)|2ei𝐪𝐱=𝑑𝐱|Ψ0(𝐱)|2ei𝐪𝐱,𝐹𝐪quantum-operator-product0superscript𝑒𝑖𝐪subscript^𝐗0superscriptsubscriptproduct𝑖𝑁𝑑subscript𝐱𝑖superscriptsubscriptΨ0subscript𝐱𝑖2differential-dsubscript𝐱superscriptsubscriptΨ0subscript𝐱2superscript𝑒𝑖𝐪subscript𝐱differential-dsubscript𝐱superscriptsubscriptΨ0subscript𝐱2superscript𝑒𝑖𝐪subscript𝐱F(\mathbf{q})=\langle 0|e^{-i\mathbf{q\cdot\hat{X}}_{\ell}}|0\rangle=\int\left% (\prod_{i\neq\ell}^{N}d\mathbf{x}_{i}|\Psi_{0}(\mathbf{x}_{i})|^{2}\right)d% \mathbf{x}_{\ell}|\Psi_{0}(\mathbf{x}_{\ell})|^{2}e^{i\mathbf{q\cdot x}_{\ell}% }=\int d\mathbf{x_{\ell}}|\Psi_{0}(\mathbf{x}_{\ell})|^{2}e^{i\mathbf{q\cdot x% }_{\ell}}\;,italic_F ( bold_q ) = ⟨ 0 | italic_e start_POSTSUPERSCRIPT - italic_i bold_q ⋅ over^ start_ARG bold_X end_ARG start_POSTSUBSCRIPT roman_ℓ end_POSTSUBSCRIPT end_POSTSUPERSCRIPT | 0 ⟩ = ∫ ( ∏ start_POSTSUBSCRIPT italic_i ≠ roman_ℓ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT italic_d bold_x start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT | roman_Ψ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( bold_x start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) italic_d bold_x start_POSTSUBSCRIPT roman_ℓ end_POSTSUBSCRIPT | roman_Ψ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( bold_x start_POSTSUBSCRIPT roman_ℓ end_POSTSUBSCRIPT ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT italic_i bold_q ⋅ bold_x start_POSTSUBSCRIPT roman_ℓ end_POSTSUBSCRIPT end_POSTSUPERSCRIPT = ∫ italic_d bold_x start_POSTSUBSCRIPT roman_ℓ end_POSTSUBSCRIPT | roman_Ψ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( bold_x start_POSTSUBSCRIPT roman_ℓ end_POSTSUBSCRIPT ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT italic_i bold_q ⋅ bold_x start_POSTSUBSCRIPT roman_ℓ end_POSTSUBSCRIPT end_POSTSUPERSCRIPT , (56)

where we have used that the wave functions are normalized to unity and that the BEC is composed of non-interacting bosons |Ψ0(𝐱1,,𝐱N)|2=|Ψ0(𝐱1)|2|Ψ0(𝐱N)|2superscriptsubscriptΨ0subscript𝐱1subscript𝐱𝑁2superscriptsubscriptΨ0subscript𝐱12superscriptsubscriptΨ0subscript𝐱𝑁2|\Psi_{0}(\mathbf{x}_{1},...,\mathbf{x}_{N})|^{2}=|\Psi_{0}(\mathbf{x}_{1})|^{% 2}...|\Psi_{0}(\mathbf{x}_{N})|^{2}| roman_Ψ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( bold_x start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , … , bold_x start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = | roman_Ψ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( bold_x start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT … | roman_Ψ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( bold_x start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. Notice that the form factor F(𝐪)𝐹𝐪F(\mathbf{q})italic_F ( bold_q ) is just the Fourier transform of the density distribution (up to an N𝑁Nitalic_N normalization that we factorized out).

Let us assume that the BEC is built in a shallow trapping potential, which can be approximated to first order by the potential of a harmonic oscillator,

VBEC12mω2r2,similar-to-or-equalssubscript𝑉BEC12𝑚superscript𝜔2superscript𝑟2V_{\text{BEC}}\simeq\frac{1}{2}m\omega^{2}r^{2},italic_V start_POSTSUBSCRIPT BEC end_POSTSUBSCRIPT ≃ divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_m italic_ω start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , (57)

where m𝑚mitalic_m is the mass of the cloud, ω𝜔\omegaitalic_ω is the frequency of harmonic oscillator, and r=(x2+y2+z2)1/2𝑟superscriptsuperscript𝑥2superscript𝑦2superscript𝑧212r=(x^{2}+y^{2}+z^{2})^{1/2}italic_r = ( italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 1 / 2 end_POSTSUPERSCRIPT. In the above equation we have also assumed that the trapping potential is spherical symmetric. The ground state wavefunction of such a potential is given by the following Gaussian:

Ψ0(r)=(mωπ)3/4exp(m2ωr2).subscriptΨ0𝑟superscript𝑚𝜔𝜋Planck-constant-over-2-pi34exp𝑚2Planck-constant-over-2-pi𝜔superscript𝑟2\Psi_{0}(r)=\left(\frac{m\omega}{\pi\hbar}\right)^{3/4}\text{exp}\left(-\frac{% m}{2\hbar}\omega r^{2}\right)\;.roman_Ψ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_r ) = ( divide start_ARG italic_m italic_ω end_ARG start_ARG italic_π roman_ℏ end_ARG ) start_POSTSUPERSCRIPT 3 / 4 end_POSTSUPERSCRIPT exp ( - divide start_ARG italic_m end_ARG start_ARG 2 roman_ℏ end_ARG italic_ω italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) . (58)

The Fourier transform of |Ψ0(r)|2superscriptsubscriptΨ0𝑟2|\Psi_{0}(r)|^{2}| roman_Ψ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_r ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT is then given by:

F(𝐪)=exp[(qrcloud2)2],𝐹𝐪expdelimited-[]superscript𝑞subscript𝑟cloud22F(\mathbf{q})=\text{exp}\left[-\left(\frac{q\,r_{\text{cloud}}}{2}\right)^{2}% \right]\;,italic_F ( bold_q ) = exp [ - ( divide start_ARG italic_q italic_r start_POSTSUBSCRIPT cloud end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ] , (59)

where rcloudsubscript𝑟cloudr_{\text{cloud}}italic_r start_POSTSUBSCRIPT cloud end_POSTSUBSCRIPT, the radius of the cloud, is fixed by the width of the averaged width of the Gaussian (harmonic oscillator length)   ,

rcloud=(mω)1/2.subscript𝑟cloudsuperscriptPlanck-constant-over-2-pi𝑚𝜔12r_{\text{cloud}}=\left(\frac{\hbar}{m\omega}\right)^{1/2}\;.italic_r start_POSTSUBSCRIPT cloud end_POSTSUBSCRIPT = ( divide start_ARG roman_ℏ end_ARG start_ARG italic_m italic_ω end_ARG ) start_POSTSUPERSCRIPT 1 / 2 end_POSTSUPERSCRIPT . (60)

We will use the above form factor to parameterize the coherence N2superscript𝑁2N^{2}italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT enhancement in the phase-shifts of the missions that involve BECs.

Appendix C Derivation of the Hidden Photon Process through Kinematic Mixing

Here we derive the dynamic structure factor for the DM scattering mediated by a hidden photon through kinematic mixing, which we consider in Section III.2. This largely follows the derivation in Ref. [49]. Consider a dark photon, Asuperscript𝐴A^{\prime}italic_A start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT, that couples to the SM photon through a kinetic mixing operator,

κ2FμνFμν,𝜅2superscript𝐹𝜇𝜈subscriptsuperscript𝐹𝜇𝜈{\cal L}\supset\frac{\kappa}{2}F^{\mu\nu}F^{\prime}_{\mu\nu}\;,caligraphic_L ⊃ divide start_ARG italic_κ end_ARG start_ARG 2 end_ARG italic_F start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT italic_F start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT , (61)

where κ𝜅\kappaitalic_κ is the kinetic mixing parameter, Fμνsubscript𝐹𝜇𝜈F_{\mu\nu}italic_F start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT is the photon field strength, and Fμνsubscriptsuperscript𝐹𝜇𝜈F^{\prime}_{\mu\nu}italic_F start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT is that for the dark photon. The SM photon couples to the target material via its polarizability. To leading order, this gives a polarization 𝐏(𝐫)=αn(𝐫)𝐄(𝐫)𝐏𝐫𝛼𝑛𝐫𝐄𝐫\mathbf{P}(\mathbf{r})=\alpha\,n(\mathbf{r})\mathbf{E}(\mathbf{r})bold_P ( bold_r ) = italic_α italic_n ( bold_r ) bold_E ( bold_r ), where 𝐄𝐄\mathbf{E}bold_E is the total electric field in the medium, n(𝐫)𝑛𝐫n(\mathbf{r})italic_n ( bold_r ) is the number density of the medium. The polarizability can be normalized as α=(ε(r)1)/n0𝛼superscript𝜀𝑟1subscript𝑛0\alpha=(\varepsilon^{(r)}-1)/n_{0}italic_α = ( italic_ε start_POSTSUPERSCRIPT ( italic_r ) end_POSTSUPERSCRIPT - 1 ) / italic_n start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT, where ε(r)superscript𝜀𝑟\varepsilon^{(r)}italic_ε start_POSTSUPERSCRIPT ( italic_r ) end_POSTSUPERSCRIPT is the relative linear dielectric constant, and n0subscript𝑛0n_{0}italic_n start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT is the average number density. The Hamiltonian for the polarization then reads:

HI=12αd3𝐫n(𝐫)𝐄(𝐫)𝐄(𝐫).subscript𝐻I12𝛼superscript𝑑3𝐫𝑛𝐫𝐄𝐫𝐄𝐫H_{\rm I}=-\frac{1}{2}\alpha\int d^{3}\mathbf{r}\,n(\mathbf{r})\mathbf{E}(% \mathbf{r})\cdot\mathbf{E}(\mathbf{r})\;.italic_H start_POSTSUBSCRIPT roman_I end_POSTSUBSCRIPT = - divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_α ∫ italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT bold_r italic_n ( bold_r ) bold_E ( bold_r ) ⋅ bold_E ( bold_r ) . (62)

After a field re-definition in the presence of a hidden photon, AμAμ+κAμsubscript𝐴𝜇subscript𝐴𝜇𝜅subscriptsuperscript𝐴𝜇A_{\mu}\rightarrow A_{\mu}+\kappa A^{\prime}_{\mu}italic_A start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT → italic_A start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT + italic_κ italic_A start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT, this gives

HI=ακd3𝐫n(𝐫)𝐄(𝐫)𝐄(𝐫),subscript𝐻I𝛼𝜅superscript𝑑3𝐫𝑛𝐫𝐄𝐫superscript𝐄𝐫H_{\rm I}=-\alpha\kappa\int d^{3}\mathbf{r}\,n(\mathbf{r})\mathbf{E}(\mathbf{r% })\cdot\mathbf{E}^{\prime}(\mathbf{r}),italic_H start_POSTSUBSCRIPT roman_I end_POSTSUBSCRIPT = - italic_α italic_κ ∫ italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT bold_r italic_n ( bold_r ) bold_E ( bold_r ) ⋅ bold_E start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( bold_r ) , (63)

where 𝐄superscript𝐄\mathbf{E}^{\prime}bold_E start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT is the electric field for the dark photon, that describes the interaction between the dark photon, the SM photon and the target medium.

In the atom interferometers that we consider in this paper, there are no external B-fields. Thus, we consider a scattering process mediated by a dark photon with mass mAsubscript𝑚superscript𝐴m_{A^{\prime}}italic_m start_POSTSUBSCRIPT italic_A start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT converted to a SM photon with momentum 𝐤1subscript𝐤1\mathbf{k}_{1}bold_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and energy ω1subscript𝜔1\omega_{1}italic_ω start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT. Following Ref. [49], where the electric field of the photon is quantized while the non-relativistic hidden photon field is sourced by a Coulomb potential, the polarization-averaged squared matrix element of:

|𝐩i|HI|𝐩f;𝐤1|2superscriptquantum-operator-productsubscript𝐩𝑖subscript𝐻𝐼subscript𝐩𝑓subscript𝐤12\displaystyle|\langle\mathbf{p}_{i}|H_{I}|\mathbf{p}_{f};\mathbf{k}_{1}\rangle% |^{2}| ⟨ bold_p start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT | italic_H start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT | bold_p start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT ; bold_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ⟩ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT =α2κ22V2ω1q2(q2+mA)2|Φ0|n𝐤2|Φ0|2|𝐤2=𝐪𝐤1absentevaluated-atsuperscript𝛼2superscript𝜅22superscript𝑉2subscript𝜔1superscript𝑞2superscriptsuperscript𝑞2subscript𝑚superscript𝐴2superscriptquantum-operator-productsubscriptΦ0subscript𝑛subscript𝐤2subscriptΦ02subscript𝐤2𝐪subscript𝐤1\displaystyle=\left.\frac{\alpha^{2}\kappa^{2}}{2V^{2}}\omega_{1}\frac{q^{2}}{% \left(q^{2}+m_{A^{\prime}}\right)^{2}}\left|\langle\Phi_{0}|n_{-\mathbf{k}_{2}% }|\Phi_{0}\rangle\right|^{2}\right|_{\mathbf{k}_{2}=\mathbf{q}-\mathbf{k}_{1}}= divide start_ARG italic_α start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_κ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_V start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_ω start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT divide start_ARG italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG ( italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_m start_POSTSUBSCRIPT italic_A start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG | ⟨ roman_Φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT | italic_n start_POSTSUBSCRIPT - bold_k start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT | roman_Φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ⟩ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | start_POSTSUBSCRIPT bold_k start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = bold_q - bold_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT (64)
=α2κ22V2ω1q2(q2+mA)21VS(𝐤2)|𝐤2=𝐪𝐤1absentevaluated-atsuperscript𝛼2superscript𝜅22superscript𝑉2subscript𝜔1superscript𝑞2superscriptsuperscript𝑞2subscript𝑚superscript𝐴21𝑉𝑆subscript𝐤2subscript𝐤2𝐪subscript𝐤1\displaystyle=\left.\frac{\alpha^{2}\kappa^{2}}{2V^{2}}\omega_{1}\frac{q^{2}}{% \left(q^{2}+m_{A^{\prime}}\right)^{2}}\frac{1}{V}S(\mathbf{k}_{2})\right|_{% \mathbf{k}_{2}=\mathbf{q}-\mathbf{k}_{1}}= divide start_ARG italic_α start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_κ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_V start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_ω start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT divide start_ARG italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG ( italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_m start_POSTSUBSCRIPT italic_A start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG divide start_ARG 1 end_ARG start_ARG italic_V end_ARG italic_S ( bold_k start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) | start_POSTSUBSCRIPT bold_k start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = bold_q - bold_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT (65)
=(αa03)21V2πσ¯μ2med2(q)a061Vω1q22S(𝐪𝐤1)absentsuperscript𝛼superscriptsubscript𝑎0321superscript𝑉2𝜋¯𝜎superscript𝜇2superscriptsubscriptmed2𝑞superscriptsubscript𝑎061𝑉subscript𝜔1superscript𝑞22𝑆𝐪subscript𝐤1\displaystyle=\left(\frac{\alpha}{a_{0}^{3}}\right)^{2}\frac{1}{V^{2}}\frac{% \pi\bar{\sigma}}{\mu^{2}}\mathcal{F}_{\rm med}^{2}(q)\;a_{0}^{6}\frac{1}{V}% \omega_{1}\frac{q^{2}}{2}S(\mathbf{q}-\mathbf{k}_{1})= ( divide start_ARG italic_α end_ARG start_ARG italic_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG italic_V start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG divide start_ARG italic_π over¯ start_ARG italic_σ end_ARG end_ARG start_ARG italic_μ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG caligraphic_F start_POSTSUBSCRIPT roman_med end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_q ) italic_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 6 end_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG italic_V end_ARG italic_ω start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT divide start_ARG italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG italic_S ( bold_q - bold_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) (66)

where 𝐪𝐪\mathbf{q}bold_q is the momentum transfer, |Φ0ketsubscriptΦ0|\Phi_{0}\rangle| roman_Φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ⟩ is the ground state, and n𝐤2subscript𝑛subscript𝐤2n_{-\mathbf{k}_{2}}italic_n start_POSTSUBSCRIPT - bold_k start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT is the Fourier transform of the number density operator n(𝐫)𝑛𝐫n(\mathbf{r})italic_n ( bold_r ):

n𝐤2=1Vi=1,,NAei𝐤2𝐲i,subscript𝑛subscript𝐤21𝑉subscript𝑖1subscript𝑁𝐴superscript𝑒𝑖subscript𝐤2subscript𝐲𝑖\displaystyle n_{-\mathbf{k}_{2}}=\frac{1}{\sqrt{V}}\sum_{i=1,\cdots,N_{A}}e^{% -i\mathbf{k}_{2}\cdot\mathbf{y}_{i}},italic_n start_POSTSUBSCRIPT - bold_k start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG square-root start_ARG italic_V end_ARG end_ARG ∑ start_POSTSUBSCRIPT italic_i = 1 , ⋯ , italic_N start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT - italic_i bold_k start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ⋅ bold_y start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUPERSCRIPT , (67)

and the resulting static structure factor S(𝐤2)i,j=1,,NAeiΔ𝐲i,j𝐤2𝑆subscript𝐤2subscriptformulae-sequence𝑖𝑗1subscript𝑁𝐴delimited-⟨⟩superscript𝑒𝑖Δsubscript𝐲𝑖𝑗subscript𝐤2S(\mathbf{k}_{2})\equiv\sum_{i,j=1,\cdots,N_{A}}\langle e^{-i\Delta\mathbf{y}_% {i,j}\cdot\mathbf{k}_{2}}\rangleitalic_S ( bold_k start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) ≡ ∑ start_POSTSUBSCRIPT italic_i , italic_j = 1 , ⋯ , italic_N start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT end_POSTSUBSCRIPT ⟨ italic_e start_POSTSUPERSCRIPT - italic_i roman_Δ bold_y start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT ⋅ bold_k start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ⟩ has the same functional dependence as the one derived for the nuclear recoil case in Eqn. 23 for contrast loss within matter interferometers and phase-shifts for both matter and diffuse atom cloud interferometers, which reflects that this process receives the same coherent scattering enhancement as the nuclear recoil case. Notice that in the last line of the derivation we have rearranged according to the reference cross section and mediator form factor, defined in Eqns. 42 and 43. Factoring out the model-dependent dimensionless coupling αn0𝛼subscript𝑛0\alpha n_{0}italic_α italic_n start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT, the model-independent structure function (convoluted with the kinematic function) for this process is:

f|f|T(𝐪)|i|2g(𝐪,ω1)=a061V𝐩f,𝐤1ω1q22S(𝐪𝐤1)g(𝐪,ω1)=a06q22d3𝐤1(2π)3ω1S(𝐪𝐤1)g(𝐪,ω1).subscript𝑓superscriptquantum-operator-product𝑓subscript𝑇𝐪𝑖2𝑔𝐪subscript𝜔1superscriptsubscript𝑎061𝑉subscriptsubscript𝐩𝑓subscript𝐤1subscript𝜔1superscript𝑞22𝑆𝐪subscript𝐤1𝑔𝐪subscript𝜔1superscriptsubscript𝑎06superscript𝑞22superscript𝑑3subscript𝐤1superscript2𝜋3subscript𝜔1𝑆𝐪subscript𝐤1𝑔𝐪subscript𝜔1\begin{split}\sum_{f}|\langle f|\mathcal{F}_{T}(\mathbf{q})|i\rangle|^{2}g(% \mathbf{q},\omega_{1})&=a_{0}^{6}\frac{1}{V}\sum_{\mathbf{p}_{f},\mathbf{k}_{1% }}\omega_{1}\frac{q^{2}}{2}S(\mathbf{q}-\mathbf{k}_{1})g(\mathbf{q},\omega_{1}% )\\ &=a_{0}^{6}\frac{q^{2}}{2}\int\frac{d^{3}\mathbf{k}_{1}}{(2\pi)^{3}}\omega_{1}% S(\mathbf{q}-\mathbf{k}_{1})g(\mathbf{q},\omega_{1}).\;\end{split}start_ROW start_CELL ∑ start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT | ⟨ italic_f | caligraphic_F start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT ( bold_q ) | italic_i ⟩ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_g ( bold_q , italic_ω start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) end_CELL start_CELL = italic_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 6 end_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG italic_V end_ARG ∑ start_POSTSUBSCRIPT bold_p start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT , bold_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT divide start_ARG italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG italic_S ( bold_q - bold_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) italic_g ( bold_q , italic_ω start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL = italic_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 6 end_POSTSUPERSCRIPT divide start_ARG italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG ∫ divide start_ARG italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT bold_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG ( 2 italic_π ) start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG italic_ω start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_S ( bold_q - bold_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) italic_g ( bold_q , italic_ω start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) . end_CELL end_ROW (68)

Notice that due to the target’s non-trivial polarization response, this form factor does not have a closed form. Thus, we numerically evaluate the decoherence effect, as stated in the main text.

References

  • Zwicky [1933] F. Zwicky, Helvetica Physica Acta 6, 110 (1933).
  • Rubin et al. [1978] V. C. Rubin, J. Ford, W. K., and N. Thonnard, ApJ 225, L107 (1978).
  • Rubin et al. [1980] V. C. Rubin, J. Ford, W. K., and N. Thonnard, ApJ 238, 471 (1980).
  • Ostriker et al. [1974] J. P. Ostriker, P. J. E. Peebles, and A. Yahil, ApJ 193, L1 (1974).
  • Tyson et al. [1990] J. A. Tyson, F. Valdes, and R. A. Wenk, ApJ 349, L1 (1990).
  • Wittman et al. [2000] D. M. Wittman, J. A. Tyson, D. Kirkman, I. Dell’Antonio, and G. Bernstein, Nature 405, 143 (2000)arXiv:astro-ph/0003014 [astro-ph] .
  • Spergel et al. [2003] D. N. Spergel, L. Verde, H. V. Peiris, E. Komatsu, M. R. Nolta, C. L. Bennett, M. Halpern, G. Hinshaw, N. Jarosik, A. Kogut, M. Limon, S. S. Meyer, L. Page, G. S. Tucker, J. L. Weiland, E. Wollack, and E. L. Wright, ApJS 148, 175 (2003)arXiv:astro-ph/0302209 [astro-ph] .
  • Planck Collaboration et al. [2018] Planck Collaboration, N. Aghanim, Y. Akrami, M. Ashdown, J. Aumont, C. Baccigalupi, M. Ballardini, A. J. Banday, R. B. Barreiro, N. Bartolo, S. Basak, R. Battye, K. Benabed, J. P. Bernard, M. Bersanelli, P. Bielewicz, J. J. Bock, J. R. Bond, J. Borrill, F. R. Bouchet, F. Boulanger, M. Bucher, C. Burigana, R. C. Butler, E. Calabrese, J. F. Cardoso, J. Carron, A. Challinor, H. C. Chiang, J. Chluba, L. P. L. Colombo, C. Combet, D. Contreras, B. P. Crill, F. Cuttaia, P. de Bernardis, G. de Zotti, J. Delabrouille, J. M. Delouis, E. Di Valentino, J. M. Diego, O. Doré, M. Douspis, A. Ducout, X. Dupac, S. Dusini, G. Efstathiou, F. Elsner, T. A. Enßlin, H. K. Eriksen, Y. Fantaye, M. Farhang, J. Fergusson, R. Fernandez-Cobos, F. Finelli, F. Forastieri, M. Frailis, E. Franceschi, A. Frolov, S. Galeotta, S. Galli, K. Ganga, R. T. Génova-Santos, M. Gerbino, T. Ghosh, J. González-Nuevo, K. M. Górski, S. Gratton, A. Gruppuso, J. E. Gudmundsson, J. Hamann, W. Hand ley, D. Herranz, E. Hivon, Z. Huang, A. H. Jaffe, W. C. Jones, A. Karakci, E. Keihänen, R. Keskitalo, K. Kiiveri, J. Kim, T. S. Kisner, L. Knox, N. Krachmalnicoff, M. Kunz, H. Kurki-Suonio, G. Lagache, J. M. Lamarre, A. Lasenby, M. Lattanzi, C. R. Lawrence, M. Le Jeune, P. Lemos, J. Lesgourgues, F. Levrier, A. Lewis, M. Liguori, P. B. Lilje, M. Lilley, V. Lindholm, M. López-Caniego, P. M. Lubin, Y. Z. Ma, J. F. Macías-Pérez, G. Maggio, D. Maino, N. Mandolesi, A. Mangilli, A. Marcos-Caballero, M. Maris, P. G. Martin, M. Martinelli, E. Martínez-González, S. Matarrese, N. Mauri, J. D. McEwen, P. R. Meinhold, A. Melchiorri, A. Mennella, M. Migliaccio, M. Millea, S. Mitra, M. A. Miville-Deschênes, D. Molinari, L. Montier, G. Morgante, A. Moss, P. Natoli, H. U. Nørgaard-Nielsen, L. Pagano, D. Paoletti, B. Partridge, G. Patanchon, H. V. Peiris, F. Perrotta, V. Pettorino, F. Piacentini, L. Polastri, G. Polenta, J. L. Puget, J. P. Rachen, M. Reinecke, M. Remazeilles, A. Renzi, G. Rocha, C. Rosset, G. Roudier, J. A. Rubiño-Martín, B. Ruiz-Granados, L. Salvati, M. Sandri, M. Savelainen, D. Scott, E. P. S. Shellard, C. Sirignano, G. Sirri, L. D. Spencer, R. Sunyaev, A. S. Suur-Uski, J. A. Tauber, D. Tavagnacco, M. Tenti, L. Toffolatti, M. Tomasi, T. Trombetti, L. Valenziano, J. Valiviita, B. Van Tent, L. Vibert, P. Vielva, F. Villa, N. Vittorio, B. D. Wand elt, I. K. Wehus, M. White, S. D. M. White, A. Zacchei, and A. Zonca, arXiv e-prints , arXiv:1807.06209 (2018), arXiv:1807.06209 [astro-ph.CO] .
  • Ahlen et al. [1987] S. P. Ahlen, F. T. Avignone, R. L. Brodzinski, A. K. Drukier, G. Gelmini, and D. N. Spergel, Physics Letters B 195, 603 (1987).
  • Aprile et al. [2018] E. Aprile et al. (Xenon Collaboration), Phys. Rev. Lett. 121, 111302 (2018)arXiv:1805.12562 [astro-ph.CO] .
  • Cui et al. [2017] X. Cui et al. (PandaX-II Collaboration), Phys. Rev. Lett. 119, 181302 (2017).
  • Akerib et al. [2017] D. S. Akerib et al. (LUX Collaboration), Phys. Rev. Lett. 118, 021303 (2017).
  • Meng et al. [2021] Y. Meng, Z. Wang, Y. Tao, A. Abdukerim, Z. Bo, W. Chen, X. Chen, Y. Chen, C. Cheng, Y. Cheng, X. Cui, Y. Fan, D. Fang, C. Fu, M. Fu, L. Geng, K. Giboni, L. Gu, X. Guo, K. Han, C. He, J. He, D. Huang, Y. Huang, Z. Huang, R. Hou, X. Ji, Y. Ju, C. Li, M. Li, S. Li, S. Li, Q. Lin, J. Liu, X. Lu, L. Luo, W. Ma, Y. Ma, Y. Mao, N. Shaheed, X. Ning, N. Qi, Z. Qian, X. Ren, C. Shang, G. Shen, L. Si, W. Sun, A. Tan, A. Wang, M. Wang, Q. Wang, S. Wang, S. Wang, W. Wang, X. Wang, M. Wu, W. Wu, J. Xia, M. Xiao, X. Xiao, P. Xie, B. Yan, X. Yan, J. Yang, Y. Yang, C. Yu, J. Yuan, Y. Yuan, D. Zhang, M. Zhang, P. Zhang, T. Zhang, L. Zhao, Q. Zheng, J. Zhou, N. Zhou, X. Zhou, and Y. Zhou, arXiv e-prints , arXiv:2107.13438 (2021), arXiv:2107.13438 [hep-ex] .
  • Boehm and Fayet [2004] C. Boehm and P. Fayet, Nucl. Phys. B 683, 219 (2004)arXiv:hep-ph/0305261 .
  • Strassler and Zurek [2007] M. J. Strassler and K. M. Zurek, Phys. Lett. B 651, 374 (2007)arXiv:hep-ph/0604261 .
  • Pospelov et al. [2008] M. Pospelov, A. Ritz, and M. B. Voloshin, Phys. Lett. B 662, 53 (2008)arXiv:0711.4866 [hep-ph] .
  • Hooper and Zurek [2008] D. Hooper and K. M. Zurek, Phys. Rev. D 77, 087302 (2008)arXiv:0801.3686 [hep-ph] .
  • Feng and Kumar [2008] J. L. Feng and J. Kumar, Phys. Rev. Lett. 101, 231301 (2008)arXiv:0803.4196 [hep-ph] .
  • Arkani-Hamed et al. [2009] N. Arkani-Hamed, D. P. Finkbeiner, T. R. Slatyer, and N. Weiner, Phys. Rev. D 79, 015014 (2009)arXiv:0810.0713 [hep-ph] .
  • Zurek [2009] K. M. Zurek, Phys. Rev. D 79, 115002 (2009)arXiv:0811.4429 [hep-ph] .
  • Hall et al. [2010] L. J. Hall, K. Jedamzik, J. March-Russell, and S. M. West, JHEP 03, 080arXiv:0911.1120 [hep-ph] .
  • Lin et al. [2012] T. Lin, H.-B. Yu, and K. M. Zurek, Phys. Rev. D 85, 063503 (2012)arXiv:1111.0293 [hep-ph] .
  • Hochberg et al. [2014] Y. Hochberg, E. Kuflik, T. Volansky, and J. G. Wacker, Phys. Rev. Lett. 113, 171301 (2014)arXiv:1402.5143 [hep-ph] .
  • Essig et al. [2012a] R. Essig, J. Mardon, and T. Volansky, Phys. Rev. D 85, 076007 (2012a).
  • Essig et al. [2012b] R. Essig, A. Manalaysay, J. Mardon, P. Sorensen, and T. Volansky, Phys. Rev. Lett. 109, 021301 (2012b).
  • Graham et al. [2012] P. W. Graham, D. E. Kaplan, S. Rajendran, and M. T. Walters, Physics of the Dark Universe 1, 32 (2012), next Decade in Dark Matter and Dark Energy.
  • Lee et al. [2015] S. K. Lee, M. Lisanti, S. Mishra-Sharma, and B. R. Safdi, Phys. Rev. D 92, 083517 (2015).
  • Essig et al. [2015] R. Essig, M. Fernandez-Serra, J. Mardon, A. Soto, T. Volansky, and T.-T. Yu, arXiv e-prints , arXiv:1509.01598 (2015), arXiv:1509.01598 [hep-ph] .
  • Hochberg et al. [2016] Y. Hochberg, Y. Zhao, and K. M. Zurek, Phys. Rev. Lett. 116, 011301 (2016).
  • Hochberg et al. [2016] Y. Hochberg, M. Pyle, Y. Zhao, and K. M. Zurek, Journal of High Energy Physics 2016, 57 (2016)arXiv:1512.04533 [hep-ph] .
  • Hochberg et al. [2016] Y. Hochberg, T. Lin, and K. M. Zurek, Phys. Rev. D 94, 015019 (2016).
  • Hochberg et al. [2017] Y. Hochberg, T. Lin, and K. M. Zurek, Phys. Rev. D 95, 023013 (2017)arXiv:1608.01994 [hep-ph] .
  • Derenzo et al. [2017] S. Derenzo, R. Essig, A. Massari, A. Soto, and T.-T. Yu, Phys. Rev. D 96, 016026 (2017).
  • Hochberg et al. [2017] Y. Hochberg, Y. Kahn, M. Lisanti, C. G. Tully, and K. M. Zurek, Physics Letters B 772, 239 (2017).
  • Bloch et al. [2017] I. M. Bloch, R. Essig, K. Tobioka, T. Volansky, and T.-T. Yu, Journal of High Energy Physics 2017, 87 (2017)arXiv:1608.02123 [hep-ph] .
  • Essig et al. [2017a] R. Essig, T. Volansky, and T.-T. Yu, Phys. Rev. D 96, 043017 (2017a).
  • Kadribasic et al. [2018] F. Kadribasic, N. Mirabolfathi, K. Nordlund, A. E. Sand, E. Holmström, and F. Djurabekova, Phys. Rev. Lett. 120, 111301 (2018).
  • Hochberg et al. [2018] Y. Hochberg, Y. Kahn, M. Lisanti, K. M. Zurek, A. G. Grushin, R. Ilan, S. M. Griffin, Z.-F. Liu, S. F. Weber, and J. B. Neaton, Phys. Rev. D 97, 015004 (2018).
  • Kurinsky et al. [2019] N. Kurinsky, T. C. Yu, Y. Hochberg, and B. Cabrera, Phys. Rev. D 99, 123005 (2019).
  • Heikinheimo et al. [2019] M. Heikinheimo, K. Nordlund, K. Tuominen, and N. Mirabolfathi, Phys. Rev. D 99, 103018 (2019).
  • Emken et al. [2019] T. Emken, R. Essig, C. Kouvaris, and M. Sholapurkar, J. Cosmology Astropart. Phys 2019, 070 (2019)arXiv:1905.06348 [hep-ph] .
  • Coskuner et al. [2019a] A. Coskuner, A. Mitridate, A. Olivares, and K. M. Zurek, arXiv e-prints , arXiv:1909.09170 (2019a), arXiv:1909.09170 [hep-ph] .
  • Geilhufe et al. [2020] R. M. Geilhufe, F. Kahlhoefer, and M. W. Winkler, Phys. Rev. D 101, 055005 (2020)arXiv:1910.02091 [hep-ph] .
  • Griffin et al. [2020] S. M. Griffin, K. Inzani, T. Trickle, Z. Zhang, and K. M. Zurek, Phys. Rev. D 101, 055004 (2020)arXiv:1910.10716 [hep-ph] .
  • Essig et al. [2017b] R. Essig, J. Mardon, O. Slone, and T. Volansky, Phys. Rev. D 95, 056011 (2017b).
  • Arvanitaki et al. [2018] A. Arvanitaki, S. Dimopoulos, and K. Van Tilburg, Phys. Rev. X 8, 041001 (2018).
  • Essig et al. [2019] R. Essig, J. Pérez-Ríos, H. Ramani, and O. Slone, Phys. Rev. Research 1, 033105 (2019).
  • Schutz and Zurek [2016] K. Schutz and K. M. Zurek, Phys. Rev. Lett. 117, 121302 (2016)arXiv:1604.08206 [hep-ph] .
  • Knapen et al. [2017] S. Knapen, T. Lin, and K. M. Zurek, Phys. Rev. D 95, 056019 (2017)arXiv:1611.06228 [hep-ph] .
  • Knapen et al. [2018] S. Knapen, T. Lin, M. Pyle, and K. M. Zurek, Physics Letters B 785, 386 (2018)arXiv:1712.06598 [hep-ph] .
  • Griffin et al. [2018] S. Griffin, S. Knapen, T. Lin, and K. M. Zurek, Phys. Rev. D 98, 115034 (2018)arXiv:1807.10291 [hep-ph] .
  • Acanfora et al. [2019] F. Acanfora, A. Esposito, and A. D. Polosa, European Physical Journal C 79, 549 (2019)arXiv:1902.02361 [hep-ph] .
  • Carney et al. [2021] D. Carney, G. Krnjaic, D. C. Moore, C. A. Regal, G. Afek, S. Bhave, B. Brubaker, T. Corbitt, J. Cripe, N. Crisosto, A. Geraci, S. Ghosh, J. G. E. Harris, A. Hook, E. W. Kolb, J. Kunjummen, R. F. Lang, T. Li, T. Lin, Z. Liu, J. Lykken, L. Magrini, J. Manley, N. Matsumoto, A. Monte, F. Monteiro, T. Purdy, C. J. Riedel, R. Singh, S. Singh, K. Sinha, J. M. Taylor, J. Qin, D. J. Wilson, and Y. Zhao, Quantum Science and Technology 6, 024002 (2021)arXiv:2008.06074 [physics.ins-det] .
  • Belenchia et al. [2022] A. Belenchia, M. Carlesso, Ö. Bayraktar, D. Dequal, I. Derkach, G. Gasbarri, W. Herr, Y. L. Li, M. Rademacher, J. Sidhu, D. K. L. Oi, S. T. Seidel, R. Kaltenbaek, C. Marquardt, H. Ulbricht, V. C. Usenko, L. Wörner, A. Xuereb, M. Paternostro, and A. Bassi, Phys. Rep. 951, 1 (2022)arXiv:2108.01435 [quant-ph] .
  • Kasevich and Chu [1991] M. Kasevich and S. Chu, Phys. Rev. Lett. 67, 181 (1991).
  • Geiger et al. [2020] R. Geiger, A. Landragin, S. Merlet, and F. Pereira Dos Santos, AVS Quantum Science 2, 024702 (2020)arXiv:2003.12516 [physics.atom-ph] .
  • Arvanitaki et al. [2015] A. Arvanitaki, J. Huang, and K. Van Tilburg, Phys. Rev. D 91, 015015 (2015)arXiv:1405.2925 [hep-ph] .
  • Stadnik and Flambaum [2015] Y. V. Stadnik and V. V. Flambaum, Phys. Rev. Lett. 115, 201301 (2015)arXiv:1503.08540 [astro-ph.CO] .
  • Hees et al. [2016] A. Hees, J. Guéna, M. Abgrall, S. Bize, and P. Wolf, Phys. Rev. Lett. 117, 061301 (2016)arXiv:1604.08514 [gr-qc] .
  • Network et al. [2020] B. A. C. O. Network, Collaboration, K. Beloy, M. I. Bodine, T. Bothwell, S. M. Brewer, S. L. Bromley, J.-S. Chen, J.-D. Deschênes, S. A. Diddams, R. J. Fasano, T. M. Fortier, Y. S. Hassan, D. B. Hume, D. Kedar, C. J. Kennedy, I. Khader, A. Koepke, D. R. Leibrandt, H. Leopardi, A. D. Ludlow, W. F. McGrew, W. R. Milner, N. R. Newbury, D. Nicolodi, E. Oelker, T. E. Parker, J. M. Robinson, S. Romisch, S. A. Schäffer, J. A. Sherman, L. C. Sinclair, L. Sonderhouse, W. C. Swann, J. Yao, J. Ye, and X. Zhang, Frequency ratio measurements with 18-digit accuracy using a network of optical clocks (2020).
  • Geraci and Derevianko [2016] A. A. Geraci and A. Derevianko, Phys. Rev. Lett. 117, 261301 (2016)arXiv:1605.04048 [physics.atom-ph] .
  • Graham et al. [2016] P. W. Graham, D. E. Kaplan, J. Mardon, S. Rajendran, and W. A. Terrano, Phys. Rev. D 93, 075029 (2016)arXiv:1512.06165 [hep-ph] .
  • Arvanitaki et al. [2018] A. Arvanitaki, P. W. Graham, J. M. Hogan, S. Rajendran, and K. Van Tilburg, Phys. Rev. D 97, 075020 (2018).
  • Riedel [2013] C. J. Riedel, Phys. Rev. D 88, 116005 (2013)arXiv:1212.3061 [quant-ph] .
  • Riedel and Yavin [2017] C. J. Riedel and I. Yavin, Physical Review D 96, 023007 (2017), aDS Bibcode: 2017PhRvD..96b3007R.
  • Badurina et al. [2024] L. Badurina, C. Murgui, and R. Plestid, arXiv e-prints , arXiv:2402.03421 (2024)arXiv:2402.03421 [quant-ph] .
  • Trickle et al. [2020a] T. Trickle, Z. Zhang, K. M. Zurek, K. Inzani, and S. M. Griffin, Journal of High Energy Physics 2020, 36 (2020a)arXiv:1910.08092 [hep-ph] .
  • Knapen et al. [2017] S. Knapen, T. Lin, and K. M. Zurek, Physical Review D 96, 115021 (2017), aDS Bibcode: 2017PhRvD..96k5021K.
  • Dickerson et al. [2013] S. M. Dickerson, J. M. Hogan, A. Sugarbaker, D. M. S. Johnson, and M. A. Kasevich, Phys. Rev. Lett. 111, 083001 (2013)arXiv:1305.1700 [physics.atom-ph] .
  • Sugarbaker et al. [2013] A. Sugarbaker, S. M. Dickerson, J. M. Hogan, D. M. S. Johnson, and M. A. Kasevich, Phys. Rev. Lett. 111, 113002 (2013)arXiv:1305.3298 [physics.atom-ph] .
  • Foster et al. [2002] G. T. Foster, J. B. Fixler, J. M. McGuirk, and M. A. Kasevich, Optics Letters 27, 951 (2002).
  • Chiow et al. [2009] S.-W. Chiow, S. Herrmann, S. Chu, and H. Müller, Phys. Rev. Lett. 103, 050402 (2009).
  • Joos and Zeh [1985] E. Joos and H. D. Zeh, Zeitschrift fur Physik B Condensed Matter 59, 223 (1985).
  • Hornberger and Sipe [2003] K. Hornberger and J. Sipe, Phys. Rev. A 68, 012105 (2003)arXiv:quant-ph/0303094 [quant-ph] .
  • Le Gouët et al. [2008] J. Le Gouët, T. E. Mehlstäubler, J. Kim, S. Merlet, A. Clairon, A. Landragin, and F. Pereira Dos Santos, Applied Physics B: Lasers and Optics 92, 133 (2008)arXiv:0801.1270 [physics.atom-ph] .
  • Kunjummen et al. [2022] J. Kunjummen, D. Carney, and J. M. Taylor, arXiv e-prints , arXiv:2205.03006 (2022), arXiv:2205.03006 [quant-ph] .
  • Bize et al. [2005] S. Bize, P. Laurent, M. Abgrall, H. Marion, I. Maksimovic, L. Cacciapuoti, J. Grünert, C. Vian, F. P. Dos Santos, P. Rosenbusch, et al., Journal of Physics B: Atomic, molecular and optical physics 38, S449 (2005).
  • Itano et al. [1993] W. M. Itano, J. C. Bergquist, J. J. Bollinger, J. M. Gilligan, D. J. Heinzen, F. L. Moore, M. G. Raizen, and D. J. Wineland, Phys. Rev. A 47, 3554 (1993).
  • Sorrentino et al. [2014] F. Sorrentino, Q. Bodart, L. Cacciapuoti, Y. H. Lien, M. Prevedelli, G. Rosi, L. Salvi, and G. M. Tino, Phys. Rev. A 89, 023607 (2014)arXiv:1312.3741 [quant-ph] .
  • Aveline et al. [2020] D. C. Aveline, J. R. Williams, E. R. Elliott, C. Dutenhoffer, J. R. Kellogg, J. M. Kohel, N. E. Lay, K. Oudrhiri, R. F. Shotwell, N. Yu, and R. J. Thompson, Nature 582, 193 (2020).
  • Lachmann et al. [2021] M. D. Lachmann, H. Ahlers, D. Becker, A. N. Dinkelaker, J. Grosse, O. Hellmig, H. Müntinga, V. Schkolnik, S. T. Seidel, T. Wendrich, A. Wenzlawski, B. Carrick, N. Gaaloul, D. Lüdtke, C. Braxmaier, W. Ertmer, M. Krutzik, C. Lämmerzahl, A. Peters, W. P. Schleich, K. Sengstock, A. Wicht, P. Windpassinger, and E. M. Rasel, Nature Communications 12, 1317 (2021)arXiv:2101.00972 [physics.atom-ph] .
  • Murata and Tanaka [2015] J. Murata and S. Tanaka, Classical and Quantum Gravity 32, 033001 (2015)arXiv:1408.3588 [hep-ex] .
  • Hardy and Lasenby [2017] E. Hardy and R. Lasenby, Journal of High Energy Physics 2017, 33 (2017)arXiv:1611.05852 [hep-ph] .
  • Ishizuka and Yoshimura [1990] N. Ishizuka and M. Yoshimura, Prog. Theor. Phys. 84, 233 (1990).
  • Abe et al. [2021] M. Abe et al. (MAGIS-100), Quantum Sci. Technol. 6, 044003 (2021)arXiv:2104.02835 [physics.atom-ph] .
  • Badurina et al. [2020] L. Badurina, E. Bentine, D. Blas, K. Bongs, D. Bortoletto, T. Bowcock, K. Bridges, W. Bowden, O. Buchmueller, C. Burrage, J. Coleman, G. Elertas, J. Ellis, C. Foot, V. Gibson, M. G. Haehnelt, T. Harte, S. Hedges, R. Hobson, M. Holynski, T. Jones, M. Langlois, S. Lellouch, M. Lewicki, R. Maiolino, P. Majewski, S. Malik, J. March-Russell, C. McCabe, D. Newbold, B. Sauer, U. Schneider, I. Shipsey, Y. Singh, M. A. Uchida, T. Valenzuela, M. van der Grinten, V. Vaskonen, J. Vossebeld, D. Weatherill, and I. Wilmut, Journal of Cosmology and Astroparticle Physics 2020 (05), 011, arXiv: 1911.11755.
  • Aguilera et al. [2014] D. N. Aguilera, H. Ahlers, B. Battelier, A. Bawamia, A. Bertoldi, R. Bondarescu, K. Bongs, P. Bouyer, C. Braxmaier, L. Cacciapuoti, C. Chaloner, M. Chwalla, W. Ertmer, M. Franz, N. Gaaloul, M. Gehler, D. Gerardi, L. Gesa, N. Gürlebeck, J. Hartwig, M. Hauth, O. Hellmig, W. Herr, S. Herrmann, A. Heske, A. Hinton, P. Ireland, P. Jetzer, U. Johann, M. Krutzik, A. Kubelka, C. Lämmerzahl, A. Landragin, I. Lloro, D. Massonnet, I. Mateos, A. Milke, M. Nofrarias, M. Oswald, A. Peters, K. Posso-Trujillo, E. Rasel, E. Rocco, A. Roura, J. Rudolph, W. Schleich, C. Schubert, T. Schuldt, S. Seidel, K. Sengstock, C. F. Sopuerta, F. Sorrentino, D. Summers, G. M. Tino, C. Trenkel, N. Uzunoglu, W. von Klitzing, R. Walser, T. Wendrich, A. Wenzlawski, P. Weßels, A. Wicht, E. Wille, M. Williams, P. Windpassinger, and N. Zahzam, Classical and Quantum Gravity 31, 115010 (2014)arXiv:1312.5980 [quant-ph] .
  • Frye et al. [2021] K. Frye, S. Abend, W. Bartosch, A. Bawamia, D. Becker, H. Blume, C. Braxmaier, S.-W. Chiow, M. A. Efremov, W. Ertmer, and et al., EPJ Quantum Technology 8, 1–38 (2021).
  • Elliott et al. [2018] E. R. Elliott, M. C. Krutzik, J. R. Williams, R. J. Thompson, and D. C. Aveline, npj Microgravity 4, 16 (2018).
  • Kaltenbaek [2015] R. Kaltenbaek, arXiv e-prints , arXiv:1508.07796 (2015), arXiv:1508.07796 [quant-ph] .
  • Kaltenbaek et al. [2016] R. Kaltenbaek, M. Aspelmeyer, P. F. Barker, A. Bassi, J. Bateman, K. Bongs, S. Bose, C. Braxmaier, Č. Brukner, B. Christophe, M. Chwalla, P.-F. Cohadon, A. M. Cruise, C. Curceanu, K. Dholakia, L. Diósi, K. Döringshoff, W. Ertmer, J. Gieseler, N. Gürlebeck, G. Hechenblaikner, A. Heidmann, S. Herrmann, S. Hossenfelder, U. Johann, N. Kiesel, M. Kim, C. Lämmerzahl, A. Lambrecht, M. Mazilu, G. J. Milburn, H. Müller, L. Novotny, M. Paternostro, A. Peters, I. Pikovski, A. Pilan Zanoni, E. M. Rasel, S. Reynaud, C. J. Riedel, M. Rodrigues, L. Rondin, A. Roura, W. P. Schleich, J. Schmiedmayer, T. Schuldt, K. C. Schwab, M. Tajmar, G. M. Tino, H. Ulbricht, R. Ursin, and V. Vedral, EPJ Quantum Technology 3, 5 (2016).
  • Yu et al. [2019] N. Yu, S.-w. Chiow, J. Gleyzes, P. Bull, O. Doré, J. Rhodes, J. Jewell, and E. Huff, Direct Probe of Dark Energy Interactions with a Solar System Laboratory, NASA Innovative Advanced Concept Study Report (2019).
  • Amini et al. [2021] R. Amini, S.-W. Chiow, C. Cutler, O. Doré, J. Jewell, K. Pardo, J. Rhodes, A. Singh, and N. Yu, Gravity Probe and Dark Energy Detection Probe (GDM), NASA BPS 2021 Research Campaign White Paper (2021).
  • Chiow [2022] S.-w. Chiow, personal communication (2022).
  • El-Neaj et al. [2020a] Y. A. El-Neaj et al. (AEDGE), EPJ Quant. Technol. 7, 6 (2020a)arXiv:1908.00802 [gr-qc] .
  • Pino et al. [2018] H. Pino, J. Prat-Camps, K. Sinha, B. Prasanna Venkatesh, and O. Romero-Isart, Quantum Science and Technology 3, 025001 (2018).
  • Asenbaum et al. [2020] P. Asenbaum, C. Overstreet, M. Kim, J. Curti, and M. A. Kasevich, Phys. Rev. Lett. 125, 191101 (2020)arXiv:2005.11624 [physics.atom-ph] .
  • Overstreet et al. [2022] C. Overstreet, P. Asenbaum, J. Curti, M. Kim, and M. A. Kasevich, Science 375, 226 (2022).
  • El-Neaj et al. [2020b] Y. A. El-Neaj, C. Alpigiani, S. Amairi-Pyka, H. Araujo, A. Balaz, A. Bassi, L. Bathe-Peters, B. Battelier, A. Belic, E. Bentine, J. Bernabeu, A. Bertoldi, R. Bingham, D. Blas, V. Bolpasi, K. Bongs, S. Bose, P. Bouyer, T. Bowcock, W. Bowden, O. Buchmueller, C. Burrage, X. Calmet, B. Canuel, L.-I. Caramete, A. Carroll, G. Cella, V. Charmandaris, S. Chattopadhyay, X. Chen, M. L. Chiofalo, J. Coleman, J. Cotter, Y. Cui, A. Derevianko, A. De Roeck, G. Djordjevic, P. Dornan, M. Doser, I. Drougkakis, J. Dunningham, I. Dutan, S. Easo, G. Elertas, J. Ellis, M. E. Sawy, F. Fassi, D. Felea, C.-H. Feng, R. Flack, C. Foot, I. Fuentes, N. Gaaloul, A. Gauguet, R. Geiger, V. Gibson, G. Giudice, J. Goldwin, O. Grachov, P. W. Graham, D. Grasso, M. van der Grinten, M. Gundogan, M. G. Haehnelt, T. Harte, A. Hees, R. Hobson, B. Holst, J. Hogan, M. Kasevich, B. J. Kavanagh, W. von Klitzing, T. Kovachy, B. Krikler, M. Krutzik, M. Lewicki, Y.-H. Lien, M. Liu, G. G. Luciano, A. Magnon, M. Mahmoud, S. Malik, C. McCabe, J. Mitchell, J. Pahl, D. Pal, S. Pandey, D. Papazoglou, M. Paternostro, B. Penning, A. Peters, M. Prevedelli, V. Puthiya-Veettil, J. Quenby, E. Rasel, S. Ravenhall, H. R. Sfar, J. Ringwood, A. Roura, D. Sabulsky, M. Sameed, B. Sauer, S. A. Schaffer, S. Schiller, V. Schkolnik, D. Schlippert, C. Schubert, A. Shayeghi, I. Shipsey, C. Signorini, M. Soares-Santos, F. Sorrentino, Y. Singh, T. Sumner, K. Tassis, S. Tentindo, G. M. Tino, J. N. Tinsley, J. Unwin, T. Valenzuela, G. Vasilakis, V. Vaskonen, C. Vogt, A. Webber-Date, A. Wenzlawski, P. Windpassinger, M. Woltmann, M. Holynski, E. Yazgan, M.-S. Zhan, X. Zou, and J. Zupan, EPJ Quantum Technology 7, 6 (2020b), arXiv: 1908.00802.
  • Coskuner et al. [2019b] A. Coskuner, D. M. Grabowska, S. Knapen, and K. M. Zurek, Phys. Rev. D 100, 035025 (2019b)arXiv:1812.07573 [hep-ph] .
  • Afek et al. [2022] G. Afek, D. Carney, and D. C. Moore, Phys. Rev. Lett. 128, 101301 (2022).
  • Fukuda and Shirai [2021] H. Fukuda and S. Shirai, arXiv e-prints , arXiv:2112.13536 (2021), arXiv:2112.13536 [hep-ph] .
  • Alonso et al. [2019] R. Alonso, D. Blas, and P. Wolf, Journal of High Energy Physics 2019, 69 (2019)arXiv:1810.00889 [hep-ph] .
  • Wolf et al. [2019] P. Wolf, R. Alonso, and D. Blas, Phys. Rev. D 99, 095019 (2019)arXiv:1810.01632 [quant-ph] .
  • Bondarenko et al. [2021] K. Bondarenko, A. Sokolenko, A. Boyarsky, A. Robertson, D. Harvey, and Y. Revaz, J. Cosmology Astropart. Phys 2021, 043 (2021)arXiv:2006.06623 [astro-ph.CO] .
  • Abazajian et al. [2019] K. Abazajian, G. Addison, P. Adshead, Z. Ahmed, S. W. Allen, D. Alonso, M. Alvarez, A. Anderson, K. S. Arnold, C. Baccigalupi, and et al., arXiv e-prints , arXiv:1907.04473 (2019), arXiv:1907.04473 [astro-ph.IM] .
  • Hanany et al. [2019] S. Hanany, M. Alvarez, E. Artis, P. Ashton, J. Aumont, R. Aurlien, R. Banerji, R. B. Barreiro, J. G. Bartlett, S. Basak, N. Battaglia, J. Bock, K. K. Boddy, M. Bonato, J. Borrill, F. Bouchet, F. Boulanger, B. Burkhart, J. Chluba, D. Chuss, S. E. Clark, J. Cooperrider, B. P. Crill, G. De Zotti, J. Delabrouille, E. Di Valentino, J. Didier, O. Doré, H. K. Eriksen, J. Errard, T. Essinger-Hileman, S. Feeney, J. Filippini, L. Fissel, R. Flauger, U. Fuskeland, V. Gluscevic, K. M. Gorski, D. Green, B. Hensley, D. Herranz, J. C. Hill, E. Hivon, R. Hložek, J. Hubmayr, B. R. Johnson, W. Jones, T. Jones, L. Knox, A. Kogut, M. López-Caniego, C. Lawrence, A. Lazarian, Z. Li, M. Madhavacheril, J.-B. Melin, J. Meyers, C. Murray, M. Negrello, G. Novak, R. O’Brient, C. Paine, T. Pearson, L. Pogosian, C. Pryke, G. Puglisi, M. Remazeilles, G. Rocha, M. Schmittfull, D. Scott, P. Shirron, I. Stephens, B. Sutin, M. Tomasi, A. Trangsrud, A. van Engelen, F. Vansyngel, I. K. Wehus, Q. Wen, S. Xu, K. Young, and A. Zonca, arXiv e-prints , arXiv:1902.10541 (2019), arXiv:1902.10541 [astro-ph.IM] .
  • Di Valentino et al. [2018] E. Di Valentino, T. Brinckmann, M. Gerbino, V. Poulin, F. R. Bouchet, J. Lesgourgues, A. Melchiorri, J. Chluba, S. Clesse, J. Delabrouille, C. Dvorkin, F. Forastieri, S. Galli, D. C. Hooper, M. Lattanzi, C. J. A. P. Martins, L. Salvati, G. Cabass, A. Caputo, E. Giusarma, E. Hivon, P. Natoli, L. Pagano, S. Paradiso, J. A. Rubiño-Martin, A. Achúcarro, P. Ade, R. Allison, F. Arroja, M. Ashdown, M. Ballardini, A. J. Banday, R. Banerji, N. Bartolo, J. G. Bartlett, S. Basak, D. Baumann, P. de Bernardis, M. Bersanelli, A. Bonaldi, M. Bonato, J. Borrill, F. Boulanger, M. Bucher, C. Burigana, A. Buzzelli, Z. Y. Cai, M. Calvo, C. S. Carvalho, G. Castellano, A. Challinor, I. Charles, I. Colantoni, A. Coppolecchia, M. Crook, G. D’Alessandro, M. De Petris, G. De Zotti, J. M. Diego, J. Errard, S. Feeney, R. Fernandez-Cobos, S. Ferraro, F. Finelli, G. de Gasperis, R. T. Génova-Santos, J. González-Nuevo, S. Grandis, J. Greenslade, S. Hagstotz, S. Hanany, W. Handley, D. K. Hazra, C. Hernández-Monteagudo, C. Hervias-Caimapo, M. Hills, K. Kiiveri, T. Kisner, T. Kitching, M. Kunz, H. Kurki-Suonio, L. Lamagna, A. Lasenby, A. Lewis, M. Liguori, V. Lindholm, M. Lopez-Caniego, G. Luzzi, B. Maffei, S. Martin, E. Martinez-Gonzalez, S. Masi, S. Matarrese, D. McCarthy, J. B. Melin, J. J. Mohr, D. Molinari, A. Monfardini, M. Negrello, A. Notari, A. Paiella, D. Paoletti, G. Patanchon, F. Piacentini, M. Piat, G. Pisano, L. Polastri, G. Polenta, A. Pollo, M. Quartin, M. Remazeilles, M. Roman, C. Ringeval, A. Tartari, M. Tomasi, D. Tramonte, N. Trappe, T. Trombetti, C. Tucker, J. Väliviita, R. van de Weygaert, B. Van Tent, V. Vennin, G. Vermeulen, P. Vielva, N. Vittorio, K. Young, and M. Zannoni, J. Cosmology Astropart. Phys 2018, 017 (2018)arXiv:1612.00021 [astro-ph.CO] .
  • Aiola et al. [2022] S. Aiola et al. (CMB-HD), in 2022 Snowmass Summer Study (2022) arXiv:2203.05728 [astro-ph.CO] .
  • Gilman et al. [2020] D. Gilman, S. Birrer, A. Nierenberg, T. Treu, X. Du, and A. Benson, MNRAS 491, 6077 (2020)arXiv:1908.06983 [astro-ph.CO] .
  • Astropy Collaboration et al. [2018] Astropy Collaboration, A. M. Price-Whelan, B. M. Sipőcz, H. M. Günther, P. L. Lim, S. M. Crawford, S. Conseil, D. L. Shupe, M. W. Craig, N. Dencheva, A. Ginsburg, J. T. Vand erPlas, L. D. Bradley, D. Pérez-Suárez, M. de Val-Borro, T. L. Aldcroft, K. L. Cruz, T. P. Robitaille, E. J. Tollerud, C. Ardelean, T. Babej, others, and Astropy Contributors, AJ 156, 123 (2018)arXiv:1801.02634 [astro-ph.IM] .
  • Hunter [2007] J. D. Hunter, Computing in Science and Engineering 9, 90 (2007).
  • van der Walt et al. [2011] S. van der Walt, S. C. Colbert, and G. Varoquaux, Computing in Science and Engineering 13, 22 (2011)arXiv:1102.1523 [cs.MS] .
  • Trickle et al. [2020b] T. Trickle, Z. Zhang, and K. M. Zurek, arXiv e-prints , arXiv:2009.13534 (2020b), arXiv:2009.13534 [hep-ph] .
  • Virtanen et al. [2020] P. Virtanen, R. Gommers, T. E. Oliphant, M. Haberland, T. Reddy, D. Cournapeau, E. Burovski, P. Peterson, W. Weckesser, J. Bright, S. J. van der Walt, M. Brett, J. Wilson, K. Jarrod Millman, N. Mayorov, A. R. J. Nelson, E. Jones, R. Kern, E. Larson, C. Carey, İ. Polat, Y. Feng, E. W. Moore, J. Vand erPlas, D. Laxalde, J. Perktold, R. Cimrman, I. Henriksen, E. A. Quintero, C. R. Harris, A. M. Archibald, A. H. Ribeiro, F. Pedregosa, P. van Mulbregt, and S. . . Contributors, Nature Methods 17, 261 (2020).
  • Coskuner et al. [2022] A. Coskuner, T. Trickle, Z. Zhang, and K. M. Zurek, Phys. Rev. D 105, 015010 (2022)arXiv:2102.09567 [hep-ph] .
  • Bednyakov and Naumov [2018] V. A. Bednyakov and D. V. Naumov, Physical Review D 9810.1103/physrevd.98.053004 (2018).