Twin paradox

The twin paradox compares proper time along the different world lines of a travelling observer and a stay-at-home observer who reunite. Reciprocal inertial time dilation produces an apparent contradiction only if the traveller's change of inertial frame is ignored.

The decisive experiment is local: put two clocks together at departure, separate them, then compare their readings together at reunion. Everyone agrees on those two spacetime events and on the final difference. The twin paradox asks why two clocks can accumulate different proper times between the same spacetime events, despite reciprocal time dilation during uniform motion. Its answer is the geometry of their complete world lines, together with the relativity of simultaneity when comparing distant clocks.

Consider a change of distant-time convention $s=t+\kappa x/c$, where $\kappa$ is constant and $|\kappa |<1$. This changes time labels and simultaneity slices while leaving the world lines and the metric tensor as geometric objects unchanged. In one spatial dimension,Substitute $dt=ds-\kappa dx/c$ into the Minkowski interval to obtain the formula. For a timelike curve, the proper time calculated from this transformed metric tensor equals the old value. At shared departure and reunion events with $x=0$, the labels also obey $s=t$. Thus a distant synchronization convention cannot alter the twin paradox's reunited clock readings. It would be an error to change time labels while retaining the old diagonal metric components.

Work in Minkowski spacetime, neglect gravity, and choose the stay-at-home clock's inertial frame. Let departure be $O=(t,x)=(0,0)$ and reunion be $R=(T,0)$. The home clock follows $x_H(t)=0$. A traveller moves outward with velocity $+v$ and returns with velocity $-v$, where $0<v<c$ and $c$ is the speed of light. The ideal world line has a sharp turnaround at $P=(T/2,vT/2)$:Each straight leg lies in an inertial frame, but no single traveller inertial frame covers both legs.

For any differentiable timelike curve in this home inertial frame, its clock accumulates proper time through the integralApply it separately to the traveller's two legs. With the Lorentz factor $\gamma =(1-v^2/c^2{)}^{-1/2}$,For $v=0.6c$ and $T=10\mathrm{yr}$, the Lorentz factor is $\gamma =1.25$. The turnaround is $3$ light-years away at home time $5\mathrm{yr}$. The traveller records $4\mathrm{yr}$ outward and $4\mathrm{yr}$ returning: the reunited clocks read $10\mathrm{yr}$ and $8\mathrm{yr}$. These are illustrative model values, not experimental measurements.

The same integral gives a short geometric explanation: $\sqrt{1-v(t{)}^2/c^2}\le 1$, so every such competing timelike curve between these fixed spacetime events has $\Delta \tau \le T$. Equality requires zero velocity throughout, apart from sets of zero duration. Thus the straight home world line maximizes proper time in this Minkowski spacetime problem. This statement concerns fixed endpoints and an inertial home clock; in a gravitational field, compare paths using the appropriate metric tensor.

During either inertial leg, the traveller can correctly say that the moving home clock runs slowly. The missing step is deciding which distant home-clock reading is simultaneous with turnaround. By the Lorentz transformation, the outward inertial frame's constant-time line through $P$ obeys $t-vx/c^2=\text{constant}$. At $x=0$ it meets the home world line atFor the return inertial frame, use $t+vx/c^2=\text{constant}$ through the same spacetime event $P$; its home-clock assignment isThe dashed lines in the spacetime diagram illustrate this relativity of simultaneity. For $v=0.6c$ and $T=10\mathrm{yr}$, they assign $3.2\mathrm{yr}$ and $6.8\mathrm{yr}$ to the home clock. The difference of $3.6\mathrm{yr}$ is a change in the traveller's distant-time assignment, not a sudden physical advance of the home clock.

On each leg, the traveller's $4\mathrm{yr}$ of proper time corresponds to $4/\gamma =3.2\mathrm{yr}$ of home-clock advance according to that leg's inertial frame. Including the twin paradox simultaneity change gives $3.2+3.6+3.2=10\mathrm{yr}$, exactly the reading at reunion. Actual received light signals remain continuous across a physical turnaround; their arrival times are distinct from the distant spacetime events assigned as simultaneous by Einstein synchronisation.

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.

The clock hypothesis says that an ideal clock following a timelike curve measures its proper time: its instantaneous rate depends on velocity through $d\tau =dt\sqrt{1-v^2/c^2}$, with no separate acceleration term. Acceleration still changes the world line and hence the accumulated proper time. A physical clock may suffer disturbances under forces or environmental changes, so experiments must distinguish its mechanism's errors from the geometric prediction.

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 atomic clock uses an atomic transition as a frequency reference for an oscillator; counting its calibrated cycles realizes a time interval. In a passive beam implementation, the chemical atoms are repeatedly prepared, interrogated and detected, while feedback control corrects the continuously running oscillator. The Ramsey separated oscillatory fields experiment explains how internal quantum phase becomes a measurable population signal.

The SI second fixes the unperturbed ground state hyperfine structure transition frequency of caesium-133 to exactly $9192631770\mathrm{Hz}$. This is a defining value for the ideal transition, rather than a guarantee that an operating apparatus has no shifts.^[ref]

An oven supplies a collimated caesium beam. State-selecting magnets precede and follow two coherent microwave interaction regions; a weak static magnetic field separates sublevels. The clock transition connects $F=3,m_F=0$ and $F=4,m_F=0$. Transferred atoms reach a heated ionizing collector. A detector scan identifies the resonance before locking.^[ref]

Here $F$ labels the total angular momentum and $m_F$ its projection. The selected pair is a two-level system inside a larger set of atomic energy levels; treating every oven atom as a prepared qubit would overstate the preparation. A measured detector signal may be modeled as $S(\nu )=S_{\mathrm{bg}}+A\overline{P}(2\pi ({\nu }_0-\nu ))$, with background $S_{\mathrm{bg}}$ and gain $A>0$. Background subtraction and stable transmission are necessary before interpreting the signal as a transition probability. The velocity-averaged Ramsey line provides one explicit ideal example; its chosen dimensions are not historical specifications.

A peak has zero slope at its center, so a single peak-height reading does not tell feedback control which way to tune. Instead sample the two sides at ordinary frequencies ${\nu }_c\pm d$, where $d>0$ is a chosen modulation offset, and subtract:For an even signal around the true center ${\nu }_0$, write $ϵ={\nu }_c-{\nu }_0$. A Taylor expansion gives $E({\nu }_0+ϵ)=2S^{\prime }({\nu }_0+d)ϵ+O({ϵ}^3)$. On the descending side of a positive central peak $S^{\prime }({\nu }_0+d)<0$, so the update ${\nu }_c\mapsto {\nu }_c+gE$ has restoring sign for $g>0$ and is locally stable in this ideal discrete update when $0<-2g{S}^{\prime }({\nu }_0+d)<2$. A detector dip requires the opposite sign. These conditions follow from linearizing the update, not from assuming any particular electronics.

For the ideal signal $S=A{\cos }^2[\pi (\nu -{\nu }_0)T]+S_{\mathrm{bg}}$, choose $d=1/(4T)$. Then $E\simeq -2\pi ATϵ$. With $T=5\mathrm{ms}$ and $A=1$, a center error of $+1\mathrm{Hz}$ gives exact $E=-\sin (0.01\pi )\simeq -0.03141$. The sign directs the update toward lower frequency. Constant background cancels, but background drift between samples or asymmetric neighboring spectral lines can bias the zero. An initial scan matters because other fringes can also supply zeros.

A narrow fringe makes the center easier to resolve statistically; it does not certify an unbiased frequency. For example, with ideal $\pi /2$ pulses and a second-pulse oscillation phase offset ${\phi }_c$, the finite-pulse Ramsey transition probability approachesThis sign uses exactly the Rabi detuning convention and pulse Hamiltonian operator above, with the second pulse replacing ${\sigma }_x$ by $\cos {\phi }_c{\sigma }_x+\sin {\phi }_c{\sigma }_y$. The factor $2\pi$ converts angular frequency to ordinary frequency. For the original example, ${\phi }_c=0.010$ rad and $T=5\mathrm{ms}$ give a shift of about $-0.318\mathrm{Hz}$. For finite pulses or distributed flight times, use the full signal and its atomic clock frequency lock rather than inserting an unweighted mean $T$.

NIST-7 used optical pumping and fluorescence. Controls included field-sensitive transitions, independent beam-speed measurements, microwave power stabilization, and beam reversal for cavity quantum phase errors.^[ref]

The connection to special relativity is quantitative. A freely moving emitter's proper time advances more slowly than laboratory time by $\sqrt{1-v^2/c^2}$. With first-order propagation effects removed in the ideal comparison, its internal laboratory frequency is thereforeCorrecting an ensemble signal requires the effective velocity weights of preparation, interrogation and detection, not simply the oven's mean speed. Additional shifts from Zeeman splitting, unwanted light, collisions and cavity fields likewise require separate evaluation; feedback control locks to the observed line, including any uncorrected bias. Comparing clocks at different gravitational potentials additionally requires gravitational time dilation. The moving-clock experiments in twin paradox clock experiments compare calibrated clock readings along different world lines; the beam atoms' internal motion is part of the clock mechanism's own correction.