Relativity of Simultaneity
Three of the most famous puzzles in relativity look like three different problems. A pole is sealed inside a barn too short for it. A traveller comes home younger than her twin, and cannot account for six of her sister's years. A thread strung between two identical rockets snaps for no reason anyone can point at. They are the same problem. All three are what happens when you ask a question whose answer turns on the word now — and forget that now is not a feature of the world. It is a slice through the world, and every observer cuts a different one. The offset formula itself was derived in `aq-sr-relativity-of-simultaneity-s1` and is not re-derived here. What is done here is to give it its geometric name — a frame's "now" is the spacelike hyperplane Minkowski-orthogonal to its four-velocity, and boosting tilts it — and then to use it as a key. It opens all three doors. It also settles the single most persistent numerical error in this chapter: why two of the three offsets carry a factor of and one does not. The rule is one sentence long, and it is exact.
- Signature : , timelike , spacelike . Four-velocity , with .
- The offset is recalled from `aq-sr-relativity-of-simultaneity-s1`, not re-derived.
- Owned result: . A frame's surfaces of simultaneity are the level sets of — the hyperplanes Minkowski-orthogonal to its four-velocity. The orthogonal complement of a timelike vector is spacelike, so a "now" is a spacelike hypersurface. Boosting rotates ; the hyperplane tilts with it.
- Owned result — the rule, which fixes a live corpus-wide defect: appears when the answer is an interval of PRIMED coordinate time. It does NOT appear when the answer is what an UNPRIMED clock READS — because an unprimed clock's reading is unprimed coordinate time. The two differ by exactly .
- One key, three doors: `aq-sr-pole-and-barn-paradox` ( ns, ), `aq-sr-twin-paradox-asymmetry` ( yr, no ), `aq-sr-bell-spaceship-paradox` ( ns, ).
- Key idea: simultaneity is relative; causal order is not. A boost can reorder two events precisely when no signal could have joined them — so relativity buys you the freedom to re-slice, and charges you nothing.
Every inertial observer carries a four-velocity, and every four-velocity comes with a hyperplane at right angles to it — right angles in the Minkowski sense, . That hyperplane is her "now": a slice of spacetime on which every displacement is spacelike. Boost her and the four-velocity swings; the hyperplane swings with it, tilting toward the light cone. Nothing about spacetime changed. Only the slice did. Every "paradox" in this chapter is a question quietly asked about a slice and mistakenly answered as though it were about the world.
Where this lives today
The hyperplane picture is not decoration; it is how modern physics formulates dynamics. "Give me the state of the field everywhere at one time and I will evolve it forward" — and "at one time" means on a spacelike hypersurface, nothing else. A relativistic field theory's initial-value problem is posed on a Cauchy surface, a spacelike hypersurface each worldline crosses exactly once, and the demand that it be spacelike is exactly Step 4 above: no two points of the initial data may influence each other, or the data would not be free. In canonical general relativity the ADM formalism is the machinery of such slicings, and the freedom to pick one is the relativity of simultaneity promoted to a gauge symmetry. Quantum field theory inherits the same discipline as microcausality: field operators at spacelike separation must commute. Otherwise an observer could exploit a re-slicing to push influence across a spacelike interval — and, because another observer's slice reverses the order, into their own past. The commutator condition is exactly what makes the frame-dependence of simultaneity harmless. At the practical end, GPS is a simultaneity machine. A receiver solves for its position and its own clock offset, from signals that left twenty-odd satellites at twenty-odd different moments. There is no shared "now" — only emission events, light cones, and one intersection. GPS does not correct for the relativity of simultaneity; it is built out of it.
Origins · 2 minSpacelike hypersurface and how this was discovered
The concept has no single discoverer, and that is fitting: it was assembled by three people asking three different questions, none of whom used the word. Henri Poincaré asked first, and philosophically. In "La mesure du temps" (Revue de métaphysique et de morale 6, 1–13, 1898) he observed that "we have no direct intuition of simultaneity", and that two distant clocks can only be synchronised by a rule — exchange light signals and assume the two directions take equal time. Simultaneity, he concluded, is not given by nature but defined by a convention. In his 1900 Lorentz jubilee lecture he applied that synchronisation to Lorentz's "local time" and showed it was what a moving observer would actually measure. Poincaré saw that "now" was a choice. He did not take the next step. Albert Einstein took it in 1905, by refusing to treat the convention as merely a convention: he made light-signal synchronisation the definition of simultaneity, derived the Lorentz transformation from it, and thereby found that different inertial frames make different choices — and that both are right. His 1917 popular exposition put the train and the embankment into every classroom on Earth. Hermann Minkowski gave it the geometry, in "Raum und Zeit" (Cologne, 1908). Once spacetime has an indefinite metric, a frame's "now" is the orthogonal complement of its four-velocity — and that complement is a spacelike hypersurface, a slice on which no point can influence another. Boost, and the four-velocity swings; the slice swings with it. What Poincaré found puzzling and Einstein found necessary became, in Minkowski's hands, a triviality of linear algebra — and every later use of the idea, from Cauchy surfaces to the ADM slicing of general relativity, is that one sentence repeated.
The physical picture
The result this article stands on is owned elsewhere and quoted here verbatim. From `aq-sr-relativity-of-simultaneity-s1`, which derives it from the Lorentz transformation: if two events are simultaneous in () and separated by along the boost axis, then in a frame moving at ,
That is the whole of the machinery. What is not owned elsewhere — and what this article supplies — is the answer to two questions the formula alone does not settle.
First: what kind of object is a "now"? The formula gives a number; the geometry gives a surface. Every inertial observer carries a four-velocity , a timelike vector along her worldline. Contract it with a displacement:
So : the surfaces of constant are the level sets of — the hyperplanes Minkowski-orthogonal to her four-velocity. Her "now" is not a formula; it is a plane, fixed the moment her velocity is. Change the velocity and the plane rotates. That is the entire relativity of simultaneity, said once, geometrically.
Second: which ? This is where the corpus bleeds. Ask "what is the time separation of two events simultaneous in and apart in ?" and the answer is — carries . Ask "two clocks at rest and synchronised in , a rest distance apart: at one instant of , what do their faces READ?" and the answer is — no . Both are correct; they are different questions. The rule that tells them apart is one sentence, which we prove below: appears when the answer is an interval of coordinate time; it does not appear when the answer is the reading of an -clock — because an -clock's reading is coordinate time. Moving clocks tick at of the coordinate rate, and that factor is exactly what cancels the . Get this wrong and you print for the twin's turnaround jump — as two of the base corpus's own articles do — and your books fail to balance by four years.
The core equations
Recalled, not derived — the offset, from `aq-sr-relativity-of-simultaneity-s1`:
where: is measured in , the frame in which the two events are simultaneous. Physical reading: the leading event in (larger ) happens earlier in . The effect is proportional to the separation, not to the elapsed time — which is why it is invisible for co-located events and enormous for distant ones. Now the article's owned geometry. With four-velocity and displacement :
where: , so is timelike (in our signature, timelike is positive). Physical reading: an observer's set of simultaneous events is the hyperplane Minkowski-orthogonal to her four-velocity. Because the orthogonal complement of a timelike vector contains only spacelike vectors, that hyperplane is a spacelike hypersurface — hence the name. Boost her, and swings through a hyperbolic rotation; the hyperplane swings with it. In a diagram both the -axis and the -axis tilt toward the light line by the same angle — they scissor, and the light cone, which is its own orthogonal complement, does not move at all. And the owned disambiguation — the two offsets, and the that separates them:
where: is the rest separation of two clocks at rest in and synchronised there. Physical reading: "leading clocks lag" by , with NO . The ratio of the two quantities in (3) is exactly , and the reason is that the -clocks, viewed from , tick at of the coordinate rate — so an coordinate gap of registers on their faces as a reading gap of . Do not add a to the boxed formula. Do not remove one from the unboxed formula. Finally, the boundary that keeps relativity honest:
where: the reversing boost is , and precisely when the interval is spacelike. Physical reading: simultaneity is relative; causal order is not. You may re-slice freely, and you can never re-slice a cause after its effect, because doing so would require . Relativity gives away the slice and keeps the causality.
The geometry of a now
The relativity of simultaneity is usually taught as an algebraic surprise — a term that appears in the Lorentz transformation and refuses to vanish. True, but the wrong altitude. At the right altitude it is a statement about orthogonality, and seen that way the tilting of the "now" is no more mysterious than the fact that turning your head turns your field of view. This derivation supplies that altitude, and it is what earns this article its portrait term.
Step 1. Write the observer's four-velocity: , the tangent to her worldline, normalised by . Why: in a timelike vector has positive square. The four-velocity is the one geometric object an inertial observer carries with her, and everything about "her frame" must be expressible in terms of it.
Step 2. Contract with a displacement , lowering with :
Why: the right-hand side is precisely the Lorentz transformation of the time coordinate. We have not derived anything new — we have recognised that the transformed time is a <strong>scalar product</strong>, and scalar products are geometry.
Step 3. Read off the surface. Two events are simultaneous in iff iff — iff their separation is Minkowski-orthogonal to . The set of such is a three-dimensional hyperplane through the observer. Why: her "now" is not a formula and not a convention in disguise; it is the orthogonal complement of her four-velocity, determined by her velocity and nothing else.
Step 4. Prove the hyperplane is spacelike, which is what makes it a legitimate "now". Work in 's own rest frame, where . Then forces , so and for . Every non-zero vector in the hyperplane is spacelike. Since is a scalar, this holds in every frame. Why: this is the theorem that licenses the whole idea of a "now". A slice on which every separation is spacelike is a slice on which no event can influence another — a genuine instant, containing no causation. <strong>That is what a spacelike hypersurface is, and it is why the concept has a name.</strong>
Step 5. Watch it tilt. In a diagram , so the -axis makes an angle with the -axis; and gives , so the -axis makes the same angle with the -axis, on the other side. At : — both axes swing toward the light line, closing on it symmetrically. Why: the famous <strong>scissoring</strong> of the Minkowski diagram, now a corollary rather than a picture. The light cone is fixed because a null vector is its own orthogonal complement — a boost slides null rays along themselves and never tilts them.
Step 6. Collect the payoff. A "now" is a spacelike hyperplane; there is one for every four-velocity; boost, and the hyperplane follows. No slice is privileged, and no slice is a fact about the world. Every paradox in this chapter presupposed a privileged slice. Why: this is the master key, and the next card cuts it. *Verified in verify_aq-sr-relativity-of-simultaneity-s3.py: symbolically; against the explicit Lorentz transform; the orthogonal complement of shown to contain only spacelike vectors; and .*
Go deeper · Derivation B · 3 minThe gamma rule: two offsets, one factor, and a four-year error
Now the disambiguation — the most useful thing in this article, and the one that repairs a live defect in the corpus. Two quantities share the same units, the same shape, and the same physical origin, and one carries a while the other does not. Confusing them is how the twin paradox's turnaround jump acquires a spurious Lorentz factor in print, and how the books stop balancing. We derive both, prove their ratio is exactly , and state the rule that separates them.
Step 1. Set up two clocks. Clocks and are at rest in , at and , synchronised in — so at any -time , both faces read . An observer moves at . In her frame the clocks sweep past her at , so is the leading clock (it is the one further along the direction the pair is travelling). Why: "leading" is defined by the clocks' motion in , and getting this backwards flips the sign of the whole result.
Step 2. Ask the first question — the coordinate one. Two events simultaneous in () separated by have, by (1), an coordinate-time separation
Why: this is a difference of values. It <strong>carries </strong>, and it must, because it is an interval of the primed frame's coordinate time.
Step 3. Ask the second question — the reading one. What do the two clock faces show at a single instant of ? Invert the transform on each worldline. Clock (): . Clock (): . So at a single -instant,
Why: <strong>no .</strong> And this is not an approximation or a special case — it is exact, for every .
Step 4. Prove the ratio is exactly , and say why. Divide: . The reason is time dilation, applied once. The two clocks are moving in , so their faces advance at of the coordinate rate. A coordinate gap of therefore registers on their faces as a reading gap of . Why: <strong>the of the transformation and the of time dilation cancel.</strong> That cancellation is the entire content of the discrepancy, and once you have seen it you cannot un-see it.
Step 5. State the rule. A factor of appears when the answer is an interval of the PRIMED frame's coordinate time. It does not appear when the answer is what an UNPRIMED-frame clock READS — because an unprimed clock's reading is unprimed coordinate time. Why: one sentence, and it decides every case in this chapter without further thought. Ask yourself which frame's clock you are reading, and the is determined.
Step 6. Apply it to the twin, and price the error. At the turnaround the traveller asks: what does the <strong>Earth</strong> clock read now? That is a reading of an -clock. No . Before the turn her slice puts Earth at ; after, at ; the jump is . At , ly: yr, then yr, a jump of yr. Her two legs credit Earth with yr, and — Earth's actual elapsed time, exactly. Insert the spurious and the jump becomes yr, the audit totals yr, and years of Earth history have been invented out of nothing. Why: this is not a stylistic quibble. It is a wrong number, it is in print, and the rule above is what catches it in one line. *Verified in verify_aq-sr-relativity-of-simultaneity-s3.py: both offsets derived symbolically from the Lorentz transform; their ratio shown to be exactly for all ; the leading-clock sign; and the twin audit closing, against the -contaminated .*
Go deeper · Derivation C · 2 minOne key, three doors
The claim advertised in the overview is that the barn, the twin and the thread are one problem. This card cashes it: each paradox is equation (1) evaluated on a different pair of events, and the rule of the previous card decides, in each case, whether a Lorentz factor rides along. Nothing new is computed — that is exactly the point. Three famous puzzles, one formula, three substitutions.
Step 1. Open the barn (`aq-sr-pole-and-barn-paradox`). Events: two door-closings, simultaneous in the barn frame, separated by the barn's depth . Question asked: their separation in the pole frame's coordinate time. That is a primed interval, so rides:
Why: the pole "does not fit" only because the runner's slice is tilted. Untilt it and the paradox is gone — and so is the pole's excuse for being outside the barn.
Step 2. Open the twin (`aq-sr-twin-paradox-asymmetry`). Events: what an Earth clock reads, on the traveller's slice, immediately before and immediately after she changes frames. Question asked: a reading of an unprimed clock, so no :
Why: the traveller's "missing" six years of her sister's life are the Earth-events her slice swept past when it swung. She did not lose them; she re-sliced across them.
Step 3. Open the thread (`aq-sr-bell-spaceship-paradox`). Events: two engine ignitions, simultaneous in the launch frame, separated by the ships' coordinate spacing . Question asked: their separation in the comoving frame's coordinate time. Primed interval, so rides:
Why: in the ships' own frame the <strong>front</strong> ship lit its engine first and has been accelerating longer — so it is pulling away, the gap grows, and the thread parts. The thread breaks because two events that the launch frame calls simultaneous, the ships do not.
Step 4. Notice what the three share, and what they do not. All three are equation (1); all three depend on a separation and vanish as . Two carry and one does not, and the difference is not in the physics — it is in the question. Why: this is the unification. The paradoxes are not three phenomena; they are three ways of forgetting that a slice is not a fact.
Step 5. State the boundary, so the key is not mistaken for a skeleton key. In none of the three is any causal order reversed. The barn's door events are spacelike (); the ignition events are spacelike (); the Earth events the twin re-slices across are spacelike from her. Simultaneity is relative; causal order is not, and the criterion is (4): a boost reverses two events' order iff — iff no signal could have joined them. Why: relativity gives away exactly what it can afford. It hands you the freedom to re-slice and charges nothing, because the only orderings it lets you scramble are the ones nothing depended on. *Verified in verify_aq-sr-relativity-of-simultaneity-s3.py: all three offsets recomputed from the same Lorentz transform ( ns, yr, ns); the presence/absence of in each checked against the rule; and the spacelike character of the barn's and Bell's event pairs confirmed via , .*
Limiting cases
| Case | Result | Meaning |
|---|---|---|
| co-located events are simultaneous in every frame. Simultaneity is only relative at a distance | ||
| Newtonian absolute simultaneity. The hyperplane stops tilting | ||
| the "now" plane closes onto the light cone and stops being a slice | ||
| order absolute | timelike: is unattainable. Cause precedes effect in every frame | |
| order reversible | spacelike: some legal boost flips it, and nothing depended on the order anyway | |
| order absolute, zero margin | null: a light ray's order survives every boost, but only just |
Worked examples
1 · Einstein's train: both offsets, and the between them
Two clocks sit m apart on the platform, synchronised in the platform frame. A carriage passes at . (a) At one instant of the carriage's frame, what do the two clock faces read? (b) Two events simultaneous on the platform, at the two clocks: what is their time separation in the carriage's frame?
Step 1 — identify. . These are two different questions, and the whole point of the example is that they have different answers.
Step 2 — (a), the readings. This asks what platform clocks show. Platform clocks read platform coordinate time, so no :
The leading clock — the one at the front, in the direction the platform is moving as the carriage sees it — lags by ns.
Step 3 — (b), the coordinate separation. This asks for an interval of the carriage's coordinate time, so rides:
Step 4 — the boundary number. , exactly. Same platform, same clocks, same speed — two answers differing by precisely one Lorentz factor, because they are answers to two different questions. Reach for the wrong one and you have committed the corpus's most common error.
Step 5 — sanity. At walking pace ( m/s) the same m gives s — five femtoseconds. That is why nobody noticed for three hundred years; and it is why the effect is nonetheless enormous when is a light-year.
2 · Which orders can a boost reverse?
Event at ; event at . Can any inertial observer see happen first? What if is instead at ?
Step 1 — identify. Compute and compare with . That single comparison decides everything.
Step 2 — the first pair. m, and m. Since , the interval is spacelike: .
Step 3 — find the reversing boost. . Anyone moving faster than that along sees before — legal, unremarkable, and nothing depends on it: influence from to would have needed times the speed of light.
Step 4 — the second pair. Now m m: timelike, . The reversing boost would need — unattainable.
Step 5 — the boundary number. precedes in every inertial frame, and a light signal has m of slack to spare. Simultaneity is relative; causation is not. The dividing line is exactly the light cone, and (4) says only that you cannot outrun light to get behind an event.
Going further
Texts. Rindler, Introduction to Special Relativity, 2nd ed., §§2, 8 · Taylor & Wheeler, Spacetime Physics, 2nd ed., ch. 3 · Minkowski, "Raum und Zeit" (1908) · Poincaré, "La mesure du temps", Revue de métaphysique et de morale 6, 1–13 (1898) · Misner, Thorne & Wheeler, Gravitation, ch. 21 (ADM slicing).
Provenance. Signature . Every number recomputed in verify_aq-sr-relativity-of-simultaneity-s3.py. Base defect repaired: the propagating error in the twin turnaround jump ( in two separate base articles; the truth is ) is diagnosed here at its root and given a one-line audit test. The base's own "leading clocks lag" card is correct (, no ) and is preserved; what was missing — supplied here — is the rule saying why the same setup yields when a different question is asked.
Scope. ⚠ This article is a recaller, not the owner. The derivation of the offset from the Lorentz transformation is owned by `aq-sr-relativity-of-simultaneity-s1`; the qualitative statement by `aq-sr-relativity-of-simultaneity`. Owned here: the four-velocity/hyperplane formulation, the rule, and the unification of the three paradoxes — which belong to `aq-sr-pole-and-barn-paradox`, `aq-sr-twin-paradox-asymmetry` and `aq-sr-bell-spaceship-paradox`. Interval: `aq-sr-invariant-spacetime-interval`. Four-velocity: `aq-sr-four-velocity`.
Builds on. Lorentz Transformation · Constancy of the Speed of Light · Length Contraction. Leads to. The Twin Paradox · Asymmetry in the Twin Paradox · Relativistic Velocity Addition · Thomas–Wigner Rotation.
If simultaneity is a convention, is the relativity of simultaneity just bookkeeping?
No — and the distinction matters. Which four-velocity you stand on is your choice, in the same harmless sense that where you stand in a room is. Once it is fixed, the "now" is determined: the orthogonal complement, and there is exactly one. What is no convention at all is the consequence: because different observers' hyperplanes genuinely differ, a thread between two rockets genuinely snaps, a pole genuinely passes through a barn shorter than itself, and a traveller genuinely returns younger. Those are measurable, and no re-labelling removes them.
How do I decide, in a new problem, whether my answer should carry a γ?
Ask which frame's clock is giving you the number. Want an interval of the primed frame's coordinate time — the reading difference of two clocks at rest in ? Then rides. Want what an unprimed clock's face shows? No , because an unprimed face is unprimed coordinate time. Then sanity-check against a conservation identity: the twin's audit () is the model. A formula that fails to close its books is wrong, whoever printed it.
Can I always find a frame in which two given events are simultaneous?
Only if they are spacelike separated. The required boost is , which is under exactly when . For a timelike pair no such frame exists — but there is one in which they happen at the same place (the rest frame of an observer who attends both). Spacelike pairs can be made simultaneous; timelike pairs can be made co-located. The light cone is the boundary, and belongs to neither.
Does the tilting of the "now" plane mean the future already exists?
That is a metaphysical question in a physics costume, and this article does not answer it — but it does constrain it. The geometry says only that different observers slice the same four-dimensional structure differently, so an event in your "future" may lie in a passing observer's "now". Whether that makes the future real (the block-universe reading) or merely makes "now" a poor concept to do physics with is a matter on which honest philosophers disagree. What is not in dispute: no re-slicing lets you signal into your own past, because the reordering is confined to spacelike pairs. The physics is safe whichever way the metaphysics falls.
The effect is O(v/c²). Is it ever big?
Enormously, because it scales with the separation, not the speed. At walking pace across a m platform it is five femtoseconds. At across four light-years it is years per slice — and years when the traveller swings from one slice to the other. It is the one relativistic effect that is unbounded: fix any , take large enough, and the offset is as large as you please. That is why it, and not time dilation, is what the paradoxes are actually made of.
Why is the light cone unmoved by a boost, when everything else tilts?
Because a null vector is Minkowski-orthogonal to itself: . The - and -axes both rotate toward the light line by the same angle , closing on it from either side and never crossing. What a boost does to a null ray is rescale it — by , the Doppler factor — never tilt it. The light cone is the fixed structure all the tilting happens around, which is another way of saying that the constancy of is what makes the geometry hang together.