Oneelectron atoms in screened modified gravity
Abstract
In a large class of scalartensor theories that are potential candidates for dark energy, a nonminimal coupling between the scalar and the photon is possible. The presence of such an interaction grants us the exciting prospect of directly observing dark sector phenomenology in the electromagnetic spectrum. This paper investigates the behavior of oneelectron atoms in this class of modified gravity models, exploring their viability as probes of deviations from general relativity in both laboratory and astrophysical settings. Building heavily on earlier studies, our main contribution is threefold: A thorough analysis finds additional finestructure corrections previously unaccounted for, which now predict a contribution to the Lamb shift that is larger by nearly 4 orders of magnitude. In addition, they also predict a scalarmediated photonphoton interaction, which now constrains the scalar’s coupling to the photon independently of the matter coupling. This was not previously possible with atomic precision tests. Our updated constraints are and for the matter and photon coupling, respectively, although these remain uncompetitive with bounds from other experiments. Second, we include the effects of the nuclear magnetic moment, allowing for the study of hyperfine structure and the 21 cm line, which hitherto have been unexplored in this context. Finally, we also examine how a background scalar leads to equivalence principle violations.
I Introduction
Scalar fields have become ubiquitous in modern theoretical physics, playing a crucial role as potential solutions for many of the most important open problems. They have been posited as the driving force behind inflation, as a solution to the strongCP problem, and as candidates for dark matter and dark energy. Scalar fields are also interesting from the perspective of string theory, where scalartensor gravity actions naturally arise after dimensional reduction.
Despite many instances in which the existence of a fundamental scalar proves desirable, none—apart from the Higgs boson—has been observed to date. For those with applications to latetime cosmology, the resolution comes by way of introducing a screening mechanism. This enables the scalar to evade the stringent constraints of fifth force searches Will (2014) while still potentially giving rise to astrophysical signatures. Of particular interest in this work are classes of models where the scalar has a canonical kinetic term in the Einstein frame, with screening prompted by a nonminimal coupling to matter. These include screening of the chameleon Khoury and Weltman (2004a); ? and DamourPolyakov types Damour and Polyakov (1994); Brax et al. (2010a); Hinterbichler and Khoury (2010); ?. It is interesting to also allow for a nonminimal coupling between the scalar and the photon since one is not forbidden by symmetry. This is reminiscent of BekenteinSandvikBarrowMagueijo varying alpha models Bekenstein (1982); ?; ?, the OlivePospelov model Olive and Pospelov (2008), KaluzaKlein theories, and the dilaton in string theory. Its phenomenology in the present context has been widely explored, both in astronomical Davis et al. (2009); Burrage (2008); Brax and Zioutas (2010); ?; ?; Anastassopoulos et al. (2015); Silva et al. (2014); Burrage et al. (2009) and laboratory settings Brax et al. (2007a, b); Ahlers et al. (2008); Upadhye et al. (2010); Steffen et al. (2010).
In this paper, we ask if atomic spectra can be used as a tracer for modifications to gravity. The prototypical candidate for such a task is hydrogen, for two reasons: Hydrogen is readily abundant in the Universe, and its spectral lines find important uses in inferring galactic rotation curves Rubin and Ford (1970); ?; Lelli et al. (2016) and as probes of largescale structure and cosmic history Pullen et al. (2014); ?. It is therefore important that any systematic effect coming from modified gravity is understood. Second, its relative simplicity enables us to obtain analytic solutions using standard methods of perturbation theory.
Hydrogen has already enjoyed an illustrious history as a theoretical playground for probing gravitational effects. The effect of tidal forces from a strongly curved background was investigated in Parker (1980); Parker and Pimentel (1982), with further calculations specific to the Schwarzschild metric done in Gill et al. (1987). Hydrogen atoms have also been studied near topological defects de A. Marques and Bezerra (2002), in both de Sitter and antide Sitter space Moradi and Aboualizadeh (2010); ?, in Rindler space Dai (2016), and in theories with low curvature corrections Olmo (2008). In fact, oneelectron atoms in chameleonlike scalartensor theories have already been explored in Brax and Burrage (2011). However, the implications of the scalarphoton coupling were not fully exhausted, and we do so by extending their findings in this paper.
The outline of this paper is as follows: The class of scalartensor theories under consideration is briefly reviewed in Sec. II. We enumerate all the possible gravitational effects that lead to firstorder perturbations in the Hamiltonian in Sec. III, and the Hamiltonian itself is derived in Sec. IV. Its implications are discussed in Sec. V, and we conclude in Sec. VI.
Ii Scalartensor gravity
We consider a scalartensor theory of gravity with the action
(1) 
The gravitational sector in the Einstein frame has the Lagrangian
(2) 
where is the reduced Planck mass in units . Our metric signature is throughout. The scalar couples nonminimally to the electromagnetic sector Brax et al. (2011, 2010b), such that
(3) 
The matter sector, described by , couples minimally to the Jordan frame metric . A scalartensor theory of this class is fully specified by a choice of the three functions , , and . The results of this paper hold for any theory with the above action, although we will henceforth refer to all such scalars generically as chameleons.
The primary aim of this work is to extend the findings of Brax and Burrage (2011) by including all of the effects due to a chameleonphoton coupling at first order in perturbations. Only a subset of these were previously accounted for. Furthermore, as the calculations in Brax and Burrage (2011) were made in the Einstein frame, we have elected to work in the Jordan frame. This gives us, as an added bonus, a concrete example with which to make interesting comparisons between the two approaches (see Sec. V.6). In the Jordan frame, we have
(4) 
We have introduced the Jordanframe potential to simplify several equations, but we will continue to use both and . The function describes the coupling of the chameleon to matter and is defined as , where a comma denotes a partial derivative. As the electromagnetic sector is (classically) conformally invariant, its Lagrangian in the Jordan frame is identical to that in Eq. (3), except with replaced with . Similarly, let describe the chameleonphoton coupling. The equations of motion in this frame are
(5a)  
(5b)  
(5c) 
where , is the total conserved current charged under the U(1) gauge group, and is the stress tensor of all matter fields, with trace . This includes the contribution of the electromagnetic stress tensor, whose form is slightly modified due to the nonminimal coupling:
(6) 
The stress tensor for the chameleon is
(7) 
Iii Classical field solutions
Our model of the atom is semiclassical: The nucleus sources gravitational, electromagnetic, and chameleon fields, on which we wish to quantize the electron. This section discusses their solutions in turn.
iii.1 Background curvature
As we are interested in the, admittedly small, gravitational effects on atoms, we should wonder if the background spacetime causes an appreciable perturbation. For a pointparticle nucleus traversing the worldline in a background spacetime , there always exists adapted coordinates such that the rest frame of the nucleus can be Taylor expanded to give
(8) 
where all derivatives are evaluated at the spatial origin but still generally remain functions of time . While the choice of coordinates is by no means unique, the Fermi coordinates are especially useful Manasse and Misner (1963); Poisson et al. (2011). These preserve the notion of proper time along the entire extent of the worldline and the notion of proper distances in its convex normal neighborhood. At the order prescribed, two types of terms appear: terms linear in the background Riemann tensor , which describe tidal forces, and terms up to quadratic order in the acceleration of . The interested reader can find explicit expressions for the metric components in Poisson et al. (2011).
The effect of the Riemann tensor terms are studied in Parker (1980), with the result that the leading contribution to the Hamiltonian is
(9) 
where is a Dirac matrix as defined in Sec. IV. Making an order of magnitude estimate and substituting with some curvature length scale , this perturbation is comparable to finestructure splitting only when , where is the atomic number. Galactic (stellar mass) black holes, assumed to be some of the most strongly curved regions of spacetime in our Universe, have near its event horizon. On these length scales, the perturbation would give rise to an energy shift ; on Earth it would be . This is unobservable in both cases.
Similarly, the effect of an accelerating worldline is studied in Dai (2016), with the leading contribution being
(10) 
If we again wish for this to be comparable to finestructure splitting, this requires , where is the Earth’s surface gravity. On Earth, this perturbation would give rise to energy shifts . While consistently a larger effect than tidal forces, this is also unobservable. Consequently, contributions from a curved background can be safely ignored in what follows.
iii.2 Chameleon profile
In the rest frame of the nucleus, a background chameleon can be Taylor expanded to give . The constant is the chameleon’s vacuum expectation value (vev) in the neighborhood of the atom, and is a background gradient. Overlaying this background is a local profile due to the presence of the nucleus. Linearizing Eq. (5b) about , and considering only static solutions, we obtain
(11) 
where is the flatspace Laplacian, and overbars denote a quantity evaluated at , e.g., . This equation retains only the two dominant sources for , the mass and the Coulomb field of the nucleus. Several subleading terms have been safely discarded:

On the lhs, we ignore the kinetic term which describes a localbackground chameleon interaction. If the background changes on a length scale , and the Bohr radius is , then this term is suppressed by at least a factor relative to .

On the rhs, we have ignored the magnetic moment of the nucleus. The resulting magnetic field is always several orders of magnitude weaker than the Coulomb field. Note that excluding the magnetic contribution here does not preclude us from studying the leading chameleon effect on hyperfine structure in Sec. V.4.

We have also ignored any largescale, background electromagnetic fields. Relaxing this assumption would give rise to two types of terms. The first are purely background terms , which source the background chameleon
^{1} , having no bearing on the form of . The second type are cross terms proportional to and . The conclusions of this paper hold provided in the vicinity of the nucleus, which is typical for environments that host atoms, rather than ions. 
Finally, we have also ignored the term that accounts for the chameleon’s effective mass in this environment,
(12) where is the background matter density. This expression omits background electromagnetic fields, whose effect is typically small compared with the matter density. We can neglect this term if the local chameleon’s Compton wavelength is much larger than the Bohr radius, that is, . This is easily satisfied by most, if not all, screening mechanisms of physical interest. Of course, our results equally apply to unscreened scalar fields with mass below this upper limit.
Taking the electric field to be (see Sec. III.4), the solution is
(13) 
In what follows, one finds that always accompanies a factor of , and always accompanies the finestructure constant . The reason for this is clear: The effect of is to induce an effective gravitational constant, while induces an effective finestructure constant. For brevity, we will henceforth write
(14) 
We will also drop the overbars on and .
iii.3 Metric perturbations
This local chameleon field and the mass of the nucleus go on to source a metric perturbation . Linearizing Eq. (5a), we find
(15) 
The stress tensor of the nucleus is , and the linearized Einstein tensor is
(16) 
where is the tracereversed metric perturbation. For similar reasons, we have ignored the term that is of the order on the rhs of Eq. (15).
It is easy to verify that this has the solution
(17) 
where the first term is the familiar weakfield metric with Newtonian potential , and the second is a fifth force potential . Defining , the metric can be written as
(18) 
The nonvanishing components of the Christoffel symbols are
(19) 
It will later prove useful to express the metric in terms of the vierbeins , , where hatted Roman indices denote local Lorentz indices. When the distinction is unnecessary, the hats will be dropped. Their dual vector fields are defined as . For the weakfield metric in Eq. (18), these are
(20) 
Also useful are expressions for the Ricci tensor, whose nonvanishing components are
(21) 
iii.4 Maxwell equations
In the Lorenz gauge , Eq. (5c) can be rewritten as
(22) 
which must be solved on the weakfield metric to consistently keep all terms linear in . Ignoring any largescale, background electromagnetic fields as before, we expand , where describes the bare electric and magnetic fields of the nucleus,
(23) 
sourced by its charge and magnetic moment, respectively. The constant is as defined in Sec. III.2, is the spin operator of the nucleus, and is proportional to the nuclear gyromagnetic ratio
Linearizing Eq. (22), we obtain
(24a)  
(24b) 
These equations admit the natural interpretation that gravitational effects generate secondary charges and currents, which then source corrections to the bare electromagnetic fields. The appropriate boundary condition for is, therefore, that it vanishes in the absence of these effects. Said differently, we demand that the complementary functions be zero. For the zerothorder gauge fields as given in Eq. (23), the solutions are
(25a)  
(25b) 
The Lorenz gauge at first order is
(26) 
and we have verified that our solutions satisfy this condition.
Iv Hamiltonian
In the previous section, we obtained classical solutions for the gravitational, electromagnetic, and chameleon field profiles sourced by a nonrelativistic nucleus fixed at the origin. This section derives the Hamiltonian for an electron moving in such a background. In the Jordan frame, the chameleon couples to the electron only indirectly through its effect on the metric and gauge fields, making the Dirac equation the natural starting point,
(27) 
It is certainly within our prerogative to take the nonrelativistic limit once we have obtained the Hamiltonian, as is sometimes done, but this comes with little advantage. Working with the relativistic wave functions is only marginally more involved, whereas a nonrelativistic expansion in orders of generate an unnecessarily long list of terms to deal with. For these reasons, our calculations are kept relativistic throughout.
Our conventions follow mostly those of Parker (1980), where the positiondependent gamma matrices satisfy . We can of course write , where are the flatspace variants. The electron has charge , and thus has covariant derivative , with spin connection
(28) 
The matrices are the generators of the Lorentz algebra. For the weakfield metric in Eq. (18), this evaluates to
(29) 
Additive corrections from chameleon effects (eV)  Standard uncertainties 


Transition  term  term  term  term  
0.31  2.5  0.010  
0.31  0.028  9.0  

— 
Multiplying Eq. (27) by on the left, we obtain the Schrödinger equation with Hamiltonian
(30) 
To linear order in the perturbations, this can be written as
(31) 
where the unperturbed Hamiltonian for a oneelectron atom is
(32a)  
with momentum operator . The matrices and satisfy the algebra , , and . The coupling between the nuclear magnetic moment and the electron’s angular momentum gives rise to a hyperfine structure and is treated as a small perturbation,  
(32b)  
The remaining perturbations encapsulate gravitational effects. We categorize them as finestructure and hyperfinestructure corrections, the former containing all the terms independent of the nuclear spin. These are  
(32c)  
whereas the hyperfine structure corrections are  
(32d) 
We note that the Hamiltonian receives other perturbations due to vacuum polarization, relativistic recoil, finite nuclear size effects, and so on Mohr et al. (2016); Horbatsch and Hessels (2016), which we will collectively refer to as “QED corrections.” As they contribute additively to the energy levels, there is no need to write them down explicitly, although they turn out to play an important role in Sec. V.5.
So far, our derivation has kept both the chameleon and Newtonian potential for completeness. Making a rough estimate of their relative contributions, as we did in Sec. III.1, we find unsurprisingly that perturbations from the latter are unobservable. Specifically, we make the substitutions
(33) 
where is of the order of the Bohr radius. With these replacements, the Newtonian terms all give a contribution of the schematic form , which corresponds to a measly energy shift of in hydrogen. It follows that for gravitational strength couplings , , the chameleon also causes energy shifts of a similar size. However, for strong couplings , , this, in principle, may lead to observable effects. The remainder of this paper is concerned with such a possibility, and we will henceforth neglect the Newtonian potential terms.
V Discussion
v.1 Atomic precision test constraints
Having included the effect of a chameleonphoton interaction sourcing corrections to the electromagnetic fields, our Hamiltonian differs from that in Brax and Burrage (2011). It is therefore worthwhile beginning our discussion by revisiting some of their analyses. The chameleon finestructure corrections are
(34) 
We have ignored the background gradient for now, as this is constrained by torsion experiments Khoury and Weltman (2004a) to be negligible on Earth. Its effect in unscreened environments is considered in Sec. V.5.
The second term in Eq. (34) is, roughly speaking, a coupling between the electron spin and the chameleon. For spherically symmetric profiles as in Eq. (13), this term has a zero expectation value because of an exact cancellation between components of the electron wave function Adkins (2008) (further details are also given in the Appendix). However, this is no longer true if we relax any of the first three assumptions made in Sec. III.2, as these will generically break spherical symmetry. We do not consider such complications in this paper since we expect them to be subleading. Nevertheless, this term is interesting because it does not appear altogether if we work in the Einstein frame. This suggests an inequivalence between the two frames, and is discussed in Sec. V.6.
For now, the remaining terms of interest give
(35) 
where and are radial expectation values. Explicit expressions are given in Suslov (2009) and are reproduced in the Appendix. Note that only the terms were taken into account in Brax and Burrage (2011).
Let us define the additive correction to the energy of a transition line as , for two states . Then the Ly line has an extra correction due to chameleon effects (see Table 1 for the full expression). As was found in Brax and Burrage (2011), the dominant term, assuming is not very much larger than , comes from the mass of the nucleus sourcing a chameleon profile, which then couples to the electron mass via the metric. This is encapsulated in the term. Also worth mentioning is the term, which can be thought of as a chameleonmediated backreaction of the electric field on itself. Containing a factor of , this term allows us to set an upper bound on , whereas previously only an upper bound on the product was possible.
We constrain these parameters as follows: Also provided in Table 1 are the standard theoretical uncertainties for the energy level of each state as predicted by QED, and the standard uncertainty associated with the experimental measurement . For a conservative bound, we simply add these together to form a total standard uncertainty . For the Ly line, we therefore require that the chameleon effects be smaller than , which yields (see also Fig. 1)
(36) 
at the 68% confidence level. We have repeated this exercise for all hydrogen lines in Table XVI of Mohr et al. (2016) with a relative standard uncertainty better than , concluding that the tightest bounds from hydrogen indeed come from the Ly line. (We will later see in Sec. V.4 that the 21 cm line has little constraining power.) It is worth commenting that our bound on is marginally better than what was found in Brax and Burrage (2011) purely because we have used more recent values of .
Limited by the theoretical uncertainty , our updated constraints remain far from competitive and are unlikely to improve in the foreseeable future. The best bounds to date come from atom interferometry experiments Burrage et al. (2015); ?, which are able to constrain
v.2 Regularizing singularities
At this point, we must clarify a caveat to our calculations in Table 1. The integral formally diverges for and states, because their wave functions are nonzero at the origin, and a chameleoninduced correction to the Coulomb potential is sufficiently steep. This is unphysical, and we naturally expect the finite size of the nucleus to regularize this divergence. For radii smaller than the nuclear charge radius , the bare Coulomb potential is replaced by , where is some form factor due to the nuclear charge distribution. As a crude example, for a uniformly charged sphere. In principle, this is calculable for any given model charge distribution, but we will remain agnostic about the exact form of in our argument. The delta function approximating the mass density of the nucleus must also be replaced by some distribution for .
As a result, the () dependence of each of the terms in the perturbation Hamiltonian becomes
(37) 
where is the corresponding form factor, which is generally different for each term in . Since the mass and charge distributions of the nucleus are now regular near the origin, so is . Further assuming that and , and their first derivatives, match at the boundary , this suggests is bounded between and , but of order unity. At leading order, we can approximate .
Therefore, and only when necessary, we regularize the expectation values using a cutoff radius,
(38) 
Rather than keep an explicit factor of in the first integral, we absorb its unknown value into , which we then allow to differ slightly from . The integral depends (almost) logarithmically on (see Fig. 2), suggesting that this term is not sensitive to the detailed nuclear structure and that our approximation captures the physics sufficiently well. We therefore set in this paper, where is the mass number and is the proton radius.
We further note that all the divergent terms in , once regularized, predict energy shifts that are many orders of magnitude smaller than those predicted by the other, finite terms. So even if one were uneasy about this procedure, it does not discount the predictive power of the finite terms. Given that we believe we have a good understanding of why and how these singularities should be removed, we have found it interesting to include their effects in our discussion.
v.3 Lamb shift and the proton radius puzzle
Both the and terms have a similar radial dependence, but they arise from different physics. The former is the mass of the nucleus sourcing a correction to the electric field, which explains the factor of . The latter is the electric field sourcing a chameleon profile, which couples to the electron mass via the metric, thus picking up a factor of . The inclusion of the term in this work explains why we find a much larger correction to the Lamb shift, on the order of for hydrogen.
It is interesting to ask if this larger contribution is able to resolve the proton radius puzzle. Stated simply, the puzzle is a discrepancy between measurements of the proton charge radius from experiments using electronic and muonic hydrogen. Electronproton scattering and measurements of hydrogen and deuterium transition lines give Mohr et al. (2016), whereas a measurement of the Lamb shift in muonic hydrogen Antognini et al. (2013) gives . One approach to resolving this puzzle, and the one employed here, is to assume that the radius inferred from electronic hydrogen experiments is accurate. One then has to introduce “new physics” that gives a correction Carlson (2015) to resolve the discrepancy between the theoretical and experimental values of the muonic Lamb shift.
The solid line in Fig. 1 shows the set of possible values of and that allow the chameleon to resolve this puzzle, and is ruled out by constraints placed in Sec. V.1. The dotted line shows the same set of values inferred from the previous analysis in Brax and Burrage (2011). While the ratio of the to terms is of order in electronic hydrogen, this reduces to in muonic hydrogen, explaining why the solid line is lowered only by an order of magnitude. Many other solutions have been proposed (see Carlson (2015) for a review, and Burgess et al. () which introduces no new physics but proposes a change of boundary conditions at small on the electron wave function), although the puzzle still remains an open problem.
v.4 Hyperfine splitting
We consider the effects of the nuclear spin in this section. We have neglected a magnetic contribution as a source for the chameleon profile in Eq. (11), as it is subleading with , whereas all terms here are linear in . Once again ignoring the background gradient , the Hamiltonian is
(39) 
Both terms have operators of the form , not unlike the hyperfine structure term in Eq. (32b), and hence can be treated using similar methods. Following the approach in Rose (1961); ?, we find
(40) 
where is a quantum number, related to the angularmomentum quantum numbers and by Eq. (3); is the total angular momentum of the system; and is a radial expectation value, with denoting the projection of the Dirac matrices along the radial direction. For and states, both and are singular, and we regularize just as we did for in Sec. V.2.
We find that the groundstate hyperfine transition picks up the correction
(41) 
We have included a rough uncertainty in the second term because the integral depends on the cutoff as (this behavior is briefly explained in the Appendix). It follows that this term is more sensitive to the form factor . We expect that the uncertainty due to our crude approximation can be at most , which is reflected in the above equation.
For comparison, the leading hyperfinestructure term [Eq. (32b)] gives an energy splitting in hydrogen. While measurements of this transition have been performed with great precision, achieving relative standard uncertainties at the level of Karshenboim (2005), larger theoretical uncertainties make this transition illsuited for constraining parameters. This arises from a poor understanding of how the nucleus affects these states. However, even if theoretical predictions were able to match experimental precision, it is easy to check that this still produces weaker bounds on and than in Eq. (36).
v.5 Equivalence principle violations
Our discussion so far has been concerning chameleon effects that might be present on Earth. In unscreened, astrophysical environments, the chameleon vev and its gradient can lead to violations of the Einstein equivalence principle (EP).
Recall that the effect of is to induce effective gravitational and finestructure constants [Eq. (14)]. If this has a value on Earth, we normalize , such that the bare constants and take their usual measured values. Deviations of and from unity give rise to a fractional change in all energy levels. For nonrelativistic states with , the grossstructure energy levels are approximated by the modified Rydberg formula
(42) 
For sufficiently different from unity, this can be an observable effect. However, because this fractional change applies equally to all transition lines, distinguishing it from a cosmological redshift is difficult. In fact, it has long been understood that the spectra of manyelectron atoms is far more sensitive to variations in the finestructure constant. In particular, comparing absorption lines of Fe V and Ni V in the atmospheres of white dwarfs with those measured in the laboratory has been found to be a useful probe of this effect Berengut et al. (2013); ?.
We might wonder if the gradient stands a better chance of detection in hydrogen. It leads to a finestructure correction
(43) 
where we have aligned the axis of the atom’s rest frame with in the second equality. This term is analogous to the Stark effect. As is an oddparity operator, the matrix element vanishes unless the states have opposite parity. This operator therefore mixes degenerate states with the same principal quantum number but with differing angularmomentum quantum numbers , such as states in the and levels. The energy splitting and the eigenstates can then be found using standard methods of degenerate perturbation theory. Unfortunately, QED corrections Mohr et al. (2016); Horbatsch and Hessels (2016) much larger than this chameleon effect lift such degeneracies, nullifying any response to the presence of a chameleon gradient. The degeneracy between the and levels is famously broken by the Lamb shift, for instance.
How large must the background gradient be that its effect is not forbidden by QED corrections? If Eq. (43) is to be comparable to, or greater than, the Lamb shift , we require where we recall that is the surface gravity on Earth. The best candidates for extreme surface gravities are neutron stars, but even they have surface gravities of “only” . But this large surface gravity also implies that a chameleon will be screened by the thinshell effect Khoury and Weltman (2004a), so its gradient .
The chameleon gradient also generates a hyperfinestructure correction
(44) 
The relevant matrix elements are between states with different total angularmomentum quantum numbers, but with identical electron quantum numbers and . For instance, the 21cm line from the groundstate splitting has in both states. Since the part of the operator in Eq. (44) acting on the electron has odd parity, whereas the relevant matrix elements are between electron states of equal parity, this term also gives no contribution.
v.6 Comparisons with the Einstein frame
When transforming to the Einstein frame, one conventionally makes the field redefinition Brax et al. (2011), where and are the spinors in the Einstein and Jordan frames, respectively. This recovers a canonical kinetic term for , but because multiplies the mass term in the Dirac action by one extra power, now has a chameleondependent mass . This result has occasionally been used to claim that the energy of Rydberg states [Eq. (42)] also includes a factor of . Indeed, had we repeated all of our calculations in the Einstein frame, we would find stray or missing factors of in our equations. This is a reflection of the fact that physical equivalence is preserved only if the units used to measure length, time, and energy also scale with appropriate factors of when transforming between the two frames Faraoni and Nadeau (2007). Accounting for this ensures that no factor of is present in Eq. (42), as is to be expected, since energies are observable quantities that should be independent of the choice of frame.
There is a second subtlety at play here. We found in the Jordan frame that the chameleon couples to the electron mass via its effect on the metric. In the Einstein frame, the chameleon has no backreaction on the metric at linear order
Vi Conclusions
The effects of a chameleon on the spectrum of oneelectron atoms can be categorized into three broad classes: fine and hyperfine corrections due to physics in the atom’s rest frame, the generation of EPviolating terms due to a background gradient in unscreened environments, and through the induction of effective constants of nature due to a local vev.
Previous studies Brax and Burrage (2011) have already understood that the mass and electromagnetic fields of the nucleus generate a local chameleon profile, which then perturbs the Hamiltonian. We find that, additionally, the chameleon field acts as a secondary charge and current source (Sec. III.4), leading to corrections to the bare electromagnetic fields. These give rise to perturbations in the Hamiltonian at the same order. Including this effect predicts a correction to the Lamb shift that is larger by a factor of in the case of hydrogen, prompting us to reconsider the prospects of resolving the proton radius puzzle with a chameleon (Sec. V.3). We quickly find that this is ruled out by constraints on the matter and photon couplings, and , obtained using precise measurements of hydrogen transition lines (Sec. V.1). The Ly line remains the most stringent constraint, bounding and . These are universal to all screening mechanisms, provided only that the chameleon’s effective mass in the laboratory satisfies . Although an improvement over Brax and Burrage (2011), these remain far from competitive and are unlikely to improve in the foreseeable future. (Tighter constraints obtained from other methods in the literature are discussed at the end of Sec. V.1, or see Burrage and Sakstein (2016) for a review.)
Including the effects of the nuclear spin (Sec. V.4) allows for the study of hyperfinestructure corrections. As these terms contain steep potentials and , their expectation values formally diverge for and states, whose wave functions are nonzero at the origin. Such singularities are removed by finite nuclear size effects, which we have modeled by imposing a cutoff at the nuclear radius (see Sec. V.2). After regularization, we find that the predicted energy shifts are too small to place better bounds on and .
A background chameleon gradient generates EPviolating terms in the Hamiltonian, but simple parity arguments show that their expectation values must vanish (Sec. V.5). Though disheartening in terms of observational prospects, it is interesting and somewhat surprising that, at linear order, oneelectron atoms are blind to the presence of a background chameleon. While secondorder terms will likely be parityeven and give a nonzero contribution, at this order we expect such terms to be too strongly suppressed to be useful.
Consequently, the most likely effect to be observed is also the simplest: The local vev of a chameleon, when coupled to the photon, gives rise to energy shifts by inducing an effective finestructure constant . As this leads to the same fractional change in all energy levels, detecting variations in between observer and source proves challenging since it would be indistinguishable from a cosmological redshift. Instead, we propose looking for this effect in settings where the finestructure constant varies across the spatial extent of the source. As an example, it has recently been shown Burrage et al. (2017) that the effect of cold dark matter on the radial acceleration relation of rotationally supported galaxies can be mimicked by a symmetron only partially screened on galactic scales. In such instances, the symmetron profile changes appreciably (at the percent level for a diskdominated mass budget) between the center and outer regions of the galaxy. In fact, since the rotation curves for these galaxies Lelli et al. (2016) are inferred from hydrogen spectroscopy, a symmetronphoton coupling would lead to an interesting interplay of effects. In the bestcase scenario, this might further improve the agreement between theory and data. We hope to explore this in future work.
Acknowledgements.
It is a pleasure to thank Clare Burrage for helpful discussions. This work was supported by Science and Technology Facilities Council United Kingdom Grants No. ST/L000385/1 and No. ST/L000636/1. L.K.W. also acknowledges the support of the Cambridge Commonwealth, European and International Trust.*
Appendix: Radial Expectation Values of the Hydrogen Wave Function
The unperturbed Hamiltonian for a oneelectron atom is given in Eq. (32a), where the Dirac matrices take the form
(1) 
in the DiracPauli representation, and are the usual Pauli matrices. In this representation, we can write
(2) 
The spinor spherical harmonics are the eigenstates of the operators