Introduction

Resolving the nature of the dark matter (DM) is one of the most fundamental questions in modern physics1. Although particle DM at the electroweak scale is a highly motivated solution2, no discovery of such DM was made to date, directly3,4,5, indirectly6, or at the Large Hadron Collider7. Another intriguing possibility is that of a cold, ultralight, DM field, coherently oscillating to account for the observed DM density. We consider a class of models where a light scalar particle composes the DM. A well-motivated example is the relaxion, where even a minimal model that addresses the hierarchy problem8 may lead to the right relic abundance in a manner similar to axion models, however geared with a dynamical misalignment mechanism9 for relaxion masses roughly above \({m}_{\phi }\,\gtrsim\,1{0}^{-11}\, {\mathrm{eV}}\). Due to spontaneous Charge-Parity (CP) violation, the relaxion mixes with the Higgs, and, as a result, acquires both pseudoscalar and scalar couplings to the Standard Model (SM) fields10,11 (this effect could be suppressed in particle-production-based models12). The latter distinguishes the relaxion from axion DM, which has only pseudoscalar couplings, and where the same property of generation of CP violation was shown to lead to a solution of the strong CP problem13 as well as potentially generating the cosmological baryon asymmetry14.

A striking consequence of the relaxion-Higgs mixing is that, as the relaxion forms a classical oscillating DM background, all basic constants of nature effectively vary with time since they all depend on the Higgs vacuum expectation value9. For earlier discussion in the context of dilaton DM, see refs. 15,16,17. There are active experimental efforts searching for this form of scalar DM (e.g. refs. 18,19,20,21,22,23,24). Despite the unprecedented accuracy achieved by the various searches, none of the current experiments reach the sensitivity required to probe physically motivated models. Furthermore, the resulting sensitivity in the region of our main interest, characterized by oscillation frequencies above the Hz level, is weaker than that of the probes related to fifth-force searches and equivalence-principle tests (see e.g. refs. 10,15,16,17,20,21,24,25,26,27).

In this paper, we demonstrate that if the scalar DM forms a self-gravitating compact object, usually known as a “boson star”, its density would be higher than that of the local DM density, resulting in enhanced signals for table-top detectors, among others. Furthermore, we raise the possibility that these objects may be trapped by the gravitational potential of the Earth or the Sun. This leads to formation of a “relaxion halo” with a much larger density, compared to that of local DM. We discuss several implications and also detection strategies that are presented below. We work in natural units, where \(\hslash =c=1\).

Our results show that if light scalars like relaxions exist in self-gravitating configurations, they can be probed through transient encounters with the Earth only in the mass range of roughly \({m}_{\phi }\,\gtrsim\,4\times 1{0}^{-8}\,{\mathrm{{eV}}}\); at smaller relaxion masses, either the encounter rate is much lower than 1 yr−1, or the density of the self-gravitating object is lower than the background DM density. In such cases, current experiments are unlikely to gain from the encounter of a relaxion object. However, over a wide range of masses \(1{0}^{-16}\, {\mathrm{{eV}}}\)\(\,\lesssim\,{m}_{\phi }\,\lesssim\,1{0}^{-8}\, {\mathrm{{eV}}}\), we also show that if a large density of relaxion field becomes bound to the Earth or Sun, existing experiments can see great improvements in sensitivity and potentially probe an extended parameter space of physical models.

Results

Coherent DM background

For concreteness, among all possible relaxion couplings to SM particles, we focus on the following interactions:

$${\mathcal{L}}\supset {g}_{e}\phi \ \overline{e}\ e+\frac{{g}_{\gamma }}{4}\phi \ {F}_{\mu \nu }{F}^{\mu \nu },$$
(1)

where \(\phi\) is the scalar DM field, \(e\) is the electron field, and \({F}^{\mu \nu }\) is the electromagnetic field strength. The oscillation of the scalar field induces an oscillation in the electron mass, \({m}_{{e}}\), and the fine structure constant, \(\alpha\), with frequency \(\omega \approx {m}_{\phi }\). For this reason, atomic precision measurements looking for variation of fundamental constants can probe models of scalar-field DM. For the following discussion, we take a phenomenological approach and consider \({g}_{e}\) and \({g}_{\gamma }\) as independent parameters (see refs. 28,29 for possible microscopic origins of these couplings).

A concrete instantiation of this scenario is the relaxion, which has a potential of the form8,9,10

$$V(H,\phi )=\left({\Lambda }^{2}-g\ \Lambda \ \phi \right){\left|H\right|}^{2}-c\ g\ {\Lambda }^{3}\ \phi -\frac{{\Lambda }_{{\mathrm{br}}}^{4}}{{v}^{2}}{\left|H\right|}^{2}\ \cos \frac{\phi }{f},$$
(2)

where \(\Lambda\) is the cutoff scale for the Higgs mass, \(g \sim {\Lambda}_{{\rm{br}}}^{4}/f\ {\Lambda}^{3}\) is a dimensionless coupling parameter, \(c\) is an \({\mathcal{O}}(1)\) coefficient, \({\Lambda }_{{\mathrm{br}}}\) is the backreaction scale, and \(v\) is the electroweak scale. In this proposal, the rolling of the field \(\phi\) due to the linear term dynamically scans the Higgs mass parameter, until eventually the backreaction potential stops the rolling when \({\langle} H{\rangle} ={\mathcal{O}}(v)\), solving the electroweak hierarchy problem8. It was shown recently that with minimal additional assumption about the inflation sector, such a relaxion naturally makes a viable DM candidate9. The DM energy density is generated by the misalignment mechanism after the rolling stops, from coherent oscillations of the field around its minimum generated during reheating. The model dependence can be simplified by parameterizing the theory in terms of \({T}_{{\mathrm{ra}}}\), the temperature at which the backreaction potential reappears after reheating.

For the relaxion model (or other Higgs portal-like theories), scalar couplings to matter are generated by mixing with the Higgs10,11, and so can be parameterized by a mixing angle \(\sin \theta\); for the couplings of Eq. (1), one has \({g}_{e}={y}_{e}\ \sin \theta\) and \({g}_{\gamma } \sim (\alpha /4\pi v)\ \sin \theta\), where \({y}_{e}\) is the Higgs Yukawa coupling to the electron. By generic naturalness arguments, one may additionally require \({g}_{e}\,\lesssim\,4\pi {m}_{\phi }/\Lambda\). We will use this model as a benchmark for comparison, though our conclusions will hold more generally for many forms of light scalar DM.

To investigate whether the variation of fundamental constants induced by the \(\phi\)-oscillation is measurable, we must compute variations of fundamental constants in terms of the model parameters,

$$\frac{{\delta} m_{e}}{{\langle} m_{e}{\rangle} }=\frac{{g}_{e}\phi }{{\langle} m_{e}{\rangle} },\qquad \frac{{\delta} \alpha }{\alpha }={g}_{\gamma }\phi,$$
(3)

where \({\langle} m_{e}{\rangle}\) corresponds to the time-averaged electron mass (see Discussion in refs. 21,30). Given the experimental sensitivity to \({{\delta}} m_{e}{/}{\langle} m_{e}{\rangle}\) and \({{\delta}} \alpha {/}\alpha\), and also the amplitude of the \(\phi\)-oscillation in a given model, we can estimate the sensitivity to \({g}_{e}\) and \({g}_{\gamma }\).

For a light scalar field with \({m}_{\phi }\,\gtrsim\,1{0}^{-10}\,{\mathrm{{eV}}}\), there has been in a blind spot for experimental measurements of time variations of fundamental constants (see ref. 17 for a recent review). In ref. 21, using dynamical decoupling with trapped ions resulted in a bound on scalar particle masses in the range \({m}_{\phi } \sim 1{0}^{-11} - 1{0}^{-10}\, {\mathrm{{eV}}}\) (roughly 1–10 kHz oscillation frequency) with an accuracy of \(1 : 1{0}^{13-14}\) for both \({{\delta}} m_{e}/{\langle} m_{e}{\rangle}\) and \({{\delta}} \alpha /\alpha\). The bound was obtained via atom-cavity comparison31, where for \({{\delta}} m_{e}/{\langle} m_{e}{\rangle}\), this method can only be effectively used for frequencies \(\gtrsim 10\, {\mathrm{{kHz}}}\)20. These bounds can be improved by roughly two orders of magnitude and can cover the range up to 10 MHz. A broader range of masses corresponding to frequencies up to 100 MHz can be covered using conventional Doppler-free techniques such as polarization spectroscopy, using optical transitions in atoms and molecules contained in vapor cells. Assuming 1 year total of interrogation time can effectively bring the sensitivity to roughly 1:1018 (ref. 32).

At smaller masses \({m}_{\phi }\,\lesssim\,1{0}^{-13}\, {\mathrm{{eV}}}\), the best bounds on \({{\delta}} m_{e}/{\langle} m_{e}{\rangle}\) arise from atomic-clock comparisons between hyperfine and optical transitions, which have a relative projected accuracy of roughly \(1 : 1{0}^{16}\) where the hyperfine clock uncertainty is saturated (see, for example, ref. 33). As for \({{\delta}} \alpha /\alpha\), different atomic-clock comparisons34 as well as measurements of special “forbidden” transitions in highly charged ions to optical transitions can reach accuracies of roughly 1:1018–19 (refs. 35,36).

If this scalar coherent oscillation corresponds to DM in our local neighborhood, the amplitude is fixed. It is given, within a coherent patch, as (see e.g. refs. 15,25)

$$\phi (t)=\frac{\sqrt{2{\rho }_{{\mathrm{local}}}}}{{m}_{\phi }}\sin ({m}_{\phi }t)=3 \, \times\,1{0}^{-3}\ {\mathrm{eV}} \, \times \, \left(\frac{1\ {\mathrm{eV}}}{{m}_{\phi }}\right)\sin ({m}_{\phi }t),$$
(4)

where we take \({\rho }_{{\mathrm{local}}}=0.4\ \, {\mathrm{GeV}}/{{\mathrm{cm}}}^{3}\) as the local DM density. Various theoretical and experimental efforts have been put forward to probe effective variation of fundamental constants induced by a coherently oscillating background DM field. As it can be seen from Eq. (4), the effect is strongest when the mass is the lightest, \({m}_{\phi }\simeq 1{0}^{-21}\, {\mathrm{eV}}\), which is marginally allowed by the observation of large-scale structures of the universe37,38 or measured rotational velocities in galaxies39. Substituting this expression to Eq. (3), one can compute the variation of fundamental constants, but the resulting effect is small; in the range \({m}_{\phi }\,\gtrsim\,1{0}^{-15}\,{\mathrm{{eV}}}\), the sensitivity estimates discussed above suggest it is difficult to compete with the bounds that arise from fifth-force experiments18,19,24. At smaller masses \(1{0}^{-21}\, {\mathrm{eV}}\le {m}_{\phi }\le 1{0}^{-15}\, {\mathrm{eV}}\), atomic-clock comparison tests (see e.g. ref. 17 and references therein) can compete with or be stronger than fifth-force constraints, though this range does not overlap with the region of relaxion DM models9.

Relaxion stars

In this section, we consider the case where the scalar DM forms a bound state with much larger density compared to background DM, due to its own self-gravity and self-interactions. These are typically known as boson stars or axion stars (or in the more specific case, relaxion stars). Here, we investigate whether atomic precision measurements can probe the existence of such compact objects when they pass through the Earth. A boson star is described by a classical scalar field, oscillating coherently with frequency approximately equal to the scalar particle mass. Similar to the discussion above, a crucial quantity for precision measurement is the amplitude of oscillation, \(\phi =\sqrt{2{\rho }_{\star }}/{m}_{\phi }\), which is determined by the density \({\rho }_{\star }\) of the compact object. Note that we have dropped the explicit time dependence of \(\phi\) for notational simplicity, and will from now on take \(\phi\) as the amplitude and \({m}_{\phi }\) as the frequency of oscillation.

Formation of boson stars is a rapidly evolving field. In the context of QCD axions, overdensities known as miniclusters can be produced on small physical scales (compared to the scale of galaxies) if the Peccei-Quinn symmetry is broken after inflation40. These miniclusters have been recently shown to form self-gravitating boson stars on short timescales (compared to galaxy lifetimes), through a process described by gravitational relaxation of effective quasiparticles41,42; this has been investigated assuming both idealized initial conditions43, as well as more realistic ones44 determined by large-scale simulations of QCD axions45. For ultralight axions, large-scale simulations also show boson star-like objects forming in the central cores of galaxies46,47, suggesting that this is a generic property of light scalar-field DM. The spectrum of initial density fluctuations has not similarly been investigated for relaxions, a topic we delay for future work; for the present purposes, we merely point out that a similar formation mechanism might hold for boson stars formed from relaxions as well.

A compact object is independent of background DM and its density does not necessarily coincide with that of the background. In the presence of gravity, a free scalar field can support itself against collapse through repulsive gradient energy (that is, effective pressure sourced by the kinetic energy of the field); this leads to a unique relation between its radius \({R}_{\star }\) and mass \({M}_{\star }\),

$${R}_{\star }=\frac{{M}_{{\mathrm{Pl}}}^{2}}{{m}_{\phi }^{2}}\frac{2}{{M}_{\star }},$$
(5)

where \({M}_{{\mathrm{Pl}}}=1.2 \, \times\,1{0}^{19}\ {\mathrm{GeV}}\) is the Planck mass. Some generic properties of boson stars are reviewed in Supplementary Note 1. The overdensity inside a boson star compared to the background density of DM would correspond to

$${{\delta}} \equiv \frac{{\rho }_{\star }}{{\rho }_{{\mathrm{local}}}}=\frac{2\ {M}_{{\mathrm{Pl}}}^{2}}{7\pi \ {m}_{\phi }^{2}\ {R}_{\star }^{4}}\frac{1}{{\rho }_{{\mathrm{local}}}}\approx 7\times 1{0}^{21}{\left(\frac{1{0}^{-10}\text{eV}}{{m}_{\phi }}\right)}^{2}{\left(\frac{1{0}^{5}\,\text{km}}{{R}_{\star }}\right)}^{4},$$
(6)

where we used the approximate profile of Supplementary Eq. (S.5) at \(r\ll {R}_{\star }\). In this estimation, the benchmark choice for \({m}_{\phi }\) is consistent with the concrete relaxion DM model described in ref. 9; in this case, we would expect to gain a \(\sqrt{{\delta} }\approx 1{0}^{11}\) enhancement in the amplitude of \(\phi\) if such an object passes through the Earth. This leads to a relatively large effective variation of fundamental constants, compared to the case where such variation is induced by the standard background DM density.

However, the encounter rate between such stars and the Earth is low. To estimate how many such encounters would take place per year, we assume that an \({\mathcal{O}}(1)\) fraction of local DM is in the form of stable bound states with a fixed mass \({M}_{\star }\); the actual distribution of boson star masses depends critically on the formation history, which is beyond the scope of this paper. We also assume a geometric cross-section \(\sigma_{\star}=\pi \ {R}_{\star}^{2}\), and that the motion of the boson stars obeys the virial relation in terms of their typical distribution, implying a speed of \({v}_{\star}=1{0}^{-3}\). Under these assumptions, the encounter rate between the Earth and such objects is

$$\Gamma ={n}_{\star }{\sigma }_{\star }{v}_{\star }=\frac{{\rho }_{{\mathrm{local}}}}{{M}_{\star }}\pi \ {R}_{\star }^{2}\ {v}_{\star }\,\approx 2\times 1{0}^{-18}\,{\text{yr}}^{-1}{\left(\frac{{m}_{\phi }}{1{0}^{-10}\text{eV}}\right)}^{2}{\left(\frac{{R}_{\star }}{1{0}^{5}\, \text {km}}\right)}^{3}.$$
(7)

From this estimate, we see that these encounters are so rare that an encounter typically does not occur during the entire history of the universe. More generally, the encounter rate increases with smaller \({\delta}\) as

$$\Gamma \approx 0.05\, {\text{yr}}^{-1}\times {{\delta} }^{-3/4}\sqrt{\frac{{m}_{\phi }}{1{0}^{-10}\, \text{eV}\,}}.$$
(8)

In Fig. 1a, we identify the parameter space of relaxion mass \({m}_{\phi }\) and decay constant \(f\) in which a collision rate \(\Gamma =1\ {\text{{yr}}}^{-1}\) is possible. Although we ignore the self-interactions of relaxions, we include the decay constant \(f\) in the plot to present a benchmark relaxion DM model (black solid lines allowed parameters, dashed ruled out by fifth-force meaurements)9 and the region where the relaxion star is unstable due to the self-interaction (purple shaded region, see Supplementary Eq. (S.11) for details regarding the self-interaction potential). The overdensity \({\delta}\) is also denoted by blue dashed lines, assuming the rate of one collision per year. If \({m}_{\phi }\,\lesssim\,1{0}^{-8}\, {\mathrm{{eV}}}\), an overdensity \({\delta}\,> \,1\) along with \(\Gamma =1\, {\text{{yr}}}^{-1}\) is not possible for a self-gravitating object; only if \({m}_{\phi }\,> \,1{0}^{-8}\ {\mathrm{eV}}\) is this scenario viable. This mass range corresponds to frequencies greater than order MHz, which can be probed using experimental techniques discussed in the Coherent DM Background.

Fig. 1
figure 1

The relevant parameter space for transient dark matter (DM) boson stars encountering the Earth. a Parameter space in scalar mass \({m}_{\phi }\) and decay constant \(f\) allowing for gravitationally stable objects, assuming the encounter rate is \(\Gamma =1 \, {\mathrm{{yr}}}^{-1}\). The dashed blue lines are contours of constant overdensity \(\delta\), and the purple shaded regions indicate instability through self-interactions. The black lines denote coherent relaxion DM for different choices of \({T}_{{\rm{ra}}}\), the temperature at which the relaxion backreaction potential reappears after reheating; solid lines are allowed parameters, and dashed are ruled out by fifth-force constraints (see ref. 9 for further information). b \({M}_{\star }\) and \({R}_{\star }\) are treated as independent parameters; the black dotted lines denote stable configurations formed from scalars of mass \({m}_{\phi }\), and the red shaded region represents \(\Gamma\,> \,1 \, {\mathrm{{yr}}}^{-1}\) and \(\delta\,> \,1\). The blue lines and purple shaded regions are the same as in a. The black star represents the benchmark point used by the GNOME collaboration48.

Note that for the case of axion-like particles (ALPs), it has been proposed that pseudoscalar coupling to nucleons can be probed by using nuclear magnetic resonance techniques even when \({m}_{\phi }\,\gtrsim\,1{0}^{-8}\ {\mathrm{eV}}\) and \({\delta} =1\) (ref. 49). Although we do not discuss it in this paper, this experimental technique can equally apply to the scenario of transient relaxion stars since the relaxion could also have pseudoscalar coupling to the SM fields.

In Fig. 1b, we show the mass-radius relation of boson stars (dotted lines). Similar to the Fig. 1a, the purple shaded region denotes boson stars that are unstable to collapse due to self-interactions, while the blue dashed lines denote the density contrast \({\delta} ={\rho }_{\star }/{\rho }_{{\mathrm{local}}}\). The red shaded region represents \({\delta}\,> \,1\) and \(\Gamma\,> \,1 \,{\mathrm{{yr}}}^{-1}\), which is attainable only for \({m}_{\phi }\,\gtrsim\,1{0}^{-8}\ {\mathrm{eV}}\). In other words, for scalar mass \({m}_{\phi }\,\lesssim\,1{0}^{-8}\ {\mathrm{eV}}\), it is either the case that the density of boson star is large but its encounter rate is too small for terresterial experiments, or that the rate is large enough but its density becomes even smaller than that of the background DM. Note that possible transient signals induced by axion stars have already been investigated in ref. 48, where it is concluded that the Global Network of Optical Magnetometers for Exotic physics searches (GNOME) can probe parameter space of ALPs for \({m}_{{\mathrm{ALP}}}\,<\,1{0}^{-13}\ {\mathrm{eV}}\), and that the projected sensitivity surpasses astrophysical constraints, which may seem to contradict Fig. 1. In ref. 48, the approach taken is more phenomenological, assuming \({M}_{\star }\) and \({R}_{\star }\) to be fully independent, which allows some region of parameter space to be probed by simultaneously satisfying \(\Gamma ={\mathcal{O}}(1)\, {\mathrm{{yr}}}^{-1}\) and \({\delta} \gg 1\). This also indicates that the axion stars considered in ref. 48 are not truly ground-state configurations. We show the benchmark point used in ref. 48 (\({R}_{\star }=10{R}_{\oplus }\) and \({M}_{\star }=4\times 1{0}^{7}\, {\mathrm{{kg}}}\)) as the black star in the figure.

Relaxion halo

The formation of boson stars is a complex dynamical process. Typical investigations involve simulations of scalar-field dynamics, and commonly neglect any effect from baryons40,43,45. In this section we suggest that, in the presence of baryons, gravitational relaxation may lead to configurations in which a large density of scalar field becomes bound to an external gravitational source. The resulting compact object in this case could be sustained by the gravitational field of an external massive body instead of its own self-gravity. We will refer to an object of this kind as a relaxion halo. There are significant uncertainties associated with this scenario, which we will return to in future work. Here, we assume such a halo can exist and investigate the consequences in terrestrial experiments.

We focus on the relaxion halo hosted by the Sun and by the Earth. In this case, \({M}_{{\mathrm{ext}}}\) is either the mass of the Sun or the Earth, and \({R}_{{\mathrm{ext}}}\) is the corresponding radius. Assuming \({M}_{\star }\ll {M}_{{\mathrm{ext}}}\), the radius of a relaxion halo is

$${R}_{\star }\equiv \left\{\begin{array}{ll}\frac{{M}_{{\mathrm{Pl}}}^{2}}{{m}_{\phi }^{2}}\frac{1}{{M}_{{\mathrm{ext}}}}&{\mathrm{for}}\ {R}_{\star } \, > \, \, {R}_{{\mathrm{ext}}}\ ,\\ {\left(\frac{{M}_{{\mathrm{Pl}}}^{2}}{{m}_{\phi }^{2}}\frac{{R}_{{\mathrm{ext}}}^{3}}{{M}_{{\mathrm{ext}}}}\right)}^{1/4}&{\mathrm{for}}\ {R}_{\star }\le {R}_{{\mathrm{ext}}}\ .\end{array}\right.$$
(9)

The radius of a relaxion halo is determined by the gravitational potential of the external source. In the first case, \({R}_{\star }\,> \,{R}_{{\mathrm{ext}}}\), we approximate the external source as a point-like mass, which results in an exponential relaxion-halo profile, Supplementary Eq. (S.8) In the second case, \({R}_{\star }\,<\,{R}_{{\mathrm{ext}}}\), we approximate the external source as a constant-density sphere, where the gravitational potential is given as that of a harmonic oscillator and the profile is Gaussian, Supplementary Eq. (S.9); though this approximation is rough in principle, in practice it works well when \({R}_{\star }\gg {R}_{{\mathrm{ext}}}\), and to go beyond it is outside the scope of this work. See Supplementary Note 1 for details regarding these two profiles. Note that in both of these cases, the radius is independent of \({M}_{\star }\). We only consider \({M}_{\star }\,<\,{M}_{{\mathrm{ext}}}/2\) for \({R}_{\star }\,> \,{R}_{{\mathrm{ext}}}\), and \({M}_{\star }\,<\,({M}_{{\mathrm{ext}}}/2){({R}_{\star }/{R}_{{\mathrm{ext}}})}^{3}\) for \({R}_{\star }\,<\,{R}_{{\mathrm{ext}}}\), ensuring that the self-gravity is subdominant.

In the presence of an external gravitational source of mass \({M}_{{\mathrm{ext}}}\), the ground-state profile for a relaxion halo is modified compared to the relaxion star. To obtain the density and the amplitude of oscillation, we use exponential and Gaussian profiles for \({R}_{\star }\,> \,{R}_{{\mathrm{ext}}}\) and \({R}_{\star }\le {R}_{{\mathrm{ext}}}\), respectively (Supplementary Eqs. (S.8 and S.9)) The asymptotic behavior of the halo density is

$${\rho }_{\star }\propto \left\{\begin{array}{ll}\exp \left(-2r/{R}_{\star }\right)&{\mathrm{for}}\ {R}_{\star } \, > \, {R}_{{\mathrm{ext}}}\; ,\\ \exp \left(-{r}^{2}/{R}_{\star }^{2}\right)&{\mathrm{for}}\ {R}_{\star }\le {R}_{{\mathrm{ext}}}\;.\end{array}\right.$$
(10)

The relevant quantity for experimental searches is the density of relaxion field at the surface of the Earth. We see from Eq. (3) that the variation of fundamental constants is given by \({\delta} m_{e}{/}{\langle} m_{e}{\rangle} ={g}_{e}\sqrt{2{\rho }_{\star }}/({\langle} m_{e}{\rangle} {m}_{\phi })\) and \({\delta} \alpha /\alpha ={g}_{\gamma }\sqrt{2{\rho }_{\star }}/{m}_{\phi }\). We discuss various probes to detect these effects in the next section.

One can determine an upper bound on the mass \({M}_{\star }\) of a relaxion halo through gravitational observations. In the case of an Earth-based halo, the strongest constraint arises from lunar laser ranging50, and for a Solar-based halo, from planetary ephemerides51; both are described in the Supplementary Note 2. Note that we consider other possible constraints on an Earth halo in Supplementary Note 3, but conclude that ref. 50 represents the strongest constraint. We show the derived constraint on the mass of a relaxion halo as a function of the scalar particle mass \({m}_{\phi }\) in Fig. 2. Using the result of \({({M}_{\star })}_{\max }\), we obtain the scalar-field value \(\phi\), which is directly related to the observables, \({\delta} m_{e}{/}{\langle} m_{e}{\rangle}\) and \({\delta} \alpha /\alpha\), which we discuss in the next section.

Fig. 2
figure 2

The upper bound \((M_{\star})_{\max}\) on the relaxion halo mass \(M_{\star}\) as a function of scalar particle mass \(m_{\phi}\); the regions above the black lines are excluded by either (right side, assuming an Earth halo) lunar laser ranging50, or (left side, assuming a Solar halo) planetary ephemerides51. We also require \(M_{\star}\le M_{{\rm{ext}}}/2\) (boundary of gray shaded region), such that our assumption \(M_{\star}\ll M_{{\rm{ext}}}\) is satisfied throughout.

Finally, we comment on the coherence properties of the relaxion halo oscillations. Because a relaxion halo is supported against collapse by gradient energy, the coherence length of the halo is nothing other than its radius; that is,

$${R}_{{\mathrm{coh}}}=\frac{1}{{m}_{\phi }\ v}=\frac{1}{{m}_{\phi }}\sqrt{\frac{{R}_{\star }\ {M}_{{{\mathrm{Pl}}}^{2}}}{{M}_{{\mathrm{ext}}}}}={R}_{\star },$$
(11)

where \(v\) is the velocity dispersion in the halo. The coherence time can be estimated similarly; for a relaxion Earth halo, we find

$${\tau }_{{\mathrm{coh}}}=\frac{1}{{m}_{\phi }\ {v}^{2}}={m}_{\phi }\ {R}_{\star }^{2}\approx \left\{\begin{array}{ll}1{0}^{3}\,\text{s}\,\ {\left(1{0}^{-9}\text{eV}/{m}_{\phi }\right)}^{3}&{\mathrm{for}}\ {R}_{\star } \, > \,\, {R}_{\oplus }\ ,\\ 1{0}^{3}\,\text{s}\,&{\mathrm{for}}\ {R}_{\star }\le {R}_{\oplus }\ ,\end{array}\right.$$
(12)

where we used the radii of Eq. (9) with \({M}_{{\mathrm{ext}}}={M}_{\oplus }\). For a Solar halo, the coherence time is at least two orders of magnitude larger, as it is enhanced by a large \({R}_{\star }\,\gtrsim\,1\) AU in that case.

Hunting for relaxion halos with table-top experiments

As explained above, the possibility of relaxion halos surrounding the Earth or the Sun may lead to an enhanced signal in various table-top experiments. Using the maximally allowed relaxion halo mass as an input, and also using the approximate form of scalar-field profile described in Supplementary Note 1, we can compute the oscillation amplitude and compare it to the corresponding experimental sensitivities. In order to study the present/near-future sensitivity, we consider the following four cases: (i) solar-based relaxion halo which is relevant for \({m}_{\phi } \sim 1{0}^{-15}\) eV—bounds on \({\delta} m_{e}{/}{\langle} m_{e}{\rangle}\) and on \({\delta} \alpha /\alpha\) are separately considered; (ii) Earth-based relaxion halo which is relevant for \({m}_{\phi } \sim 1{0}^{-10}\) eV—bounds on \({\delta} m_{e}{/}{\langle} m_{e}{\rangle}\) and on \({\delta} \alpha /\alpha\) are separately considered.

For case (i), we show in Fig. 3 sensitivity curves for \(({\delta} m_{e}{/}{\langle} m_{e}{\rangle},\; {\delta} \alpha /\alpha )=1{0}^{-16}\) (solid lines) and \(1{0}^{-18}\) (dashed lines). In addition, the bounds from fifth-force and equivalence-principle tests correspond to the shaded region52,53,54,55, the red line corresponds to the naturalness limit with a cutoff at \(\Lambda =3\ {\mathrm{TeV}}\) (the minimal allowed cutoff consistent with solving the hierarchy problem), and the green line corresponds to the naive upper limit on coupling constants which derived from scalar-Higgs portal models56. Note that the bounds from equivalence-principle tests are obtained by neglecting the other possible couplings of scalar field to SM particles.

Fig. 3
figure 3

Projected sensitivity of table-top experiments in the presence of a relaxion Solar halo. a Projected constraints on \({g}_{e}\). Experimental sensitivities in \(\delta {m}_e/\langle {m}_e\rangle\) are taken to be \(1{0}^{-16},\ 1{0}^{-18}\) (solid and dashed lines, respectively). The gray shaded region is excluded by fifth-force experiments. The red line is the naturalness limit, where the cutoff is taken to be \(\Lambda =3\ {\rm{TeV}}\), while the green line is an upper limit on coupling constants which can be obtained from physical relaxion models. The halo mass is taken as \({M}_{\star }=\min [({M}_{\odot }/2){({R}_{\star }/{R}_{\odot })}^{3},{({M}_{\star })}_{\max }]\), where \({({M}_{\star })}_{\max }\) is the maximum relaxion halo mass allowed by existing gravitational constraints. b Projected constraints on \({g}_{\gamma }\). Experimental sensitivities in \(\delta \alpha /\alpha\) are taken to be \(1{0}^{-16}\ \text {and}\ 1{0}^{-18}\) (solid and dashed lines, respectively).

In Fig. 4, we show the analogous sensitivities in case (ii), with \(({\delta} m_{e}{/}{\langle} m_{e}{\rangle} ,\; {\delta} \alpha /\alpha )=1{0}^{-14}\) (solid), \(1{0}^{-16}\) (dashed), and \(1{0}^{-18}\) (dotted). In the case of a Solar halo, future projections for \({g}_{\mathrm{e}}\) reach the parameter space where the scalar mass is technically natural, while in the case of an Earth halo, future projections reach not only to the naturalness limit for \({g}_{\mathrm{e}}\) and \({g}_{\gamma }\), but also to the region of physically motivated generic relaxion models10,26. The shaded regions represent the allowed parameter space for coherent relaxion DM9, taking \({g}_{e}={y}_{e}\ \sin \theta\) and \({g}_{\gamma }=(\alpha /4\pi v)\ \sin \theta\); in Fig. 4, the brown region is for \({y}_{e}={y}_{e}^{{\mathrm{SM}}}\) (the SM prediction), whereas the blue region is for \({y}_{e}=600\times {y}_{e}^{{\mathrm{SM}}}\), the maximum allowed value given current LHC constraints57.

Fig. 4
figure 4

Projected sensitivity of table-top experiments in the presence of a relaxion Earth halo. a Projected constraints on \({g}_{e}\). Experimental sensitivities in \(\delta {m}_{e}/\langle {m}_{e}\rangle\) are taken to be \(1{0}^{-14},\ 1{0}^{-16},\ {\mathrm{{and}}}\ 10^{-18}\) (solid, dashed, and dotted lines, respectively). The gray shaded region is excluded by fifth-force experiments. The red line is the naturalness limit, where the cutoff is taken to be \(\Lambda =3\ {\rm{TeV}}\), while the green line is an upper limit on coupling constants which can be obtained from physical relaxion models. The halo mass is taken as \({M}_{\star }=\min [({M}_{\oplus }/2){({R}_{\star }/{R}_{\oplus })}^{3},{({M}_{\star })}_{\max }]\), where \({({M}_{\star })}_{\max }\) is the maximum relaxion halo mass allowed by existing gravitational constraints. The blue and brown shaded regions represent the allowed regions for coherent relaxion dark matter9, assuming the electron-Higgs Yukawa coupling is equal to the Standard Model value (blue) or saturates the experimental upper bound (brown). b Projected constraints on \({g}_{\gamma }\). Experimental sensitivities in \(\delta \alpha /\alpha\) are taken to be \(1{0}^{-14},\ 1{0}^{-16},\ {\mathrm{{and}}} \ 1{0}^{-18}\) (solid, dashed, and dotted lines, respectively).

Discussion

In this work, we consider the effect of (pseudo)scalar-field DM, e.g. relaxion DM, in atomic physics experiments. We propose that such DM can form gravitationally bound objects denoted as boson stars (or relaxion stars), and suggest that these stars can be formed around the Earth or the Sun leading to relaxion halos with density well above that of the local DM. Due to the mixing with the Higgs, the oscillating DM background implies that all the fundamental couplings of nature are varying with time. This implies that one could search for signals of such objects in table-top experiments, which may be probed in the near future with projected sensitivity stronger than that of fifth-force and equivalence-principle tests. In this scenario, even present experimental sensitivity21,32 may be sufficient to probe the parameter space of coherent relaxion DM9.

We note that as our signal is related to rapid-oscillation signals, other existing probes of scalar DM, which are direct-current oriented and/or using less precise clocks58,59,60,61 would be less sensitive to the above form of DM. However, in the case of a relaxion halo or star which coherently oscillates over sufficiently large distances one may improve the sensitivity to its presence by comparing the phase of the oscillation between two distant experiments (or network of sensors) that are synched to the same external clock, or similarly if a single experiment is to repeat its measurements multiple times while being synchronized to an external clock. Furthermore, there are several proposals for sending high performance clock-systems to space62,63, which would allow to map the relaxion halo density as a function of distance from the Earth’s surface.

Another interesting implication is the possible presence of mini-relaxion halos, whose radius is smaller than that of the Earth so that such halos do not contribute to the signals described above. Such objects arise when the relaxion particle mass is around nano-eV or above. Although they can have densities close to that of the Earth, it is in general difficult to probe them because they are located beneath the surface of the Earth (see however ref. 64, which proposes to test clock universality in deep underground/underwater experiments).

We finally reiterate that our discussion and conclusion throughout the paper holds for any form of light scalar DM, thus covering a large parameter space of well-motivated DM models.

Methods

Further information regarding the methods and techniques used to obtain the results can be found in the Supplementary Material.