You are on page 1of 26

Equivalence Principle Implications of Modified Gravity Models

Lam Hui∗ and Alberto Nicolis†


Institute for Strings, Cosmology and Astroparticle Physics (ISCAP),
Department of Physics, Columbia University, New York, NY 10027, U.S.A.

Christopher W. Stubbs‡
Department of Physics, Harvard University, Cambridge, MA 02138, U.S.A.
(Dated: May 18, 2009)
Theories that attempt to explain the observed cosmic acceleration by modifying general relativity
arXiv:0905.2966v1 [astro-ph.CO] 18 May 2009

all introduce a new scalar degree of freedom that is active on large scales, but is screened on small
scales to match experiments. We demonstrate that if such screening occurrs via the chameleon
mechanism, such as in f (R) theory, it is possible to have order unity violation of the equivalence
principle, despite the absence of explicit violation in the microscopic action. Namely, extended
objects such as galaxies or constituents thereof do not all fall at the same rate. The chameleon
mechanism can screen the scalar charge for large objects but not for small ones (large/small is defined
by the depth of the gravitational potential, and is controlled by the scalar coupling). This leads to
order one fluctuations in the ratio of the inertial mass to gravitational mass. We provide derivations
in both Einstein and Jordan frames. In Jordan frame, it is no longer true that all objects move on
geodesics; only unscreened ones, such as test particles, do. In contrast, if the scalar screening occurrs
via strong coupling, such as in the DGP braneworld model, equivalence principle violation occurrs
at a much reduced level. We propose several observational tests of the chameleon mechanism: 1.
small galaxies should accelerate faster than large galaxies, even in environments where dynamical
friction is negligible; 2. voids defined by small galaxies would appear larger compared to standard
expectations; 3. stars and diffuse gas in small galaxies should have different velocities, even if they
are on the same orbits; 4. lensing and dynamical mass estimates should agree for large galaxies but
disagree for small ones. We discuss possible pitfalls in some of these tests. The cleanest is the third
one where mass estimate from HI rotational velocity could exceed that from stars by 30% or more.
To avoid blanket screening of all objects, the most promising place to look is in voids.

PACS numbers: 98.80.-k; 98.80.Es; 98.65.Dx; 98.62.Dm; 95.36.+x; 95.30.Sf; 04.50.Kd; 04.80.Cc

I. INTRODUCTION (or even multiple light fields) to modify gravity 1 . While


such a scalar is welcome phenomenologically on cosmo-
logical scales, it must be suppressed or screened on small
The surprising finding of cosmic acceleration about ten scales to satisfy stringent constraints from solar system
years ago has motivated a number of attempts to modify and terrestrial experiments. The two classes of theories
general relativity (GR) on large scales. They fall roughly have quite distinctive screening mechanisms. Curvature-
into two classes. One involves adding curvature invari- invariant theories such as f (R) screen the scalar via
ants to the Einstein-Hilbert action, the most popular ex- the so-called chameleon mechanism, essentially by giv-
ample of which is f (R) theory [1, 2]. The other involves ing the scalar a mass that depends on the local density
giving the graviton a mass or a resonance width, the most [17, 18, 19]. Theories such as DGP screen the scalar à
well known example of which is the Dvali-Gabadadze- la Vainshtein [16], namely strong coupling effects supress
Porrati (DGP) braneworld model [3, 4]. The first class the scalar on small scales [7, 8].
of theories is equivalent to the classic scalar-tensor the-
ories [5, 6]. The second class of theories is more subtle Our goal in this paper is to study how extended objects
but also reduces to scalar-tensor theories on sub-Hubble move in the presence of these two screening mechanisms.
scales [7, 8]. In the context of DGP, the extra scalar We will keep our discussion as general as possible even
can be thought of as a brane-bending mode. In fact,
it appears the extra dimension is not even necessary—
four dimensional ghost-free generalizations of the DGP
1 This is not surprising given a famous theorem due to Weinberg
model exist where it is the nonlinear interaction of the
[10] which states that a Lorentz invariant theory of a massless
scalar that causes self-acceleration [9]. spin two field must be equivalent to GR in the low energy limit.
All examples to date, therefore, introduce a light scalar Low energy modifications of gravity therefore necessarily involve
introducing new degrees of freedom, such as a scalar. Giving the
graviton a small mass or resonance width turns out to introduce
a scalar à la Stueckelberg [11]. Theories that invoke a Lorentz
violating massive graviton also involve a scalar, namely a ghost
∗ Electronic address: lhui@astro.columbia.edu condensate [12, 13]. Recent proposals for degravitation are yet
† Electronic address: nicolis@phys.columbia.edu another example of scalar-tensor theories in the appropriate lim-
‡ Electronic address: stubbs@physics.harvard.edu its [14, 15].
2

as we use f (R) and DGP as illustrative examples. In- lance of post-Newtonian expansion, such violation is an
deed, neither theory is completely satisfactory: accept- order 1/c2 effect (c is the speed of light). Order one viola-
able f (R) models accelerate the universe mostly by a tion of the equivalence principle is however observable in
cosmological constant rather than by a genuine modi- the most strongly bound objects i.e. black holes, which
fied gravity effect [20]; also from an effective field theory do not couple to the scalar at all—they have no scalar
standpoint they are not favored in any sense over more hair. This means black holes and stars fall at appreciably
general scalar-tensor theories; DGP and generalizations different rates in scalar-tensor theories [26, 27].
thereof [9] probably lack a relativistic ultra-violet com- In this paper, we wish to point out that there could be
pletion [21]. However, it is likely the screening mecha- order one violation of the equivalence principle, even for
nism, chameleon or strong coupling, will remain relevant objects that are not strongly bound, such as galaxies and
in future improvements of these theories. most of their constituents (|Φ| ≪ 1). In the parlance of
The problem of motion of extended objects has a vener- post-Newtonian expansion, this is an order 1 effect (i.e.
able history. Newton famously showed in Principia that this is not even post-Newtonian!). That this is possible
the Earth’s motion around the Sun can be computed by is thanks to the new twist introduced by recent variants
considering the Earth as a point mass. It is worth em- of scalar-tensor theories, namely their screening mecha-
pahsizing that such a result is by no means guaranteed nisms. We will show that the chameleon mechanism leads
even in Newtonian gravity. This result holds only if there to order one violation of the equivalence principle even
is a separation of scales, that the dimension of the Earth for small |Φ| objects, while the Vainshtein mechanism
is small compared with the scale on which the Sun’s grav- does not. These screening mechanisms were absent in
itational field varies, in other words that tides from the traditional treatments of scalar-tensor theories because
Sun can be ignored. More concretely, the Earth effec- the latter typically did not have a non-trivial scalar po-
tively sees a linear gradient field from the Sun; second tential (needed for chameleon) or higher derivative in-
derivatives of the Sun’s gravitational potential can be teractions (needed for Vainshtein) i.e. they were of the
safely neglected when computing the Earth’s motion. Jordan-Fierz-Brans-Dicke variety [28, 29, 30].
We will work within the same zero-tide approximation How such equivalence principle violation comes about
in this paper. It has long been known that within GR, is easiest to see in Einstein frame, where the scalar me-
under the same approximation, extended objects move diates an actual fifth force. Under the chameleon mech-
just like infinitesimal test particles. In other words, ne- anism, screened objects effectively have a much smaller
glecting tidal effects all objects move on geodesics, or scalar charge compared to unscreened objects of the same
equivalently, their inertial mass and gravitational mass mass. Hence, they respond differently to the fifth force
are exactly equal. This has been referred to as the efface- from other objects in the same environment; they then
ment principle, that the internal structure of an object, move differently. That such a gross violation of the equiv-
no matter how complicated, has no bearing on its overall alence principle is possible might come as a surprise in
motion [22]. Jordan frame. One is accustomed to thinking that all ob-
It is also well known that the same is not true in scalar- jects move on geodesics in Jordan frame. One of our main
tensor theories. In such theories, despite the universal goals is to show that this is in fact not true. Whether
coupling of the scalar to all elementary matter fields, ob- two different objects fall at the same rate under gravity
jects with different amounts of gravitational binding en- is of course a frame-independent issue; nonetheless, some
ergy will move differently. Effectively, they have different readers might find a Jordan frame derivation illuminat-
ratios of the inertial mass to gravitational mass, known ing. Here, we follow the elegant methodology developed
as the Nordtvedt effect [23].2 This apparent violation by Einstein, Infeld & Hoffmann [31] and Damour [22]
of the equivalence principle 3 is generally small because and apply it to situations where the screening mecha-
most objects have only a small fraction of their total mass nisms operate. What we hope to accomplish in part is
coming from their gravitational binding energy. In other putting the arguments of Khoury and Weltman [17, 18]
words, such violation is suppressed by Φ where Φ is the on a firmer footing, who first pointed out the existence of
gravitational potential depth of the object. In the par- the chameleon mechanism, and used Einstein frame argu-
ments to propose equivalence principle tests using artifi-
cial satellites. We also wish to establish that if screening
occurrs via the Vainshtein mechanism, there is no analo-
2 By comparing the free fall of the Earth and the moon towards the gous order one violation of equivalence principle.
sun, lunar laser ranging data already place limits on such strong
equivalence principle violation at the level of 10−4 [24], with a
It is worth emphasizing the different physical origins
factor of ten improvement expected in the near future [25]. In for equivalence principle violations of the post-Newtonian
this paper, we are interested in theories that respect these solar O(1/c2 ) type and the Newtonian O(1) type. In any
system bounds while exhibiting O(1) deviation from GR in other scalar-tensor theory, the scalar is always sourced by
environments. the trace of the matter energy-momentum tensor. In
3 In this paper, equivalence principle violation means no more and
no less than this: that different objects can fall at different rates, other words, at the level of the Einstein frame action,
or equivalently, they have different ratios of inertial to gravita- the coupling between the scalar ϕ and matter is of the
tional mass. form ϕT m , where T m is the trace of the matter energy-
3

momentum. Fundamentally, equivalence principle viola- or rule out some of the current modified gravity theories.
tions occur whenever different objects couple to ϕ dif- A guide for the readers. Readers who are interested
ferently. In a theory like Brans-Dicke, this happens be- primarily in observational tests can skip directly to §VI
cause different objects of the same mass have different where relevant results from the more theoretical earlier
T m . The degree to which their T m differs is of order 1/c2 sections are summarized. §II serves as a warm-up exercise
(i.e. ∼ Φ the gravitational potential), and so equivalence wherein we derive the equality of inertial mass and gravi-
principle violation of the Brans-Dicke type is typically tational mass in GR for exteneded objects. §III demysti-
small, except for relativistic objects whose T m is highly fies this surprising effacement property of GR by viewing
suppressed i.e. most of their mass comes from gravita- GR through the prism of a field theory of massless spin
tional binding energy. An extreme example is the black two particles. This section is somewhat of a digression
hole whose mass is completely gravitational in origin. In and can be skipped by readers not interested in the field
theories where the chameleon mechanism operates, there theoretic perspective. §IV is where we deduce the motion
is an additional and larger source of equivalence princi- of extended objects under the chameleon mechanism in
ple violation, and that is through variations in the effec- Einstein frame. The Jordan frame derivation is given in
tive scalar charge that a macroscopic object carries. The the Appendix. In §V we do the same for the Vainshtein
scalar self-interaction in a chameleon theory makes the or strong-coupling mechanism. Observational tests are
scalar charge sensitive to the internal structure of the discussed in §VI, where we also summarize our results.
object; the scalar charge is not simply given by a vol- A number of technical details are relegated to the Ap-
ume integral of T m as in Brans-Dicke, but is given by a pendices. Appendix A discusses how the requisite surface
screened version of the same. As we will see, chameleon integral in the Einstein-Infeld-Hoffmann approach can be
screening could introduce O(1) fluctuations in the scalar done very close to the object. Appendix B maps our
charge to mass ratio, even for non-relativistic objects. parameterization of general scalar-tensor theories to the
What is perhaps surprising is that this happens despite special cases of Brans-Dicke and f (R). Appendix C pro-
an explicitly universal scalar coupling at the level of the vides the Jordan frame derivation. Appendix D derives
microscopic action. One can view this as a classical renor- in detail the equation of motion under the Vainshtein
malization of the scalar charge. We will also see that in mechanism. Appendix E supplies useful results for an
theories where the Vainshtein mechanism operates, there expanding universe.
is no such O(1) charge renormalization. Therefore these A brief word on our notation: the speed of light c is
2
theories only have equivalence principle violation of the set to unity unless otherwise stated; 8πG and 1/MPl are
Brans-Dicke, or post-Newtonian, type. used interchangeably; the scalar field ϕ (or π) is chosen
Equivalence principle violations of both types dis- to be dimensionless rather than have the dimension of
cussed above, Newtonian or post-Newtonian, should be mass.
clearly distinguished from yet another type of violation,
which is most commonly discussed in the cosmology lit-
II. THE PROBLEM OF MOTION IN GENERAL
erature — where there is explicit breaking of equivalence
RELATIVITY — A WARM UP EXERCISE
principle at the level of the microscopic action, e.g. ele-
mentary baryons and dark matter particles are coupled to
the scalar with different strengths [32, 33, 34, 35, 36, 37]. We start with a review of an approach to the prob-
In this paper, we are interested in theories where this lem of motion introduced by Einstein, Infeld & Hoffmann
breaking is not put in ’by hand’ i.e. it does not exist [31] and developed by Damour [22], using GR as a warm
at the level of the microscopic action; rather, the equiv- up exercise. The idea is to work out the motion of an
alence principle violation comes about for macroscopic extended object using energy momentum conservation,
objects by way of differences in response to the screening rather than to assume geodesic motion from the begin-
mechanism. ning. It helps clarify the notion that the motion of ex-
tended objects is something that should be derived rather
Further experimental tests come to mind after our than assumed—depending on one’s theory of gravity, the
investigation of the problem of motion under the two extended objects might or might not move like infinites-
screening mechanisms. We propose several observational imal test particles.
tests using either the bulk motion of galaxies or the in- The Einstein equation Gµ ν = 8πG T m µ ν can be rewrit-
ternal motion of objects within galaxies. The chameleon ten as:
mechanism will predict gross violations of the equivalence
principle for suitably chosen galaxies while the Vainshtein G(1) µ ν = 8πG tµ ν (1)
mechanism will not. Care must be taken in carrying out
some of these tests, however, to avoid possible Yukawa where G(1) µ ν is the part of the Einstein tensor Gµ ν that is
suppression and/or confusion with astrophysical effects. first order in metric perturbations, and tµ ν is the pseudo
We point out that the most robust test probably comes energy-momentum tensor which is related to the energy-
from the measurement of internal stellar and HI velocities momentum tensor T m µ ν by
of small galaxies in voids. Systematic differences between 1
the two, or lack thereof, will put interesting constraints tµ ν = T m µ ν − G(2) µ ν (2)
8πG
4

where G(2) µ ν is the higher order part of Gµ ν , including The next step is to decompose Φ and Ψ around the
but not necessarily limited to second order terms. The surface of the sphere into two parts:
superscript m on T m µ ν is there to remind us this is the
matter energy-momentum, in anticipation of other kinds Φ = Φ0 + Φ1 (r) , Ψ = Ψ0 + Ψ1 (r) (8)
of energy-momentum we will encounter later. Note that
the identity ∂ν G(1) µ ν = 0 implies tµ ν is conserved in the where Φ0 and Ψ0 represent the large scale fields due to
ordinary (as opposed to covariant) sense. the environment/background while Φ1 and Ψ1 are the
Let us draw a sphere of radius r enclosing the extended fields due to the extended object itself. This decomposi-
object whose motion we are interested in. The linear tion can be formally defined as follows: Φ1 and Ψ1 solve
momentum in the i-th direction is given by the Einstein equation with the extended object as the
Z one and only source; Φ0 and Ψ0 are linear gradient fields
that can always be added to solutions of such an equation
Pi = d3 x ti 0 (3)
(because the equation consists of second derivatives). We
have in mind Φ0 and Ψ0 are generated by other sources
where the volume integral is over the interior of the in the environment, and they vary gently on the scale of
sphere. We assume that ti 0 is dominated by the extended the spherical surface that encloses the object i.e. their
object such that Pi is an accurate measure of the linear second gradients can be ignored:
momentum of the object itself, even though we are inte-
grating over a sphere that is larger than the object. Φ0 (~x) ≃ Φ0 (0) + ∂i Φ0 (0)xi
The gravitational force on the extended object is Ψ0 (~x) ≃ Ψ0 (0) + ∂i Ψ0 (0)xi (9)
Z Z I
Ṗi = d3 x ∂0 ti 0 = − d3 x ∂j ti j = − dSj ti j (4) where 0 denotes the center of the sphere. In other words,
we assume ∂i Φ0 and ∂i Ψ0 hardly vary on the scale of
where in the last equality we have used the Gauss law the sphere. On the other hand Φ1 and Ψ1 , the object
to convert a volume integral to a surface integral i.e. generated fields, have large variations within the sphere.
dSj = dA x̂j , where dA is a surface area element and At a sufficiently large r, we expect both to be
x̂ is the unit outward normal. As expected, the gravi-
tational force is given by the integrated momentum flux Φ1 , Ψ1 ≃ −GM/r (10)
through the surface. This is the essence of the method
i.e. dominated by the monopole.
introduced by Einstein, Infeld & Hoffmann: the problem
Note that we have carefully chosen the radius r of the
of motion is reduced to performing a surface integral—
enclosing sphere to fulfill two different requirements: that
i.e. there is no need to worry about internal forces within
r is smaller than the scale of variation of the background
the object of interest.
fields, and that r is sufficiently large to have the monopole
Assuming that T m i j at the surface of the sphere is
dominate. The latter condition simplifies our calculation
negligible, we need only consider the contribution to ti j
but is not necessary in fact, as is shown in Appendix A.
from G(2) i j (Eq. (2)). And if the surface is located at
Also we have in mind a situation where the density within
a sufficiently large distance away from the object of in-
the object of interest is much higher than its immediate
terest, we can assume the metric perturbations are small
environment—that is the definition of ‘object’ after all—
and only second order contributions to G(2) i j need to be
so that the total mass inside our sphere is dominated by
considered (without assuming metric perturbations are
the object’s.
small close to the object). In the Newtonian gauge,
Plugging the decomposition (Eq. (8)) into Eq. (6) and
ds2 = −(1 + 2Φ)dt2 + (1 − 2Ψ)δij dxi dxj , (5) performing the surface integral as in Eq. (4), we find 4

1
I
we have: Ṗi = dSj G(2) i j
8πG
G(2) i j = −2Φ(δij ∇2 Φ − ∂i ∂j Φ) − 2Ψ(δij ∇2 Ψ − ∂i ∂j Ψ) r2 h 4 ∂Ψ
1 2 ∂Φ1 i
= ∂i Φ0 − − . (11)
+∂i Φ∂j Φ − δij ∂k Φ∂ k Φ + 3∂i Ψ∂j Ψ − 2δij ∂k Ψ∂ k Ψ 2G 3 ∂r 3 ∂r
−∂i Φ∂j Ψ − ∂i Ψ∂j Φ + 2ΨG(1) i j (6) This result has several remarkable features. First, only
cross-terms between the background fields (subscript 0)
ignoring time derivatives. On the right hand side, we and the object fields (subscript 1) survive the surface
are being cavalier about the placement of upper/lower
indices—it does not matter as long as we are keeping
only second order terms. The symbol ∇2 denotes ∂k ∂ k .
The first order Einstein tensor G(1) i j is given by: 4 We have not assumed equality of Φ0 and Ψ0 , nor Φ1 and Ψ1 in
Eq. (11). Keeping their relationship general will be useful for
G(1) i j = δij ∇2 (Φ − Ψ) + ∂i ∂j (Ψ − Φ) (7) the scalar-tensor case. Eq. (11) is derived assuming only that
Φ and Ψ are subject to an object-background split with a linear
again, ignoring time derivatives. background.
5
H
integration. A term such as dSj ∂i Φ0 ∂j Ψ0 vanishes 2. We assume the metric perturbations are small at
because by assumption, ∂i Φ0 and ∂j Ψ0 are both con- the surface of the sphere that encloses the object of inter-
stant (orHnearly so on the scale of the sphere). A term est. The derivation does not assume however that metric
such as dSj ∂i Φ1 ∂j Ψ1 vanishes because both Φ1 and perturbations are small close to the object. For instance,
Ψ1 are spherically symmetric. Second, only terms pro- Eq. (16) remains valid for the motion of a black hole.
portional to ∂i Φ0 remain. There are no ∂i Ψ0 terms. This Note also that the assumption of a spherical surface is
should come as no surprise—by ignoring time deriva- not crucial—the surface can take any shape, as discussed
tives, we are in essence assuming the object is mov- in Appendix A.
ing with non-relativistic speed and so its motion should 3. We assume there is a separation of scales, that ex-
only be sensitive to the time-time part of the back- ternal tides can be ignored on the scale r of the enclosing
ground/environmental metric. surface, and that the monopole contribution dominates
Finally, plugging the monopole Φ1 and Ψ1 into Eq. at r. The last assumption can be easily relaxed. As
(11) gives us: shown in Appendix A, one could choose an r that is close
to the object, and the higher multipoles would still not
Ṗi = −M ∂i Φ0 (12) contribute to the relevant surface integral. This is an im-
portant point because the enclosing surface is purely a
which is the expected GR prediction in the Newtonian mathematical device—it should not matter what shape
limit. or size it takes, as long as it is not so big that too much
To complete this discussion, it is useful to note that of the exterior energy-momentum is enclosed or, equiva-
the mass of the object is given by lently, external tides become non-negligible.
Z Let us end this section with an interesting observa-
M = − d3 x t0 0 . (13) tion. This derivation makes use of the metric that the
extended object sources (Eq. (10)). It is intriguing that
Its time derivative Ṁ = d3 x ∂i t0 i can once again be
R what the object sources also determines how the object
responds to an external background field. In fact this is
turned into a surface integral Ṁ = dSi t0 i . Assuming
H
not surprising from the Lagrangian viewpoint, and is in
the energy flux through the surface is small, we can ap-
a sense the modern generalization of Newton’s third law:
proximate M as constant. The center of mass coordinate
the same object-field interaction Lagrangian term yields
of the object is defined by
both the source term in the field equations for gravity and
the gravitational force term in the object’s equation of
Z
X i ≡ − d3 x xi t0 0 /M . (14) motion. This will be useful in understanding how equiv-
alence principle violation comes about in scalar-tensor
Making the constant M approximation, its time deriva- theories.
tive is given by
Z  Z
Ẋ i = d3 x ∂j (xi t0 j ) − t0 i /M = − d3 x t0 i /M . III. FIELD-THEORETICAL CONSIDERATIONS

(15) The fact that when tidal effects are negligible, ex-
This is precisely Pi /M defined in Eq. (3). Taking another tended objects move along geodesics of the backgound
time derivative, we can see that Eq. (12) is equivalent to metric, looks somewhat magical if derived as above but
is in fact forced upon us by Lorentz invariance.5 In par-
M Ẍ i = −M ∂i Φ0 . (16)
ticular, it extends beyond the non-relativistic/weak-field
As expected, the center of mass of an extended object regime discussed above. For example, a small black-hole
moves on a geodesic. Its mass cancels out of the equa- falling in a very long-wavelength external gravitational
tion of motion i.e. inertial mass equals gravitational mass. field, will follow a geodesic of the latter.
That this holds independent of the internal structure of This can be shown by imposing the requirement that
the extended object is sometimes referred to as the ef- the theory of massless spin-two particles (gravitons) in-
facement principle [22]. teracting with matter be Lorentz invariant. In this sec-
It is useful to summarize the approximations or as- tion, we will thus abandon momentarily the geometric de-
sumptions we have made to obtain this result, some of scription of GR, and treat gravity as a theory of gravitons
which are crucial, some of which not. in Minkowski space. After all, from the modern quantum
1. We have taken the non-relativistic/Newtonian limit
i.e. the object has the equation of state of dust and is
slowly moving, and time derivatives of the metric are
5 In this section, we digress a bit and wish to throw some light
ignored. These assumptions can be relaxed and the ob-
on the effacement property of GR from a field-theoretical per-
ject would still move on geodesics. For instance, photons spective. Readers interested mainly in the problem of motion in
surely move on geodesics in GR, but we will not dwell on scalar-tensor theories can skip to the next section without loss
the proof here. in the continuity of the logic.
6

field theory (QFT) viewpoint this approach is what legit- We recognize in parentheses the first order expansion of
imizes GR as a theory of gravity in the first place: GR is the point-particle action in GR:
the only consistent low-energy Lorentz-invariant theory Z
of interacting massless spin-two particles. GR
p
Spp = −M dτ −gµν ẋµ ẋν (21)
So, let’s describe gravitons in flat space via a tensor
field hµν . We want to exploit the smallness of the ob-
ject in question with respect to the typical variation- with metric gµν = ηµν + hµν . In fact, one can show
scale of the external gravitational field. What we can that because of the gauge-invariance (17) (which is also a
do then, is treat the object as a point-particle with tra- consequence of Lorentz-invariance), the non-linear inter-
jectory xµ (τ ), and couple it to the graviton field in all actions between hµν and the point-particle (which make
possible ways allowed by symmetry. (Here the xµ ’s are up part of the ‘dots’ in eq. (20)), as well as the (low-
flat-space coordinates, and τ is flat-space proper-time: energy) graviton self-interaction of Sgrav , must combine
dτ 2 = −ηµν dxµ dxν .) This yields an effective field the- to yield the usual GR expressions. The remainder of the
ory valid for wavelengths much longer than the object’s ‘dots’—interactions involving higher derivatives of hµν —
size. The important symmetry for us is just Lorentz- encode non-minimal couplings of hµν with the particle’s
invariance. When applied to gravitons, this also demands multipole moments [40], which lead to tidal effects. These
invariance under gauge transformations however are negligible for very long wavelength gravita-
tional fields, their relative importance being suppressed
hµν → hµν + ∂ν ξµ + ∂µ ξν , (17) by powers of a/λ, where a is the object’s size, and λ the
graviton’s wavelength.
see e.g. ref. [38]. However at the order we will be working,
These are of course very well known notions. We re-
this is not relevant. The low-energy effective action is
viewed them here, to contrast the very constrained situ-
Z ation of GR with a generic scalar-tensor theory. For GR,
Seff = −M dτ + Sgrav [hµν ] any object will source and respond to long-wavelength
Z gravitational fields as if it were a point particle: the
−M f dτ hµν S µν + . . . (18) equivalence between inertial and gravitational masses is
guaranteed by Lorentz invariance, and as a consequence
The first line is just the sum of the free point-particle it is totally independent of the object’s internal struc-
action and of the pure gravity action, which includes ture, and of the forces that are keeping the object intact
the graviton free action as well as all graviton self- (including the gravitational one). It applies equally to
interactions. In the second line, we explicitly display one macroscopic objects with non-relativistic structure (like
interaction term between hµν and the point-particle. S µν e.g. a very soft, very cold gas cloud) and to those with
is a Lorentz-tensor built out of the point-particle degrees a very relativistic one (like e.g. a black hole). Notice
of freedom: its trajectory xµ (τ ), as well as possibly inter- that the parameter M appearing in eq. (20) is the total
nal degrees of freedom such as spin, multipole moments, physical mass of the object, which includes all classical
etc.; f is a coupling constant. For convenience, we pulled and quantum contributions to it. Among the former we
out of f an explicit factor of the particle’s mass M . The have, on top of the constituents’ masses, the classical
dots stand for additional interactions, which involve ei- binding energy of a macroscopic system. In fact this is
ther higher powers of hµν , or derivatives thereof, or both. just the tree-level approximation of the quantum contri-
Now, Weinberg [39] showed that for this effective the- butions, which are particularly relevant for microscopic
ory to be Lorentz-invariant, in the low-energy graviton systems where the bulk of the physical mass is quantum-
limit: mechanical in origin, like e.g. for the proton. Wein-
berg’s argument [39] shows that upon quantum correc-
i) S µν must be totally independent of the internal de- tions, the inertial and gravitational masses of a quantum-
grees of freedom, and given by mechanical system get renormalized by exactly the same
multiplicative factor 6 .
S µν = ẋµ ẋν . (19) No analogous statement can be made for scalar cou-
plings. Consider indeed a scalar-tensor theory for gravity.
ii) The coupling constant f must be universal, that is, Also assume that it is a ‘metric’ theory, which means that
the same for all particles. there is a conformal frame (Jordan’s) where matter-fields
are all minimally coupled to the same metric. This is the
This is nothing but the equivalence “principle”, which
from this viewpoint is rather a theorem. Indeed, since
f is a universal constant, we can absorb its value into a
redefinition of hµν . Let’s therefore set it to 1/2, so that 6 This is the gravitational analogue of a similar—but not quite as
the effective action becomes powerful—statement for electric charges: quantum corrections
Z renormalize all charges by the same multiplicative factor, be-
cause charge renormalization can be thought of as wave-function
Seff = −M dτ 1 + 21 hµν ẋµ ẋν + Sgrav [hµν ] + . . . (20)

renormalization for the photon field. See e.g. ref. [38].
7

closest we can get to implementing the equivalence prin- The lesson is this: from the low-energy point-particle
ciple. Now, upon demixing the scalar ϕ from the graviton action viewpoint, the charges Q for different objects are
hµν (that is, in Einstein frame), this prescription corre- free parameters, and are not forced to be related to
sponds to a direct coupling ϕ T m between the scalar and the corresponding total inertial masses M in any way.
matter fields, where T m = T m µ µ is the trace of the mat- Therein lies the seed for equivalence principle violation.
ter energy-momentum tensor. The problem with such a
coupling is that T m is not associated with any conserved
charges. That is, in the above point-particle approxima-
tion, extending GR to a scalar-tensor theory (in Einstein
IV. THE PROBLEM OF MOTION IN
frame) amounts to adding an interaction term
SCALAR-TENSOR THEORIES — SCREENING
Z BY THE CHAMELEON MECHANISM
Sint = Q dτ ϕ + . . . , (22)
The fact that different objects might fall at different
as well as of course a Lagrangian for ϕ, its self- rates in scalar-tensor theories is easiest to see in Einstein
interactions, and its interactions with hµν . The dots in frame—the scalar ϕ mediates a fifth force and the equiv-
Sint denote interactions involving derivatives of ϕ, which alence principle is violated whenever the scalar charge
can be thought of as multipole interactions—negligible to mass ratio fluctuates between objects. On the other
for a long-wavelength scalar field. Now, the coupling Q hand, that this should be true in Jordan frame might
is the spatial integral of T m over the object’s volume, come as a bit of a surprise: afterall, are not all objects
and is not a conserved charge. So, for instance, if we supposed to move on geodesics in Jordan frame? We
consider a collapsing sphere of dust eventually forming therefore present two different derivations, one in each
a black-hole, its coupling to hµν (the mass M ) is con- frame. The Einstein frame derivation is presented in
served throughout the collapse, whereas its coupling to §IV A. The Jordan frame derivation is briefly summa-
ϕ (the scalar charge Q) is not: as the dust particles be- rized in §IV B with details given in Appendix C. In addi-
come more and more relativistic, their T m approaches tion, Appendix B describes how to map our description
zero, even as the total mass M remains constant, domi- of general scalar-tensor theories to the special cases of
nated more and more by gravitational binding energy. In Brans-Dicke and f (R).
fact we already know that for a black-hole, which is the
end product of our example, Q must be zero, because of The Einstein frame action is
the no-hair theorem [41]: a black-hole cannot sustain a Z
scalar profile, which in our language means that in the p h i
S= 2
MPl ˜ µ ϕ∇
d4 x −g̃ 12 R̃ − 21 ∇ ˜ µ ϕ − V (ϕ)
point-particle approximation it cannot couple to a long-
wavelength ϕ. So, in comparing how a black-hole and a
Z
non-relativistic gas cloud fall in a very long-wavelength + d4 x Lm (ψm , Ω−2 (ϕ)g̃µν ) . (23)
scalar-tensor gravitational field, we expect order one vi-
olation of the equivalence principle: the black-hole will
not follow a geodesic of the Jordan-frame metric. Here, ˜denotes quantities in Einstein frame, R̃ is the Ein-
In general, even if we start with a universal coupling ˜ µ ϕ∇
stein frame Ricci scalar, ∇ ˜ µ ϕ is supposed to remind
ϕ T m at the microscopic level, the ratio Q/M for ex- us that the contraction is performed with the Einstein
tended objects will be object dependent, and sensitive frame metric g̃µν (there is otherwise no difference be-
to how relativistic the object’s internal structure is: it tween ∇ ˜ µ ϕ and ∇µ ϕ: ∇
˜ µ ϕ = ∇µ ϕ = ∂µ ϕ). The symbol
will be one for very non-relativistic objects (with a suit- ϕ denotes some scalar that would contribute to a fifth
able normalization of ϕ), and zero for black holes. This force. Upon a field-redefinition, its kinetic term can al-
kind of variation in Q/M , which is relativistic in nature ways be written as in eq. (23). For notational conve-
(O(1/c2 ) in a post-Newtonian expansion), is available to nience for what follows, we decide to factor an MPl 2
out
all scalar-tensor theories. As we will see, theories where of the whole scalar-tensor gravitational action. With this
the chameleon mechanism is at work possess an addi- normalization ϕ is dimensionless. We assume ϕ has a
tional and more dramatic source of Q/M variation—it potential V (ϕ), which given our normalization has mass-
can be O(1) even for non-relativistic objects. This screen- dimension two. The symbol ψm denotes some matter
ing mechanism arises from a particular kind of scalar self- field whose precise nature is not so important; the most
interaction, and it results in a scalar charge Q not just important point is that it is minimally coupled not to g̃µν
determined by an integral of T m , but also by the precise but to Ω−2 (ϕ)g̃µν , which is precisely the Jordan frame
non-linear dynamics of the scalar itself close to the ob- metric:
ject. Essentially, the scalar field profile sourced by the
object at short distances contributes, via non-linearities,
gµν = Ω−2 (ϕ)g̃µν . (24)
to the coupling of the object to a long-wavelength exter-
nal scalar. (As we will see, for the Vainshtein mechanism
this scalar charge renormalization does not occur.) Performing the conformal transformation gives us the
8

Jordan frame action: Following the derivation in the GR case (§II), we perform
Z
√ h an object-background split, derive solutions to the object
S = MPl d4 x −g 12 Ω2 (ϕ)R − 21 h(ϕ)∇µ ϕ∇µ ϕ
2
fields, and compute an integral of momentum flux over
i an enclosing sphere to find the net gravitational force on
−Ω4 (ϕ)V the extended object.
Z
+ d4 x Lm (ψm , gµν ) (25)
Object-background Split
where
" 2 # We work in the Newtonian gauge:
∂ ln Ω2

3
h(ϕ) ≡ Ω2 1− . (26) ds2 = −(1 + 2Φ̃)dt2 + (1 − 2Ψ̃)δij dxi dxj . (33)
2 ∂ϕ
As before (Eq. (8)), we carry out a decomposition of the
The matter energy-momentum in the two frames (defined fields at some radius r away from the object:
as the derivative of the action w.r.t. the corresponding
metric) are related by: Φ̃ = Φ̃0 + Φ̃1 (r) , Ψ̃ = Ψ̃0 + Ψ̃1 (r) , ϕ = ϕ0 + ϕ1 (r)(34)
m 2 m
T µν = Ω (ϕ)T̃ µν . (27) where the subscript 0 denotes the back-
ground/environmental fields and the subscript 1
In anticipation of the fact that we will be carrying out
denotes the object fields. The background fields are
perturbative computations, let us point out that Ω2 (ϕ)
assumed to be well approximated by linear gradients:
must be close to unity for the metric perturbations to be
small in both Einstein and Jordan frames. We can thus Φ̃0 (~x) ≃ Φ̃0 (0) + ∂i Φ̃0 (0)xi
approximate it at linear order in ϕ,
Ψ̃0 (~x) ≃ Ψ̃0 (0) + ∂i Ψ̃0 (0)xi
Ω2 (ϕ) ≃ 1 − 2αϕ , (28) ϕ0 (~x) ≃ ϕ∗ + ∂i ϕ0 (0)xi (35)
where α is a constant, and |αϕ| ≪ 1. We are not assum- where 0 denotes the origin centered at the object, and
ing, however, that the fractional scalar field perturbation we use ϕ∗ to denote the background scalar field value
(i.e. δϕ/ϕ) is in any way small. In fact, nonlinear effects there. The assumption here is that these background
in δϕ/ϕ are going to be crucial in enabling the chameleon fields sourced by the object’s environment vary on a scale
mechanism. Under the same approximation, a useful re- much larger than r, where we will draw our enclosing
lation is sphere.
∂ ln Ω2
≃ −2α . (29)
∂ϕ Solutions for the Object Fields
The reader might find it helpful to keep in mind a partic-
ularly common (if not particularly natural) form of the To work out solutions for the object fields, we first
conformal factor, Ω2 = exp [−2αϕ] with constant α, in examine the Einstein equation linearized in metric per-
which case Eq. (29) is exact and Eq. (28) is a Taylor turbations:
expansion. √
As elaborated in Appendix B, α = 1/ 6 in f (R) mod- ∇2 Ψ̃ = 4πG ρ̃ − 14 ∂0 ϕ ∂ 0 ϕ + 41 ∂i ϕ ∂ i ϕ + 21 V
els and ωBD = (1 − 6α2 )/(4α2 ) in Brans-Dicke theory. ∂0 ∂i Ψ̃ = − 21 ∂ 0 ϕ ∂i ϕ
(∂i ∂j − 13 δij ∇2 )(Ψ̃ − Φ̃) =
A. Derivation in Einstein Frame ∂i ϕ ∂ j ϕ − 31 δi j ∂k ϕ ∂ k ϕ
∂02 Ψ̃ + 13 ∇2 (Φ̃ − Ψ̃) =
The Einstein frame metric equation is
1
− 23 ∂0 ϕ ∂ 0 ϕ − 12 ∂k ϕ ∂ k ϕ − 3V

h i 6 (36)
G̃µ ν = 8πG T̃ m µ ν + T̃ ϕ µ ν (30)
where we have assumed the matter is non-relativistic,
where characterized only by its energy density ρ̃.
We can ignore all second order scalar field terms on
1 n˜ ˜ ν ϕ − δµ ν 1 ∇
h
˜ αϕ + V
˜ α ϕ∇
io
the right hand side of these equations. This is because
T̃ ϕ µ ν = ∇µ ϕ∇ 2 .(31)
8πG as we will see shortly, ϕ is already first order in G. Thus
The scalar field equation is its contribution to Einstein’s equations is on an equal
footing with post-Newtonian corrections, which we are
2
˜ = ∂V + 4πG ∂ ln Ω T̃ m µ µ .
ϕ (32)
neglecting. In addition, we will ignore V as well. The
∂ϕ ∂ϕ rationale is that Gρ̃ ≫ V inside the object of interest,
9

whereas outside the object, V or any other sources of chameleon mechanism could operate, meaning that for an
energy-momentum are just small (in the sense that the object of the right size and density, ϕ could be trapped at
total mass within the enclosing sphere is dominated by some small value inside much of the extended object—a
the object). Essentially, we assume the metric in the value where the two terms on the right hand side of Eq.
vicinity of the object is sourced mainly by matter rather (39) roughly balance. This corresponds to ϕ having a
than the scalar field:7 large mass, or a small Compton wavelength, inside the
object (see Fig. 1). The object will therefore have an
∇2 Ψ̃ = 4πGρ̃ , ∇2 (Φ̃ − Ψ̃) = 0 . (37) exterior scalar profile that is screened i.e. only a frac-
Under the same assumptions as in §II, we get tion of the object’s mass (the fraction that happens to
live within a shell approximately a Compton wavelength
Φ̃1 = Ψ̃1 = −GM/r (38) thick at the object’s boundary) sources the exterior scalar
profile. In other words, we expect the object to produce
where M is the mass of the object. a scalar field that at large r is dominated by a monopole
As in the case of GR, we in essence assume there is a of the form:
separation of scales: that r can be chosen small enough
that second gradients of the background tidal fields can 2GM
ϕ1 (r) = −ǫ α (40)
be ignored, but large enough for the monopole to dom- r
inate. The latter condition is helpful but not essential
where ǫ quantifies the degree of screening.
(see Appendix A).
The next task is to compute the scalar field profile If the scalar field remains light inside the object, we
sourced by the object. The scalar field equation (Eq. have ∂V /∂ϕ ≪ α8πGρ̃ in which case the exterior scalar
(32)) can be written as profile is sourced by the full mass of the object, i.e. ǫ = 1
in Eq. (40). On the other hand, suppose the scalar field
∂V is massive and therefore short-ranged inside the object,
∇2 ϕ = + α 8πG ρ̃ (39) the exterior scalar profile is sourced only by the mass re-
∂ϕ
siding in a shell at the boundary of the object. Suppose
where we have ignored time derivatives and corrections the object has a radius rc and the shell has thickness ∆rc .
due to metric perturbations, and we have used the ap- Within this shell, the right hand side of Eq. (39) is dom-
proximation Eq. (29). Here, it is crucial we do not as- inated by the density term (i.e. the scalar field is not sit-
sume δϕ/ϕ is small even though ϕ is. The important ting at some small equilibrium value where the potential
and density terms cancel). This means roughly speaking,
δϕ/(rc ∆rc ) ∼ α 8πG M/(4πrc3 /3), where δϕ = ϕ∗ − ϕc ≃
Veff ϕ∗ (ϕc is the equilibrium value where the the potential
V and density terms balance, and ϕ∗ is approximately the
scalar field value far away from the object). We therefore
have 3∆rc /rc ∼ (ϕ∗ /2α) · (GM/rc )−1 . This is precisely
ρϕ the fraction by volume of the object that sources the ex-
terior scalar field. This means the suppression factor ǫ in
Eq. (40) should be
 −1  −1
ϕ∗ GM ϕ∗ GM
ǫ≃ if <1 (41)
2α rc 2α rc

ϕ where GM/rc is the gravitational potential of the object.


The inequality is required for consistency: it had better
be true that 3∆rc /rc < 1 for screening to occur. This is
FIG. 1: A scalar potential for the chameleon mechanism. known as the thin-shell condition. When this condition
The effective potential felt by ϕ in the presence of sources is is violated, there is no screening:
the sum of the self-interaction potential V (ϕ) and the scalar-
matter coupling (α 8πG)ρ̃ ϕ. This can give ϕ a large mass at  −1
locations where the matter density ρ̃ is large. ϕ∗ GM
ǫ=1 if >1, (42)
2α rc ∼
nonlinearity for the chameleon mechanism is in the po-
tential term. For instance, for the potential of fig. 1 the essentially meaning that α8πGρ̃ ≫ ∂V /∂ϕ throughout
the object, in which case the scalar field ϕ cannot even
reach the equilibrium value ϕc inside the object. It is
interesting to note that the thin-shell condition does not
7 Under this assumption, the anisotropic stress vanishes. This is depend explicitly on the potential V . The implicit re-
emphatically an Einstein frame statement. The same will not be quirement is that the potential is of such a form that
true in Jordan frame. equilibrium (between density and potential) is possible.
10

A more detailed derivation of the thin-shell condition can where have used Eq. (43), and we have equated Ṗi and
be found in [18]. M Ẍ i , where X i is the object center of mass coordinate
Along the lines of §III, it is useful to introduce the idea (Eq. (15)). This is the main result of this section. The
of a scalar charge: by analogy with Ψ̃1 = −GM/r for fact that screened and unscreened objects have different
the gravitational potential, let us write the scalar profile scalar charge to mass ratios Q/M (or equivalently, dif-
as ϕ1 = −2GQ/r (the factor of 2 is motivated by the ferent ǫ) means they fall at different rates. This is the
appearance of 8π ρ̃ rather than 4π ρ̃ in Eq. (39)). By origin of apparent equivalence principle violation.
inspecting Eq. (40), we can see that the dimensionless This result can be further simplified if we make one
scalar charge Q is more assumption, which does not necessarily hold in gen-
Q ≡ ǫ αM . (43) eral. Both Φ̃0 and ϕ0 are sourced by the environment.
Suppose they are sourced in a similar way:
Screened objects carry a much reduced scalar charge as
viewed from outside. ∇2 Φ̃0 = 4πGρ̃ , ∇2 ϕ0 = α 8πG ρ̃ (49)
Just as in the case of the metric fluctuations, one can
always add to ϕ1 a linear gradient of the form Eq. (35) where ρ̃ is the environmental density. The latter equation
to represent the field generated by sources in the envi- follows from Eq. (39) provided that potential terms are
ronment. To summarize, Φ̃, Ψ̃ and ϕ are given by Eqs. small compared to density terms on the scales of interest.
(34), (35), (38) and (40). Eq. (49) then implies

ϕ0 = 2α Φ̃0 . (50)
Surface Integral of Momentum Flux
Putting this into Eq. (48), we therefore obtain
We are ready to compute the gravitational force fol-  
lowing Eq. (4): Q
M Ẍ i = −M ∂i Φ̃0 1 + 2α
I M
Ṗi = − dSj t̃i j (44) 2
 
= −M ∂i Φ̃0 1 + 2ǫα . (51)

where the surface integral is again over some sphere en- The fact that this result depends on the square of
closing the object of interest. By analogy to Eqs. (1) and α makes it clear that the sign of α has no physical
(2), the pseudo energy-momentum tensor is: meaning—chameleon mechanism only requires its sign be
1 opposite to that of ∂V /∂ϕ (see Eq. (39)).
t̃µ ν = T̃ m µ ν + T̃ ϕ µ ν − G̃(2) µ ν . (45) Suppose one has a scalar-tensor theory where 2α2 is
8πG
order unity, as is true in f (R) theories, then screened ob-
As before, T̃ m i j outside the object is small, and we have jects (ǫ ∼ 0) and unscreened objects (ǫ = 1) would move
already computed the G̃(2) i j contribution (just put ˜ on on very different trajectories i.e. order unity apparent vi-
top of quantities in Eq. (11)). What remains to be done olation of the equivalence principle. Note that infinites-
is to compute the contribution from T̃ ϕ i j (Eq. (31)). imal test particles should go unscreened and therefore
The same tricks that work for the G̃(2) i j contribution have ǫ = 1.
work here, and we obtain Let us end with a summary of further approximations
I
1 2 ∂ϕ1 we have made in this section to augment those listed at
− dSj T̃ ϕ i j = − r ∂i ϕ0 . (46) the end of §II:
2G ∂r 1’. We have taken the non-relativistic or quasi-static
Note that there should H be a contribution from the poten- limit i.e. time derivatives of the scalar field are ignored.
1 1
tial of the form: G dSj V ∼ G (4πr3 /3)∂i ϕ0 ∂V /∂ϕ|ϕ∗ , 2’. We assume the scalar field does not contribute
but this can be ignored by our assumption that the scalar much to the r.h.s. of Einstein’s equations (36).
field ϕ1 is sourced mainly by the object rather than its 3’. We assume there is a separation of scales, that sec-
immediate environment. ond derivatives of the background/environmental scalar
Putting together all contributions (Eq. (46) & Einstein field can be ignored on the scale r of the enclosing sur-
frame analog of Eq. (11)), we therefore have face, and that the monopole contribution to the object’s
scalar profile dominates at r. As discussed in Appendix
r2
  4 ∂ Ψ̃ 
1 2 ∂ Φ̃1  ∂ϕ1
Ṗi = ∂i Φ̃0 − − − ∂i ϕ0 . (47) A, this latter assumption can be relaxed. The former
2G 3 ∂r 3 ∂r ∂r assumption implicitly requires the Compton wavelength
Putting our solutions for the various fields into the of the exterior scalar field to be large compared with r.
above expression, we obtain The scalar field would be Yukawa suppressed if this were
not true. This has implications for observational tests as
M Ẍ i = −M ∂i Φ̃0 − ǫαM ∂i ϕ0 we will discuss in §VI.
 
Q To this list, which mirrors the list in §II, we should
= −M ∂i Φ̃0 + ∂i ϕ0 (48)
M add:
11

4’. We assume the conformal factor Ω2 (ϕ) is close to The scalar field energy-momentum follows from (the min-
unity, or equivalently |αϕ| ≪ 1 (see Eq. (28)). This as- imally coupled portion of) the Jordan frame action Eq.
sumption is not strictly necessary in our Einstein frame (25). Note that ϕ does not have a canonical kinetic term,
calculation. It will become necessary when we try to hence the presence of h(ϕ) (Eq. (26)). In some theories,
compare the Jordan frame calculation with it. One con- h might even be zero, such as in f (R).
sequence of this assumption is that the Einstein frame The Einstein-Infeld-Hoffmann approach to the prob-
and Jordan frame masses of the object are roughly equal lem of motion is to compute the gravitational force as a
i.e. surface integral of the momentum flux (Eq. (4)). The
momentum flux can be obtained from the spatial com-
Z Z
M = d3 x ρ̃ ≃ d3 x ρ (52) ponents of the pseudo-energy-momentum tensor, which
is defined by Eq. (1):
since ρ̃ = Ω4 ρ, recalling that T̃ m 0 0 = −ρ̃ and T m 0 0 =
−ρ. 1
In summary, the main results of this section are encap- tµ ν = Ω−2 (T m µ ν + T ϕµ ν ) − G(2) µ ν
8πG
sulated in Eqs. (47), (48) and (51), which make differ- Ω−2
∇µ ∇ν Ω2 − δµ ν Ω2 .
 
ent levels of approximations, starting from the minimum. + (57)
8πG
The key observation is that, despite the explicitly uni-
versal coupling of the scalar to matter at the microscopic Comparing this with Eq. (45), we can see the calcula-
level (Eq. (23)), scalar charges of macroscopic objects tion should be similar to the Einstein frame case, except
get classically renormalized by nonlinear chameleon ef- that we have an overall conformal factor Ω−2 multiplying
fects. This produces fluctuations in the scalar charge to the matter and scalar field energy-momentum, and that
mass ratio Q/M for different objects, leading to different there are some uniquely Jordan frame contributions to
rates of gravitational free fall. Screened objects, which tµ ν (second line). These differences originate from the
have Q/M ∼ 0, accelerate less than unscreened objects. differences in the metric equation (55) from the Einstein
As we will see, no such (non-relativistic) renormalization equation: a non-constant effective ‘G’, and extra sources
occurrs for the Vainshtein mechanism. for Gµ ν beyond the matter and scalar energy-momentum.
Phrased in this way, it is not obvious that the integral
of momentum flux should imply geodesic motion in Jor-
B. Derivation in Jordan Frame
dan frame. In fact, it does not in general. Relegating the
details to Appendix C, it can be shown that the center
In principle, the simplest way to obtain the Jordan of mass of an object moves according to:
frame results is to transform the end results of §IV A,
Eqs. (47), (48) and (51), into Jordan frame by a con- M Ẍ i = −M ∂i Φ0 + (1 − ǫ)αM ∂i ϕ0 (58)
formal transformation gµν = Ω−2 g̃µν . After all, whether
two different objects fall at different rates is a frame- where Φ0 and ϕ0 are respectively the back-
independent issue. This might not, however, satisfy read- ground/environmental (time-time) metric perturbation
ers who are accustomed to the Jordan frame viewpoint: and scalar field, M is the inertial mass and X i is the
should not everything move on geodesics? In this sec- center of mass coordinate. This is manifestly consistent
tion, we therefore briefly sketch a Jordan frame deriva- with the Einstein frame equation of motion Eq. (48)
tion. Details can be found in Appendix C. once we recognize that Φ̃0 = Φ0 − αϕ0 according to Eq.
The Jordan frame metric in Newtonian gauge is (54).
ds2 = −(1 + 2Φ)dt2 + (1 − 2Ψ)δij dxi dxj . (53) The parameter ǫ is controlled by the relative size of
2 the object’s gravitational potential and the environmen-
From Eq. (24) and recalling Ω ≃ 1 − 2αϕ (Eq. (28)), tal scalar field; see Eqs. (41) & (42). An unscreened
the Jordan and Einstein frame metric perturbations are object, which has ǫ = 1, would move on a geodesic in
related by Jordan frame, just as expected for an infinitesimal test
Φ = Φ̃ + αϕ , Ψ = Ψ̃ − αϕ . (54) particle. A screened object, where the chameleon mech-
anism operates to make ǫ ∼ 0, would not move on a
Note how Φ 6= Ψ even if Φ̃ = Ψ̃. geodesic even in Jordan frame. In other words, it ap-
The Jordan frame metric equation is pears as if for screened objects, the gravitational mass
Gµ ν = 8πG Ω−2 [T m µ ν + T ϕ µ ν ] and the inertial mass are unequal. This can be made
more explicit if we make a simplifying assumption, that
+Ω−2 ∇µ ∇ν Ω2 − δµ ν Ω2
 
(55) both Φ0 − αϕ0 and ϕ0 are sourced mainly by density
where (Eq. (49)), in which case ϕ0 = 2αΦ0 /(1 + 2α2 ), and the
1 n equation of motion simplifies to
T ϕµν = h∇µ ϕ∇ν ϕ
8πG
1 + 2ǫα2
 
i
h io
− δµ ν 12 h∇α ϕ∇α ϕ 4
+Ω V . (56) M Ẍ = M ∂i Φ0 (59)
1 + 2α2
12

which is consistent with its Einstein frame counterpart equivalence principle—in fact it leads to the same vio-
Eq. (51). Thus, in Jordan frame, lations one would have for a purely linear Brans-Dicke
theory, which are O(1/c2 ).
inertial mass = M For simplicity and definiteness, we will analyze the ex-
1 + 2ǫα2 ample of DGP. Everything we say can be straightfor-
grav. mass = M . (60) wardly extended to the ‘galileon’, which was argued in
1 + 2α2
ref. [9] to be the broadest generalization of (the scalar-
An unscreened object is subject to a gravitational force tensor limit of) DGP that robustly implements the Vain-
that is 1 + 2α2 larger than a screened object. For theo- shtein effect without introducing ghost degrees of free-

ries such as f (R), this is not a small effect: α = 1/ 6 dom. The scalar sector of DGP (in Einstein frame) has
implies 1 + 2α2 = 4/3 (Appendix B). This might come the Lagrangian [7]
as a surprise in the Jordan frame, where the metric is 2
2 MPl
minimally coupled to matter (Eq. (25)). Despite con- Lπ = −3MPl (∂π)2 − 2 (∂π)2 π + π T m µ µ , (61)
ventional wisdom, specifying the Jordan frame metric m2
does not completely specify the motion of an extended where m is the DGP critical mass scale—the analogue of
object. The motion of an object should be ultimately de- the graviton’s mass—and is generally set to the current
termined by energy-momentum conservation. Since the inverse Hubble scale. We are using a dimensionless nor-
scalar field contributes energy-momentum, it retains a malization for the scalar field π, so that the Jordan-frame
direct influence on the motion of the object. This direct metric to which matter fields couple minimally is
influence magically cancels only for unscreened objects,
which thus move on geodesics.8 The key physics is the hµν = h̃µν + 2π ηµν . (62)
(non-relativistic and classical) renormalization of scalar
charge by the nonlinear chameleon mechanism, as dis- That is, in the non-relativistic limit π is a shift in the
cussed in §IV A. An object’s coupling to the background Newtonian potential:
scalar field is suppressed if it is screened, and unsup-
Φ = Φ̃ + π . (63)
pressed if it is not.
Comparing Eq. (61) with √ Eq. (23), we can see that π
here is equivalent to ϕ/ 6 there. We adopt the non-
V. THE PROBLEM OF MOTION IN canonically normalized π in this section (not to be con-
SCALAR-TENSOR THEORIES — SCREENING fused with the number 3.141...) to ease comparison with
BY STRONG COUPLING À LA VAINSHTEIN the DGP literature. In the language of the previous
section,
√ DGP (and its galileon generalization) has α =
Another class of scalar-tensor theories where the scalar 1/ 6, meaning its Jordan frame action has no quadratic
is efficiently screened at short distances is massive grav- scalar kinetic term. In this respect, DGP/generalizations
ity theories. These are not scalar-tensor theories to the resemble f (R) or Brans-Dicke theory with ωBD = 0 (Ap-
letter, for at scales of order of the graviton’s Compton pendix B), but the resemblance is superficial because
wavelength, and larger, there is no propagating scalar DGP/generalizations have higher derivative interactions
degree of freedom. However, at much shorter scales the which allow a completely different screening mechanism.
(helicity-zero) longitudinal polarization of the graviton A compact source creates a π profile that scales like
behaves like a scalar universally coupled to matter with 1/r at large distances (linear regime). However in ap-
gravitational strength, and the dynamics is accurately proaching the source the non-linear term9 of Eq. (61)
described by a scalar-tensor theory [11]. What makes starts becoming
√ important, thus changing the behavior
these theories potentially interesting is that this effec- of π to r. This suppresses the force mediated by π for
tive scalar comes equipped with important derivative all objects that are inside this non-linear ‘halo’ surround-
self-interactions, which can make it decouple at short ing the source. The size of this halo is set by the so-called
distances from compact objects, thus recovering agree- Vainshtein radius,
ment with solar system tests. This is known as the Vain-  1/3
shtein effect, and it shows up explicitly in the DGP model M
RV ≡ 2 m2 , (64)
[3]—which is a much healthier alternative to the mini- MPl
mal Fierz-Pauli theory of massive gravitons. However as
we will see shortly, unlike the chameleon mechanism the where M is the mass of the source, and m is the graviton
Vainshtein effect does not lead to O(1) violations of the mass scale (about Hubble scale today).
Despite the qualitative similarities, this kind of non-
linearity differs significantly from that in the chameleon

8 The cancellation occurrs bewteen the effective Newton constant


GΩ−2 and the uniquely Jordan frame terms Ω−2 ∂∂Ω2 in the
pseudo-energy-momentum (Eq. (57)). 9 Non-linear in the π equation of motion, cubic in the action.
13

π0
π0

S
=
S
S
RV RV

FIG. 2: Our mathematical trick.

case. The point is that the strong non-linearities π expe- regardless of how non-linear π’s dynamics may be in-
riences close to the source do not renormalize the source’s side the Vainshtein region. The mass M is thus also the
total scalar charge. To see this, notice that the source- scalar charge, and according to the analysis of §III, M
free part of the Lagrangian (61) has a shift-symmetry, then is the coupling between the object and very long-
wavelength external/background π’s. This implies there
π →π+a. (65) is no chameleon-like non-relativistic renormalization of
As a consequence, π’s equation of motion is the diver- the scalar charge, and no O(1) violation of the equiv-
gence of the associated Nöther’s current alence principle. The only violations of the equivalence
principle we may have are associated with how relativistic
∂µ J µ = −T mµ µ , (66) the source’s internal structure is, i.e. on how the volume
where J µ is a non-linear function of first and second integral of T m µ µ differs from the total ADM mass, which
derivatives of π. We therefore have a non-linear Gauss- is a post-Newtonian O(1/c2 ) effect 11 . For the benefit of
like law for π, whose source is the trace of the matter the skeptical reader, in Appendix D we explicitly check
energy-momentum tensor. For a time-independent solu- this statement along the lines of the previous sections.
tion, this equation is readily integrated via Gauss’s the- This would be the end of the story, if our universe were
orem to yield made up of very isolated compact sources, with typical
I distances between one another much bigger that their
J~ · d~a = Qtot (67) typical Vainshtein radius. Unfortunately we live precisely
S in the opposite limit. For macroscopic sources the Vain-
shtein radius is so huge that treating those sources in
where S is any surface, and Qtot is the total scalar
isolation makes no sense. For instance, for the sun we
charge 10 enclosed by S, defined as the volume integral
have
of (minus) the matter T m µ µ —the total mass for non-
relativistic sources. So, for instance, if we consider a
RV⊙ ∼ 1021 cm , (69)
single compact spherical source at the origin and we take
S to be a sphere centered at the origin, with radius much
larger than RV , then on S π is in the linear regime, and much bigger than the distance to the closest stars. We
we have can repeat the same estimate at all scales, and check
that nowhere in the universe π is in the linear regime.
~ · d~a ≃ M ⇒ π ≃ − 1 GM
I
6MPl2
∇π r ≫ RV , This makes a comprehensive study of the effects of π in
S 3 r our universe a formidable task, because by definition of a
(68)

11 Notice that since in Eq. (68) we are considering a huge volume


10 Qtot here is proportional to Q in Eq. (43). The difference in with sizable non-linearities for π, we have to make sure that π’s
normalization is related to the different normalizations for ϕ and contribution to the total ADM mass be negligible. It is straight-
π. forward to check that this is indeed the case.
14

non-linear system, we cannot simply superimpose the π In summary, thanks to Galilean invariance the split-
fields due to different sources. However here we want to ting of Eq. (71) is well defined whenever the object is
focus on possible violations of the equivalence principle, much smaller than its typical distance to nearby sources,
and for these we will be able to draw surprisingly general which is a much milder requirement than linearity. We
conclusions. can then draw our sphere S very close to the object, as
Consider then the more realistic situation of an object in Fig. 2(left), and compute the force acting on it along
in the presence of other sources. To be as general as pos- the lines of the previous sections. We do this explicitly
sible, let’s imagine that the object in question has sizable in Appendix D for a spherical object. However for an
multiple moments as well. The situation is schematically irregular object with sizable multipole moments, we do
depicted in Fig. 2(left). We would like to compute the not even know the non-linear solution π1 for the object
force acting on the object following the approach of the in isolation. Nevertheless, here we can use a mathemat-
previous sections. In order to approximate the π field ical trick. We have argued that the full solution on S
created by the other sources (π0 , in the figure) as a lin- is the field the object would have in isolation, π1 , plus
ear pure-gradient field, we have to draw our surface S a constant-gradient field, π0 . Nothing prevents us from
very close to the object. In fact since π is deep in the considering a physically different situation, but with the
non-linear regime, we have two problems same total field on S. This would of course yield the
same result for the total force acting on the object. A
1. How do we separate π0 from π1 —the π generated
very convenient situation to consider is, the object in iso-
by the object? The total π is not simply the sum
lation with the same background constant-gradient π0 as
of the two contributions.
in our case, but extended linearly throughout space, as
2. What is the effect of the object’s multipole mo- depicted in Fig. 2(right). That is, we can forget about
ments? In a non-linear regime, the multipoles of π the external sources, and declare that in fact π0 has a
are not directly related to the object’s multipoles. constant gradient throughout space. In doing so, we are
Also, their behavior with r w.r.t. to the monopole’s not changing the total π and its gradient on S—thus we
is different than in the linear case. are not changing the total force we would compute by
integrating over S. We can now change the radius of
As to point 1, we are rescued once again by the sym- S and bring it outside the Vainshtein region, where π’s
metries of the π dynamics, which will also make point 2 dynamics is linear, its multipoles decay faster than the
uninteresting for our purpose. monopole, and the computation is precisely as for a linear
Besides the aforementioned shift-symmetry on π, the scalar field. By changing the radius of S, we are modify-
source-free part of the Lagrangian (61) is invariant under ing the total mass enclosed by S by π’s contribution to it.
a constant shift in the derivative of π, As long as this is negligible, as can be explicitly checked,
the total force computed this way does not depend on
∂µ π → ∂µ π + cµ , (70)
the radius of S.
dubbed ‘galilean invariance’ in ref. [9, 21]. In fact We therefore conclude that, as far as the coupling of
this is what makes DGP—and suitable generalizations an extended object to a background π field is concerned,
thereof—capable of the Vainshtein effect in the presence theories with the Vainshtein effect behave exactly as the
of generic localized sources, and of sustaining interesting linear Brans-Dicke theory. The Vainshtein mechanism
non-linear cosmological solutions [9]. Galilean invariance entails equivalence principle violations only of the post-
allows us to add a pure-gradient field to any non-linear so- Newtonian O(1/c2 ) type.
lution, to get a new non-linear solution. Consider there-
fore the π field generated by all other sources in the ab-
sence of our object, and denote this by π0 . Now, if our VI. DISCUSSION — OBSERVATIONAL TESTS
object is much smaller than the typical variation scale of
π0 , which is set by the distance to the other sources, then Let us briefly summarize the main results so far, es-
we can approximate π0 as a constant-gradient field in a pecially those relevant for a discussion of observational
neighborhood of the object. This means that in such a tests.
neighborhood, we can freely add π0 to the non-linear so- 1. In theories where screening of the scalar field oc-
lution π1 we would have for the object in isolation, i.e. in currs via strong coupling effects (Vainshtein), such as
the absence of the other sources. The full π field DGP, the coupling of objects to the external scalar fields
π = π0 + π1 (71) is unsuppressed to good approximation for all objects
whose mass is not dominated by the gravitational bind-
is a consistent solution to the non-linear problem in the ing energy. They therefore fall at the same rate under
neighborhood in question. It is in fact the solution, be- gravity. There remains, however, equivalence principle
cause it has (a) the right source—the object, and (b) violations at the level of Φ, or O(1/c2 ) in the language of
the right boundary conditions: in moving away from the post-Newtonian expansion, just as in Brans-Dicke theory,
object, the perturbation
√ in ∂µ π induced by the object where Φ is the gravitational potential depth of the ob-
decays away as 1/ r and we are left with ∂µ π0 . ject in question. Order one violation of the equivalence
15

principle is visible only when comparing the motion of The other limiting case is when the external scalar field
relativistic objects such as black holes (|Φ| ∼ 1) with the profile is determined primarily by the potential, in which
motion of less compact objects such as stars (|Φ| ≪ 1). case ϕ0 is Yukawa suppressed on sufficiently large scales
We will focus on observational tests of the chameleon (scales larger than the Compton wavelength of the scalar
mechanism instead, where the equivalence principle vio- field ∼ 1/mϕ ). If ϕ0 is Yukawa suppressed, the sec-
lations are more dramatic and readily detectable even in ond term on the right of Eq. (72) is small regardless
non-relativistic/non-compact objects. of whether the object is screened or not. In this regime,
2. The chameleon mechanism implies that the cou- one cannot observe equivalence principle violations by
pling of screened objects to the external/background comparing motions of different objects. As we will dis-
scalar field is highly suppressed relative to unscreened ob- cuss below, it is therefore important to avoid Yukawa
jects. They therefore fall at significantly different rates. suppression when performing observational tests.
More precisely, the equation of motion for the center of 4. Observationally, the single most important parame-
mass of an object is, in Jordan frame (Eq. (58)): ter besides α2 in a chameleon theory is the quantity ϕ∗ /α
(see Eq. (73)). For a given object, the relevant ϕ∗ is the
M Ẍ i = −M ∂i Φ0 + (1 − ǫ)αM ∂i ϕ0 (72) scalar field value in its immediate surrounding. If this
is sufficiently small, the object will be screened accord-
where X i is the center of mass coordinate, M ing to Eq. (74). In other words, if the object is sitting
is the inertial mass, Φ0 is the time-time part of in some high density environment which is itself screened
the external/background metric and ϕ0 is the exter- (i.e. small scalar field value), it is likely that the object is
nal/background scalar field (through which the object also screened. We will refer to this as blanket screening.
moves). Here we have adopted a convenient parametriza- In an environment where blanket screening of all objects
tion of the relevant conformal factor Ω2 (ϕ) in the scalar- applies, violations of equivalence principle will be hard
tensor action (Eqs. (25) & (28)): to detect.
Conversely, if the object is sitting in an environment
Ω2 (ϕ) = 1 − 2αϕ , |αϕ| ≪ 1 (73) where the density is at the cosmic mean or even lower
where α is a constant. Eq. (73) can be thought of as (voids), the chances are better that the object is un-
screened because the relevant ϕ∗ is larger. In other
a small field expansion of e.g. exp[−2αϕ]. The quantity
ǫ represents the degree of screening. Unscreened objects words, to find unscreened objects, it is useful to avoid
overdense regions and to focus on objects with a shallow
have ǫ = 1, while screened objects have ǫ < 1. The
screening parameter ǫ is controlled by (Eqs. (41) & (42)): gravitional potential such that (Eq. (74)):
GM ϕ
ϕ∗ ϕ∗ < ∗ (77)
ǫ≃
2α(GM/rc )
if
2α(GM/rc )
< 1 (screened) rc ∼ 2α
ϕ∗ where ϕ∗ is taken to be the cosmic mean value. We
ǫ≃1 if > 1 (unscreened)(74)
2α(GM/rc ) ∼ already know ϕ∗ /(2α) < −6
∼ 10 from requiring that the
Milky Way be screened to avoid gross deviations from
where rc is the size of the object in question, and ϕ∗ is the GR in solar system experiments [19] (see also [42] for
value of the external scalar field. Screening is therefore a recent revision of the Milky Way’s mass). This
controlled by the ratio of the exterior scalar field and the leaves us an interesting window for testing theories like
gravitational potential of the object. Unless the values of f (R). The smallest galaxies of interest have GM/rc ∼
the two are finely tuned, one generally expects ǫ ≪ 1 if 10−8 (v/30 km/s)2 . Therefore, if ϕ∗ /α for our modified
screening occurrs at all. Eq. (72) tells us only unscreened gravity theory satisfies
objects, those with a sufficiently shallow gravitational po-
tential, have equal inertial mass and gravitational mass ϕ∗
10−8 < < −6 (observationally interesting) (78)
∼ 2α ∼ 10
in Jordan frame.
3. The precise ratio of inertial mass to gravitational massive galaxies at the high end would be screened while
mass predicted by Eq. (72) depends on how the external less massive galaxies at the low end would not, offer-
scalar field ϕ0 is sourced. There are two useful limits to ing many opportunities for observing equivalence princi-
consider. One is when the external scalar field is sourced ple violations, as we will see. The parameter space for
primarily by density (Eq. (C17)) in which case the equa- chameleon mechanism is illustrated in Fig. 3.
tion of motion is well-approximated by 5. To make our discussion more concrete, it is useful
to keep in mind a particular class of examples, the so
1 + 2ǫα2
 
M Ẍ i = −M ∂i Φ0 (75) called f (R) theories. As shown in Appendix B, f (R)
1 + 2α2 corresponds to a specific value for α:

which implies the unscreened and screened gravitational α = 1/ 6 for f (R) (79)
mass are related by
and so the unscreened gravitational force is 4/3 higher
unscreened g. mass = (1 + 2α2 ) × screened g. mass(76) than the screened one (Eq. (75)). This value for α arises
16

α be evaded by considering more general potentials than is


commonly discussed (see Appendix B).
Observational tests. Below we list a series of possi-
ble observational tests. They can be viewed in one of two
ways: if they turn up positive, we will have a measure-
1/ 6
ment of ϕ∗ /α and α within the chameleon framework and
a refutation of screening by strong coupling; if they turn
up negative, we can interpret the results either as an up-
per limit on ϕ∗ /α and α for the chameleon mechanism or
as indirect support for the strong coupling picture (or as
yet another confirmation of GR of course). Tests 1 and
2 focus on the bulk motion of individual galaxies while
10 −8 10 −6 ϕ∗ /2α tests 3, 4 and 5 focus on the internal motion of their con-
stituents. Fig. 4 illustrates these various possibilities.
Further tests are discussed at the end.
FIG. 3: Schematic experimental bounds in the chameleon pa- Test 1. Eq. (75) tells us that unscreened galax-
rameter space. The shaded region is already excluded, by ies (whose gravitational potential is sufficiently shallow
demanding that the Milky way be screened. The dashed line that Eq. (77) is satisfied) accelerate faster compared to
is the improvement we propose. Further improvement is pos- screened galaxies by a factor of 1 + 2α2 , which is 4/3
sible using Lyman-alpha clouds. For α ≪ 1 the chameleon for f (R) theories. We therefore expect small galaxies to
is very weakly coupled to matter to begin with, and clearly move faster than large ones in general. One must be
this relaxes the bound on the other parameter. Curvature
√ careful not to confuse this with dynamical friction which
invariant theories such as f (R) have α = 1/ 6, though this
value is not protected by symmetry. The generic expectation
could cause a similar effect (sometimes referred to as ve-
is α ∼ O(1). locity bias; see [43, 44]).
A common way to probe the peculiar motion of galax-
ies is via redshift space distortions. On large (linear)
simply from demanding that ϕ be an auxiliary field in scales, where dynamical friction is unimportant, one
Jordan frame (i.e. h(ϕ) = 0 in Eq. (25)). It is worth could use the anisotropy of the redshift space correla-
stressing however that from a theoretical viewpoint f (R) tion function to measure β = b−1 d ln D/d ln a where b
theories are not favored over more generic scalar-theories. is the linear galaxy bias, D is the linear growth factor
For instance the property that ϕ has no kinetic energy and a is the scale factor [45, 46]. The new twist intro-
in Jordan frame is not protected by any symmetry, thus duced by the chameleon mechanism is that effectively
one generically expects that upon quantum corrections d ln D/d ln a, which arises from the ratio between pecu-
an f (R) theory will become a scalar-tensor theory not be- liar motion and mass overdensity, could be different for
longing to the f (R) class. different size galaxies. This means if one takes the ratio
√ In fact, the resuling α could be β1 /β2 between small and large galaxies, and multiplies it
even larger than the 1/ 6. On the other hand, the struc-
by the appropriate ratio of the real space power spectrum
ture of the π Lagrangian in DGP and in galileon theories
P 12 to remove the dependence on galaxy bias, GR would
is protected by a symmetry—Galilean symmetry—which
return unity while the chameleon mechanism would not
forbids the quantum generation of Lagrangian terms with
i.e.
fewer than two derivatives per field [7].
The most important parameter in an f (R) theory is
r
β1 P1
fR ≡ df /dR evaluated at the cosmic mean, and it can be = 1 for GR
β2 P2
shown
6= 1 for chameleon (82)
fR = −2αϕ∗ . (80) where 1 denotes the unscreened (small) galaxies and 2
denotes the screened (large) galaxies. The precise pre-
Appendix B also shows that common parametrizations of diction for chameleon theory is a bit complex and will be
f (R) theories connect ϕ∗ and the Compton wavelength presented elsewhere. This is a worthwhile test to carry
1/mϕ of the scalar field: out—if anything, it serves as a consistency test for GR—
r but as a test of f (R) theories, one must take care to avoid
ϕ∗ −1 Yukawa suppression. For those classes of f (R) theories
m−1
ϕ ∼ H (81)
α that obey Eq. (81), the Compton wavelength is fairly
short given current upper limits on ϕ∗ /α (Eq. (78)). In
where H −1 is the Hubble scale. The fifth force is Yukawa
suppressed between a pair of objects separated by scales
larger than 1/mϕ. This places an important restriction
on the range of observational tests available for these the- 12 This can be obtained from looking at Fourier modes that point
ories. One should keep in mind though that Eq. (81) can transverse to the line of sight.
17

that case, Yukawa suppression implies the relative mo- |Φenv |


tion between pairs of galaxies separated on linear scales
−4
is likely insensitive to the scalar force. We emphasize, 10
however, that the relation between Compton wavelength cluster
and ϕ∗ /α in Eq. (81) is not general and can be relaxed. 10
−5 D C
Alternatively, one could focus on the relative pecu- group
liar motion between galaxies on small scales, but then Milky 10
−6
one needs to contend with the possibility of both blan- Way
ket screening and dynamical friction. One way around
these problems is to adopt the method of [47] which al- ϕ∗ /2α
lows one to study the pairwise velocity dispersion as a dwarf −8
function of environment. Voids would be the ideal envi- galaxy 10
ronment which bypasses both problems, and allows one A B
in principle to observe the systematically different pecu-
liar velocities between screened and unscreened galaxies.
However, because the observed peculiar motion is always
galaxy weighted, one must devise a way to disentangle
apparent velocity difference due to different (nonlinear)
galaxy biases from genuine velocity difference due to the 10−11 10−8 ϕ 10−6 |Φself |

chameleon mechanism. gas dwarf
galaxy 2α Milky Way,
star
Test 2. In environments such as voids, where blanket
screening of all galaxies does not occur, the systematic
difference in the motion of small versus large galaxies im- FIG. 4: A schematic illustration of observational tests. Φself
plies their density distributions would differ from stan- and Φenv represent the gravitational potentials of an object
dard expectations. For instance, galaxies are expected and its environment. They can be thought of as ∼ (v/c)2 ,
to stream away from voids. The fact that small galax- where v is the internal velocity. The value ϕ∗ /(2α) delineates
ies stream at a faster velocity means voids defined by screening or lack thereof—objects/environments with a po-
them would appear larger than expectations based on the tential deeper than ϕ∗ /(2α) are screened (shaded), and those
large galaxies. This prediction of the chameleon mecha- with a shallower potential are unscreened (unshaded). Cur-
nism is intriguing because as emphasized by Peebles [48] rent constraints tell us ϕ∗ /(2α) has to be less than ∼ 10−6 .
the observed voids defined by the small galaxies appear There are many comparison tests one can make. For instance,
an unscreened diffuse gas cloud residing in a dwarf galaxy
too large compared to predictions from ΛCDM model,
(A), versus a screened star residing in the same galaxy (B)—
whereas the observed void sizes defined by larger galax- A falls faster than B. This situation can be replicated on a
ies appear consistent with the standard model [49, 50]. larger scale e.g. a dwarf galaxy in the fields/voids (A) ver-
For the chameleon mechanism to provide a viable solu- sus a massive galaxy in the same fields/voids (B). Another
tion to the void problem, one must consider models that example: a dwarf galaxy out in the fields/voids (A), versus a
evade the Compton wavelength condition of Eq. (81). dwarf galaxy residing in a group or cluster (D)—D is blanket
More generally, because screened and unscreened screened by its environment and would exhibit no equivalence
galaxies move differently, their clustering bias will evolve principle violations in its internal motions of gas clouds and
differently, giving potentially observable effects which stars, while A would have observable violations. On the other
will be explored elsewhere (see e.g.[51]). hand, a massive galaxy would have no such (internal) equiva-
lence principle violations whether it be in the fields/voids (B)
Test 3. Perhaps the cleanest way to test the
or in a group/cluster (C).
chameleon mechanism is to examine the internal motions
of objects inside an unscreened galaxy i.e. whose poten-
tial is sufficiently shallow that GM/rc < ∼ ϕ∗ /(2α) (Eq.
(77)). The sun has cloud itself. For instance HI gas clouds typically have an
atomic number density of ∼ 10 cm−3 and a size of ∼ 10 pc
GM [53] giving a tiny self-potential of GM/rc ∼ 10−11 . 13
∼ 2 × 10−6 (83)
rc Therefore, at the same radius from galactic center, the
HI gas clouds should move with an acceleration that is
and main sequence stars are expected to have a sim-
larger than that of the stars by a factor of 1 + 2α2 , which
ilar gravitational potential [52]. Current constraints
−6 is 4/3 for f (R). Mass estimates constructed from these
(ϕ∗ /(2α) <∼ 10 ; Eq. (78)) therefore likely imply the
majority of stars inside an unscreened galaxy are them-
selves screened, because the stars have a fairly deep po-
tential. On the other hand, diffuse gas inside the same 13 One might also worry that a galactic disk could have a deeper
galaxy likely remains unscreened because the gravita- gravitational potential than the halo and potentially blanket
tional potential at a gas cloud should be dominated by screen all objects in it. In practice, the gravitational potential of
the potential of the galaxy rather than that of the gas a disk is comparable to that of the halo [54].
18

two tracers will differ by the same factor 14 . By focusing screened. The current limit of ϕ∗ /(2α) < −6
∼ 10 guaran-
on internal motions, this test avoids issues to do with tees that the Milky Way does not exhibit the Kesden-
Yukawa suppression that plagues the bulk motion tests Kamionkowski effect. To see it, one would have to ex-
of some f (R) models i.e. the scalar Compton wavelength amine smaller galaxies, preferably out in the fields or
probably exceeds the size of a galaxy (Eq. (81)). To max- voids. It is also important to emphasize the difference in
imize the chance that the galaxy studied is unscreened, the origin of equivalence principle violation in this paper
one should look for the smallest galaxies, preferably in from that in most of the cosmology literature, including
voids or at least in the fields 15 . A small galaxy with [57]. In most of the literature, equivalence principle vi-
internal v ∼ 30 km/s would provide us either a positive olation is there from the beginning, in the sense that it
detection of the chameleon mechanism, or an upper limit exists at the level of the microscopic action i.e. elemen-
on ϕ∗ /(2α) of about 10−8 , for an O(1) α like in f (R). tary baryons and dark matter particles are coupled to
Test 4. In addition to estimating masses of galax- the scalar differently (see discussion in §I). In this pa-
ies from their internal dynamics, one could also esti- per, there is no explicit equivalence principle violation at
mate their masses using gravitational lensing. Photons the level of the microscopic action—it gets turned on by
should behave as unscreened particles and move on null the chameleon mechanism and differentiates not so much
geodesics in the Jordan frame. They therefore see the between baryons and dark matter, but between objects
(Φ + Ψ)/2 potential. Unscreened non-relativistic objects with a deep gravitational potential and those with a shal-
(such as HI gas clouds) on the other hand should move ac- low potential.
cording to the Φ potential, while screened non-relativistic The tidal stream test brings to mind an interesting
objects (such as stars) should move according to Eq. (72) question: if stars and dark matter inside an unscreened
with ǫ ∼ 0. Eq. (C6) together with the assumption of galaxy fall at different rates under some external gravi-
negligible Yukawa suppression then tells us that the mass tational field, shouldn’t the galaxy fall apart in the sense
estimate from photons should equal the mass estimate that the stars and dark matter separate (even in the ab-
from stars, and both should be smaller than the mass sence of significant tidal forces)? This should happen
estimate from HI by a factor of 1 + 2α2 . Carrying out at some level, but should not be a large effect as long as
this test might be a bit challenging as one would ideally internal gravitational forces dominate over external ones.
like to measure the lensing mass for the smallest galaxies Perhaps the ultimate test objects are low column den-
possible to avoid screening of the whole galaxy. Stack- sity Lyman-alpha clouds in the intergalactic medium.
ing small galaxies and performing a weak lensing shear They have very shallow gravitational potentials and can
measurement is likely the way to go. therefore be used to probe a much lower ϕ∗ /(2α) than
are afforded by dwarf galaxies. Comparing the motions of
Incidentally, returning briefly to the subject of bulk clouds [58, 59] and galaxies in similar environments could
motion: for the same reasons articulated above, weak unveil the chameleon mechanism at work or put severe
lensing measurements on large scales should yield con- limits beyond those depicted in Fig. 3. This is probably
sistent results when compared against redshift distortion a good place to end this discussion. Many of the ideas
measurements of screened (large) galaxies, but inconsis- presented above need to be worked out in detail, and
tent results when compared against redshift distortions undoubtedly there are many other possible observational
of unscreened (small) galaxies 16 . This adds a possible tests. We hope to pursue these in the future.
new twist to existing tests of this sort proposed in the
literature [56].
Test 5. Kesden and Kamionkowski [57] recently pro- Acknowledgments
posed an interesting test of the equivalence principle: if
dark matter particles and stars fall at different rates un- We thank Kurt Hinterbichler, Justin Khoury, Janna
der gravity, the tidal streams from infalling galactic satel- Levin and Jacqueline van Gorkum for discussions. LH
lites would be asymmetric. To this the chameleon mech- thanks Chris Hirata for raising the issue of the motion
anism adds a new twist: only unscreened (small) galax- of galaxies in f (R) theories at a CITA workshop in June
ies will exhibit this asymmetry; screened (large) galaxies 2008. Research for this work is supported by the DOE,
will not, because both dark matter and stars are blanket grant DE-FG02-92-ER40699, and the Initiatives in Sci-
ence and Engineering Program at Columbia University.

14 When comparing HI rotational velocity with stellar rotational


velocity from a disk galaxy, care should be taken to account for
APPENDIX A: THE EFFECT OF HIGHER
a possible asymmetric drift [55]. A proper dynamical modeling MULTIPOLES
should unveil systematic difference in the mass estimated from
HI and that from stars, should the chameleon mechanism be at We want to show that as long as the external fields
work.
15 Screened galaxies are not interesting for this test because both Φ0 , Ψ0 are approximately linear on the spherical sur-
the stars and the HI gas would be blanket screened. face S, higher multipole moments of the object have no
16 Modulo Yukawa suppression, as usual. effect—as expected, tidal effects are there only if the ex-
19

ternal field gradients vary appreciably over the object’s The first line vanishes for constant E ~ 0 because
volume. We will do this explicitly for GR. The gener- I
alization to the scalar-tensor case is straightforward in n̂j dS = 0 , (A10)
Einstein frame. Our discussion here thus makes clear the S
surface S can in fact be chosen quite close to the object;
it is not necessary to choose a large radius r so that only for any closed surface. To show that the last line also
the monopole survives. As we will see, even the spherical vanishes in general, we make use of a vector form of the
shape of the surface is unnecessary. So, S can just be the ~ is an electrostatic
Kirchoff integral (see e.g. ref. [60]): if E
object’s surface. field with no source on S, and G(~x − ~x ′ ) is a Green’s
Let us not assume that the object’s multipole moments function,
are negligible. We have to dot Eq. (6) with dSj , and in-
tegrate over a surface S surrounding the object. We need ∇2 G(~x − ~x′ ) = δ 3 (~x − ~x ′ ) , (A11)
not assume this surface is spherical. The first simplifica-
tion is that (Eq. (37)) then
Φ=Ψ, (A1)
I h
i
~ ∇G·n̂)−n̂
2E( ~ ~ ∇G+n̂×
E· ~ ~
∇G× ~ dS = 0 , (A12)
E
S
which means that the term proportional to G(1) i j van-
ishes, and that many terms are equal. Also whenever the point ~x ′ is inside the volume bounded by
S. To be totally clear, E ~ is a function of ~x, over which
∇2 Φ = 0 , (A2)
we are integrating. G instead is a function both of ~x and
as long as the environmental ρ right at S is negligible of ~x ′ . The gradients are taken w.r.t. ~x. If we replace
(which it must be if we are approximating Φ0 = Ψ0 as E~ →E ~ 1 , we multiply by the object’s density ρ1 (~x ′ ), and
linear). We are left with integrate in ~x ′ over the object’s volume, the l.h.s. reduces
precisely to the last line of eq. (A9). Physically, its van-
G(2) i j = 4Φ ∂i ∂j Φ + 2∂i Φ ∂j Φ − 3δij (∂k Φ)2 . (A3) ishing means that the object does not exert any net force
on itself—as expected.
The second simplification comes from the fact that we We are thus left with the second line of Eq. (A9)—the
have to integrate this in dSj , over a closed surface. This mixed terms. Factoring E ~ 0 out of the integral, we have
means that we can add a curl for free. We use this free- to compute the tensor integral
dom to eliminate the second-derivative term, thus getting
I I
G(2) i j → −2∂i Φ ∂j Φ + δij (∂k Φ)2 . (A4) I ij ≡ E1i r̂j dS = ∂i Φ1 r̂j dS , (A13)
S S
The total force thus is
and then take suitable contractions:
1
I
˙
P~ = − ~ E~ · n̂) − n̂E 2 dS ,
 
2E( (A5) 1 ij  ij k
8πG S Ṗk = − I δ E0 + δ ik E0j − δ jk E0i .

(A14)
4πG
where we defined the ‘electric field’
However, although not manifestly, I ij is a symmetric ten-
~ ≡ ∇Φ
E ~ , (A6) sor:
~
and n̂ is the outgoing normal. We now decompose E:
I Z
∂i Φ1 r̂j dS = ∂i ∂j Φ1 d3 x . (A15)
~ =E
~0 + E
~1 , S V
E (A7)
This means that only the first term in brackets in
where the first term is the environmental background,
Eq. (A14) survives, and we have
~ 0 ≃ const ,
E (A8)
1 ~
I
˙
P~ = − E0 ~ 1 · dS
∇Φ ~. (A16)
and the second is due to the object itself. Expanding 4πG S
Eq. (A5) we get
I ~ 1 through S defines the total mass en-
The flux of ∇Φ
˙ closed by S, and we finally get
− (8πG) P~ = ~ 0 (E
~ 0 · n̂) − n̂E02 dS
 
2E
IS
˙
~ 0 (E~ 1 · n̂) + E~ 1 (E
~ 0 · n̂) − n̂E
~0 · E
~ 1 dS P~ = −M ∇Φ
~ 0, (A17)
 
+ 2 E
I S

~ 1 (E
~ 1 · n̂) − n̂E12 dS .
 independently of higher multipole moments of the ob-
+ 2E (A9)
S
ject’s mass distribution.
20

APPENDIX B: MAPPING TO BRANS-DICKE The Compton wavelength m−1


ϕ can be derived from
AND f (R)
∂2V
m2ϕ = . (B8)
It is useful to relate the Jordan frame scalar-tensor ac- ∂ϕ2
tion of Eq. (25) to certain classes of scalar-tensor theories
in the literature. Note our somewhat unusual normalizations for V and
2
Brans-Dicke theory, as it is usually written, corre- ϕ in Eq. (23): the actual potential is MPl V and the
sponds to choosing the potential V = 0, and defining canonically normalized scalar field is MPl ϕ. These extra
factors of MPl nicely cancel in the definition for the scalar
1 2 1 mass mϕ . For certain potentials, such as a power law, one
φBD ≡ Ω (ϕ) = exp [−2αϕ] . (B1)
G G can approximate
Eq. (25) then becomes
∂2V 1 ∂V
∼ . (B9)
4 √ ∂ϕ2
 
1 ωBD ϕ ∂ϕ
Z
µ
S = d x −g φBD R − ∇µ φBD ∇ φBD
16π φBD
Z Assuming ϕ is sitting in equilibrium, i.e. the right hand
+ d4 x Lm (ψm , gµν ) (B2) side of Eq. (39) vanishes, we obtain

where αH 2
m2ϕ ∼ (B10)
ϕ∗
1 − 6α2
ωBD ≡ . (B3)
4α2 where we have assumed the local density ρ̃ is at the cos-
mic mean, and ϕ∗ is the corresponding scalar field value.
Phenomenologically allowed Brans-Dicke theory has a The Compton wavelength in other environments can be
large ωBD which corresponds to a small α. With the ad- computed in an analogous fashion.
dition of a suitable potential, the chameleon mechanism We should emphasize that Eqs. (B9) and thus (B10)
makes even small ωBD theories observationally viable. √In- are by no means forced upon us. A common parametriza-
deed, f (R) theories correspond to ωBD = 0, or α = 1/ 6. tion of the f (R) potential does have this form [19], but it
More concretely, consider a scalar-tensor theory with the is not necessary. For instance, an exponential potential
following action parameters (Eq. (25)): of the form V ∝ exp β/ϕ can evade these restrictions, if
df a suitable choice of the coefficient β is made.
Ω2 = 1 +

 C 
4 1 df
Ω V = φC −f (B4) APPENDIX C: JORDAN FRAME DERIVATION
2 dφC — SCREENING BY CHAMELEON
where f is some function of a field φC , which is related
to our familiar ϕ through Here, we supply details that are skipped in §IV B for
our Jordan frame derivation of the equation of motion.
df It will prove convenient to define a parameter q:
Ω2 = exp [−2αϕ] = 1 + (B5)
dφC
√ Ω2 (ϕ) ≡ 1 − 2q(ϕ) i. e. q = αϕ (C1)
with α set to 1/ 6. Chiba [5] showed that this is exactly
equivalent to an f (R) theory with where Ω2 (ϕ) is the conformal transformation between
Einstein and Jordan frames (see Eqs. (24) & (28)). We
√ 1
Z
S = d4 x −g [R + f (R)] assume |q| ≪ 1.
16πG In addition to the Jordan frame metric equation (55),
Z
we need the scalar field equation:
+ d4 x Lm (ψm , gµν ) . (B6)
1 ∂h ∂Ω4 V 1 ∂Ω2
This can be easily seen by integrating out φC , or equiva- hϕ + ∇α ϕ∇α ϕ − + R = 0 . (C2)
2 ∂ϕ ∂ϕ 2 ∂ϕ
lently ϕ, which is a pure auxiliary field. Eq. (B5) makes
clear why in f (R) theory, df /dR, which is simply df /dφC Both the metric equation and the scalar field equation
for φC = R, plays the role of a scalar field—for practical look considerably more complicated than their Einstein
purposes, Ω2 ≃ 1 − 2αϕ, and therefore frame counterparts (Eqs. (30) & (32)). The differences
df will be crucial in reconciling the Einstein frame and the
≃ −2α ϕ (B7) Jordan frame viewpoints on the problem of motion.
dR
Linearizing the metric perturbations, but not the
which we also refer to as −2q in Appendix C (Eq. (C1)). scalar field perturbation, we obtain the following metric
21

equations: where q1 is defined below (Eq. (C11)). These solutions


 are obtained under the same set of assumptions enumer-
∇2 Ψ = Ω−2 4πGρ − 41 h∇0 ϕ∇0 ϕ + 14 h∇i ϕ∇i ϕ ated at the end of §IV A, namely we can find a radius r
 outside the object which is: 1. small enough such that
+ 21 Ω4 V + 21 ∇2 Ω2 second derivatives of the environmental fields can be ig-
nored; 2. large enough such that the monopole contribu-
∂0 ∂i Ψ = − 21 Ω−2 h∇0 ϕ∇i ϕ − 21 Ω−2 ∇i ∇0 Ω2
tion from the object itself dominates. The solution for ϕ
(∂i ∂j − 31 δij ∇2 )(Ψ − Φ) = is non-trivial: see discussion in §IV A on the chameleon
Ω−2 h∇i ∇j ϕ − 31 δi j h∇k ϕ∇k ϕ
 mechanism. The quantity ǫ signifies whether chameleon
screening occurrs: it equals unity if there is no screening,
+Ω−2 ∇i ∇j Ω2 − 13 δi j ∇2 Ω2

and becomes small if there is screening (see Eqs. (41) &
4∇2 Ψ − 2∇2 Φ − 6∂02 Ψ = (42)).
Ω−2 8πGρ + h∇α ϕ∇α ϕ + 4Ω4 V
 Note that we could have easily obtained these expres-
sions by applying the small conformal transformation Eq.
+3Ω−2 Ω2 (C3) (54) to the corresponding Einstein frame results.
where the last equation comes from the space-time trace. The next step is to use these solutions to compute the
Combining this trace equation with the scalar field equa- gravitational force by way of a surface integral at radius
tion (Eq. (C2)), we obtain: r (Eq. (4)). Here, we need to be careful in defining the
relevant pseudo energy-momentum tensor. The Jordan
∂Ω2 ∂V ∂ ln Ω2 frame metric equation (Eq. (55)) can be rewritten in the
Ω−2 ϕ + Ω−4 ∂µ ϕ∂ µ ϕ = − Ω−4 4πGρ(C4)
. form of Eq. (1) with
∂ϕ ∂ϕ ∂ϕ
This is nothing other than the conformally transformed 1
version of the scalar field equation in Einstein frame ( Eq. tµ ν = Ω−2 (T m µ ν + T ϕµ ν ) − G(2) µ ν
8πG
(32)). Ignoring time derivatives, metric perturbations
Ω−2
∇µ ∇ν Ω2 − δµ ν Ω2 .
 
and using Eqs. (28) & (29), we obtain + (C9)
8πG
∂V
∇2 ϕ = + α 8πG ρ . (C5) As usual, we ignore the exterior matter energy-
∂ϕ
momentum at radius r. We have already computed the
This scalar field equation has exactly the same form as relevant surface integral involving G(2) (Eq. (11)). We
its Einstein frame counterpart Eq. (39), and therefore need to redo the surface integral over the scalar field
the chameleon mechanism works in the same way. Let energy-momentum because unlike in Einstein frame, our
us stress that the important chameleon nonlinearity is scalar field here is non-canonical. We also need to con-
retained in Eq. (C5), namely that the potential V is not sider a scalar field contribution that is unique to Jordan
linearized. For instance, it could have the form of 1/ϕn frame (second line of Eq. (C9)).
where n is positive (see Fig. 1). Eqs. (56) together with (26) tell us that
The metric equations Eq. (C3) can be simplified by
invoking the same set of assumptions we used in the Ein- 1 n
Ω−2 T ϕi j = ∂i ϕ ∂ j ϕ − δi j 21 ∂k ϕ ∂ k ϕ + V
 
stein frame i.e. time derivatives are small, ϕ ≪ 1, and V 8πG
can be ignored both inside the object of interest (because o
−6 ∂i q ∂ j q − δi j 21 ∂k q ∂ k q

Gρ ≫ V ) and outside at the radius of interest r: (C10)

∇2 (Ψ + Φ)/2 = 4πGΩ−2 ρ ≃ 4πGρ where we have ignored time derivatives, and used Ω2 ≡
∇2 (Ψ − Φ) = Ω−2 ∇2 Ω2 ≃ −2∇2 q . (C6) 1 − 2q with |q| ≪ 1. As expressed in Eq. (29), we can ap-
proximate ∂q/∂ϕ as constant, which means we can Taylor
This is the analog of Eq. (37) in Einstein frame.
expand q(ϕ) to first order:
Employing the same decomposition of fields into con-
tributions from envirnoment (subscript 0) and object
q = q0 + q1 where
(subscript 1) as before,
q0 ≡ q(ϕ∗ ) + α(ϕ0 − ϕ∗ ) , q1 ≡ α ϕ1 (C11)
Φ = Φ0 + Φ1 (r) , Ψ = Ψ0 + Ψ1 (r) , ϕ = ϕ0 + ϕ1 (r)(C7)
where ϕ∗ is some typical scalar field value exterior to the
we obtain the following solutions to Eqs. (C5) & (C6):
object, and ϕ0 and ϕ1 are as defined in Eq. (C8).
GM Applying the same arguments that go into obtaining
Φ0 = Φ0 (0) + ∂i Φ0 (0)xi , Φ1 = −
+ q1 the Einstein frame result Eq. (46), we find
r
GM
Ψ0 = Ψ0 (0) + ∂i Ψ0 (0)xi , Ψ1 = − − q1 I
r2 h ∂ϕ1 ∂q1 i
r − dSj Ω−2 T ϕ i j = − ∂i ϕ0 + 6 ∂i q0 .
2GM 2G ∂r ∂r
ϕ0 = ϕ∗ + ∂i ϕ0 (0)xi , ϕ1 = −ǫ α (C8) (C12)
r
22

Lastly, the contribution from the uniquely Jordan a spherical object, we want to compute the total force
frame terms (last line of Eq. (C9)) works out to be acting on it as
I
Ω−2  r2 Ṗi = − ti j dSj ,
I
(D1)
∇i ∇j Ω2 − δi j Ω2 =

− dSj × S
8πG 3G
where S is a sphere surrounding the object, possibly deep
 
∂q1 ∂Ψ1 ∂Φ1 ∂q1
−4∂i q0 + 4∂i q0 − ∂i q0 − ∂i Φ0 (C13)
. in the non-linear regime for π. The effective stress-tensor
∂r ∂r ∂r ∂r
ti j receives three kinds of contributions:
Combining together all these contributions from Eqs. 1. A gravitational one, bilinear in Φ and Ψ, propor-
(11), (C12) & (C13), we find tional to G(2) i j ;
I
2. A free scalar-like one, schematically of the form
Ṗi = − dSj ti j
∂π ∂π, coming from the quadratic part of eq. (61);
r2 h ∂ ∂ϕ1 3. A cubic one, of the form ∂π ∂π ∂ 2 π, coming from
= − ∂i Φ0 ( 34 Ψ1 + 23 Φ1 + 23 q1 ) − ∂i ϕ0
2G ∂r ∂r the cubic part of eq. (61).
∂ 10 8 2
i
+∂i q0 ( 3 q1 + 3 Ψ1 − 3 Φ1 ) The first two contributions are already dealt with in §II,
∂r
§IV A, and we need not compute them again here. We
r2 h ∂(Φ1 + Ψ1 ) ∂ϕ1 i will focus instead on the third contribution, which is the
= − ∂i (Φ0 − q0 ) − ∂i ϕ0 , (C14)
2G ∂r ∂r intrinsically new feature introduced by the Vainshtein ef-
where for the last equality we have used the fact that fect.
Φ1 − Ψ1 = 2q1 from Eq. (C8). The cubic part of the stress-energy tensor is
Substituting the solutions for Φ1 , Ψ1 and ϕ1 from Eq. (3) 2MPl2 h
2 ∂µ π∂ν ππ − ∂µ π∂ν (∂π)2 + ∂ν π∂µ (∂π)2

(C8), and equating Ṗi with M Ẍ i where X i is the center Tµν =
m2
of mass coordinate (Eq. (15)), we obtain i
+ ηµν ∂α π∂ α (∂π)2 . (D2)
M Ẍ i = −M ∂i (Φ0 − q0 ) − ǫαM ∂i ϕ0 . (C15)
This comes from varying the cubic part of the π action
This result is consistent with the Einstein frame equation (61) w.r.t. to the metric. (The variation √of π is straight-
of motion Eq. (48) once we recognize that Φ̃0 = Φ0 − q0 forward upon rewriting π = √1−g ∂µ ( −gg µν ∂ν π).) We
(see Eq. (54)). In fact, we can simplify this further by want to compute
using Eq. (C11): I
T (3) i j dSj . (D3)
M Ẍ i = −M ∂i Φ0 + (1 − ǫ)αM ∂i ϕ0 (C16) S

We split the total π field as the sum of an environmental


which reproduces Eq. (58). one and of that created by the object
We can simplify this further if we make an additional
assumption about how the environmental fields Φ0 and π = π0 + π1 . (D4)
ϕ0 are sourced, which does not necessarily hold in gen- As discussed in §V, this splitting is well defined even in
eral. That both Φ0 − q0 and ϕ0 are sourced primarily by the non-linear regime, as long as the external field π0 can
the density: be approximated as a constant gradient field:
∇2 (Φ0 − q0 ) = 4πGρ , ∇2 ϕ0 = α 8πGρ (C17) ~ 0 ≃ const.
∇π (D5)

where ρ is the environmental density. These are the Also, assuming spherical symmetry of the source, we re-
analogs of Eq. (49) in the Einstein frame. With this strict to a radial π1 :
assumption, we can see that π1 = π1 (r) . (D6)
∂i ϕ0 1 + 2α2 = 2α ∂i Φ0
 
(C18) Given (D5), second derivatives in (D2) have to act on π1 .
Also, upon integrating over the sphere the only surviving
which then implies Eqs. (59) and (60). terms in (D2) are those involving one π0 field and two
π1 ’s—all the others integrate to zero because of spherical
symmetry. We thus have
APPENDIX D: TOTAL FORCE IN THE
2 I h
2MPl
I
VAINSHTEIN CASE
T (3) i j dSj = 2 ∂i π0 ∂j π1 ∇2 π1 − ∂k π1 ∂j ∂k π1

m 2
S S
Consider the effective 4D description of DGP. It is a

− 2 ∂k π0 ∂i π1 ∂j ∂k π1 − δij ∂l π1 ∂k ∂l π1
scalar-tensor theory, where the scalar Lagrangian in Ein- i
stein frame is given by Eq. (61). Assuming that we have + (i ↔ j) dSj . (D7)
23

Using We will use ′ for derivative with respect to conformal


time η.
∂i π1 = r̂i π1′ (D8) The components of the Einstein tensor up to first order
 π′ in metric perturbations are
∂i ∂j π1 = δij − r̂i r̂j 1 + r̂i r̂j π1′′ (D9)
r  2
3 a′ 6 a′ a′
 
0 2
(primes denote derivatives w.r.t. r) we finally get G̃0 = − 2 − 2 ∇2 Ψ̃ + 2 Φ̃ + Ψ̃′
a a a a a a
2 a′
 
2 I
2MPl 1h
I
0
(3) j
T i dSj = dS ∂i π0 2π1′
2
G̃i = − 2 ∂i Φ̃ + ∂i Ψ̃′
S m 2
S r a a
2 a′
i  
2 i
+ ∂j π0 6π1′ r̂i r̂j G̃0 = 2 ∂i Φ̃ + ∂i Ψ̃′
a a
2
8πMPl 2 2
!
2
!
= 4R π1′ ∂i π0 , (D10) j
h 1 a′′ a′ 2 a′′ a′
m2 G̃i = δij − 2 2 − 2 + 2 2 − 2 Φ̃
a a a a a a
where R is the radius of S. To this, we have to add  ′   i
the GR contribution (12), as well as the scalar contribu- 1 2 2 ′′ a ′ ′
− 2 ∇ (Ψ̃ − Φ̃) + 2 Ψ̃ + 2Ψ̃ + Φ̃
tion coming from the quadratic part of the Lagrangian— a a a
eq. (46), corrected by a factor 6 to make up for the non- 1
canonical normalization of π: + 2 ∂i ∂j (Ψ̃ − Φ̃) . (E2)
a
2
˙
h 4 π′ i ~ The affine connection components are, up to first or-
P~ = −M ∇~ Φ̃0 − 8πMPl2
R2 3π1′ + 2 1 ∇π 0 . (D11) der:
m R
We now have to relate π1′ to the mass of the source a′
Γ0 00 = + Φ̃′ , Γ0 0i = ∂i Φ̃
and to R. As discussed in §V, the field equation deriving a
a′

from (61) can be rewritten as a Gauss law, Γ0 ij = δij (1 − 2Ψ̃ − 2Φ̃) − Ψ̃′
I a
J~ · dS
~ =M ,  ′
(D12)

a
Γi 00 = ∂i Φ̃ , Γi 0j = δij − Ψ̃′
a
where for a spherically symmetric π1 (r) the current J~ is Γi jk = −δij ∂k Ψ̃ − δik ∂j Ψ̃ + δjk ∂i Ψ̃ . (E3)
[8]
Using a ¯ to denote the spatially homogeneous compo-
2
h 8 π′ i nents, we have the following zeroth-order Einstein equa-
J~ = 2
MPl 6π1′ + 2 1 r̂ . (D13) tions
m r
2
a′
 
This is precisely the combination appearing in eq. (D11). 1 2 2
3 4 = 8πG ρ̃¯ + MPl 2
ϕ̄˙ + MPl V (ϕ̄)
We thus see that the total force acting on the object is a 2
simply ′′ ′2
 
a 1a 1 2 2 2
− 3 − ˙
= 4πG MPl ϕ̄ − MPl V (ϕ̄) . (E4)
˙ a 2 a4 2
P~ = −M ∇
~ Φ̃0 − M ∇π
~ 0, (D14)
2
The somewhat unusual appearance of factors of MPl
independently of R, that is, independently of whether
arises from our choice of action (Eq. (23)) which makes ϕ
the sphere S is in the linear or non-linear region. This
dimensionless. Working within the same approximation
equation is in Einstein frame. Transforming to Jordan
as before, we can ignore the kinetic term for ϕ. The po-
frame gives simply:
tential V consists of a constant piece (cosmological con-
˙ stant) plus a ϕ̄ dependent piece. The latter is constrained
P~ = −M ∇Φ
~ 0 (D15)
by the last expression of Eq. (36), which tells us if ϕ̄ is
sitting at equilbrium, then δV ∼ αρ̃¯ϕ̄/MPl 2 ¯ 2.
≪ ρ̃/M Pl
APPENDIX E: RESULTS IN AN FRW UNIVERSE This means the non-constant part of V can actually be
ignored i.e. as far as the background expansion is con-
cerned, a theory with a small scalar field value such as
Here, we wish to provide extensions of our results to an f (R) should be very close to simply having a cosmologi-
expanding universe. We will do this in Einstein frame. cal constant [20]. A possible exception is if the potential
Jordan frame results can be obtained by making a con- violates ∂V /∂ϕ ∼ δV /ϕ.
formal transformation (Eqs. (24), (28), (54)). In the non-relativistic (no time derivatives, small pe-
The metric is culiar velocities) plus sub-Hubble limit, the first order
Einstein equations reduce to the analog of Eq. (37):
h i
ds2 = a(η)2 −(1 + 2Φ̃)dη 2 + (1 − 2Ψ̃)δij dxi dxj .
(E1) ∇2 Ψ̃ = 4πGa2 ρ̃ , ∇2 (Φ̃ − Ψ̃) = 0 . (E5)
24

Writing ϕ = ϕ̄ + δϕ, the perturbed (though not neces- where we assume the mass is dominated by the overden-
sarily first order) scalar field equation in the quasi-static sity; the background contributes very little over our vol-
limit is ume. Note that x is comoving. The first conservation law
can be used to show that M is nearly constant—as long
1 2 ∂V
∇ δϕ = + α8πGδ ρ̃ . (E6) as there is negligible flux through the surface bounding
a 2 ∂δϕ our volume. Define then the center of mass coordinate
analogous to Eq. (39). Z
0
To implement the surface integral approach to the Xi ≡ − d3 xa3 δ t̃0 xi /M , (E11)
problem of motion, we need some generalized concept
of conservation in comoving space. Let us make the fol-
ν
lowing split: G̃µ = G̃¯ ν + δ G̃ ν , where G̃
¯ ν is the FRW and the same conservation law tells us
µ µ µ
background piece. The perturbed (not necessarily small)
ν Z Z
piece δ G̃µ can be written as the sum of the first or- ′ i 0
ν Xi = − d3 xa3 δ t̃0 /M = d3 xa3 δ t̃i /M , (E12)
der part δ G̃(1) µ plus the rest. It can be shown that in
the quasi-static, sub-Hubble limit, we have the following where the ′ denotes derivative with respect to conformal
identities: time. Finally, we can employ the second ’conservation’
law to show
ν
∂ν (a3 δ G̃(1) 0 ) = 0   
 
¯ k
4 ν ¯ 0 1¯ k 4
a
Z
0 T̃ k 
∂ν (a δ G̃(1) i ) 4
= a ∂i Φ̃ G̃0 − G̃k , (E7) (aX i′ )′ = d3 x −∂j δ t̃i + ∂i Φ̃ T̃¯0
j
− .
3 M 3
where the first expression assumes the quasi-static/non- (E13)
relativistic, sub-Hubble limit while the second expression The first term on the right can be rewritten as a surface
is exact. integral using Gauss law. The second term, upon split-
The perturbed Einstein equation, keeping all the non- ting Φ̃ = Φ̃0 + Φ̃1 as usual, gives us something like a∂i Φ̃0
linearities but subtracting out the background FRW times the mass from the background, which is negligible
piece, can be written as compared with the mass of the object.
ν ν Carrying out the surface integral, we obtain the analog
δ G̃(1) µ = 8πGδ t̃µ of Eq. (51):
ν ν 1 ν ν
δ t̃µ ≡ δ T̃ µ − (δ G̃µ − δ G̃(1) µ ) . (E8)
8πG 
a′ i ′

i ′′
M X + X = −M [1 + 2ǫα2 ]∂i Φ̃0 , (E14)
We therefore have the following modified ‘conservation’ a
laws of the pseudo-energy-momentum:
ν which holds in the quasi-static, sub-Hubble limit. The
∂ν (a3 δ t̃0 ) = 0
  only difference from our earlier result is the appearance
0 1 k
∂ν (a4 δ t̃i ) = a4 ∂i Φ̃ T̃¯0 − T̃¯k of a Hubble drag term, as expected.
ν
. (E9)
3 Transforming to Jordan frame, the equation is
ν
Note that indexes on δ t̃µ are raised and lowered by the
a′ ′
 
background FRW metric. ′′
M X i + X i = −M ∂i Φ0 + (1 − ǫ)αM ∂i ϕ0 ,(E15)
The mass of our object of interest is a
Z
0
M = − d3 xa3 δ t̃0 , (E10) which is analogous to Eq. (C16).

[1] S. M. Carroll, V. Duvvuri, M. Trodden and 208 (2000) [arXiv:hep-th/0005016].


M. S. Turner, “Is cosmic speed-up due to new grav- [4] C. Deffayet, “Cosmology on a brane in Minkowski bulk,”
itational physics?,” Phys. Rev. D 70, 043528 (2004) Phys. Lett. B 502, 199 (2001) [arXiv:hep-th/0010186].
[arXiv:astro-ph/0306438]. [5] T. Chiba, “1/R gravity and scalar-tensor gravity,” Phys.
[2] S. M. Carroll, A. De Felice, V. Duvvuri, D. A. Easson, Lett. B 575, 1 (2003) [arXiv:astro-ph/0307338].
M. Trodden and M. S. Turner, “The cosmology of gener- [6] T. Chiba, “Generalized gravity and ghost,” JCAP 0503,
alized modified gravity models,” Phys. Rev. D 71, 063513 008 (2005) [arXiv:gr-qc/0502070].
(2005) [arXiv:astro-ph/0410031]. [7] M. A. Luty, M. Porrati and R. Rattazzi, “Strong inter-
[3] G. R. Dvali, G. Gabadadze and M. Porrati, “4D gravity actions and stability in the DGP model,” JHEP 0309,
on a brane in 5D Minkowski space,” Phys. Lett. B 485, 029 (2003) [arXiv:hep-th/0303116].
25

[8] A. Nicolis and R. Rattazzi, “Classical and quantum con- pothesis,” Z. Phys. 157, 112 (1959).
sistency of the DGP model,” JHEP 0406, 059 (2004) [30] C. Brans and R. H. Dicke, “Mach’s principle and a rel-
[arXiv:hep-th/0404159]. ativistic theory of gravitation,” Phys. Rev. 124, 925
[9] A. Nicolis, R. Rattazzi and E. Trincherini, “The galileon (1961).
as a local modification of gravity,” arXiv:0811.2197 [hep- [31] A. Einstein, L. Infeld and B. Hoffmann, “The Gravi-
th]. tational equations and the problem of motion,” Annals
[10] S. Weinberg, “Photons and gravitons in perturbation the- Math. 39, 65 (1938).
ory: Derivation of Maxwell’s and Einstein’s equations,” [32] J. A. Frieman and B. A. Gradwohl, “Dark matter and the
Phys. Rev. 138, B988 (1965). equivalence principle,” Phys. Rev. Lett. 67, 2926 (1991).
[11] N. Arkani-Hamed, H. Georgi and M. D. Schwartz, “Ef- [33] C. W. Stubbs, “Experimental limits on any long range
fective field theory for massive gravitons and grav- nongravitational interaction bewteen dark mattter and
ity in theory space,” Annals Phys. 305, 96 (2003) ordinary matter,” Phys. Rev. Lett. 70, 119 (1993).
[arXiv:hep-th/0210184]. [34] G. Farrar and P. J. E. Peebles, “Interacting Dark Mat-
[12] N. Arkani-Hamed, H. C. Cheng, M. A. Luty and ter and Dark Energy,” Astrophys. J. 604, 1 (2004)
S. Mukohyama, “Ghost condensation and a consistent in- [arXiv:astro-ph/0307316].
frared modification of gravity,” JHEP 0405, 074 (2004) [35] S. S. Gubser and P. J. E. Peebles, “Cosmology with a dy-
[arXiv:hep-th/0312099]. namically screened scalar interaction in the dark sector,”
[13] S. L. Dubovsky, “Phases of massive gravity,” JHEP Phys. Rev. D 70, 123511 (2004) [arXiv:hep-th/0407097].
0410, 076 (2004) [arXiv:hep-th/0409124]. [36] R. Bean, E. E. Flanagan, I. Laszlo and M. Trodden,
[14] G. Dvali, S. Hofmann and J. Khoury, “Degravitation of “Constraining Interactions in Cosmology’s Dark Sector,”
the cosmological constant and graviton width,” Phys. Phys. Rev. D 78, 123514 (2008) [arXiv:0808.1105 [astro-
Rev. D 76, 084006 (2007) [arXiv:hep-th/0703027]. ph]].
[15] P. Batra, K. Hinterbichler, L. Hui and D. N. Kabat, [37] J. A. Keselman, A. Nusser and P. J. E. Peebles,
“Pseudo-redundant vacuum energy,” Phys. Rev. D 78, “Galaxy Satellites and the Weak Equivalence Principle,”
043507 (2008) [arXiv:0801.4526 [hep-th]]. arXiv:0902.3452 [astro-ph.GA].
[16] A. I. Vainshtein, “To the problem of nonvanishing grav- [38] S. Weinberg, “The Quantum theory of fields. Vol. 1:
itation mass,” Phys. Lett. B 39, 393 (1972). Foundations,” Cambridge, UK: Univ. Pr. (1995) 609 p
[17] J. Khoury and A. Weltman, “Chameleon cos- [39] S. Weinberg, “Photons And Gravitons In S-Matrix The-
mology,” Phys. Rev. D 69, 044026 (2004) ory: Derivation Of Charge Conservation And Equality
[arXiv:astro-ph/0309411]. Of Gravitational And Inertial Mass,” Phys. Rev. 135,
[18] J. Khoury and A. Weltman, “Chameleon fields: Awaiting B1049 (1964).
surprises for tests of gravity in space,” Phys. Rev. Lett. [40] W. D. Goldberger and I. Z. Rothstein, “An effective field
93, 171104 (2004) [arXiv:astro-ph/0309300]. theory of gravity for extended objects,” Phys. Rev. D 73,
[19] W. Hu and I. Sawicki, “Models of f(R) Cosmic Acceler- 104029 (2006) [arXiv:hep-th/0409156].
ation that Evade Solar-System Tests,” Phys. Rev. D 76, [41] J. D. Bekenstein, “Novel ”no-scalar-hair” theorem for
064004 (2007) [arXiv:0705.1158 [astro-ph]]. black holes,” Phys. Rev. D 51, 6608 (1995).
[20] P. Brax, C. van de Bruck, A. C. Davis and D. J. Shaw, [42] M. J. Reid et al., “Galactic Structure, Fundamental Pa-
“f(R) Gravity and Chameleon Theories,” Phys. Rev. D rameters and Non-Circular Motions,” [arXiv:0902.3913].
78, 104021 (2008) [arXiv:0806.3415 [astro-ph]]. [43] R. G. Carlberg, H. M. P. Couchman and P. A. Thomas,
[21] A. Adams, N. Arkani-Hamed, S. Dubovsky, A. Nicolis “Cosmological Velocity Bias,” Astrophys. J. 352, L29
and R. Rattazzi, “Causality, analyticity and an IR ob- (1990).
struction to UV completion,” JHEP 0610, 014 (2006) [44] P. Colin, A. A. Klypin and A. V. Kravtsov, “Velocity
[arXiv:hep-th/0602178]. Bias in a Cold Dark Matter Model,” Astrophys. J. 539,
[22] T. Damour, “The Problem of Motion in Newtonian and 561 (2000).
Einsteinian Gravity” in “Three Hundred Years of Grav- [45] N. Kaiser, “Clustering in Real Space and in Redshift
itation,” edited by S. Hawking & W. Israel, Cambridge, Space,” Mon. Not. R. Astron. Soc. 227, 1 (1987).
UK: Univ. Pr. (1989) p. 128 [46] A. J. S. Hamilton, “Linear Redshift Distortions: a Re-
[23] K. Nordtvedt, “Equivalence principle for massive bodies. view,” in “The Evolving Universe,” Kluwer Academic
I. Phenomenology,” Phys. Rev. 169, 1014 (1968). Publishers (1998) p. 185 [arXiv:astro-ph/9708102].
[24] J.G. Williams, S.G. Turyshev, D.H. Boggs, “Lunar Laser [47] M. A. Strauss, J. P. Ostriker and R. Cen, “The
Ranging Tests of the Equivalence Principle with the Galaxy Pairwise Velocity Dispersion as a Function
Earth and Moon,” [arXiv:gr-qc/0507083]. of Local Density,” Astrophys. J. 494, 20 (1998)
[25] Battat, J.B.R. et al, “The Apache Point Observatory Lu- [arXiv:astro-ph/9707249].
nar Laser-ranging Operation (APOLLO): Two Years of [48] P. J. E. Peebles, “The Void Phenomenon,” Astrophys. J.
Millimeter-Precision Measurements of the Earth-Moon 557, 495 (2001) [arXiv:astro-ph/0101127].
Range,” PASP 121, 29 (2009). [49] A. Tikhonov and A. Klypin, “The emptiness of voids: yet
[26] C. M. Will and H. W. Zaglauer, “Gravitational Radia- another over-abundance problem for the LCDM model,”
tion, Close Binary Systems, and the Brans-Dicke Theory arXiv:0807.0924 [astro-ph].
of Gravity,” Astrophys. J. 346, 366 (1989). [50] J. L. Tinker and C. Conroy, “The Void Phenomenon Ex-
[27] C. M. Will, “The Confrontation between General Rela- plained,” Astrophys. J. 691, 633 (2009) [arXiv:0804.2475
tivity and Experiment,” Living Reviews in Relativity 9, [astro-ph]].
3 (2006) [arXiv:gr-qc/0510072]. [51] L. Hui and K. P. Parfrey, “The Evolution of Bias - Gener-
[28] M. Fierz, Helv. Phys. Acta 29, 128 (1956). alized,” Phys. Rev. D 77, 043527 (2008) [arXiv:0712.1162
[29] P. Jordan, “The present state of Dirac’s cosmological hy- [astro-ph]].
26

[52] R. Kippenhahn and A. Weigert, “Stellar Structure and [arXiv:0704.1932 [astro-ph]].


Evolution,” Springer-Verlag (1990). [57] M. Kesden and M. Kamionkowski, “Tidal Tails Test the
[53] C. Heiles and T. H. Troland, “The Millennium Arecibo Equivalence Principle in the Dark Sector,” Phys. Rev. D
21 Centimeter Absorption-Line Survey. II. Properties of 74, 083007 (2006) [arXiv:astro-ph/0608095].
the Warm and Cold Neutral Media,” Astrophys. J. 586, [58] L. Hui, “Recovery of the shape of the mass power spec-
1067 (2003) [arXiv:astro-ph/0207105]. trum from the Lyman alpha forest,” Astrophys. J. 516,
[54] G. Rhee, A. Klypin and O. Valenzuela, “The ro- 519 (1999) [arXiv:astro-ph/9807068].
tation curves of dwarf galaxies: a problem for [59] L. Hui, N. Y. Gnedin and Y. Zhang, “The Statistics of
Cold Dark Matter?,” Astrophys. J. 617, 1059 (2004) Density Peaks and the Column Density Distribution of
[arXiv:astro-ph/0311020]. the Lyman-Alpha Forest,” Astrophys. J. 486, 599 (1997)
[55] J. Binney and S. Tremaine, “Galactic Dynamics,” [arXiv:astro-ph/9608157].
Princeton University Press (1987). [60] J. D. Jackson, “Classical Electrodynamics,” John Wiley
[56] P. Zhang, M. Liguori, R. Bean and S. Dodelson, “Prob- & Sons, 1998.
ing Gravity at Cosmological Scales by Measurements
which Test the Phys. Rev. Lett. 99, 141302 (2007)

You might also like