Quantum Gravity

A sign rule for an early change in the electron mass

Fits of cosmic microwave background (CMB) and DESI baryon acoustic oscillation (BAO) data in which the electron mass at recombination is a free parameter prefer it heavier than in the laboratory: δ≡me(z∗)/melab−1\delta\equiv m_e(z_\ast)/m_e^{\rm lab}-1 comes out between +0.6%+0.6\% and +1.2%+1.2\%, with uncertainties of about 0.5%0.5\% (section 1). We ask whether a scalar field ϕ\phi on which mem_e depends can produce a positive δ\delta, and find two obstructions. First, suppose ϕ\phi adiabatically follows a minimum of its effective potential, and the only sources of that potential besides its bare potential are Standard Model (SM) particles whose masses do not decrease when mem_e increases. Then mem_e at any earlier epoch is at most its value today, so δ≤0\delta\le0 (section 3). A field that tracks its minimum takes different values in environments of different density, so it matters which environment sets the laboratory value; the statement assumes it is one less dense than the recombination plasma.

Second, a light field whose coupling βe≡MP dln⁡me/dϕ\beta_e\equiv M_P\,d\ln m_e/d\phi does not vary along its path is limited by the MICROSCOPE test of the equivalence principle to ∣βe∣<5.6×10−4\lvert\beta_e\rvert<5.6\times10^{-4} at the 2σ2\sigma level. A shift δ=1%\delta=1\% then requires the field to move by about 18 MP18\,M_P since recombination, while its kinetic energy allows at most 17.1 MP⟨Ωkin⟩17.1\,M_P\sqrt{\langle\Omega_{\rm kin}\rangle}, where ⟨Ωkin⟩≤1\langle\Omega_{\rm kin}\rangle\le1 is the field’s mean share of the total energy density in kinetic form. Hence δ≤0.96%×⟨Ωkin⟩\delta\le0.96\%\times\sqrt{\langle\Omega_{\rm kin}\rangle} at 2σ2\sigma (section 4).

Three routes are not covered: fields that do not track a minimum (frozen by Hubble friction, with couplings quadratic in ϕ\phi), fields that are also sourced by dark matter, for which the same argument requires the dark matter to have been lighter at recombination by a fraction of at least 8.9×10−5 δ8.9\times10^{-5}\,\delta, and fields that track the local density today (section 5).

Full likelihood analyses that free mem_e at recombination find values above the laboratory one once DESI BAO are included [ACT DR6] [Toda–Seto] [Weiner]. Weiner finds a time-varying electron mass to be the most effective of the high-redshift modifications he considers at removing the geometric information on the neutrino mass sum, which is what drives the BAO preference for a negative sum. Baryakhtar, Simon and Weiner studied the cosmology of hyperlight scalars that modulate mem_e and the fine-structure constant [BSW 2024]. In a second paper [BSW 2025] (their eqs. 2.25–2.30) they computed the in-medium potential that SM particles give such a scalar, proportional to the trace ρ−3p\rho-3p of each species’ stress tensor, and found that for positive quadratic couplings it gives the field a positive in-medium mass, which drives it towards the symmetric point ϕ=0\phi=0, where mem_e is smallest, and can do so before recombination. Ghosh, Boddy and Yu constrained ultralight dark matter whose quadratic couplings modulate mem_e and the fine-structure constant [GBY]. Smith, Mylova, van de Bruck, Burgess and Di Valentino fitted an axio-dilaton model in which particle masses depend on the dilaton, and found that the data prefer couplings large enough to have been detected in solar-system tests [Smith et al.]. The sections below turn the in-medium sign found by BSW into a statement about any field that tracks a minimum, whatever its bare potential, extend it to fields also sourced by dark matter, and add an excursion bound for linear couplings.

Familiarity with the thermodynamics of ideal quantum gases and with scalar fifth forces is assumed. We use natural units and the reduced Planck mass MP=(8πG)−1/2=2.435×1018 GeVM_P=(8\pi G)^{-1/2}=2.435\times10^{18}\,{\rm GeV}.

1. The value of δ that the data prefer

Hydrogen recombines when the photon temperature falls to a fixed fraction of the atomic binding energy, which is proportional to mem_e. A heavier electron therefore makes recombination happen earlier, at a larger redshift z∗z_\ast, and shrinks the sound horizon that sets the BAO scale. Published fits with me(z∗)m_e(z_\ast) free give:

data δ\delta (%)
Planck + ACT DR6 + CMB lensing + DESI DR1 BAO [ACT DR6] 0.96±0.600.96\pm0.60
the same + type Ia supernovae [ACT DR6] 0.63±0.560.63\pm0.56
ACT DR6 + Planck (ℓ<1000\ell<1000) + lensing + DESI DR2 BAO + supernovae [Toda–Seto] 0.78±0.470.78\pm0.47
Planck + ACT + SPT + DESI DR2 BAO [Weiner] 0.76±0.480.76\pm0.48

A simpler fit, of DESI DR2 BAO together with a Gaussian prior on the CMB acoustic angle and the baryon and cold-dark-matter densities in place of the full CMB likelihood, and without CMB lensing (the setup of section 5 of an earlier note), gives δ=(1.15±0.47)%\delta=(1.15\pm0.47)\% with the neutrino mass sum fixed at its minimal normal-ordering value 0.0588 eV0.0588\eV. With mem_e fixed, the same data prefer an unphysical negative neutrino mass sum; a heavier electron at recombination absorbs that preference. The published values are lower; we have not tested which ingredients of the full likelihoods (the full CMB spectra, and in some fits CMB lensing) account for the difference. Below we keep δ\delta as a parameter and evaluate the bounds over this range.

2. A scalar field in the plasma

Let me=me(ϕ)m_e=m_e(\phi) depend on a homogeneous scalar field with bare potential V(ϕ)V(\phi). Before stating anything general we look at the simplest case.

Example 1. Take me=m0 eβϕ/MPm_e=m_0\,e^{\beta\phi/M_P} and V=12mϕ2ϕ2V=\tfrac12m_\phi^2\phi^2, with mϕm_\phi large enough that the field stays at the minimum of its effective potential. A gas of non-relativistic electrons of number density nn adds its rest-mass energy n me(ϕ)n\,m_e(\phi), so the effective potential is U(ϕ)=12mϕ2ϕ2+n m0eβϕ/MPU(\phi)=\tfrac12m_\phi^2\phi^2+n\,m_0e^{\beta\phi/M_P}. At the minimum, mϕ2ϕ=−(β/MP) n mem_\phi^2\phi=-(\beta/M_P)\,n\,m_e, so ϕ\phi has the sign opposite to β\beta and

ln⁡mem0=βϕMP=−β2 n memϕ2MP2<0.\ln\frac{m_e}{m_0}=\frac{\beta\phi}{M_P}=-\frac{\beta^2\,n\,m_e}{m_\phi^2M_P^2}<0.

The sign of the coupling drops out, because it enters squared. The denser the gas, the lighter the electron.

The point of the example is that the field moves so as to lower the energy of the matter it is immersed in, and matter of a given composition has less energy when its constituents are lighter. This is Le Chatelier’s principle applied to a coupling constant. The general statement needs two ingredients: the derivative of the free energy of a relativistic plasma with respect to a mass, and a comparison argument that does not depend on the shape of VV.

For the first, consider an ideal gas of one species of mass MM with gg internal states, in kinetic equilibrium at temperature TT and chemical potential μ\mu, with occupation f=(e(E−μ)/T±1)−1f=(e^{(E-\mu)/T}\pm1)^{-1}, E=k2+M2E=\sqrt{k^2+M^2}. Write ∫≡g∫d3k/(2π)3\int\equiv g\int d^3k/(2\pi)^3. Its energy density and pressure are ρ=∫Ef\rho=\int Ef and p=∫k23Efp=\int\frac{k^2}{3E}f. We call

nsc≡∫ME f=ρ−3pMn_{\rm sc}\equiv\int\frac{M}{E}\,f=\frac{\rho-3p}{M}

the scalar density of the species; it is the thermal expectation value of ψˉψ\bar\psi\psi for a fermion. The equality follows from E−k2/E=M2/EE-k^2/E=M^2/E. The scalar density is positive whenever the species is present, and nsc→nn_{\rm sc}\to n in the non-relativistic limit.

Lemma 1 (mass derivative of the free energy). Let F(M;T,n)\mathcal F(M;T,n) be the Helmholtz free energy density of the gas at fixed temperature and number density. Then

∂F∂M∣T,n=nsc=ρ−3pM>0.(1)\frac{\partial\mathcal F}{\partial M}\Big|_{T,n}=n_{\rm sc}=\frac{\rho-3p}{M}>0. \tag{1}

For a mixture of ideal gases whose masses MiM_i depend on mem_e, ∂F/∂me=∑insc,i dMi/dme\partial\mathcal F/\partial m_e=\sum_in_{{\rm sc},i}\,dM_i/dm_e, both at fixed composition and at chemical equilibrium.

Proof. The grand potential density is −p(M;T,μ)-p(M;T,\mu) with p=±gT∫d3k(2π)3ln⁡(1±e−(E−μ)/T)p=\pm gT\int\frac{d^3k}{(2\pi)^3}\ln\big(1\pm e^{-(E-\mu)/T}\big), and differentiating under the integral with ∂E/∂M=M/E\partial E/\partial M=M/E gives ∂p/∂M∣T,μ=−∫(M/E)f=−nsc\partial p/\partial M\vert_{T,\mu}=-\int(M/E)f=-n_{\rm sc}. Integration by parts in kk turns the logarithm into ∫k23Ef\int\frac{k^2}{3E}f, which is the expression for pp used above. The free energy is F=−p+μn\mathcal F=-p+\mu n with μ\mu determined by nn; since ∂F/∂μ∣T,n,M=−∂p/∂μ+n=0\partial\mathcal F/\partial\mu\vert_{T,n,M}=-\partial p/\partial\mu+n=0, the derivative at fixed nn equals the derivative of −p-p at fixed μ\mu, which is nscn_{\rm sc}. For a mixture, the chain rule gives the sum. At chemical equilibrium the composition minimises F\mathcal F at fixed conserved charges, so by the same envelope argument its variation with mem_e does not contribute.

In the cosmological plasma the species that depend on mem_e are free electrons and positrons, with dM/dme=1dM/dm_e=1, and hydrogen and helium atoms and ions with bound electrons. A bound level of binding energy BB scales as B∝meB\propto m_e, so its mass M=Mnucleus+me−BM=M_{\rm nucleus}+m_e-B has dM/dme=1−B/medM/dm_e=1-B/m_e, which for hydrogen in its ground state is 1−2.7×10−51-2.7\times10^{-5}. We neglect Coulomb corrections to the ideal-gas free energy; at recombination the plasma is extremely weakly coupled. If nuclei, photons and neutrinos do not depend on ϕ\phi, every term in Lemma 1 is non-negative. We call the sum

ν≡∂F∂me=∑insc,i dMidme\nu\equiv\frac{\partial\mathcal F}{\partial m_e}=\sum_in_{{\rm sc},i}\,\frac{dM_i}{dm_e}

the electron scalar density; it counts free and bound electrons, the latter with weight 1−B/me1-B/m_e, and is positive whenever electrons are present.

3. The sign rule

We now state what “tracking” means and compare two epochs. A state jj of the plasma is specified by its temperature, its conserved densities (baryon number, charge, lepton number) and its composition, that is, its ionisation fractions. The composition may be the equilibrium one or, as after recombination, a frozen-out one; by Lemma 1 the argument below is the same in both cases. We write FA(ϕ)\mathcal F_A(\phi) for its free energy density when the masses are evaluated at ϕ\phi, and

Uj(ϕ)=V(ϕ)+Fj(ϕ)U_j(\phi)=V(\phi)+\mathcal F_j(\phi)

for the effective potential of ϕ\phi in that state. This treats ϕ\phi as a background parameter of the plasma, as the finite-temperature effective potential does; the derivative of UjU_j reproduces the source term −∂V/∂ϕ−∑insc,i ∂Mi/∂ϕ-\partial V/\partial\phi-\sum_in_{{\rm sc},i}\,\partial M_i/\partial\phi in the field equation. Cosmological evolution conserves entropy rather than temperature, but this does not change the stationarity condition: by the same Maxwell relation, ∂E/∂M\partial E/\partial M at fixed entropy and particle number also equals nscn_{\rm sc}. Nor does the field’s response heat or cool the plasma appreciably, since the photons, which do not couple to ϕ\phi, dominate its heat capacity. The hypotheses are:

  • (T1) Tracking. In each state jj that we compare, ϕ\phi sits at a global minimiser ϕj\phi_j of UjU_j. (Proposition 1 below replaces this by a continuous branch of local minima.)
  • (T2) SM sources only. Apart from VV, the only ϕ\phi-dependence of UjU_j comes from SM species whose masses are non-decreasing functions of mem_e. A field that changes only mem_e qualifies. So does a Higgs portal, which changes all masses through the Higgs vacuum value, provided every mass it affects increases with that value.
  • (T3) More matter in the past. At every mm between the two values of mem_e being compared, ν(m)=∂F/∂me\nu(m)=\partial\mathcal F/\partial m_e is larger in the earlier state than in the later one. For a field that changes only mem_e, ν\nu is the electron scalar density; for a Higgs portal it also contains the scalar densities of the nucleons weighted by dMN/dmedM_N/dm_e.

Theorem 1 (comparison). Let ϕ1\phi_1 and ϕ0\phi_0 be global minimisers of U1U_1 and U0U_0. Then

F1(ϕ1)−F0(ϕ1)  ≤  F1(ϕ0)−F0(ϕ0).(2)\mathcal F_1(\phi_1)-\mathcal F_0(\phi_1)\;\le\;\mathcal F_1(\phi_0)-\mathcal F_0(\phi_0). \tag{2}

Under (T2) and (T3), me(ϕ1)≤me(ϕ0)m_e(\phi_1)\le m_e(\phi_0).

Proof. Minimality gives U1(ϕ1)≤U1(ϕ0)U_1(\phi_1)\le U_1(\phi_0) and U0(ϕ0)≤U0(ϕ1)U_0(\phi_0)\le U_0(\phi_1). Adding the two inequalities cancels VV and gives (2). Under (T2), F1−F0\mathcal F_1-\mathcal F_0 depends on ϕ\phi only through mem_e; call it G(me)G(m_e). By Lemma 1, G′(m)=ν(1)(m)−ν(0)(m)G'(m)=\nu^{(1)}(m)-\nu^{(0)}(m), where the superscript labels the state; it is positive by (T3). If me(ϕ1)>me(ϕ0)m_e(\phi_1)>m_e(\phi_0), then G(me(ϕ1))>G(me(ϕ0))G(m_e(\phi_1))>G(m_e(\phi_0)), contradicting (2).

Nothing in the proof uses the shape of VV, the size of the coupling or the number of components of ϕ\phi. The physical content is in Lemma 1, which fixes the sign of ∂F/∂me\partial\mathcal F/\partial m_e, and in (T3), which says which state has more of the matter that prefers light electrons. Global minimality is a strong reading of “tracking”. The same conclusion holds for a field that follows a local minimum continuously.

Proposition 1 (local tracking). Let λ∈[0,1]\lambda\in[0,1] label a continuous sequence of states running from today (λ=0\lambda=0) back to an earlier epoch (λ=1\lambda=1), and let ϕ(λ)\phi(\lambda) be a continuously differentiable branch of non-degenerate local minima, Uλ′(ϕ(λ))=0U_\lambda'(\phi(\lambda))=0 and Uλ′′(ϕ(λ))>0U_\lambda''(\phi(\lambda))>0, for a single-component field. Under (T2), if ν(m;λ)\nu(m;\lambda) at fixed mm does not decrease with λ\lambda, then me(ϕ(λ))m_e(\phi(\lambda)) is non-increasing in λ\lambda.

Proof. Differentiating Uλ′(ϕ(λ))=0U_\lambda'(\phi(\lambda))=0 along the branch gives Uλ′′ ϕ′(λ)+∂λUλ′=0U_\lambda''\,\phi'(\lambda)+\partial_\lambda U_\lambda'=0. By Lemma 1 and (T2), Uλ′(ϕ)=V′(ϕ)+ν(me(ϕ);λ) me′(ϕ)U_\lambda'(\phi)=V'(\phi)+\nu(m_e(\phi);\lambda)\,m_e'(\phi), so ∂λUλ′=me′ ∂λν\partial_\lambda U_\lambda'=m_e'\,\partial_\lambda\nu. Hence

d medλ=me′ ϕ′(λ)=−(me′)2 ∂λνUλ′′  ≤  0.\frac{d\,m_e}{d\lambda}=m_e'\,\phi'(\lambda)=-\frac{(m_e')^2\,\partial_\lambda\nu}{U_\lambda''}\;\le\;0.

The branch can end where Uλ′′→0U_\lambda''\to0, after which the field jumps and no longer tracks; Theorem 1 covers jumps between global minima.

Hypothesis (T3) in cosmology

After electron–positron annihilation the net number of electrons is conserved, so their number density scales as (1+z)3(1+z)^3, and in the non-relativistic regime their scalar density is nsc=n⟨me/E⟩≈n (1−3T/2me)n_{\rm sc}=n\langle m_e/E\rangle\approx n\,(1-3T/2m_e). At recombination T/me≈5×10−7T/m_e\approx5\times10^{-7}, so the correction is negligible against the factor (1+z)3(1+z)^3 that separates any redshift z>0z>0 from today. Before and during annihilation the pairs add to it. If ν\nu also contains nucleon terms, as for a Higgs portal, these grow into the past in the same way, since nucleons are non-relativistic over the whole range considered and their number density scales as (1+z)3(1+z)^3. We have checked numerically, for a free electron–positron gas with the observed baryon asymmetry and Yp=0.245Y_p=0.245, that the scalar density at m=mem=m_e increases monotonically with temperature from today’s T0=2.7255 T_0=2.7255\,K up to 10 10\,MeV. Today’s cosmic mean is ne≈2.2×10−7 cm−3n_e\approx2.2\times10^{-7}\,{\rm cm^{-3}}; at last scattering, z∗≈1089z_\ast\approx1089, it is ne(z∗)≈2.2×10−7×10903≈290 cm−3n_e(z_\ast)\approx2.2\times10^{-7}\times1090^3\approx290\,{\rm cm^{-3}} (free and bound electrons together).

Which state is “today”

The theorem compares tracked values in two homogeneous states. The value of mem_e measured in a laboratory is the tracked value for whatever environment the field responds to there. Theorem 1 gives me(z∗)≤melabm_e(z_\ast)\le m_e^{\rm lab}, that is δ≤0\delta\le0, provided that this environment has an electron scalar density below ne(z∗)≈290 cm−3n_e(z_\ast)\approx290\,{\rm cm^{-3}}. This holds if the field responds to the cosmic mean, or to the mean density of the Galaxy, which near the Sun is of order a few nucleons per cm3{\rm cm^3} counting stars and gas together. It fails if the field tracks the density of the Earth or of the laboratory itself, as screened fields of chameleon or symmetron type do [Khoury–Weltman] [Hinterbichler–Khoury]. We return to that case in section 5.

Corollary 1. Assume (T1)–(T3), and that the laboratory value of mem_e is set by an environment less dense than the recombination plasma. Then every field that changes mem_e gives δ≤0\delta\le0. Subject to the same proviso on the environment, this includes couplings of symmetron or chameleon type to the electron density, with either sign of the coupling, the response of the field to the trace ρ−3p\rho-3p of the electron–positron plasma during annihilation, and a Higgs portal under the proviso in (T2).

The fits of section 1 place δ=0\delta=0 between 1.11.1 and 2.42.4 standard deviations below their central values, depending on the data combination.

4. Linear couplings and the excursion they need

Fields that do not track a minimum escape Theorem 1. A light field that is frozen at early times and released later can move in either direction. For such fields the obstruction is different: the field must still reach today’s value, and if its coupling to electrons is the same along the way, that value is constrained by tests of the equivalence principle.

Write βe≡MP dln⁡me/dϕ\beta_e\equiv M_P\,d\ln m_e/d\phi evaluated today. If ϕ\phi is light enough to mediate a force over the size of the Earth, mϕ≲10−14 m_\phi\lesssim10^{-14}\,eV, it produces a composition-dependent acceleration. A body bb of mass MbM_b containing NbN_b electrons has scalar charge Qb=∂Mb/∂ϕ=βeNbme/MPQ_b=\partial M_b/\partial\phi=\beta_eN_bm_e/M_P, if only the electron rest mass depends on ϕ\phi. Scalar exchange between two bodies bb and cc gives the attractive force QbQc/(4πr2)Q_bQ_c/(4\pi r^2), while gravity gives MbMc/(8πMP2r2)M_bM_c/(8\pi M_P^2r^2). The ratio is 2βe2fbfc2\beta_e^2f_bf_c, where fb≡Nbme/Mb≈(me/mu)(Z/A)bf_b\equiv N_bm_e/M_b\approx(m_e/m_u)(Z/A)_b is the electron mass fraction, with ZZ the atomic number and AA the mass number. The Eötvös parameter for two test masses falling towards the Earth (EE) is therefore

η≃2βe2 fE (fTi−fPt).(3)\eta\simeq2\beta_e^2\,f_E\,(f_{\rm Ti}-f_{\rm Pt}). \tag{3}

MICROSCOPE measured η(Ti,Pt)=[−1.5±2.3 (stat)±1.5 (syst)]×10−15\eta({\rm Ti,Pt})=[-1.5\pm2.3\,({\rm stat})\pm1.5\,({\rm syst})]\times10^{-15} [MICROSCOPE]. We use ∣η∣<5.5×10−15\lvert\eta\rvert<5.5\times10^{-15}, twice the quadrature sum of the errors. This ignores the negative central value, which would tighten the bound, since (3) is positive. With me/mu=5.486×10−4m_e/m_u=5.486\times10^{-4}, (Z/A)Ti=0.460(Z/A)_{\rm Ti}=0.460, (Z/A)Pt=0.400(Z/A)_{\rm Pt}=0.400 and the bulk-Earth value (Z/A)E≈0.487(Z/A)_E\approx0.487, (3) gives

∣βe∣<5.6×10−4.\lvert\beta_e\rvert<5.6\times10^{-4}.

Treating the test masses as the titanium and platinum alloys actually flown, rather than as pure elements, loosens the bound by about 3%; varying (Z/A)E(Z/A)_E between 0.480.48 and 0.500.50 changes it by less than 2%. The bound scales as ηmax⁡\sqrt{\eta_{\max}}: at 1σ1\sigma (∣η∣<2.75×10−15\lvert\eta\rvert<2.75\times10^{-15}) it is ∣βe∣<4.0×10−4\lvert\beta_e\rvert<4.0\times10^{-4}, and at 3σ3\sigma it is 6.9×10−46.9\times10^{-4}.

If βe\beta_e does not vary along the field’s path, ln⁡(1+δ)=βe Δϕ/MP\ln(1+\delta)=\beta_e\,\Delta\phi/M_P, where Δϕ=ϕ(z∗)−ϕ(0)\Delta\phi=\phi(z_\ast)-\phi(0). More generally, if ∣dln⁡me/dϕ∣\lvert d\ln m_e/d\phi\rvert never exceeds its present value along the path, ∣ln⁡(1+δ)∣≤∣βeΔϕ∣/MP\lvert\ln(1+\delta)\rvert\le\lvert\beta_e\Delta\phi\rvert/M_P. The required excursion is

∣Δϕ∣MP ≥ ln⁡(1+δ)5.6×10−4≈18×δ1%.\frac{\lvert\Delta\phi\rvert}{M_P}\ \ge\ \frac{\ln(1+\delta)}{5.6\times10^{-4}}\approx18\times\frac{\delta}{1\%}.

How far can the field move? Its kinetic energy density is ϕ˙2/2\dot\phi^2/2, and its share of the total energy density is Ωkin=ϕ˙2/(6H2MP2)\Omega_{\rm kin}=\dot\phi^2/(6H^2M_P^2). If space is flat or negatively curved and the potential and all other components have non-negative energy density, the Friedmann equation gives Ωkin≤1\Omega_{\rm kin}\le1. With N=ln⁡aN=\ln a as time variable, dϕ/dN=ϕ˙/H=±6 Ωkin MPd\phi/dN=\dot\phi/H=\pm\sqrt{6\,\Omega_{\rm kin}}\,M_P. Integrating from last scattering to today, over N∗=ln⁡(1+z∗)≈ln⁡1090=6.99N_\ast=\ln(1+z_\ast)\approx\ln1090=6.99 e-folds, and applying the Cauchy–Schwarz inequality,

∣Δϕ∣MP≤∫0N∗6 Ωkin  dN≤N∗6⟨Ωkin⟩=17.1⟨Ωkin⟩,(4)\frac{\lvert\Delta\phi\rvert}{M_P}\le\int_0^{N_\ast}\sqrt{6\,\Omega_{\rm kin}}\;dN\le N_\ast\sqrt{6\langle\Omega_{\rm kin}\rangle}=17.1\sqrt{\langle\Omega_{\rm kin}\rangle}, \tag{4}

where ⟨Ωkin⟩\langle\Omega_{\rm kin}\rangle is the average of Ωkin\Omega_{\rm kin} over e-folds. Combining (4) with the required excursion gives

δ ≤ exp⁡ ⁣(5.6×10−4×17.1⟨Ωkin⟩)−1≈0.96%×⟨Ωkin⟩.\delta\ \le\ \exp\!\big(5.6\times10^{-4}\times17.1\sqrt{\langle\Omega_{\rm kin}\rangle}\big)-1\approx0.96\%\times\sqrt{\langle\Omega_{\rm kin}\rangle}.

For the values of section 1 (a required ⟨Ωkin⟩\langle\Omega_{\rm kin}\rangle above 1 is impossible under the stated assumptions, so the first row is excluded outright at 2σ2\sigma):

δ\delta (%) required ∣Δϕ∣/MP\lvert\Delta\phi\rvert/M_P required ⟨Ωkin⟩\langle\Omega_{\rm kin}\rangle
1.15 20.4 1.42
0.96 17.1 0.99
0.78 13.9 0.66
0.76 13.5 0.62
0.63 11.2 0.43

At the 2σ2\sigma MICROSCOPE level, values of δ\delta above 0.96%0.96\% are excluded outright for this class. Since the ceiling on δ\delta scales as ηmax⁡\sqrt{\eta_{\max}}, it is 0.68%0.68\% at 1σ1\sigma and 1.18%1.18\% at 3σ3\sigma; the table uses the 2σ2\sigma bound. The lower central values are not excluded by (4) alone, but require the field’s kinetic energy to carry, on average over the e-folds since recombination, between 40% and 70% of the total energy density, during an interval that the CMB and BAO describe as dominated by matter. A heuristic estimate makes this concrete. Suppose the expansion history is that of Λ\LambdaCDM with Ωm=0.3\Omega_m=0.3, and the kinetic energy of the field is confined to the share that Λ\Lambda occupies, Ωkin≤ΩΛ(z)\Omega_{\rm kin}\le\Omega_\Lambda(z). Then the middle expression in (4) gives ∣Δϕ∣≤1.97 MP\lvert\Delta\phi\rvert\le1.97\,M_P and δ≤0.11%\delta\le0.11\%.

The excursion bound does not use tracking, and so it also applies to the frozen-then-released fields that Theorem 1 does not cover, as long as their coupling is linear and their mass today is small enough for the MICROSCOPE bound to apply.

5. Routes not covered by sections 3 and 4

Each route to δ>0\delta>0 that survives sections 3 and 4 gives up one of the hypotheses.

Fields that do not track and have no linear coupling today

If me=m0(1+ϕ2/2M2)m_e=m_0(1+\phi^2/2M^2) with ϕ=0\phi=0 today, then βe=0\beta_e=0 and the bound (3) is empty. An SM source cannot displace ϕ\phi from zero, since any displacement raises mem_e, which Theorem 1 forbids. A positive δ\delta then needs a field that is held away from zero by Hubble friction and later oscillates about it, with δ=ϕi2/2M2\delta=\phi_i^2/2M^2 set by its initial value ϕi\phi_i. This class has been studied in detail [BSW 2024] [BSW 2025] [GBY]. The oscillating field contributes a matter-like energy density at late times, which BSW identify as a “late dark matter” degeneracy in the cosmological fits. Its residual oscillation today modulates mem_e in time, which atomic clocks constrain. Those constraints are outside the scope of this note.

Fields also sourced by dark matter

If ϕ\phi also changes the mass mXm_X of a non-relativistic dark-matter particle, (T2) fails, but under (T1) the inequality (2) still holds. Take both electrons and dark matter non-relativistic and neglect thermal corrections, so that Fj(ϕ)=ne,j me(ϕ)+nX,j mX(ϕ)\mathcal F_j(\phi)=n_{e,j}\,m_e(\phi)+n_{X,j}\,m_X(\phi) up to ϕ\phi-independent terms, with both densities scaling as (1+z)3(1+z)^3. Then (2) reads [(1+z)3−1][ne,0 Δme+nX,0 ΔmX]≤0\big[(1+z)^3-1\big]\big[n_{e,0}\,\Delta m_e+n_{X,0}\,\Delta m_X\big]\le0, where Δ\Delta denotes the value at redshift zz minus that today, so that

−ΔmXmX ≥ δ ρe,0ρX,0,-\frac{\Delta m_X}{m_X}\ \ge\ \delta\,\frac{\rho_{e,0}}{\rho_{X,0}},

with ρe,0\rho_{e,0} and ρX,0\rho_{X,0} the present rest-mass densities. For ωb=0.0224\omega_b=0.0224, ωc=0.120\omega_c=0.120 and Yp=0.245Y_p=0.245, ρe,0/ρX,0=8.9×10−5\rho_{e,0}/\rho_{X,0}=8.9\times10^{-5}. A heavier electron at recombination requires the dark matter to have been lighter then by a fraction of at least 8.9×10−5 δ8.9\times10^{-5}\,\delta, which is 1.0×10−61.0\times10^{-6} at δ=1.15%\delta=1.15\%. A field of this kind whose coupling saturates at high density, for example, would produce a step in mem_e at the redshift where the dark-matter density crosses a threshold. Whether such a model fits the full CMB is open, as are its consequences for nucleosynthesis, where mem_e would be shifted by the same amount.

Fields that track the local density today

If the field responds to the density of the Earth or of the laboratory, Theorem 1 compares the recombination plasma with that environment, which is far denser, and allows me(z∗)>melabm_e(z_\ast)>m_e^{\rm lab}. Applied to pairs of environments of similar composition, the same theorem orders them by electron scalar density: mem_e in any environment less dense than the recombination plasma, ne≲290 cm−3n_e\lesssim290\,{\rm cm^{-3}}, is at least me(z∗)m_e(z_\ast), and so at least (1+δ) melab(1+\delta)\,m_e^{\rm lab}. Spectroscopy of absorbing gas measures the proton-to-electron mass ratio mp/mem_p/m_e in environments other than the laboratory. Methanol absorption in the lens towards PKS1830−211 at z=0.886z=0.886 limits its fractional change to 4×10−74\times10^{-7} at 2σ2\sigma [Kanekar et al.], and ammonia and cyanopolyyne lines in Galactic dark clouds limit it to 2×10−82\times10^{-8} at 3σ3\sigma [Levshakov et al.]. Both are far below δ≈10−2\delta\approx10^{-2}, so they bear on this route if the absorbing gas has an electron density below about 290 cm−3290\,{\rm cm^{-3}}, counting electrons bound in molecules, on the scale to which the field responds. Molecular clouds are typically denser than this, in which case the theorem only gives me≤me(z∗)m_e\le m_e(z_\ast) there and these limits do not apply directly. Which case holds for these absorbers remains to be determined; we have also not checked whether a field with this behaviour can satisfy fifth-force and equivalence-principle bounds.

6. Limitations and open questions

Theorem 1 is exact for ideal-gas thermodynamics and global tracking, and Proposition 1 for a continuous branch of local minima. Both treat ϕ\phi as homogeneous and neglect its own gradient and kinetic energy in the definition of tracking; a field that lags behind its minimum is between the tracking and frozen cases and is not covered by either section 3 or section 4 unless its coupling is linear. Hypothesis (T2) excludes fields that also change the fine-structure constant or nucleon masses in a direction opposite to mem_e; for those, (2) still holds but does not fix the sign of δ\delta.

The excursion bound rests on the MICROSCOPE result, on an electron-only coupling (a coupling to nucleons as well changes (3) and is not considered), and on a coupling that does not grow along the path. A path along which dln⁡me/dϕd\ln m_e/d\phi grows from a small value today is the quadratic class of section 5 with a small displacement of today’s minimum from the symmetric point; we have not scanned this intermediate case. The heuristic δ≤0.11%\delta\le0.11\% assumes a Λ\LambdaCDM expansion history and is not a bound derived from data.

The target values of δ\delta come from fits that vary mem_e by hand at recombination, with no field dynamics. A field model also changes mem_e at other epochs, in particular during nucleosynthesis, and adds its own energy density; fitting any of the field models of section 5 to the data would require modelling all of these.

References

  1. Calabrese et al. (ACT Collaboration), “The Atacama Cosmology Telescope: DR6 constraints on extended cosmological models,” arXiv:2503.14454.
  2. Toda, Seto, “Constraints on the varying electron mass and early dark energy in light of ACT DR6 and DESI DR2 and the implications for inflation,” arXiv:2508.09025.
  3. Weiner, “High-redshift physics from the acoustic scale,” arXiv:2603.18131.
  4. Baryakhtar, Simon, Weiner, “Cosmology with varying fundamental constants from hyperlight, coupled scalars,” arXiv:2405.10358.
  5. Baryakhtar, Simon, Weiner, “Searching for coupled, hyperlight scalars across cosmic history,” arXiv:2502.04432.
  6. Ghosh, Boddy, Yu, “Early Universe constraints on variations in fundamental constants induced by ultralight scalar dark matter,” arXiv:2511.14532.
  7. Smith, Mylova, van de Bruck, Burgess, Di Valentino, “The serendipitous axiodilaton: a self-consistent recombination-era solution to the Hubble tension,” arXiv:2512.13544.
  8. Touboul et al. (MICROSCOPE Collaboration), “MICROSCOPE mission: final results of the test of the Equivalence Principle,” arXiv:2209.15487.
  9. Khoury, Weltman, “Chameleon fields: awaiting surprises for tests of gravity in space,” arXiv:astro-ph/0309300.
  10. Hinterbichler, Khoury, “Symmetron fields: screening long-range forces through local symmetry restoration,” arXiv:1001.4525.
  11. Kanekar et al., “Constraints on changes in the proton-electron mass ratio using methanol lines,” arXiv:1412.7757.
  12. Levshakov, Reimers, Henkel, Winkel, Mignano, Centurion, Molaro, “Limits on the spatial variations of the electron-to-proton mass ratio in the Galactic plane,” arXiv:1310.1850.