The Pole-and-Barn (Ladder) Paradox
A pole ten metres long is carried at towards a barn six metres deep. The farmer, watching from the barn, sees the pole contracted to m — it fits, with m to spare — and for a window of 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 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 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 — spacelike, which is precisely the licence to disagree about their order without disagreeing about anything real.
- Signature : , timelike , spacelike .
- Barn frame: the pole contracts to and fits iff . Pole frame: the barn contracts to 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 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, , for every . 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 . For m in m that is exactly .
- 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.
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
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.
The physical picture
Fix the numbers and keep them: pole rest length m, barn depth m (front door at , back door at ), relative speed . Then
The farmer's account. The pole comes at him contracted to m. His barn is m. The pole fits with m of clearance. Concretely: he arranges for the pole to be centred in the barn at — tail at m, nose at m — and at that instant he slams both doors. The tail crossed the front door at ns and the nose will reach the back door at ns, so his enclosure window is 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 , and it is the barn that is contracted: m. Her pole is m — 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 (front door) and (back door):
The back door closes ns before the front one, in her frame. So her story is: the far door snaps shut and reopens while her nose is still m short of it; her nose sails through the open doorway; and only ns later does the near door close — by which time her tail is 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.
The core equations
Length contraction, recalled from `aq-sr-length-contraction`, applied once in each direction:
where: is the pole's rest length and 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 : m, m. The fitting conditions, in the two frames:
where: both hold simultaneously whenever and — which is most of parameter space when . 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:
where: is the door separation in the barn frame, in which the closings are simultaneous. Physical reading: the here is correct — this is a coordinate offset between two events simultaneous in , not a clock-reading difference (contrast the -free jump of `aq-sr-twin-paradox-asymmetry`; the two are disentangled in `aq-sr-relativity-of-simultaneity-s3`). At m, : ns. The minus sign says the back door — the one at larger , the one the pole is heading towards — closes first. And the article's owned invariant:
where: , are the barn-frame coordinates of the two closings. Physical reading: the door events are spacelike-separated, and 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 m: , and you can check it in the pole frame too, where . ✓ Finally, the threshold speed:
where: this is the solution of . Physical reading: below the pole does not fit in anybody's frame and there is no paradox to resolve. For m, m: and , exactly.
The two accounts, in full
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 with the contracted separation between them. Choosing as the moment of door-closing and centring the pole then: and . Why: centring is a choice, made to keep the arithmetic symmetric; nothing depends on it. The physical content is the fixed contracted gap between the two worldlines.
Step 2. Find the two boundary events. The tail crosses the front door () at , and the nose reaches the back door () at . With m, m, : ns, 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
Why: it is positive precisely when — the fit condition (2). The farmer shuts both doors anywhere inside this window and re-opens the back one before .
Step 4. Find the threshold. The window closes to zero when , i.e. . Squaring and solving,
Why: this is the whole content of "the pole fits". It is a statement about , and is a statement about .
Step 5. Evaluate it, and notice how clean it is. With , the Pythagorean triple does the work: , exactly, with ✓. At the chosen we are comfortably above threshold, which is why the window is a healthy ns and not a hairline. Why: the triangle is hiding in the pole-and-barn, and it is why m and m is the example every textbook reaches for. *Verified in verify_aq-sr-pole-and-barn-paradox.py: ; m; clearance m; ns; window ns ; and exactly, symbolically from .*
Go deeper · Derivation B · 2 minThe 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 -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 the barn frame and the pole frame moving at :
Numerically ns and m. Why: the far door closes <strong>first</strong> in her frame, by ns. Everything else is consequence.
Step 2. Track the doors in her frame. Both move at . The front door is at , and the back door at — separated always by the contracted m. Why: in her frame the barn is a -metre object flying past her stationary pole. Check: at the front door is at and the back door at m ✓.
Step 3. Locate her pole. It is at rest, spanning m to m — a length of exactly 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 ns the back door is at m. Her nose is at m. The door slams 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 the front door is at . Her tail is at m. The door slams m behind her tail — again in empty space — and the barn continues on its way. Why: the two clearances are equal, m, which is the barn-frame clearance m magnified by . 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 ns apart and the barn is only 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 ; the door worldlines in and their constant separation ; the pole's rest length recovered as m; and both clearances equal to m, with the back-door clearance computed independently as .*
Go deeper · Derivation C · 2 minThe 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 () and separated by the barn's depth (), so
Why: this is negative for any — i.e. for any barn at all — and it does not contain . The spacelikeness is a property of the barn, not of the runner.
Step 2. Invoke invariance. is the same in every inertial frame (recalled from `aq-sr-invariant-spacetime-interval`). Therefore 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 m and m, so
Why: the two large numbers conspire to give back exactly . Symbolically, , for every .
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 (barn frame) or (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: symbolically under a general boost; the numerical pole-frame recomputation ; and the required signal speed in the pole frame, confirming no causal link.*
Limiting cases
| Case | Result | Meaning |
|---|---|---|
| , | no contraction, no offset, and if the pole simply never fits | |
| window | no enclosure in any frame; the paradox does not arise | |
| window | marginal fit: exactly. For this is | |
| , | the pole shrinks to a point (fits trivially); the door events become enormously separated in her frame | |
| the doors coincide; the events become null-separated and the ordering becomes absolute | ||
| any | always spacelike. The reordering is always licensed, never forced by the speed | |
| fits in both frames | the pole is shorter than the barn even at rest — nothing interesting happens |
Worked examples
1 · The full choreography at
Pole m, barn m, . Compute both frames completely, and show nothing is ever cut.
Step 1 — identify. . This is above threshold (), so the paradox is live.
Step 2 — the barn frame. m. Clearance m. Enclosure window ns. The farmer shuts both doors at the midpoint, , with the tail at m and the nose at m. The pole is sealed inside a barn shorter than itself.
Step 3 — the pole frame. m. Her pole is m — a factor longer than the barn. Door offset: ns.
Step 4 — the boundary numbers. At the moment the back door slams ( ns) it sits at m while her nose is at m: the door closes m in front of her nose, on empty space. At the moment the front door slams () it sits at while her tail is at m: it closes 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: . Pole frame: . ✓ 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 , i.e. .
Step 2 — apply. .
Step 3 — the boundary number. m/s, exactly, and at that speed the pole contracts to exactly m — a zero-width window and a zero-metre clearance. It is the marginal case, and it is why (window ns) rather than (window ns) is the sensible working point — a hair above threshold buys you almost nothing.
Step 4 — the general rule. . A pole twice the barn's length needs ; a pole ten times the barn needs . The longer the pole, the closer to you must run — and as , 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 "for all ". This is false — it reduces to , which holds only for , and it fails inside the paradox's own regime (counterexample: m, m, — the pole fits, but ns ns). The bogus inequality is dropped and replaced with the invariant statement (4). The base's worked example ( m / m / ) also sits exactly on the threshold, where its own strict fit condition fails; this article works at and reports 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 — 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 m; the marks are real, and they are 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 m and the m come apart. Neither is an illusion. They are answers to two different questions, and the pole's proper length — 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 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 with no , because those clocks tick slow by in her frame and that exactly cancels. Two questions, two answers, one factor of 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 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 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 m pole in a 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 , and the two doors are 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 the contracted pole is exactly 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 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.