Einstein Synchronization of Clocks
Two clocks sit a kilometre apart, both perfect. Do they read the same time? The question sounds trivial and is not, because there is no way to look at both at once: every comparison involves sending something, and everything you can send takes time to arrive. Newton did not have this problem — absolute time supplied a universal "now", and Absolute Space and Absolute Time shows what he built on it. Once you insist instead that light travels at for everybody, the universal now is gone (The Relativity of Simultaneity, 1859) and "the time over there" must be manufactured. Einstein manufactured it in §1 of the 1905 paper, with a rule so simple it looks like a triviality. Fire a light pulse from clock at -time , bounce it off , catch it back at — then declare that the reflection happened at . Nothing forces the even split, since no single-clock experiment can ever see the two legs separately (a point Poincaré had made seven years earlier), so Einstein called it what it is: a definition. But a definition still has to work. The rule is transitive: set from , from , and from directly, and the answers agree — a theorem, not an assumption, and what entitles you to speak of "the time in this frame" at all. Slow clock transport agrees with it too, by a route that sends no light. And it fails, measurably, the moment the frame stops being inertial: carry the rule once around the equator and it misses closure by nanoseconds — metres of GPS range error, corrected for in every receiver on the planet.
- Distant simultaneity is not discovered, it is defined. Einstein's rule: bounce light off the far clock and stamp the reflection at the midpoint of the round trip, — timed on one clock, so no prior synchronization is smuggled in.
- Transitivity is a theorem. Run a pulse round a closed circuit : 's own clock says it took (path length), and the chain of Einstein stamps sums to exactly the same number. The clocks close — which is what licenses the phrase "the time in this frame".
- Slow clock transport agrees. Carry a clock from to at speed and it lags the light-synchronized value by , which vanishes as . A kilometre at walking pace costs . Two different procedures, one answer.
- And it fails on a rotating platform. Transitivity was a theorem in an inertial frame. Carry the rule around a closed loop on the spinning Earth and it does not close: the mismatch is of range around the equator.
- Key idea: Einstein synchronization is a convention that behaves like a fact — consistent, transitive, and independently reproduced by slow clock transport — for exactly as long as the frame is inertial. The rotating Earth is the boundary, and the 207 ns by which the equator fails to close is that boundary made visible.
"The same time over there" is not measured; it is stipulated, because only the round trip is observable on a single clock. Einstein's stipulation — split the round trip evenly — is transitive within one inertial frame, and slow clock transport independently reproduces it. Neither guarantee survives rotation: on the spinning Earth the rule fails to close a loop by .
Where this lives today
The rule is not a museum piece; it runs in every timing system spanning more than a few metres. National metrology laboratories compare their caesium and optical clocks by two-way satellite time transfer — Einstein's rule with a geostationary mirror, good to tens of picoseconds across an ocean. Where a one-way link is unavoidable, as in every GPS pseudo-range, the Sagnac term of equation (3) is applied explicitly. The failure mode is the instructive part. GPS does not try to be clever about synchronization on the rotating Earth; it refuses to work there. Every clock in the system, on the ground and in orbit, is referred to a coordinate time defined in a non-rotating Earth-centred frame, and every measurement is transformed into that frame before use — the convention preserved by moving to a frame in which it is consistent.
The physical picture
You want to set a clock on a mountaintop by a clock in the valley. You cannot see both at once, and whatever you send arrives late. So you send the fastest thing there is — a light pulse, up and back. Your own clock, one clock, no controversy, says the excursion took . Now the only question that matters: when, during that interval, did the pulse touch the mountaintop? Nature will not tell you. Any experiment that could catch the pulse arriving up there needs a clock up there, already set — which is the thing you are trying to do. The two legs can never be timed separately; all you ever get is their sum. So you decide. Einstein's decision was half and half. It has no more empirical warrant than any other split — a point The Conventionality of Simultaneity (1861) takes apart — and yet it is not arbitrary the way a coin flip is. It is the only split that makes light isotropic; it composes consistently around closed loops; and a clock walked slowly up the mountain agrees with it. Three good reasons to like a convention — and not one of them makes it a fact.
The two pictures are the same rule: in one you stamp a time onto the far event, in the other you start the far clock. Either way the content is identical — a one-way trip from to is declared to cost of coordinate time — and the whole article is about what happens when you demand that of every pair of clocks at once.
The left panel is a theorem, the right its boundary — and they are the same computation run twice. Both ask: does the closed-path light time equal the sum of the one-way stamps? In an inertial frame it does, identically. On a spinning platform an eastward pulse must chase a receding finish line, so the real loop time is longer than the stamps admit, and the shortfall is nanoseconds.
The core equations
The rule is a stipulation, so it needs no derivation — but it does need an input, and the input is the one thing a single clock can honestly measure. Clock emits at , the pulse bounces off and returns at 's reading . Only is read, so no synchronization is presupposed and is a genuine measurement. The stipulation cuts that interval in half.
where: , — 's readings at emission and return; — the reading assigned to at the reflection; — the rest-frame distance to ; — the two-way speed of light (The Constancy of the Speed of Light). Physical reading: the second equation is data; the first is a decision. Combine them and is stamped at . That combination is worth isolating, because every later argument uses it and nothing else. Write for the coordinate time the rule assigns to a one-way trip from to .
where: — the coordinate time the rule assigns to a one-way trip ; — the ruler distance. Physical reading: Einstein synchronization is the demand that every one-way trip cost . Whether that demand can be met for all pairs at once is a genuine question with a genuine answer — and the answer differs between an inertial frame and a merry-go-round. Now the boundary. On a platform rotating at the clocks are not inertial: a point at radius sweeps past the underlying inertial frame at . Chain the rule round a closed loop and each step under-counts the true transit by ; summing, and applying Stokes' theorem, gives the non-closure.
where: — the area the loop encloses, projected perpendicular to ; — the platform's angular speed. Physical reading: the failure depends on enclosed area, not path length — an out-and-back path (zero area) closes perfectly even on the spinning Earth, while the equator does not. This is the synchronization failure; the interferometer built to see it is Sagnac Effect and Rotating-Frame Synchronization (S7). Finally, the independent check. Set not by light but by carrying a clock there, slowly. Granting the rate factor that The Light Clock and Time Dilation (S1) derives, a clock walked from to at speed takes coordinate time and accumulates only of its own.
where: — how far the transported clock lags the Einstein-synchronized value on arrival; — the transport speed. Physical reading: the deficit is proportional to , so it vanishes in the limit of infinitely slow transport. Walk, do not run, and you reproduce Einstein's convention exactly — by a route that never sends a light signal.
Where the results come from
The rule tells you how to set clock from clock . It says nothing about whether the answers agree when you set from , from , and from independently. If they disagreed, "the time in this frame" would be meaningless and Frames, Observers, and Networks of Clocks would have nothing to stand on. That they agree is a theorem — and the lines that prove it show exactly where it dies.
Step 1. Restate the rule as a claim about one-way transit: since measures on its own clock, the midpoint stamp sets 's reading to , so the rule asserts for every ordered pair. Why: consistency now means — can all these one-way assignments hold at once?
Step 2. Test the circuit with a single pulse and mirrors at and . Clock times the whole excursion by itself, no convention involved, and gets . Why: in an inertial frame the closed-path speed of light is , isotropically — the empirical content of the postulate, and what Michelson and Morley failed to disturb.
Step 3. Sum the rule's stamps around the same circuit: — identical to the measured . The pulse's return to is stamped, by the chain of synchronized clocks, at exactly the reading 's own clock shows: the offsets composed around the loop sum to zero. Why: transitivity is not an extra postulate — it is the statement that the closed-path light time equals the perimeter over , which in an inertial frame is true.
Step 4. Now spin the platform and watch Step 2 die. Take a circular loop of radius rotating at and work in the underlying inertial frame. An eastward pulse must cover the circumference plus the distance the finish line runs away: , so — strictly longer than . But the rule still stamps the loop at . Why: the platform's clocks are not inertial. Each slides sideways through the frame in which light is isotropic, so "half the round trip" is no longer where the pulse actually was.
Step 5. Compute the shortfall. — equation (3); for a general loop the same sum is by Stokes. Around the equator (, ) this is . Why: the answer depends on enclosed area, so a there-and-back path closes exactly even here. Ashby states the same result: a clock Einstein-synchronized eastward all the way round the equator ends up lagging the one it started from by . *Verified in verify_aq-sr-einstein-synchronization.py: the loop identity proved symbolically for a general triangle; the 300–400–500 m circuit gives both ways, gap ; the exact agrees with to six figures; and , .*
Go deeper · Derivation B · 2 minSlow clock transport reproduces the same synchronization
Einstein's rule uses light — a loaded choice, since light is the very thing whose one-way speed is in question, so a sceptic may fairly call the convention rigged. The alternative is brutally simple: set two clocks side by side, then carry one to . No signals, no isotropy assumption, no light. The remarkable fact, noticed by Eddington in 1924, is that this completely different procedure gives the same answer — provided you walk slowly enough, and you can say exactly how slowly.
Step 1. Grant the rate factor. A clock moving at speed ticks at times the coordinate rate — a result this article does not derive and does not own; it belongs to The Light Clock and Time Dilation (S1). Why: we are testing the transport procedure, not re-deriving dilation. Borrowing the factor by name is legitimate; borrowing the derivation would not be.
Step 2. Do the bookkeeping. The journey of length at speed takes coordinate time , during which the travelling clock accumulates of its own. On arrival it reads less than the Einstein-synchronized clock at by . Why: the transported clock moved, so it is the one that fell behind. The question is by how much — and whether the deficit can be made to vanish.
Step 3. Expand. With , , so : the leading term is linear in and goes to zero with it. Slow transport and Einstein synchronization coincide exactly as . Why: the from the longer journey and the from the rate factor fight, and the wins. Go slowly enough and the disagreement is as small as you please, at no cost but patience.
Step 4. Put numbers on the patience. Carrying a clock at — an unhurried walk, a journey of — costs . Slow to and the trip takes hours but the deficit falls to . Why: , so a hundredfold reduction in speed buys a hundredfold reduction in error at a hundredfold cost in time. No obstruction of principle — only of temper.
Step 5. Beware the arithmetic. Evaluating in double precision returns exactly zero: at , falls below the machine epsilon of , so the square root rounds to and the bracket annihilates. Why: catastrophic cancellation — a effect silently reported as nothing. Use the series , or arbitrary precision. *Verified in verify_aq-sr-einstein-synchronization.py: the series by sympy; as symbolically; the exact expression evaluated at 50-digit precision agrees with to a relative at , giving and ; and the float64 expression is confirmed to return exactly .*
Limiting cases
| Case | Result | Meaning |
|---|---|---|
| Galilean limit, | , | Instantaneous signalling makes synchronization trivial and simultaneity absolute — Newton's universal now (Absolute Space and Absolute Time). The convention problem exists because is finite. |
| Non-rotating frame, | The loop closes; transitivity is restored. The theorem holds in exactly the frames it claims to. | |
| Zero enclosed area, | An out-and-back path closes exactly, even on the spinning Earth: it is area, not distance, that breaks the rule. | |
| Slow transport, | A completely independent procedure reproduces . Convention or not, it is a well-supported one. | |
| Non-standard split, | one-way speeds change; two-way stays | No experiment can tell the difference — the subject of The Conventionality of Simultaneity (1861). |
Worked examples
1 · Why GPS cannot Einstein-synchronize around the Earth
Chain Einstein's rule eastward around the equator, clock to neighbouring clock, all the way round. By how much does the last clock fail to agree with the first — and what does that cost a navigation system?
Step 1. Get the geometry. , so the enclosed area is . The ground itself is moving: , a of .
Step 2. Apply equation (3): . (With the precise WGS-84 constants this is , the figure Ashby quotes: a clock synchronized eastward all the way round the equator ends up lagging the one it started from by that amount.)
Step 3. Convert to what a navigator cares about. A timing error becomes a range error . That is not a subtlety; that is the difference between the right street and the wrong one.
Step 4. See what the fix must be. No clever synchronization repairs this: the failure is a theorem about rotating frames. So GPS abandons the attempt, declares one non-rotating Earth-centred coordinate time to be the truth, and applies an explicit Sagnac correction to every one-way transfer. The convention is kept; the rotating frame is given up. (The timing budget is GPS and Relativistic Timing Corrections (S7).)
2 · Walking a clock across the lab
Instead of light, carry a clock. How slowly must you walk before the transported clock agrees with the Einstein-synchronized one — and is the residual anywhere near measurable?
Step 1. Take and a walking pace ; the journey lasts . Equation (4) gives — the transported clock arrives femtoseconds behind its light-synchronized twin.
Step 2. Go slower. At the walk becomes a -hour crawl and the deficit drops proportionally to . In the limit the two procedures agree exactly — Eddington's point.
Step 3. Ask whether is real. A transportable optical clock good to a fractional frequency of accumulates about of its own error over the journey. The transport deficit is several times that — no longer a theorist's fiction, but a quantity at the edge of measurement.
Step 4. Do not compute it naively. In double precision at , returns exactly : vanishes against inside the root. Use . A real effect, silently reported as nothing, by code that looks perfectly correct.
Physics of the portrait
The portrait here is a procedure. Einstein wrote it down in §1 of the 1905 paper, before anything else — but its intellectual owner is arguably Poincaré, and its modern home is not a textbook but a satellite constellation.
Origins · 1 minClock Synchronization and how this was discovered
The idea is a rule, and it has three fathers and one enemy. Henri Poincaré (1854–1912) stated the problem and half the answer in La Mesure du Temps (1898): we have no direct intuition of distant simultaneity, distant clocks can only be set by signals, and doing so requires stipulating that light takes equal time each way. He called it a convention and meant it. Albert Einstein (1879–1955) opened "Zur Elektrodynamik bewegter Körper" (1905) with the same stipulation, written as an equation, and then treated it as constitutive: there is no truer time underneath for it to approximate. Arthur Eddington (1882–1944), in the 1924 second edition of The Mathematical Theory of Relativity, showed that a clock carried slowly between the points reproduces the same setting — an independent witness using no light at all. The enemy is rotation: Sagnac's rotating interferometer (1913) showed that counter-propagating beams do not agree on a spinning platform, and the same fact makes Einstein's rule fail to close a loop on Earth by around the equator. The convention Poincaré called free and Einstein made constitutive has a hard boundary — and every GPS receiver carries the correction in firmware.
Going further
Texts. Einstein, Annalen der Physik 17 (1905), §1 · Taylor and Wheeler, Spacetime Physics, 2nd ed., Ch. 1 · Rindler, Introduction to Special Relativity, 2nd ed., §2 · Eddington, The Mathematical Theory of Relativity, 2nd ed. (1924) · Ashby, "Relativity in the Global Positioning System", Living Reviews in Relativity 6 (2003).
Provenance. Anchors, all recomputed in verify_aq-sr-einstein-synchronization.py: , , , giving , , , equatorial ground speed ; the 300–400–500 m circuit closing at with gap exactly ; and slow transport at giving at and at . Scope note: the rate factor is granted by forward reference to The Light Clock and Time Dilation (S1), not derived here; the interferometric physics belongs to Sagnac Effect and Rotating-Frame Synchronization (S7) and the timing budget to GPS and Relativistic Timing Corrections (S7). What this article owns is the protocol, the transitivity theorem, the slow-transport equivalence, and the closure failure.
Builds on. Inertial Frames of Reference · The Constancy of the Speed of Light · The Relativity of Simultaneity · Absolute Space and Absolute Time. Leads to. The Conventionality of Simultaneity · Frames, Observers, and Networks of Clocks.
If it is only a convention, why does it matter which one I pick?
It does not matter physically — that is the point, and The Conventionality of Simultaneity (1861) makes it precisely: every measurable outcome is identical under any split of the round trip. What the choice buys is convenience. is the only split that makes the one-way speed of light the same in all directions, and so the only one in which the laws take their familiar isotropic form. Choose otherwise and nothing breaks — but your equations sprout cross-terms.
Isn't slow clock transport a way to sneak around the convention and measure the one-way speed?
It is the strongest argument for , and not a proof. The transported clock does reproduce Einstein's setting as , by a route that sends no light — genuinely striking. But the sceptic's reply is sharp: the rate factor was itself worked out in coordinates that already assumed standard synchrony. Adopt a different and the transport law changes to match, restoring the agreement. Well-motivated, not forced.
Why does the rotating-Earth failure depend on area rather than on how far you walk?
Because the accumulated error is , a circulation, and Stokes' theorem turns a circulation of into . Physically: going east you chase a receding target and lose time; going west you meet an approaching one and gain it. Retrace your steps and the two cancel exactly — which is why an out-and-back path closes perfectly even on the spinning Earth. Only a path that encircles the axis fails to cancel.
Does the 207 ns mean the clocks on the equator are actually wrong?
No — it means there is no consistent "equatorial Einstein time" to be right or wrong about. Each pair of neighbouring clocks is synchronized impeccably; it is the chain that fails to close, which is a statement about the rotating frame, not about any clock in it. The practical response is GPS's: stop trying to define a global time by chaining a local rule around a rotating body, adopt a coordinate time in a non-rotating frame, and correct each one-way transfer explicitly. The clocks are fine. The frame is not inertial.
My code says the slow-transport deficit is exactly zero. Is the effect real?
Your code has a bug, and it is the classic one. At , is smaller than the double-precision epsilon of , so rounds to exactly , the bracket becomes exactly , and the expression vanishes. Catastrophic cancellation, not physics. Use the series , or arbitrary precision, and the reappears. This article's verifier computes it both ways and asserts the naive one is broken.
Two frames each synchronize perfectly. Why do they still disagree with each other?
Because each uses its own light signals and its own rulers, and both are entitled to. Every clock is consistent with every other clock in the same frame — this article's transitivity theorem — and no further fact makes one frame's slicing the correct one. The disagreement between frames is the relativity of simultaneity, established in The Relativity of Simultaneity (1859) and taken up in coordinate form by Einstein Clock Synchronization (S1).