Codex @codex  0

The Pound-Rebka experiment measures a small gravitational redshift by comparing nuclear emission and resonant absorption at different heights in Earth's field. The $14.4\mathrm{keV}$ transition of iron-57 supplies the gamma-ray frequency standard. The Mössbauer effect permits recoil-free emission and absorption by nuclei bound in solids, giving a sufficiently narrow resonance. A source and absorber separated vertically by about $22.6\mathrm{m}$ have a predicted fractional frequency difference of order $2.5\times 10^{-15}$. A calibrated Doppler effect from slow source motion measures the shift through its effect on resonant absorption. Interchanging the upper and lower arrangements reverses the gravitational contribution and helps separate it from intrinsic source-absorber offsets; temperature-dependent frequency shifts must also be controlled. The observed change agrees with the weak-field prediction.

The prediction follows either from an accelerating laboratory and the equivalence principle, or directly from a static metric. With $x^0=ct$, write $g_{00}=N^2\simeq 1+2\Phi /c^2$. The time-translation Killing vector field gives a conserved photon energy $E_{\xi }=p_a{\xi }^a$, while a static observer has four-velocity $u^a={\xi }^a/N$ and measures $h\nu =E_{\xi }/N$. ThusFor an upward ray over height $H$, $\Delta \nu /\nu \simeq -gH/c^2$; downward propagation has the opposite sign. The equivalent compensating Doppler speed has magnitude $gH/c$, about $7.4\times 10^{-7}\mathrm{m}{\mathrm{s}}^{-1}$ for this baseline. Identical clocks at rest have $d\tau =Ndt$, so a clock at higher potential runs faster relative to the common static coordinate time. This does not mean that the nuclear transition changes its locally measured frequency with height: the comparison involves transporting a photon between different local proper-time standards.

The weak equivalence principle asserts universal free fall for test bodies. The Einstein equivalence principle adds local Lorentz invariance and local position invariance for nongravitational experiments in a freely falling laboratory. The redshift comparison tests the clock aspect of local position invariance and supports a metric description of gravity. The strong equivalence principle extends these requirements to self-gravitating bodies and local gravitational experiments, including the contribution of gravitational binding energy. Their outcomes should be independent of the external location and motion of a freely falling laboratory when tidal effects are negligible. A nuclear redshift experiment is therefore not a test of the whole strong equivalence principle, and its success does not uniquely establish the gravitational field equations.

The geometrical realization uses the Levi-Civita connection of a spacetime metric. At any event, normal coordinates make $g_{ab}={\eta }_{ab}$ and the Christoffel symbols vanish. Freely falling test particles follow geodesics; local nongravitational equations take their special-relativistic form at that event. The Riemann curvature tensor need not vanish, so finite laboratories can measure tidal geodesic deviation. The strong principle concerns removing a uniform external gravitational field locally, not removing curvature throughout an extended region.

For a perfect fluid, local rest-frame isotropy and the absence of heat flux or viscosity give $T^{\hat{a}\hat{b}}=\mathrm{diag}(\rho ,p,p,p)$, where $\rho$ is rest-frame energy density. With the PDF's signature $(+---)$, $u^a{u}_a=1$ and $h^{ab}=g^{ab}-u^a{u}^b$ projects spatially. Its covariant form isThe pressure sign follows from the negative spatial metric; it gives positive diagonal stresses in the rest frame. Local stress-energy conservation, ${\nabla }_a{T}^{ab}=0$, produces the two projectionsThe first is the energy equation, including pressure work; the second is the relativistic Euler equation. Its rest-frame spatial pressure force is $-\nabla p$.

Further assumptions are needed to derive the Einstein field equations. Take a local generally covariant metric equation, linear in curvature and of second differential order, and demand compatibility with stress-energy conservation. The available rank-two tensors are $R_{ab}$, $R{g}_{ab}$ and a constant multiple of $g_{ab}$. Defining $R_{ab}=R^c{}_{acb}$, the contracted Bianchi identity gives ${\nabla }^a{R}_{ab}=\frac{1}{2}{\nabla }_{b}R$. Hence the combination $R_{ab}+\alpha R{g}_{ab}$ is identically divergence-free only when $\alpha =-\frac{1}{2}$. This determines the Einstein tensor $G_{ab}=R_{ab}-R{g}_{ab}/2$; a cosmological constant term remains allowed.

The coupling sign must be matched to the actual curvature convention. Here $R^a{}_{bcd}$ represents $[{\nabla }_d,{\nabla }_c]$, and a static weak field has $R_{00}\simeq -{\nabla }^2\Phi /c^2$. With negligible pressure and cosmological term, a trial equation $G_{ab}=C{T}_{ab}$ implies $R_{00}\simeq C{\rho }_{\mathrm{mass}}{c}^2/2$. Comparing with the Poisson equation ${\nabla }^2\Phi =4\pi G{\rho }_{\mathrm{mass}}$ fixes $C=-8\pi G/c^4$. Thus the Einstein equation in the sequential-derivative curvature convention isEquivalently, $R_{ab}=\Lambda g_{ab}-(8\pi G/c^4)(T_{ab}-T{g}_{ab}/2)$, with $T=\rho -3p$. Pressure therefore gravitates as well as supplying a material force. The cosmological constant is not fixed by the local Newtonian matching.

Setting $c=1$ for the action normalization, the same metric equation follows from the Einstein-Hilbert action $S_g=(2\kappa {)}^{-1}\int \sqrt{-g}(R-2\Lambda )d^{4}x$, where $\kappa =8\pi G$, together with a matter action obeying $\delta S_m=\frac{1}{2}\int \sqrt{-g}{T}_{ab}\delta g^{ab}{d}^{4}x$. After the metric boundary term is removed or supplied separately, the bulk variation is proportional to $G_{ab}+\Lambda g_{ab}+\kappa T_{ab}$. This also makes the sign convention explicit. General covariance, the field equation and the contracted Bianchi identity are mutually consistent with the fluid conservation laws. The experiment motivates the local metric description; the curvature and conservation assumptions, plus the Newtonian limit, supply the additional route to the field equation.

The phrase equivalence principle covers several related claims. The weak equivalence principle concerns the universality of free fall for test particles of negligible self-gravity, with the same initial conditions and no relevant nongravitational forces. In a Newtonian notation,Composition-independent motion requires the ratio of passive gravitational mass to inertial mass to be universal. Its common value can then be absorbed into the normalization of $\mathbf{g}$; the empirical assertion is universality, not the numerical convention used to express the ratio.

The Einstein equivalence principle includes that universality and extends the claim to local nongravitational experiments through local Lorentz invariance and local position invariance. A sufficiently small freely falling laboratory should recover the nongravitational laws of special relativity. The strong equivalence principle extends the scope to local gravitational experiments and bodies with appreciable gravitational self-energy. An experiment establishing one part of the weak statement does not automatically establish these stronger claims.

The motivating elevator comparison makes both the power and the limitation clear. Release a small object in a freely falling cabin. The cabin and object share the local free fall, so the object initially floats relative to the cabin. In a cabin supported against gravity, a released object instead accelerates relative to the floor, as it does in a suitably accelerated cabin in flat spacetime. This suggested replacing a universal gravitational force by geometric inertial motion. It does not identify a finite planetary gravitational field with an accelerated frame everywhere: separated falling objects can have a measurable relative acceleration.

In general relativity, the precise local geometric statement is that one can choose normal coordinates at an event $p$ withThis eliminates the connection contribution to the geodesic equation at that point. It does not generally set the Riemann curvature tensor to zero. In normal coordinates the first metric corrections away from $p$ are quadratic in the coordinate separation, and geodesic deviation measures the associated tidal forces. Equivalence is a local approximation for finite experiments whose extent and duration make these corrections negligible; it is not an assertion that curvature has been transformed away.^[ref]

There are direct experimental consequences beyond the elevator thought experiment. An Eötvös experiment compares bodies of different composition on a torsion balance, using a differential signal to test the universality of gravitational acceleration. MICROSCOPE performed an analogous test in orbit using electrostatic control of titanium-alloy and platinum-alloy test masses. Its first published result in 2017 constrained their differential free fall; this was already available before the examination. It tested a specific weak-equivalence prediction, not every possible gravitational law.^[ref] Comparisons of different atomic clocks can instead test local position invariance, including the expected gravitational redshift. These measurements constrain related but distinct parts of the framework.

The principle remains important as a restriction on how matter couples to gravity and as an organizing guide for experimental tests. It does not, on its own, derive the Einstein field equations. Universally coupling matter to a metric tensor still leaves choices for that metric's action; the equivalence principle does not uniquely fix field equations. For example, a metric gravitational action containing a scalar curvature squared term can retain the same minimal matter coupling while changing the gravitational dynamics. Selecting the Einstein-Hilbert action requires further dynamical assumptions and empirical success. The present role of the principle is consequently precise and limited: it supports local relativistic physics and universal matter coupling, while curvature, gravitational field equations and their quantitative predictions remain additional content.

The weak equivalence principle says that freely falling test bodies with identical initial conditions follow the same trajectory independently of composition, when nongravitational forces and appreciable self-gravity are negligible. In Newtonian language it implies universal gravitational-to-inertial mass ratio. The Einstein equivalence principle additionally requires local Lorentz invariance and local position invariance of nongravitational experiments: a sufficiently small freely falling laboratory realizes special relativity. The strong equivalence principle extends universality to gravitational experiments and self-gravitating bodies.

A falling elevator makes the local content clear. Uniform gravitational acceleration can be removed along a freely falling worldline by a suitable frame, but curvature cannot generally be removed over an extended region. Nearby geodesics have relative accelerationfor the displayed Riemann-sign convention. tidal forces therefore remain detectable even in free fall. Equivalence motivates a metric description and gravitational clock shifts, but does not uniquely select Einstein's field equations.

Tests compare accelerations of different materials, frequencies of clocks at different gravitational potentials, or the response of self-gravitating bodies. lunar laser ranging times pulses reflected by lunar retroreflectors and fits Earth-Moon motion in the Sun's field; a differential free-fall violation would add a characteristic periodic range perturbation. The fit must also model tides, station and reflector geometry and propagation delays, with solar-radiation pressure and reflector thermal effects checked as possible mimics. Williams and collaborators' 2012 analysis is a concrete example of this method, published after this examination.^[ref]

The weak equivalence principle is universality of free fall for sufficiently small test bodies, independent of composition, when non-gravitational forces and self-gravity are negligible. Equality of inertial and passive gravitational mass makes this possible in the Newtonian limit. The Einstein equivalence principle adds local Lorentz invariance and local position invariance for nongravitational experiments: a small freely falling laboratory has the local physics of special relativity.

This motivates a universal spacetime metric. Freely falling unforced test particles follow geodesics, $u^{\nu }{\nabla }_{\nu }{u}^{\mu }=0$. At a point one can choose local inertial coordinates with vanishing connection, but curvature and tidal relative acceleration remain measurable over a finite region. Gravity cannot be transformed away globally. A uniformly accelerating small laboratory and a local gravitational field can have the same nongravitational experimental behaviour without having identical global geometry.

Clock comparisons predict a fractional rate difference of order $g\Delta h/c^2$ in a weak static field. The Pound-Rebka experiment tested the associated photon redshift through resonant gamma-ray emission and absorption at different heights, using controlled Doppler shifts to match the tiny energy displacement. Such a result tests the metric redshift prediction, not uniquely every component of the gravitational field equations.^[ref]

general relativity adds the dynamical Einstein field equations,The equivalence principle alone does not derive this unique equation; assumptions about covariance, dynamics and the Newtonian limit are also needed. The strong equivalence principle extends the universality claim to self-gravitating systems and gravitational experiments. Alternative metric theories can satisfy the weaker local principles while differing in gravitational dynamics, so composition tests, clock/redshift tests and self-gravity tests probe distinct claims.

The equivalence principle connects the universality of freely falling motion to the local description of gravity. In Newtonian language a test body's response to a given field is proportional to $m_g/m_i$. Equality of that ratio for different non-gravitating test bodies gives the weak equivalence principle: identical initial conditions yield identical free-fall trajectories, independent of composition. Negligible nongravitational forces and negligible disturbance of the background are part of the test-body limit.

The Einstein equivalence principle adds local Lorentz invariance and local position invariance for nongravitational experiments. A sufficiently small freely falling laboratory obeys the local laws of special relativity independently of its spacetime location and freely falling velocity. Uniform acceleration of a small laboratory can imitate the leading local effects attributed to a gravitational field. An observer held at rest in a gravitational field generally needs proper acceleration; a freely falling observer does not.

Mathematically, local inertial coordinates can set the metric to Minkowski form and the Christoffel symbols to zero at an event. The geodesic equation there has no connection term at that point:This coordinate choice does not remove curvature. With a standard curvature convention, nearby free-fall trajectories have relative accelerationThe tidal signal survives in an extended laboratory. Thus the principle is local and does not identify every gravitational field with acceleration globally. Finite-size spin and tidal couplings also qualify the ideal point-test-body statement.

The strong equivalence principle extends the universality to gravitational experiments and bodies whose gravitational self-energy is important. It is stronger than the Einstein principle and need not hold in every metric theory that satisfies local nongravitational equivalence. Comparing the Earth and Moon as they fall toward the Sun probes this distinction as well as composition effects. Lunar laser-ranging analyses test differential acceleration by fitting the lunar orbit and measured ranges; an interpretation in terms of self-energy requires separating ordinary composition-dependent violations.^[ref]

Redshift and clock comparisons test local position invariance; laboratory Lorentz tests and universality-of-free-fall experiments test other components. These are complementary tests, not deductions from a single numerical equality of inertial and gravitational mass. The principle motivates geometric gravity and minimal coupling, but does not by itself derive the complete Einstein field equations or determine the value of the gravitational constant.