The modern history of experimental relativity can be divided roughly into four periods: Genesis, Hibernation, a Golden Era, and the Quest for Strong Gravity. The Genesis (1887 – 1919) comprises the period of the two great experiments which were the foundation of relativistic physics – the Michelson–Morley experiment and the Eötvös experiment – and the two immediate confirmations of GR – the deflection of light and the perihelion advance of Mercury. Following this was a period of Hibernation (1920 – 1960) during which theoretical work temporarily outstripped technology and experimental possibilities, and, as a consequence, the field stagnated and was relegated to the backwaters of physics and astronomy.
But beginning around 1960, astronomical discoveries (quasars, pulsars, cosmic background radiation) and new experiments pushed GR to the forefront. Experimental gravitation experienced a Golden Era (1960 – 1980) during which a systematic, worldwide effort took place to understand the observable predictions of GR, to compare and contrast them with the predictions of alternative theories of gravity, and to perform new experiments to test them. The period began with an experiment to confirm the gravitational frequency shift of light (1960) and ended with the reported decrease in the orbital period of the Hulse–Taylor binary pulsar at a rate consistent with the GR prediction of gravity wave energy loss (1979). The results all supported GR, and most alternative theories of gravity fell by the wayside (for a popular review, see [
282]
).
Since 1980, the field has entered what might be termed a Quest for Strong Gravity. Many of the remaining interesting weakfield predictions of the theory are extremely small and difficult to check, in some cases requiring further technological development to bring them into detectable range. The sense of a systematic assault on the weakfield predictions of GR has been supplanted to some extent by an opportunistic approach in which novel and unexpected (and sometimes inexpensive) tests of gravity have arisen from new theoretical ideas or experimental techniques, often from unlikely sources. Examples include the use of lasercooled atom and ion traps to perform ultraprecise tests of special relativity; the proposal of a “fifth” force, which led to a host of new tests of the weak equivalence principle; and recent ideas of large extra dimensions, which have motived new tests of the inverse square law of gravity at submillimeter scales.
Instead, much of the focus has shifted to experiments which can probe the effects of strong gravitational fields. The principal figure of merit that distinguishes strong from weak gravity is the quantity
$\epsilon \sim GM/\left(R{c}^{2}\right)$
, where
$G$
is the Newtonian gravitational constant,
$M$
is the characteristic mass scale of the phenomenon,
$R$
is the characteristic distance scale, and
$c$
is the speed of light.
Near the event horizon of a nonrotating black hole, or for the expanding observable universe,
$\epsilon \sim 0.5$
; for neutron stars,
$\epsilon \sim 0.2$
. These are the regimes of strong gravity. For the solar system,
$\epsilon <{10}^{5}$
; this is the regime of weak gravity. At one extreme are the strong gravitational fields associated with Planckscale physics. Will unification of the forces, or quantization of gravity at this scale leave observable effects accessible by experiment? Dramatically improved tests of the equivalence principle, of the inverse square law, or of local Lorentz invariance are being mounted, to search for or bound the imprinted effects of Planckscale phenomena. At the other extreme are the strong fields associated with compact objects such as black holes or neutron stars. Astrophysical observations and gravitational wave detectors are being planned to explore and test GR in the strongfield, highlydynamical regime associated with the formation and dynamics of these objects. In this Living Review, we shall survey the theoretical frameworks for studying experimental gravitation, summarize the current status of experiments, and attempt to chart the future of the subject. We shall not provide complete references to early work done in this field but instead will refer the reader to the appropriate review articles and monographs, specifically to Theory and Experiment in Gravitational Physics [
281]
, hereafter referred to as TEGP. Additional recent reviews in this subject are [
276,
284,
286,
71,
98,
239]
. References to TEGP will be by chapter or section, e.g., “TEGP 8.9 [
281]
”.
2 Tests of the Foundations of Gravitation Theory
2.1 The Einstein equivalence principle
The principle of equivalence has historically played an important role in the development of gravitation theory. Newton regarded this principle as such a cornerstone of mechanics that he devoted the opening paragraph of the Principia to it. In 1907, Einstein used the principle as a basic element in his development of general relativity. We now regard the principle of equivalence as the foundation, not of Newtonian gravity or of GR, but of the broader idea that spacetime is curved. Much of this viewpoint can be traced back to Robert Dicke, who contributed crucial ideas about the foundations of gravitation theory between 1960 and 1965. These ideas were summarized in his influential Les Houches lectures of 1964 [
93]
, and resulted in what has come to be called the Einstein equivalence principle (EEP).
One elementary equivalence principle is the kind Newton had in mind when he stated that the property of a body called “mass” is proportional to the “weight”, and is known as the weak equivalence principle (WEP). An alternative statement of WEP is that the trajectory of a freely falling “test” body (one not acted upon by such forces as electromagnetism and too small to be affected by tidal gravitational forces) is independent of its internal structure and composition. In the simplest case of dropping two different bodies in a gravitational field, WEP states that the bodies fall with the same acceleration (this is often termed the Universality of Free Fall, or UFF). The Einstein equivalence principle (EEP) is a more powerful and farreaching concept; it states that:

1.
WEP is valid.

2.
The outcome of any local nongravitational experiment is independent of the velocity of the freelyfalling reference frame in which it is performed.

3.
The outcome of any local nongravitational experiment is independent of where and when in the universe it is performed.
The second piece of EEP is called local Lorentz invariance (LLI), and the third piece is called local position invariance (LPI).
For example, a measurement of the electric force between two charged bodies is a local nongravitational experiment; a measurement of the gravitational force between two bodies (Cavendish experiment) is not.
The Einstein equivalence principle is the heart and soul of gravitational theory, for it is possible to argue convincingly that if EEP is valid, then gravitation must be a “curved spacetime” phenomenon, in other words, the effects of gravity must be equivalent to the effects of living in a curved spacetime. As a consequence of this argument, the only theories of gravity that can fully embody EEP are those that satisfy the postulates of “metric theories of gravity”, which are:

1.
Spacetime is endowed with a symmetric metric.

2.
The trajectories of freely falling test bodies are geodesics of that metric.

3.
In local freely falling reference frames, the nongravitational laws of physics are those written in the language of special relativity.
The argument that leads to this conclusion simply notes that, if EEP is valid, then in local freely falling frames, the laws governing experiments must be independent of the velocity of the frame (local Lorentz invariance), with constant values for the various atomic constants (in order to be independent of location). The only laws we know of that fulfill this are those that are compatible with special relativity, such as Maxwell's equations of electromagnetism. Furthermore, in local freely falling frames, test bodies appear to be unaccelerated, in other words they move on straight lines; but such “locally straight” lines simply correspond to “geodesics” in a curved spacetime (TEGP 2.3 [
281]
).
General relativity is a metric theory of gravity, but then so are many others, including the Brans–Dicke theory and its generalizations. Theories in which varying nongravitational constants are associated with dynamical fields that couple to matter directly are not metric theories. Neither, in this narrow sense, is superstring theory (see Section
2.3 ), which, while based fundamentally on a spacetime metric, introduces additional fields (dilatons, moduli) that can couple to material stressenergy in a way that can lead to violations, say, of WEP. It is important to point out, however, that there is some ambiguity in whether one treats such fields as EEPviolating gravitational fields, or simply as additional matter fields, like those that carry electromagnetism or the weak interactions. Still, the notion of curved spacetime is a very general and fundamental one, and therefore it is important to test the various aspects of the Einstein equivalence principle thoroughly.
We first survey the experimental tests, and describe some of the theoretical formalisms that have been developed to interpret them. For other reviews of EEP and its experimental and theoretical significance, see [
126,
162]
.
2.1.1 Tests of the weak equivalence principle
A direct test of WEP is the comparison of the acceleration of two laboratorysized bodies of different composition in an external gravitational field. If the principle were violated, then the accelerations of different bodies would differ. The simplest way to quantify such possible violations of WEP in a form suitable for comparison with experiment is to suppose that for a body with inertial mass
${m}_{I}$
, the passive gravitational mass
${m}_{P}$
is no longer equal to
${m}_{I}$
, so that in a gravitational field
$g$
, the acceleration is given by
${m}_{I}a={m}_{P}g$
. Now the inertial mass of a typical laboratory body is made up of several types of massenergy: rest energy, electromagnetic energy, weakinteraction energy, and so on. If one of these forms of energy contributes to
${m}_{P}$
differently than it does to
${m}_{I}$
, a violation of WEP would result. One could then write
$$\begin{array}{c}{m}_{P}={m}_{I}+{\sum}_{A}\frac{{\eta}^{A}{E}^{A}}{{c}^{2}},\end{array}$$ 
(1)

where
${E}^{A}$
is the internal energy of the body generated by interaction
$A$
,
${\eta}^{A}$
is a dimensionless parameter that measures the strength of the violation of WEP induced by that interaction, and
$c$
is the speed of light. A measurement or limit on the fractional difference in acceleration between two bodies then yields a quantity called the “Eötvös ratio” given by
$$\begin{array}{c}\eta \equiv 2\frac{{a}_{1}{a}_{2}}{{a}_{1}+{a}_{2}}={\sum}_{A}{\eta}^{A}\left(\frac{{E}_{1}^{A}}{{m}_{1}{c}^{2}}\frac{{E}_{2}^{A}}{{m}_{2}{c}^{2}}\right),\end{array}$$ 
(2)

where we drop the subscript “I” from the inertial masses. Thus, experimental limits on
$\eta $
place limits on the WEPviolation parameters
${\eta}^{A}$
.
Many highprecision Eötvöstype experiments have been performed, from the pendulum experiments of Newton, Bessel, and Potter to the classic torsionbalance measurements of Eötvös [
100]
, Dicke [
94]
, Braginsky [
43]
, and their collaborators. In the modern torsionbalance experiments, two objects of different composition are connected by a rod or placed on a tray and suspended in a horizontal orientation by a fine wire. If the gravitational acceleration of the bodies differs, and this difference has a component perpendicular to the suspension wire, there will be a torque induced on the wire, related to the angle between the wire and the direction of the gravitational acceleration
$\mathit{g}$
. If the entire apparatus is rotated about some direction with angular velocity
$\omega $
, the torque will be modulated with period
$2\pi /\omega $
. In the experiments of Eötvös and his collaborators, the wire and
$\mathit{g}$
were not quite parallel because of the centripetal acceleration on the apparatus due to the Earth's rotation; the apparatus was rotated about the direction of the wire. In the Dicke and Braginsky experiments,
$\mathit{g}$
was that of the Sun, and the rotation of the Earth provided the modulation of the torque at a period of
$24hr$
(TEGP 2.4 (a) [
281]
). Beginning in the late 1980s, numerous experiments were carried out primarily to search for a “fifth force” (see Section 2.3.1 ), but their null results also constituted tests of WEP. In the “freefall Galileo experiment” performed at the University of Colorado, the relative freefall acceleration of two bodies made of uranium and copper was measured using a laser interferometric technique. The “EötWash” experiments carried out at the University of Washington used a sophisticated torsion balance tray to compare the accelerations of various materials toward local topography on Earth, movable laboratory masses, the Sun and the galaxy [
249,
19]
, and have reached levels of
$3\times {10}^{13}$
[
2]
. The resulting upper limits on
$\eta $
are summarized in Figure 1 (TEGP 14.1 [
281]
; for a bibliography of experiments up to 1991, see [
107]
).
Figure 1
: Selected tests of the weak equivalence principle, showing bounds on
$\eta $
, which measures fractional difference in acceleration of different materials or bodies. The freefall and EötWash experiments were originally performed to search for a fifth force (green region, representing many experiments). The blue band shows evolving bounds on
$\eta $
for gravitating bodies from lunar laser ranging (LLR).
A number of projects are in the development or planning stage to push the bounds on
$\eta $
even lower. The project MICROSCOPE (MICROSatellite à Trainée Compensée pour l'Observation du Principe d'Équivalence) is designed to test WEP to
${10}^{15}$
. It is being developed by the French space agency CNES for a possible launch in March, 2008, for a oneyear mission [
59]
. The dragcompensated satellite will be in a Sunsynchronous polar orbit at
$700km$
altitude, with a payload consisting of two differential accelerometers, one with elements made of the same material (platinum), and another with elements made of different materials (platinum and titanium).
Another, known as Satellite Test of the Equivalence Principle (STEP) [
247]
, is under consideration as a possible joint effort of NASA and the European Space Agency (ESA), with the goal of a
${10}^{18}$
test. STEP would improve upon MICROSCOPE by using cryogenic techniques to reduce thermal noise, among other effects. At present, STEP (along with a number of variants, called MiniSTEP and QuickSTEP) has not been approved by any agency beyond the level of basic design studies or supporting research and development. An alternative concept for a space test of WEP is GalileoGalilei [
261]
, which uses a rapidly rotating differential accelerometer as its basic element.
Its goal is a bound on
$\eta $
at the
${10}^{13}$
level on the ground and
${10}^{17}$
in space.
2.1.2 Tests of local Lorentz invariance
Although special relativity itself never benefited from the kind of “crucial” experiments, such as the perihelion advance of Mercury and the deflection of light, that contributed so much to the initial acceptance of GR and to the fame of Einstein, the steady accumulation of experimental support, together with the successful merger of special relativity with quantum mechanics, led to its being accepted by mainstream physicists by the late 1920s, ultimately to become part of the standard toolkit of every working physicist. This accumulation included

∙
the classic Michelson–Morley experiment and its descendents [186, 237, 141, 46] ,

∙
the Ives–Stillwell, Rossi–Hall, and other tests of timedilation [136, 229, 103] ,

∙
tests of the independence of the speed of light of the velocity of the source, using both binary Xray stellar sources and highenergy pions [44, 5] ,

∙
tests of the isotropy of the speed of light [50, 227, 159] .
In addition to these direct experiments, there was the Dirac equation of quantum mechanics and its prediction of antiparticles and spin; later would come the stunningly successful relativistic theory of quantum electrodynamics.
In 2005, on the 100th anniversary of the introduction of special relativity, one might ask “what is there to test?”. Special relativity has been so thoroughly integrated into the fabric of modern physics that its validity is rarely challenged, except by cranks and crackpots. It is ironic then, that during the past several years, a vigorous theoretical and experimental effort has been launched, on an international scale, to find violations of special relativity. The motivation for this effort is not a desire to repudiate Einstein, but to look for evidence of new physics “beyond” Einstein, such as apparent violations of Lorentz invariance that might result from certain models of quantum gravity.
Quantum gravity asserts that there is a fundamental length scale given by the Planck length,
${L}_{Pl}=(\u0127G/{c}^{3}{)}^{1/2}=1.6\times {10}^{33}cm$
, but since length is not an invariant quantity (Lorentz–FitzGerald contraction), then there could be a violation of Lorentz invariance at some level in quantum gravity. In brane world scenarios, while physics may be locally Lorentz invariant in the higher dimensional world, the confinement of the interactions of normal physics to our fourdimensional “brane” could induce apparent Lorentz violating effects. And in models such as string theory, the presence of additional scalar, vector, and tensor longrange fields that couple to matter of the standard model could induce effective violations of Lorentz symmetry. These and other ideas have motivated a serious reconsideration of how to test Lorentz invariance with better precision and in new ways.
A simple and useful way of interpreting some of these modern experiments, called the
${c}^{2}$
formalism, is to suppose that the electromagnetic interactions suffer a slight violation of Lorentz invariance, through a change in the speed of electromagnetic radiation
$c$
relative to the limiting speed of material test particles (
${c}_{0}$
, made to take the value unity via a choice of units), in other words,
$c\ne 1$
(see Section 2.2.3 ). Such a violation necessarily selects a preferred universal rest frame, presumably that of the cosmic background radiation, through which we are moving at about
$370km{s}^{1}$
[
167]
. Such a Lorentznoninvariant electromagnetic interaction would cause shifts in the energy levels of atoms and nuclei that depend on the orientation of the quantization axis of the state relative to our universal velocity vector, and on the quantum numbers of the state. The presence or absence of such energy shifts can be examined by measuring the energy of one such state relative to another state that is either unaffected or is affected differently by the supposed violation. One way is to look for a shifting of the energy levels of states that are ordinarily equally spaced, such as the Zeemansplit
$2J+1$
ground states of a nucleus of total spin
$J$
in a magnetic field; another is to compare the levels of a complex nucleus with the atomic hyperfine levels of a hydrogen maser clock. The magnitude of these “clock anisotropies” would be proportional to
$\delta \equiv {c}^{2}1$
.
The earliest clock anisotropy experiments were the Hughes–Drever experiments, performed in the period 1959 – 60 independently by Hughes and collaborators at Yale University, and by Drever at Glasgow University, although their original motivation was somewhat different [
131,
96]
. The Hughes–Drever experiments yielded extremely accurate results, quoted as limits on the parameter
$\delta \equiv {c}^{2}1$
in Figure 2 . Dramatic improvements were made in the 1980s using lasercooled trapped atoms and ions [
215,
163,
53]
. This technique made it possible to reduce the broading of resonance lines caused by collisions, leading to improved bounds on
$\delta $
shown in Figure 2 (experiments labelled NIST, U. Washington and Harvard, respectively).
Also included for comparison is the corresponding limit obtained from Michelson–Morley type experiments (for a review, see [
127]
). In those experiments, when viewed from the preferred frame, the speed of light down the two arms of the moving interferometer is
$c$
, while it can be shown using the electrodynamics of the
${c}^{2}$
formalism, that the compensating Lorentz–FitzGerald contraction of the parallel arm is governed by the speed
${c}_{0}=1$
. Thus the Michelson–Morley experiment and its descendants also measure the coefficient
${c}^{2}1$
. One of these is the Brillet–Hall experiment [
46]
, which used a Fabry–Perot laser interferometer. In a recent series of experiments, the frequencies of electromagnetic cavity oscillators in various orientations were compared with each other or with atomic clocks as a function of the orientation of the laboratory [
297,
168,
190,
12,
248]
. These placed bounds on
${c}^{2}1$
at the level of better than a part in
${10}^{9}$
. Haugan and Lämmerzahl [
125]
have considered the bounds that Michelson–Morley type experiments could place on a modified electrodynamics involving a “vectorvalued” effective photon mass.
Figure 2
: Selected tests of local Lorentz invariance showing the bounds on the parameter
$\delta $
, which measures the degree of violation of Lorentz invariance in electromagnetism. The Michelson–Morley, Joos, Brillet–Hall and cavity experiments test the isotropy of the roundtrip speed of light. The centrifuge, twophoton absorption (TPA) and JPL experiments test the isotropy of light speed using oneway propagation. The most precise experiments test isotropy of atomic energy levels. The limits assume a speed of Earth of
$370km{s}^{1}$
relative to the mean rest frame of the universe.
The
${c}^{2}$
framework focusses exclusively on classical electrodynamics. It has recently been extended to the entire standard model of particle physics by Kostelecký and colleagues [
63,
64,
155]
.
The “Standard Model Extension” (SME) has a large number of Lorentzviolating parameters, opening up many new opportunities for experimental tests (see Section
2.2.4 ). A variety of clock anisotropy experiments have been carried out to bound the electromagnetic parameters of the SME framework [
154]
. For example, the cavity experiments described above [
297,
168,
190]
placed bounds on the coefficients of the tensors
${\stackrel{~}{\kappa}}_{e}$
and
${\stackrel{~}{\kappa}}_{o+}$
(see Section 2.2.4 for definitions) at the levels of
${10}^{14}$
and
${10}^{10}$
, respectively. Direct comparisons between atomic clocks based on different nuclear species place bounds on SME parameters in the neutron and proton sectors, depending on the nature of the transitions involved. The bounds achieved range from
${10}^{27}$
to
${10}^{32}GeV$
.
Astrophysical observations have also been used to bound Lorentz violations. For example, if photons satisfy the Lorentz violating dispersion relation
$$\begin{array}{c}{E}^{2}={p}^{2}{c}^{2}+{E}_{Pl}{f}^{\left(1\right)}\leftp\rightc+{f}^{\left(2\right)}{p}^{2}{c}^{2}+\frac{{f}^{\left(3\right)}}{{E}_{Pl}}p{}^{3}{c}^{3}+...,\end{array}$$ 
(3)

where
${E}_{Pl}=(\u0127{c}^{5}/G{)}^{1/2}$
is the Planck energy, then the speed of light
${v}_{\gamma}=\partial E/\partial p$
would be given, to linear order in the
${f}^{\left(n\right)}$
by
$$\begin{array}{c}\frac{{v}_{\gamma}}{c}\approx 1+{\sum}_{n\ge 1}\frac{(n1){f}_{\gamma}^{\left(n\right)}{E}^{n2}}{2{E}_{Pl}^{n2}}.\end{array}$$ 
(4)

Such a Lorentzviolating dispersion relation could be a relic of quantum gravity, for instance.
By bounding the difference in arrival time of highenergy photons from a burst source at large distances, one could bound contributions to the dispersion for
$n>2$
. One limit,
$\left{f}^{\left(3\right)}\right<128$
comes from observations of
$1$
and
$2TeV$
gamma rays from the blazar Markarian 421 [
30]
. Another limit comes from birefringence in photon propagation: In many Lorentz violating models, different photon polarizations may propagate with different speeds, causing the plane of polarization of a wave to rotate. If the frequency dependence of this rotation has a dispersion relation similar to Equation ( 3 ), then by studying “polarization diffusion” of light from a polarized source in a given bandwidth, one can effectively place a bound
$\left{f}^{\left(3\right)}\right<{10}^{4}$
[
119]
. Other testable effects of Lorentz invariance violation include threshold effects in particle reactions, gravitational Cerenkov radiation, and neutrino oscillations.
Mattingly [
182]
gives a thorough and uptodate review of both the theoretical frameworks and the experimental results for tests of LLI.
2.1.3 Tests of local position invariance
The principle of local position invariance, the third part of EEP, can be tested by the gravitational redshift experiment, the first experimental test of gravitation proposed by Einstein. Despite the fact that Einstein regarded this as a crucial test of GR, we now realize that it does not distinguish between GR and any other metric theory of gravity, but is only a test of EEP. A typical gravitational redshift experiment measures the frequency or wavelength shift
$Z\equiv \Delta \nu /\nu =\Delta \lambda /\lambda $
between two identical frequency standards (clocks) placed at rest at different heights in a static gravitational field. If the frequency of a given type of atomic clock is the same when measured in a local, momentarily comoving freely falling frame (Lorentz frame), independent of the location or velocity of that frame, then the comparison of frequencies of two clocks at rest at different locations boils down to a comparison of the velocities of two local Lorentz frames, one at rest with respect to one clock at the moment of emission of its signal, the other at rest with respect to the other clock at the moment of reception of the signal. The frequency shift is then a consequence of the firstorder Doppler shift between the frames. The structure of the clock plays no role whatsoever. The result is a shift
$$\begin{array}{c}Z=\frac{\Delta U}{{c}^{2}},\end{array}$$ 
(5)

where
$\Delta U$
is the difference in the Newtonian gravitational potential between the receiver and the emitter. If LPI is not valid, then it turns out that the shift can be written
$$\begin{array}{c}Z=(1+\alpha )\frac{\Delta U}{{c}^{2}},\end{array}$$ 
(6)

where the parameter
$\alpha $
may depend upon the nature of the clock whose shift is being measured (see TEGP 2.4 (c) [
281]
for details).
The first successful, highprecision redshift measurement was the series of Pound–Rebka–Snider experiments of 1960 – 1965 that measured the frequency shift of gammaray photons from
${}^{57}Fe$
as they ascended or descended the Jefferson Physical Laboratory tower at Harvard University. The high accuracy achieved – one percent – was obtained by making use of the Mössbauer effect to produce a narrow resonance line whose shift could be accurately determined. Other experiments since 1960 measured the shift of spectral lines in the Sun's gravitational field and the change in rate of atomic clocks transported aloft on aircraft, rockets and satellites. Figure 3 summarizes the important redshift experiments that have been performed since 1960 (TEGP 2.4 (c) [
281]
).
Figure 3
: Selected tests of local position invariance via gravitational redshift experiments, showing bounds on
$\alpha $
, which measures degree of deviation of redshift from the formula
$\Delta \nu /\nu =\Delta U/{c}^{2}$
. In null redshift experiments, the bound is on the difference in
$\alpha $
between different kinds of clocks.
After almost 50 years of inconclusive or contradictory measurements, the gravitational redshift of solar spectral lines was finally measured reliably. During the early years of GR, the failure to measure this effect in solar lines was siezed upon by some as reason to doubt the theory.
Unfortunately, the measurement is not simple. Solar spectral lines are subject to the “limb effect”, a variation of spectral line wavelengths between the center of the solar disk and its edge or “limb”; this effect is actually a Doppler shift caused by complex convective and turbulent motions in the photosphere and lower chromosphere, and is expected to be minimized by observing at the solar limb, where the motions are predominantly transverse. The secret is to use strong, symmetrical lines, leading to unambiguous wavelength measurements. Successful measurements were finally made in 1962 and 1972 (TEGP 2.4 (c) [
281]
). In 1991, LoPresto et al. [
172]
measured the solar shift in agreement with LPI to about 2 percent by observing the oxygen triplet lines both in absorption in the limb and in emission just off the limb. The most precise standard redshift test to date was the Vessot–Levine rocket experiment that took place in June 1976 [
264]
. A hydrogenmaser clock was flown on a rocket to an altitude of about
$10,000km$
and its frequency compared to a similar clock on the ground. The experiment took advantage of the masers' frequency stability by monitoring the frequency shift as a function of altitude. A sophisticated data acquisition scheme accurately eliminated all effects of the firstorder Doppler shift due to the rocket's motion, while tracking data were used to determine the payload's location and the velocity (to evaluate the potential difference
$\Delta U$
, and the special relativistic time dilation). Analysis of the data yielded a limit
$\left\alpha \right<2\times {10}^{4}$
.
A “null” redshift experiment performed in 1978 tested whether the
relative rates of two different clocks depended upon position. Two hydrogen maser clocks and an ensemble of three superconductingcavity stabilized oscillator (SCSO) clocks were compared over a 10day period. During the period of the experiment, the solar potential
$U/{c}^{2}$
changed sinusoidally with a 24hour period by
$3\times {10}^{13}$
because of the Earth's rotation, and changed linearly at
$3\times {10}^{12}$
per day because the Earth is 90 degrees from perihelion in April. However, analysis of the data revealed no variations of either type within experimental errors, leading to a limit on the LPI violation parameter
${\alpha}^{H}{\alpha}^{SCSO}<2\times {10}^{2}$
[
258]
. This bound has been improved using more stable frequency standards, such as atomic fountain clocks [
120,
216,
23]
. The current bound, from comparing a Cesium atomic fountain with a Hydrogen maser for a year, is
${\alpha}^{H}{\alpha}^{Cs}<2.1\times {10}^{5}$
[
23]
.
The varying gravitational redshift of Earthbound clocks relative to the highly stable millisecond pulsar PSR 1937+21, caused by the Earth's motion in the solar gravitational field around the EarthMoon center of mass (amplitude
$4000km$
), was measured to about 10 percent [
251]
. Two measurements of the redshift using stable oscillator clocks on spacecraft were made at the one percent level: One used the Voyager spacecraft in Saturn's gravitational field [
158]
, while another used the Galileo spacecraft in the Sun's field [
160]
.
The gravitational redshift could be improved to the
${10}^{10}$
level using an array of laser cooled atomic clocks on board a spacecraft which would travel to within four solar radii of the Sun [
180]
.
Modern advances in navigation using Earthorbiting atomic clocks and accurate timetransfer must routinely take gravitational redshift and timedilation effects into account. For example, the Global Positioning System (GPS) provides absolute positional accuracies of around
$15m$
(even better in its military mode), and 50 nanoseconds in time transfer accuracy, anywhere on Earth. Yet the difference in rate between satellite and ground clocks as a result of relativistic effects is a whopping 39 microseconds per day (
$46\mu s$
from the gravitational redshift, and
$7\mu s$
from time dilation). If these effects were not accurately accounted for, GPS would fail to function at its stated accuracy. This represents a welcome practical application of GR! (For the role of GR in GPS, see [
15,
16]
; for a popular essay, see [
287]
.) Local position invariance also refers to position in time. If LPI is satisfied, the fundamental constants of nongravitational physics should be constants in time. Table 1 shows current bounds on cosmological variations in selected dimensionless constants. For discussion and references to early work, see TEGP 2.4 (c) [
281]
or [
97]
. For a comprehensive recent review both of experiments and of theoretical ideas that underly proposals for varying constants, see [
262]
.
Experimental bounds on varying constants come in two types: bounds on the present rate of variation, and bounds on the difference between today's value and a value in the distant past.
The main example of the former type is the clock comparison test, in which highly stable atomic clocks of different fundamental type are intercompared over periods ranging from months to years (variants of the null redshift experiment). If the frequencies of the clocks depend differently on the electromagnetic fine structure constant
${\alpha}_{EM}$
, the electronproton mass ratio
${m}_{e}/{m}_{p}$
, or the gyromagnetic ratio of the proton
${g}_{p}$
, for example, then a limit on a drift of the fractional frequency difference translates into a limit on a drift of the constant(s). The dependence of the frequencies on the constants may be quite complex, depending on the atomic species involved. The most recent experiments have exploited the techniques of laser cooling and trapping, and of atom fountains, in order to achieve extreme clock stability, and compared the Rubidium87 hyperfine transition [
181]
, the Mercury199 ion electric quadrupole transition [
31]
, the atomic Hydrogen
$1S\text{\u2013}2S$
transition [
111]
, or an optical transition in Ytterbium171 [
209]
, against the groundstate hyperfine transition in Cesium133. These experiments show that, today,
${\dot{\alpha}}_{EM}/{\alpha}_{EM}<3\times {10}^{15}y{r}^{1}$
.
The second type of bound involves measuring the relics of or signal from a process that occurred in the distant past and comparing the inferred value of the constant with the value measured in the laboratory today. One subtype uses astronomical measurements of spectral lines at large redshift, while the other uses fossils of nuclear processes on Earth to infer values of constants early in geological history.
Constant
$k$

Limit on
$\dot{k}/k$

Redshift

Method


(
$y{r}^{1}$
)

Fine structure constant (
${\alpha}_{EM}={e}^{2}/\u0127c$
)

$<30\times {10}^{16}$

$0$

Clock comparisons [181, 31, 111, 209]


$<0.5\times {10}^{16}$

$0.15$

Oklo Natural Reactor [72, 116, 210]


$<3.4\times {10}^{16}$

$0.45$

${}^{187}Re$
decay in meteorites [205]


$(6.4\pm 1.4)\times {10}^{16}$

$0.2\text{\u2013}3.7$

Spectra in distant quasars [269, 193]


$<1.2\times {10}^{16}$

$0.4\text{\u2013}2.3$

Spectra in distant quasars [242, 51]

Weak interaction constant (
${\alpha}_{W}={G}_{f}{m}_{p}^{2}c/{\u0127}^{3}$
)

$<1\times {10}^{11}$

$0.15$

Oklo Natural Reactor [72]


$<5\times {10}^{12}$

${10}^{9}$

Big Bang nucleosynthesis [179, 223]

ep mass ratio

$<3\times {10}^{15}$

$2.6\text{\u2013}3.0$

Spectra in distant quasars [135]



Table 1
: Bounds on cosmological variation of fundamental constants of nongravitational physics. For an indepth review, see [262] .
Earlier comparisons of spectral lines of different atoms or transitions in distant galaxies and quasars produced bounds
${\alpha}_{EM}$
or
${g}_{p}({m}_{e}/{m}_{p})$
on the order of a part in 10 per Hubble time [
298]
.
Dramatic improvements in the precision of astronomical and laboratory spectroscopy, in the ability to model the complex astronomical environments where emission and absorption lines are produced, and in the ability to reach large redshift have made it possible to improve the bounds significantly.
In fact, in 1999, Webb et al. [
269,
193]
announced that measurements of absorption lines in Mg, Al, Si, Cr, Fe, Ni, and Zn in quasars in the redshift range
$0.5<Z<3.5$
indicated a smaller value of
${\alpha}_{EM}$
in earlier epochs, namely
$\Delta {\alpha}_{EM}/{\alpha}_{EM}=(0.72\pm 0.18)\times {10}^{5}$
, corresponding to
${\dot{\alpha}}_{EM}/{\alpha}_{EM}=(6.4\pm 1.4)\times {10}^{16}y{r}^{1}$
(assuming a linear drift with time). Measurements by other groups have so far failed to confirm this nonzero effect [
242,
51,
219]
; a recent analysis of Mg absorption systems in quasars at
$0.4<Z<2.3$
gave
${\dot{\alpha}}_{EM}/{\alpha}_{EM}=(0.6\pm 0.6)\times {10}^{16}y{r}^{1}$
[
242]
.
Another important set of bounds arises from studies of the “Oklo” phenomenon, a group of natural, sustained
${}^{235}U$
fission reactors that occurred in the Oklo region of Gabon, Africa, around 1.8 billion years ago. Measurements of ore samples yielded an abnormally low value for the ratio of two isotopes of Samarium,
${}^{149}Sm{/}^{147}Sm$
. Neither of these isotopes is a fission product, but
${}^{149}Sm$
can be depleted by a flux of neutrons. Estimates of the neutron fluence (integrated dose) during the reactors' “on” phase, combined with the measured abundance anomaly, yield a value for the neutron crosssection for
${}^{149}Sm$
1.8 billion years ago that agrees with the modern value. However, the capture crosssection is extremely sensitive to the energy of a lowlying level (
$E\sim 0.1eV$
), so that a variation in the energy of this level of only
$20meV$
over a billion years would change the capture crosssection from its present value by more than the observed amount. This was first analyzed in 1976 by Shlyakter [
241]
. Recent reanalyses of the Oklo data [
72,
116,
210]
lead to a bound on
${\dot{\alpha}}_{EM}$
at the level of around
$5\times {10}^{17}y{r}^{1}$
.
In a similar manner, recent reanalyses of decay rates of
${}^{187}Re$
in ancient meteorites (4.5 billion years old) gave the bound
${\dot{\alpha}}_{EM}/{\alpha}_{EM}<3.4\times {10}^{16}y{r}^{1}$
[
205]
.
2.2 Theoretical frameworks for analyzing EEP
2.2.1 Schiff 's conjecture
Because the three parts of the Einstein equivalence principle discussed above are so very different in their empirical consequences, it is tempting to regard them as independent theoretical principles. On the other hand, any complete and selfconsistent gravitation theory must possess sufficient mathematical machinery to make predictions for the outcomes of experiments that test each principle, and because there are limits to the number of ways that gravitation can be meshed with the special relativistic laws of physics, one might not be surprised if there were theoretical connections between the three subprinciples. For instance, the same mathematical formalism that produces equations describing the free fall of a hydrogen atom must also produce equations that determine the energy levels of hydrogen in a gravitational field, and thereby the ticking rate of a hydrogen maser clock. Hence a violation of EEP in the fundamental machinery of a theory that manifests itself as a violation of WEP might also be expected to show up as a violation of local position invariance. Around 1960, Schiff conjectured that this kind of connection was a necessary feature of any selfconsistent theory of gravity. More precisely, Schiff 's conjecture states that any complete, selfconsistent theory of gravity that embodies WEP necessarily embodies EEP. In other words, the validity of WEP alone guarantees the validity of local Lorentz and position invariance, and thereby of EEP. If Schiff 's conjecture is correct, then Eötvös experiments may be seen as the direct empirical foundation for EEP, hence for the interpretation of gravity as a curvedspacetime phenomenon. Of course, a rigorous proof of such a conjecture is impossible (indeed, some special counterexamples are known [
204,
194,
62]
), yet a number of powerful “plausibility” arguments can be formulated.
The most general and elegant of these arguments is based upon the assumption of energy conservation. This assumption allows one to perform very simple cyclic gedanken experiments in which the energy at the end of the cycle must equal that at the beginning of the cycle. This approach was pioneered by Dicke, Nordtvedt, and Haugan (see, e.g., [
124]
). A system in a quantum state
$A$
decays to state
$B$
, emitting a quantum of frequency
$\nu $
. The quantum falls a height
$H$
in an external gravitational field and is shifted to frequency
${\nu}^{\prime}$
, while the system in state
$B$
falls with acceleration
${g}_{B}$
. At the bottom, state
$A$
is rebuilt out of state
$B$
, the quantum of frequency
${\nu}^{\prime}$
, and the kinetic energy
${m}_{B}{g}_{B}H$
that state
$B$
has gained during its fall. The energy left over must be exactly enough,
${m}_{A}{g}_{A}H$
, to raise state
$A$
to its original location. (Here an assumption of local Lorentz invariance permits the inertial masses
${m}_{A}$
and
${m}_{B}$
to be identified with the total energies of the bodies.) If
${g}_{A}$
and
${g}_{B}$
depend on that portion of the internal energy of the states that was involved in the quantum transition from
$A$
to
$B$
according to
$$\begin{array}{c}{g}_{A}=g\left(1+\frac{\alpha {E}_{A}}{{m}_{A}{c}^{2}}\right),{g}_{B}=g\left(1+\frac{\alpha {E}_{B}}{{m}_{B}{c}^{2}}\right),{E}_{A}{E}_{B}\equiv h\nu \end{array}$$ 
(7)

(violation of WEP), then by conservation of energy, there must be a corresponding violation of LPI in the frequency shift of the form (to lowest order in
$h\nu /m{c}^{2}$
)
$$\begin{array}{c}Z=\frac{{\nu}^{\prime}\nu}{{\nu}^{\prime}}=(1+\alpha )\frac{gH}{{c}^{2}}=(1+\alpha )\frac{\Delta U}{{c}^{2}}.\end{array}$$ 
(8)

Haugan generalized this approach to include violations of LLI [
124]
(TEGP 2.5 [
281]
).
Box 1. The
$\mathit{T}\mathit{H}\mathit{\epsilon}\mathit{\mu}$
formalism

Coordinate system and conventions:
${x}^{0}=t$
: time coordinate associated with the static nature of the static spherically symmetric (SSS) gravitational field;
$\mathbf{x}=(x,y,z)$
: isotropic quasiCartesian spatial coordinates; spatial vector and gradient operations as in Cartesian space.

Matter and field variables:

∙
${m}_{0a}$
: rest mass of particle
$a$
.

∙
${e}_{a}$
: charge of particle
$a$
.

∙
${x}_{a}^{\mu}\left(t\right)$
: world line of particle
$a$
.

∙
${v}_{a}^{\mu}=d{x}_{a}^{\mu}/dt$
: coordinate velocity of particle
$a$
.

∙
${A}_{\mu}=$
: electromagnetic vector potential;
$\mathbf{E}=\nabla {A}_{0}\partial \mathbf{A}/\partial t$
,
$\mathbf{B}=\nabla \times \mathbf{A}$
.

Gravitational potential:
$U(\mathbf{x})$
.

Arbitrary functions:
$T\left(U\right)$
,
$H\left(U\right)$
,
$\epsilon \left(U\right)$
,
$\mu \left(U\right)$
; EEP is satisfied if
$\epsilon =\mu =(H/T{)}^{1/2}$
for all
$U$
.

Nonmetric parameters:
$${\Gamma}_{0}={c}_{0}^{2}\frac{\partial}{\partial U}ln\left[\epsilon \right(T/H{)}^{1/2}{]}_{0},{\Lambda}_{0}={c}_{0}^{2}\frac{\partial}{\partial U}ln\left[\mu \right(T/H{)}^{1/2}{]}_{0},{\Upsilon}_{0}=1(T{H}^{1}\epsilon \mu {)}_{0},$$
where
${c}_{0}=({T}_{0}/{H}_{0}{)}^{1/2}$
and subscript “0” refers to a chosen point in space. If EEP is satisfied,
${\Gamma}_{0}\equiv {\Lambda}_{0}\equiv {\Upsilon}_{0}\equiv 0$
.
2.2.2 The
$\mathit{T}\mathit{H}\mathit{\epsilon}\mathit{\mu}$
formalism
The first successful attempt to prove Schiff 's conjecture more formally was made by Lightman and Lee [
166]
. They developed a framework called the
$TH\epsilon \mu $
formalism that encompasses all metric theories of gravity and many nonmetric theories (see Box 1 ). It restricts attention to the behavior of charged particles (electromagnetic interactions only) in an external static spherically symmetric (SSS) gravitational field, described by a potential
$U$
. It characterizes the motion of the charged particles in the external potential by two arbitrary functions
$T\left(U\right)$
and
$H\left(U\right)$
, and characterizes the response of electromagnetic fields to the external potential (gravitationally modified Maxwell equations) by two functions
$\epsilon \left(U\right)$
and
$\mu \left(U\right)$
. The forms of
$T$
,
$H$
,
$\epsilon $
, and
$\mu $
vary from theory to theory, but every metric theory satisfies
$$\begin{array}{c}\epsilon =\mu ={\left(\frac{H}{T}\right)}^{1/2},\end{array}$$ 
(9)

for all
$U$
. This consequence follows from the action of electrodynamics with a “minimal” or metric coupling:
$$\begin{array}{c}I={\sum}_{a}{m}_{0a}\int ({g}_{\mu \nu}{v}_{a}^{\mu}{v}_{a}^{\nu}{)}^{1/2}dt+{\sum}_{a}{e}_{a}\int {A}_{\mu}({x}_{a}^{\nu}){v}_{a}^{\mu}dt\frac{1}{16\pi}\int \sqrt{g}{g}^{\mu \alpha}{g}^{\nu \beta}{F}_{\mu \nu}{F}_{\alpha \beta}{d}^{4}x,\end{array}$$ 
(10)

where the variables are defined in Box 1 , and where
${F}_{\mu \nu}\equiv {A}_{\nu ,\mu}{A}_{\mu ,\nu}$
. By identifying
${g}_{00}=T$
and
${g}_{ij}=H{\delta}_{ij}$
in a SSS field,
${F}_{i0}={E}_{i}$
and
${F}_{ij}={\epsilon}_{ijk}{B}_{k}$
, one obtains Equation ( 9 ). Conversely, every theory within this class that satisfies Equation ( 9 ) can have its electrodynamic equations cast into “metric” form. In a given nonmetric theory, the functions
$T$
,
$H$
,
$\epsilon $
, and
$\mu $
will depend in general on the full gravitational environment, including the potential of the Earth, Sun, and Galaxy, as well as on cosmological boundary conditions. Which of these factors has the most influence on a given experiment will depend on the nature of the experiment.
Lightman and Lee then calculated explicitly the rate of fall of a “test” body made up of interacting charged particles, and found that the rate was independent of the internal electromagnetic structure of the body (WEP) if and only if Equation (
9 ) was satisfied. In other words, WEP
$\Rightarrow $
EEP and Schiff 's conjecture was verified, at least within the restrictions built into the formalism.
Certain combinations of the functions
$T$
,
$H$
,
$\epsilon $
, and
$\mu $
reflect different aspects of EEP. For instance, position or
$U$
dependence of either of the combinations
$\epsilon (T/H{)}^{1/2}$
and
$\mu (T/H{)}^{1/2}$
signals violations of LPI, the first combination playing the role of the locally measured electric charge or fine structure constant. The “nonmetric parameters”
${\Gamma}_{0}$
and
${\Lambda}_{0}$
(see Box 1 ) are measures of such violations of EEP. Similarly, if the parameter
${\Upsilon}_{0}\equiv 1(T{H}^{1}\epsilon \mu {)}_{0}$
is nonzero anywhere, then violations of LLI will occur. This parameter is related to the difference between the speed of light
$c$
, and the limiting speed of material test particles
${c}_{0}$
, given by
$$\begin{array}{c}c=({\epsilon}_{0}{\mu}_{0}{)}^{1/2},{c}_{0}={\left(\frac{{T}_{0}}{{H}_{0}}\right)}^{1/2}.\end{array}$$ 
(11)

In many applications, by suitable definition of units,
${c}_{0}$
can be set equal to unity. If EEP is valid,
${\Gamma}_{0}\equiv {\Lambda}_{0}\equiv {\Upsilon}_{0}=0$
everywhere.
The rate of fall of a composite spherical test body of electromagnetically interacting particles then has the form
$$\begin{array}{ccc}\mathbf{a}& =& \frac{{m}_{P}}{m}\nabla U,\end{array}$$ 
(12)

$$\begin{array}{ccc}\frac{{m}_{P}}{m}& =& 1+\frac{{E}_{B}^{ES}}{M{c}_{0}^{2}}\left[2{\Gamma}_{0}\frac{8}{3}{\Upsilon}_{0}\right]+\frac{{E}_{B}^{MS}}{M{c}_{0}^{2}}\left[2{\Lambda}_{0}\frac{4}{3}{\Upsilon}_{0}\right]+...,\end{array}$$ 
(13)

where
${E}_{B}^{ES}$
and
${E}_{B}^{MS}$
are the electrostatic and magnetostatic binding energies of the body, given by
$$\begin{array}{ccc}{E}_{B}^{ES}& =& \frac{1}{4}{T}_{0}^{1/2}{H}_{0}^{1}{\epsilon}_{0}^{1}\langle {\sum}_{ab}\frac{{e}_{a}{e}_{b}}{{r}_{ab}}\rangle ,\end{array}$$ 
(14)

$$\begin{array}{ccc}{E}_{B}^{MS}& =& \frac{1}{8}{T}_{0}^{1/2}{H}_{0}^{1}{\mu}_{0}\langle {\sum}_{ab}\frac{{e}_{a}{e}_{b}}{{r}_{ab}}[{\mathbf{v}}_{a}\cdot {\mathbf{v}}_{b}+({\mathbf{v}}_{a}\cdot {\mathbf{n}}_{ab}\left)\right({\mathbf{v}}_{b}\cdot {\mathbf{n}}_{ab}\left)\right]\rangle ,\end{array}$$ 
(15)

where
${r}_{ab}={\mathbf{x}}_{a}{\mathbf{x}}_{b}$
,
${\mathbf{n}}_{ab}=({\mathbf{x}}_{a}{\mathbf{x}}_{b})/{r}_{ab}$
, and the angle brackets denote an expectation value of the enclosed operator for the system's internal state. Eötvös experiments place limits on the WEPviolating terms in Equation ( 13 ), and ultimately place limits on the nonmetric parameters
$\left{\Gamma}_{0}\right<2\times {10}^{10}$
and
$\left{\Lambda}_{0}\right<3\times {10}^{6}$
. (We set
${\Upsilon}_{0}=0$
because of very tight constraints on it from tests of LLI; see Figure 2 , where
$\delta =\Upsilon $
.) These limits are sufficiently tight to rule out a number of nonmetric theories of gravity thought previously to be viable (TEGP 2.6 (f ) [
281]
).
The
$TH\epsilon \mu $
formalism also yields a gravitationally modified Dirac equation that can be used to determine the gravitational redshift experienced by a variety of atomic clocks. For the redshift parameter
$\alpha $
(see Equation ( 6 )), the results are (TEGP 2.6 (c) [
281]
):
$$\begin{array}{c}\alpha =\{\begin{array}{cc}3{\Gamma}_{0}+{\Lambda}_{0}& \text{hydrogen hyperfine transition, HMaser clock,}\\ \frac{1}{2}(3{\Gamma}_{0}+{\Lambda}_{0})& \text{electromagnetic mode in cavity, SCSO clock,}\\ 2{\Gamma}_{0}& \text{phonon mode in solid, principal transition in hydrogen.}\end{array}\end{array}$$ 
(16)

The redshift is the standard one
$(\alpha =0)$
, independently of the nature of the clock if and only if
${\Gamma}_{0}\equiv {\Lambda}_{0}\equiv 0$
. Thus the Vessot–Levine rocket redshift experiment sets a limit on the parameter combination
$3{\Gamma}_{0}{\Lambda}_{0}$
(see Figure 3 ); the nullredshift experiment comparing hydrogenmaser and SCSO clocks sets a limit on
${\alpha}_{H}{\alpha}_{SCSO}=\frac{3}{2}{\Gamma}_{0}{\Lambda}_{0}$
. Alvarez and Mann [
7,
6,
8,
9,
10]
extended the
$TH\epsilon \mu $
formalism to permit analysis of such effects as the Lamb shift, anomalous magnetic moments and nonbaryonic effects, and placed interesting bounds on EEP violations.
2.2.3 The
${\mathit{c}}^{2}$
formalism
The
$TH\epsilon \mu $
formalism can also be applied to tests of local Lorentz invariance, but in this context it can be simplified. Since most such tests do not concern themselves with the spatial variation of the functions
$T$
,
$H$
,
$\epsilon $
, and
$\mu $
, but rather with observations made in moving frames, we can treat them as spatial constants. Then by rescaling the time and space coordinates, the charges and the electromagnetic fields, we can put the action in Box 1 into the form (TEGP 2.6 (a) [
281]
)
$$\begin{array}{c}I={\sum}_{a}{m}_{0a}\int (1{v}_{a}^{2}{)}^{1/2}dt+{\sum}_{a}{e}_{a}\int {A}_{\mu}({x}_{a}^{\nu}){v}_{a}^{\mu}dt+(8\pi {)}^{1}\int ({E}^{2}{c}^{2}{B}^{2}){d}^{4}x,\end{array}$$ 
(17)

where
${c}^{2}\equiv {H}_{0}/\left({T}_{0}{\epsilon}_{0}{\mu}_{0}\right)=(1{\Upsilon}_{0}{)}^{1}$
. This amounts to using units in which the limiting speed
${c}_{0}$
of massive test particles is unity, and the speed of light is
$c$
. If
$c\ne 1$
, LLI is violated; furthermore, the form of the action above must be assumed to be valid only in some preferred universal rest frame. The natural candidate for such a frame is the rest frame of the microwave background.
The electrodynamical equations which follow from Equation (
17 ) yield the behavior of rods and clocks, just as in the full
$TH\epsilon \mu $
formalism. For example, the length of a rod which moves with velocity
$\mathbf{V}$
relative to the rest frame in a direction parallel to its length will be observed by a rest observer to be contracted relative to an identical rod perpendicular to the motion by a factor
$1{V}^{2}/2+\mathcal{O}\left({V}^{4}\right)$
. Notice that
$c$
does not appear in this expression, because only electrostatic interactions are involved, and
$c$
appears only in the magnetic sector of the action ( 17 ). The energy and momentum of an electromagnetically bound body moving with velocity
$\mathbf{V}$
relative to the rest frame are given by
$$\begin{array}{c}\begin{array}{ccc}E& =& {M}_{R}+\frac{1}{2}{M}_{R}{V}^{2}+\frac{1}{2}\delta {M}_{I}^{ij}{V}^{i}{V}^{j}+\mathcal{O}\left(M{V}^{4}\right),\\ {P}^{i}& =& {M}_{R}{V}^{i}+\delta {M}_{I}^{ij}{V}^{j}+\mathcal{O}\left(M{V}^{3}\right),\end{array}\end{array}$$ 
(18)

where
${M}_{R}={M}_{0}{E}_{B}^{ES}$
,
${M}_{0}$
is the sum of the particle rest masses,
${E}_{B}^{ES}$
is the electrostatic binding energy of the system (see Equation ( 14 ) with
${T}_{0}^{1/2}{H}_{0}{\epsilon}_{0}^{1}=1$
), and
$$\begin{array}{c}\delta {M}_{I}^{ij}=2\left(\frac{1}{{c}^{2}}1\right)\left[\frac{4}{3}{E}_{B}^{ES}{\delta}^{ij}+{\stackrel{~}{E}}_{B}^{ESij}\right],\end{array}$$ 
(19)

where
$$\begin{array}{c}{\stackrel{~}{E}}_{B}^{ESij}=\frac{1}{4}\langle {\sum}_{ab}\frac{{e}_{a}{e}_{b}}{{r}_{ab}}\left({n}_{ab}^{i}{n}_{ab}^{j}\frac{1}{3}{\delta}^{ij}\right)\rangle .\end{array}$$ 
(20)

Note that
$({c}^{2}1)$
corresponds to the parameter
$\delta $
plotted in Figure 2 .
The electrodynamics given by Equation (
17 ) can also be quantized, so that we may treat the interaction of photons with atoms via perturbation theory. The energy of a photon is
$\u0127$
times its frequency
$\omega $
, while its momentum is
$\u0127\omega /c$
. Using this approach, one finds that the difference in round trip travel times of light along the two arms of the interferometer in the Michelson–Morley experiment is given by
${L}_{0}({v}^{2}/c)({c}^{2}1)$
. The experimental null result then leads to the bound on
$({c}^{2}1)$
shown on Figure 2 . Similarly the anisotropy in energy levels is clearly illustrated by the tensorial terms in Equations ( 18 , 20 ); by evaluating
${\stackrel{~}{E}}_{B}^{ESij}$
for each nucleus in the various Hughes–Drevertype experiments and comparing with the experimental limits on energy differences, one obtains the extremely tight bounds also shown on Figure 2 .
The behavior of moving atomic clocks can also be analyzed in detail, and bounds on
$({c}^{2}1)$
can be placed using results from tests of time dilation and of the propagation of light. In some cases, it is advantageous to combine the
${c}^{2}$
framework with a “kinematical” viewpoint that treats a general class of boost transformations between moving frames. Such kinematical approaches have been discussed by Robertson, Mansouri and Sexl, and Will (see [
279]
).
For example, in the “JPL” experiment, in which the phases of two hydrogen masers connected by a fiberoptic link were compared as a function of the Earth's orientation, the predicted phase
difference as a function of direction is, to first order in
$\mathbf{V}$
, the velocity of the Earth through the cosmic background,
$$\begin{array}{c}\frac{\Delta \phi}{\stackrel{~}{\phi}}\approx \frac{4}{3}(1{c}^{2})(\mathbf{V}\cdot \mathbf{n}\mathbf{V}\cdot {\mathbf{n}}_{0}),\end{array}$$ 
(21)

where
$\stackrel{~}{\phi}=2\pi \nu L$
,
$\nu $
is the maser frequency,
$L=21km$
is the baseline, and where
$\mathbf{n}$
and
${\mathbf{n}}_{0}$
are unit vectors along the direction of propagation of the light at a given time and at the initial time of the experiment, respectively. The observed limit on a diurnal variation in the relative phase resulted in the bound
${c}^{2}1<3\times {10}^{4}$
. Tighter bounds were obtained from a “twophoton absorption” (TPA) experiment, and a 1960s series of “Mössbauerrotor” experiments, which tested the isotropy of time dilation between a gamma ray emitter on the rim of a rotating disk and an absorber placed at the center [
279]
.
2.2.4 The Standard Model Extension (SME)
Kostelecký and collaborators developed a useful and elegant framework for discussing violations of Lorentz symmetry in the context of the standard model of particle physics [
63,
64,
155]
. Called the Standard Model Extension (SME), it takes the standard
$SU\left(3\right)\times SU\left(2\right)\times U\left(1\right)$
field theory of particle physics, and modifies the terms in the action by inserting a variety of tensorial quantities in the quark, lepton, Higgs, and gauge boson sectors that could explicitly violate LLI. SME extends the earlier classical
$TH\epsilon \mu $
and
${c}^{2}$
frameworks, and the
$\chi g$
framework of Ni [
194]
to quantum field theory and particle physics. The modified terms split naturally into those that are odd under CPT (i.e. that violate CPT) and terms that are even under CPT. The result is a rich and complex framework, with many parameters to be analyzed and tested by experiment. Such details are beyond the scope of this review; for a review of SME and other frameworks, the reader is referred to the Living Review by Mattingly [
182]
.
Here we confine our attention to the electromagnetic sector, in order to link the SME with the
${c}^{2}$
framework discussed above. In the SME, the Lagrangian for a scalar particle
$\phi $
with charge
$e$
interacting with electrodynamics takes the form
$$\begin{array}{c}\mathcal{\mathcal{L}}=\left[{\eta}^{\mu \nu}+({k}_{\phi}{)}^{\mu \nu}\right]({D}_{\mu}\phi {)}^{\u2020}{D}_{\nu}\phi {m}^{2}{\phi}^{\u2020}\phi \frac{1}{4}\left[{\eta}^{\mu \alpha}{\eta}^{\nu \beta}+({k}_{F}{)}^{\mu \nu \alpha \beta}\right]{F}_{\mu \nu}{F}_{\alpha \beta},\end{array}$$ 
(22)

where
${D}_{\mu}\phi ={\partial}_{\mu}\phi +ie{A}_{\mu}\phi $
, where
$({k}_{\phi}{)}^{\mu \nu}$
is a real symmetric tracefree tensor, and where
$({k}_{F}{)}^{\mu \nu \alpha \beta}$
is a tensor with the symmetries of the Riemann tensor, and with vanishing double trace. It has 19 independent components. There could also be a CPTodd term in
$\mathcal{\mathcal{L}}$
of the form
$({k}_{A}{)}^{\mu}{\epsilon}_{\mu \nu \alpha \beta}{A}^{\nu}{F}^{\alpha \beta}$
, but because of a variety of preexisting theoretical and experimental constraints, it is generally set to zero.
The tensor
$({k}_{F}{)}^{\mu \alpha \nu \beta}$
can be decomposed into “electric”, “magnetic”, and “oddparity” components, by defining
$$\begin{array}{c}\begin{array}{ccc}({\kappa}_{DE}{)}^{jk}& =& 2({k}_{F}{)}^{0j0k},\\ ({\kappa}_{HB}{)}^{jk}& =& \frac{1}{2}{\epsilon}^{jpq}{\epsilon}^{krs}({k}_{F}{)}^{pqrs},\\ ({\kappa}_{DB}{)}^{kj}& =& ({k}_{HE}{)}^{jk}={\epsilon}^{jpq}({k}_{F}{)}^{0kpq}.\end{array}\end{array}$$ 
(23)

In many applications it is useful to use the further decomposition
$$\begin{array}{c}\begin{array}{ccc}{\stackrel{~}{\kappa}}_{tr}& =& \frac{1}{3}({\kappa}_{DE}{)}^{jj},\\ ({\stackrel{~}{\kappa}}_{e+}{)}^{jk}& =& \frac{1}{2}({\kappa}_{DE}+{\kappa}_{HB}{)}^{jk},\\ ({\stackrel{~}{\kappa}}_{e}{)}^{jk}& =& \frac{1}{2}({\kappa}_{DE}{\kappa}_{HB}{)}^{jk}\frac{1}{3}{\delta}^{jk}({\kappa}_{DE}{)}^{ii},\\ ({\stackrel{~}{\kappa}}_{o+}{)}^{jk}& =& \frac{1}{2}({\kappa}_{DB}+{\kappa}_{HE}{)}^{jk},\\ ({\stackrel{~}{\kappa}}_{o}{)}^{jk}& =& \frac{1}{2}({\kappa}_{DB}{\kappa}_{HE}{)}^{jk}.\end{array}\end{array}$$ 
(24)

The first expression is a single number, the next three are symmetric tracefree matrices, and the final is an antisymmetric matrix, accounting thereby for the 19 components of the original tensor
$({k}_{F}{)}^{\mu \alpha \nu \beta}$
.
In the rest frame of the universe, these tensors have some form that is established by the global nature of the solutions of the overarching theory being used. In a frame that is moving relative to the universe, the tensors will have components that depend on the velocity of the frame, and on the orientation of the frame relative to that velocity.
In the case where the theory is rotationally symmetric in the preferred frame, the tensors
$({k}_{\phi}{)}^{\mu \nu}$
and
$({k}_{F}{)}^{\mu \nu \alpha \beta}$
can be expressed in the form
$$\begin{array}{ccc}({k}_{\phi}{)}^{\mu \nu}& =& {\stackrel{~}{\kappa}}_{\phi}\left({u}^{\mu}{u}^{\nu}+\frac{1}{4}{\eta}^{\mu \nu}\right),\end{array}$$ 
(25)

$$\begin{array}{ccc}({k}_{F}{)}^{\mu \nu \alpha \beta}& =& {\stackrel{~}{\kappa}}_{tr}\left(4{u}^{[\mu}{\eta}^{\nu ][\alpha}{u}^{\beta ]}{\eta}^{\mu [\alpha}{\eta}^{\beta ]\nu}\right),\end{array}$$ 
(26)

where
$[]$
around indices denote antisymmetrization, and where
${u}^{\mu}$
is the fourvelocity of an observer at rest in the preferred frame. With this assumption, all the tensorial quantities in Equation ( 24 ) vanish in the preferred frame, and, after suitable rescalings of coordinates and fields, the action ( 22 ) can be put into the form of the
${c}^{2}$
framework, with
$$\begin{array}{c}c={\left(\frac{1\frac{3}{4}{\stackrel{~}{\kappa}}_{\phi}}{1+\frac{1}{4}{\stackrel{~}{\kappa}}_{\phi}}\right)}^{1/2}{\left(\frac{1{\stackrel{~}{\kappa}}_{tr}}{1+{\stackrel{~}{\kappa}}_{tr}}\right)}^{1/2}.\end{array}$$ 
(27)

2.3 EEP, particle physics, and the search for new interactions
Thus far, we have discussed EEP as a principle that strictly divides the world into metric and nonmetric theories, and have implied that a failure of EEP might invalidate metric theories (and thus general relativity). On the other hand, there is mounting theoretical evidence to suggest that EEP is likely to be violated at some level, whether by quantum gravity effects, by effects arising from string theory, or by hitherto undetected interactions. Roughly speaking, in addition to the pure Einsteinian gravitational interaction, which respects EEP, theories such as string theory predict other interactions which do not. In string theory, for example, the existence of such EEPviolating fields is assured, but the theory is not yet mature enough to enable a robust calculation of their strength relative to gravity, or a determination of whether they are long range, like gravity, or short range, like the nuclear and weak interactions, and thus too short range to be detectable.
In one simple example [
92]
, one can write the Lagrangian for the lowenergy limit of a stringinspired theory in the socalled “Einstein frame”, in which the gravitational Lagrangian is purely general relativistic:
$$\begin{array}{ccc}\stackrel{~}{\mathcal{\mathcal{L}}}=\sqrt{\stackrel{~}{g}}(& & {\stackrel{~}{g}}^{\mu \nu}\left[\frac{1}{2\kappa}{\stackrel{~}{R}}_{\mu \nu}\frac{1}{2}\stackrel{~}{G}\left(\phi \right){\partial}_{\mu}\phi {\partial}_{\nu}\phi \right]U\left(\phi \right){\stackrel{~}{g}}^{\mu \nu}{\stackrel{~}{g}}^{\alpha \beta}{F}_{\mu \alpha}{F}_{\nu \beta}\end{array}$$  
$$\begin{array}{ccc}& & +\overline{\stackrel{~}{\psi}}\left[i{\stackrel{~}{e}}_{a}^{\mu}{\gamma}^{a}\left({\partial}_{\mu}+{\stackrel{~}{\Omega}}_{\mu}+q{A}_{\mu}\right)\stackrel{~}{M}\left(\phi \right)\right]\stackrel{~}{\psi}),\end{array}$$ 
(28)

where
${\stackrel{~}{g}}_{\mu \nu}$
is the nonphysical metric,
${\stackrel{~}{R}}_{\mu \nu}$
is the Ricci tensor derived from it,
$\phi $
is a dilaton field, and
$\stackrel{~}{G}$
,
$U$
and
$\stackrel{~}{M}$
are functions of
$\phi $
. The Lagrangian includes that for the electromagnetic field
${F}_{\mu \nu}$
, and that for particles, written in terms of Dirac spinors
$\stackrel{~}{\psi}$
. This is not a metric representation because of the coupling of
$\phi $
to matter via
$\stackrel{~}{M}\left(\phi \right)$
and
$U\left(\phi \right)$
. A conformal transformation
${\stackrel{~}{g}}_{\mu \nu}=F\left(\phi \right){g}_{\mu \nu}$
,
$\stackrel{~}{\psi}=F(\phi {)}^{3/4}\psi $
, puts the Lagrangian in the form (“Jordan” frame)
$$\begin{array}{ccc}\mathcal{\mathcal{L}}=\sqrt{g}(& & {g}^{\mu \nu}\left[\frac{1}{2\kappa}F\left(\phi \right){R}_{\mu \nu}\frac{1}{2}F\left(\phi \right)\stackrel{~}{G}\left(\phi \right){\partial}_{\mu}\phi {\partial}_{\nu}\phi +\frac{3}{4\kappa F\left(\phi \right)}{\partial}_{\mu}F{\partial}_{\nu}F\right]\end{array}$$  
$$\begin{array}{ccc}& & U\left(\phi \right){g}^{\mu \nu}{g}^{\alpha \beta}{F}_{\mu \alpha}{F}_{\nu \beta}+\overline{\psi}\left[i{e}_{a}^{\mu}{\gamma}^{a}({\partial}_{\mu}+{\Omega}_{\mu}+q{A}_{\mu})\stackrel{~}{M}\left(\phi \right){F}^{1/2}\right]\psi ).\end{array}$$ 
(29)

One may choose
$F\left(\phi \right)=const./\stackrel{~}{M}(\phi {)}^{2}$
so that the particle Lagrangian takes the metric form (no explicit coupling to
$\phi $
), but the electromagnetic Lagrangian will still couple nonmetrically to
$U\left(\phi \right)$
.
The gravitational Lagrangian here takes the form of a scalartensor theory (see Section
3.3.2 ). But the nonmetric electromagnetic term will, in general, produce violations of EEP. For examples of specific models, see [
254,
85]
. Another class of nonmetric theories are included in the “varying speed of light (VSL)” theories; for a detailed review, see [
178]
.
On the other hand, whether one views such effects as a violation of EEP or as effects arising from additional “matter” fields whose interactions, like those of the electromagnetic field, do not fully embody EEP, is to some degree a matter of semantics. Unlike the fields of the standard model of electromagnetic, weak and strong interactions, which couple to properties other than massenergy and are either short range or are strongly screened, the fields inspired by string theory
could be long range (if they remain massless by virtue of a symmetry, or at best, acquire a very small mass), and can couple to massenergy, and thus can mimic gravitational fields. Still, there appears to be no way to make this precise.
As a result, EEP and related tests are now viewed as ways to discover or place constraints on new physical interactions, or as a branch of “nonaccelerator particle physics”, searching for the possible imprints of highenergy particle effects in the lowenergy realm of gravity. Whether current or proposed experiments can actually probe these phenomena meaningfully is an open question at the moment, largely because of a dearth of firm theoretical predictions.
2.3.1 The “fifth” force
On the phenomenological side, the idea of using EEP tests in this way may have originated in the middle 1980s, with the search for a “fifth” force. In 1986, as a result of a detailed reanalysis of Eötvös' original data, Fischbach et al. [
108]
suggested the existence of a fifth force of nature, with a strength of about a percent that of gravity, but with a range (as defined by the range
$\lambda $
of a Yukawa potential,
${e}^{r/\lambda}/r$
) of a few hundred meters. This proposal dovetailed with earlier hints of a deviation from the inversesquare law of Newtonian gravitation derived from measurements of the gravity profile down deep mines in Australia, and with emerging ideas from particle physics suggesting the possible presence of very lowmass particles with gravitationalstrength couplings.
During the next four years numerous experiments looked for evidence of the fifth force by searching for compositiondependent differences in acceleration, with variants of the Eötvös experiment or with freefall Galileotype experiments. Although two early experiments reported positive evidence, the others all yielded null results. Over the range between one and
${10}^{4}$
meters, the null experiments produced upper limits on the strength of a postulated fifth force between
${10}^{3}$
and
${10}^{6}$
of the strength of gravity. Interpreted as tests of WEP (corresponding to the limit of infiniterange forces), the results of two representative experiments from this period, the freefall Galileo experiment and the early EötWash experiment, are shown in Figure 1 . At the same time, tests of the inversesquare law of gravity were carried out by comparing variations in gravity measurements up tall towers or down mines or boreholes with gravity variations predicted using the inverse square law together with Earth models and surface gravity data mathematically “continued” up the tower or down the hole. Despite early reports of anomalies, independent tower, borehole, and seawater measurements ultimately showed no evidence of a deviation. Analyses of orbital data from planetary range measurements, lunar laser ranging (LLR), and laser tracking of the LAGEOS satellite verified the inversesquare law to parts in
${10}^{8}$
over scales of
${10}^{3}$
to
${10}^{5}km$
, and to parts in
${10}^{9}$
over planetary scales of several astronomical units [
250]
. A consensus emerged that there was no credible experimental evidence for a fifth force of nature, of a type and range proposed by Fischbach et al.
For reviews and bibliographies of this episode, see [
107,
109,
110,
4,
278]
.
2.3.2 Shortrange modifications of Newtonian gravity
Although the idea of an intermediaterange violation of Newton's gravitational law was dropped, new ideas emerged to suggest the possibility that the inversesquare law could be violated at very short ranges, below the centimeter range of existing laboratory verifications of the
$1/{r}^{2}$
behavior.
One set of ideas [
13,
11,
221,
220]
posited that some of the extra spatial dimensions that come with string theory could extend over macroscopic scales, rather than being rolled up at the Planck scale of
${10}^{33}cm$
, which was then the conventional viewpoint. On laboratory distances large compared to the relevant scale of the extra dimension, gravity would fall off as the inverse square, whereas on short scales, gravity would fall off as
$1/{R}^{2+n}$
, where
$n$
is the number of large extra dimensions.
Many models favored
$n=1$
or
$n=2$
. Other possibilities for effective modifications of gravity at short range involved the exchange of light scalar particles.
Following these proposals, many of the highprecision, lownoise methods that were developed for tests of WEP were adapted to carry out laboratory tests of the inverse square law of Newtonian gravitation at millimeter scales and below. The challenge of these experiments has been to distinguish gravitationlike interactions from electromagnetic and quantum mechanical (Casimir) effects. No deviations from the inverse square law have been found to date at distances between
$10\mu m$
and
$10mm$
[
171,
130,
129,
52,
170]
. For a comprehensive review of both the theory and the experiments, see [
3]
.
3 Tests of PostNewtonian Gravity
3.1 Metric theories of gravity and the strong equivalence principle
3.1.1 Universal coupling and the metric postulates
The empirical evidence supporting the Einstein equivalence principle, discussed in the previous Section 2 , supports the conclusion that the only theories of gravity that have a hope of being viable are metric theories, or possibly theories that are metric apart from very weak or shortrange nonmetric couplings (as in string theory). Therefore for the remainder of this review, we shall turn our attention exclusively to metric theories of gravity, which assume that

1.
there exists a symmetric metric,

2.
test bodies follow geodesics of the metric, and

3.
in local Lorentz frames, the nongravitational laws of physics are those of special relativity.
The property that all nongravitational fields should couple in the same manner to a single gravitational field is sometimes called “universal coupling”. Because of it, one can discuss the metric as a property of spacetime itself rather than as a field over spacetime. This is because its properties may be measured and studied using a variety of different experimental devices, composed of different nongravitational fields and particles, and, because of universal coupling, the results will be independent of the device. Thus, for instance, the proper time between two events is a characteristic of spacetime and of the location of the events, not of the clocks used to measure it.
Consequently, if EEP is valid, the nongravitational laws of physics may be formulated by taking their special relativistic forms in terms of the Minkowski metric
$\mathit{\eta}$
and simply “going over” to new forms in terms of the curved spacetime metric
$\mathit{g}$
, using the mathematics of differential geometry.
The details of this “going over” can be found in standard textbooks (see [
189,
270]
, TEGP 3.2. [
281]
).
3.1.2 The strong equivalence principle
In any metric theory of gravity, matter and nongravitational fields respond only to the spacetime metric
$\mathit{g}$
. In principle, however, there could exist other gravitational fields besides the metric, such as scalar fields, vector fields, and so on. If, by our strict definition of metric theory, matter does not couple to these fields, what can their role in gravitation theory be? Their role must be that of mediating the manner in which matter and nongravitational fields generate gravitational fields and produce the metric; once determined, however, the metric alone acts back on the matter in the manner prescribed by EEP. What distinguishes one metric theory from another, therefore, is the number and kind of gravitational fields it contains in addition to the metric, and the equations that determine the structure and evolution of these fields. From this viewpoint, one can divide all metric theories of gravity into two fundamental classes: “purely dynamical” and “priorgeometric”.
By “purely dynamical metric theory” we mean any metric theory whose gravitational fields have their structure and evolution determined by coupled partial differential field equations. In other words, the behavior of each field is influenced to some extent by a coupling to at least one of the other fields in the theory. By “prior geometric” theory, we mean any metric theory that contains “absolute elements”, fields or equations whose structure and evolution are given
a priori, and are independent of the structure and evolution of the other fields of the theory. These “absolute elements” typically include flat background metrics
$\mathit{\eta}$
or cosmic time coordinates
$t$
.
General relativity is a purely dynamical theory since it contains only one gravitational field, the metric itself, and its structure and evolution are governed by partial differential equations (Einstein's equations). Brans–Dicke theory and its generalizations are purely dynamical theories; the field equation for the metric involves the scalar field (as well as the matter as source), and that for the scalar field involves the metric. Rosen's bimetric theory is a priorgeometric theory: It has a nondynamical, Riemannflat background metric
$\mathit{\eta}$
, and the field equations for the physical metric
$\mathit{g}$
involve
$\mathit{\eta}$
.
By discussing metric theories of gravity from this broad point of view, it is possible to draw some general conclusions about the nature of gravity in different metric theories, conclusions that are reminiscent of the Einstein equivalence principle, but that are subsumed under the name “strong equivalence principle”.
Consider a local, freely falling frame in any metric theory of gravity. Let this frame be small enough that inhomogeneities in the external gravitational fields can be neglected throughout its volume. On the other hand, let the frame be large enough to encompass a system of gravitating matter and its associated gravitational fields. The system could be a star, a black hole, the solar system, or a Cavendish experiment. Call this frame a “quasilocal Lorentz frame”. To determine the behavior of the system we must calculate the metric. The computation proceeds in two stages.
First we determine the external behavior of the metric and gravitational fields, thereby establishing boundary values for the fields generated by the local system, at a boundary of the quasilocal frame “far” from the local system. Second, we solve for the fields generated by the local system. But because the metric is coupled directly or indirectly to the other fields of the theory, its structure and evolution will be influenced by those fields, and in particular by the boundary values taken on by those fields far from the local system. This will be true even if we work in a coordinate system in which the asymptotic form of
${g}_{\mu \nu}$
in the boundary region between the local system and the external world is that of the Minkowski metric. Thus the gravitational environment in which the local gravitating system resides can influence the metric generated by the local system via the boundary values of the auxiliary fields. Consequently, the results of local gravitational experiments may depend on the location and velocity of the frame relative to the external environment. Of course, local non gravitational experiments are unaffected since the gravitational fields they generate are assumed to be negligible, and since those experiments couple only to the metric, whose form can always be made locally Minkowskian at a given spacetime event. Local gravitational experiments might include Cavendish experiments, measurement of the acceleration of massive selfgravitating bodies, studies of the structure of stars and planets, or analyses of the periods of “gravitational clocks”. We can now make several statements about different kinds of metric theories.

∙
A theory which contains only the metric
$\mathit{g}$
yields local gravitational physics which is independent of the location and velocity of the local system. This follows from the fact that the only field coupling the local system to the environment is
$\mathit{g}$
, and it is always possible to find a coordinate system in which
$\mathit{g}$
takes the Minkowski form at the boundary between the local system and the external environment (neglecting inhomogeneities in the external gravitational field). Thus the asymptotic values of
${g}_{\mu \nu}$
are constants independent of location, and are asymptotically Lorentz invariant, thus independent of velocity. General relativity is an example of such a theory.

∙
A theory which contains the metric
$\mathit{g}$
and dynamical scalar fields
${\phi}_{A}$
yields local gravitational physics which may depend on the location of the frame but which is independent of the velocity of the frame. This follows from the asymptotic Lorentz invariance of the Minkowski metric and of the scalar fields, but now the asymptotic values of the scalar fields may depend on the location of the frame. An example is Brans–Dicke theory, where the asymptotic scalar field determines the effective value of the gravitational constant, which can thus vary as
$\phi $
varies. On the other hand, a form of velocity dependence in local physics can enter indirectly if the asymptotic values of the scalar field vary with time cosmologically. Then the rate of variation of the gravitational constant could depend on the velocity of the frame.

∙
A theory which contains the metric
$\mathit{g}$
and additional dynamical vector or tensor fields or priorgeometric fields yields local gravitational physics which may have both location and velocitydependent effects.
These ideas can be summarized in the strong equivalence principle (SEP), which states that:

1.
WEP is valid for selfgravitating bodies as well as for test bodies.

2.
The outcome of any local test experiment is independent of the velocity of the (freely falling) apparatus.

3.
The outcome of any local test experiment is independent of where and when in the universe it is performed.
The distinction between SEP and EEP is the inclusion of bodies with selfgravitational interactions (planets, stars) and of experiments involving gravitational forces (Cavendish experiments, gravimeter measurements). Note that SEP contains EEP as the special case in which local gravitational forces are ignored.
The above discussion of the coupling of auxiliary fields to local gravitating systems indicates that if SEP is strictly valid, there must be one and only one gravitational field in the universe, the metric
$\mathit{g}$
. These arguments are only suggestive however, and no rigorous proof of this statement is available at present. Empirically it has been found that almost every metric theory other than GR introduces auxiliary gravitational fields, either dynamical or prior geometric, and thus predicts violations of SEP at some level (here we ignore quantumtheory inspired modifications to GR involving “
${R}^{2}$
” terms). The one exception is Nordström's 1913 conformallyflat scalar theory [
195]
, which can be written purely in terms of the metric; the theory satisfies SEP, but unfortunately violates experiment by predicting no deflection of light. General relativity seems to be the only viable metric theory that embodies SEP completely. In Section 3.6 , we shall discuss experimental evidence for the validity of SEP.
3.2 The parametrized postNewtonian formalism
Despite the possible existence of longrange gravitational fields in addition to the metric in various metric theories of gravity, the postulates of those theories demand that matter and nongravitational fields be completely oblivious to them. The only gravitational field that enters the equations of motion is the metric
$\mathit{g}$
. The role of the other fields that a theory may contain can only be that of helping to generate the spacetime curvature associated with the metric. Matter may create these fields, and they plus the matter may generate the metric, but they cannot act back directly on the matter. Matter responds only to the metric.
Thus the metric and the equations of motion for matter become the primary entities for calculating observable effects, and all that distinguishes one metric theory from another is the particular way in which matter and possibly other gravitational fields generate the metric.
The comparison of metric theories of gravity with each other and with experiment becomes particularly simple when one takes the slowmotion, weakfield limit. This approximation, known as the postNewtonian limit, is sufficiently accurate to encompass most solarsystem tests that can be performed in the foreseeable future. It turns out that, in this limit, the spacetime metric
$\mathit{g}$
predicted by nearly every metric theory of gravity has the same structure. It can be written as an expansion about the Minkowski metric (
${\eta}_{\mu \nu}=diag(1,1,1,1)$
) in terms of dimensionless gravitational potentials of varying degrees of smallness. These potentials are constructed from the matter variables (see Box 2 ) in imitation of the Newtonian gravitational potential
$$\begin{array}{c}U(\mathbf{x},t)\equiv \int \rho ({\mathbf{x}}^{\prime},t)\mathbf{x}{\mathbf{x}}^{\prime}{}^{1}{d}^{3}{x}^{\prime}.\end{array}$$ 
(30)

The “order of smallness” is determined according to the rules
$U\sim {v}^{2}\sim \Pi \sim p/\rho \sim \epsilon $
,
${v}^{i}\sim d/dt/d/dx\sim {\epsilon}^{1/2}$
, and so on (we use units in which
$G=c=1$
; see Box 2 ).
A consistent postNewtonian limit requires determination of
${g}_{00}$
correct through
$\mathcal{O}\left({\epsilon}^{2}\right)$
,
${g}_{0i}$
through
$\mathcal{O}\left({\epsilon}^{3/2}\right)$
, and
${g}_{ij}$
through
$\mathcal{O}\left(\epsilon \right)$
(for details see TEGP 4.1 [
281]
). The only way that one metric theory differs from another is in the numerical values of the coefficients that appear in front of the metric potentials. The parametrized postNewtonian (PPN) formalism inserts parameters in place of these coefficients, parameters whose values depend on the theory under study. In the current version of the PPN formalism, summarized in Box 2 , ten parameters are used, chosen in such a manner that they measure or indicate general properties of metric theories of gravity (see Table 2 ). Under reasonable assumptions about the kinds of potentials that can be present at postNewtonian order (basically only Poissonlike potentials), one finds that ten PPN parameters exhaust the possibilities.
Parameter

What it measures relative to GR

Value in GR

Value in semiconservative theories

Value in fully conservative theories

$\gamma $

How much spacecurvature produced by unit rest mass?

$1$

$\gamma $

$\gamma $

$\beta $

How much “nonlinearity” in the superposition law for gravity?

$1$

$\beta $

$\beta $

$\xi $

Preferredlocation effects?

$0$

$\xi $

$\xi $

${\alpha}_{1}$

Preferredframe effects?

$0$

${\alpha}_{1}$

$0$

${\alpha}_{2}$


$0$

${\alpha}_{2}$

$0$

${\alpha}_{3}$


$0$

$0$

$0$

${\alpha}_{3}$

Violation of conservation

$0$

$0$

$0$

${\zeta}_{1}$

of total momentum?

$0$

$0$

$0$

${\zeta}_{2}$


$0$

$0$

$0$

${\zeta}_{3}$


$0$

$0$

$0$

${\zeta}_{4}$


$0$

$0$

$0$



Table 2
: The PPN Parameters and their significance (note that
${\alpha}_{3}$
has been shown twice to indicate that it is a measure of two effects).
The parameters
$\gamma $
and
$\beta $
are the usual Eddington–Robertson–Schiff parameters used to describe the “classical” tests of GR, and are in some sense the most important; they are the only nonzero parameters in GR and scalartensor gravity. The parameter
$\xi $
is nonzero in any theory of gravity that predicts preferredlocation effects such as a galaxyinduced anisotropy in the local gravitational constant
${G}_{L}$
(also called “Whitehead” effects);
${\alpha}_{1}$
,
${\alpha}_{2}$
,
${\alpha}_{3}$
measure whether or not the theory predicts postNewtonian preferredframe effects;
${\alpha}_{3}$
,
${\zeta}_{1}$
,
${\zeta}_{2}$
,
${\zeta}_{3}$
,
${\zeta}_{4}$
measure whether or not the theory predicts violations of global conservation laws for total momentum. In Table 2 we show the values these parameters take

1.
in GR,

2.
in any theory of gravity that possesses conservation laws for total momentum, called “semiconservative” (any theory that is based on an invariant action principle is semiconservative), and

3.
in any theory that in addition possesses six global conservation laws for angular momentum, called “fully conservative” (such theories automatically predict no postNewtonian preferredframe effects).
Semiconservative theories have five free PPN parameters (
$\gamma $
,
$\beta $
,
$\xi $
,
${\alpha}_{1}$
,
${\alpha}_{2}$
) while fully conservative theories have three (
$\gamma $
,
$\beta $
,
$\xi $
).
The PPN formalism was pioneered by Kenneth Nordtvedt [
197]
, who studied the postNewtonian metric of a system of gravitating point masses, extending earlier work by Eddington, Robertson and Schiff (TEGP 4.2 [
281]
). Will [
274]
generalized the framework to perfect fluids. A general and unified version of the PPN formalism was developed by Will and Nordtvedt. The canonical version, with conventions altered to be more in accord with standard textbooks such as [
189]
, is discussed in detail in TEGP 4 [
281]
. Other versions of the PPN formalism have been developed to deal with point masses with charge, fluid with anisotropic stresses, bodies with strong internal gravity, and postpostNewtonian effects (TEGP 4.2, 14.2 [
281]
).
Box 2. The Parametrized PostNewtonian formalism

Coordinate system:
The framework uses a nearly globally Lorentz coordinate system in which the coordinates are
$(t,{x}^{1},{x}^{2},{x}^{3})$
. Threedimensional, Euclidean vector notation is used throughout. All coordinate arbitrariness (“gauge freedom”) has been removed by specialization of the coordinates to the standard PPN gauge (TEGP 4.2 [281] ). Units are chosen so that
$G=c=1$
, where
$G$
is the physically measured Newtonian constant far from the solar system.

Matter variables:

∙
$\rho $
: density of rest mass as measured in a local freely falling frame momentarily comoving with the gravitating matter.

∙
${v}^{i}=(d{x}^{i}/dt)$
: coordinate velocity of the matter.

∙
${w}^{i}$
: coordinate velocity of the PPN coordinate system relative to the mean restframe of the universe.

∙
$p$
: pressure as measured in a local freely falling frame momentarily comoving with the matter.

∙
$\Pi $
: internal energy per unit rest mass (it includes all forms of nonrestmass, nongravitational energy, e.g., energy of compression and thermal energy).

PPN parameters:
$\gamma $
,
$\beta $
,
$\xi $
,
${\alpha}_{1}$
,
${\alpha}_{2}$
,
${\alpha}_{3}$
,
${\zeta}_{1}$
,
${\zeta}_{2}$
,
${\zeta}_{3}$
,
${\zeta}_{4}$
.

Metric:
$$\begin{array}{ccc}{g}_{00}& =& 1+2U2\beta {U}^{2}2\xi {\Phi}_{W}+(2\gamma +2+{\alpha}_{3}+{\zeta}_{1}2\xi ){\Phi}_{1}+2(3\gamma 2\beta +1+{\zeta}_{2}+\xi ){\Phi}_{2}\end{array}$$  
$$\begin{array}{ccc}& & +2(1+{\zeta}_{3}){\Phi}_{3}+2(3\gamma +3{\zeta}_{4}2\xi ){\Phi}_{4}({\zeta}_{1}2\xi )\mathcal{A}({\alpha}_{1}{\alpha}_{2}{\alpha}_{3}){w}^{2}U{\alpha}_{2}{w}^{i}{w}^{j}{U}_{ij}\end{array}$$  
$$\begin{array}{ccc}& & +(2{\alpha}_{3}{\alpha}_{1}){w}^{i}{V}_{i}+\mathcal{O}\left({\epsilon}^{3}\right),\end{array}$$  
$$\begin{array}{ccc}{g}_{0i}& =& \frac{1}{2}(4\gamma +3+{\alpha}_{1}{\alpha}_{2}+{\zeta}_{1}2\xi ){V}_{i}\frac{1}{2}(1+{\alpha}_{2}{\zeta}_{1}+2\xi ){W}_{i}\frac{1}{2}({\alpha}_{1}2{\alpha}_{2}){w}^{i}U\end{array}$$  
$$\begin{array}{ccc}& & {\alpha}_{2}{w}^{j}{U}_{ij}+\mathcal{O}\left({\epsilon}^{5/2}\right),\end{array}$$  
$$\begin{array}{ccc}{g}_{ij}& =& (1+2\gamma U){\delta}_{ij}+\mathcal{O}\left({\epsilon}^{2}\right).\end{array}$$  

Metric potentials:
$$\begin{array}{ccc}U& =& \int \frac{{\rho}^{\prime}}{\mathbf{x}{\mathbf{x}}^{\prime}}{d}^{3}{x}^{\prime},\end{array}$$  
$$\begin{array}{ccc}{U}_{ij}& =& \int \frac{{\rho}^{\prime}(x{x}^{\prime}{)}_{i}(x{x}^{\prime}{)}_{j}}{\mathbf{x}{\mathbf{x}}^{\prime}{}^{3}}{d}^{3}{x}^{\prime},\end{array}$$  
$$\begin{array}{ccc}{\Phi}_{W}& =& \int \frac{{\rho}^{\prime}{\rho}^{\prime \prime}(\mathbf{x}{\mathbf{x}}^{\prime})}{\mathbf{x}{\mathbf{x}}^{\prime}{}^{3}}\cdot \left(\frac{{\mathbf{x}}^{\prime}{\mathbf{x}}^{\prime \prime}}{\mathbf{x}{\mathbf{x}}^{\prime \prime}}\frac{\mathbf{x}{\mathbf{x}}^{\prime \prime}}{{\mathbf{x}}^{\prime}{\mathbf{x}}^{\prime \prime}}\right){d}^{3}{x}^{\prime}{d}^{3}{x}^{\prime \prime},\end{array}$$  
$$\begin{array}{ccc}\mathcal{A}& =& \int \frac{{\rho}^{\prime}[{\mathbf{v}}^{\prime}\cdot (\mathbf{x}{\mathbf{x}}^{\prime}){]}^{2}}{\mathbf{x}{\mathbf{x}}^{\prime}{}^{3}}{d}^{3}{x}^{\prime},\end{array}$$  
$$\begin{array}{ccc}{\Phi}_{1}& =& \int \frac{{\rho}^{\prime}{{v}^{\prime}}^{2}}{\mathbf{x}{\mathbf{x}}^{\prime}}{d}^{3}{x}^{\prime},\end{array}$$  
$$\begin{array}{ccc}{\Phi}_{2}& =& \int \frac{{\rho}^{\prime}{U}^{\prime}}{\mathbf{x}{\mathbf{x}}^{\prime}}{d}^{3}{x}^{\prime},\end{array}$$  
$$\begin{array}{ccc}{\Phi}_{3}& =& \int \frac{{\rho}^{\prime}{\Pi}^{\prime}}{\mathbf{x}{\mathbf{x}}^{\prime}}{d}^{3}{x}^{\prime},\end{array}$$  
$$\begin{array}{ccc}{\Phi}_{4}& =& \int \frac{{p}^{\prime}}{\mathbf{x}{\mathbf{x}}^{\prime}}{d}^{3}{x}^{\prime},\end{array}$$  
$$\begin{array}{ccc}{V}_{i}& =& \int \frac{{\rho}^{\prime}{v}_{i}^{\prime}}{\mathbf{x}{\mathbf{x}}^{\prime}}{d}^{3}{x}^{\prime},\end{array}$$  
$$\begin{array}{ccc}{W}_{i}& =& \int \frac{{\rho}^{\prime}[{\mathbf{v}}^{\prime}\cdot (\mathbf{x}{\mathbf{x}}^{\prime}\left)\right](x{x}^{\prime}{)}_{i}}{\mathbf{x}{\mathbf{x}}^{\prime}{}^{3}}{d}^{3}{x}^{\prime}.\end{array}$$  

Stress–energy tensor (perfect fluid):
$$\begin{array}{ccc}{T}^{00}& =& \rho (1+\Pi +{v}^{2}+2U),\end{array}$$  
$$\begin{array}{ccc}{T}^{0i}& =& \rho {v}^{i}\left(1+\Pi +{v}^{2}+2U+\frac{p}{\rho}\right),\end{array}$$  
$$\begin{array}{ccc}{T}^{ij}& =& \rho {v}^{i}{v}^{j}\left(1+\Pi +{v}^{2}+2U+\frac{p}{\rho}\right)+p{\delta}^{ij}(12\gamma U).\end{array}$$  

Equations of motion:

∙
Stressed matter:
${T}_{;\nu}^{\mu \nu}=0$
.

∙
Test bodies:
$\frac{{d}^{2}{x}^{\mu}}{d{\lambda}^{2}}+{\Gamma}_{\nu \lambda}^{\mu}\frac{d{x}^{\nu}}{d\lambda}\frac{d{x}^{\lambda}}{d\lambda}=0$
.

∙
Maxwell's equations:
${F}_{;\nu}^{\mu \nu}=4\pi {J}^{\mu},{F}_{\mu \nu}={A}_{\nu ;\mu}{A}_{\mu ;\nu}$
.
3.3 Competing theories of gravity
One of the important applications of the PPN formalism is the comparison and classification of alternative metric theories of gravity. The population of viable theories has fluctuated over the years as new effects and tests have been discovered, largely through the use of the PPN framework, which eliminated many theories thought previously to be viable. The theory population has also fluctuated as new, potentially viable theories have been invented.
In this review, we shall focus on GR, the general class of scalartensor modifications of it, of which the Jordan–Fierz–Brans–Dicke theory (Brans–Dicke, for short) is the classic example, and vectortensor theories. The reasons are severalfold:

∙
A full compendium of alternative theories circa 1981 is given in TEGP 5 [281] .

∙
Many alternative metric theories developed during the 1970s and 1980s could be viewed as “strawman” theories, invented to prove that such theories exist or to illustrate particular properties. Few of these could be regarded as wellmotivated theories from the point of view, say, of field theory or particle physics.

∙
A number of theories fall into the class of “priorgeometric” theories, with absolute elements such as a flat background metric in addition to the physical metric. Most of these theories predict “preferredframe” effects, that have been tightly constrained by observations (see Section 3.6.2 ). An example is Rosen's bimetric theory.

∙
A large number of alternative theories of gravity predict gravitational wave emission substantially different from that of general relativity, in strong disagreement with observations of the binary pulsar (see Section 7 ).

∙
Scalartensor modifications of GR have become very popular in unification schemes such as string theory, and in cosmological model building. Because the scalar fields could be massive, the potentials in the postNewtonian limit could be modified by Yukawalike terms.

∙
Vectortensor theories have attracted recent attention, in the spirit of the SME (see Section 2.2.4 ), as models for violations of Lorentz invariance in the gravitational sector.
3.3.1 General relativity
The metric
$\mathit{g}$
is the sole dynamical field, and the theory contains no arbitrary functions or parameters, apart from the value of the Newtonian coupling constant
$G$
, which is measurable in laboratory experiments. Throughout this article, we ignore the cosmological constant
${\Lambda}_{C}$
. We do this despite recent evidence, from supernova data, of an accelerating universe, which would indicate either a nonzero cosmological constant or a dynamical “dark energy” contributing about 70 percent of the critical density. Although
${\Lambda}_{C}$
has significance for quantum field theory, quantum gravity, and cosmology, on the scale of the solarsystem or of stellar systems its effects are negligible, for the values of
${\Lambda}_{C}$
inferred from supernova observations.
The field equations of GR are derivable from an invariant action principle
$\delta I=0$
, where
$$\begin{array}{c}I=(16\pi G{)}^{1}\int R(g{)}^{1/2}{d}^{4}x+{I}_{m}({\psi}_{m},{g}_{\mu \nu}),\end{array}$$ 
(31)

where
$R$
is the Ricci scalar, and
${I}_{m}$
is the matter action, which depends on matter fields
${\psi}_{m}$
universally coupled to the metric
$\mathit{g}$
. By varying the action with respect to
${g}_{\mu \nu}$
, we obtain the field equations
$$\begin{array}{c}{G}_{\mu \nu}\equiv {R}_{\mu \nu}\frac{1}{2}{g}_{\mu \nu}R=8\pi G{T}_{\mu \nu},\end{array}$$ 
(32)

where
${T}_{\mu \nu}$
is the matter energymomentum tensor. General covariance of the matter action implies the equations of motion
${T}_{;\nu}^{\mu \nu}=0$
; varying
${I}_{m}$
with respect to
${\psi}_{m}$
yields the matter field equations of the Standard Model. By virtue of the absence of priorgeometric elements, the equations of motion are also a consequence of the field equations via the Bianchi identities
${G}_{;\nu}^{\mu \nu}=0$
.
The general procedure for deriving the postNewtonian limit of metric theories is spelled out in TEGP 5.1 [
281]
, and is described in detail for GR in TEGP 5.2 [
281]
. The PPN parameter values are listed in Table ?? .
3.3.2 Scalartensor theories
These theories contain the metric
$\mathit{g}$
, a scalar field
$\phi $
, a potential function
$V\left(\phi \right)$
, and a coupling function
$A\left(\phi \right)$
(generalizations to more than one scalar field have also been carried out [
73]
). For some purposes, the action is conveniently written in a nonmetric representation, sometimes denoted the “Einstein frame”, in which the gravitational action looks exactly like that of GR:
$$\begin{array}{c}\stackrel{~}{I}=(16\pi G{)}^{1}\int \left[\stackrel{~}{R}2{\stackrel{~}{g}}^{\mu \nu}{\partial}_{\mu}\phi {\partial}_{\nu}\phi V\left(\phi \right)\right](\stackrel{~}{g}{)}^{1/2}{d}^{4}x+{I}_{m}\left({\psi}_{m},{A}^{2}\left(\phi \right){\stackrel{~}{g}}_{\mu \nu}\right),\end{array}$$ 
(33)

where
$\stackrel{~}{R}\equiv {\stackrel{~}{g}}^{\mu \nu}{\stackrel{~}{R}}_{\mu \nu}$
is the Ricci scalar of the “Einstein” metric
${\stackrel{~}{g}}_{\mu \nu}$
. (Apart from the scalar potential term
$V\left(\phi \right)$
, this corresponds to Equation ( 28 ) with
$\stackrel{~}{G}\left(\phi \right)\equiv (4\pi G{)}^{1}$
,
$U\left(\phi \right)\equiv 1$
, and
$\stackrel{~}{M}\left(\phi \right)\propto A\left(\phi \right)$
.) This representation is a “nonmetric” one because the matter fields
${\psi}_{m}$
couple to a combination of
$\phi $
and
${\stackrel{~}{g}}_{\mu \nu}$
. Despite appearances, however, it is a metric theory, because it can be put into a metric representation by identifying the “physical metric”
$$\begin{array}{c}{g}_{\mu \nu}\equiv {A}^{2}\left(\phi \right){\stackrel{~}{g}}_{\mu \nu}.\end{array}$$ 
(34)

The action can then be rewritten in the metric form
$$\begin{array}{c}I=(16\pi G{)}^{1}\int \left[\phi R{\phi}^{1}\omega \left(\phi \right){g}^{\mu \nu}{\partial}_{\mu}\phi {\partial}_{\nu}\phi {\phi}^{2}V\right](g{)}^{1/2}{d}^{4}x+{I}_{m}({\psi}_{m},{g}_{\mu \nu}),\end{array}$$ 
(35)

where
$$\begin{array}{c}\begin{array}{ccc}\phi & \equiv & A(\phi {)}^{2},\\ 3+2\omega \left(\phi \right)& \equiv & \alpha (\phi {)}^{2},\\ \alpha \left(\phi \right)& \equiv & \frac{d(lnA(\phi \left)\right)}{d\phi}.\end{array}\end{array}$$ 
(36)

The Einstein frame is useful for discussing general characteristics of such theories, and for some cosmological applications, while the metric representation is most useful for calculating observable effects. The field equations, postNewtonian limit and PPN parameters are discussed in TEGP 5.3 [
281]
, and the values of the PPN parameters are listed in Table ?? .
The parameters that enter the postNewtonian limit are
$$\begin{array}{c}\omega \equiv \omega \left({\phi}_{0}\right),\Lambda \equiv {\left[\frac{d\omega}{d\phi}(3+2\omega {)}^{2}(4+2\omega {)}^{1}\right]}_{{\phi}_{0}},\end{array}$$ 
(37)

where
${\phi}_{0}$
is the value of
$\phi $
today far from the system being studied, as determined by appropriate cosmological boundary conditions. In Brans–Dicke theory (
$\omega \left(\phi \right)\equiv {\omega}_{BD}=const.$
), the larger the value of
${\omega}_{BD}$
, the smaller the effects of the scalar field, and in the limit
${\omega}_{BD}\to \infty $
(
${\alpha}_{0}\to 0$
), the theory becomes indistinguishable from GR in all its predictions. In more general theories, the function
$\omega \left(\phi \right)$
could have the property that, at the present epoch, and in weakfield situations, the value of the scalar field
${\phi}_{0}$
is such that
$\omega $
is very large and
$\Lambda $
is very small (theory almost identical to GR today), but that for past or future values of
$\phi $
, or in strongfield regions such as the interiors of neutron stars,
$\omega $
and
$\Lambda $
could take on values that would lead to significant differences from GR. It is useful to point out that all versions of scalartensor gravity predict that
$\gamma \le 1$
(see Table ?? ).
Damour and EspositoFarèse [
73]
have adopted an alternative parametrization of scalartensor theories, in which one expands
$lnA\left(\phi \right)$
about a cosmological background field value
${\phi}_{0}$
:
$$\begin{array}{c}lnA\left(\phi \right)={\alpha}_{0}(\phi {\phi}_{0})+\frac{1}{2}{\beta}_{0}(\phi {\phi}_{0}{)}^{2}+...\end{array}$$ 
(38)

A precisely linear coupling function produces Brans–Dicke theory, with
${\alpha}_{0}^{2}=1/(2{\omega}_{BD}+3)$
, or
$1/(2+{\omega}_{BD})=2{\alpha}_{0}^{2}/(1+{\alpha}_{0}^{2})$
. The function
$lnA\left(\phi \right)$
acts as a potential for the scalar field
$\phi $
within matter, and, if
${\beta}_{0}>0$
, then during cosmological evolution, the scalar field naturally evolves toward the minimum of the potential, i.e. toward
${\alpha}_{0}\approx 0$
,
$\omega \to \infty $
, or toward a theory close to, though not precisely GR [
80,
81]
. Estimates of the expected relic deviations from GR today in such theories depend on the cosmological model, but range from
${10}^{5}$
to a few times
${10}^{7}$
for
$\gamma 1$
.
Negative values of
${\beta}_{0}$
correspond to a “locally unstable” scalar potential (the overall theory is still stable in the sense of having no tachyons or ghosts). In this case, objects such as neutron stars can experience a “spontaneous scalarization”, whereby the interior values of
$\phi $
can take on values very different from the exterior values, through nonlinear interactions between strong gravity and the scalar field, dramatically affecting the stars' internal structure and leading to strong violations of SEP. On the other hand, in the case
${\beta}_{0}<0$
, one must confront that fact that, with an unstable
$\phi $
potential, cosmological evolution would presumably drive the system away from the peak where
${\alpha}_{0}\approx 0$
, toward parameter values that could be excluded by solar system experiments.
Scalar fields coupled to gravity or matter are also ubiquitous in particlephysicsinspired models of unification, such as string theory [
254,
176,
85,
82,
83]
. In some models, the coupling to matter may lead to violations of EEP, which could be tested or bounded by the experiments described in Section 2.1 . In many models the scalar field could be massive; if the Compton wavelength is of macroscopic scale, its effects are those of a “fifth force”. Only if the theory can be cast as a metric theory with a scalar field of infinite range or of range long compared to the scale of the system in question (solar system) can the PPN framework be strictly applied. If the mass of the scalar field is sufficiently large that its range is microscopic, then, on solarsystem scales, the scalar field is suppressed, and the theory is essentially equivalent to general relativity.
3.3.3 Vectortensor theories
These theories contain the metric
$\mathit{g}$
and a dynamical, typically timelike, fourvector field
${u}^{\mu}$
.
In some models, the fourvector is unconstrained, while in others, called EinsteinÆther theories it is constrained to be timelike with unit norm. The most general action for such theories that is quadratic in derivatives of the vector is given by
$$\begin{array}{c}I=(16\pi G{)}^{1}\int \left[(1+\omega {u}_{\mu}{u}^{\mu})R{K}_{\alpha \beta}^{\mu \nu}{\nabla}_{\mu}{u}^{\alpha}{\nabla}_{\nu}{u}^{\beta}+\lambda ({u}_{\mu}{u}^{\mu}+1)\right](g{)}^{1/2}{d}^{4}x+{I}_{m}({\psi}_{m},{g}_{\mu \nu}),\end{array}$$ 
(39)

where
$$\begin{array}{c}{K}_{\alpha \beta}^{\mu \nu}={c}_{1}{g}^{\mu \nu}{g}_{\alpha \beta}+{c}_{2}{\delta}_{\alpha}^{\mu}{\delta}_{\beta}^{\nu}+{c}_{3}{\delta}_{\beta}^{\mu}{\delta}_{\alpha}^{\nu}{c}_{4}{u}^{\mu}{u}^{\nu}{g}_{\alpha \beta}.\end{array}$$ 
(40)

The coefficients
${c}_{i}$
are arbitrary. In the unconstrained theories,
$\lambda \equiv 0$
and
$\omega $
is arbitrary. In the constrained theories,
$\lambda $
is a Lagrange multiplier, and by virtue of the constraint
${u}_{\mu}{u}^{\mu}=1$
, the factor
$\omega {u}_{\mu}{u}^{\mu}$
in front of the Ricci scalar can be absorbed into a rescaling of
$G$
; equivalently, in the constrained theories, we can set
$\omega =0$
. Note that the possible term
${u}^{\mu}{u}^{\nu}{R}_{\mu \nu}$
can be shown under integration by parts to be equivalent to a linear combination of the terms involving
${c}_{2}$
and
${c}_{3}$
.
Unconstrained theories were studied during the 1970s as “strawman” alternatives to GR. In addition to having up to four arbitrary parameters, they also left the magnitude of the vector field arbitrary, since it satisfies a linear homogenous vacuum field equation of the form
$\mathcal{\mathcal{L}}{u}^{\mu}=0$
(
${c}_{4}=0$
in all such cases studied). Indeed, this latter fact was one of most serious defects of these theories.
Each theory studied corresponds to a special case of the action (
39 ), all with
$\lambda \equiv 0$
:

General vectortensor theory;
$\mathit{\omega}$
,
$\mathit{\tau}$
,
$\mathit{\epsilon}$
,
$\mathit{\eta}$
(see TEGP 5.4 [281] )
The gravitational Lagrangian for this class of theories had the form
$R+\omega {u}_{\mu}{u}^{\mu}R+\eta {u}^{\mu}{u}^{\nu}{R}_{\mu \nu}\epsilon {F}_{\mu \nu}{F}^{\mu \nu}+\tau {\nabla}_{\mu}{u}_{\nu}{\nabla}^{\mu}{u}^{\nu}$
, where
${F}_{\mu \nu}={\nabla}_{\mu}{u}_{\nu}{\nabla}_{\nu}{u}_{\mu}$
, corresponding to the values
${c}_{1}=2\epsilon \tau $
,
${c}_{2}=\eta $
,
${c}_{1}+{c}_{2}+{c}_{3}=\tau $
,
${c}_{4}=0$
. In these theories
$\gamma $
,
$\beta $
,
${\alpha}_{1}$
, and
${\alpha}_{2}$
are complicated functions of the parameters and of
${u}^{2}={u}^{\mu}{u}_{\mu}$
, while the rest vanish.

Will–Nordtvedt theory (see [290] )
This is the special case
${c}_{1}=1$
,
${c}_{2}={c}_{3}={c}_{4}=0$
. In this theory, the PPN parameters are given by
$\gamma =\beta =1$
,
${\alpha}_{2}={u}^{2}/(1+{u}^{2}/2)$
, and zero for the rest.

Hellings–Nordtvedt theory;
$\mathit{\omega}$
(see [128] )
This is the special case
${c}_{1}=2$
,
${c}_{2}=2\omega $
,
${c}_{1}+{c}_{2}+{c}_{3}=0={c}_{4}$
. Here
$\gamma $
,
$\beta $
,
${\alpha}_{1}$
and
${\alpha}_{2}$
are complicated functions of the parameters and of
${u}^{2}$
, while the rest vanish.
The EinsteinÆther theories were motivated in part by a desire to explore possibilities for violations of Lorentz invariance in gravity, in parallel with similar studies in matter interactions, such as the SME. The general class of theories was analyzed by Jacobson and collaborators [
137,
183,
138,
99,
113]
, motivated in part by [
156]
.
Analyzing the postNewtonian limit, they were able to infer values of the PPN parameters
$\gamma $
and
$\beta $
as follows [
113]
:
$$\begin{array}{ccc}\gamma & =& 1,\end{array}$$ 
(41)

$$\begin{array}{ccc}\beta & =& 1,\end{array}$$ 
(42)

$$\begin{array}{ccc}\xi & =& {\alpha}_{3}={\zeta}_{1}={\zeta}_{2}={\zeta}_{3}={\zeta}_{4},\end{array}$$ 
(43)

$$\begin{array}{ccc}{\alpha}_{1}& =& \frac{8({c}_{3}^{2}+{c}_{1}{c}_{4})}{2{c}_{1}{c}_{1}^{2}+{c}_{3}^{2}},\end{array}$$ 
(44)

$$\begin{array}{ccc}{\alpha}_{2}& =& \frac{(2{c}_{13}{c}_{14}{)}^{2}}{{c}_{123}(2{c}_{14})}\frac{12{c}_{3}{c}_{13}+2{c}_{2}{c}_{14}(12{c}_{14})+({c}_{1}^{2}{c}_{3}^{2})(46{c}_{13}+7{c}_{14})}{(2{c}_{14})(2{c}_{1}{c}_{1}^{2}+{c}_{3}^{2})},\end{array}$$ 
(45)

where
${c}_{123}={c}_{1}+{c}_{2}+{c}_{3}$
,
${c}_{13}={c}_{1}{c}_{3}$
,
${c}_{14}={c}_{1}{c}_{4}$
, subject to the constraints
${c}_{123}\ne 0$
,
${c}_{14}\ne 2$
,
$2{c}_{1}{c}_{1}^{2}+{c}_{3}^{2}\ne 0$
.
By requiring that gravitational wave modes have real (as opposed to imaginary) frequencies, one can impose the bounds
${c}_{1}/({c}_{1}+{c}_{4})\ge 0$
and
$({c}_{1}+{c}_{2}+{c}_{3})/({c}_{1}+{c}_{4})\ge 0$
. Considerations of positivity of energy impose the constraints
${c}_{1}>0$
,
${c}_{1}+{c}_{4}>0$
and
${c}_{1}+{c}_{2}+{c}_{3}>0$
.
3.4 Tests of the parameter
$\mathit{\gamma}$
With the PPN formalism in hand, we are now ready to confront gravitation theories with the results of solarsystem experiments. In this section we focus on tests of the parameter
$\gamma $
, consisting of the deflection of light and the time delay of light.
3.4.1 The deflection of light
A light ray (or photon) which passes the Sun at a distance
$d$
is deflected by an angle
$$\begin{array}{c}\delta \theta =\frac{1}{2}(1+\gamma )\frac{4{M}_{\odot}}{d}\frac{1+cos\Phi}{2}\end{array}$$ 
(46)

(TEGP 7.1 [
281]
), where
${M}_{\odot}$
is the mass of the Sun and
$\Phi $
is the angle between the EarthSun line and the incoming direction of the photon (see Figure 4 ). For a grazing ray,
$d\approx {d}_{\odot}$
,
$\Phi \approx 0$
, and
$$\begin{array}{c}\delta \theta \approx \frac{1}{2}(1+\gamma )1{.}^{\prime \prime}7505,\end{array}$$ 
(47)

independent of the frequency of light. Another, more useful expression gives the change in the relative angular separation between an observed source of light and a nearby reference source as both rays pass near the Sun:
$$\begin{array}{c}\delta \theta =\frac{1}{2}(1+\gamma )\left[\frac{4{M}_{\odot}}{d}cos\chi +\frac{4{M}_{\odot}}{{d}_{r}}\left(\frac{1+cos{\Phi}_{r}}{2}\right)\right],\end{array}$$ 
(48)

where
$d$
and
${d}_{r}$
are the distances of closest approach of the source and reference rays respectively,
${\Phi}_{r}$
is the angular separation between the Sun and the reference source, and
$\chi $
is the angle between the Sunsource and the Sunreference directions, projected on the plane of the sky (see Figure 4 ).
Thus, for example, the relative angular separation between the two sources may vary if the line of sight of one of them passes near the Sun (
$d\sim {R}_{\odot}$
,
${d}_{r}\gg d$
,
$\chi $
varying with time).
Figure 4
: Geometry of light deflection measurements.
It is interesting to note that the classic derivations of the deflection of light that use only the corpuscular theory of light (Cavendish 1784, von Soldner 1803 [
277]
), or the principle of equivalence (Einstein 1911), yield only the “1/2” part of the coefficient in front of the expression in Equation ( 46 ). But the result of these calculations is the deflection of light relative to local straight lines, as established for example by rigid rods; however, because of space curvature around the Sun, determined by the PPN parameter
$\gamma $
, local straight lines are bent relative to asymptotic straight lines far from the Sun by just enough to yield the remaining factor “
$\gamma /2$
”. The first factor “1/2” holds in any metric theory, the second “
$\gamma /2$
” varies from theory to theory. Thus, calculations that purport to derive the full deflection using the equivalence principle alone are incorrect.
The prediction of the full bending of light by the Sun was one of the great successes of Einstein's GR. Eddington's confirmation of the bending of optical starlight observed during a solar eclipse in the first days following World War I helped make Einstein famous. However, the experiments of Eddington and his coworkers had only 30 percent accuracy, and succeeding experiments were not much better: The results were scattered between one half and twice the Einstein value (see Figure
5 ), and the accuracies were low.
Figure 5
: Measurements of the coefficient
$(1+\gamma )/2$
from light deflection and time delay measurements. Its GR value is unity. The arrows at the top denote anomalously large values from early eclipse expeditions. The Shapiro timedelay measurements using the Cassini spacecraft yielded an agreement with GR to
${10}^{3}$
percent, and VLBI light deflection measurements have reached
$0.02$
percent. Hipparcos denotes the optical astrometry satellite, which reached
$0.1$
percent.
However, the development of radiointerferometery, and later of verylongbaseline radio interferometry (VLBI), produced greatly improved determinations of the deflection of light. These techniques now have the capability of measuring angular separations and changes in angles to accuracies better than 100 microarcseconds. Early measurements took advantage of a series of heavenly coincidences:
Each year, groups of strong quasistellar radio sources pass very close to the Sun (as seen from the Earth), including the group 3C273, 3C279, and 3C48, and the group 0111+02, 0119+11, and 0116+08. As the Earth moves in its orbit, changing the lines of sight of the quasars relative to the Sun, the angular separation
$\delta \theta $
between pairs of quasars varies (see Equation ( 48 )). The time variation in the quantities
$d$
,
${d}_{r}$
,
$\chi $
, and
${\Phi}_{r}$
in Equation ( 48 ) is determined using an accurate ephemeris for the Earth and initial directions for the quasars, and the resulting prediction for
$\delta \theta $
as a function of time is used as a basis for a leastsquares fit of the measured
$\delta \theta $
, with one of the fitted parameters being the coefficient
$\frac{1}{2}(1+\gamma )$
. A number of measurements of this kind over the period 1969 – 1975 yielded an accurate determination of the coefficient
$\frac{1}{2}(1+\gamma )$
. A 1995 VLBI measurement using 3C273 and 3C279 yielded
$(1+\gamma )/2=0.9996\pm 0.0017$
[
164]
.
In recent years, transcontinental and intercontinental VLBI observations of quasars and radio galaxies have been made primarily to monitor the Earth's rotation (“VLBI” in Figure
5 ). These measurements are sensitive to the deflection of light over almost the entire celestial sphere (at
${90}^{\circ}$
from the Sun, the deflection is still 4 milliarcseconds). A 2004 analysis of almost 2 million VLBI observations of 541 radio sources, made by 87 VLBI sites yielded
$(1+\gamma )/2=0.99992\pm 0.00023$
, or equivalently,
$\gamma 1=(1.7\pm 4.5)\times {10}^{4}$
[
240]
.
Analysis of observations made by the Hipparcos optical astrometry satellite yielded a test at the level of 0.3 percent [
115]
. A VLBI measurement of the deflection of light by Jupiter was reported; the predicted deflection of about 300 microarcseconds was seen with about 50 percent accuracy [
257]
.
The results of lightdeflection measurements are summarized in Figure
5 .
3.4.2 The time delay of light
A radar signal sent across the solar system past the Sun to a planet or satellite and returned to the Earth suffers an additional nonNewtonian delay in its roundtrip travel time, given by (see Figure 4 )
$$\begin{array}{c}\delta t=2(1+\gamma ){M}_{\odot}ln\left(\frac{({r}_{\oplus}+{\mathbf{x}}_{\oplus}\cdot \mathbf{n})({r}_{e}{\mathbf{x}}_{e}\cdot \mathbf{n})}{{d}^{2}}\right),\end{array}$$ 
(49)

where
${\mathbf{x}}_{e}$
(
${\mathbf{x}}_{\oplus}$
) are the vectors, and
${r}_{e}$
(
${r}_{\oplus}$
) are the distances from the Sun to the source (Earth), respectively (TEGP 7.2 [
281]
). For a ray which passes close to the Sun,
$$\begin{array}{c}\delta t\approx \frac{1}{2}(1+\gamma )\left(24020ln\frac{{d}^{2}}{r}\right)\mu s,\end{array}$$ 
(50)

where
$d$
is the distance of closest approach of the ray in solar radii, and
$r$
is the distance of the planet or satellite from the Sun, in astronomical units.
In the two decades following Irwin Shapiro's 1964 discovery of this effect as a theoretical consequence of GR, several highprecision measurements were made using radar ranging to targets passing through superior conjunction. Since one does not have access to a “Newtonian” signal against which to compare the roundtrip travel time of the observed signal, it is necessary to do a differential measurement of the variations in roundtrip travel times as the target passes through superior conjunction, and to look for the logarithmic behavior of Equation (
50 ). In order to do this accurately however, one must take into account the variations in roundtrip travel time due to the orbital motion of the target relative to the Earth. This is done by using radarranging (and possibly other) data on the target taken when it is far from superior conjunction (i.e. when the timedelay term is negligible) to determine an accurate ephemeris for the target, using the ephemeris to predict the PPN coordinate trajectory
${\mathbf{x}}_{e}\left(t\right)$
near superior conjunction, then combining that trajectory with the trajectory of the Earth
${\mathbf{x}}_{\oplus}\left(t\right)$
to determine the Newtonian roundtrip time and the logarithmic term in Equation ( 50 ). The resulting predicted roundtrip travel times in terms of the unknown coefficient
$\frac{1}{2}(1+\gamma )$
are then fit to the measured travel times using the method of leastsquares, and an estimate obtained for
$\frac{1}{2}(1+\gamma )$
.
The targets employed included planets, such as Mercury or Venus, used as passive reflectors of the radar signals (“passive radar”), and artificial satellites, such as Mariners 6 and 7, Voyager 2, the Viking Mars landers and orbiters, and the Cassini spacecraft to Saturn, used as active retransmitters of the radar signals (“active radar”).
The results for the coefficient
$\frac{1}{2}(1+\gamma )$
of all radar timedelay measurements performed to date (including a measurement of the oneway time delay of signals from the millisecond pulsar PSR 1937+21) are shown in Figure 5 (see TEGP 7.2 [
281]
for discussion and references). The 1976 Viking experiment resulted in a 0.1 percent measurement [
222]
.
A significant improvement was reported in 2003 from Doppler tracking of the Cassini spacecraft while it was on its way to Saturn [
29]
, with a result
$\gamma 1=(2.1\pm 2.3)\times {10}^{5}$
. This was made possible by the ability to do Doppler measurements using both Xband (
$7175MHz$
) and Kaband (
$34316MHz$
) radar, thereby significantly reducing the dispersive effects of the solar corona. In addition, the 2002 superior conjunction of Cassini was particularly favorable: With the spacecraft at 8.43 astronomical units from the Sun, the distance of closest approach of the radar signals to the Sun was only
$1.6{R}_{\odot}$
.
From the results of the Cassini experiment, we can conclude that the coefficient
$\frac{1}{2}(1+\gamma )$
must be within at most 0.0012 percent of unity. Scalartensor theories must have
$\omega >40000$
to be compatible with this constraint.
3.4.3 Shapiro time delay and the speed of gravity
In 2001, Kopeikin [
147]
suggested that a measurement of the time delay of light from a quasar as the light passed by the planet Jupiter could be used to measure the speed of the gravitational interaction. He argued that, since Jupiter is moving relative to the solar system, and since gravity propagates with a finite speed, the gravitational field experienced by the light ray should be affected by gravity's speed, since the field experienced at one time depends on the location of the source a short time earlier, depending on how fast gravity propagates. According to his calculations, there should be a post
${}^{1/2}$
Newtonian correction to the normal Shapiro timedelay formula ( 49 ) which depends on the velocity of Jupiter and on the velocity of gravity. On September 8, 2002, Jupiter passed almost in front of a quasar, and Kopeikin and Fomalont made precise measurements of the Shapiro delay with picosecond timing accuracy, and claimed to have measured the correction term to about 20 percent [
112,
153,
148,
149]
.
However, several authors pointed out that this 1.5PN effect does
not depend on the speed of propagation of gravity, but rather only depends on the speed of light [
14,
288,
232,
49,
233]
. Intuitively, if one is working to only first order in
$v/c$
, then all that counts is the uniform motion of the planet, Jupiter (its acceleration about the Sun contributes a higherorder, unmeasurably small effect). But if that is the case, then the principle of relativity says that one can view things from the rest frame of Jupiter. In this frame, Jupiter's gravitational field is static, and the speed of propagation of gravity is irrelevant. A detailed postNewtonian calculation of the effect was done using a variant of the PPN framework, in a class of theories in which the speed of gravity could be different from that of light [
288]
, and found explicitly that, at first order in
$v/c$
, the effect depends on the speed of light, not the speed of gravity, in line with intuition. Effects dependent upon the speed of gravity show up only at higher order in
$v/c$
. Kopeikin gave a number of arguments in opposition to this interpretation [
149,
151,
150,
152]
. On the other hand, the
$v/c$
correction term does show a dependence on the PPN parameter
${\alpha}_{1}$
, which could be nonzero in theories of gravity with a differing speed
${c}_{g}$
of gravity (see Equation (7) of [
288]
). But existing tight bounds on
${\alpha}_{1}$
from other experiments (see Table 4 ) already far exceed the capability of the Jupiter VLBI experiment.
Parameter

Effect

Limit

Remarks

$\gamma 1$

time delay

$2.3\times {10}^{5}$

Cassini tracking


light deflection

$4\times {10}^{4}$

VLBI

$\beta 1$

perihelion shift

$3\times {10}^{3}$

${J}_{2}={10}^{7}$
from helioseismology


Nordtvedt effect

$2.3\times {10}^{4}$

${\eta}_{N}=4\beta \gamma 3$
assumed

$\xi $

Earth tides

${10}^{3}$

gravimeter data

${\alpha}_{1}$

orbital polarization

${10}^{4}$

Lunar laser ranging



$2\times {10}^{4}$

PSR J2317+1439

${\alpha}_{2}$

spin precession

$4\times {10}^{7}$

solar alignment with ecliptic

${\alpha}_{3}$

pulsar acceleration

$4\times {10}^{20}$

pulsar
$\dot{P}$
statistics

${\eta}_{N}$

Nordtvedt effect

$9\times {10}^{4}$

lunar laser ranging

${\zeta}_{1}$

—

$2\times {10}^{2}$

combined PPN bounds

${\zeta}_{2}$

binary acceleration

$4\times {10}^{5}$

${\ddot{P}}_{p}$
for PSR 1913+16

${\zeta}_{3}$

Newton's 3rd law

${10}^{8}$

lunar acceleration

${\zeta}_{4}$

—

—

not independent (see Equation ( 58 ))



Table 4
: Current limits on the PPN parameters. Here
${\eta}_{N}$
is a combination of other parameters given by
${\eta}_{N}=4\beta \gamma 310\xi /3{\alpha}_{1}+2{\alpha}_{2}/32{\zeta}_{1}/3{\zeta}_{2}/3$
.
3.5 The perihelion shift of Mercury
The explanation of the anomalous perihelion shift of Mercury's orbit was another of the triumphs of GR. This had been an unsolved problem in celestial mechanics for over half a century, since the announcement by Le Verrier in 1859 that, after the perturbing effects of the planets on Mercury's orbit had been accounted for, and after the effect of the precession of the equinoxes on the astronomical coordinate system had been subtracted, there remained in the data an unexplained advance in the perihelion of Mercury. The modern value for this discrepancy is 43 arcseconds per century. A number of ad hoc proposals were made in an attempt to account for this excess, including, among others, the existence of a new planet Vulcan near the Sun, a ring of planetoids, a solar quadrupole moment and a deviation from the inversesquare law of gravitation, but none was successful. General relativity accounted for the anomalous shift in a natural way without disturbing the agreement with other planetary observations.
The predicted advance per orbit
$\Delta \stackrel{~}{\omega}$
, including both relativistic PPN contributions and the Newtonian contribution resulting from a possible solar quadrupole moment, is given by
$$\begin{array}{c}\Delta \stackrel{~}{\omega}=\frac{6\pi m}{p}\left(\frac{1}{3}(2+2\gamma \beta )+\frac{1}{6}(2{\alpha}_{1}{\alpha}_{2}+{\alpha}_{3}+2{\zeta}_{2})\frac{\mu}{m}+\frac{{J}_{2}{R}^{2}}{2mp}\right),\end{array}$$ 
(51)

where
$m\equiv {m}_{1}+{m}_{2}$
and
$\mu \equiv {m}_{1}{m}_{2}/m$
are the total mass and reduced mass of the twobody system respectively;
$p\equiv a(1{e}^{2})$
is the semilatus rectum of the orbit, with the semimajor axis
$a$
and the eccentricity
$e$
;
$R$
is the mean radius of the oblate body; and
${J}_{2}$
is a dimensionless measure of its quadrupole moment, given by
${J}_{2}=(CA)/{m}_{1}{R}^{2}$
, where
$C$
and
$A$
are the moments of inertia about the body's rotation and equatorial axes, respectively (for details of the derivation see TEGP 7.3 [
281]
). We have ignored preferredframe and galaxyinduced contributions to
$\Delta \stackrel{~}{\omega}$
; these are discussed in TEGP 8.3 [
281]
.
The first term in Equation (
51 ) is the classical relativistic perihelion shift, which depends upon the PPN parameters
$\gamma $
and
$\beta $
. The second term depends upon the ratio of the masses of the two bodies; it is zero in any fully conservative theory of gravity (
${\alpha}_{1}\equiv {\alpha}_{2}\equiv {\alpha}_{3}\equiv {\zeta}_{2}\equiv 0$
); it is also negligible for Mercury, since
$\mu /m\approx {m}_{Merc}/{M}_{\odot}\approx 2\times {10}^{7}$
. We shall drop this term henceforth.
The third term depends upon the solar quadrupole moment
${J}_{2}$
. For a Sun that rotates uniformly with its observed surface angular velocity, so that the quadrupole moment is produced by centrifugal flattening, one may estimate
${J}_{2}$
to be
$\sim 1\times {10}^{7}$
. This actually agrees reasonably well with values inferred from rotating solar models that are in accord with observations of the normal modes of solar oscillations (helioseismology); the latest inversions of helioseismology data give
${J}_{2}=(2.2\pm 0.1)\times {10}^{7}$
[
207,
211,
230,
184]
. Substituting standard orbital elements and physical constants for Mercury and the Sun we obtain the rate of perihelion shift
$\dot{\stackrel{~}{\omega}}$
, in seconds of arc per century,
$$\begin{array}{c}\dot{\stackrel{~}{\omega}}=42{.}^{\prime \prime}98\left(\frac{1}{3}(2+2\gamma \beta )+3\times {10}^{4}\frac{{J}_{2}}{{10}^{7}}\right).\end{array}$$ 
(52)

Now, the measured perihelion shift of Mercury is known accurately: After the perturbing effects of the other planets have been accounted for, the excess shift is known to about 0.1 percent from radar observations of Mercury between 1966 and 1990 [
238]
. Analysis of data taken since 1990 could improve the accuracy. The solar oblateness effect is smaller than the observational error, so we obtain the PPN bound
$2\gamma \beta 1<3\times {10}^{3}$
.
3.6 Tests of the strong equivalence principle
The next class of solarsystem experiments that test relativistic gravitational effects may be called tests of the strong equivalence principle (SEP). In Section 3.1.2 we pointed out that many metric theories of gravity (perhaps all except GR) can be expected to violate one or more aspects of SEP. Among the testable violations of SEP are a violation of the weak equivalence principle for gravitating bodies that leads to perturbations in the EarthMoon orbit, preferredlocation and preferredframe effects in the locally measured gravitational constant that could produce observable geophysical effects, and possible variations in the gravitational constant over cosmological timescales.
3.6.1 The Nordtvedt effect and the lunar Eötvös experiment
In a pioneering calculation using his early form of the PPN formalism, Nordtvedt [
196]
showed that many metric theories of gravity predict that massive bodies violate the weak equivalence principle – that is, fall with different accelerations depending on their gravitational selfenergy.
Dicke [
228]
argued that such an effect would occur in theories with a spatially varying gravitational constant, such as scalartensor gravity. For a spherically symmetric body, the acceleration from rest in an external gravitational potential
$U$
has the form
$$\begin{array}{c}\begin{array}{ccc}\mathbf{a}& =& \frac{{m}_{p}}{m}\nabla U,\\ \frac{{m}_{p}}{m}& =& 1{\eta}_{N}\frac{{E}_{g}}{m},\\ {\eta}_{N}& =& 4\beta \gamma 3\frac{10}{3}\xi {\alpha}_{1}+\frac{2}{3}{\alpha}_{2}\frac{2}{3}{\zeta}_{1}\frac{1}{3}{\zeta}_{2},\end{array}\end{array}$$ 
(53)

where
${E}_{g}$
is the negative of the gravitational selfenergy of the body (
${E}_{g}>0$
). This violation of the massivebody equivalence principle is known as the “Nordtvedt effect”. The effect is absent in GR (
${\eta}_{N}=0$
) but present in scalartensor theory (
${\eta}_{N}=1/(2+\omega )+4\Lambda $
). The existence of the Nordtvedt effect does not violate the results of laboratory Eötvös experiments, since for laboratorysized objects
${E}_{g}/m\le {10}^{27}$
, far below the sensitivity of current or future experiments. However, for astronomical bodies,
${E}_{g}/m$
may be significant (
$3.6\times {10}^{6}$
for the Sun,
${10}^{8}$
for Jupiter,
$4.6\times {10}^{10}$
for the Earth,
$0.2\times {10}^{10}$
for the Moon). If the Nordtvedt effect is present (
${\eta}_{N}\ne 0$
) then the Earth should fall toward the Sun with a slightly different acceleration than the Moon. This perturbation in the EarthMoon orbit leads to a polarization of the orbit that is directed toward the Sun as it moves around the EarthMoon system, as seen from Earth. This polarization represents a perturbation in the EarthMoon distance of the form
$$\begin{array}{c}\delta r=13.1{\eta}_{N}cos({\omega}_{0}{\omega}_{s})t[m],\end{array}$$ 
(54)

where
${\omega}_{0}$
and
${\omega}_{s}$
are the angular frequencies of the orbits of the Moon and Sun around the Earth (see TEGP 8.1 [
281]
for detailed derivations and references; for improved calculations of the numerical coefficient, see [
201,
89]
).
Since August 1969, when the first successful acquisition was made of a laser signal reflected from the Apollo 11 retroreflector on the Moon, the LLR experiment has made regular measurements of the roundtrip travel times of laser pulses between a network of observatories and the lunar retroreflectors, with accuracies that are at the
$50ps$
(
$1cm$
) level, and that may soon approach
$5ps$
(
$1mm$
). These measurements are fit using the method of leastsquares to a theoretical model for the lunar motion that takes into account perturbations due to the Sun and the other planets, tidal interactions, and postNewtonian gravitational effects. The predicted roundtrip travel times between retroreflector and telescope also take into account the librations of the Moon, the orientation of the Earth, the location of the observatories, and atmospheric effects on the signal propagation. The “Nordtvedt” parameter
${\eta}_{N}$
along with several other important parameters of the model are then estimated in the leastsquares method.
Numerous ongoing analyses of the data find no evidence, within experimental uncertainty, for the Nordtvedt effect [
295,
296]
(for earlier results see [
95,
294,
192]
). These results represent a limit on a possible violation of WEP for massive bodies of about 1.4 parts in
${10}^{13}$
(compare Figure 1 ).
However, at this level of precision, one cannot regard the results of LLR as a “clean” test of SEP until one eliminates the possibility of a compensating violation of WEP for the two bodies, because the chemical compositions of the Earth and Moon differ in the relative fractions of iron and silicates. To this end, the EötWash group carried out an improved test of WEP for laboratory bodies whose chemical compositions mimic that of the Earth and Moon. The resulting bound of 1.4 parts in
${10}^{13}$
[
19,
2]
from composition effects reduces the ambiguity in the LLR bound, and establishes the firm SEP test at the level of about 2 parts in
${10}^{13}$
. These results can be summarized by the Nordtvedt parameter bound
$\left{\eta}_{N}\right=(4.4\pm 4.5)\times {10}^{4}$
.
In the future, the Apache Point Observatory for Lunar Laser ranging Operation (APOLLO) project, a joint effort by researchers from the Universities of Washington, Seattle, and California, San Diego, plans to use enhanced laser and telescope technology, together with a good, highaltitude site in New Mexico, to improve the LLR bound by as much as an order of magnitude [
296]
.
In GR, the Nordtvedt effect vanishes; at the level of several centimeters and below, a number of nonnull general relativistic effects should be present [
201]
.
Tests of the Nordtvedt effect for neutron stars have also been carried out using a class of systems known as wideorbit binary millisecond pulsars (WBMSP), which are pulsar–whitedwarf binary systems with small orbital eccentricities. In the gravitational field of the galaxy, a nonzero Nordtvedt effect can induce an apparent anomalous eccentricity pointed toward the galactic center [
86]
, which can be bounded using statistical methods, given enough WBMSPs (see [
243]
for a review and references). Using data from 21 WBMSPs, including recently discovered highly circular systems, Stairs et al. [
244]
obtained the bound
$\Delta <5.6\times {10}^{3}$
, where
$\Delta ={\eta}_{N}({E}_{g}/M{)}_{NS}$
. Because
$({E}_{g}/M{)}_{NS}\sim 0.1$
for typical neutron stars, this bound does not compete with the bound on
${\eta}_{N}$
from LLR; on the other hand, it does test SEP in the strongfield regime because of the presence of the neutron stars.
3.6.2 Preferredframe and preferredlocation effects
Some theories of gravity violate SEP by predicting that the outcomes of local gravitational experiments may depend on the velocity of the laboratory relative to the mean rest frame of the universe (preferredframe effects) or on the location of the laboratory relative to a nearby gravitating body (preferredlocation effects). In the postNewtonian limit, preferredframe effects are governed by the values of the PPN parameters
${\alpha}_{1}$
,
${\alpha}_{2}$
, and
${\alpha}_{3}$
, and some preferredlocation effects are governed by
$\xi $
(see Table 2 ).
The most important such effects are variations and anisotropies in the locallymeasured value of the gravitational constant which lead to anomalous Earth tides and variations in the Earth's rotation rate, anomalous contributions to the orbital dynamics of planets and the Moon, selfaccelerations of pulsars, and anomalous torques on the Sun that would cause its spin axis to be randomly oriented relative to the ecliptic (see TEGP 8.2, 8.3, 9.3, and 14.3 (c) [
281]
). An bound on
${\alpha}_{3}$
of
$4\times {10}^{20}$
from the period derivatives of 21 millisecond pulsars was reported in [
26,
244]
; improved bounds on
${\alpha}_{1}$
were achieved using LLR data [
191]
, and using observations of the circular binary orbit of the pulsar J2317+1439 [
25]
. Negative searches for these effects have produced strong constraints on the PPN parameters (see Table 4 ).
3.6.3 Constancy of the Newtonian gravitational constant
Most theories of gravity that violate SEP predict that the locally measured Newtonian gravitational constant may vary with time as the universe evolves. For the scalartensor theories listed in Table ?? , the predictions for
$\dot{G}/G$
can be written in terms of time derivatives of the asymptotic scalar field. Where
$G$
does change with cosmic evolution, its rate of variation should be of the order of the expansion rate of the universe, i.e.
$\dot{G}/G\sim {H}_{0}$
, where
${H}_{0}$
is the Hubble expansion parameter and is given by
${H}_{0}=100hkm{s}^{1}Mp{c}^{1}=1.02\times {10}^{10}hy{r}^{1}$
, where current observations of the expansion of the universe give
$h\approx 0.73\pm 0.03$
.
Several observational constraints can be placed on
$\dot{G}/G$
, one kind coming from bounding the present rate of variation, another from bounding a difference between the present value and a past value. The first type of bound typically comes from LLR measurements, planetary radarranging measurements, and pulsar timing data. The second type comes from studies of the evolution of the Sun, stars and the Earth, bigbang nucleosynthesis, and analyses of ancient eclipse data. Recent results are shown in Table 5 .
Method

$\dot{G}/G$

Reference


(
${10}^{13}y{r}^{1}$
)

Lunar laser ranging

$4\pm 9$

[295]

Binary pulsar
$1913+16$

$40\pm 50$

[143]

Helioseismology

$0\pm 16$

[122]

Big Bang nucleosynthesis

$0\pm 4$

[65, 21]



Table 5
: Constancy of the gravitational constant. For binary pulsar data, the bounds are dependent upon the theory of gravity in the strongfield regime and on neutron star equation of state. Bigbang nucleosynthesis bounds assume specific form for time dependence of
$G$
.
The best limits on a current
$\dot{G}/G$
come from LLR measurements (for earlier results see [
95,
294,
192]
).
These have largely supplanted earlier bounds from ranging to the 1976 Viking landers (see TEGP, 14.3 (c) [
281]
), which were limited by uncertain knowledge of the masses and orbits of asteroids.
However, improvements in knowledge of the asteroid belt, combined with continuing radar observations of planets and spacecraft, notably the Mars Global Surveyor (1998 – 2003) and Mars Odyssey (2002 – present), may enable a bound on
$\dot{G}/G$
at the level of a part in
${10}^{13}$
per year. For an initial analysis along these lines, see [
212]
. It has been suggested that radar observations of the planned 2012 BepiColombo Mercury orbiter mission over a twoyear integration with
$6cm$
rms accuracy in range could yield
$\Delta (\dot{G}/G)<{10}^{13}y{r}^{1}$
; an eightyear mission could improve this by a factor 15 [
187,
17]
.
Although bounds on
$\dot{G}/G$
from solarsystem measurements can be correctly obtained in a phenomenological manner through the simple expedient of replacing
$G$
by
${G}_{0}+{\dot{G}}_{0}(t{t}_{0})$
in Newton's equations of motion, the same does not hold true for pulsar and binary pulsar timing measurements. The reason is that, in theories of gravity that violate SEP, such as scalartensor theories, the “mass” and moment of inertia of a gravitationally bound body may vary with variation in
$G$
. Because neutron stars are highly relativistic, the fractional variation in these quantities can be comparable to
$\Delta G/G$
, the precise variation depending both on the equation of state of neutron star matter and on the theory of gravity in the strongfield regime. The variation in the moment of inertia affects the spin rate of the pulsar, while the variation in the mass can affect the orbital period in a manner that can subtract from the direct effect of a variation in
$G$
, given by
${\dot{P}}_{b}/{P}_{b}=2\dot{G}/G$
[
200]
. Thus, the bounds quoted in Table 5 for the binary pulsar PSR 1913+16 and others [
143]
(see also [
87]
) are theorydependent and must be treated as merely suggestive.
In a similar manner, bounds from helioseismology and bigbang nucleosynthesis (BBN) assume a model for the evolution of
$G$
over the multibillion year time spans involved. For example, the concordance of predictions for light elements produced around 3 minutes after the big bang with the abundances observed indicate that
$G$
then was within 20 percent of
$G$
today. Assuming a powerlaw variation of
$G\sim {t}^{\alpha}$
then yields a bound on
$\dot{G}/G$
today shown in Table 5 .
3.7 Other tests of postNewtonian gravity
3.7.1 Search for gravitomagnetism
According to GR, moving or rotating matter should produce a contribution to the gravitational field that is the analogue of the magnetic field of a moving charge or a magnetic dipole. In particular, one can view the
${g}_{0i}$
part of the PPN metric (see Box 2 ) as an analogue of the vector potential of electrodynamics. In a suitable gauge, and dropping the preferredframe terms, it can be written
$$\begin{array}{c}{g}_{0i}=\frac{1}{2}(4\gamma +4+{\alpha}_{1}){V}_{i}.\end{array}$$ 
(55)

At PN order, this contributes a Lorentztype acceleration
$\mathbf{v}\times {\mathbf{B}}_{g}$
to the equation of motion, where the gravitomagnetic field
${B}_{g}$
is given by
${B}_{g}=\nabla \times \left({g}_{0i}{\mathbf{e}}^{i}\right)$
.
Gravitomagnetism plays a role in a variety of measured relativistic effects involving moving material sources, such as the EarthMoon system and binary pulsar systems. Nordtvedt [
199,
198]
has argued that, if the gravitomagnetic potential ( 55 ) were turned off, then there would be anomalous orbital effects in LLR and binary pulsar data.
Rotation also produces a gravitomagnetic effect, since for a rotating body,
$\mathbf{V}=\frac{1}{2}\mathbf{x}\times \mathbf{J}/{r}^{3}$
, where
$\mathbf{J}$
is the angular momentum of the body. The result is a “dragging of inertial frames” around the body, also called the Lense–Thirring effect. A consequence is a precession of a gyroscope's spin
$\mathbf{S}$
according to
$$\begin{array}{c}\frac{d\mathbf{S}}{d\tau}={\mathbf{\Omega}}_{LT}\times \mathbf{S},{\mathbf{\Omega}}_{LT}=\frac{1}{2}\left(1+\gamma +\frac{1}{4}{\alpha}_{1}\right)\frac{\mathbf{J}3\mathbf{n}(\mathbf{n}\cdot \mathbf{J})}{{r}^{3}},\end{array}$$ 
(56)

where
$\mathbf{n}$
is a unit radial vector, and
$r$
is the distance from the center of the body (TEGP 9.1 [
281]
).
The Relativity Gyroscope Experiment (Gravity Probe B or GPB) at Stanford University, in collaboration with NASA and Lockheed–Martin Corporation [
246]
, recently completed a space mission to detect this framedragging or Lense–Thirring precession, along with the “geodetic” precession (see Section 3.7.2 ). A set of four superconductingniobiumcoated, spherical quartz gyroscopes were flown in a polar Earth orbit (
$642km$
mean altitude, 0.0014 eccentricity), and the precessions of the gyroscopes relative to a distant guide star (HR 8703, IM Pegasi) were measured.
For the given orbit, the predicted secular angular precession of the gyroscopes is in a direction perpendicular to the orbital plane at a rate
$\frac{1}{2}(1+\gamma +\frac{1}{4}{\alpha}_{1})\times 41\times {10}^{3}arcsecy{r}^{1}$
. The accuracy goal of the experiment is about 0.5 milliarcseconds per year. The spacecraft was launched on April 20, 2004, and the mission ended in September 2005, as scheduled, when the remaining liquid helium boiled off.