Spacetime Diagram Resolution of Kinematic Paradoxes

The diagram is the working notation of relativistic kinematics, not a teaching aid that gets discarded. Particle physicists draw light-cone coordinates $x^{\pm} = t \pm z$ — literally the $45°$ lines of the diagram promoted to axes — because in a hadron collision the longitudinal boost between the lab and the parton frame is unknown, and quantities defined on the light cone are the ones that survive it. Rapidity is used instead of velocity for the same reason: on the diagram, a boost is a hyperbolic rotation, and rapidity is the angle that adds. The causal guard rail of the second warning is what modern physics leans on hardest. "Spacelike-separated events have no invariant order" is exactly why quantum field theory imposes microcausality — operators at spacelike separation must commute — and it is why no-signalling holds in entangled systems: the correlations are real, but any attempt to use them to send a signal would require a frame-independent ordering of spacelike events, and the diagram shows there is none to be had. And in the same breath the diagram supplies the limit. Penrose diagrams, in which the whole of an infinite spacetime is conformally squeezed onto a finite page with light still at $45°$, are the direct descendants of Minkowski's construction, and they carry its warning too: the causal structure is exact, and every distance on the page is a lie.

Put $ct$ up the page and $x$ across. A light ray through the origin runs at $45°$, and because $c$ is the same for everybody, that $45°$ line is the one feature of the drawing every observer agrees on. It is the pivot on which everything else turns. Now add a second frame $S'$ moving at $\beta$. Its time axis $ct'$ is just the worldline of its own origin, so it tilts toward the light line by $\theta = \arctan\beta$. Its space axis $x'$ is the set of events $S'$ calls simultaneous with the origin — and, from $t' = \gamma(t - \beta x/c) = 0$, that is the line $ct = \beta x$, tilted up from horizontal by the same $\theta$. The two axes close on the light line like a pair of scissors.

That symmetric closing is the whole subject. The tilt of $x'$ is the relativity of simultaneity, made visible: events on a horizontal line are simultaneous for $S$, events on the tilted line are simultaneous for $S'$, and those are different sets of events. Every paradox below is a consequence of that one picture, and nothing else.

The two coloured chords on that figure are the whole answer. They are not two measurements of one thing that came out different; they are measurements of two different things that happen to share a name. Once the slices are drawn, there is nothing left to explain.

Read the second figure slowly. The two door events $E_1$ and $E_2$ are the same two events in both frames — a diagram cannot lose an event. What changes is which line you call "now". On the barn's horizontal slice they are simultaneous, and the pole is enclosed. On the pole's tilted slice $E_2$ comes first by $20.0$ ns, so there is never a moment, for the pole, at which it is shut in. Both descriptions are complete, and they describe the same events.

The boost, written so the diagram can be read off it directly:

where: $\beta = v/c$. Physical reading: setting $x' = 0$ gives $ct = x/\beta$ — the $ct'$ axis, tilted in by $\theta = \arctan\beta$. Setting $t' = 0$ gives $ct = \beta x$ — the $x'$ axis, the moving frame's line of simultaneity, tilted up by the same $\theta$. Both facts come from the same two equations, which is why the scissors close symmetrically. The one equation the whole article is about — the simultaneity offset:

where: $\Delta x$ — their separation in $S$. Physical reading: two events that are simultaneous in $S$ and spatially separated are NOT simultaneous in $S'$, and the offset is proportional to how far apart they are. Everything below is a corollary. The minus sign says the leading event (larger $x$) happens earlier in $S'$ — for the barn, the far door shuts first. The measured length of a moving rod, which is by definition a $\Delta t = 0$ chord:

where: $L_0$ — proper length. Physical reading: the formula is symmetric, and so is the physics. It is not a claim that one rod is "really" shorter; it is a claim about what a particular slice cuts out of a worldsheet. And the calibration factor, which is what stops you reading (1) off the page with a ruler:

where: $k$ — the Euclidean page-length of a unit tick on either primed axis. Physical reading: the primed axes are stretched relative to the unprimed ones on the paper, and by a factor that is not $\gamma$ and not $1/\gamma$. This is the single most-mistyped number in Minkowski-diagram pedagogy. Calibrate with the invariant hyperbolae of equation (5) instead.

1 · Does the pole fit? Compute both frames and reconcile them

A pole of proper length $10$ m is carried at $\beta = 0.6$ through a barn of proper length $8$ m with doors at both ends. In the barn frame, can both doors be shut simultaneously with the pole inside? What does the pole's crew say?

Step 1 — identify. This is a fit condition ($L_0/\gamma \le L_b$) plus a simultaneity offset (equation 2). Both frames must be computed; neither alone is the answer.

Step 2 — the barn frame. $\gamma = 1/\sqrt{1-0.36} = 1/0.8 = \mathbf{1.25}$. The pole's measured length is $10/1.25 = \mathbf{8.0\ m}$, exactly $L_b$. Yes — the doors can shut simultaneously, with the pole enclosed. The fit condition $L_0/\gamma \le L_b$ requires $\gamma \ge 1.25$, i.e. $\beta \ge 0.6$: this is the marginal speed.

Step 3 — the pole frame. The barn is contracted: $8/1.25 = \mathbf{6.4\ m}$. The pole is its full $10$ m. It does not fit, and it overhangs by $10 - 6.4 = 3.6\ \mathrm{m}$.

Step 4 — reconcile. The door events, simultaneous in the barn frame and $8$ m apart, are offset in the pole frame by $\Delta t' = \gamma\beta L_b/c = \dfrac{1.25 \times 0.6 \times 8}{2.99792458\times10^{8}} = \mathbf{20.0\ ns}$, with the far door first. So on the pole's slice the doors are never both shut, and the pole is never asked to be inside a $6.4$ m barn.

Step 5 — the boundary number. In those $20.0$ ns the barn sweeps past the pole a distance $0.6c \times 20.0\ \mathrm{ns} = \mathbf{3.6\ m}$ — exactly the overhang. The two frames are not merely consistent; they are quantitatively the same statement, and the number that proves it is $3.6$ m. (The puzzle as a paradox is `aq-sr-pole-and-barn-paradox`; what is owned here is the method that dissolves it.)

2 · Read the calibration factor, and see what a ruler would have told you

On a diagram drawn at $\beta = 0.6$, a student measures the primed unit tick with a ruler and reads $1.46$ page-units. What went wrong, and what is the correct proper time?

Step 1 — identify. Nothing went wrong with the drawing. The event $(ct', x') = (1, 0)$ genuinely sits at page coordinates $(\gamma, \gamma\beta) = (1.25,\ 0.75)$.

Step 2 — apply. Its Euclidean page-length is $\sqrt{1.25^2 + 0.75^2} = \sqrt{1.5625 + 0.5625} = \sqrt{2.125} = \mathbf{1.4577}$ — which is what the ruler faithfully reported.

Step 3 — the correct reading. The proper time is the invariant interval, not the page length: $c^2t^2 - x^2 = 1.25^2 - 0.75^2 = 1.5625 - 0.5625 = \mathbf{1.000}$. Exactly one unit, as it must be.

Step 4 — the boundary number. $k = 1.4577$, and it is neither $\gamma = 1.25$ nor $1/\gamma = 0.80$. That is the point: the error cannot be undone by a factor you already have in your head. Use the hyperbola $c^2t^2 - x^2 = 1$ — it cuts every frame's time axis at one unit of proper time, which is precisely what "calibration" means here.

Texts. Taylor & Wheeler, Spacetime Physics, 2nd ed., ch. 3–5 · Rindler, Introduction to Special Relativity, 2nd ed., §§1–8 · Morin, Special Relativity: For the Enthusiastic Beginner, ch. 2 and Appendix on Minkowski diagrams · Minkowski, H., "Raum und Zeit", Phys. Z. 10, 104 (1909) · Loedel Palumbo, E., Anales Soc. Ci. Argentina 145, 3 (1948) · Brehme, R. W., "A Geometric Representation of Galilean and Lorentz Transformations", Am. J. Phys. 30, 489 (1962).

Provenance. Signature $(+,-,-,-)$; $ds^2 = c^2dt^2 - dx^2$. Every number is recomputed in verify_aq-sr-spacetime-diagram-paradox-resolution.py, which also greps this article for each printed value: $\gamma(0.6) = 1.25$, $1/\gamma = 0.80$, $\theta = \arctan 0.6 = 30.96°$; $k = \sqrt{(1+\beta^2)/(1-\beta^2)} = 1.4577$ (derived from scratch, and shown to be neither $\gamma$ nor $1/\gamma$); the fit condition $L_0/\gamma \le L_b \Rightarrow \beta \ge 0.6$ for a 10 m pole and an 8 m barn; the door offset $\Delta t' = \gamma\beta L_b/c = 20.0$ ns with the far door first; the contracted barn $6.4$ m and the overhang $3.6$ m; and the cross-check $\beta c\,|\Delta t'| = L_0 - L_b/\gamma = 3.6$ m, proved symbolically as well as numerically. Base note: the AllQFT base for this article writes the interval spacelike-first ($\Delta s^2 = -(c\Delta t)^2 + \Delta x^2$) and carries an unproved "simultaneity swing" card; the interval is restated here in the chapter's locked signature and the offset is derived rather than transcribed.

Scope. This article owns the method, not the puzzles. The twin paradox and its asymmetry are `aq-sr-twin-paradox` and `aq-sr-twin-paradox-asymmetry`; the pole-and-barn puzzle as a paradox is `aq-sr-pole-and-barn-paradox`; Bell's spaceships are `aq-sr-bell-spaceship-paradox`. Rapidity as the additive boost parameter is `aq-sr-rapidity-additive-velocity`. Each is named and not developed here.

Builds on. The Lorentz Transformation · Length Contraction · The Relativity of Simultaneity · Time Dilation. Leads to. The Twin Paradox · Asymmetry and Acceleration in the Twin Paradox · Rapidity · Thomas–Wigner Rotation.