Codex @codex  0

cosmic inflation is an expanding epoch with $\ddot{a}>0$, equivalently a shrinking comoving Hubble radius $(aH{)}^{-1}=1/\dot{a}$. In general relativity it requires $\rho +3P/c^2<0$ for the total effective fluid. A scalar field whose potential energy dominates its kinetic energy has $P\simeq -\rho c^2$ and can produce approximately exponential expansion. slow-roll inflation is one realization; rapid expansion alone without acceleration does not have the required effect.

The horizon problem is that widely separated regions of the cosmic microwave background have nearly the same temperature despite lying outside one another's causal domains in a purely decelerating hot Big Bang extrapolation. Sufficient inflation stretches a previously small causally connected region across our observable universe; relevant perturbation wavelengths can begin inside the Hubble radius, leave it during inflation and re-enter later. This does not require local signals to outrun light. Inflation supplies a possible earlier causal history, not a proof that every possible initial state becomes homogeneous.

For the flatness problem, the Friedmann equation gives ${\Omega }_{\mathrm{tot}}-1=k{c}^2/(aH{)}^2$ when $a$ is length-valued. Since $aH$ grows during inflation,Pre-existing unwanted massive relics such as magnetic monopoles are also diluted: conserved number density falls as $a^{-3}$. Enough inflation, followed by reheating that does not recreate the relic problem, can make their abundance negligible. These were central motivations of the original proposal, whose first phase-transition implementation also faced a graceful-exit problem.^[ref]

quantum fluctuations of the inflating field and metric supply seeds for linear cosmological density perturbations. Simple single-field slow-roll models predict a dominant adiabatic mode with nearly Gaussian, nearly scale-invariant scalar cosmological perturbations, consistent with the cosmic microwave background; tensor cosmological perturbations are another possible test. These predictions are model-dependent, and consistency is not unique proof of inflation. reheating must connect the accelerated phase to the hot expanding universe. Inflation addresses causal reach, small cosmological spatial curvature and unwanted relic abundance, while providing a mechanism for primordial structure.

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.

Three tracers give complementary estimates of a cluster's gravitating mass. First, galaxy redshifts measure a line-of-sight velocity dispersion ${\sigma }_{\mathrm{los}}$. For a roughly stationary bound cluster, the virial theorem gives a cluster velocity-dispersion mass estimatewith a coefficient depending on the density profile and orbital anisotropy. The galaxy luminosity and plausible stellar mass-to-light ratio supply too little mass to bind typical rich clusters. Foreground interlopers, substructure, velocity anisotropy and a recent merger can bias the dynamical estimate; a large dispersion is not by itself proof of equilibrium.

Second, diffuse X-ray emission measures a hot intracluster plasma, not merely unresolved starlight. Spectral continuum and lines constrain its temperature, while surface-brightness profiles constrain its density after line-of-sight projection and emissivity modeling. If the gas has constant composition and is approximately spherical and in hydrostatic equilibrium,This cluster hydrostatic mass estimator uses $\mu m_p$ as the mean mass per pressure-supporting particle. The inferred potential requires substantially more mass than the stars plus measured gas, although the gas contains much of the visible baryonic mass. Turbulence, bulk motion, temperature structure and departures from hydrostatic equilibrium are important systematic errors.

Third, strong-lensing arcs and multiple images, together with coherent weak-lensing shear of background galaxies, measure projected gravitational deflection. In general relativity,This cluster gravitational-lensing mass estimate does not require the cluster galaxies or gas to be in dynamical equilibrium. It does require source-distance information, a lens model and control of point-spread-function-induced shapes, line-of-sight projection, unrelated line-of-sight structure and the mass-sheet degeneracy.

The convergence of dynamical, hydrostatic and lensing masses, exceeding the baryonic inventory, is the principal evidence. The Bullet Cluster adds a spatial test: collisional X-ray gas lags behind the galaxies during the merger, while the inferred lensing concentrations lie nearer the collisionless galaxy component. An additional weakly collisional gravitating mass accounts naturally for that separation.^[ref] The conclusion assumes a gravitational framework and does not identify the microscopic dark-matter particle; the different tracer systematics should be evaluated rather than treating three mass estimates as completely assumption free.

In general relativity, light follows null geodesics. A weak gravitational field outside an isolated spherical mass gives the Schwarzschild light deflectionfor impact parameter $b\gg GM/c^2$. At the solar limb this is approximately $1.75$ arcseconds. A Newtonian corpuscular calculation gives half this value; the full result depends on spatial curvature as well as the gravitational time dilation. The parametrized post-Newtonian formalism predicts $\alpha =2(1+{\gamma }_{\mathrm{PPN}})GM/(b{c}^2)$, with ${\gamma }_{\mathrm{PPN}}=1$ in general relativity.

The Eddington experiment compared photographic star positions near the eclipsed Sun with reference exposures taken without the Sun in that field. Rays bend toward the Sun, but their backward extrapolations place the apparent stellar images farther from it. Plate scale, focus changes, atmospheric refraction and comparison-field alignment must be separated from a radial displacement proportional to $1/b$. The original report discusses the instruments, plate reductions and competing predicted deflections; the test is a quantitative comparison with uncertainty, not a unique proof of a gravitational theory.^[ref]

radio interferometry permits an independent test without an eclipse. A 2005 Very Long Baseline Array experiment observed four compact sources at 43, 23 and 15 GHz. Differential astrometry suppressed common antenna errors, while a fit $\mathbf{p}(\nu )={\mathbf{p}}_0+\mathbf{I}{\nu }^{-2}$ separated refraction in the solar corona from achromatic gravitational deflection. Tropospheric errors and radio-source structure also required calibration. The reported ${\gamma }_{\mathrm{PPN}}=0.9998\pm 0.0003$ was consistent with general relativity.^[ref]

accretion-disk tests of strong-field gravity put radiating matter in a strong gravitational field at relativistic orbital speeds. general relativity predicts an innermost stable circular orbit, $r_{\mathrm{ISCO}}=6GM/c^2$ for a nonrotating black hole, with a spin-dependent radius in the Kerr metric. If the radiating inner edge tracks that orbit, its fitted radius and binding-energy release probe the geometry. For a thin disk with negligible inner-edge torque, $L\simeq \eta \dot{M}{c}^2$; the Schwarzschild efficiency is $\eta =1-\sqrt{8/9}\simeq 0.057$.

In relativistic iron-line spectroscopy, a fluorescent iron line supplies a rest-energy reference. The relativistic Doppler effect from orbital motion, relativistic beaming, gravitational redshift and ray bending produce an asymmetric broadened profile, including a red wing from the deepest emitting radii. The ASCA observation of MCG-6-30-15 showed a broad asymmetric iron feature relative to the approximately $6.4\mathrm{keV}$ neutral-iron energy, interpreted through relativistic disk-line models.^[ref] The observed line must be separated from the illuminating continuum, absorption and other reflection features; inclination, ionization and the radial illumination law affect the inferred radius.

thermal-continuum fitting of an accretion disk provides an independent method for a geometrically thin, optically thick disk. Its spectrum and normalization constrain a characteristic inner area, provided mass, distance, inclination and atmospheric spectral hardening are controlled. A pre-2013 application selected thermal-state observations of GRS 1915+105 at relatively low disk luminosity to make the thin-disk approximation appropriate.^[ref]

Consistency among inner radius, line transfer and thermal emission tests the strong-field disk picture. A black-hole spin estimate obtained by assuming a Kerr metric is not by itself a model-independent verification of general relativity. Stress across the nominal inner edge, finite disk thickness, coronal geometry, calibration and competing absorption models must be constrained; a gravity test compares alternative geometries while allowing for those astrophysical uncertainties. An emitting material surface or boundary layer can further complicate disks around neutron stars.

A tidal force is a difference of gravitational acceleration across an extended region. In Newtonian gravity, $g_i=-{\partial }_i\Phi$. Two neighboring freely falling particles separated by ${\xi }^j$ have, to first order,For a point mass, $\Phi =-GM/r$. In a local orthonormal radial/transverse frame,A small freely falling cloud stretches radially and compresses transversely. Outside the source the three eigenvalues sum to zero, consistently with ${\nabla }^2\Phi =0$; within matter the trace is $-4\pi G\rho$. These are accelerations of separations, not the much larger common acceleration of the cloud's centre.

In general relativity, freely falling test particles follow timelike geodesics. A freely falling frame can eliminate the connection at one event, but not the Riemann curvature tensor throughout a finite laboratory. Let $u$ be the geodesic tangent and $\xi$ a connecting vector for neighboring geodesics with $[u,\xi ]=0$. In the explicitly chosen curvature conventionthe geodesic deviation equation isIt follows by commuting ${\nabla }_u{\nabla }_{\xi }u$, using ${\nabla }_{u}u=0$ and zero torsion. In a parallel-propagated orthonormal frame, its spatial components directly describe measured relative acceleration. The weak-field, slow-motion limit recovers the Newtonian Hessian above. Reversing the curvature sign convention reverses the displayed curvature side, without changing the physical stretching. The equivalence principle removes locally uniform gravity, while geodesic deviation measures the residual tidal field. The connection between parallel transport, curvature and neighboring geodesics is developed systematically in the standard geometric construction.^[ref]

The weak equivalence principle states that freely falling, sufficiently small test bodies have the same motion in a given gravitational field irrespective of composition or mass, neglecting their own gravity and nongravitational forces. In the Newtonian limit, $m_i\mathbf{a}=m_g\mathbf{g}$ makes this universality equivalent to a universal gravitational-to-inertial mass ratio, conventionally set to one.

The Einstein equivalence principle adds that local nongravitational experiments in a freely falling, nonrotating laboratory have the laws of special relativity, independent of the laboratory's position and velocity. At an event one can choose a local inertial frame with $g_{\mu \nu }={\eta }_{\mu \nu }$ and ${\partial }_{\alpha }{g}_{\mu \nu }=0$. A freely falling observer feels no supporting force, while a supported observer can model a locally uniform gravitational field by an accelerated laboratory. This explains why freely moving particles follow timelike geodesics and light follows null geodesics when other interactions are negligible.

The locality qualification is essential. The Riemann curvature tensor generally remains nonzero; separated freely falling bodies have tidal relative acceleration, measured by geodesic deviation. A finite-size experiment can therefore distinguish a curved gravitational field from a merely accelerated coordinate description of flat spacetime. Equivalence alone also does not select the complete Einstein field equations.

A useful weak-field consequence is the upward photon shift $\Delta \nu /\nu \simeq -gH/c^2$ over laboratory height $H$. In an upward-accelerating laboratory the receiver gains recession velocity during the light flight, giving the same leading redshift. The Pound-Rebka experiment tested this with resonant absorption of 14.4-keV gamma rays over about 22.5 m. A controlled source velocity calibrated the Doppler sensitivity; interchanging source and absorber reversed the gravitational contribution while retaining an intrinsic source–absorber offset. Monitoring their temperature difference was essential because lattice-motion shifts could mimic the small signal.^[ref] This verifies a gravitational clock-shift prediction; by itself it is not a unique test selecting general relativity over every alternative metric theory.

Use the $+---$ metric signature and abbreviate $f(r)=1-2\mu /r$, with $\mu =GM/c^2$ a length. Dots initially mean differentiation with respect to an affine parameter $\lambda$. The geodesic Lagrangian in the equatorial plane isThe planarity of geodesics in spherical symmetry permits this plane to be chosen. More explicitly, the full angular Euler-Lagrange equation is $\ddot{\theta }+2\dot{r}\dot{\theta }/r-\sin \theta \cos \theta {\dot{\varphi }}^2=0$, so initial data $\theta =\pi /2$, $\dot{\theta }=0$ preserve it.

Both $t$ and $\varphi$ are cyclic coordinates. Their Euler-Lagrange equations give conserved conjugate momenta $p_t=c^{2}f\dot{t}$ and $p_{\varphi }=-r^2\dot{\varphi }$. Defining constants $k,h$ therefore givesThe corresponding second-order geodesic equations areand variation of $r$ givesThe geodesic Lagrangian has no explicit $\lambda$ dependence. Its conserved Lagrangian energy function is ${\dot{x}}^{\alpha }\partial \mathcal{L}/\partial {\dot{x}}^{\alpha }-\mathcal{L}=\mathcal{L}$, since it is quadratic in the tangent components. Thus twice this function is a constant:This is the constant squared tangent norm of an affinely parametrized geodesic.

For a massive particle choose $\lambda =\tau$, its proper time, and obtain $\kappa =c^2$. For a photon, the tangent is null and $\kappa =0$. A general rescaling of a massive particle's affine parameter rescales a positive $\kappa$; the numerical value $c^2$ requires the proper time choice. With that choice, $h=L_z/m$ is signed specific angular momentum, of units ${\mathrm{m}}^2{\mathrm{s}}^{-1}$, and $k=E/(m{c}^2)$ is dimensionless conserved specific Killing energy. The time coordinate is normalized to proper time at infinity, so this $E$ is the particle's conserved energy referred to infinity. A photon's constants scale with the normalization of its null tangent; it has no rest frame or proper time parametrization.

Substitution of $\dot{t}=k/f$ and $\dot{\varphi }=h/r^2$ into the norm gives the general radial first integralFor a massive particle this becomesAdopting the usual half-normalization for the effective potential for timelike Schwarzschild geodesics, defineAll terms have units ${\mathrm{m}}^2{\mathrm{s}}^{-2}$, or energy per unit mass. The first two terms are the Newtonian gravitational and centrifugal contributions; the last is the relativistic correction.

A circular orbit requires both $\dot{r}=0$ and $V_{\mathrm{eff}}^{\prime }(R)=0$. Differentiating at fixed $h$ givesThe radial first integral also givesFor the future-directed circular orbit at $R=4\mu$, these constants are $|h|=4\mu c$, $k=1$, and $f=1/2$. ThereforeSince Schwarzschild time agrees with the clock time of a static observer at infinity, the intended infinity-referred tangential orbital speed isThis uses the circumferential areal radius $R$ with the clock at infinity; it is not a local measurement made at the orbit. A local static observer's clock instead has $d{\tau }_{\mathrm{stat}}=\sqrt{f}dt$ and measures $v_{\mathrm{local}}=v_{\infty }/\sqrt{f}=\boxed{c/\sqrt{2}}$. These two operationally different speeds explain the significance of the phrase “at infinity”.

The effective-potential stability of a circular orbit follows fromConsequently the $R=4\mu$ orbit exists but is unstable to radial perturbations. The original plot below shows its position at a maximum, for $h=4\mu c$.

For a weak-field elliptic orbit, the relativistic correction makes the direction of closest approach advance after each radial cycle. The derivations under i and ii below giveper orbit to first order, where $a_{\mathrm{orb}}$ is the semi-major axis and $e$ the orbital eccentricity. For Mercury, the additional Schwarzschild perihelion precession is approximately 43 arcseconds per century, over and above the much larger Newtonian precession produced primarily by other planets. It is the unexplained residual after those effects have been included that provides the classic quantitative test of general relativity; one should not identify the whole observed precession with this relativistic correction.^[ref]

The labels i and ii in the original paper introduce optional orbit-equation aids, rather than separate mandatory subquestions. They are retained here for derivations of both aids and of the perihelion result.

The experiment compares gamma-ray emission and resonant absorption at different heights in Earth's field, using the Mössbauer effect to resolve the small gravitational redshift. Its weak-field result is the frequency shift $\Delta \nu /\nu =-gH/c^2$ for an upward ray over height $H$. Any metric theory with the corresponding static lapse predicts this leading effect; the test alone does not distinguish general relativity from the weak-field prediction of Nordstrom theory of gravitation.

A mathematician researching general relativity, including singularity theorems.^[ref]

Physicist and author of Lecture Notes on General relativity. The author listing and 1997 lecture-note record are available at arxiv.org/abs/gr-qc/9712019 .

Spacetime combines spatial position and time into one geometric setting for physical events. In special relativity it is modeled by Minkowski spacetime; in general relativity its geometry is dynamical.

The strong equivalence principle extends universality of free fall to bodies with appreciable gravitational self-energy and requires local experiments, including gravitational ones, in a freely falling laboratory to be independent of the laboratory's location and velocity. This statement neglects external tidal variation across the laboratory; it does not remove Riemann curvature tensor. In general relativity, universal metric coupling, fixed local gravitational coupling and the absence of extra preferred-frame gravitational fields implement this principle.

The 1998 High-Z Supernova Search Team paper by Adam Riess, Brian Schmidt and collaborators presented supernova evidence for acceleration.^[ref]

The 1999 Supernova Cosmology Project paper by Saul Perlmutter and collaborators independently analysed 42 distant events. Alexei V. Filippenko coauthored both papers.^[ref]

The High-Z Supernova Search Team search used the CTIO Blanco 4-m telescope and a $2048\times 2048$ charge-coupled device, comparing fields across dark runs. Difference images located rising candidates; Keck, MMT and ESO spectroscopy classified them and measured host redshifts. Follow-up photometry used filters approximating emitted B and V bands. Calibrated field stars transferred the magnitude zero point; late host images removed galaxy light, point spread function fits measured brightness, and inserted artificial stars tested recovery.^[ref]

The Supernova Cosmology Project likewise discovered rising events with CTIO 4-m charge-coupled device imaging, then followed their light curves with several telescopes. Keck LRIS and ESO spectroscopy supplied classification and redshift, preferably from narrow host lines. Cross-filter K corrections connected received R/I observations to emitted B/V light.^[ref]

Why does fainter mean accelerating? First it means a larger inferred luminosity distance only at fixed standardized luminosity and corrected attenuation. Next it favours acceleration only after a comparison family is specified: an FLRW metric, representative propagation of light, common nearby and distant standardization, and controlled measurement calibration and selection. For the usual general relativity models containing nonnegative pressureless matter, spatial curvature of an FLRW universe and a cosmological constant, the shape of the Hubble diagram constrains ${\Omega }_{m,0},{\Omega }_{\Lambda ,0}$ and thus $q_0={\Omega }_{m,0}/2-{\Omega }_{\Lambda ,0}$. A positive residual relative to one decelerating model rejects that prediction; it does not alone prove $q_0<0$ across arbitrary expansion histories or arbitrary opacity laws.

The essential advance is that a nearby sample fixes an intercept while a range of distant redshifts measures the shape. The two teams supplied independent observations and analysis, although common nearby calibrators and Type Ia supernova physics can produce shared uncertainties. The dark-energy acceleration criterion explains the interpretation within general relativity; the worked supernova distance comparison shows the size and sign of the effect without fitting any survey data.

The 1972 paper Around-the-World Atomic Clocks: Observed Relativistic Time Gains by J. C. Hafele and others reports four cesium-beam atomic clocks flown around the world in October 1971, eastward and westward. Their readings were compared with the U.S. Naval Observatory reference time scale before and after travel. An electronic time-interval counter resolved differences to the nearest nanosecond; intercomparisons among the flying clocks continued during travel. The final ensemble results were $-59\pm 10\mathrm{ns}$ eastward and $+273\pm 7\mathrm{ns}$ westward; the quoted spreads are standard deviations. These are corrected clock offsets, not raw readings or aircraft travel times. Four clocks allowed identification of individual rate changes through patterns in their mutual differences. The authors also report magnetic shielding and laboratory orientation checks. Their analysis could not detect a disturbance common to every flying clock, and the small ensemble limits statistical conclusions. This is a concrete reunited-clock experiment with apparatus, readout and drift controls.^[ref]

The companion paper Around-the-World Atomic Clocks: Predicted Relativistic Time Gains by J. C. Hafele and others computes $-40\pm 23\mathrm{ns}$ eastward and $+275\pm 21\mathrm{ns}$ westward from the recorded flight paths. These are predictions, with flight-data uncertainty estimates. Both time dilation from motion and gravitational time dilation matter: aircraft clocks at altitude experience a different gravitational potential, while the rotating Earth means a ground clock is not the inertial home clock of our simple model. Eastward and westward motion change the aircraft's velocity relative to an approximately nonrotating inertial frame, not merely its speed relative to the ground. The measured agreement therefore tests combined special relativity and general relativity; the westward gain does not contradict the maximum-proper time result for fixed endpoints in Minkowski spacetime.^[ref]

A complementary microscopic test is Measurements of relativistic time dilatation for positive and negative muons in a circular orbit by J. Bailey and others. The authors measured muon decay lifetimes in a storage ring at Lorentz factor $\gamma =29.33$: $64.419\pm 0.058\mu \mathrm{s}$ for positive muons and $64.368\pm 0.029\mu \mathrm{s}$ for negative muons. The reported positive-muon lifetime agrees with the independently measured lifetime at rest and special relativity to a fractional error of $2\times 10^{-3}$ at 95% confidence. This is a decay-lifetime readout under continuous centripetal acceleration, rather than a reunion of portable clocks. It supports the clock hypothesis for this physical process and regime; the inspected abstract does not establish universal immunity of every clock mechanism to acceleration. ^[ref]

An instantaneous reversal is an idealization. A real traveller changes velocity over a finite time, follows a smooth world line, and has finite proper acceleration. Special relativity still calculates the elapsed proper time using the home inertial frame and the same integral; general relativity is not needed merely because the traveller accelerates in otherwise flat spacetime. The clock hypothesis identifies an ideal clock's reading with this geometric proper time.

One explicit smooth trip between the same $O$ and $R$ starts and ends at rest in the home inertial frame. ChooseIts velocity reverses continuously at $T/2$, and its proper acceleration is bounded because $v_{\max }<c$ and $dv/dt$ is finite. With $v_{\max }=0.6c$ and $T=10\mathrm{yr}$, numerical integration givesThis comparison fixes the reunion spacetime events and maximum speed, not the turnaround distance: the smooth trip reaches $v_{\max }T/\pi \simeq 1.910$ light-years, whereas the ideal trip reaches $3$ light-years. The smooth traveller spends less time at high speed and therefore accumulates more proper time than the ideal traveller, while still accumulating less than the home clock.

For a sufficiently short smooth reversal replacing the corner, the proper time approaches the piecewise inertial result. A reversal interval of home duration $\delta t$ contributes between zero and $\delta t$ to the clock reading; shrinking that interval cannot create a finite extra loss concentrated at the corner. The finite difference survives in the long coasting legs. Keeping the same reversal manoeuvre while lengthening those legs changes the age difference. Conversely, two travellers following mirrored paths with the same speed history accumulate equal proper times, even though both accelerate. Thus acceleration distinguishes paths and enables reunion here, but an amount of acceleration alone does not determine the age difference.

The changing simultaneity assignment also becomes continuous. At a traveller spacetime event $(t,x(t))$ with instantaneous velocity $v(t)$, the momentarily comoving inertial frame assigns home time $t_H=t-v(t)x(t)/c^2$. Differentiating givesDuring the reversal at positive $x$, the last term advances the assigned home time rapidly. It describes the traveller's changing relativity of simultaneity, not a locally measured alteration of the home clock's ticking.

Two physics subjects chosen from symmetry and relativity, general relativity and classical mechanics; philosophy of quantum mechanics and further options.