The Pole-and-Barn (Ladder) Paradox

A pole ten metres long is carried at 0.9c0.9c towards a barn six metres deep. The farmer, watching from the barn, sees the pole contracted to 4.364.36 m — it fits, with 1.641.64 m to spare — and for a window of 6.086.08 nanoseconds both doors can be shut with the whole pole sealed inside. He does it. Photographs exist. The runner disagrees, and she is not confused. In her frame the pole is a full ten metres and the barn is the thing that is contracted, down to 2.622.62 m. Her pole is nearly four times longer than the building. There is no instant at which it is inside. If both doors were ever shut simultaneously around it, the pole would be sheared in half — and it plainly was not. Both accounts are correct. What the farmer calls "shutting both doors at the same time", the runner calls two events separated by 41.3241.32 nanoseconds — and in her account the far door slams and reopens before her pole's nose gets there, and the near door slams after her tail is through. Nothing is ever trapped, nothing is ever cut, and every collision that happens in one frame happens in the other. The two door-closings are separated by an invariant interval of (Δs)2=−36 m2(\Delta s)^2 = -36\ \mathrm{m}^2 — spacelike, which is precisely the licence to disagree about their order without disagreeing about anything real.

Key takeaways
  • Signature (+,−,−,−)(+,-,-,-): (Δs)2=c2Δt2−Δx2(\Delta s)^2 = c^2\Delta t^2 - \Delta x^2, timelike >0>0, spacelike <0<0.
  • Barn frame: the pole contracts to L0/γL_0/\gamma and fits iff L0/γ<DL_0/\gamma < D. Pole frame: the barn contracts to D/γD/\gamma and the pole does not fit. Both are true, and neither is the whole story.
  • The two door-closings are simultaneous in the barn frame and γvD/c2\gamma vD/c^2 apart in the pole frame. That single offset is the entire resolution, and it is the master key of `aq-sr-relativity-of-simultaneity-s3`.
  • Owned result: the door events are spacelike-separated, (Δs)2=−D2<0(\Delta s)^2 = -D^2 < 0, for every v<cv < c. Their time-order is therefore frame-dependent as a matter of invariant geometry, and no causal chain connects them — so nothing is contradicted, and nothing needs to be.
  • Threshold: the pole fits at all only above vmin⁡=c1−(D/L0)2v_{\min} = c\sqrt{1 - (D/L_0)^2}. For 1010 m in 66 m that is exactly 0.8c0.8c.
  • Key idea: "the pole is inside the barn" is not a fact about the world. It is a fact about a slice through the world — and boosting tilts the slice.
The core insight

Fitting is a statement about two ends of an object at the same time, and "at the same time" is exactly the thing relativity refuses to make absolute. Once you accept that the two frames slice spacetime differently, both narratives are forced, both are consistent, and they agree on every question that has a frame-independent answer: which events happen, which objects touch, what every clock reads when it passes what. They differ only on the order of two events that could not have influenced each other anyway.

Where this lives today

The pole-and-barn is a toy, but its resolution is a working tool. Every time an experiment asks "were these two things in the detector at the same moment?", it is asking a frame-dependent question, and the answer has to be built out of frame-independent ones. Collider event reconstruction does exactly this: it does not ask what was simultaneous, it asks which tracks share a vertex — a coincidence, an intersection of worldlines. Vertices are invariant; "at the same time" is not. That is Step 5 of the third derivation, deployed industrially. The same discipline governs anything that must decide the order of distant events. In a distributed system with no shared clock, two spacelike-separated writes have no invariant order — and the correct engineering response, arrived at independently of relativity, is the same one relativity forces: do not ask for a global order, ask only for the causal (timelike) one. The invariant interval is precisely the criterion that says which pairs of events you are allowed to demand an order for. And the trap the paradox exposes — that "length" quietly means "the distance between two ends at one time" — is a live hazard whenever a fast object is measured. The relativistic definition of length is a statement about a simultaneity slice, which is why `aq-sr-proper-length` insists on the rest frame: the proper length is the one length that is not a slicing convention. The pole never changes. Only the slices do.

Origins · 2 minWolfgang Rindler and how this was discovered
WR
Wolfgang Rindler
1924–2019 · Vienna · London · Cornell · Dallas

Wolfgang Rindler (1924–2019) was born in Vienna, escaped to England on the Kindertransport in 1938, and spent most of his career at the University of Texas at Dallas. He gave the accelerated observer's coordinates their name (`aq-sr-rindler-coordinates`), coined the term "event horizon", and wrote Introduction to Special Relativity — for two generations the book in which the paradoxes of this chapter were done properly. His contribution here is precise and worth stating precisely, because it is routinely mis-cited. Rindler's "Length Contraction Paradox", American Journal of Physics 29(6), 365–366 (1961), is not the pole-and-barn. It is the rod-and-grid: a man runs so fast that he is Lorentz-contracted to a sliver, and must cross a grid whose gaps, in the ground frame, he is now narrow enough to fall through — while in his own frame the grid's gaps are contracted and he expects to skate straight over. Rindler's resolution turns on the relativity of rigidity: the man cannot be a rigid body, and the far end of him has not yet "heard" that the near end is falling. (He published an erratum the same year, ibid. 29, 859.) The pole-and-barn is older and has no single identifiable author — it is textbook folklore, of the kind that acquires a name rather than a citation. What Rindler gave the subject was not the puzzle but the standard: state both frames' accounts in full, compute every event, and check the invariants. That standard is what this article follows, and it is why the resolution here is a table of positions and not an argument.

History
1889
— George FitzGerald proposes length contraction in a letter to Science (2 May, "The Ether and the Earth's Atmosphere"); Lorentz arrives at it independently in 1892.
1905
— Einstein derives contraction from the postulates, and with it the relativity of simultaneity, in "Zur Elektrodynamik bewegter Körper".
1908
— Minkowski's "Raum und Zeit" recasts the whole business as geometry: a frame's now is a slice, and boosting tilts the slice.
1959
— Dewan and Beran, in Am. J. Phys. 27, 517, show that contraction has real stress consequences — the seed of the Bell spaceship paradox.
1961
— Wolfgang Rindler publishes "Length Contraction Paradox", Am. J. Phys. 29, 365, posing the rod-and-grid variant and resolving it through the relativity of rigidity.
1961
— Rindler issues an erratum to the same paper, Am. J. Phys. 29, 859.
1968
— A. P. French's Special Relativity puts the pole-and-barn form into the standard undergraduate curriculum.

The physical picture

Fix the numbers and keep them: pole rest length L0=10L_0 = 10 m, barn depth D=6D = 6 m (front door at x=0x = 0, back door at x=Dx = D), relative speed v=0.9cv = 0.9c. Then

γ=11−0.81=10.19=2.2942.\gamma = \frac{1}{\sqrt{1-0.81}} = \frac{1}{\sqrt{0.19}} = 2.2942 .

The farmer's account. The pole comes at him contracted to L=L0/γ=10/2.2942=4.3589L = L_0/\gamma = 10/2.2942 = 4.3589 m. His barn is 66 m. The pole fits with 6−4.3589=1.64116 - 4.3589 = 1.6411 m of clearance. Concretely: he arranges for the pole to be centred in the barn at t=0t = 0 — tail at x=0.8206x = 0.8206 m, nose at x=5.1794x = 5.1794 m — and at that instant he slams both doors. The tail crossed the front door at t=−3.04t = -3.04 ns and the nose will reach the back door at t=+3.04t = +3.04 ns, so his enclosure window is (D−L)/v=6.08(D - L)/v = 6.08 ns wide, and he shut the doors in the middle of it. He then opens the back door and lets the pole out. Nothing is damaged. Nothing is even close.

The runner's account. She is at rest; the barn hurtles at her at 0.9c0.9c, and it is the barn that is contracted: D′=D/γ=6/2.2942=2.6153D' = D/\gamma = 6/2.2942 = 2.6153 m. Her pole is 1010 m — 3.823.82 times the length of the barn. There is no possible instant at which it is inside, and if the farmer had really closed both doors around it simultaneously the pole would have been cut into pieces. It was not.

How both can be true. In her frame the two door-closings are not simultaneous. Transform the farmer's events E1=(t=0, x=0)E_1 = (t{=}0,\, x{=}0) (front door) and E2=(t=0, x=D)E_2 = (t{=}0,\, x{=}D) (back door):

Δt′=γ ⁣(Δt−v Δxc2)=−γvDc2=−41.32 ns.\Delta t' = \gamma\!\left(\Delta t - \frac{v\,\Delta x}{c^2}\right) = -\gamma\frac{vD}{c^2} = -41.32\ \text{ns}.

The back door closes 41.3241.32 ns before the front one, in her frame. So her story is: the far door snaps shut and reopens while her nose is still 1.881.88 m short of it; her nose sails through the open doorway; and only 41.3241.32 ns later does the near door close — by which time her tail is 1.881.88 m inside the barn. The pole is never enclosed, and it is never touched. The barn simply performed a well-timed shutter action around a pole that was, from her point of view, mostly outside it the whole time. Both frames agree on every material fact. They disagree about the order of two door-closings — and, as the next section shows, that disagreement is not merely permitted but invariantly guaranteed, because the two events are spacelike-separated.

Interactive Simulation
The Pole-and-Barn (Ladder) Paradox — compare the barn frame (pole contracted, fits) vs the pole frame (barn too short); the doors close non-simultaneously, resolving the paradox.
Figure
PUNCHLINE — the Minkowski diagram, barn frame, with real numbers. L₀ = 10 m, D = 6 m, v = 0.9c, γ = 2.2942. The pole (green band) is contracted to 4.3589 m and sits inside the 6 m barn with 1.6411 m of clearance; the enclosure window is 6.08 ns wide. The barn shuts both doors on the horizontal line ct = 0 (its NOW). The runner's two NOW-lines through the same two events are tilted by β = 0.9 — and they are 41.32 ns apart, with the BACK door first. The two door-closings are separated by (Δs)² = 0 − 36 = −36 m²: SPACELIKE, in every frame. That is the licence to reorder them
ct (metres) x (m) 0246 2−2 front door back door (D = 6 m) BARN'S NOW — both doors shut together pole: 4.3589 m (contracted) nose tail E₁ E₂ tail in nose out runner's NOW through E₁ (slope 0.9) runner's NOW through E₂ — EARLIER light THE TWO ACCOUNTS BARN (pole contracts) pole 10 → 4.3589 m, barn 6 m clearance 1.6411 m · window 6.08 ns IT FITS. POLE (barn contracts) barn 6 → 2.6153 m, pole 10 m pole is 3.82× the barn. IT DOES NOT FIT. WHY BOTH ARE RIGHT E₁, E₂ in the barn frame: Δt = 0, Δx = 6 m in the pole frame: Δt′ = −γvD/c² = −41.32 ns (back door FIRST) (Δs)² = (cΔt)² − (Δx)² = 0 − 36 = −36 m² SPACELIKE, in every frame No signal joins them. No causal order to violate. Threshold: the pole fits at all only above v_min = c√(1 − (D/L₀)²) = c√(1 − 0.36) = 0.8c, exactly.

The core equations

Length contraction, recalled from `aq-sr-length-contraction`, applied once in each direction:

L=L0γ(barn frame),D′=Dγ(pole frame)(1)L = \frac{L_0}{\gamma} \quad\text{(barn frame)}, \qquad D' = \frac{D}{\gamma} \quad\text{(pole frame)} \qquad (1)

where: L0L_0 is the pole's rest length and DD the barn's. Physical reading: each frame sees the other object shortened. There is no contradiction in that — it is exactly what reciprocity requires, and it is why the two "fitting" verdicts differ. At γ=2.2942\gamma = 2.2942: L=4.3589L = 4.3589 m, D′=2.6153D' = 2.6153 m. The fitting conditions, in the two frames:

L0γ<D(barn: fits),L0>Dγ(pole: does not fit)(2)\frac{L_0}{\gamma} < D \quad\text{(barn: fits)}, \qquad\qquad L_0 > \frac{D}{\gamma} \quad\text{(pole: does not fit)} \qquad (2)

where: both hold simultaneously whenever D/γ<L0D/\gamma < L_0 and L0/γ<DL_0/\gamma < D — which is most of parameter space when L0>DL_0 > D. Physical reading: the two conditions are not each other's negation; they are questions about different slices, and the paradox is the mistake of treating them as one question. The offset that dissolves the whole thing:

  Δt′=−γ vDc2  (3)\boxed{\;\Delta t' = -\gamma\,\frac{vD}{c^{2}}\;} \qquad (3)

where: DD is the door separation in the barn frame, in which the closings are simultaneous. Physical reading: the γ\gamma here is correct — this is a coordinate offset between two events simultaneous in SS, not a clock-reading difference (contrast the γ\gamma-free jump of `aq-sr-twin-paradox-asymmetry`; the two are disentangled in `aq-sr-relativity-of-simultaneity-s3`). At D=6D = 6 m, v=0.9cv = 0.9c: Δt′=−41.32\Delta t' = -41.32 ns. The minus sign says the back door — the one at larger xx, the one the pole is heading towards — closes first. And the article's owned invariant:

  (Δs)2=(c Δt)2−(Δx)2=0−D2=−D2<0  (4)\boxed{\;(\Delta s)^{2} = (c\,\Delta t)^{2} - (\Delta x)^{2} = 0 - D^{2} = -D^{2} < 0\;} \qquad (4)

where: Δt=0\Delta t = 0, Δx=D\Delta x = D are the barn-frame coordinates of the two closings. Physical reading: the door events are spacelike-separated, and (Δs)2(\Delta s)^2 is invariant, so they are spacelike in every frame. That is a geometric fact, not an artefact of the barn's convention, and it is what licenses the reordering: spacelike events cannot influence one another, so no frame's ordering of them can contradict any other frame's. At D=6D = 6 m: (Δs)2=−36 m2(\Delta s)^2 = -36\ \mathrm{m}^2, and you can check it in the pole frame too, where (cΔt′)2−(Δx′)2=(12.3884)2−(13.7649)2=−36 m2(c\Delta t')^2 - (\Delta x')^2 = (12.3884)^2 - (13.7649)^2 = -36\ \mathrm{m}^2. ✓ Finally, the threshold speed:

vmin⁡=c1−(DL0)2(5)v_{\min} = c\sqrt{1 - \left(\frac{D}{L_0}\right)^{2}} \qquad (5)

where: this is the solution of L0/γ=DL_0/\gamma = D. Physical reading: below vmin⁡v_{\min} the pole does not fit in anybody's frame and there is no paradox to resolve. For L0=10L_0 = 10 m, D=6D = 6 m: D/L0=3/5D/L_0 = 3/5 and vmin⁡=c1−9/25=45c=0.8cv_{\min} = c\sqrt{1 - 9/25} = \tfrac45 c = \mathbf{0.8c}, exactly.

The two accounts, in full

Derivation AThe barn's account: the enclosure window, and the threshold that makes it possible

The farmer's story is the easy one, and the point of doing it carefully is to extract two numbers we will need later: the width of the window during which both doors may be shut, and the minimum speed at which any such window exists at all. The second is the article's threshold result, and it is exact.

Step 1. Write the pole's worldlines in the barn frame. The nose and tail move at vv with the contracted separation L=L0/γL = L_0/\gamma between them. Choosing t=0t=0 as the moment of door-closing and centring the pole then: xnose(t)=vt+12(D+L)x_{\text{nose}}(t) = vt + \tfrac12(D + L) and xtail(t)=vt+12(D−L)x_{\text{tail}}(t) = vt + \tfrac12(D - L). Why: centring is a choice, made to keep the arithmetic symmetric; nothing depends on it. The physical content is the fixed contracted gap LL between the two worldlines.

Step 2. Find the two boundary events. The tail crosses the front door (x=0x = 0) at tin=−D−L2vt_{\text{in}} = -\tfrac{D-L}{2v}, and the nose reaches the back door (x=Dx = D) at tout=+D−L2vt_{\text{out}} = +\tfrac{D-L}{2v}. With L=4.3589L = 4.3589 m, D=6D = 6 m, v=0.9cv = 0.9c: tin=−3.041t_{\text{in}} = -3.041 ns, tout=+3.041t_{\text{out}} = +3.041 ns. Why: these are the moments the pole is fully in and just-about-out. Between them, and only between them, the barn contains the whole pole.

Step 3. Read off the window. Its width is

Δtwindow=tout−tin=D−Lv=D−L0/γv=1.6411 m0.9c=6.082 ns.\Delta t_{\text{window}} = t_{\text{out}} - t_{\text{in}} = \frac{D - L}{v} = \frac{D - L_0/\gamma}{v} = \frac{1.6411\ \mathrm{m}}{0.9c} = \boxed{6.082\ \text{ns}} .

Why: it is positive precisely when L0/γ<DL_0/\gamma < D — the fit condition (2). The farmer shuts both doors anywhere inside this window and re-opens the back one before toutt_{\text{out}}.

Step 4. Find the threshold. The window closes to zero when L0/γ=DL_0/\gamma = D, i.e. γ=L0/D\gamma = L_0/D. Squaring and solving,

11−β2=L02D2  ⟹  β2=1−(DL0)2  ⟹  vmin⁡=c1−(D/L0)2.\frac{1}{1-\beta^2} = \frac{L_0^2}{D^2} \;\Longrightarrow\; \beta^2 = 1 - \left(\frac{D}{L_0}\right)^{2} \;\Longrightarrow\; \boxed{v_{\min} = c\sqrt{1 - (D/L_0)^{2}}} .

Why: this is the whole content of "the pole fits". It is a statement about γ\gamma, and γ\gamma is a statement about vv.

Step 5. Evaluate it, and notice how clean it is. With D/L0=6/10=3/5D/L_0 = 6/10 = 3/5, the Pythagorean triple does the work: vmin⁡=c1−9/25=c16/25=45c=0.8cv_{\min} = c\sqrt{1 - 9/25} = c\sqrt{16/25} = \tfrac{4}{5}c = 0.8c, exactly, with γ(0.8c)=5/3=L0/D\gamma(0.8c) = 5/3 = L_0/D ✓. At the chosen 0.9c0.9c we are comfortably above threshold, which is why the window is a healthy 6.086.08 ns and not a hairline. Why: the 3−4−53{-}4{-}5 triangle is hiding in the pole-and-barn, and it is why 1010 m and 66 m is the example every textbook reaches for. *Verified in verify_aq-sr-pole-and-barn-paradox.py: γ(0.9)=2.294157\gamma(0.9) = 2.294157; L=4.358899L = 4.358899 m; clearance 1.6411011.641101 m; tin,tout=∓3.0412t_{\text{in}}, t_{\text{out}} = \mp 3.0412 ns; window 6.08246.0824 ns =(D−L)/v=(D-L)/v; and vmin⁡=0.8cv_{\min} = 0.8c exactly, symbolically from L0/γ=DL_0/\gamma = D.*

Go deeper · Derivation B · 2 minThe runner's account: the choreography, and why nothing is ever trapped
Derivation BThe runner's account: the choreography, and why nothing is ever trapped

Now the hard direction — and the one that actually settles the paradox, because it must produce a story in which a ten-metre pole passes through a 2.622.62-metre barn with two doors closing on it, and comes out unscathed. If special relativity is consistent, that story exists and is forced. Here it is, event by event, with every position computed.

Step 1. Transform the two door-closings. With SS the barn frame and S′S' the pole frame moving at +v+v:

E1=(0, 0)  ↦  (t1′,x1′)=(0, 0),E2=(0, D)  ↦  (−γvDc2,  γD).E_1 = (0,\,0) \;\mapsto\; (t'_1, x'_1) = (0,\,0), \qquad E_2 = (0,\,D) \;\mapsto\; \left(-\gamma\frac{vD}{c^2},\; \gamma D\right).

Numerically t2′=−41.323t'_2 = -41.323 ns and x2′=13.765x'_2 = 13.765 m. Why: the far door closes <strong>first</strong> in her frame, by 41.3241.32 ns. Everything else is consequence.

Step 2. Track the doors in her frame. Both move at −v-v. The front door is at xfront′(t′)=−vt′x'_{\text{front}}(t') = -v t', and the back door at xback′(t′)=D/γ−vt′x'_{\text{back}}(t') = D/\gamma - v t' — separated always by the contracted D/γ=2.6153D/\gamma = 2.6153 m. Why: in her frame the barn is a 2.622.62-metre object flying past her stationary pole. Check: at t′=0t'=0 the front door is at x′=0x'=0 and the back door at x′=2.6153x' = 2.6153 m ✓.

Step 3. Locate her pole. It is at rest, spanning xtail′=γ⋅12(D−L)=1.8825x'_{\text{tail}} = \gamma\cdot\tfrac12(D-L) = 1.8825 m to xnose′=γ⋅12(D+L)=11.8825x'_{\text{nose}} = \gamma\cdot\tfrac12(D+L) = 11.8825 m — a length of exactly 10.00010.000 m ✓. Why: her pole's rest length comes back out of the transformation, as it must. This is the check that the two accounts describe the same pole.

Step 4. Watch the back door slam. At t2′=−41.323t'_2 = -41.323 ns the back door is at xback′=2.6153+0.9c(41.323 ns)=13.765x'_{\text{back}} = 2.6153 + 0.9c(41.323\ \text{ns}) = 13.765 m. Her nose is at 11.882511.8825 m. The door slams 1.88251.8825 m beyond her nose — in empty space — and reopens. Her nose then passes through the open doorway. Why: this is the crux. In her frame the back door is nowhere near the pole when it closes. There is no collision because there is nothing there to collide with.

Step 5. Watch the front door slam. At t′=0t' = 0 the front door is at x′=0x' = 0. Her tail is at 1.88251.8825 m. The door slams 1.88251.8825 m behind her tail — again in empty space — and the barn continues on its way. Why: the two clearances are equal, γ⋅12(D−L)=1.8825\gamma\cdot\tfrac12(D-L) = 1.8825 m, which is the barn-frame clearance 0.82060.8206 m magnified by γ\gamma. The symmetry of the farmer's centring survives the boost.

Step 6. Take stock of what happened. Two doors closed. Neither touched the pole. At no time were both doors shut with the pole between them — in her frame there is no such time, because the closings are 41.3241.32 ns apart and the barn is only 2.622.62 m long, so the back door has long reopened by the time the front one shuts. Every material contact in the barn frame is a material contact in the pole frame, and there are none in either. Why: this is what consistency looks like. The frames disagree about descriptions ("the pole was enclosed") and agree about facts ("nothing hit anything"), and only the latter are physics. *Verified in verify_aq-sr-pole-and-barn-paradox.py: the Lorentz images of E1,E2E_1, E_2; the door worldlines in S′S' and their constant separation D/γD/\gamma; the pole's rest length recovered as 10.00010.000 m; and both clearances equal to γ(D−L)/2=1.8825\gamma(D-L)/2 = 1.8825 m, with the back-door clearance computed independently as xback′(t2′)−xnose′x'_{\text{back}}(t'_2) - x'_{\text{nose}}.*

Go deeper · Derivation C · 2 minThe invariant licence: the door events are spacelike, always
Derivation CThe invariant licence: the door events are spacelike, always

The two accounts are consistent — but why were we allowed to reorder two events at all? If the far door closing had caused the near door closing, no frame could put the effect first, and the whole construction would collapse. The permission is geometric, it is exact, and it holds for every barn and every speed. This is the article's owned structural result.

Step 1. Compute the interval between the closings in the barn frame. They are simultaneous (Δt=0\Delta t = 0) and separated by the barn's depth (Δx=D\Delta x = D), so

(Δs)2=(c Δt)2−(Δx)2=0−D2=−D2.(\Delta s)^2 = (c\,\Delta t)^2 - (\Delta x)^2 = 0 - D^2 = -D^2 .

Why: this is negative for any D>0D > 0 — i.e. for any barn at all — and it does not contain vv. The spacelikeness is a property of the barn, not of the runner.

Step 2. Invoke invariance. (Δs)2(\Delta s)^2 is the same in every inertial frame (recalled from `aq-sr-invariant-spacetime-interval`). Therefore (Δs)2=−D2<0(\Delta s)^2 = -D^2 < 0 in the pole frame too, and in every other. Why: "spacelike" is not a frame-dependent label. It is a fact about the pair of events, and it is the only fact we need.

Step 3. Check it explicitly in the pole frame, because a claim of invariance deserves a computation. There cΔt′=−γvD/c=−12.3884c\Delta t' = -\gamma vD/c = -12.3884 m and Δx′=γD=13.7649\Delta x' = \gamma D = 13.7649 m, so

(Δs′)2=(12.3884)2−(13.7649)2=153.475−189.475=−36 m2=−D2  ✓(\Delta s')^2 = (12.3884)^2 - (13.7649)^2 = 153.475 - 189.475 = \boxed{-36\ \mathrm{m}^2} = -D^2 \;✓

Why: the two large numbers conspire to give back exactly −36-36. Symbolically, γ2v2D2/c2−γ2D2=−γ2D2(1−β2)=−D2\gamma^2 v^2 D^2/c^2 - \gamma^2 D^2 = -\gamma^2 D^2(1 - \beta^2) = -D^2, for every β\beta.

Step 4. Read off the licence. For a spacelike pair there exists an inertial frame in which the order is either way round — and there exists none in which one causes the other, since a signal joining them would have to travel at ∣Δx/Δt∣=∞|\Delta x/\Delta t| = \infty (barn frame) or c ∣Δx′∣/∣cΔt′∣=13.765/12.388=1.111 cc\,|\Delta x'|/|c\Delta t'| = 13.765/12.388 = 1.111\,c (pole frame) — superluminal in both. Why: <strong>the doors are not in communication.</strong> They are two independent mechanisms fired by a pre-arranged plan, and disagreeing about which fired first costs nothing.

Step 5. State the boundary sharply. Contrast the other events in the story, the ones the frames must agree about: "the nose passes the back door" and "the tail passes the front door". Those lie on the pole's own worldlines, are timelike-or-null separated from the pole's history, and are material coincidences — two objects at the same place at the same time. Every frame agrees they happened and agrees what was in contact with what. Coincidences are invariant; orderings of spacelike events are not. Why: that one sentence is the whole of every relativity "paradox" in this chapter, and it is why there are no genuine ones. *Verified in verify_aq-sr-pole-and-barn-paradox.py: (Δs)2=−D2(\Delta s)^2 = -D^2 symbolically under a general boost; the numerical pole-frame recomputation 153.475−189.475=−36 m2153.475 - 189.475 = -36\ \mathrm{m}^2; and the required signal speed 1.111c1.111c in the pole frame, confirming no causal link.*

Figure
The threshold, with real numbers on the plot. Contracted pole length L₀/γ against β for a 10 m pole. The barn is 6 m (the horizontal line). Below v_min = 0.8c the pole does not fit in ANY frame and there is no paradox to have. Above it, the barn frame says it fits and the pole frame says it does not — both correctly. The working point β = 0.9 gives L = 4.3589 m, a clearance of 1.6411 m and a 6.08 ns window. Note that v_min = c√(1 − (D/L₀)²) = c√(1 − (3/5)²) = 4c/5 is EXACT — the 3-4-5 triangle is why every textbook uses 10 m and 6 m
L₀/γ (m) β = v/c 0246810 00.20.40.60.81.0 barn D = 6 m v_min = 0.8c EXACTLY L = 6 m: the pole JUST fits (γ = 5/3) β = 0.9 · L = 4.3589 m clearance 1.6411 m · window 6.08 ns NO PARADOX HERE the pole does not fit in any frame PARADOX barn: fits pole: does not AT β = 0.9 γ = 2.2942 L = 4.3589 m D′ = 2.6153 m pole/barn = 3.82× Δt′ = 41.32 ns (Δs)² = −36 m² SPACELIKE Below 0.8c there is nothing to explain. Above it, the two frames disagree about a slice — and agree about every event.

Limiting cases

CaseResultMeaning
v→0v \to 0L→L0L \to L_0, Δt′→0\Delta t' \to 0no contraction, no offset, and if L0>DL_0 > D the pole simply never fits
v<vmin⁡v < v_{\min}window <0< 0no enclosure in any frame; the paradox does not arise
v=vmin⁡v = v_{\min}window =0= 0marginal fit: L0/γ=DL_0/\gamma = D exactly. For 10/610/6 this is 0.8c0.8c
v→cv \to cL→0L \to 0, Δt′→∞\Delta t' \to \inftythe pole shrinks to a point (fits trivially); the door events become enormously separated in her frame
D→0D \to 0(Δs)2→0(\Delta s)^2 \to 0the doors coincide; the events become null-separated and the ordering becomes absolute
any v,Dv, D(Δs)2=−D2<0(\Delta s)^2 = -D^2 < 0always spacelike. The reordering is always licensed, never forced by the speed
L0<DL_0 < Dfits in both framesthe pole is shorter than the barn even at rest — nothing interesting happens

Worked examples

1 · The full choreography at 0.9c0.9c

Pole L0=10L_0 = 10 m, barn D=6D = 6 m, v=0.9cv = 0.9c. Compute both frames completely, and show nothing is ever cut.

Step 1 — identify. γ=(1−0.81)−1/2=0.19−1/2=2.2942\gamma = (1 - 0.81)^{-1/2} = 0.19^{-1/2} = 2.2942. This is above threshold (vmin⁡=0.8cv_{\min} = 0.8c), so the paradox is live.

Step 2 — the barn frame. L=10/2.2942=4.3589L = 10/2.2942 = 4.3589 m. Clearance 6−4.3589=1.64116 - 4.3589 = 1.6411 m. Enclosure window (D−L)/v=1.6411/(0.9×2.9979×108)=6.082(D-L)/v = 1.6411/(0.9 \times 2.9979\times10^8) = 6.082 ns. The farmer shuts both doors at the midpoint, t=0t = 0, with the tail at 0.82060.8206 m and the nose at 5.17945.1794 m. The pole is sealed inside a barn shorter than itself.

Step 3 — the pole frame. D′=6/2.2942=2.6153D' = 6/2.2942 = 2.6153 m. Her pole is 1010 m — a factor 10/2.6153=3.8210/2.6153 = 3.82 longer than the barn. Door offset: Δt′=−γvD/c2=−2.2942×0.9×6/(2.9979×108)=−41.32\Delta t' = -\gamma v D/c^2 = -2.2942 \times 0.9 \times 6 / (2.9979\times10^8) = -41.32 ns.

Step 4 — the boundary numbers. At the moment the back door slams (t′=−41.32t' = -41.32 ns) it sits at x′=13.765x' = 13.765 m while her nose is at 11.882511.8825 m: the door closes 1.88251.8825 m in front of her nose, on empty space. At the moment the front door slams (t′=0t' = 0) it sits at x′=0x' = 0 while her tail is at 1.88251.8825 m: it closes 1.88251.8825 m behind her tail, on empty space. Two doors closed, zero contacts. The pole is untouched, and it was never enclosed.

Step 5 — the invariant. Barn frame: (Δs)2=0−62=−36 m2(\Delta s)^2 = 0 - 6^2 = -36\ \mathrm{m}^2. Pole frame: (12.3884)2−(13.7649)2=−36 m2(12.3884)^2 - (13.7649)^2 = -36\ \mathrm{m}^2. ✓ Spacelike in both, so the reordering is legitimate and the accounts are consistent.

2 · How fast must she run?

Same pole and barn. What is the slowest speed at which the farmer can, in his frame, seal the pole inside?

Step 1 — identify. The condition is L0/γ≤DL_0/\gamma \le D, i.e. γ≥L0/D=10/6=5/3\gamma \ge L_0/D = 10/6 = 5/3.

Step 2 — apply. γ=5/3⇒β=1−(3/5)2=16/25=4/5\gamma = 5/3 \Rightarrow \beta = \sqrt{1 - (3/5)^2} = \sqrt{16/25} = 4/5.

Step 3 — the boundary number. vmin⁡=0.8c=2.398×108v_{\min} = \mathbf{0.8c} = 2.398\times10^8 m/s, exactly, and at that speed the pole contracts to exactly 66 m — a zero-width window and a zero-metre clearance. It is the marginal case, and it is why 0.9c0.9c (window 6.086.08 ns) rather than 0.81c0.81c (window 0.5590.559 ns) is the sensible working point — a hair above threshold buys you almost nothing.

Step 4 — the general rule. vmin⁡=c1−(D/L0)2v_{\min} = c\sqrt{1 - (D/L_0)^2}. A pole twice the barn's length needs β≥3/2=0.866\beta \ge \sqrt{3}/2 = 0.866; a pole ten times the barn needs β≥0.99=0.995\beta \ge \sqrt{0.99} = 0.995. The longer the pole, the closer to cc you must run — and vmin⁡→cv_{\min} \to c as L0/D→∞L_0/D \to \infty, which is the sense in which "any pole fits in any barn" is true and useless.

Going further

Texts. Rindler, Introduction to Special Relativity, 2nd ed., §2.4 · Rindler, "Length Contraction Paradox", Am. J. Phys. 29, 365 (1961), and the erratum, ibid. 29, 859 · Taylor & Wheeler, Spacetime Physics, 2nd ed., ch. 3 · French, Special Relativity (Norton, 1968) · Griffiths, Introduction to Electrodynamics, §12.1.2.

Provenance. Signature (+,−,−,−)(+,-,-,-). Every number recomputed in verify_aq-sr-pole-and-barn-paradox.py. Base defect repaired: the AllQFT base asserts as a "consistency check" that γvD/c2>D/(γc)\gamma vD/c^2 > D/(\gamma c) "for all v<cv < c". This is false — it reduces to γ2β>1\gamma^2\beta > 1, which holds only for β>(5−1)/2=0.618\beta > (\sqrt5-1)/2 = 0.618, and it fails inside the paradox's own regime (counterexample: D=10D = 10 m, L0=11L_0 = 11 m, β=0.5\beta = 0.5 — the pole fits, but 19.2619.26 ns << 28.8928.89 ns). The bogus inequality is dropped and replaced with the invariant statement (4). The base's worked example (1010 m / 66 m / 0.8c0.8c) also sits exactly on the threshold, where its own strict fit condition L0/γ<DL_0/\gamma < D fails; this article works at 0.9c0.9c and reports 0.8c0.8c as the threshold it is.

Scope. Length contraction is owned by `aq-sr-length-contraction` and recalled. The Lorentz transformation is `aq-sr-lorentz-transformation-equations`; the invariant interval is `aq-sr-invariant-spacetime-interval`; the simultaneity offset is derived in `aq-sr-relativity-of-simultaneity-s1` and unified across the paradoxes in `aq-sr-relativity-of-simultaneity-s3`. Rigidity and its relativistic limits belong to `aq-sr-born-rigidity`.

Builds on. Length Contraction · Lorentz Transformation · Relativity of Simultaneity · Spacetime Diagrams. Leads to. The Twin Paradox · Asymmetry in the Twin Paradox · Relativistic Velocity Addition.

If the farmer really does trap the pole, what happens if he keeps both doors shut?

Then he is no longer doing kinematics. Slam the back door and leave it shut, and the nose hits it: a real collision, agreed by every frame. The shock travels back along the pole at the material's sound speed — far below cc — so the tail keeps moving for a while, and the pole compresses. In the barn frame it crumples to fit; in the pole frame the nose stops first and the rest piles in behind. Both frames agree the pole is destroyed. The paradox exists only for the non-destructive protocol, in which the back door reopens before the nose arrives, and that protocol is the one both frames describe consistently.

Is the pole "really" contracted, or does it just look that way?

Really — in the operational sense, which is the only sense available. Contraction is what you get when you mark the positions of the two ends at the same time in your frame and measure the distance between the marks. The farmer does exactly that, and gets 4.364.36 m; the marks are real, and they are 4.364.36 m apart, and you can photograph them. What is not frame-independent is the choice of "at the same time", and that is where the 1010 m and the 4.364.36 m come apart. Neither is an illusion. They are answers to two different questions, and the pole's proper length — 1010 m — is the answer to the third question, the one that has a frame-independent answer.

Why is the offset γvD/c² and not vD/c²?

Because DD is the door separation measured in the barn frame — the frame in which the two events are simultaneous — and equation (3) transforms a coordinate separation out of that frame. If instead you asked what the two door clocks (at rest in the barn, synchronised there) read at a single instant of the runner's frame, you would get vD/c2vD/c^2 with no γ\gamma, because those clocks tick slow by 1/γ1/\gamma in her frame and that exactly cancels. Two questions, two answers, one factor of γ\gamma between them. This is the distinction that `aq-sr-relativity-of-simultaneity-s3` exists to nail down, and the one that produces the corpus's most common γ\gamma errors.

Could the barn be made to trap the pole in the runner's frame too?

Not with simultaneous closings in the barn frame — but yes, if you change the protocol. Close the doors simultaneously in her frame and the barn frame will see the front door close 41.3241.32 ns before the back one, and in the barn frame the pole will be sticking out of the front. Whichever frame you privilege by your protocol is the one that gets the tidy story. There is no protocol that traps a 1010 m pole in a 2.622.62 m barn in her frame while leaving it intact, because in her frame it genuinely does not fit — but that was never the claim.

What if the doors are connected by a wire so they fire together?

Then you have specified a frame — the one in which the wire's signals arrive simultaneously — and you have not escaped anything. A wire carries a signal at some speed u≤cu \le c, and the two doors are 66 m apart, so the "simultaneous" firing is simultaneous only in the frame you built the timing for. In every other frame the wire's two halves deliver at different times. The relativity of simultaneity is not an artefact of sloppy synchronisation; it survives every mechanism you can build, because it is a property of spacetime and not of your wiring.

Does anything actually happen at v_min?

Only in the barn's story. At vmin⁡=0.8cv_{\min} = 0.8c the contracted pole is exactly 66 m — the same length as the barn — so the enclosure window is a single instant, of zero width. Below it, no window exists and the whole puzzle evaporates: the pole does not fit in either frame, both frames say so, and nobody is confused. The paradox needs v>vmin⁡v > v_{\min} to exist at all, which is a useful reminder that it is not a deep fact about spacetime but a fact about a particular pole and a particular barn.

Before this

Where this leads