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

HTML conversions sometimes display errors due to content that did not convert correctly from the source. This paper uses the following packages that are not yet supported by the HTML conversion tool. Feedback on these issues are not necessary; they are known and are being worked on.

  • failed: stackengine

Authors: achieve the best HTML results from your LaTeX submissions by following these best practices.

License: arXiv.org perpetual non-exclusive license
arXiv:2401.03025v1 [hep-ph] 05 Jan 2024
\stackMath

Dark Matter Candidates of a Very Low Mass

Kathryn M. Zurek
Abstract

We review dark matter (DM) candidates of a very low mass, appearing in the window below the traditional weakly-interacting massive particle mχ10less-than-or-similar-tosubscript𝑚𝜒10m_{\chi}\lesssim 10italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ≲ 10 GeV and extending down to mχ1greater-than-or-equivalent-tosubscript𝑚𝜒1m_{\chi}\gtrsim 1italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ≳ 1 meV, somewhat below the mass limit where DM becomes wavelike. Such candidates are motivated by hidden sectors such as Hidden Valleys, which feature hidden forces and rich dynamics, but have evaded traditional collider searches looking for New Physics because of their relatively weak coupling to the Standard Model. Such sectors can still be detected through dedicated low-energy colliders which, through their intense beams, can have sensitivity to smaller couplings, or through astrophysical observations of the evolution of DM halos and stellar structures which, through the Universe’s epochs, can be sensitive to small DM interactions. We also consider mechanisms where the DM abundance is fixed through the interaction with the SM, which directly motivates the search for light DM in terrestrial experiments. The bulk of this review is dedicated to the new ideas that have been proposed for directly detecting such DM candidates of a low mass, through nuclear recoils, electronic excitations, or collective modes such as phonons and magnons. The rich tapestry of materials and modes in the Condensed Matter landscape is reviewed, along with specific prospects for detection.

I Hidden Sector Dark Matter–An Introduction

In the search for DM candidates, there are a few considerations that enter, most notably that any DM candidate must satisfy observational evidence. This begins with the observed DM density, which is fixed most precisely at the epoch of the Cosmic Microwave Background (CMB, when the Universe is approximately 380,000 years old, at a redshift z103104similar-to𝑧superscript103superscript104z\sim 10^{3}-10^{4}italic_z ∼ 10 start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT - 10 start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT). From that epoch until today, it is known–on the largest scales of the Universe–from the formation of galaxies and clusters of galaxies, as well as galactic rotation curves–that DM density ρ𝜌\rhoitalic_ρ must dilute with the expanding volume of the Universe ρ=ρ0(1+z)3𝜌superscript𝜌0superscript1𝑧3\rho=\rho^{0}(1+z)^{3}italic_ρ = italic_ρ start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT ( 1 + italic_z ) start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT (with ρ0superscript𝜌0\rho^{0}italic_ρ start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT the density today) and must have very weak interactions with the baryons (so as not to disturb CMB baryon acoustic oscillations), and also with itself so that the structure of galaxies remains approximately oblate (neither a perfect sphere nor a disk). That is, on average, the DM must have a cold equation of state (w=0𝑤0w=0italic_w = 0) at least since the Universe is approximately 380,000 years old, and have weak enough interactions with itself and the ordinary matter that the gravitational force dominates the formation of bound structures, and not other forces like baryonic pressure. Beyond this broad set of facts, little is known about the DM. For a classic review of the evidence for DM, see e.g. Ref. [1].

Around the time that these facts about the Universe were coming to be broadly accepted (in the ’80s) particle physics was itself struggling with some puzzles mostly having to do with questions of “naturalness.” It turned out that solving these problems of naturalness in the Standard Model (SM) of Particle Physics naturally produced two DM candidates. The first of these candidates is the weakly-interacting massive particle (WIMP), which appears as part of the solution to the question of why the Higgs mass (and hence weak forces) are so light; by extension the WIMP mass is typically at the weak scale and they have weak interactions, making them very susceptible to detection with the barrage of experiments probing the weak scale. The second of these candidates is the axion, a possible solution to the question of why there is so little CP violation in the strong interactions. The axion has interactions that are much weaker than weak (corresponding to a mass scale of 109superscript10910^{9}10 start_POSTSUPERSCRIPT 9 end_POSTSUPERSCRIPT GeV up to the Planck scale), but its much lower mass, and hence much higher number density, gives a boost to the detection probability, typically in cavities that exploit the coherent enhancement of a wave-like state such as axion DM. Both WIMPs and axions can be produced in the early Universe (thermally and non-thermally, respectively) in an abundance consistent with observations. Multiple experimental efforts are underway to search for these DM candidates. Because they are part of the solution to the SM’s problems, they have interactions with the SM that allow one to predict detection in a sufficiently sensitive device with ordinary particles. Well-defined predictions are appealing to the intrepid DM hunter. See the recent reviews Refs. [2, 3] that describe these ongoing efforts.

However, this narrow focus on these two candidates is despite the fact that, from an observational point of view, a huge mass range of DM particles and an almost as large range of interactions, is observationally possible. On the low mass end, DM can be as light as is consistent with the formation of structure on dwarf-galaxy scales, which implies that the de Broglie wavelength of the DM must be shorter than a typical dwarf galaxy size, implying mχ1022greater-than-or-equivalent-tosubscript𝑚𝜒superscript1022m_{\chi}\gtrsim 10^{-22}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ≳ 10 start_POSTSUPERSCRIPT - 22 end_POSTSUPERSCRIPT eV. On the upper mass end, DM is not observed to be clumpy (or grainy) in measurements of the Lyman-α𝛼\alphaitalic_α forest; this implies that DM should have mass mχ103Mless-than-or-similar-tosubscript𝑚𝜒superscript103subscript𝑀direct-productm_{\chi}\lesssim 10^{3}\leavevmode\nobreak\ M_{\odot}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ≲ 10 start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_M start_POSTSUBSCRIPT ⊙ end_POSTSUBSCRIPT (for reference 1M1057similar-to1subscript𝑀direct-productsuperscript10571\leavevmode\nobreak\ M_{\odot}\sim 10^{57}1 italic_M start_POSTSUBSCRIPT ⊙ end_POSTSUBSCRIPT ∼ 10 start_POSTSUPERSCRIPT 57 end_POSTSUPERSCRIPT GeV) to be sufficiently smooth (see Ref. [4] where shot noise fluctuations from primordial black-hole DM were considered). Any mass in-between is consistent with observations.

Once one releases the requirement that the DM solve one of the Standard Model’s problems, a hidden world of possibilities opens, only subject to the requirement that the DM

  • have the observed abundance;

  • dilute as a cold non-relativistic state after the CMB epoch;

  • have its interactions on large scales be dominated by gravity;

  • satisfy the requirement that DM-baryon interactions not damp baryons after the CMB epoch, and not affect the formation of nuclei in the early Universe.

In fact, there is not even a requirement that the Hidden World have only one dark state, have self-interactions much weaker than baryonic, and that all of the Dark Sector be non-relativistic.

The structure of a hidden sector (alternatively known as a “hidden valley” or “dark sector”) is shown schematically in Fig. 1. The barrier in between the Standard Model and the hidden sector represents the interaction between the two sectors, with a higher barrier representing a weaker interaction. The highest barrier is the weakest force of all, gravity. In order to detect DM through individual particle interactions with the SM, there must be other, much lower, barriers, represented as lower peaks. The mass scale of the hidden sector, represented by the height of the “floor,” is unknown.

One is tempted to become overwhelmed by such a huge mass range of DM, types of dark sectors and their interactions. Thus, it helps to break it down according to the physics governing the DM masses and interactions. In this article, we will focus on a mass range of particle DM that is motivated, by its relic abundance, to have large enough interactions with the SM to be detectable through particle interactions. When the DM is heavier than approximately 10 TeV, setting its relic abundance through interactions with the SM is challenging (as we will see explicitly below). While there are exceptions, when the DM mass is much heavier than the electroweak scale, detection through SM interactions is generally not motivated by abundance. For heavier mass DM, one can use gravitational means (e.g. pulsar timing [5] or the unique motions of stars [6]) or additional DM-SM fifth force to search for such candidates [7], often through astrophysical means. On the other end of the mass scale, when the DM is lighter than 1similar-toabsent1\sim 1∼ 1 eV, DM behaves like a wave rather than an individual particle. Detection techniques in this “ultralight” mass regime focus on utilizing coherence, often in cavities or with other AMO techniques [8]. While this is a vibrant area of research, it will not be the focus of this article.

We will focus on hidden sector DM candidates in the “low mass” range, whose relic abundance is still naturally set by its interactions with the SM, where it is motivated to search for such a state through detection of individual particles in terrestrial experiments. This implies a DM mass range between approximately a few keV (below which DM which is produced by its particle interactions with the SM will be too warm to cluster appropriately, see e.g. Ref. [9]) and approximately 10 GeV, just below the weak scale. Because these Hidden Sector states have a mass below the weak scale interactions, making for a low mass floor in the schematic of Fig. 1, we refer to these DM models as Hidden Valley (HV) or Hidden Sector (HS) DM.

Refer to caption
Figure 1: Schematic of Hidden Sector Dark Matter. The barrier in the center of the figure represents the interaction (from a grand unified theory (GUT), weak scale or light mediators) between the two sectors, with a higher barrier representing a weaker interaction. The mediator connects the visible and hidden sector, where the height of the floor in the two sectors represents the mass gap. In the visible sector we have the standard model, with a mass gap for the baryons of around a GeV, while in the DM sector, it is unknown the scale of the mass gap, or the structure of the states there.

The outline of the rest of this review is as follows. In the next Section, we review how DM candidates of a very low mass can naturally have their relic abundance set through interactions with the SM. We characterize the various kinds of mechanisms that are often utilized in the literature to set the relic abundance. We then turn to examining astrophysical and cosmological probes for HVDM, which by itself sheds a light on where DM might be detected in terrestrial experiments. Then we turn to the main focus of the article: terrestrial probes for HVDM, focusing mostly on direct detection experiments. Novel probes must be invented to search for HVDM, because the traditional nuclear recoil probes of WIMP DM are ineffective; more specifically, this implies utilizing the wealth of “collective modes” (such as phonons and magnons) that are available in Condensed Matter systems. We also briefly review other kinds of terrestrial probes for HVDM, such as accelerator based experiments.

II Models of Light Dark Matter: a Brief Overview

There are a broad range of Hidden Sector models, necessitating a strong selection of theory for this review. We will focus on direct detection prospects in terrestrial experiments, and therefore on interactions with the SM that could be detected. These interactions are most motivated when they also set the relic abundance, as we discuss in the next section. In the dark sector itself, the structure is relatively unconstrained, especially if the mass gap in the hidden sector is 10greater-than-or-equivalent-toabsent10\gtrsim 10≳ 10 MeV where constraints from Big Bang Nucleonsynthesis (BBN) from a thermalized hidden sector can be most easily satisfied. For example, the hidden sector could be a/an [10, 11]

  • QCD-like theory with F𝐹Fitalic_F-flavors and N𝑁Nitalic_N-colors, with only light or heavy quarks, or adjoint quarks;

  • QED-like theory with no massless photon;

  • Pure-glue theory;

  • Remnant from SUSY breaking;

  • Partially Higgsed SU(N) theory;

  • Seiberg duality cascade;

  • Unparticles;

  • Sector arising from an Randall-Sundrum or Klebanov-Strassler throat in extra dimensions.

Hidden sectors with such structures will naturally give rise to DM self-interactions. Strongly coupled hidden sectors have weakly coupled duals, so it is also possible to write effective Lagrangians in terms of weakly-coupled scalars, fermions and vector mediators [12]. To take a particularly simple example, the dark sector could be a QCD-like theory with N=2𝑁2N=2italic_N = 2, 2 light flavors, and no heavy flavors [10]. Such a hidden sector has gapped degrees of freedom, hidden pions πv±,πv0.subscriptsuperscript𝜋plus-or-minus𝑣superscriptsubscript𝜋𝑣0\pi^{\pm}_{v},\leavevmode\nobreak\ \pi_{v}^{0}.italic_π start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT , italic_π start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT . Note the ±plus-or-minus\pm± here does not denote electric charge, but rather charge under a new global symmetry in the hidden sector that stabilizes the pions carrying the global symmetry πv±subscriptsuperscript𝜋plus-or-minus𝑣\pi^{\pm}_{v}italic_π start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT. The relic abundance is fixed by

πv+πvπv0πv0,subscriptsuperscript𝜋𝑣subscriptsuperscript𝜋𝑣superscriptsubscript𝜋𝑣0superscriptsubscript𝜋𝑣0\displaystyle\pi^{+}_{v}\pi^{-}_{v}\rightarrow\pi_{v}^{0}\pi_{v}^{0},italic_π start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT italic_π start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT → italic_π start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT italic_π start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT , (1)

with πv0ff¯superscriptsubscript𝜋𝑣0𝑓¯𝑓\pi_{v}^{0}\rightarrow f\bar{f}italic_π start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT → italic_f over¯ start_ARG italic_f end_ARG decaying, for example, to SM fermions to which the dark sector states couple via the connector state. This structure also appears in Secluded DM models [13, 14]. There may also be a mechanism to generate an asymmetry (or chemical potential) between πv+superscriptsubscript𝜋𝑣\pi_{v}^{+}italic_π start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT and its anti-particle, the motivation for theories of hidden-sector Asymmetric Dark Matter [15]. See also Ref. [16] for a discussion of HV/HS DM in the context of asymmetric DM. This general framework triggered a slew of model building, from atomic [17], quirky [18] and glueball [19] DM, to the WIMPless [20] and SIMP [21] miracles.

Hidden sectors also naturally allow for “portals” between the two sectors, through which the DM interacts with the SM, giving rise to signatures in terrestrial experiments. Since the DM is electrically neutral, there are two natural portals involving dimension-4 operators

  • Vector Portal including a kinetically mixed dark photon [22] (Ref. [23] for an application to DM)

    A12mA214FμνFμνϵ2FμνFμνyχAμχ¯γμχ.12superscriptsubscript𝑚superscript𝐴214superscriptsuperscript𝐹𝜇𝜈subscriptsuperscript𝐹𝜇𝜈italic-ϵ2subscript𝐹𝜇𝜈superscriptsuperscript𝐹𝜇𝜈subscript𝑦𝜒subscriptsuperscript𝐴𝜇¯𝜒superscript𝛾𝜇𝜒subscriptsuperscript𝐴\displaystyle{\cal L}_{A^{\prime}}\supset-\frac{1}{2}m_{A^{\prime}}^{2}-\frac{% 1}{4}{F^{\prime}}^{\mu\nu}F^{\prime}_{\mu\nu}-\frac{\epsilon}{2}F_{\mu\nu}{F^{% \prime}}^{\mu\nu}-y_{\chi}A^{\prime}_{\mu}\bar{\chi}\gamma^{\mu}\chi.caligraphic_L start_POSTSUBSCRIPT italic_A start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ⊃ - divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_m start_POSTSUBSCRIPT italic_A start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - divide start_ARG 1 end_ARG start_ARG 4 end_ARG italic_F start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT italic_F start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT - divide start_ARG italic_ϵ end_ARG start_ARG 2 end_ARG italic_F start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT italic_F start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT - italic_y start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT italic_A start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT over¯ start_ARG italic_χ end_ARG italic_γ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_χ . (2)

    The vector mediator can also, for example, be a gauge boson from a BL𝐵𝐿B-Litalic_B - italic_L symmetry, UBLsubscript𝑈𝐵𝐿U_{B-L}italic_U start_POSTSUBSCRIPT italic_B - italic_L end_POSTSUBSCRIPT [24].

  • Scalar Portal including via Higgs mixing [11, 25],

    Hϕ12mϕ2|ϕ|2κ|H|2|ϕ|2.12superscriptsubscript𝑚italic-ϕ2superscriptitalic-ϕ2𝜅superscript𝐻2superscriptitalic-ϕ2subscript𝐻italic-ϕ\displaystyle{\cal L}_{H\phi}\supset-\frac{1}{2}m_{\phi}^{2}|\phi|^{2}-\kappa|% H|^{2}|\phi|^{2}.caligraphic_L start_POSTSUBSCRIPT italic_H italic_ϕ end_POSTSUBSCRIPT ⊃ - divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | italic_ϕ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_κ | italic_H | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | italic_ϕ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT . (3)

    One can also have a hadrophilic or leptophilic scalar, as discussed in detail in Ref. [24].

Another important feature in the hidden sector, besides its self-interactions and the portal to the visible sector, is the mass gap fixing mχsubscript𝑚𝜒m_{\chi}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT. While by no means necessary, the theory becomes more predictive if this gap is fixed by a relation with the visible sector. This can happen, for example, if the confinement scale in the hidden sector is triggered by visible sector confinement [26], or if supersymmetry breaking in the visible sector triggers supersymmetry breaking in the hidden sector and fixes the mass scales in that sector [27]. While we do not go into details of these models in this review, the mechanism that generates the mass gap in the hidden sector can also give rise to predictive interaction rates in terrestrial experiments. We explore some of these cases in the next two sections.

III Mechanisms for Light Dark Matter Relic Abundance

The direct search for DM candidates whose mass is below the electroweak scale depends on the DM having couplings to the SM other than gravitational. The strength of those couplings, and in particular whether they are large enough to give rise to detectable signals in terrestrial experiments, is best motivated if the DM relic abundance is fixed through its interactions with the SM. We review here mechanisms for setting the relic abundance, with the goal of showing how such DM candidates could be observed through a scattering or absorption process in a direct detection experiment.

III.1 Simplified Models in Direct Detection

Eqs. 23 comprise simplified models of portals mediating interactions with the SM, with mϕsubscript𝑚italic-ϕm_{\phi}italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT or mAsubscript𝑚superscript𝐴m_{A^{\prime}}italic_m start_POSTSUBSCRIPT italic_A start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT denoted more generally as mediators with mass mMsubscript𝑚𝑀m_{M}italic_m start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT. It is often useful to employ simplified models as a general framework for understanding how relic abundance considerations interplay with astrophysical, cosmological and direct detection constraints. A typical interaction cross-section of DM with coupling αχ=gχ24πsubscript𝛼𝜒superscriptsubscript𝑔𝜒24𝜋\alpha_{\chi}=\frac{g_{\chi}^{2}}{4\pi}italic_α start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT = divide start_ARG italic_g start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 4 italic_π end_ARG via a mediator, on a target T𝑇Titalic_T having a coupling αT=gT2/4πsubscript𝛼𝑇superscriptsubscript𝑔𝑇24𝜋\alpha_{T}=g_{T}^{2}/4\piitalic_α start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT = italic_g start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / 4 italic_π, takes the form

σ¯T=16παTαχ(mM2+𝐪02)2μTχ2subscript¯𝜎𝑇16𝜋subscript𝛼𝑇subscript𝛼𝜒superscriptsuperscriptsubscript𝑚𝑀2superscriptsubscript𝐪022superscriptsubscript𝜇𝑇𝜒2\displaystyle\bar{\sigma}_{T}=\frac{16\pi\alpha_{T}\alpha_{\chi}}{(m_{M}^{2}+{% \bf q}_{0}^{2})^{2}}\mu_{T\chi}^{2}over¯ start_ARG italic_σ end_ARG start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT = divide start_ARG 16 italic_π italic_α start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT italic_α start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG start_ARG ( italic_m start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + bold_q start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_μ start_POSTSUBSCRIPT italic_T italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT (4)

in a direct detection experiment, where μTχsubscript𝜇𝑇𝜒\mu_{T\chi}italic_μ start_POSTSUBSCRIPT italic_T italic_χ end_POSTSUBSCRIPT is the target-DM reduced mass, and 𝐪0subscript𝐪0{\bf q}_{0}bold_q start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT is a typical momentum transfer in the experiment, used here for defining the reference cross-section. For electron targets, the reference momentum is taken to be q0=αmesubscript𝑞0𝛼subscript𝑚𝑒q_{0}=\alpha m_{e}italic_q start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = italic_α italic_m start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT. The same product of couplings, αTαχsubscript𝛼𝑇subscript𝛼𝜒\alpha_{T}\alpha_{\chi}italic_α start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT italic_α start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT typically sets the relic abundance of DM in models where DM is produced through its interaction with the SM. In the case of scattering via a heavy vector mediator, on an electron target lighter than the DM, the direct detection cross-section can be written as

σ¯e=16παeme2mχ4yRA,subscript¯𝜎𝑒16𝜋subscript𝛼𝑒superscriptsubscript𝑚𝑒2superscriptsubscript𝑚𝜒4subscript𝑦RA\displaystyle\bar{\sigma}_{e}=\frac{16\pi\alpha_{e}m_{e}^{2}}{m_{\chi}^{4}}y_{% \rm RA},over¯ start_ARG italic_σ end_ARG start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT = divide start_ARG 16 italic_π italic_α start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG italic_y start_POSTSUBSCRIPT roman_RA end_POSTSUBSCRIPT , (5)

where were have separated a relic-abundance parameter yRAsubscript𝑦𝑅𝐴y_{RA}italic_y start_POSTSUBSCRIPT italic_R italic_A end_POSTSUBSCRIPT

yRAαχ(mχmA)4.subscript𝑦RAsubscript𝛼𝜒superscriptsubscript𝑚𝜒subscript𝑚superscript𝐴4\displaystyle y_{\rm RA}\equiv\alpha_{\chi}\left(\frac{m_{\chi}}{m_{A^{\prime}% }}\right)^{4}.italic_y start_POSTSUBSCRIPT roman_RA end_POSTSUBSCRIPT ≡ italic_α start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ( divide start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_A start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT . (6)

A summary plot showing the proposed reach in σ¯esubscript¯𝜎𝑒\bar{\sigma}_{e}over¯ start_ARG italic_σ end_ARG start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT of several direct detection experiments as a function of light DM mass is shown in Fig. 2. In the rest of the review, one goal will be to illuminate how the various reach curves and constraints are computed. The orange bands in the left plot and the blue band in the right plot correspond to the regions of model space where the DM abundance in the Universe is fixed by the same couplings that give rise to the scattering in direct detection experiments. We now turn to discussing concretely how the scattering cross-section in direction detection experiments can be related to the relic abundance in three common cases that set benchmarks in terrestrial searches for light DM.

Refer to caption
Refer to caption
Figure 2: Direct Detection reach spaces for left: a massive vector mediator coupled to electrons (figure from Ref. [8]), and right: a massless dark photon (figure from Ref. [24]). Both panels show benchmarks, as orange or blue bands in each figure, where the same couplings that fix the relic abundance also give rise to the direct detection interaction, motivating laboratory searches. This occurs, for example, for p𝑝pitalic_p-wave freeze-out of scalar DM (see discussion around Eq. 12), Asymmetric DM (see discussion around Eq. 17), Freeze-in (Eq. 22), and SIMPs/ELDERs (Eq. 26). The various ideas to directly detect light DM, such as through a silicon or germanium target, through superconductors, or via polar materials, will be discussed in subsequent subsections. We also discuss stellar cooling bounds, such as from red giants (RG), white dwarves (WD), and supernovae (SN).

III.2 Thermal Freeze-out of symmetric and asymmetric dark matter

Thermal freeze-out occurs when the temperature drops below the DM mass, and the equilibrium process, χχ¯ff¯𝜒¯𝜒𝑓¯𝑓\chi\bar{\chi}\leftrightarrow f\bar{f}italic_χ over¯ start_ARG italic_χ end_ARG ↔ italic_f over¯ start_ARG italic_f end_ARG, becomes simply an annihilation process:

χχ¯ff¯.𝜒¯𝜒𝑓¯𝑓\displaystyle\chi\bar{\chi}\rightarrow f\bar{f}.italic_χ over¯ start_ARG italic_χ end_ARG → italic_f over¯ start_ARG italic_f end_ARG . (7)

Freeze-out fixes the relic abundance to a value obtained by solving a Boltzmann equation

dY±dx=xσvsH(mχ)(Y+Y(Yeq)2),𝑑subscript𝑌plus-or-minus𝑑𝑥𝑥delimited-⟨⟩𝜎𝑣𝑠𝐻subscript𝑚𝜒subscript𝑌subscript𝑌superscriptsuperscript𝑌𝑒𝑞2\displaystyle\frac{dY_{\pm}}{dx}=-\frac{x\langle\sigma v\rangle s}{H(m_{\chi})% }(Y_{+}Y_{-}-(Y^{eq})^{2}),divide start_ARG italic_d italic_Y start_POSTSUBSCRIPT ± end_POSTSUBSCRIPT end_ARG start_ARG italic_d italic_x end_ARG = - divide start_ARG italic_x ⟨ italic_σ italic_v ⟩ italic_s end_ARG start_ARG italic_H ( italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ) end_ARG ( italic_Y start_POSTSUBSCRIPT + end_POSTSUBSCRIPT italic_Y start_POSTSUBSCRIPT - end_POSTSUBSCRIPT - ( italic_Y start_POSTSUPERSCRIPT italic_e italic_q end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) , (8)

where we are allowing DM to have separate number densities for particle and antiparticle to allow for a DM asymmetry: Y±=n±/ssubscript𝑌plus-or-minussubscript𝑛plus-or-minus𝑠Y_{\pm}=n_{\pm}/sitalic_Y start_POSTSUBSCRIPT ± end_POSTSUBSCRIPT = italic_n start_POSTSUBSCRIPT ± end_POSTSUBSCRIPT / italic_s, where s𝑠sitalic_s is the entropy density. Here x=mχ/T𝑥subscript𝑚𝜒𝑇x=m_{\chi}/Titalic_x = italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT / italic_T, the Hubble parameter H(mχ)𝐻subscript𝑚𝜒H(m_{\chi})italic_H ( italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ) is evaluated at T=mχ𝑇subscript𝑚𝜒T=m_{\chi}italic_T = italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT in a radiation-dominated universe, and Yeqax3/2exsimilar-to-or-equalssuperscript𝑌𝑒𝑞𝑎superscript𝑥32superscript𝑒𝑥Y^{eq}\simeq ax^{3/2}e^{-x}italic_Y start_POSTSUPERSCRIPT italic_e italic_q end_POSTSUPERSCRIPT ≃ italic_a italic_x start_POSTSUPERSCRIPT 3 / 2 end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_x end_POSTSUPERSCRIPT is the equilibrium number density, with a𝑎aitalic_a dependent on the number of thermalized degrees of freedom. The annihilation cross-section is parameterized as s𝑠sitalic_s-wave (n=0𝑛0n=0italic_n = 0) or p𝑝pitalic_p-wave (n=1𝑛1n=1italic_n = 1): σvσ0(T/m)n=σ0xn,delimited-⟨⟩𝜎𝑣subscript𝜎0superscript𝑇𝑚𝑛subscript𝜎0superscript𝑥𝑛\langle\sigma v\rangle\equiv\sigma_{0}(T/m)^{n}=\sigma_{0}x^{-n},⟨ italic_σ italic_v ⟩ ≡ italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_T / italic_m ) start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT = italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_x start_POSTSUPERSCRIPT - italic_n end_POSTSUPERSCRIPT , where 32T=12mv232𝑇12𝑚delimited-⟨⟩superscript𝑣2\frac{3}{2}T=\frac{1}{2}m\langle v^{2}\rangledivide start_ARG 3 end_ARG start_ARG 2 end_ARG italic_T = divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_m ⟨ italic_v start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ⟩. Note that for p𝑝pitalic_p-wave interactions, since the DM velocity drops as the Universe cools, the interaction rate is much smaller in the late than early Universe. This can be important for observational constraints, such as on the annihilation cross-section from the CMB relative to the freeze-out cross-section. In the case where there is no DM particle-anti-particle asymmetry, freeze-out occurs when nχσA|v|H(xf)similar-to-or-equalssubscript𝑛𝜒delimited-⟨⟩subscript𝜎𝐴𝑣𝐻subscript𝑥𝑓n_{\chi}\langle\sigma_{A}|v|\rangle\simeq H(x_{f})italic_n start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ⟨ italic_σ start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT | italic_v | ⟩ ≃ italic_H ( italic_x start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT ), and one can do a back-of-the-envelope calculation of the needed annihilation cross-section to fix the observed relic abundance ρχ0superscriptsubscript𝜌𝜒0\rho_{\chi}^{0}italic_ρ start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT:

σvdelimited-⟨⟩𝜎𝑣\displaystyle\langle\sigma v\rangle⟨ italic_σ italic_v ⟩ similar-to\displaystyle\sim Tf2Mplmχρχ(Tf)superscriptsubscript𝑇𝑓2subscript𝑀𝑝𝑙subscript𝑚𝜒subscript𝜌𝜒subscript𝑇𝑓\displaystyle\frac{T_{f}^{2}}{M_{pl}}\frac{m_{\chi}}{\rho_{\chi}(T_{f})}divide start_ARG italic_T start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_M start_POSTSUBSCRIPT italic_p italic_l end_POSTSUBSCRIPT end_ARG divide start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG start_ARG italic_ρ start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ( italic_T start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT ) end_ARG
=\displaystyle== Tf2Mplmχρχ0T03Tf3superscriptsubscript𝑇𝑓2subscript𝑀𝑝𝑙subscript𝑚𝜒superscriptsubscript𝜌𝜒0superscriptsubscript𝑇03superscriptsubscript𝑇𝑓3\displaystyle\frac{T_{f}^{2}}{M_{pl}}\frac{m_{\chi}}{\rho_{\chi}^{0}}\frac{T_{% 0}^{3}}{T_{f}^{3}}divide start_ARG italic_T start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_M start_POSTSUBSCRIPT italic_p italic_l end_POSTSUBSCRIPT end_ARG divide start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG start_ARG italic_ρ start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT end_ARG divide start_ARG italic_T start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG start_ARG italic_T start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG
=\displaystyle== T03Mplxfρχ0superscriptsubscript𝑇03subscript𝑀𝑝𝑙subscript𝑥𝑓superscriptsubscript𝜌𝜒0\displaystyle\frac{T_{0}^{3}}{M_{pl}}\frac{x_{f}}{\rho_{\chi}^{0}}divide start_ARG italic_T start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG start_ARG italic_M start_POSTSUBSCRIPT italic_p italic_l end_POSTSUBSCRIPT end_ARG divide start_ARG italic_x start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT end_ARG start_ARG italic_ρ start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT end_ARG
similar-to-or-equals\displaystyle\simeq 3×1026 cm3/s(xf20),3superscript1026superscript cm3ssubscript𝑥𝑓20\displaystyle 3\times 10^{-26}\mbox{ cm}^{3}/\mbox{s}\left(\frac{x_{f}}{20}% \right),3 × 10 start_POSTSUPERSCRIPT - 26 end_POSTSUPERSCRIPT cm start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT / s ( divide start_ARG italic_x start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT end_ARG start_ARG 20 end_ARG ) ,

where xf20similar-to-or-equalssubscript𝑥𝑓20x_{f}\simeq 20italic_x start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT ≃ 20 is the freeze-out temperature obtained from solving the Boltzmann equation for s𝑠sitalic_s-wave annihilation and DM in the WIMP window mχ1similar-to-or-equalssubscript𝑚𝜒1m_{\chi}\simeq 1italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ≃ 1 TeV. It has only logarithmic sensitivity to the DM mass and parameter n𝑛nitalic_n, but we quote its value below for general particle asymmetries. An s𝑠sitalic_s-wave annihilation process to a light vector particle scales parametrically as

σvπαχ2mχ21(mMmχ)23×1026cm3s(gχ0.4)4(2 TeVmχ)2,similar-to-or-equalsdelimited-⟨⟩𝜎𝑣𝜋superscriptsubscript𝛼𝜒2superscriptsubscript𝑚𝜒21superscriptsubscript𝑚𝑀subscript𝑚𝜒2similar-to-or-equals3superscript1026superscriptcm3ssuperscriptsubscript𝑔𝜒0.44superscript2 TeVsubscript𝑚𝜒2\displaystyle\langle\sigma v\rangle\simeq\frac{\pi\alpha_{\chi}^{2}}{m_{\chi}^% {2}}\sqrt{1-\left(\frac{m_{M}}{m_{\chi}}\right)^{2}}\simeq 3\times 10^{-26}% \frac{\mbox{cm}^{3}}{\mbox{s}}\left(\frac{g_{\chi}}{0.4}\right)^{4}\left(\frac% {2\mbox{ TeV}}{m_{\chi}}\right)^{2},⟨ italic_σ italic_v ⟩ ≃ divide start_ARG italic_π italic_α start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG square-root start_ARG 1 - ( divide start_ARG italic_m start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ≃ 3 × 10 start_POSTSUPERSCRIPT - 26 end_POSTSUPERSCRIPT divide start_ARG cm start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG start_ARG s end_ARG ( divide start_ARG italic_g start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG start_ARG 0.4 end_ARG ) start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT ( divide start_ARG 2 TeV end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , (10)

where we have taken the vector force mass to be much smaller than the DM mass, mMmχmuch-less-thansubscript𝑚𝑀subscript𝑚𝜒m_{M}\ll m_{\chi}italic_m start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT ≪ italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT. That gχ1similar-tosubscript𝑔𝜒1g_{\chi}\sim 1italic_g start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ∼ 1 when mχ1 TeVsimilar-tosubscript𝑚𝜒1 TeVm_{\chi}\sim 1\mbox{ TeV}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ∼ 1 TeV is parametrically the reason that weak scale DM is said to be motivated by thermal freeze-out, known colloquially as “the WIMP miracle.” One can see immediately that the DM cannot be pushed much heavier than 10 TeVsimilar-toabsent10 TeV\sim 10\mbox{ TeV}∼ 10 TeV without running into a regime where couplings become non-perturbative and the theory is inconsistent. However, as DM becomes lighter, one simply needs to scale down the coupling product αχsubscript𝛼𝜒\alpha_{\chi}italic_α start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT linearly with mχsubscript𝑚𝜒m_{\chi}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT to satisfy the same relic abundance considerations. Thus hidden sector DM of a low mass is equally well motivated by thermal freeze-out considerations.

More generally, for an s𝑠sitalic_s-channel annihilation process to electrons through a mediator, vector or scalar, the annihilation cross-sections at freeze-out are

σvV16παχαemχ2(4mχ2mA2)2 and σvS2παχαemχ2(4mχ2mS2)21xf.formulae-sequencesimilar-to-or-equalssubscriptdelimited-⟨⟩𝜎𝑣𝑉16𝜋subscript𝛼𝜒subscript𝛼𝑒superscriptsubscript𝑚𝜒2superscript4superscriptsubscript𝑚𝜒2superscriptsubscript𝑚superscript𝐴22 and similar-to-or-equalssubscriptdelimited-⟨⟩𝜎𝑣𝑆2𝜋subscript𝛼𝜒subscript𝛼𝑒superscriptsubscript𝑚𝜒2superscript4superscriptsubscript𝑚𝜒2superscriptsubscript𝑚𝑆221subscript𝑥𝑓\displaystyle\langle\sigma v\rangle_{V}\simeq\frac{16\pi\alpha_{\chi}\alpha_{e% }m_{\chi}^{2}}{(4m_{\chi}^{2}-m_{A^{\prime}}^{2})^{2}}\leavevmode\nobreak\ % \leavevmode\nobreak\ \leavevmode\nobreak\ \mbox{ and }\leavevmode\nobreak\ % \leavevmode\nobreak\ \leavevmode\nobreak\ \langle\sigma v\rangle_{S}\simeq% \frac{2\pi\alpha_{\chi}\alpha_{e}m_{\chi}^{2}}{(4m_{\chi}^{2}-m_{S}^{2})^{2}}% \frac{1}{x_{f}}.⟨ italic_σ italic_v ⟩ start_POSTSUBSCRIPT italic_V end_POSTSUBSCRIPT ≃ divide start_ARG 16 italic_π italic_α start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT italic_α start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG ( 4 italic_m start_POSTSUBSCRIPT italic_χ 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 and ⟨ italic_σ italic_v ⟩ start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT ≃ divide start_ARG 2 italic_π italic_α start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT italic_α start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG ( 4 italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_m start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG divide start_ARG 1 end_ARG start_ARG italic_x start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT end_ARG . (11)

As DM drops below approximately 10 GeV down to 2me2subscript𝑚𝑒2m_{e}2 italic_m start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT, its relic number density remains high enough that s𝑠sitalic_s-wave annihilation to SM states, in the absence of a particle-anti-particle asymmetry, during the CMB epoch is ruled out, see Refs. [28, 29, 30, 31] and discussion in Sec. IV.2. The basic reason for the CMB constraint is that the energy released in DM annihilation can distort the surface of last scattering, placing a lower bound on the DM mass. This can be ameliorated through p𝑝pitalic_p-wave annihilation (which occurs if fermionic DM annihilates through a scalar mediator, or if scalar DM annihilates through a vector boson as was proposed for MeV DM, see Refs. [12, 32, 33]). In this case, the annihilation rate is suppressed by the velocity of the DM in the late Universe (in the Milky Way, v103similar-to𝑣superscript103v\sim 10^{-3}italic_v ∼ 10 start_POSTSUPERSCRIPT - 3 end_POSTSUPERSCRIPT, while for the smooth background vT/mχsimilar-to𝑣𝑇subscript𝑚𝜒v\sim\sqrt{T/m_{\chi}}italic_v ∼ square-root start_ARG italic_T / italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG), while in the early Universe (at freeze-out, the velocity is v13similar-to𝑣13v\sim\frac{1}{3}italic_v ∼ divide start_ARG 1 end_ARG start_ARG 3 end_ARG) the rate is similar to the s𝑠sitalic_s-wave case. For the s𝑠sitalic_s-wave case, one finds the relic abundance parameter in Eq. 6 which enters into the direct-detection cross-section Eq. 5

yRA1011(mχ10 MeV)2(xf20)(14mχ2mA2)2.similar-to-or-equalssubscript𝑦RAsuperscript1011superscriptsubscript𝑚𝜒10 MeV2subscript𝑥𝑓20superscript14superscriptsubscript𝑚𝜒2superscriptsubscript𝑚superscript𝐴22\displaystyle y_{\rm RA}\simeq 10^{-11}\left(\frac{m_{\chi}}{10\mbox{ MeV}}% \right)^{2}\left(\frac{x_{f}}{20}\right)\left(1-\frac{4m_{\chi}^{2}}{m_{A^{% \prime}}^{2}}\right)^{2}.italic_y start_POSTSUBSCRIPT roman_RA end_POSTSUBSCRIPT ≃ 10 start_POSTSUPERSCRIPT - 11 end_POSTSUPERSCRIPT ( divide start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG start_ARG 10 MeV end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( divide start_ARG italic_x start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT end_ARG start_ARG 20 end_ARG ) ( 1 - divide start_ARG 4 italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_A start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT . (12)

For the case of p𝑝pitalic_p-wave annihilation through a scalar mediator, the couplings must be correspondingly (somewhat) larger to compensate the v2superscript𝑣2v^{2}italic_v start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT suppression. The model space of p𝑝pitalic_p-wave annihilating scalar DM is shown as the orange band “Elastic scalar” in the left panel of Fig. 2.

The CMB bounds on light DM annihilation can also be satisfied if DM has a particle-anti-particle asymmetry [30], as discussed below in Sec. IV.2. Asymmetric DM has its relic abundance fixed via a chemical potential, similar to the particle-anti-particle asymmetry in the visible sector (see Ref. [15] for a review). However, the particle-anti-particle asymmetry of asymmetric DM only becomes visible if the symmetric abundance is efficiently removed through annihilation in the early Universe. This is similar to baryons and leptons in the SM, which efficiently annihilate through, e.g., e+eγγsuperscript𝑒superscript𝑒𝛾𝛾e^{+}e^{-}\rightarrow\gamma\gammaitalic_e start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT → italic_γ italic_γ and pp¯π+π𝑝¯𝑝superscript𝜋superscript𝜋p\bar{p}\rightarrow\pi^{+}\pi^{-}italic_p over¯ start_ARG italic_p end_ARG → italic_π start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_π start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT. In the SM, these processes are highly efficient, such that positrons and anti-protons and neutrons are extremely rare in the Universe, except if they are produced in astrophysical accelerators that generate cosmic rays. For Asymmetric DM to satisfy bounds on DM annihilation rates at the CMB epoch, the particle-anti-particle annihilation rate must have been large enough to effectively remove the anti-particle, placing a lower bound on the annihilation cross-section. This in turn will place a lower bound on the scattering cross-section via Eq. 5 which also serves as a benchmark for light DM direct detection experiments. We will briefly summarize the treatment in Ref. [30] relevant for our purposes. Solving the Boltzmann equation for a general particle-anti-particle asymmetry gives rise to the late-time ratio of particle to anti-particle asymmetries [34, 30]:

rYY+()Y(xf)Y+(xf)exp(ηχλg*xfn+1(n+1)),subscript𝑟subscript𝑌subscript𝑌similar-to-or-equalssubscript𝑌subscript𝑥𝑓subscript𝑌subscript𝑥𝑓subscript𝜂𝜒𝜆subscript𝑔superscriptsubscript𝑥𝑓𝑛1𝑛1r_{\infty}\equiv\frac{Y_{-}}{Y_{+}}(\infty)\simeq\frac{Y_{-}(x_{f})}{Y_{+}(x_{% f})}\exp\left(\frac{-\eta_{\chi}\lambda\sqrt{g_{*}}}{x_{f}^{n+1}(n+1)}\right),italic_r start_POSTSUBSCRIPT ∞ end_POSTSUBSCRIPT ≡ divide start_ARG italic_Y start_POSTSUBSCRIPT - end_POSTSUBSCRIPT end_ARG start_ARG italic_Y start_POSTSUBSCRIPT + end_POSTSUBSCRIPT end_ARG ( ∞ ) ≃ divide start_ARG italic_Y start_POSTSUBSCRIPT - end_POSTSUBSCRIPT ( italic_x start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT ) end_ARG start_ARG italic_Y start_POSTSUBSCRIPT + end_POSTSUBSCRIPT ( italic_x start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT ) end_ARG roman_exp ( divide start_ARG - italic_η start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT italic_λ square-root start_ARG italic_g start_POSTSUBSCRIPT * end_POSTSUBSCRIPT end_ARG end_ARG start_ARG italic_x start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n + 1 end_POSTSUPERSCRIPT ( italic_n + 1 ) end_ARG ) , (13)

where ηχYχYχ¯subscript𝜂𝜒subscript𝑌𝜒subscript𝑌¯𝜒\eta_{\chi}\equiv Y_{\chi}-Y_{\bar{\chi}}italic_η start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ≡ italic_Y start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT - italic_Y start_POSTSUBSCRIPT over¯ start_ARG italic_χ end_ARG end_POSTSUBSCRIPT and λ0.265Mplmχσ0𝜆0.265subscript𝑀𝑝𝑙subscript𝑚𝜒subscript𝜎0\lambda\equiv 0.265M_{pl}m_{\chi}\sigma_{0}italic_λ ≡ 0.265 italic_M start_POSTSUBSCRIPT italic_p italic_l end_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT. It turns out that numerically one can set r(xf)1similar-to𝑟subscript𝑥𝑓1r(x_{f})\sim 1italic_r ( italic_x start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT ) ∼ 1 to obtain rsubscript𝑟r_{\infty}italic_r start_POSTSUBSCRIPT ∞ end_POSTSUBSCRIPT. The required annihilation cross-section to achieve a particle symmetric component rsubscript𝑟r_{\infty}italic_r start_POSTSUBSCRIPT ∞ end_POSTSUBSCRIPT (r1much-less-thansubscript𝑟1r_{\infty}\ll 1italic_r start_POSTSUBSCRIPT ∞ end_POSTSUBSCRIPT ≪ 1 corresponds to a large asymmetry) is thus

σvcf×5×1026 cm3/s×ln(1r),similar-to-or-equalsdelimited-⟨⟩𝜎𝑣subscript𝑐𝑓5superscript1026superscript cm3s1subscript𝑟\displaystyle\langle\sigma v\rangle\simeq c_{f}\times 5\times 10^{-26}\mbox{ % cm}^{3}/\mbox{s}\times\ln\left(\frac{1}{r_{\infty}}\right),⟨ italic_σ italic_v ⟩ ≃ italic_c start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT × 5 × 10 start_POSTSUPERSCRIPT - 26 end_POSTSUPERSCRIPT cm start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT / s × roman_ln ( divide start_ARG 1 end_ARG start_ARG italic_r start_POSTSUBSCRIPT ∞ end_POSTSUBSCRIPT end_ARG ) , (14)

where cf(xf20)(4g*,f)subscript𝑐𝑓subscript𝑥𝑓204subscript𝑔𝑓c_{f}\equiv\left(\frac{x_{f}}{20}\right)\left(\frac{4}{\sqrt{g_{*,f}}}\right)italic_c start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT ≡ ( divide start_ARG italic_x start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT end_ARG start_ARG 20 end_ARG ) ( divide start_ARG 4 end_ARG start_ARG square-root start_ARG italic_g start_POSTSUBSCRIPT * , italic_f end_POSTSUBSCRIPT end_ARG end_ARG ). One can combine this with the bound on the annihilation cross-section from the CMB [28, 29, 30, 31]

σvCMB1027 cm3/sf(mχ1 GeV)(1r)less-than-or-similar-tosubscriptdelimited-⟨⟩𝜎𝑣CMBsuperscript1027superscript cm3s𝑓subscript𝑚𝜒1 GeV1subscript𝑟\displaystyle\langle\sigma v\rangle_{\rm CMB}\lesssim\frac{10^{-27}\mbox{ cm}^% {3}/\mbox{s}}{f}\left(\frac{m_{\chi}}{1\mbox{ GeV}}\right)\left(\frac{1}{r_{% \infty}}\right)⟨ italic_σ italic_v ⟩ start_POSTSUBSCRIPT roman_CMB end_POSTSUBSCRIPT ≲ divide start_ARG 10 start_POSTSUPERSCRIPT - 27 end_POSTSUPERSCRIPT cm start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT / s end_ARG start_ARG italic_f end_ARG ( divide start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG start_ARG 1 GeV end_ARG ) ( divide start_ARG 1 end_ARG start_ARG italic_r start_POSTSUBSCRIPT ∞ end_POSTSUBSCRIPT end_ARG ) (15)

to obtain an upper bound on rsubscript𝑟r_{\infty}italic_r start_POSTSUBSCRIPT ∞ end_POSTSUBSCRIPT:

rln(1r)0.02fcf(mχ1 GeV),less-than-or-similar-tosubscript𝑟1subscript𝑟0.02𝑓subscript𝑐𝑓subscript𝑚𝜒1 GeV\displaystyle r_{\infty}\ln\left(\frac{1}{r_{\infty}}\right)\lesssim\frac{0.02% }{fc_{f}}\left(\frac{m_{\chi}}{1\mbox{ GeV}}\right),italic_r start_POSTSUBSCRIPT ∞ end_POSTSUBSCRIPT roman_ln ( divide start_ARG 1 end_ARG start_ARG italic_r start_POSTSUBSCRIPT ∞ end_POSTSUBSCRIPT end_ARG ) ≲ divide start_ARG 0.02 end_ARG start_ARG italic_f italic_c start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT end_ARG ( divide start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG start_ARG 1 GeV end_ARG ) , (16)

where f𝑓fitalic_f parameterizes an ionizing efficiency (f1similar-to𝑓1f\sim 1italic_f ∼ 1 for annihilation to charged leptons, but is smaller for annihilation to hadronic states). This corresponds to a lower bound on the s𝑠sitalic_s-wave annihilation σvCMB=σvVsubscriptdelimited-⟨⟩𝜎𝑣CMBsubscriptdelimited-⟨⟩𝜎𝑣𝑉\langle\sigma v\rangle_{\rm CMB}=\langle\sigma v\rangle_{V}⟨ italic_σ italic_v ⟩ start_POSTSUBSCRIPT roman_CMB end_POSTSUBSCRIPT = ⟨ italic_σ italic_v ⟩ start_POSTSUBSCRIPT italic_V end_POSTSUBSCRIPT [30]:

σv5cf×1026 cm3s(ln(40fcf×1 GeVmχ)+lnln(40fcf1 GeVmχ)).greater-than-or-equivalent-todelimited-⟨⟩𝜎𝑣5subscript𝑐𝑓superscript1026superscript cm3s40𝑓subscript𝑐𝑓1 GeVsubscript𝑚𝜒40𝑓subscript𝑐𝑓1 GeVsubscript𝑚𝜒\displaystyle\langle\sigma v\rangle\gtrsim 5c_{f}\times 10^{-26}\frac{\mbox{ % cm}^{3}}{\mbox{s}}\left(\ln\left(40fc_{f}\times\frac{1\mbox{ GeV}}{m_{\chi}}% \right)+\ln\ln\left(40fc_{f}\frac{1\mbox{ GeV}}{m_{\chi}}\right)\right).⟨ italic_σ italic_v ⟩ ≳ 5 italic_c start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT × 10 start_POSTSUPERSCRIPT - 26 end_POSTSUPERSCRIPT divide start_ARG cm start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG start_ARG s end_ARG ( roman_ln ( 40 italic_f italic_c start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT × divide start_ARG 1 GeV end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG ) + roman_ln roman_ln ( 40 italic_f italic_c start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT divide start_ARG 1 GeV end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG ) ) . (17)

This s𝑠sitalic_s-wave annihilation cross-section is a factor of several larger than what is required to fix the relic abundance in the symmetric s𝑠sitalic_s-wave case, in order to achieve a sufficient depletion of the symmetric relic abundance (see Fig. 2 of Ref. [30]). The CMB bound thus gives rise to a scattering cross-section for the “Asymmetric Fermion” in Fig. 2:

σe4×1039 cm2(10 MeVmχ)2(μeχ0.5 MeV)2ln(40 GeVmχ)(4mχ2mM2)2mM4,greater-than-or-equivalent-tosubscript𝜎𝑒4superscript1039superscript cm2superscript10 MeVsubscript𝑚𝜒2superscriptsubscript𝜇𝑒𝜒0.5 MeV2ln40 GeVsubscript𝑚𝜒superscript4superscriptsubscript𝑚𝜒2superscriptsubscript𝑚𝑀22superscriptsubscript𝑚𝑀4\displaystyle\sigma_{e}\gtrsim 4\times 10^{-39}\mbox{ cm}^{2}\left(\frac{10% \mbox{ MeV}}{m_{\chi}}\right)^{2}\left(\frac{\mu_{e\chi}}{0.5\mbox{ MeV}}% \right)^{2}\mbox{ln}\left(\frac{40\mbox{ GeV}}{m_{\chi}}\right)\frac{(4m_{\chi% }^{2}-m_{M}^{2})^{2}}{m_{M}^{4}},italic_σ start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ≳ 4 × 10 start_POSTSUPERSCRIPT - 39 end_POSTSUPERSCRIPT cm start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( divide start_ARG 10 MeV end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( divide start_ARG italic_μ start_POSTSUBSCRIPT italic_e italic_χ end_POSTSUBSCRIPT end_ARG start_ARG 0.5 MeV end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ln ( divide start_ARG 40 GeV end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG ) divide start_ARG ( 4 italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_m start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG , (18)

which is derived by combining Eqs. 41117 for the vector mediator. On the line in Fig. 2, there is an arrow upward to indicate that the CMB bound demands minimum couplings to remove the symmetric abundance. An elastic scalar DM line is found nearby on the same panel, since this case requires similar, but slightly larger, couplings.

III.3 Freeze-in

Freeze-in is a process that dominantly occurs at low temperatures, if the DM is not in equilibrium with the SM [35]. An initially unpopulated DM statement is gradually populated through occasional annihilations of SM states to DM. For example, if DM is lighter than the pion mass, the dominant freeze-in process is via electrons or plasmons γ*superscript𝛾\gamma^{*}italic_γ start_POSTSUPERSCRIPT * end_POSTSUPERSCRIPT

e+eχχ¯,γ*χχ¯.formulae-sequencesuperscript𝑒superscript𝑒𝜒¯𝜒superscript𝛾𝜒¯𝜒\displaystyle e^{+}e^{-}\rightarrow\chi\bar{\chi},\leavevmode\nobreak\ % \leavevmode\nobreak\ \leavevmode\nobreak\ \gamma^{*}\rightarrow\chi\bar{\chi}.italic_e start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT → italic_χ over¯ start_ARG italic_χ end_ARG , italic_γ start_POSTSUPERSCRIPT * end_POSTSUPERSCRIPT → italic_χ over¯ start_ARG italic_χ end_ARG . (19)

For the purposes of the estimate here, we focus on the first process, thought the second process impacts the expected scattering rate in direct detection by up to a factor of ten for mχkeVsimilar-tosubscript𝑚𝜒keVm_{\chi}\sim\mbox{keV}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ∼ keV, while having little impact for mχMeVsimilar-tosubscript𝑚𝜒MeVm_{\chi}\sim\mbox{MeV}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ∼ MeV [36]. In the case that the DM is not initially in thermal equilibrium, the Boltzmann equation becomes

dYdT=σ|v|HTsn2.𝑑𝑌𝑑𝑇delimited-⟨⟩𝜎𝑣𝐻𝑇𝑠superscript𝑛2\displaystyle\frac{dY}{dT}=-\frac{\langle\sigma|v|\rangle}{HTs}n^{2}.divide start_ARG italic_d italic_Y end_ARG start_ARG italic_d italic_T end_ARG = - divide start_ARG ⟨ italic_σ | italic_v | ⟩ end_ARG start_ARG italic_H italic_T italic_s end_ARG italic_n start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT . (20)

If we take σ|v|gχ2ge24πT2similar-todelimited-⟨⟩𝜎𝑣superscriptsubscript𝑔𝜒2superscriptsubscript𝑔𝑒24𝜋superscript𝑇2\langle\sigma|v|\rangle\sim\frac{g_{\chi}^{2}g_{e}^{2}}{4\pi T^{2}}⟨ italic_σ | italic_v | ⟩ ∼ divide start_ARG italic_g start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_g start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 4 italic_π italic_T start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG as expected for infrared dominated effects, one finds [37, 36]

Y104gχ2ge2MPlT.similar-to𝑌superscript104superscriptsubscript𝑔𝜒2superscriptsubscript𝑔𝑒2subscript𝑀Pl𝑇\displaystyle Y\sim 10^{-4}\frac{g_{\chi}^{2}g_{e}^{2}M_{\rm Pl}}{T}.italic_Y ∼ 10 start_POSTSUPERSCRIPT - 4 end_POSTSUPERSCRIPT divide start_ARG italic_g start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_g start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_M start_POSTSUBSCRIPT roman_Pl end_POSTSUBSCRIPT end_ARG start_ARG italic_T end_ARG . (21)

Taking T1 MeVsimilar-to𝑇1 MeVT\sim 1\mbox{ MeV}italic_T ∼ 1 MeV, where the electrons themselves drop out of thermal equilibrium, and fixing Y𝑌Yitalic_Y by the observed abundance through the relation ρχ0=mχYs0superscriptsubscript𝜌𝜒0subscript𝑚𝜒𝑌subscript𝑠0\rho_{\chi}^{0}=m_{\chi}Ys_{0}italic_ρ start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT = italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT italic_Y italic_s start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT where s0subscript𝑠0s_{0}italic_s start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT is the entropy density today, then we obtain the approximate scaling

gχge10121 MeVmχ,similar-tosubscript𝑔𝜒subscript𝑔𝑒superscript10121 MeVsubscript𝑚𝜒\displaystyle g_{\chi}g_{e}\sim 10^{-12}\sqrt{\frac{1\mbox{ MeV}}{m_{\chi}}},italic_g start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT italic_g start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ∼ 10 start_POSTSUPERSCRIPT - 12 end_POSTSUPERSCRIPT square-root start_ARG divide start_ARG 1 MeV end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG end_ARG , (22)

where we have used that the number density of DM Y1/mχproportional-to𝑌1subscript𝑚𝜒Y\propto 1/m_{\chi}italic_Y ∝ 1 / italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT in solving for the couplings. For mχmeless-than-or-similar-tosubscript𝑚𝜒subscript𝑚𝑒m_{\chi}\lesssim m_{e}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ≲ italic_m start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT, the direct detection cross-section, using Eq. 4, then scales as

σe1039 cm2(mχ1 keV).similar-to-or-equalssubscript𝜎𝑒superscript1039superscript cm2subscript𝑚𝜒1 keV\displaystyle\sigma_{e}\simeq 10^{-39}\mbox{ cm}^{2}\left(\frac{m_{\chi}}{1% \mbox{ keV}}\right).italic_σ start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ≃ 10 start_POSTSUPERSCRIPT - 39 end_POSTSUPERSCRIPT cm start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( divide start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG start_ARG 1 keV end_ARG ) . (23)

This estimate corresponds to the blue curve in the right panel of Fig. 2 for mχ1 MeVless-than-or-similar-tosubscript𝑚𝜒1 MeVm_{\chi}\lesssim 1\mbox{ MeV}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ≲ 1 MeV. For mχmegreater-than-or-equivalent-tosubscript𝑚𝜒subscript𝑚𝑒m_{\chi}\gtrsim m_{e}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ≳ italic_m start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT, the freeze-in temperature in Eq. 21 is Tmχsimilar-to𝑇subscript𝑚𝜒T\sim m_{\chi}italic_T ∼ italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT and the scattering cross-section becomes approximately independent of mχsubscript𝑚𝜒m_{\chi}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT. At even higher masses mχmπgreater-than-or-equivalent-tosubscript𝑚𝜒subscript𝑚𝜋m_{\chi}\gtrsim m_{\pi}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ≳ italic_m start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT, new processes involving pions enter and we do not estimate this rate here. One can see, however, over much of the mass space, simple estimates allow one to obtain an approximate expected interaction cross-section with electrons.

III.4 Strongly Interacting Massive Particles and Elastically-Decoupling Relics

DM freeze-out can be dominated by 32323\rightarrow 23 → 2 processes [38, 21], with a cross-section parameterized by

σ32v2α3mχ5.delimited-⟨⟩subscript𝜎32superscript𝑣2superscript𝛼3superscriptsubscript𝑚𝜒5\displaystyle\langle\sigma_{3\rightarrow 2}v^{2}\rangle\equiv\frac{\alpha^{3}}% {m_{\chi}^{5}}.⟨ italic_σ start_POSTSUBSCRIPT 3 → 2 end_POSTSUBSCRIPT italic_v start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ⟩ ≡ divide start_ARG italic_α start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 5 end_POSTSUPERSCRIPT end_ARG . (24)

Parametrically α𝛼\alphaitalic_α is proportionate to a dark gauge coupling constant αDgD2/4πsubscript𝛼𝐷superscriptsubscript𝑔𝐷24𝜋\alpha_{D}\equiv g_{D}^{2}/4\piitalic_α start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT ≡ italic_g start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / 4 italic_π, though here, following [38, 21, 39], α𝛼\alphaitalic_α is allowed to absorb 𝒪(1)𝒪1{\cal O}(1)caligraphic_O ( 1 ) factors. The observed relic abundance is obtained when

α0.3(mχ10 MeV).similar-to-or-equals𝛼0.3subscript𝑚𝜒10 MeV\displaystyle\alpha\simeq 0.3\left(\frac{m_{\chi}}{10\mbox{ MeV}}\right).italic_α ≃ 0.3 ( divide start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG start_ARG 10 MeV end_ARG ) . (25)

These processes continually dump kinetic energy into the DM by “cannibalizing” the DM’s rest energy. This is observationally ruled out, since the DM would be much warmer than observed [40, 41]. The solution to this problem, as proposed in Ref. [38, 21], is to have a light mediator which bleeds off the energy into the SM sector continuously, typically via a kinetic mixing parameter ϵitalic-ϵ\epsilonitalic_ϵ between a dark and visible photon. In this picture, the elastic scattering process which bleeds off the excess energy decouples after the freeze-out of the 32323\rightarrow 23 → 2 process.

This idea was generalized in Ref. [42, 39] by allowing 32323\rightarrow 23 → 2 processes in the hidden sector, as well as 22222\rightarrow 22 → 2 processes (notably χχ¯e+e𝜒¯𝜒superscript𝑒superscript𝑒\chi\bar{\chi}\rightarrow e^{+}e^{-}italic_χ over¯ start_ARG italic_χ end_ARG → italic_e start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT) as in freeze-out to play a role. Since the χχ¯e+e𝜒¯𝜒superscript𝑒superscript𝑒\chi\bar{\chi}\leftrightarrow e^{+}e^{-}italic_χ over¯ start_ARG italic_χ end_ARG ↔ italic_e start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT decouples when both directions are in equilibrium, this was called an Elastically Decoupling Relic (ELDER) [42, 39]. Thus, the ELDER smoothly interpolates between the elastic freeze-out case (for large enough kinetic mixing, where the 32323\rightarrow 23 → 2 process freezes-out well before the annihilation to SM) and the SIMP case (where elastic decoupling with the SM occurs before the 32323\rightarrow 23 → 2 process freezes-out). In the ELDER limit, the relic abundance is set dominantly by the decoupling temperature from the SM, which is given by [39]

yELDER=ϵ2αD(mχmA)46×1015(g*,d10)1/2(mχ10)(xd17)6,subscript𝑦ELDERsuperscriptitalic-ϵ2subscript𝛼𝐷superscriptsubscript𝑚𝜒subscript𝑚superscript𝐴4similar-to-or-equals6superscript1015superscriptsubscript𝑔𝑑1012subscript𝑚𝜒10superscriptsubscript𝑥𝑑176\displaystyle y_{\rm ELDER}=\epsilon^{2}\alpha_{D}\left(\frac{m_{\chi}}{m_{A^{% \prime}}}\right)^{4}\simeq 6\times 10^{-15}\left(\frac{g_{*,d}}{10}\right)^{1/% 2}\left(\frac{m_{\chi}}{10}\right)\left(\frac{x_{d}}{17}\right)^{6},italic_y start_POSTSUBSCRIPT roman_ELDER end_POSTSUBSCRIPT = italic_ϵ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_α start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT ( divide start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_A start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT ≃ 6 × 10 start_POSTSUPERSCRIPT - 15 end_POSTSUPERSCRIPT ( divide start_ARG italic_g start_POSTSUBSCRIPT * , italic_d end_POSTSUBSCRIPT end_ARG start_ARG 10 end_ARG ) start_POSTSUPERSCRIPT 1 / 2 end_POSTSUPERSCRIPT ( divide start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG start_ARG 10 end_ARG ) ( divide start_ARG italic_x start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT end_ARG start_ARG 17 end_ARG ) start_POSTSUPERSCRIPT 6 end_POSTSUPERSCRIPT , (26)

where ϵ,αDitalic-ϵsubscript𝛼𝐷\epsilon,\leavevmode\nobreak\ \alpha_{D}italic_ϵ , italic_α start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT are defined above and xd=mχ/Tdsubscript𝑥𝑑subscript𝑚𝜒subscript𝑇𝑑x_{d}=m_{\chi}/T_{d}italic_x start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT = italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT / italic_T start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT with Tdsubscript𝑇𝑑T_{d}italic_T start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT the elastic decoupling temperature. This will allow to give a precise benchmark for the ELDER scenario, also indicated by the orange band in the left panel of Fig. 2.

IV Astrophysical, Cosmological and Collider Probes

When considering whether a DM candidate of a very low mass is detectable in a terrestrial experiment, a wide range of astrophysical, cosmological and collider constraints must be taken into consideration. Here we summarize the main features, but refer the reader to Refs. [30, 16, 24] for a further discussion on the interplay of the constraints with terrestrial observations.

IV.1 Big Bang Nucleosynthesis

Big bang nucleosynthesis is a powerful constraint if DM is lighter than an MeV in mass. Measurements of hydrogen, deuterium and helium, synthesized dominantly when the Universe had a temperature TBBN0.11 MeVsimilar-tosubscript𝑇BBN0.11 MeVT_{\rm BBN}\sim 0.1-1\mbox{ MeV}italic_T start_POSTSUBSCRIPT roman_BBN end_POSTSUBSCRIPT ∼ 0.1 - 1 MeV at a time t1 ssimilar-to𝑡1 st\sim 1\mbox{ s}italic_t ∼ 1 s indicate that the Universe was expanding at a rate consistent with a relativistic SM photon and three neutrino species. If any other state were in equilibrium with the SM, for example through χχ¯ff¯𝜒¯𝜒𝑓¯𝑓\chi\bar{\chi}\leftrightarrow f\bar{f}italic_χ over¯ start_ARG italic_χ end_ARG ↔ italic_f over¯ start_ARG italic_f end_ARG interactions, this would cause the Universe to expand more quickly, and change the relative abundance of the light elements, parameterized by the effective number of neutrino species Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT. Current data constrains ΔNeffBBN0.2less-than-or-similar-toΔsuperscriptsubscript𝑁effBBN0.2\Delta N_{\rm eff}^{\rm BBN}\lesssim 0.2roman_Δ italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_BBN end_POSTSUPERSCRIPT ≲ 0.2 [43, 44], implying a more than 3σ3𝜎3\sigma3 italic_σ tension with a single real scalar having a temperature similar to that of neutrinos. This implies that any DM candidate with mass 10 MeVless-than-or-similar-toabsent10 MeV\lesssim 10\mbox{ MeV}≲ 10 MeV has its couplings to the SM constrained by BBN.

Note that in general, for a DM candidate to be detectable, not only are there the DM degrees-of-freedom, but there is also a mediator that couples the DM to the SM. The mediator must also either (i) be heavier than 110similar-toabsent110\sim 1-10∼ 1 - 10 MeV; or (ii) have sufficiently small couplings to the SM that it remains out of equilibrium; or (iii) contribute ΔNeffBBN0.57greater-than-or-equivalent-toΔsuperscriptsubscript𝑁eff𝐵𝐵𝑁0.57\Delta N_{\rm eff}^{BBN}\gtrsim 0.57roman_Δ italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_B italic_B italic_N end_POSTSUPERSCRIPT ≳ 0.57 (for a real scalar DM) and be in 4σsimilar-toabsent4𝜎\sim 4\sigma∼ 4 italic_σ tension with BBN. This limits the types of DM models that can be detected in terrestrial experiments. See Ref. [24] for an extensive discussion and application to terrestrial experiments and Ref. [43, 44] for updated BBN constraints.

For example BBN constraints are the reason why, for the model space detectable by terrestrial direct detection experiments, DM lighter than an MeV should be mediated by a very light particle, as in the right panel of Fig. 2. Direct detection experiments are sensitive to extremely small couplings via light mediators (as in Eq. 22), because of the direct detection enhancement at low momentum transfers (as in Eq. 4, with mM0subscript𝑚𝑀0m_{M}\rightarrow 0italic_m start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT → 0). For such small couplings the hidden sector is not in equilibrium with the visible sector, except at larger couplings, shown as the shaded orange region in the left-hand panel of Fig. 2. Likewise, for DM mediated through a heavier particle (having mass mMmχvgreater-than-or-equivalent-tosubscript𝑚𝑀subscript𝑚𝜒𝑣m_{M}\gtrsim m_{\chi}vitalic_m start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT ≳ italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT italic_v, where v𝑣vitalic_v is the Milky Way virial velocity), the couplings are much larger (see e.g. Eq. 10 for typical freeze-out couplings). In this case, the hidden sector generically comes into equilibrium with the visible sector, such that hidden sectors with mass below a few MeV are already ruled out by BBN; this is one reason the plots in the left-hand panel of Fig. 2 extend only to mχ1 MeVgreater-than-or-equivalent-tosubscript𝑚𝜒1 MeVm_{\chi}\gtrsim 1\mbox{ MeV}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ≳ 1 MeV.

IV.2 Cosmic Microwave Background

As already discussed in the freeze-out and asymmetric DM section, the CMB places a variety of constraints on a DM candidate of a very low mass. First, the CMB also places a constraint, at 2σ2𝜎2\sigma2 italic_σ, roughly consistent with the BBN bound, ΔNeffCMB0.6less-than-or-similar-toΔsuperscriptsubscript𝑁effCMB0.6\Delta N_{\rm eff}^{\rm CMB}\lesssim 0.6roman_Δ italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_CMB end_POSTSUPERSCRIPT ≲ 0.6. Since the CMB epoch is at a redshift z103104similar-to𝑧superscript103superscript104z\sim 10^{3}-10^{4}italic_z ∼ 10 start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT - 10 start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT, while the BBN epoch is at z1010similar-to𝑧superscript1010z\sim 10^{10}italic_z ∼ 10 start_POSTSUPERSCRIPT 10 end_POSTSUPERSCRIPT, one cannot simply assume, if the constraint on additional thermal relativistic species is met at one epoch, that it is met at another epoch. Note that in the future, CMB Stage IV will dramatically improve on this constraint, σ(NeffCMB)0.04𝜎superscriptsubscript𝑁effCMB0.04\sigma(N_{\rm eff}^{\rm CMB})\approx 0.04italic_σ ( italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_CMB end_POSTSUPERSCRIPT ) ≈ 0.04.

In addition, the CMB is very sensitive to any additional ionizing radiation that can be dumped into the photon-baryon bath. For example, the Planck limit on DM energy injection due to annihilation is given by Eq. 17. Since, to set the thermal relic abundance for DM through annihilation, we require σv3×1026 cm3/ssimilar-todelimited-⟨⟩𝜎𝑣3superscript1026superscript cm3s\langle\sigma v\rangle\sim 3\times 10^{-26}\mbox{ cm}^{3}/\mbox{s}⟨ italic_σ italic_v ⟩ ∼ 3 × 10 start_POSTSUPERSCRIPT - 26 end_POSTSUPERSCRIPT cm start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT / s, this implies that light (sub-GeV) DM cannot have its relic abundance set by s𝑠sitalic_s-wave annihilation while remaining consistent with CMB-epoch ionization constraints. There are two ways to circumvent this constraint, as discussed in Sec. III.2: p𝑝pitalic_p-wave annihilation where the cross section is v𝑣vitalic_v suppressed, or asymmetric DM where r1much-less-thansubscript𝑟1r_{\infty}\ll 1italic_r start_POSTSUBSCRIPT ∞ end_POSTSUBSCRIPT ≪ 1. As highlighted above, models of asymmetric DM must have an efficient mechanism for removing the symmetric abundance of DM early in the Universe. This implies a lower bound on the annihilation cross-section in the early Universe, shown in the left panel of Fig. 2 as the “Asymmetric fermion” curve, to adequately dilute the symmetric abundance.

IV.3 Large Scale Structure

Large scale structure places two important bounds on DM having a very low mass. The first important bound is the warm DM bound, from the formation of structure on small scales, as observed with Lyman-α𝛼\alphaitalic_α forest and other large-scale structure measurements of DM clustering [9, 45]. Thermalized DM has a relation between its velocity and temperature given by

v=3Tmχ.𝑣3𝑇subscript𝑚𝜒\displaystyle v=\sqrt{\frac{3T}{m_{\chi}}}.italic_v = square-root start_ARG divide start_ARG 3 italic_T end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG end_ARG . (27)

If DM has its temperature on the same order as the visible temperature T104 eVsimilar-to𝑇superscript104 eVT\sim 10^{-4}\mbox{ eV}italic_T ∼ 10 start_POSTSUPERSCRIPT - 4 end_POSTSUPERSCRIPT eV, and we require DM to be cold enough for it to fall into structures having virial velocity v104similar-to𝑣superscript104v\sim 10^{-4}italic_v ∼ 10 start_POSTSUPERSCRIPT - 4 end_POSTSUPERSCRIPT (as observed in dwarf galaxies for example), this implies that DM should have mass

mχ10 keV.greater-than-or-equivalent-tosubscript𝑚𝜒10 keV\displaystyle m_{\chi}\gtrsim 10\mbox{ keV}.italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ≳ 10 keV . (28)

This is the back-of-the-envelope estimate of the warm DM bound (which can be more carefully derived simulating the formation of structures with warm DM e.g. [9, 45]). DM may still be lighter than this bound, but its temperature should not be set by the interactions with the SM (as happens, for example with non-thermal mechanisms such as the misalignment mechanism for the axion or inflationary production of vector DM [46, 47]).

If DM has an interaction with the SM through a relatively light gauge boson, this can also cause late kinetic decoupling between the SM and the dark sector, and modify the matter power spectrum on small scales. For example, DM can couple to neutrinos through a mediator (product of couplings to the mediator gχgνsubscript𝑔𝜒subscript𝑔𝜈g_{\chi}g_{\nu}italic_g start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT italic_g start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT), giving rise to a kinetic decoupling temperature

TkdkeVmMMeV(mχMeV)1/4(106gχgν)1/2.similar-to-or-equalssubscript𝑇kdkeVsubscript𝑚𝑀MeVsuperscriptsubscript𝑚𝜒MeV14superscriptsuperscript106subscript𝑔𝜒subscript𝑔𝜈12\displaystyle T_{\rm kd}\simeq\mbox{keV}\frac{m_{M}}{\mbox{MeV}}\left(\frac{m_% {\chi}}{\mbox{MeV}}\right)^{1/4}\left(\frac{10^{-6}}{g_{\chi}g_{\nu}}\right)^{% 1/2}.italic_T start_POSTSUBSCRIPT roman_kd end_POSTSUBSCRIPT ≃ keV divide start_ARG italic_m start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT end_ARG start_ARG MeV end_ARG ( divide start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG start_ARG MeV end_ARG ) start_POSTSUPERSCRIPT 1 / 4 end_POSTSUPERSCRIPT ( divide start_ARG 10 start_POSTSUPERSCRIPT - 6 end_POSTSUPERSCRIPT end_ARG start_ARG italic_g start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT italic_g start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT 1 / 2 end_POSTSUPERSCRIPT . (29)

Such a kinetic decoupling temperature is bounded by the Lyman-alpha forest, see Ref. [33].

In addition, DM of a very low mass also tends to come with new light forces that can mediate large self-interactions. The self-interaction rate is bounded by the shape of DM halos, which implies that DM self-interactions should be rare enough that the formation of halos is dominated by gravitational interactions. This implies [48]

σmχ0.110 cm2/g,less-than-or-similar-to𝜎subscript𝑚𝜒0.110superscript cm2g\displaystyle\frac{\sigma}{m_{\chi}}\lesssim 0.1-10\mbox{ cm}^{2}/\mbox{g},divide start_ARG italic_σ end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG ≲ 0.1 - 10 cm start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / g , (30)

where the large range of possible bounded cross-sections is due both to the large range of system mass scales and interaction times (from dwarf galaxies at 107Msuperscript107subscript𝑀direct-product10^{7}\leavevmode\nobreak\ M_{\odot}10 start_POSTSUPERSCRIPT 7 end_POSTSUPERSCRIPT italic_M start_POSTSUBSCRIPT ⊙ end_POSTSUBSCRIPT to clusters of galaxies at 1015Msuperscript1015subscript𝑀direct-product10^{15}\leavevmode\nobreak\ M_{\odot}10 start_POSTSUPERSCRIPT 15 end_POSTSUPERSCRIPT italic_M start_POSTSUBSCRIPT ⊙ end_POSTSUBSCRIPT), as well as the still-somewhat-imprecise nature of simulations which depend on baryonic effects and their (non-linear) feedback on the DM structure formation process. Especially when the mediator is light, this places severe limits on the DM-mediator coupling (taking σmχ=1 cm2/g𝜎subscript𝑚𝜒1superscript cm2g\frac{\sigma}{m_{\chi}}=1\mbox{ cm}^{2}/\mbox{g}divide start_ARG italic_σ end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG = 1 cm start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / g):

αχ6×1010×(mχ1 MeV)3/2.less-than-or-similar-tosubscript𝛼𝜒6superscript1010superscriptsubscript𝑚𝜒1 MeV32\displaystyle\alpha_{\chi}\lesssim 6\times 10^{-10}\times\left(\frac{m_{\chi}}% {1\mbox{ MeV}}\right)^{3/2}.italic_α start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ≲ 6 × 10 start_POSTSUPERSCRIPT - 10 end_POSTSUPERSCRIPT × ( divide start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG start_ARG 1 MeV end_ARG ) start_POSTSUPERSCRIPT 3 / 2 end_POSTSUPERSCRIPT . (31)

When the mediator becomes massive (mϕ>mχvsubscript𝑚italic-ϕsubscript𝑚𝜒𝑣m_{\phi}>m_{\chi}vitalic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT > italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT italic_v) we have the less severe limit

αχ0.025(1 keVmχ)1/2(mϕ1 MeV)2.less-than-or-similar-tosubscript𝛼𝜒0.025superscript1 keVsubscript𝑚𝜒12superscriptsubscript𝑚italic-ϕ1 MeV2\displaystyle\alpha_{\chi}\lesssim 0.025\left(\frac{1\mbox{ keV}}{m_{\chi}}% \right)^{1/2}\left(\frac{m_{\phi}}{1\mbox{ MeV}}\right)^{2}.italic_α start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ≲ 0.025 ( divide start_ARG 1 keV end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT 1 / 2 end_POSTSUPERSCRIPT ( divide start_ARG italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT end_ARG start_ARG 1 MeV end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT . (32)

See Refs. [49, 50] for further discussion.

IV.4 Stellar Evolution and Cooling

When the DM, or the mediator, is lighter than the temperature of a star, production of dark sector particles can lead to cooling that is more efficient than happens in the standard model, where states are strongly coupled to the stellar plasma; see Ref. [51] for a classic review. This cooling changes the evolution of the star from that predicted by standard theory, and could be observed. This has long been appreciated in particular for axions, but also becomes relevant for DM and mediators with mass 30 MeVless-than-or-similar-toabsent30 MeV\lesssim 30\mbox{ MeV}≲ 30 MeV, the temperature of a supernova. In addition to supernovae, Red Giant (RG, relevant for masses 10 keVless-than-or-similar-toabsent10 keV\lesssim 10\mbox{ keV}≲ 10 keV), Horizontal Branch (HB, 100 keVless-than-or-similar-toabsent100 keV\lesssim 100\mbox{ keV}≲ 100 keV) for nucleon couplings, and White Dwarves (WD, 10 keVless-than-or-similar-toabsent10 keV\lesssim 10\mbox{ keV}≲ 10 keV) are all relevant. Constraints from these stellar cooling limits are shown as shaded regions in Fig. 2, as well as in Fig. 3. When the coupling becomes large enough, particularly in dense environments like the neutron stars sitting inside supernovae, trapping becomes relevant. The supernova cooling bounds have recently been updated in Ref. [52], while the RG, HB, WD and stellar cooling bounds, for mediator couplings to nucleons, electrons and dark photons, are quoted in detail in Ref. [24].

Light DM, in particular if it carries a particle-anti-particle asymmetry that prevents annihilation, can accumulate in the center of stars and also cause a change in their evolution. This has been considered in particular for neutron stars, either due to inducing an instability (we refer the reader to the discussion in Ref. [16] for a summary) or kinetic heating [53]. Accumulation of light DM can also lead to modification of main branch stellar evolution [54] and in Brown [55] and White [56, 57] Dwarves. We refer the reader to Ref. [58] for a fairly up-to-date list of references on compact star constraints on hidden sector DM interactions with electrons and nucleons.

Refer to caption
Refer to caption
Figure 3: Constraints on (left) mediator-nucleon coupling =ynϕn¯nsubscript𝑦𝑛italic-ϕ¯𝑛𝑛{\cal L}=y_{n}\phi\bar{n}ncaligraphic_L = italic_y start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_ϕ over¯ start_ARG italic_n end_ARG italic_n (mediated by a top quark) and (right) mediator-electron coupling =yee¯esubscript𝑦𝑒¯𝑒𝑒{\cal L}=y_{e}\bar{e}ecaligraphic_L = italic_y start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT over¯ start_ARG italic_e end_ARG italic_e, as a function of the mediator mass. Figures taken from Ref. [24].

IV.5 Collider Probes of Light Hidden Sectors

Intensity experiments, such as beam dumps featuring a large number of protons on target, can probe relatively light (typically sub-GeV mass) hidden sector particles. The constraints are most direct on the mediating particle (vector or scalar), and depend on the decay channel, whether to visible particles (notably e+esuperscript𝑒superscript𝑒e^{+}e^{-}italic_e start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT) or invisible.

  • Invisible decays. In this case the mediator either decays dominantly to DM, or is stable on detector timescales. If the mediator couples to hadrons and is lighter than ΛQCDsubscriptΛQCD\Lambda_{\rm QCD}roman_Λ start_POSTSUBSCRIPT roman_QCD end_POSTSUBSCRIPT, it can be constrained through the invisible processes BKϕ𝐵𝐾italic-ϕB\rightarrow K\phiitalic_B → italic_K italic_ϕ and Kπϕ𝐾𝜋italic-ϕK\rightarrow\pi\phiitalic_K → italic_π italic_ϕ, where ϕitalic-ϕ\phiitalic_ϕ is a scalar or vector mediator [24]. The effective coupling to nucleons constrained in this way is yn105107less-than-or-similar-tosubscript𝑦𝑛superscript105superscript107y_{n}\lesssim 10^{-5}-10^{-7}italic_y start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ≲ 10 start_POSTSUPERSCRIPT - 5 end_POSTSUPERSCRIPT - 10 start_POSTSUPERSCRIPT - 7 end_POSTSUPERSCRIPT, depending on the flavor structure of the ϕitalic-ϕ\phiitalic_ϕ-quark coupling. If the mediator couples to electrons, it can be constrained by e+eγϕsuperscript𝑒superscript𝑒𝛾italic-ϕe^{+}e^{-}\rightarrow\gamma\phiitalic_e start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT → italic_γ italic_ϕ, i.e. a mono-photon search in BaBar. The electron (g2)𝑔2(g-2)( italic_g - 2 ) measurement also provides a powerful bound. See Refs. [59, 60, 24] for a summary of collider bounds.

  • Visible decays. Here, the constraints are strongest when the mediator is produced, and decays directly to charged leptons +superscriptsuperscript\ell^{+}\ell^{-}roman_ℓ start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT roman_ℓ start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT [61, 62]. These constraints are typically labeled as “beam dump” constraints.

While we have not exhaustively summarized the collider probes on light hidden sectors, these summarize the general types of constraints on mediators. We show two summary plots in Fig. 3, for nucleon and lepton couplings, that demonstrate the collider, stellar, and fifth force bounds on the nucleon or electron-scalar couplings.

V Direct detection of light particle dark matter

The direct detection of light DM depends on considerations of both kinematics and interactions. That is, one needs to find a target material with a strong response (or “dynamic structure factor”) for energy and momentum deposition in the DM kinematic regime, for the relevant type of interaction. We briefly summarize both before describing the particular mechanisms for detection of light DM.

Refer to caption
Figure 4: The kinematic parameter space of light DM, in terms of the energy deposition ω𝜔\omegaitalic_ω and momentum transfer q𝑞qitalic_q in a direct detection experiment. The shaded parabolas correspond to the range of energy and momentum a DM particle of a given mass can deposit (Eq. 34). The nuclear recoil curves correspond to the energy deposit on a nucleus, Eq. 36. The horizontal lines at an eV and 100 meV correspond to the energy gaps (as q0𝑞0q\rightarrow 0italic_q → 0) of electronic excitations (in semiconductors) and optical phonons (in crystals). Figure reproduced from Ref. [63].

In direct detection, DM must be able to cause a transition from an initial to final state |i|fket𝑖ket𝑓|i\rangle\rightarrow|f\rangle| italic_i ⟩ → | italic_f ⟩ of the target system, with the DM typically depositing some momentum 𝐪=𝐩𝐩𝐪𝐩superscript𝐩{\bf q}={\bf p}-{\bf p}^{\prime}bold_q = bold_p - bold_p start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT, where 𝐩=mX𝐯,𝐩𝐩subscript𝑚𝑋𝐯superscript𝐩{\bf p}=m_{X}{\bf v},\leavevmode\nobreak\ {\bf p}^{\prime}bold_p = italic_m start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT bold_v , bold_p start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT are the initial and final DM momentum, which corresponds to some energy ω𝜔\omegaitalic_ω deposited by the DM on the target:

ω=12mχv2(mχ𝐯𝐪)22mχ=𝐪𝐯q22mχ.𝜔12subscript𝑚𝜒superscript𝑣2superscriptsubscript𝑚𝜒𝐯𝐪22subscript𝑚𝜒𝐪𝐯superscript𝑞22subscript𝑚𝜒\displaystyle\omega=\frac{1}{2}m_{\chi}v^{2}-\frac{(m_{\chi}{\bf v}-{\bf q})^{% 2}}{2m_{\chi}}={\bf q}\cdot{\bf v}-\frac{q^{2}}{2m_{\chi}}.italic_ω = divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT italic_v start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - divide start_ARG ( italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT bold_v - bold_q ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG = bold_q ⋅ bold_v - divide start_ARG italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG . (33)

Note that this expression assumes that the DM has no internal excitations (such as energy levels) that could cause the transition to be inelastic on the DM side. The energy deposited is bounded by a parabola,

ωqvmaxq2/2mχ,𝜔𝑞subscript𝑣maxsuperscript𝑞22subscript𝑚𝜒\displaystyle\omega\leq qv_{\rm max}-q^{2}/2m_{\chi},italic_ω ≤ italic_q italic_v start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT - italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / 2 italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT , (34)

as first illustrated in Ref. [63] and reproduced in Fig. 4. This figure shows the basic kinematic requirements of a material in order to allow for a detection event: the target material must have a state whose transition energy and momentum lie below (and within) the DM kinematic parabola. In addition, the closer a mode in the material is to the upper part of the parabola, the more energy can be read out, allowing in many cases for a more viable path toward detection. DM can never transfer more momentum than

qBW=2mχvmax,subscript𝑞𝐵𝑊2subscript𝑚𝜒subscript𝑣max\displaystyle q_{BW}=2m_{\chi}v_{\rm max},italic_q start_POSTSUBSCRIPT italic_B italic_W end_POSTSUBSCRIPT = 2 italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT italic_v start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT , (35)

the “brick wall” limit where little energy is deposited corresponding to the right edge of the DM kinematic parabola. Take for example the case of nuclear recoils, where the energy deposit is

ω=q22mN,𝜔superscript𝑞22subscript𝑚𝑁\displaystyle\omega=\frac{q^{2}}{2m_{N}},italic_ω = divide start_ARG italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_m start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT end_ARG , (36)

where mNsubscript𝑚𝑁m_{N}italic_m start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT is the target nucleus mass, also shown on the figure. At the point where the nuclear recoil kinematic curve intersects the DM parabola, only a small fraction of the DM kinetic energy is deposited onto the nucleus,

ω=2mχ2v2mNmχv22,𝜔2superscriptsubscript𝑚𝜒2superscript𝑣2subscript𝑚𝑁much-less-thansubscript𝑚𝜒superscript𝑣22\displaystyle\omega=\frac{2m_{\chi}^{2}v^{2}}{m_{N}}\ll\frac{m_{\chi}v^{2}}{2},italic_ω = divide start_ARG 2 italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_v start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT end_ARG ≪ divide start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT italic_v start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG , (37)

when the DM is lighter than typical SM nuclei mass. One immediately sees that sub-GeV DM is kinematically poorly matched to SM nuclei, and one should search for other targets for DM interactions. We now summarize the types of excitations that are relevant in each mass regime.

V.1 Targets and Excitations for Dark Matter Interactions

  • For DM with mass 30greater-than-or-equivalent-toabsent30\gtrsim 30≳ 30 MeV, nuclear recoils are a relevant target, though they extract only a small fraction of the DM kinetic energy. Since the DM energy deposition is given in Eq. 36, in order to extract the maximum energy deposition ω𝜔\omegaitalic_ω the lightest target is preferable. In particular, superfluid helium has been identified as a promising target for the TESSERACT DM experiment. The lower end of the DM mass range mχ30greater-than-or-equivalent-tosubscript𝑚𝜒30m_{\chi}\gtrsim 30italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ≳ 30 MeV corresponds to DM energy deposit on nuclei via Eq. 36 larger than ω500greater-than-or-equivalent-to𝜔500\omega\gtrsim 500italic_ω ≳ 500 meV corresponding to the typical energy of collective excitations, where the nucleus can no longer be treated as free (see discussion in Ref. [63]). For smaller energy depositions, the relevant excitations are phonons.

  • For DM with mass mχ1greater-than-or-equivalent-tosubscript𝑚𝜒1m_{\chi}\gtrsim 1italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ≳ 1 MeV, having kinetic energy ω1 eVgreater-than-or-equivalent-to𝜔1 eV\omega\gtrsim 1\mbox{ eV}italic_ω ≳ 1 eV, electrons in targets such as semiconductors (having a typical band-gap of 1 eV) and ionization in noble liquids such as Xenon (with ionization threshold of 10similar-toabsent10\sim 10\leavevmode\nobreak\ ∼ 10eV) are good targets, and have been explored extensively [64, 65, 66]. Ripping an electron out of a 2-d material such as graphene, with a work function also in the 1 eV energy range [67] and chemical bonds [68] having energy in the 10’s of eV range have also been proposed.

  • At slightly lower energy depositions, in the 100 meV range, collective excitations such as optical phonons (gapped excitations having energy ωphsubscript𝜔ph\omega_{\rm ph}italic_ω start_POSTSUBSCRIPT roman_ph end_POSTSUBSCRIPT) become available and have been proposed as a viable pathway [50, 69], having greatest sensitivity via scattering for DM in the mχgreater-than-or-equivalent-tosubscript𝑚𝜒absentm_{\chi}\gtrsimitalic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ≳ keV-MeV mass range. Collective excitations are highly sensitive to heavier DM as long as the momentum transfer is smaller than that required to kick the ion out of the lattice potential q2mNωph10100 keVless-than-or-similar-to𝑞2subscript𝑚𝑁subscript𝜔phsimilar-to10100 keVq\lesssim\sqrt{2m_{N}\omega_{\rm ph}}\sim 10-100\mbox{ keV}italic_q ≲ square-root start_ARG 2 italic_m start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT roman_ph end_POSTSUBSCRIPT end_ARG ∼ 10 - 100 keV. This momentum corresponds to that carried by MeV mass DM in the Milky Way, though for heavier DM only a small fraction of its total momentum may be transferred, especially if the mediator is light, having a 1/q41superscript𝑞41/q^{4}1 / italic_q start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT enhancement in the cross-section as in Eq. 4 with mM0subscript𝑚𝑀0m_{M}\rightarrow 0italic_m start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT → 0. See Ref. [69] for a detailed analysis. The SPICE (sub-eV Polar Interactions Cryogenic Experiment) experiment has research underway to detect single phonons in crystals [70]. In addition to phonons, magnons are a different type of collective excitation in materials that can detect spin-dependent DM interactions [71].

  • Other gapped excitations, such as vibrational degrees of freedom in organics [72], and electronic excitations with small gaps, such as occurs in superconductors [73, 49], Dirac materials [67, 74, 74], heavy fermion materials [75], and doped semiconductors [76] are also viable targets for mχgreater-than-or-equivalent-tosubscript𝑚𝜒absentm_{\chi}\gtrsimitalic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ≳ keV DM.

So far, we have explored the importance of kinematic matching between DM and target. We now examine the strength of the target response to a given energy ω𝜔\omegaitalic_ω and momentum 𝐪𝐪{\bf q}bold_q deposition. This requires computing the quantum mechanical matrix element entering into Fermi’s Golden Rule for interaction rates. The matrix element in turn depends on the interaction type, such as spin-independent (SI), spin-dependent (SD), or a more generic interaction such as an electric or magnetic dipole or anapole. In the next sub-sections, we lay out the general quantum mechanical framework for computing the rate, and then apply it to SI scattering. In Sec. VI.1, we will consider more general interactions in an Effective Field Theory (EFT) framework.

V.2 Quantum Mechanics of Dark Matter Scattering

The interaction type enters directly into the calculation of the matrix element for the DM to induce a transition from an initial to a final state in a target material. The DM deposits some energy and momentum, (ω,𝐪)𝜔𝐪(\omega,{\bf q})( italic_ω , bold_q ) within the kinematically allowed DM parabola shown in Fig. 4, and the over-arching goal is to find a material with a strong quantum mechanical response, encapsulated in a Dynamic Structure Factor. See Refs. [63, 77] for a more complete discussion of the physics reviewed here.

Quantum mechanics enters in determining the transition rate from initial to final state of the target material |i|fket𝑖ket𝑓|i\rangle\rightarrow|f\rangle| italic_i ⟩ → | italic_f ⟩, via a simple application of Fermi’s Golden Rule:

Γ(𝐯)=Vd3q(2π)3f|𝐩,f|Hint|𝐩,i|22πδ(EfEiω),Γ𝐯𝑉superscript𝑑3𝑞superscript2𝜋3subscript𝑓superscriptquantum-operator-productsuperscript𝐩𝑓subscript𝐻int𝐩𝑖22𝜋𝛿subscript𝐸𝑓subscript𝐸𝑖𝜔\displaystyle\Gamma({\bf v})=V\int\frac{d^{3}q}{(2\pi)^{3}}\sum_{f}|\langle{% \bf p}^{\prime},f|H_{\rm int}|{\bf p},i\rangle|^{2}2\pi\delta(E_{f}-E_{i}-% \omega),roman_Γ ( bold_v ) = italic_V ∫ divide start_ARG italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_q end_ARG start_ARG ( 2 italic_π ) start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG ∑ start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT | ⟨ bold_p start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_f | italic_H start_POSTSUBSCRIPT roman_int end_POSTSUBSCRIPT | bold_p , 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_ω ) , (38)

where Hintsubscript𝐻intH_{\rm int}italic_H start_POSTSUBSCRIPT roman_int end_POSTSUBSCRIPT is the interaction Hamiltonian, and we will assume throughout that the DM state factorizes from the target state (since they are unentangled), |𝐩,i=|𝐩|iket𝐩𝑖tensor-productket𝐩ket𝑖|{\bf p},i\rangle=|{\bf p}\rangle\otimes|i\rangle| bold_p , italic_i ⟩ = | bold_p ⟩ ⊗ | italic_i ⟩, etc., and V𝑉Vitalic_V is the volume of the target. The interaction rate in Eq. 45 depends on the DM velocity 𝐯𝐯{\bf v}bold_v, whose typical value in the Milky Way galaxy is v103similar-to𝑣superscript103v\sim 10^{-3}italic_v ∼ 10 start_POSTSUPERSCRIPT - 3 end_POSTSUPERSCRIPT. The detectable interaction rate, per unit target mass, is extracted by integrating over the DM velocity phase space:

R=1ρTρχmχd3vfχ(𝐯)Γ(𝐯),𝑅1subscript𝜌𝑇subscript𝜌𝜒subscript𝑚𝜒superscript𝑑3𝑣subscript𝑓𝜒𝐯Γ𝐯\displaystyle R=\frac{1}{\rho_{T}}\frac{\rho_{\chi}}{m_{\chi}}\int d^{3}vf_{% \chi}({\bf v})\Gamma({\bf v}),italic_R = 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 italic_v italic_f start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ( bold_v ) roman_Γ ( bold_v ) , (39)

with ρχ,Tsubscript𝜌𝜒𝑇\rho_{\chi,T}italic_ρ start_POSTSUBSCRIPT italic_χ , italic_T end_POSTSUBSCRIPT being the DM and target densities, and fχsubscript𝑓𝜒f_{\chi}italic_f start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT typically taken to be a Maxwell-Boltzmann distribution, truncated at the escape velocity vesc600 km/ssimilar-tosubscript𝑣esc600 km/sv_{\rm esc}\sim 600\mbox{ km/s}italic_v start_POSTSUBSCRIPT roman_esc end_POSTSUBSCRIPT ∼ 600 km/s of the DM from the galaxy. Note that while Γ(𝐯)Γ𝐯\Gamma({\bf v})roman_Γ ( bold_v ) is a rate, R𝑅Ritalic_R is a rate per unit mass.

V.2.1 Example: Spin-Independent Scattering

To illustrate the principles discussed above, we first consider DM scattering via a spin-independent interaction. The DM creates a potential

𝐩|Hint|𝐩=V(𝐪)quantum-operator-productsuperscript𝐩subscript𝐻int𝐩𝑉𝐪\displaystyle\langle{\bf p}^{\prime}|H_{\rm int}|{\bf p}\rangle=V({\bf q})⟨ bold_p start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT | italic_H start_POSTSUBSCRIPT roman_int end_POSTSUBSCRIPT | bold_p ⟩ = italic_V ( bold_q ) (40)

to which the target responds. It is convenient to factorize this potential into a material response Tsubscript𝑇{\cal F}_{T}caligraphic_F start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT (which is agnostic about the DM) and a DM matrix element {\cal M}caligraphic_M (which is agnostic about the target):

V(𝐪)=(q)T(𝐪).𝑉𝐪𝑞subscript𝑇𝐪\displaystyle V({\bf q})={\cal M}(q){\cal F}_{T}({\bf q}).italic_V ( bold_q ) = caligraphic_M ( italic_q ) caligraphic_F start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT ( bold_q ) . (41)

For spin-independent scattering, the DM-induced potential (q)𝑞{\cal M}(q)caligraphic_M ( italic_q ) is characterized by a fiducial cross-section and a mediator form factor

(q)=(q0)med(q),𝑞subscript𝑞0subscriptmed𝑞\displaystyle{\cal M}(q)={\cal M}(q_{0}){\cal F}_{\rm med}(q),caligraphic_M ( italic_q ) = caligraphic_M ( italic_q start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) caligraphic_F start_POSTSUBSCRIPT roman_med end_POSTSUBSCRIPT ( italic_q ) , (42)

where med(q)subscriptmed𝑞{\cal F}_{\rm med}(q)caligraphic_F start_POSTSUBSCRIPT roman_med end_POSTSUBSCRIPT ( italic_q ) is either 1 (for a heavy mediator) or (q0/q)2superscriptsubscript𝑞0𝑞2(q_{0}/q)^{2}( italic_q start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT / italic_q ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT (for a light mediator with momentum dependence typical of Rutherford scattering). (q0)subscript𝑞0{\cal M}(q_{0})caligraphic_M ( italic_q start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) is related to a reference cross-section convenient for parameterizing the overall strength of the interaction via

σ¯TμχT2π|χT(q0)|q0=mχv02,subscript¯𝜎𝑇superscriptsubscript𝜇𝜒𝑇2𝜋subscriptsuperscriptsubscript𝜒𝑇subscript𝑞02subscript𝑞0subscript𝑚𝜒subscript𝑣0\displaystyle\bar{\sigma}_{T}\equiv\frac{\mu_{\chi T}^{2}}{\pi}|{\cal M}_{\chi T% }(q_{0})|^{2}_{q_{0}=m_{\chi}v_{0}},over¯ start_ARG italic_σ end_ARG start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT ≡ divide start_ARG italic_μ start_POSTSUBSCRIPT italic_χ italic_T end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_π end_ARG | caligraphic_M start_POSTSUBSCRIPT italic_χ italic_T end_POSTSUBSCRIPT ( italic_q start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_q start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT , (43)

where μχTsubscript𝜇𝜒𝑇\mu_{\chi T}italic_μ start_POSTSUBSCRIPT italic_χ italic_T end_POSTSUBSCRIPT, with T=n,e𝑇𝑛𝑒T=n,\leavevmode\nobreak\ eitalic_T = italic_n , italic_e denotes the DM-target (nucleon or electron) reduced mass. The target response T(q)subscript𝑇𝑞{\cal F}_{T}(q)caligraphic_F start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT ( italic_q ), for spin-independent interactions, is traditionally absorbed into what is known as the dynamic structure factor, which characterizes the response of the material:

S(𝐪,ω)1Vf|f|T(𝐪)|i|22πδ(EfEiω),𝑆𝐪𝜔1𝑉subscript𝑓superscriptquantum-operator-product𝑓subscript𝑇𝐪𝑖22𝜋𝛿subscript𝐸𝑓subscript𝐸𝑖𝜔\displaystyle S({\bf q},\omega)\equiv\frac{1}{V}\sum_{f}|\langle f|{\cal F}_{T% }({\bf q})|i\rangle|^{2}2\pi\delta(E_{f}-E_{i}-\omega),italic_S ( bold_q , italic_ω ) ≡ divide start_ARG 1 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_ω ) , (44)

where Ef,Eisubscript𝐸𝑓subscript𝐸𝑖E_{f},\leavevmode\nobreak\ E_{i}italic_E start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT , italic_E start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT are the final and initial energies of the target. The formalism where the DM scattering rate is proportional to the dynamic structure factor is valid as long as the scattering is spin-independent. Below we will generalize the calculation to a generic type of potential, including spins; however for intuition, and to match to the standard Condensed Matter (CM) understanding, we start with the spin-independent case. The DM-target scattering rate can thus be written in a unified way in terms of the dynamic structure factor:

Γ(𝐯)=πσ¯μ2d3q(2π)3med2(q)S(𝐪,ω).Γ𝐯𝜋¯𝜎superscript𝜇2superscript𝑑3𝑞superscript2𝜋3superscriptsubscriptmed2𝑞𝑆𝐪𝜔\displaystyle\Gamma({\bf v})=\frac{\pi\bar{\sigma}}{\mu^{2}}\int\frac{d^{3}q}{% (2\pi)^{3}}{\cal F}_{\rm med}^{2}(q)S({\bf q},\omega).roman_Γ ( bold_v ) = 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 italic_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 ( italic_q ) italic_S ( bold_q , italic_ω ) . (45)

The three basic types of spin-independent interactions we will consider in the next sub-section–nuclear recoil, electron excitation, and phonon excitation–can be expressed in terms of the dynamic structure factor. We will see that we can reproduce the results in the literature utilizing this simple unifying language. The dynamic structure factor is a material-specific response that depends kinematically only on the input (𝐪,ω)𝐪𝜔({\bf q},\omega)( bold_q , italic_ω ) provided by the DM interaction. The dynamic structure factor can be generalized from spin-independent interactions, within an EFT framework, but utilizing the same basic tools introduced here. We take on that task in the next section, but first summarize the broad types of interactions utilized for light DM detection: nuclear recoil, electronic excitations, and single phonon excitation, in the language of the dynamic structure factor.

Nuclear recoils. In the case of nuclear recoils, for each species of nucleus, the dynamic structure factor is

S(𝐪,ω)=2πρTmNfN2fn2FN2(q)δ(q22mNω),𝑆𝐪𝜔2𝜋subscript𝜌𝑇subscript𝑚𝑁superscriptsubscript𝑓𝑁2superscriptsubscript𝑓𝑛2superscriptsubscript𝐹𝑁2𝑞𝛿superscript𝑞22subscript𝑚𝑁𝜔\displaystyle S({\bf q},\omega)=2\pi\frac{\rho_{T}}{m_{N}}\frac{f_{N}^{2}}{f_{% n}^{2}}F_{N}^{2}(q)\delta\left(\frac{q^{2}}{2m_{N}}-\omega\right),italic_S ( bold_q , italic_ω ) = 2 italic_π divide start_ARG italic_ρ start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT end_ARG divide start_ARG italic_f start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_f start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_F start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_q ) italic_δ ( divide start_ARG italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_m start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT end_ARG - italic_ω ) , (46)

where mNsubscript𝑚𝑁m_{N}italic_m start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT is the target nucleus mass, FN(q)subscript𝐹𝑁𝑞F_{N}(q)italic_F start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT ( italic_q ) is the nuclear form factor (often taken to be the Helm form factor), fNsubscript𝑓𝑁f_{N}italic_f start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT is the coupling to the nucleus, and fnsubscript𝑓𝑛f_{n}italic_f start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT is the coupling to a nucleon which we divide through by convention to cancel the same coupling in the cross-section Eq. 43. Note that a single nucleus response is appropriate as long as the nucleus can be treated as free. This occurs when the energy deposition is greater than a typical phonon energy, ωωph10500much-greater-than𝜔subscript𝜔phsimilar-to-or-equals10500\omega\gg\omega_{\rm ph}\simeq 10-500italic_ω ≫ italic_ω start_POSTSUBSCRIPT roman_ph end_POSTSUBSCRIPT ≃ 10 - 500 meV, or equivalently, qmNωphmuch-greater-than𝑞subscript𝑚𝑁subscript𝜔phq\gg\sqrt{m_{N}\omega_{\rm ph}}italic_q ≫ square-root start_ARG italic_m start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT roman_ph end_POSTSUBSCRIPT end_ARG.

Electronic excitations. At the next level of complexity and at lower energy depositions and momentum transfer, DM interactions can induce electronic transitions. In this case, the dynamic structure factor depends on the electron wavefunctions in the initial and final state:

S(𝐪,ω)=2πV(fefe0)2i,fδ(EfEiω)|d3k(2π)3d3k(2π)3(2π)3δ3(𝐤𝐤𝐪)ψf*(𝐤)ψi(𝐤)|2,𝑆𝐪𝜔2𝜋𝑉superscriptsubscript𝑓𝑒superscriptsubscript𝑓𝑒02subscript𝑖𝑓𝛿subscript𝐸𝑓subscript𝐸𝑖𝜔superscriptsuperscript𝑑3superscript𝑘superscript2𝜋3superscript𝑑3𝑘superscript2𝜋3superscript2𝜋3superscript𝛿3superscript𝐤𝐤𝐪superscriptsubscript𝜓𝑓superscript𝐤subscript𝜓𝑖𝐤2\displaystyle S({\bf q},\omega)=\frac{2\pi}{V}\left(\frac{f_{e}}{f_{e}^{0}}% \right)^{2}\sum_{i,f}\delta(E_{f}-E_{i}-\omega)\left|\int\frac{d^{3}k^{\prime}% }{(2\pi)^{3}}\frac{d^{3}k}{(2\pi)^{3}}(2\pi)^{3}\delta^{3}({\bf k}^{\prime}-{% \bf k}-{\bf q})\psi_{f}^{*}({\bf k}^{\prime})\psi_{i}({\bf k})\right|^{2},italic_S ( bold_q , italic_ω ) = divide start_ARG 2 italic_π end_ARG start_ARG italic_V end_ARG ( divide start_ARG italic_f start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT end_ARG start_ARG italic_f start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_i , italic_f end_POSTSUBSCRIPT italic_δ ( italic_E start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT - italic_E start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - italic_ω ) | ∫ divide start_ARG italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG start_ARG ( 2 italic_π ) start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG divide start_ARG italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_k end_ARG start_ARG ( 2 italic_π ) start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG ( 2 italic_π ) start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_δ start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ( bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT - bold_k - bold_q ) italic_ψ start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT start_POSTSUPERSCRIPT * end_POSTSUPERSCRIPT ( bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) italic_ψ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( bold_k ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ,

where the sum over i,f𝑖𝑓i,\leavevmode\nobreak\ fitalic_i , italic_f is over all the initial and final electronic states whose energy difference is ω=EfEi𝜔subscript𝐸𝑓subscript𝐸𝑖\omega=E_{f}-E_{i}italic_ω = italic_E start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT - italic_E start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT. In a semiconductor, the relevant states are core, valence, conduction and free electrons, where the wavefunctions are written in terms of Bloch waves labeled by a band index I𝐼Iitalic_I and wavenumber 𝐤𝐤{\bf k}bold_k:

ψI,𝐤(𝐱)=1V𝐆uI(𝐤+𝐆)ei(𝐤+𝐆)𝐱.subscript𝜓𝐼𝐤𝐱1𝑉subscript𝐆subscript𝑢𝐼𝐤𝐆superscript𝑒𝑖𝐤𝐆𝐱\displaystyle\psi_{I,{\bf k}}({\bf x})=\frac{1}{\sqrt{V}}\sum_{{\bf G}}u_{I}({% \bf k}+{\bf G})e^{i({\bf k}+{\bf G})\cdot{\bf x}}.italic_ψ start_POSTSUBSCRIPT italic_I , bold_k end_POSTSUBSCRIPT ( bold_x ) = divide start_ARG 1 end_ARG start_ARG square-root start_ARG italic_V end_ARG end_ARG ∑ start_POSTSUBSCRIPT bold_G end_POSTSUBSCRIPT italic_u start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT ( bold_k + bold_G ) italic_e start_POSTSUPERSCRIPT italic_i ( bold_k + bold_G ) ⋅ bold_x end_POSTSUPERSCRIPT . (47)

This immediately leads to a dynamic structure factor

S(𝐪,ω)𝑆𝐪𝜔\displaystyle S({\bf q},\omega)italic_S ( bold_q , italic_ω ) =\displaystyle== 2Vi,f1BZd3k1(2π)3d3k1(2π)32πδ(Ef,𝐤2Ei,𝐤1ω)2𝑉subscript𝑖𝑓subscript1BZsuperscript𝑑3subscript𝑘1superscript2𝜋3superscript𝑑3subscript𝑘1superscript2𝜋32𝜋𝛿subscript𝐸𝑓subscript𝐤2subscript𝐸𝑖subscript𝐤1𝜔\displaystyle\frac{2}{V}\sum_{i,f}\int_{1{\rm BZ}}\frac{d^{3}k_{1}}{(2\pi)^{3}% }\frac{d^{3}k_{1}}{(2\pi)^{3}}2\pi\delta(E_{f,{\bf k}_{2}}-E_{i,{\bf k}_{1}}-\omega)divide start_ARG 2 end_ARG start_ARG italic_V end_ARG ∑ start_POSTSUBSCRIPT italic_i , italic_f end_POSTSUBSCRIPT ∫ start_POSTSUBSCRIPT 1 roman_B roman_Z end_POSTSUBSCRIPT divide start_ARG italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG ( 2 italic_π ) start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG divide start_ARG italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG ( 2 italic_π ) start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG 2 italic_π italic_δ ( italic_E start_POSTSUBSCRIPT italic_f , bold_k start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT - italic_E start_POSTSUBSCRIPT italic_i , bold_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT - italic_ω ) (48)
×\displaystyle\times× |𝐆1,𝐆2(2π)3δ3(𝐤2+𝐆2𝐤1𝐆1𝐪)uf*(𝐤2+𝐆2)ui(𝐤1+𝐆1)|2,superscriptsubscriptsubscript𝐆1subscript𝐆2superscript2𝜋3superscript𝛿3subscript𝐤2subscript𝐆2subscript𝐤1subscript𝐆1𝐪superscriptsubscript𝑢𝑓subscript𝐤2subscript𝐆2subscript𝑢𝑖subscript𝐤1subscript𝐆12\displaystyle\left|\sum_{{\bf G}_{1},{\bf G}_{2}}(2\pi)^{3}\delta^{3}({\bf k}_% {2}+{\bf G}_{2}-{\bf k}_{1}-{\bf G}_{1}-{\bf q})u_{f}^{*}({\bf k}_{2}+{\bf G}_% {2})u_{i}({\bf k}_{1}+{\bf G}_{1})\right|^{2},| ∑ start_POSTSUBSCRIPT bold_G start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , bold_G start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( 2 italic_π ) start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_δ start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ( bold_k start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT + bold_G start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT - bold_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - bold_G start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - bold_q ) italic_u start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT start_POSTSUPERSCRIPT * end_POSTSUPERSCRIPT ( bold_k start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT + bold_G start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) italic_u start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( bold_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + bold_G start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ,

where the prefactor of 2 comes from summing over degenerate spins. Now we can define a crystal form factor with an Umklapp 𝐆𝐆{\bf G}bold_G, which allows us to take into account in momentum space the periodicity of the crystal lattice,

f[i,𝐤1,f,𝐤2,𝐆]𝐆1,𝐆2uf*(𝐤2+𝐆2)ui(𝐤1+𝐆1)δ𝐆2𝐆1,𝐆,subscript𝑓𝑖subscript𝐤1𝑓subscript𝐤2𝐆subscriptsubscript𝐆1subscript𝐆2superscriptsubscript𝑢𝑓subscript𝐤2subscript𝐆2subscript𝑢𝑖subscript𝐤1subscript𝐆1subscript𝛿subscript𝐆2subscript𝐆1𝐆\displaystyle f_{\left[i,{\bf k}_{1},f,{\bf k}_{2},{\bf G}\right]}\equiv\sum_{% {\bf G}_{1},{\bf G}_{2}}u_{f}^{*}({\bf k}_{2}+{\bf G}_{2})u_{i}({\bf k}_{1}+{% \bf G}_{1})\delta_{{\bf G}_{2}-{\bf G}_{1},{\bf G}},italic_f start_POSTSUBSCRIPT [ italic_i , bold_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_f , bold_k start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , bold_G ] end_POSTSUBSCRIPT ≡ ∑ start_POSTSUBSCRIPT bold_G start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , bold_G start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT italic_u start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT start_POSTSUPERSCRIPT * end_POSTSUPERSCRIPT ( bold_k start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT + bold_G start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) italic_u start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( bold_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + bold_G start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) italic_δ start_POSTSUBSCRIPT bold_G start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT - bold_G start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , bold_G end_POSTSUBSCRIPT , (49)

so that we can rewrite the dynamic structure factor as

S(𝐪,ω)𝑆𝐪𝜔\displaystyle S({\bf q},\omega)italic_S ( bold_q , italic_ω ) =\displaystyle== 2Vi,f1BZd3k1(2π)3d3k1(2π)32πδ(Ef,𝐤2Ei,𝐤1ω)2𝑉subscript𝑖𝑓subscript1BZsuperscript𝑑3subscript𝑘1superscript2𝜋3superscript𝑑3subscript𝑘1superscript2𝜋32𝜋𝛿subscript𝐸𝑓subscript𝐤2subscript𝐸𝑖subscript𝐤1𝜔\displaystyle\frac{2}{V}\sum_{i,f}\int_{1{\rm BZ}}\frac{d^{3}k_{1}}{(2\pi)^{3}% }\frac{d^{3}k_{1}}{(2\pi)^{3}}2\pi\delta(E_{f,{\bf k}_{2}}-E_{i,{\bf k}_{1}}-\omega)divide start_ARG 2 end_ARG start_ARG italic_V end_ARG ∑ start_POSTSUBSCRIPT italic_i , italic_f end_POSTSUBSCRIPT ∫ start_POSTSUBSCRIPT 1 roman_B roman_Z end_POSTSUBSCRIPT divide start_ARG italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG ( 2 italic_π ) start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG divide start_ARG italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG ( 2 italic_π ) start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG 2 italic_π italic_δ ( italic_E start_POSTSUBSCRIPT italic_f , bold_k start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT - italic_E start_POSTSUBSCRIPT italic_i , bold_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT - italic_ω ) (50)
×\displaystyle\times× 𝐆(2π)3δ3(𝐤2𝐤1𝐆𝐪)|f[i,𝐤1,f,𝐤2,𝐆]|2.subscript𝐆superscript2𝜋3superscript𝛿3subscript𝐤2subscript𝐤1𝐆𝐪superscriptsubscript𝑓𝑖subscript𝐤1𝑓subscript𝐤2𝐆2\displaystyle\sum_{{\bf G}}(2\pi)^{3}\delta^{3}({\bf k}_{2}-{\bf k}_{1}-{\bf G% }-{\bf q})\left|f_{\left[i,{\bf k}_{1},f,{\bf k}_{2},{\bf G}\right]}\right|^{2}.∑ start_POSTSUBSCRIPT bold_G end_POSTSUBSCRIPT ( 2 italic_π ) start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_δ start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ( bold_k start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT - bold_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - bold_G - bold_q ) | italic_f start_POSTSUBSCRIPT [ italic_i , bold_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_f , bold_k start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , bold_G ] end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT .

This formula can also be applied to the case of superconductors, where the calculation is relatively simple because, for energy depositions well above the Cooper pair binding energy, the electrons behave as free particles in a Fermi-degenerate sea. In that case, 𝐆=0𝐆0{\bf G}=0bold_G = 0 and the crystal form factor is simply replaced by the Fermi-Dirac distributions

|f[i,𝐤1,f,𝐤2,𝐆]|2=f(ωk1)(1f(ωk2)),superscriptsubscript𝑓𝑖subscript𝐤1𝑓subscript𝐤2𝐆2𝑓subscript𝜔subscript𝑘11𝑓subscript𝜔subscript𝑘2\displaystyle\left|f_{\left[i,{\bf k}_{1},f,{\bf k}_{2},{\bf G}\right]}\right|% ^{2}=f(\omega_{k_{1}})(1-f(\omega_{k_{2}})),| italic_f start_POSTSUBSCRIPT [ italic_i , bold_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_f , bold_k start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , bold_G ] end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = italic_f ( italic_ω start_POSTSUBSCRIPT italic_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ) ( 1 - italic_f ( italic_ω start_POSTSUBSCRIPT italic_k start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ) ) , (51)

where f(Ei)=[1+exp(EiμiT)]1𝑓subscript𝐸𝑖superscriptdelimited-[]1expsubscript𝐸𝑖subscript𝜇𝑖𝑇1f(E_{i})=\left[1+\mbox{exp}\left(\frac{E_{i}-\mu_{i}}{T}\right)\right]^{-1}italic_f ( italic_E start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) = [ 1 + exp ( divide start_ARG italic_E start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - italic_μ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_ARG start_ARG italic_T end_ARG ) ] start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT is the Fermi-Dirac distribution of electrons at temperature T𝑇Titalic_T. In the limit T0𝑇0T\rightarrow 0italic_T → 0, the dynamic structure factor reduces to [49]

S(ω,𝐪)me2ωπqΘ(qvFω),similar-to-or-equals𝑆𝜔𝐪superscriptsubscript𝑚𝑒2𝜔𝜋𝑞Θ𝑞subscript𝑣𝐹𝜔\displaystyle S(\omega,{\bf q})\simeq\frac{m_{e}^{2}\omega}{\pi q}\Theta(qv_{F% }-\omega),italic_S ( italic_ω , bold_q ) ≃ divide start_ARG italic_m start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_ω end_ARG start_ARG italic_π italic_q end_ARG roman_Θ ( italic_q italic_v start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT - italic_ω ) , (52)

where vF102similar-to-or-equalssubscript𝑣𝐹superscript102v_{F}\simeq 10^{-2}italic_v start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT ≃ 10 start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT is the Fermi velocity of electrons in a superconductor.

The technical obstruction to computing DM interaction rates in materials like semiconductors is the electronic wavefunctions. In some cases, especially where the electrons are more tightly bound [78], analytic atomic wavefunctions can provide an approximation that gives correct order-of-magnitude estimates for DM interaction rates [79, 80]. However, especially for conduction electrons, these approximations are not very good, and there now exist multiple codes to compute spin-independent scattering rates of light DM electrons utilizing wavefunctions computed via Density Functional Theory (DFT). This includes the QEDark [66] and QCDark [81], EXCEED-DM [78, 82] and DarkELF [83] packages. EXCEED-DM extended QEDark by including the all-electron reconstructed wavefunctions and additional electronic states outside of valence and conduction bands. DarkELF makes use of the DFT-computed dielectric function ϵ(ω,𝐪)italic-ϵ𝜔𝐪\epsilon(\omega,{\bf q})italic_ϵ ( italic_ω , bold_q ), with the observation that the dynamic structure function, for dark photon-like scattering on electrons, can be written in the low-temperature limit as [84, 75]

S(ω,𝐪)=q22παemIm[1ϵL(ω,𝐪)].𝑆𝜔𝐪superscript𝑞22𝜋subscript𝛼𝑒𝑚Imdelimited-[]1subscriptitalic-ϵ𝐿𝜔𝐪\displaystyle S(\omega,{\bf q})=\frac{q^{2}}{2\pi\alpha_{em}}\mbox{Im}\left[% \frac{-1}{\epsilon_{L}(\omega,{\bf q})}\right].italic_S ( italic_ω , bold_q ) = divide start_ARG italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_π italic_α start_POSTSUBSCRIPT italic_e italic_m end_POSTSUBSCRIPT end_ARG Im [ divide start_ARG - 1 end_ARG start_ARG italic_ϵ start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ( italic_ω , bold_q ) end_ARG ] . (53)

This can be a convenient expression for spin-independent scattering, if the dielectric function is available for all (ω,𝐪)𝜔𝐪(\omega,{\bf q})( italic_ω , bold_q ) of interest.

We summarize in Table 1 the types of targets, and their gaps, proposed for DM interacting with the electron. There are already many experiments in process that realize these ideas:

  • Ionization in atoms and excitation across the band gap in semiconductors were the first proposal to detect MeV-GeV DM, and is currently being implemented in semiconductor targets of SuperCDMS, SENSEI, DAMIC and EDELWEISS. The Xenon (PandaX, Xenon1T, LUX) and liquid argon (DarkSide) experiments have also done searches for ionization of electrons.

  • Cooper-pair breaking in superconductors has been implemented to search for keV-GeV light DM with superconducting nanowires (SNSPDs) [85].

We refer the reader to Ref. [86] (especially Figure 1) for a currently complete discussion of the ongoing experimental efforts, which we do not attempt to cite in detail here.

Target Reaction Process typical gap Elastic or Inelastic? DM Mass Range
Atom Ionization 10 eV Inelastic 10greater-than-or-equivalent-toabsent10\gtrsim 10≳ 10 MeV-GeV
Semiconductor Excitation across band gap 1 eVsimilar-toabsent1 eV\sim 1\mbox{ eV}∼ 1 eV Inelastic MeV-GeV
Superconductor Cooper pair breaking 1 meVsimilar-toabsent1 meV\sim 1\mbox{ meV}∼ 1 meV approx. Elastic 1greater-than-or-equivalent-toabsent1\gtrsim 1≳ 1 keV-GeV
Graphene Electron ejection 1 eVsimilar-toabsent1 eV\sim 1\mbox{ eV}∼ 1 eV Inelastic 1greater-than-or-equivalent-toabsent1\gtrsim 1≳ 1 MeV-GeV
Dirac Material Excitation across band gap 01 meVsimilar-toabsent01 meV\sim 0-1\mbox{ meV}∼ 0 - 1 meV Inelastic keV-GeV
Heavy Fermion Material Excitation across band gap 10 meVsimilar-toabsent10 meV\sim 10\mbox{ meV}∼ 10 meV Inelastic 10 keV-GeV
Table 1: Summary of the target materials that have been proposed for DM detection through electron excitation. The superconductor DM detection process is elastic for energy depositions well above the Cooper pair binding energy.

Single Phonon excitations. When the energy deposition drops below ω100 meVq2/2mNsimilar-to𝜔100 meVsimilar-tosuperscript𝑞22subscript𝑚𝑁\omega\sim 100\mbox{ meV}\sim q^{2}/2m_{N}italic_ω ∼ 100 meV ∼ italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / 2 italic_m start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT, with q10100 keVsimilar-to𝑞10100 keVq\sim 10-100\mbox{ keV}italic_q ∼ 10 - 100 keV, the nucleus can no longer be treated as free and the relevant degrees-of-freedom are no longer single ions. Phonons are collective oscillations of atoms in fluids (such as superfluid helium) or crystals (including metals like superconductors). For a crystal with a lattice structure having n𝑛nitalic_n ions in a unit cell, there are 3n3𝑛3\leavevmode\nobreak\ n3 italic_n such modes. Three of those modes are gapless acoustic phonons; theoretically these modes are Goldstone Bosons of broken translation symmetry, and physically correspond to the ions oscillating together in-phase in each of the three spatial directions. The dispersion of these modes is given by

ω=csq,𝜔subscript𝑐𝑠𝑞\displaystyle\omega=c_{s}q,italic_ω = italic_c start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT italic_q , (54)

where cssubscript𝑐𝑠c_{s}italic_c start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT is the speed of sound in the medium. Any remaining modes are gapped, meaning that at zero momentum transfer they have a non-zero excitation energy. All of these modes physically correspond to out-of-phase oscillations of the ions, which can set up an oscillating dipole in the unit cell. The gapped phonons are called optical phonons, because at least some of these modes are optically active. A typical band structure is shown in Fig. 5.

Refer to caption
Refer to caption
Figure 5: Band structure of two materials. Left: Electronic excitations in a semiconductor, GaAs. The Fermi energy defines the 0 point on the y𝑦yitalic_y-axis, with the valence and conduction bands below and above the Fermi energy. On the x𝑥xitalic_x-axis, a slice is taken through the Brioullin zone to show a typical band structure. The ΓΓ\Gammaroman_Γ point is defined by where the bands come closest to crossing the Fermi surface. Right: Phonon excitations in a polar material, sapphire. Here the excitation energies ω𝜔\omegaitalic_ω are above the zero energy state with no phonons. The ΓΓ\Gammaroman_Γ point is again defined by the point in momentum space where the gapless acoustic modes have zero energy, such that their dispersion is given by Eq. 54. The gapped phonons are called optical, even though not all of these modes are optically active. Figures reproduced from Ref. [69].

Similar to the previous cases, the spin-independent scattering rate can be expressed in terms of a dynamic structure factor

S(𝐪,ω)=ν|Fν(𝐪)|22ων,𝐪δ(ων,𝐪ω),𝑆𝐪𝜔subscript𝜈superscriptsubscript𝐹𝜈𝐪22subscript𝜔𝜈𝐪𝛿subscript𝜔𝜈𝐪𝜔\displaystyle S({\bf q},\omega)=\sum_{\nu}\frac{|F_{\nu}({\bf q})|^{2}}{2% \omega_{\nu,{\bf q}}}\delta(\omega_{\nu,{\bf q}}-\omega),italic_S ( bold_q , italic_ω ) = ∑ start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT divide start_ARG | italic_F start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ( bold_q ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_ω start_POSTSUBSCRIPT italic_ν , bold_q end_POSTSUBSCRIPT end_ARG italic_δ ( italic_ω start_POSTSUBSCRIPT italic_ν , bold_q end_POSTSUBSCRIPT - italic_ω ) , (55)

where ων,𝐪,ϵν,𝐪,jsubscript𝜔𝜈𝐪subscriptitalic-ϵ𝜈𝐪𝑗\omega_{\nu,{\bf q}},\leavevmode\nobreak\ \epsilon_{\nu,{\bf q},j}italic_ω start_POSTSUBSCRIPT italic_ν , bold_q end_POSTSUBSCRIPT , italic_ϵ start_POSTSUBSCRIPT italic_ν , bold_q , italic_j end_POSTSUBSCRIPT are the eigenvalues and eigenvectors of phonon branch ν𝜈\nuitalic_ν (with the polarization vector indicating the direction in which ion j𝑗jitalic_j is oscillating, normalized such that j|ϵν,𝐪j|2=1subscript𝑗superscriptsubscriptitalic-ϵ𝜈𝐪𝑗21\sum_{j}|{\bf\epsilon}_{\nu,{\bf q}j}|^{2}=1∑ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT | italic_ϵ start_POSTSUBSCRIPT italic_ν , bold_q italic_j end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 1) of the coupled ionic oscillators, and Fν(𝐪)subscript𝐹𝜈𝐪F_{\nu}({\bf q})italic_F start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ( bold_q ) is a phonon form factor

|Fν(𝐪)|2=|jeWj(𝐪)mj𝐪ϵν,𝐪jei𝐪𝐱j0|2.superscriptsubscript𝐹𝜈𝐪2superscriptsubscript𝑗superscript𝑒subscript𝑊𝑗𝐪subscript𝑚𝑗𝐪subscriptitalic-ϵ𝜈𝐪𝑗superscript𝑒𝑖𝐪superscriptsubscript𝐱𝑗02\displaystyle|F_{\nu}({\bf q})|^{2}=\left|\sum_{j}\frac{e^{-W_{j}({\bf q})}}{% \sqrt{m_{j}}}{\bf q}\cdot{\bf\epsilon}_{\nu,{\bf q}j}e^{-i{\bf q}\cdot{\bf x}_% {j}^{0}}\right|^{2}.| italic_F start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ( bold_q ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = | ∑ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT divide start_ARG italic_e start_POSTSUPERSCRIPT - italic_W start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ( bold_q ) end_POSTSUPERSCRIPT end_ARG start_ARG square-root start_ARG italic_m start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_ARG end_ARG bold_q ⋅ italic_ϵ start_POSTSUBSCRIPT italic_ν , bold_q italic_j end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT - italic_i bold_q ⋅ bold_x start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT . (56)

Here the sum runs over the ions at equilibrium position 𝐱j0superscriptsubscript𝐱𝑗0{\bf x}_{j}^{0}bold_x start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT in the unit cell and Wjsubscript𝑊𝑗W_{j}italic_W start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT is the so-called Debye-Waller factor that acts as a form factor shutting off the phonon response when the momentum transfer becomes larger than the inverse unit cell size qa1greater-than-or-equivalent-to𝑞superscript𝑎1q\gtrsim a^{-1}italic_q ≳ italic_a start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT (see Refs. [50, 87, 63] for a derivation and discussion). The eigenvalues and eigenvectors are typically obtained from a program like phonopy that computes the lattice force matrix on all n𝑛nitalic_n ions in the unit cell and diagonalizes it.

Operationally, the phonon form factor behaves similarly to the Helm form factor, in that it becomes highly suppressed when the effective description of collectively oscillating ions (or in the case of the Helm, collective nucleons in a nucleus) breaks down due to resolving the internal structure of the unit cell. In particular, one can see explicitly that when the momentum transfer becomes large in comparison to the typical momentum in a mode, q22ων,qmjmuch-greater-thansuperscript𝑞22subscript𝜔𝜈𝑞subscript𝑚𝑗q^{2}\gg 2\omega_{\nu,q}m_{j}italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ≫ 2 italic_ω start_POSTSUBSCRIPT italic_ν , italic_q end_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT, the Debye-Waller factor becomes large:

Wj(𝐪)=14mjν1BZd3k(2π)3|𝐪ϵν,𝐤j|2ων,𝐤,subscript𝑊𝑗𝐪14subscript𝑚𝑗subscript𝜈subscript1BZsuperscript𝑑3𝑘superscript2𝜋3superscript𝐪subscriptitalic-ϵ𝜈𝐤𝑗2subscript𝜔𝜈𝐤\displaystyle W_{j}({\bf q})=\frac{1}{4m_{j}}\sum_{\nu}\int_{\rm 1BZ}\frac{d^{% 3}k}{(2\pi)^{3}}\frac{|{\bf q}\cdot{\bf\epsilon}_{\nu,{\bf k}j}|^{2}}{\omega_{% \nu,{\bf k}}},italic_W start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ( bold_q ) = divide start_ARG 1 end_ARG start_ARG 4 italic_m start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_ARG ∑ start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ∫ start_POSTSUBSCRIPT 1 roman_B roman_Z end_POSTSUBSCRIPT divide start_ARG italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_k end_ARG start_ARG ( 2 italic_π ) start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG divide start_ARG | bold_q ⋅ italic_ϵ start_POSTSUBSCRIPT italic_ν , bold_k italic_j end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_ω start_POSTSUBSCRIPT italic_ν , bold_k end_POSTSUBSCRIPT end_ARG , (57)

and hence the dynamic structure factor via the phonon form factor in Eq. 56 becomes small. (Here the momentum has been integrated over the first Brillouin Zone (BZ), see Ref. [63] for more detail.) At a general momentum transfer, the phase factors, and in particular cancellations between the phase factors, can become important for accurately describing the DM interaction rate with phonons. However, at low momentum transfer, where the Debye-Waller factor is small, the form factor takes a simple form. For example, in a simple crystal like GaAs where there are only two ions in the unit cell, we have

|Fν(𝐪)|2q22mn|AGaei𝐱Ga𝐪±AAsei𝐱As𝐪|2,superscriptsubscript𝐹𝜈𝐪2superscript𝑞22subscript𝑚𝑛superscriptplus-or-minussubscript𝐴Gasuperscript𝑒𝑖subscript𝐱Ga𝐪subscript𝐴Assuperscript𝑒𝑖subscript𝐱As𝐪2\displaystyle|F_{\nu}({\bf q})|^{2}\approx\frac{q^{2}}{2m_{n}}\left|\sqrt{A_{% \rm Ga}}e^{i{\bf x}_{\rm Ga}\cdot{\bf q}}\pm\sqrt{A_{\rm As}}e^{i{\bf x}_{\rm As% }\cdot{\bf q}}\right|^{2},| italic_F start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ( bold_q ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ≈ divide start_ARG italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_m start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT end_ARG | square-root start_ARG italic_A start_POSTSUBSCRIPT roman_Ga end_POSTSUBSCRIPT end_ARG italic_e start_POSTSUPERSCRIPT italic_i bold_x start_POSTSUBSCRIPT roman_Ga end_POSTSUBSCRIPT ⋅ bold_q end_POSTSUPERSCRIPT ± square-root start_ARG italic_A start_POSTSUBSCRIPT roman_As end_POSTSUBSCRIPT end_ARG italic_e start_POSTSUPERSCRIPT italic_i bold_x start_POSTSUBSCRIPT roman_As end_POSTSUBSCRIPT ⋅ bold_q end_POSTSUPERSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , (58)

where 𝐱Ga,As,AGa,Assubscript𝐱GaAssubscript𝐴GaAs{\bf x}_{\rm Ga,As},\leavevmode\nobreak\ A_{\rm Ga,As}bold_x start_POSTSUBSCRIPT roman_Ga , roman_As end_POSTSUBSCRIPT , italic_A start_POSTSUBSCRIPT roman_Ga , roman_As end_POSTSUBSCRIPT denote the positions and mass numbers of the gallium and arsenide ions in the unit cell, respectively [50]. In general, however, one uses codes employing DFT to compute the phonon eigenvectors and eigenfrequencies [87, 63]. This general program was outlined first in Ref. [63], and a code implementing this program in a variety of materials is publicly available as the PhonoDark code [77, 88]. This code implements not only spin-independent interactions, but also follows a general framework for calculating the DM single-phonon excitation rate via any Lorentz-Invariant effective interaction. We will describe this framework in the next section.

There are now experimental efforts underway to detect single collective excitations:

  • The TESSERACT collaboration, consisting of the helium experiment HeRALD and the polar material experiment SPICE, is actively working to reach single optical phonon sensitivity with the transition edge sensors (TES) employed in the detector.

  • At present, the single magnon proposal of Refs. [71, 89] is not experimentally implemented, though a related concept (through many magnons) forms the basis of the QUAX experiment [90].

A summary of the collective modes, possible targets, gap of the collective mode and coupling (nucleon or electron) is given in Table 2. We again refer the reader to Ref. [86] for a currently complete discussion of ongoing experimental efforts.

An additional comment is in order: at typical energies above the higher optical mode (typically ω100 meVsimilar-to𝜔100 meV\omega\sim 100\mbox{ meV}italic_ω ∼ 100 meV) but below where the nucleus becomes definitely free ω1 eVsimilar-to𝜔1 eV\omega\sim 1\mbox{ eV}italic_ω ∼ 1 eV, multi-phonon emission becomes important. The calculation of multi-phonon processes can rapidly become numerically intensive, due to the large multi-phonon phase space, and the presence of both harmonic and anharmonic multi-phonon modes. Two-phonon production as a means to detect light DM was proposed in Ref. [91, 92], and calculated in an EFT in Refs. [93, 94]. The harmonic contributions can be computed using analytic methods, and the results applied to interpolate between the single phonon regime valid at low energies and the nuclear recoil regime [95], and the effect of anharmonicities estimated [96]. Note that even single phonon production, initially, will lead to the cascade of multi-phonons [97] as the initial phonon decays through the anharmonic coupling, in a process rather analogous to showering.

Collective Mode Target Proposed Materials Gap? Coupling
Acoustic Ph. All materials He, Si, Ge, GaAs, Al22{}_{2}start_FLOATSUBSCRIPT 2 end_FLOATSUBSCRIPTO33{}_{3}start_FLOATSUBSCRIPT 3 end_FLOATSUBSCRIPT, diamond no p/n/e𝑝𝑛superscript𝑒p/n/e^{-}italic_p / italic_n / italic_e start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT
Optical Ph. Polar, semicond. GaAs, Al22{}_{2}start_FLOATSUBSCRIPT 2 end_FLOATSUBSCRIPTO33{}_{3}start_FLOATSUBSCRIPT 3 end_FLOATSUBSCRIPT 10100similar-toabsent10100\sim 10-100∼ 10 - 100 meV p/n/e𝑝𝑛superscript𝑒p/n/e^{-}italic_p / italic_n / italic_e start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT
Magnon (anti-)ferromagnet YIG 010similar-toabsent010\sim 0-10∼ 0 - 10 meV esuperscript𝑒e^{-}italic_e start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT
Table 2: Summary of the target materials that have been proposed for DM detection through collective excitations. The superconductor DM detection process is elastic for energy depositions well above the Cooper pair binding energy.

V.3 In-medium Effects

Small gap electronic materials have a large in-medium response that affects reach to DM scattering and absorption through screening effects. For isotropic, non-magnetic materials interacting through a dark photon, the effect of the in-medium response can be parameterized in terms of a reduced effective kinetic mixing parameter ϵeffsubscriptitalic-ϵeff\epsilon_{\rm eff}italic_ϵ start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT [49, 24]:

ϵeff=ϵq2q2ΠT,L,subscriptitalic-ϵeffitalic-ϵsuperscript𝑞2superscript𝑞2subscriptΠ𝑇𝐿\displaystyle\epsilon_{\rm eff}=\epsilon\frac{q^{2}}{q^{2}-\Pi_{T,L}},italic_ϵ start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT = italic_ϵ divide start_ARG italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - roman_Π start_POSTSUBSCRIPT italic_T , italic_L end_POSTSUBSCRIPT end_ARG , (59)

where ΠT,LsubscriptΠ𝑇𝐿\Pi_{T,L}roman_Π start_POSTSUBSCRIPT italic_T , italic_L end_POSTSUBSCRIPT is the in-medium polarization tensor of an isotropic, non-magnetic material, related to the complex index of refraction n~~𝑛\tilde{n}over~ start_ARG italic_n end_ARG by q2(1n~2)=ΠL,ω2(1n~2)=ΠTformulae-sequencesuperscript𝑞21superscript~𝑛2subscriptΠ𝐿superscript𝜔21superscript~𝑛2subscriptΠ𝑇q^{2}(1-\tilde{n}^{2})=\Pi_{L},\leavevmode\nobreak\ \leavevmode\nobreak\ % \omega^{2}(1-\tilde{n}^{2})=\Pi_{T}italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( 1 - over~ start_ARG italic_n end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) = roman_Π start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT , italic_ω start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( 1 - over~ start_ARG italic_n end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) = roman_Π start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT. The case of an anisotropic material is significantly more involved [98], where the in-medium effects must be written in terms of a tensor, whose eigenvalues are given by

πi=ω2(1ϵii),subscript𝜋𝑖superscript𝜔21subscriptitalic-ϵ𝑖𝑖\displaystyle\pi_{i}=\omega^{2}(1-{\bf\epsilon}_{ii}),italic_π start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = italic_ω start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( 1 - italic_ϵ start_POSTSUBSCRIPT italic_i italic_i end_POSTSUBSCRIPT ) , (60)

with the effective mixing parameter

ϵeff,i2=ϵ2mA4[mA2Reπi(q)]2+[Imπi(q)]2.superscriptsubscriptitalic-ϵeffi2superscriptitalic-ϵ2superscriptsubscript𝑚superscript𝐴4superscriptdelimited-[]superscriptsubscript𝑚superscript𝐴2Resubscript𝜋𝑖𝑞2superscriptdelimited-[]Imsubscript𝜋𝑖𝑞2\displaystyle\epsilon_{\rm eff,i}^{2}=\frac{\epsilon^{2}m_{A^{\prime}}^{4}}{% \left[m_{A^{\prime}}^{2}-\mbox{Re}\pi_{i}(q)\right]^{2}+\left[\mbox{Im}\pi_{i}% (q)\right]^{2}}.italic_ϵ start_POSTSUBSCRIPT roman_eff , roman_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = divide start_ARG italic_ϵ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT italic_A start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG start_ARG [ italic_m start_POSTSUBSCRIPT italic_A start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - Re italic_π start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( italic_q ) ] start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + [ Im italic_π start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( italic_q ) ] start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG . (61)

We discuss below how these effective couplings enter into the absorption rate.

VI Generalized Dark Matter Interactions

We have summarized the relevant ingredients for DM to induce a response in a target material. We now generalize the framework to an EFT of DM scattering in the next Subsection, followed by general considerations on DM absorption in target materials.

VI.1 Effective Field Theory of Dark Matter Scattering with Collective Excitations

As suggested in Eq. 44, one needs to be able to compute the transition matrix element f|T(𝐪)|iquantum-operator-product𝑓subscript𝑇𝐪𝑖\langle f|{\cal F}_{T}({\bf q})|i\rangle⟨ italic_f | caligraphic_F start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT ( bold_q ) | italic_i ⟩ for any interaction type in order to be able to compute the DM scattering rate for any interaction type. This in turn implies that we must be able to compute the potential, the generalization of Eq. 41, that the DM induces in the target material. DM is a non-relativistic (NR) state, and therefore one needs to follow the rules of NREFT. The discussion here largely follows Ref. [77].

For scattering, the EFT calculation follows a simple plan:

  1. 1.

    Match relativistic operators onto non-relativistic operators. There is a long history in the nuclear physics literature of identifying the relevant NR operators. They are

    𝐪𝐤𝐤,𝐊𝐤+𝐤,𝐒ψ,𝐯χ𝐏2mχ,𝐯ψ𝐊2mψ.formulae-sequence𝐪superscript𝐤𝐤formulae-sequence𝐊superscript𝐤𝐤subscript𝐒𝜓formulae-sequencesubscript𝐯𝜒𝐏2subscript𝑚𝜒subscript𝐯𝜓𝐊2subscript𝑚𝜓\displaystyle{\bf q}\equiv{\bf k}^{\prime}-{\bf k},\leavevmode\nobreak\ % \leavevmode\nobreak\ \leavevmode\nobreak\ \leavevmode\nobreak\ {\bf K}\equiv{% \bf k}^{\prime}+{\bf k},\leavevmode\nobreak\ \leavevmode\nobreak\ \leavevmode% \nobreak\ \leavevmode\nobreak\ {\bf S}_{\psi},\leavevmode\nobreak\ \leavevmode% \nobreak\ \leavevmode\nobreak\ {\bf v}_{\chi}\equiv\frac{{\bf P}}{2m_{\chi}},% \leavevmode\nobreak\ \leavevmode\nobreak\ \leavevmode\nobreak\ \leavevmode% \nobreak\ {\bf v}_{\psi}\equiv\frac{{\bf K}}{2m_{\psi}}.bold_q ≡ bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT - bold_k , bold_K ≡ bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + bold_k , bold_S start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT , bold_v start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ≡ divide start_ARG bold_P end_ARG start_ARG 2 italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG , bold_v start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT ≡ divide start_ARG bold_K end_ARG start_ARG 2 italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT end_ARG . (62)

    Here mψsubscript𝑚𝜓m_{\psi}italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT is the target fermion mass and 𝐒ψsubscript𝐒𝜓{\bf S}_{\psi}bold_S start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT the spin. Note that in the nuclear recoil case, Galilean invariance is preserved, and the NREFT depends only on 𝐯𝐯χ𝐯ψsuperscript𝐯perpendicular-tosubscript𝐯𝜒subscript𝐯𝜓{\bf v}^{\perp}\equiv{\bf v}_{\chi}-{\bf v}_{\psi}bold_v start_POSTSUPERSCRIPT ⟂ end_POSTSUPERSCRIPT ≡ bold_v start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT - bold_v start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT. In the present case, in-medium effects may be important, and Galilean invariance is broken such that we need to keep both.

  2. 2.

    Eq. 62 identifies charge, spin and velocity operators as being relevant to determining the potential created by the DM-target interaction. In particular, the transition matrix element induced by a potential, generalized from Eq. 41 to include velocity and momentum dependence, is

    ν,𝐤|V~(𝐪,𝐯)|0=,jν,𝐤|ei𝐪𝐱jV~j(𝐪,𝐯)|0quantum-operator-product𝜈𝐤~𝑉𝐪𝐯0subscript𝑗quantum-operator-product𝜈𝐤superscript𝑒𝑖𝐪subscript𝐱𝑗subscript~𝑉𝑗𝐪𝐯0\displaystyle\langle\nu,{\bf k}|\tilde{V}({\bf q},{\bf v})|0\rangle=\sum_{\ell% ,j}\langle\nu,{\bf k}|e^{-i{\bf q}\cdot{\bf x}_{\ell j}}\tilde{V}_{\ell j}({% \bf q},{\bf v})|0\rangle⟨ italic_ν , bold_k | over~ start_ARG italic_V end_ARG ( bold_q , bold_v ) | 0 ⟩ = ∑ start_POSTSUBSCRIPT roman_ℓ , italic_j end_POSTSUBSCRIPT ⟨ italic_ν , bold_k | italic_e start_POSTSUPERSCRIPT - italic_i bold_q ⋅ bold_x start_POSTSUBSCRIPT roman_ℓ italic_j end_POSTSUBSCRIPT end_POSTSUPERSCRIPT over~ start_ARG italic_V end_ARG start_POSTSUBSCRIPT roman_ℓ italic_j end_POSTSUBSCRIPT ( bold_q , bold_v ) | 0 ⟩ (63)

    where \ellroman_ℓ labels the unit cell, j𝑗jitalic_j the ion within the unit cell, and the subscripts on the potential denote the contribution from each lattice site:

    V(𝐱,𝐯)=jVj(𝐱𝐱j,𝐯),𝑉𝐱𝐯subscript𝑗subscript𝑉𝑗𝐱subscript𝐱𝑗𝐯\displaystyle V({\bf x},{\bf v})=\sum_{\ell j}V_{\ell j}({\bf x}-{\bf x}_{\ell j% },{\bf v}),italic_V ( bold_x , bold_v ) = ∑ start_POSTSUBSCRIPT roman_ℓ italic_j end_POSTSUBSCRIPT italic_V start_POSTSUBSCRIPT roman_ℓ italic_j end_POSTSUBSCRIPT ( bold_x - bold_x start_POSTSUBSCRIPT roman_ℓ italic_j end_POSTSUBSCRIPT , bold_v ) , (64)

    with

    V~(𝐪,𝐯)=d3xei𝐪𝐱V(𝐱,𝐯).~𝑉𝐪𝐯superscript𝑑3𝑥superscript𝑒𝑖𝐪𝐱𝑉𝐱𝐯\displaystyle\tilde{V}({\bf q},{\bf v})=\int d^{3}xe^{-i{\bf q}\cdot{\bf x}}V(% {\bf x},{\bf v}).over~ start_ARG italic_V end_ARG ( bold_q , bold_v ) = ∫ italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_x italic_e start_POSTSUPERSCRIPT - italic_i bold_q ⋅ bold_x end_POSTSUPERSCRIPT italic_V ( bold_x , bold_v ) . (65)

    The transition is between the ground state of the material |0ket0|0\rangle| 0 ⟩ and a state with a single collective excitation, labeled by |ν,𝐤ket𝜈𝐤|\nu,{\bf k}\rangle| italic_ν , bold_k ⟩. Below, we will give two examples of how to compute the DM-induced lattice potential. Because in what follows we exclusively utilize the potential in momentum space, we will drop the tilde on V~(𝐪,𝐯)~𝑉𝐪𝐯\tilde{V}({\bf q},{\bf v})over~ start_ARG italic_V end_ARG ( bold_q , bold_v ) for readability.

  3. 3.

    Finally we quantize the lattice potential to compute the matrix element. There are two quanta that are excitations of the lattice potential that we consider.

    • Phonons. Phonons are quanta of lattice displacement 𝐮jsubscript𝐮𝑗{\bf u}_{\ell j}bold_u start_POSTSUBSCRIPT roman_ℓ italic_j end_POSTSUBSCRIPT from the equilibrium ion position at site j𝑗jitalic_j in the \ellroman_ℓth unit cell 𝐱j0superscriptsubscript𝐱𝑗0{\bf x}_{\ell j}^{0}bold_x start_POSTSUBSCRIPT roman_ℓ italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT:

      𝐮j=𝐱j𝐱j0=ν=13n𝐤12Nmjων,k(a^ν,kϵν,𝐤jei𝐤𝐱j0+a^ν,kϵν,𝐤j*ei𝐤𝐱j0),subscript𝐮𝑗subscript𝐱𝑗superscriptsubscript𝐱𝑗0superscriptsubscript𝜈13𝑛subscript𝐤12𝑁subscript𝑚𝑗subscript𝜔𝜈𝑘subscript^𝑎𝜈𝑘subscriptitalic-ϵ𝜈𝐤𝑗superscript𝑒𝑖𝐤superscriptsubscript𝐱𝑗0superscriptsubscript^𝑎𝜈𝑘subscriptsuperscriptitalic-ϵ𝜈𝐤𝑗superscript𝑒𝑖𝐤superscriptsubscript𝐱𝑗0\displaystyle{\bf u}_{\ell j}={\bf x}_{\ell j}-{\bf x}_{\ell j}^{0}=\sum_{\nu=% 1}^{3n}\sum_{\bf k}\frac{1}{\sqrt{2Nm_{j}\omega_{\nu,k}}}\left(\hat{a}_{\nu,k}% {\bf\epsilon}_{\nu,{\bf k}j}e^{i{\bf k}\cdot{\bf x}_{\ell j}^{0}}+\hat{a}_{\nu% ,k}^{\dagger}{\bf\epsilon}^{*}_{\nu,{\bf k}j}e^{-i{\bf k}\cdot{\bf x}_{\ell j}% ^{0}}\right),bold_u start_POSTSUBSCRIPT roman_ℓ italic_j end_POSTSUBSCRIPT = bold_x start_POSTSUBSCRIPT roman_ℓ italic_j end_POSTSUBSCRIPT - bold_x start_POSTSUBSCRIPT roman_ℓ italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT = ∑ start_POSTSUBSCRIPT italic_ν = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 italic_n end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT bold_k end_POSTSUBSCRIPT divide start_ARG 1 end_ARG start_ARG square-root start_ARG 2 italic_N italic_m start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT italic_ν , italic_k end_POSTSUBSCRIPT end_ARG end_ARG ( over^ start_ARG italic_a end_ARG start_POSTSUBSCRIPT italic_ν , italic_k end_POSTSUBSCRIPT italic_ϵ start_POSTSUBSCRIPT italic_ν , bold_k italic_j end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT italic_i bold_k ⋅ bold_x start_POSTSUBSCRIPT roman_ℓ italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT + over^ start_ARG italic_a end_ARG start_POSTSUBSCRIPT italic_ν , italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_ϵ start_POSTSUPERSCRIPT * end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν , bold_k italic_j end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT - italic_i bold_k ⋅ bold_x start_POSTSUBSCRIPT roman_ℓ italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ) , (66)

      where N𝑁Nitalic_N is the number of cells in the lattice, mjsubscript𝑚𝑗m_{j}italic_m start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT is the mass of the ion at the j𝑗jitalic_jth site, and we have added subscripts on the energy deposition ων,𝐤subscript𝜔𝜈𝐤\omega_{\nu,{\bf k}}italic_ω start_POSTSUBSCRIPT italic_ν , bold_k end_POSTSUBSCRIPT (where the momentum 𝐤𝐤{\bf k}bold_k is in the first Brillouin zone) to emphasize that the energy deposition must correspond to the energy of one of the eigenfrequencies of the collective excitations. Since the matrix element we seek to compute involves the potential Eq. (65) with a factor of ei𝐪𝐱jsuperscript𝑒𝑖𝐪subscript𝐱𝑗e^{i{\bf q}\cdot{\bf x}_{\ell j}}italic_e start_POSTSUPERSCRIPT italic_i bold_q ⋅ bold_x start_POSTSUBSCRIPT roman_ℓ italic_j end_POSTSUBSCRIPT end_POSTSUPERSCRIPT, the matrix element must be evaluated via Campbell-Baker-Hausdorff (CBH) to give

      ν,𝐤|ei𝐪𝐱jVj(𝐪,𝐯)|0=1Vν,𝐤,j[Vj(𝐪,𝐯)ei(𝐪𝐤)𝐱j0]eWj(𝐪)(𝐪ϵν,𝐤,j*)2mjων,𝐤,quantum-operator-product𝜈𝐤superscript𝑒𝑖𝐪subscript𝐱𝑗subscript𝑉𝑗𝐪𝐯01𝑉subscript𝜈𝐤𝑗delimited-[]subscriptsubscript𝑉𝑗𝐪𝐯superscript𝑒𝑖𝐪𝐤superscriptsubscript𝐱𝑗0superscript𝑒subscript𝑊𝑗𝐪𝐪subscriptsuperscriptitalic-ϵ𝜈𝐤𝑗2subscript𝑚𝑗subscript𝜔𝜈𝐤\displaystyle\langle\nu,{\bf k}|e^{-i{\bf q}\cdot{\bf x}_{\ell j}}V_{\ell j}({% \bf q},{\bf v})|0\rangle=\frac{1}{\sqrt{V}}\sum_{\nu,{\bf k},j}\left[\sum_{% \ell}V_{\ell j}({\bf q},{\bf v})e^{i({\bf q}-{\bf k})\cdot{\bf x}_{\ell j}^{0}% }\right]\frac{e^{-W_{j}}({\bf q})({\bf q}\cdot{\bf\epsilon}^{*}_{\nu,{\bf k},j% })}{\sqrt{2m_{j}\omega_{\nu,{\bf k}}}},⟨ italic_ν , bold_k | italic_e start_POSTSUPERSCRIPT - italic_i bold_q ⋅ bold_x start_POSTSUBSCRIPT roman_ℓ italic_j end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_V start_POSTSUBSCRIPT roman_ℓ italic_j end_POSTSUBSCRIPT ( bold_q , bold_v ) | 0 ⟩ = divide start_ARG 1 end_ARG start_ARG square-root start_ARG italic_V end_ARG end_ARG ∑ start_POSTSUBSCRIPT italic_ν , bold_k , italic_j end_POSTSUBSCRIPT [ ∑ start_POSTSUBSCRIPT roman_ℓ end_POSTSUBSCRIPT italic_V start_POSTSUBSCRIPT roman_ℓ italic_j end_POSTSUBSCRIPT ( bold_q , bold_v ) italic_e start_POSTSUPERSCRIPT italic_i ( bold_q - bold_k ) ⋅ bold_x start_POSTSUBSCRIPT roman_ℓ italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ] divide start_ARG italic_e start_POSTSUPERSCRIPT - italic_W start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ( bold_q ) ( bold_q ⋅ italic_ϵ start_POSTSUPERSCRIPT * end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν , bold_k , italic_j end_POSTSUBSCRIPT ) end_ARG start_ARG square-root start_ARG 2 italic_m start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT italic_ν , bold_k end_POSTSUBSCRIPT end_ARG end_ARG ,

      where Debye-Waller factor Wjsubscript𝑊𝑗W_{j}italic_W start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT is derived here from the application of CBH (the derivation can be found in Ref. [63]). The task is then to evaluate the lattice potential, Vj(𝐪,𝐯)subscript𝑉𝑗𝐪𝐯V_{\ell j}({\bf q},{\bf v})italic_V start_POSTSUBSCRIPT roman_ℓ italic_j end_POSTSUBSCRIPT ( bold_q , bold_v ). This depends on the nature of the interaction. Utilizing an example from Ref. [77], involving four different types of responses, a lattice potential may take the form:

      Vlj(𝐪,𝐯)absentsubscript𝑉𝑙𝑗𝐪𝐯\displaystyle V_{lj}({\bf q},{\bf v})\supsetitalic_V start_POSTSUBSCRIPT italic_l italic_j end_POSTSUBSCRIPT ( bold_q , bold_v ) ⊃ αsubscript𝛼\displaystyle\sum_{\alpha}∑ start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT [c1ei𝐪𝐱αlj+c4𝐒χei𝐪𝐱α𝐒αlj\displaystyle\left[c_{1}\langle e^{i{\bf q}\cdot{\bf x}_{\alpha}}\rangle_{lj}+% c_{4}{\bf S}_{\chi}\cdot\langle e^{i{\bf q}\cdot{\bf x}_{\alpha}}{\bf S}_{% \alpha}\rangle_{lj}\right.[ italic_c start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ⟨ italic_e start_POSTSUPERSCRIPT italic_i bold_q ⋅ bold_x start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ⟩ start_POSTSUBSCRIPT italic_l italic_j end_POSTSUBSCRIPT + italic_c start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT bold_S start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ⋅ ⟨ italic_e start_POSTSUPERSCRIPT italic_i bold_q ⋅ bold_x start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT end_POSTSUPERSCRIPT bold_S start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ⟩ start_POSTSUBSCRIPT italic_l italic_j end_POSTSUBSCRIPT
      +c8b𝐒χei𝐪𝐱α𝐯αlj+c3bi𝐪mψei𝐪𝐱α𝐯α×𝐒αlj].\displaystyle\left.+c_{8b}{\bf S}_{\chi}\cdot\langle e^{i{\bf q}\cdot{\bf x}_{% \alpha}}{\bf v}_{\alpha}\rangle_{lj}+c_{3b}\frac{i{\bf q}}{m_{\psi}}\cdot% \langle e^{i{\bf q}\cdot{\bf x}_{\alpha}}{\bf v}_{\alpha}\times{\bf S}_{\alpha% }\rangle_{lj}\right].+ italic_c start_POSTSUBSCRIPT 8 italic_b end_POSTSUBSCRIPT bold_S start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ⋅ ⟨ italic_e start_POSTSUPERSCRIPT italic_i bold_q ⋅ bold_x start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT end_POSTSUPERSCRIPT bold_v start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ⟩ start_POSTSUBSCRIPT italic_l italic_j end_POSTSUBSCRIPT + italic_c start_POSTSUBSCRIPT 3 italic_b end_POSTSUBSCRIPT divide start_ARG italic_i bold_q end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT end_ARG ⋅ ⟨ italic_e start_POSTSUPERSCRIPT italic_i bold_q ⋅ bold_x start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT end_POSTSUPERSCRIPT bold_v start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT × bold_S start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ⟩ start_POSTSUBSCRIPT italic_l italic_j end_POSTSUBSCRIPT ] .

      A spin-independent interaction requires one to evaluate the matrix element

      αei𝐪𝐱αjNψjsimilar-to-or-equalssubscript𝛼subscriptdelimited-⟨⟩superscript𝑒𝑖𝐪subscript𝐱𝛼𝑗subscriptdelimited-⟨⟩subscript𝑁𝜓𝑗\displaystyle\sum_{\alpha}\langle e^{i{\bf q}\cdot{\bf x}_{\alpha}}\rangle_{% \ell j}\simeq\langle N_{\psi}\rangle_{\ell j}∑ start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ⟨ italic_e start_POSTSUPERSCRIPT italic_i bold_q ⋅ bold_x start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ⟩ start_POSTSUBSCRIPT roman_ℓ italic_j end_POSTSUBSCRIPT ≃ ⟨ italic_N start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT ⟩ start_POSTSUBSCRIPT roman_ℓ italic_j end_POSTSUBSCRIPT (68)

      where α𝛼\alphaitalic_α runs over fermions of type ψ=p,n,e𝜓𝑝𝑛𝑒\psi=p,\leavevmode\nobreak\ n,\leavevmode\nobreak\ eitalic_ψ = italic_p , italic_n , italic_e. Likewise, a spin-dependent interaction requires one to evaluate

      αei𝐪𝐱α𝐒ψ,αj𝐒ψj.similar-to-or-equalssubscript𝛼subscriptdelimited-⟨⟩superscript𝑒𝑖𝐪subscript𝐱𝛼subscript𝐒𝜓𝛼𝑗subscriptdelimited-⟨⟩subscript𝐒𝜓𝑗\displaystyle\sum_{\alpha}\langle e^{i{\bf q}\cdot{\bf x}_{\alpha}}{\bf S}_{% \psi,\alpha}\rangle_{\ell j}\simeq\langle{\bf S}_{\psi}\rangle_{\ell j}.∑ start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ⟨ italic_e start_POSTSUPERSCRIPT italic_i bold_q ⋅ bold_x start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT end_POSTSUPERSCRIPT bold_S start_POSTSUBSCRIPT italic_ψ , italic_α end_POSTSUBSCRIPT ⟩ start_POSTSUBSCRIPT roman_ℓ italic_j end_POSTSUBSCRIPT ≃ ⟨ bold_S start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT ⟩ start_POSTSUBSCRIPT roman_ℓ italic_j end_POSTSUBSCRIPT . (69)

      Coupling to electric and magnetic dipoles, as well as the anapole operator, involve the velocity 𝐯ψ,α=i2mψsubscript𝐯𝜓𝛼𝑖2subscript𝑚𝜓{\bf v}_{\psi,\alpha}=-\frac{i}{2m_{\psi}}\overleftrightarrow{\nabla}bold_v start_POSTSUBSCRIPT italic_ψ , italic_α end_POSTSUBSCRIPT = - divide start_ARG italic_i end_ARG start_ARG 2 italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT end_ARG over↔ start_ARG ∇ end_ARG and one must evaluate the expectation value

      αei𝐪𝐱α𝐯ψ,αji(𝐪𝐱α)𝐯ψ,αj,similar-to-or-equalssubscript𝛼subscriptdelimited-⟨⟩superscript𝑒𝑖𝐪subscript𝐱𝛼subscript𝐯𝜓𝛼𝑗𝑖subscriptdelimited-⟨⟩𝐪subscript𝐱𝛼subscript𝐯𝜓𝛼𝑗\displaystyle\sum_{\alpha}\langle e^{i{\bf q}\cdot{\bf x}_{\alpha}}{\bf v}_{% \psi,\alpha}\rangle_{\ell j}\simeq i\langle({\bf q}\cdot{\bf x}_{\alpha}){\bf v% }_{\psi,\alpha}\rangle_{\ell j},∑ start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ⟨ italic_e start_POSTSUPERSCRIPT italic_i bold_q ⋅ bold_x start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT end_POSTSUPERSCRIPT bold_v start_POSTSUBSCRIPT italic_ψ , italic_α end_POSTSUBSCRIPT ⟩ start_POSTSUBSCRIPT roman_ℓ italic_j end_POSTSUBSCRIPT ≃ italic_i ⟨ ( bold_q ⋅ bold_x start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ) bold_v start_POSTSUBSCRIPT italic_ψ , italic_α end_POSTSUBSCRIPT ⟩ start_POSTSUBSCRIPT roman_ℓ italic_j end_POSTSUBSCRIPT , (70)

      which becomes

      xαivψ,αkj=i2mψxiαkxkαij=12mψϵikkLαkj,subscriptdelimited-⟨⟩subscriptsuperscript𝑥𝑖𝛼superscriptsubscript𝑣𝜓𝛼𝑘𝑗𝑖2subscript𝑚𝜓subscriptdelimited-⟨⟩superscript𝑥𝑖superscriptsubscript𝛼𝑘superscript𝑥𝑘superscriptsubscript𝛼𝑖𝑗12subscript𝑚𝜓subscriptitalic-ϵ𝑖𝑘superscript𝑘subscriptdelimited-⟨⟩superscriptsubscript𝐿𝛼superscript𝑘𝑗\displaystyle\langle x^{i}_{\alpha}v_{\psi,\alpha}^{k}\rangle_{\ell j}=-\frac{% i}{2m_{\psi}}\langle x^{i}{\bf\nabla}_{\alpha}^{k}-x^{k}{\bf\nabla}_{\alpha}^{% i}\rangle_{\ell j}=\frac{1}{2m_{\psi}}\epsilon_{ikk^{\prime}}\langle L_{\alpha% }^{k^{\prime}}\rangle_{\ell j},⟨ italic_x start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT italic_v start_POSTSUBSCRIPT italic_ψ , italic_α end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT ⟩ start_POSTSUBSCRIPT roman_ℓ italic_j end_POSTSUBSCRIPT = - divide start_ARG italic_i end_ARG start_ARG 2 italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT end_ARG ⟨ italic_x start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT ∇ start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT - italic_x start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT ∇ start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT ⟩ start_POSTSUBSCRIPT roman_ℓ italic_j end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG 2 italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT end_ARG italic_ϵ start_POSTSUBSCRIPT italic_i italic_k italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ⟨ italic_L start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ⟩ start_POSTSUBSCRIPT roman_ℓ italic_j end_POSTSUBSCRIPT , (71)

      where L𝐿Litalic_L is an angular momentum operator. Overall, one finds, in the long-wavelength limit, that there are four types of responses:

      N,S,L,LS,𝑁𝑆𝐿tensor-product𝐿𝑆\displaystyle N,\leavevmode\nobreak\ \leavevmode\nobreak\ S,\leavevmode% \nobreak\ \leavevmode\nobreak\ L,\leavevmode\nobreak\ \leavevmode\nobreak\ L% \otimes S,italic_N , italic_S , italic_L , italic_L ⊗ italic_S , (72)

      where we have not written out the decomposition of the last operator because it does not commonly appear in Lorentz-invariant UV-completions.

    • Magnons. Magnons are quanta of spin precession. Here, the relevant matrix element is

      ν,𝐤|V(𝐪,𝐯)|0=,jei𝐪𝐱j𝐟j(𝐪,𝐯)ν,𝐤|𝐒j|0,quantum-operator-product𝜈𝐤𝑉𝐪𝐯0subscript𝑗superscript𝑒𝑖𝐪subscript𝐱𝑗subscript𝐟𝑗𝐪𝐯quantum-operator-product𝜈𝐤subscript𝐒𝑗0\displaystyle\langle\nu,{\bf k}|V({\bf q},{\bf v})|0\rangle=\sum_{\ell,j}e^{i{% \bf q}\cdot{\bf x}_{\ell j}}{\bf f}_{j}({\bf q},{\bf v})\cdot\langle\nu,{\bf k% }|{\bf S}_{\ell j}|0\rangle,⟨ italic_ν , bold_k | italic_V ( bold_q , bold_v ) | 0 ⟩ = ∑ start_POSTSUBSCRIPT roman_ℓ , italic_j end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT italic_i bold_q ⋅ bold_x start_POSTSUBSCRIPT roman_ℓ italic_j end_POSTSUBSCRIPT end_POSTSUPERSCRIPT bold_f start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ( bold_q , bold_v ) ⋅ ⟨ italic_ν , bold_k | bold_S start_POSTSUBSCRIPT roman_ℓ italic_j end_POSTSUBSCRIPT | 0 ⟩ , (73)

      where 𝐟jsubscript𝐟𝑗{\bf f}_{j}bold_f start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT is dependent on the interaction type and 𝐒jsubscript𝐒𝑗{\bf S}_{\ell j}bold_S start_POSTSUBSCRIPT roman_ℓ italic_j end_POSTSUBSCRIPT are the ion effective spins which can come both from electronic spin and orbital angular momentum; see Refs. [77, 71] for details. This shows that one needs a net spin on each unit cell in order to excite a response.

The rate is then computed from Fermi’s Golden Rule, Eq. (38), which in the case at hand becomes

Γ(𝐯)=d3q(2π)3ν,𝐤|,jν,𝐤|ei𝐪𝐱jVj(𝐪,𝐯)|0|22πδ(EfEiω).Γ𝐯superscript𝑑3𝑞superscript2𝜋3subscript𝜈𝐤superscriptsubscript𝑗quantum-operator-product𝜈𝐤superscript𝑒𝑖𝐪subscript𝐱𝑗subscript𝑉𝑗𝐪𝐯022𝜋𝛿subscript𝐸𝑓subscript𝐸𝑖𝜔\displaystyle\Gamma({\bf v})=\int\frac{d^{3}q}{(2\pi)^{3}}\sum_{\nu,{\bf k}}% \left|\sum_{\ell,j}\langle\nu,{\bf k}|e^{-i{\bf q}\cdot{\bf x}_{\ell j}}V_{% \ell j}({\bf q},{\bf v})|0\rangle\right|^{2}2\pi\delta(E_{f}-E_{i}-\omega).roman_Γ ( bold_v ) = ∫ divide start_ARG italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_q end_ARG start_ARG ( 2 italic_π ) start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG ∑ start_POSTSUBSCRIPT italic_ν , bold_k end_POSTSUBSCRIPT | ∑ start_POSTSUBSCRIPT roman_ℓ , italic_j end_POSTSUBSCRIPT ⟨ italic_ν , bold_k | italic_e start_POSTSUPERSCRIPT - italic_i bold_q ⋅ bold_x start_POSTSUBSCRIPT roman_ℓ italic_j end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_V start_POSTSUBSCRIPT roman_ℓ italic_j end_POSTSUBSCRIPT ( bold_q , bold_v ) | 0 ⟩ | 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_ω ) . (74)

VI.2 Target Response to Dark Matter Absorption

In this subsection, we discuss DM absorption in materials, focusing on the case of vector DM and pseudoscalar (axion) DM. For the case of absorption, the energy absorbed is simply the mass, ω=mχ𝜔subscript𝑚𝜒\omega=m_{\chi}italic_ω = italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT, which is much greater than the momentum, q=mχv𝑞subscript𝑚𝜒𝑣q=m_{\chi}vitalic_q = italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT italic_v, ωqmuch-greater-than𝜔𝑞\omega\gg qitalic_ω ≫ italic_q. This implies one of two possibilities to kinematically allow for DM abosrption:

  1. 1.

    an inelastic transition in the target material, implying the presence of a gapped mode having ωq0subscript𝜔𝑞0\omega_{q}\neq 0italic_ω start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT ≠ 0 as q0𝑞0q\rightarrow 0italic_q → 0;

  2. 2.

    an absorption process with two excitations in the final state, where the momentum of the two excitations cancels (to high precision) while the sum of their energies equals mχsubscript𝑚𝜒m_{\chi}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT.

It has long been appreciated that new particles, produced in the sun, can be absorbed on target materials via inelastic transitions [99, 100], such as valence electrons in semiconductors making a valence to conduction band transition. More recently, these ideas were applied to vector axion DM absorption on electrons in Xenon [101, 102]. The absorption rate can be related to the complex conductivity via the optical theorem

Γγ=ImΠ(ω)ω,subscriptΓ𝛾ImΠ𝜔𝜔\displaystyle\Gamma_{\gamma}=-\frac{\mbox{Im}\Pi(\omega)}{\omega},roman_Γ start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT = - divide start_ARG Im roman_Π ( italic_ω ) end_ARG start_ARG italic_ω end_ARG , (75)

where ΠΠ\Piroman_Π is related to the complex conductivity σ^(ω)^𝜎𝜔\hat{\sigma}(\omega)over^ start_ARG italic_σ end_ARG ( italic_ω )

Π(ω)iσ^ω,Π𝜔𝑖^𝜎𝜔\displaystyle\Pi(\omega)\approx-i\hat{\sigma}\omega,roman_Π ( italic_ω ) ≈ - italic_i over^ start_ARG italic_σ end_ARG italic_ω , (76)

with ΠΠ\Piroman_Π having transverse and longitudinal polarizations as in Eq. 59. Since |𝐪|ωmuch-less-than𝐪𝜔|{\bf q}|\ll\omega| bold_q | ≪ italic_ω, ΠL=ΠTΠsubscriptΠ𝐿subscriptΠ𝑇similar-to-or-equalsΠ\Pi_{L}=\Pi_{T}\simeq\Piroman_Π start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT = roman_Π start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT ≃ roman_Π. The dark photon absorption rate, per unit target mass, given by

ΓA=1ρTρχmχϵeff2Γγ,subscriptΓsuperscript𝐴1subscript𝜌𝑇subscript𝜌𝜒subscript𝑚𝜒superscriptsubscriptitalic-ϵeff2subscriptΓ𝛾\displaystyle\Gamma_{A^{\prime}}=\frac{1}{\rho_{T}}\frac{\rho_{\chi}}{m_{\chi}% }\epsilon_{\rm eff}^{2}\Gamma_{\gamma},roman_Γ start_POSTSUBSCRIPT italic_A start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT = 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_ϵ start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Γ start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT , (77)

with ϵeffsubscriptitalic-ϵeff\epsilon_{\rm eff}italic_ϵ start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT (for an isotropic non-magnetic medium) given by Eq. 59. For an anisotropic material, the absorption rate, per unit target mass, is [98]

R=13ρχρTi=13ϵeff,i2Imπi(q)mA2,𝑅13subscript𝜌𝜒subscript𝜌𝑇superscriptsubscript𝑖13superscriptsubscriptitalic-ϵeffi2Imsubscript𝜋𝑖𝑞superscriptsubscript𝑚superscript𝐴2\displaystyle R=-\frac{1}{3}\frac{\rho_{\chi}}{\rho_{T}}\sum_{i=1}^{3}\epsilon% _{\rm eff,i}^{2}\frac{\mbox{Im}\pi_{i}(q)}{m_{A^{\prime}}^{2}},italic_R = - divide start_ARG 1 end_ARG start_ARG 3 end_ARG divide start_ARG italic_ρ start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG start_ARG italic_ρ start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT end_ARG ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_ϵ start_POSTSUBSCRIPT roman_eff , roman_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT divide start_ARG Im italic_π start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( italic_q ) end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_A start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , (78)

where πisubscript𝜋𝑖\pi_{i}italic_π start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT are the eigenvalues of the polarization tensor.

The axion absorption rate on electrons can be extracted from Eq. 75 by using the relation with the photon absorption rate [103]:

||23(gaee/2me)2(ma/e)2|γ|2.superscript23superscriptsubscript𝑔𝑎𝑒𝑒2subscript𝑚𝑒2superscriptsubscript𝑚𝑎𝑒2superscriptsubscript𝛾2\displaystyle|{\cal M}|^{2}\approx 3(g_{aee}/2m_{e})^{2}(m_{a}/e)^{2}|{\cal M}% _{\gamma}|^{2}.| caligraphic_M | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ≈ 3 ( italic_g start_POSTSUBSCRIPT italic_a italic_e italic_e end_POSTSUBSCRIPT / 2 italic_m start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_m start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT / italic_e ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | caligraphic_M start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT . (79)

Axions can also be absorbed on gapped optical phonons [89]. These modes, similar to electrons in a semiconductor, have a gap at zero momentum transfer, as shown in Fig. 5. Unlike the case of absorption on electrons, where one can make use of the direct axion electron coupling, the interaction goes via the mixing of the phonon with the photon (known as the phonon-polariton), in the presence of an external B𝐵Bitalic_B-field.

In the second process enumerated above, two modes recoil against each other. In this case, the momentum can be conserved by a cancellation between the two outgoing modes; this cancellation is necessary for acoustic phonons because, for a fixed energy deposition, they have a large amount of momentum in comparison to the DM momentum due to the small speed of sound in comparison to the DM velocity, csvχmuch-less-thansubscript𝑐𝑠subscript𝑣𝜒c_{s}\ll v_{\chi}italic_c start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ≪ italic_v start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT:

qph=ωcsωvχ.subscript𝑞ph𝜔subscript𝑐𝑠much-greater-than𝜔subscript𝑣𝜒\displaystyle q_{\rm ph}=\frac{\omega}{c_{s}}\gg\frac{\omega}{v_{\chi}}.italic_q start_POSTSUBSCRIPT roman_ph end_POSTSUBSCRIPT = divide start_ARG italic_ω end_ARG start_ARG italic_c start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG ≫ divide start_ARG italic_ω end_ARG start_ARG italic_v start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG . (80)

For example, bosonic DM can be absorbed on free electrons in superconductors by emitting a phonon [104], on two gapless phonons in superfluid helium [92], or on a photon and phonon [105]. All become kinematically possible because of the back-to-back recoil of the two final state excitations. Note that in the cases where only one excitation is produced (e.g. electron or optical phonon excitation in semiconductors), momentum is conserved by recoil against the lattice.

A summary plot comparing the reach of axion and dark photon absorption on electrons in semiconductors and superconductors, and on phonon-polaritons in polar crystals, is shown in Fig. 6.

Refer to caption
Refer to caption
Figure 6: Upper: Reach to axion (left) and vector (right) DM via their electron (left) or kinetic mixing (right) coupling to the target material, for 1 kg-year exposure. Figures reproduced from Ref. [74]. Lower: Reach to axion DM by absorption on phonon-polaritons in a 1T external magnetic field. Figure reproduced from Ref. [89].

Here, we have chosen to restrict ourselves to particular models whose absorption rate can be simply related to photon interaction rates. One can also pursue an EFT framework for absorption on both electrons [74, 106] and collective modes (phonons [88] and magnons [71]). We direct the reader to these references for further details on more general types of interactions, including DM absorption via electric and magnetic dipoles.

VII Conclusions

We have reviewed the development of theories of particle DM of a very low mass, below the traditional WIMP window of 10similar-toabsent10\sim 10∼ 10 GeV but above the mass 1similar-toabsent1\sim 1∼ 1 eV where DM becomes wavelike (e.g. axions). Such models are motivated by hidden sector theories, and have rich cosmological and astrophysical dynamics, from self-interactions to impacts on stellar evolution and observational consequences in collider experiments. We have reviewed the astrophysical, cosmological and collider constraints most directly relevant for the model space in terrestrial direct detection experiments.

While 15 years ago, direct detection experiments could not reach the sub-GeV DM mass window, the proposal of hidden sector DM led to an explosion of ideas for direct detection experiments. A subsequent push, in the last 5-10 years, to realize these experiments with research and development gave rise to funded experiments that are actively reaching new theory space. At the present moment, these experimental efforts have not yet covered the best-motivated candidates, such as asymmetric DM, thermal freeze-out DM and DM produced through freeze-in. As these new experiments come to fruition and push to lower cross-sections with better handles on backgrounds and systematic uncertainties, we look forward to the possible uncovering of the Universe’s dark side.

Acknowledgements.
I thank Yufeng Du, Osmond Wen, Zhengkang Zhang, and especially Clara Murgui and Tanner Trickle for a careful reading of the manuscript. This work was supported by the U.S. Department of Energy, Office of Science, Quantum Information Science Enabled Discovery (QuantISED) for High Energy Physics (KA2401032), by the Office of High Energy Physics under Award Number DE-SC0011632, by a Simons Investigator Award, and by the Walter Burke Institute for Theoretical Physics.

References