Physics · Module 19

Relativity — what has to give

Two harmless-looking statements, each supported by every experiment ever done, cannot both be true unless time is not the same for everyone. Einstein kept both statements and gave up universal time.

Module 19Relativity — what has to give
Comes after18 · Maxwell's children
Benches3 interactive
Gates3 predictions
Maths neededPythagoras, for the light clock — and that really is all.
19.1

Three loose threads

This module has been coming since Module 15. Let us collect the three things that do not fit.

Thread one: the rod on the rails. In Module 17 we found the EMF of a rod sliding along rails in a magnetic field, twice, by two arguments that shared not a single step. One used the magnetic force qvB — q the charge, v, the speed, B the field — on the electrons in the moving rod. The other used the growing area of the circuit and Faraday's flux rule, and never mentioned a force on a charge at all. Both gave BLv. Feynman flagged this as unique in physics: one experimental fact, two unrelated explanations, always agreeing.

Thread two: the magnet and the coil. Take Bench 16A and ask a question Module 16 did not. Hold the coil still and push the magnet in, and you say: the flux changed, Faraday's law made an electric field, the electrons were pushed. Now hold the magnet still and move the coil instead. Your explanation changes completely. There is no changing flux where the coil used to be. Instead, the electrons in the moving wire feel qvB. Two different mechanisms. And the galvanometer needle reads exactly the same in both cases, always, to any precision anyone has ever measured. It does not know or care which of you is moving.

Einstein opened his 1905 paper with precisely this observation. His first sentence says that Maxwell's electrodynamics, applied to moving bodies, leads to asymmetries that do not appear in the phenomena themselves; his second gives the example — "the reciprocal electrodynamic action of a magnet and a conductor". He found it intolerable that nature should need two separate explanations for one result. The only thing dividing them is the question "which one is really moving?" — and no experiment can answer that.

Thread three: Maxwell's c. The equations give one speed for light, built out of µ0, the permeability of free space, and ε0, the permittivity — the two you met in Module 18 — and there is nothing in them to measure that speed relative to. The nineteenth century's answer was the aether: a medium filling space, with c being the speed relative to it. Michelson and Morley went looking for the Earth's motion through that medium in 1887, with an instrument sensitive enough to find it several times over.

They found nothing. Then they improved the apparatus and found nothing more precisely. Others repeated it at different seasons, with the Earth moving in opposite directions round the Sun. Nothing, every time.

Three threads, one knot. In 1905 Einstein untied it by refusing to look for a mechanism and instead asking what would have to be true.

19.2

The two postulates

A postulate is a statement you decide to assume, without proving it, and then judge entirely by what follows from it. Einstein's whole theory rests on two postulates. Read them carefully. They sound mild. The second one is not mild at all — it quietly wrecks something you have believed since Module 1.

1. The principle of relativity. The laws of physics are the same in every non-accelerating frame of reference. There is no experiment that can tell you your absolute speed. This one is old — it is Galileo's, from 1632, and you have been using it since Module 3 without being told its name. On a smooth train with the blinds down you cannot tell whether you are moving. But if the train brakes or rounds a bend, you feel it at once: acceleration is always detectable. That is exactly the work the word non-accelerating is doing in the postulate.
2. The constancy of c. Light in vacuum travels at 299 792 458 m/s as measured by every observer, whatever their own motion and whatever the motion of the source. This one is new, and it is flatly incompatible with everything you know about adding speeds.

Sit with how strange the second one is. Fire a bullet forward from a moving train and the ground observer sees bullet-speed plus train-speed. That is not a theory; it is arithmetic. It has been true since Module 1.

Now switch on a torch on that train. According to postulate 2, the person on the platform measures the light at c. Not c plus the train's speed — c. And if you now chase the beam in a rocket at 0.9c, you still measure it receding from you at c, not at 0.1c.

That cannot be right. And yet it is what Maxwell's equations demand, what Michelson and Morley found, and what every experiment since has confirmed to preposterous precision. Modern versions of the Michelson–Morley experiment would detect a change in light-speed of one part in 1017.

What has to give — thinking it through before Einstein tells us

  1. Speed is a made thing, not a found thing. Nobody measures "speed" directly. You measure a distance, you measure a time, and you divide. Speed is the ratio of two other measurements.
  2. So if everyone gets the same ratio… Two people in relative motion both measure the same light beam and both get 299 792 458 m/s. They cannot both have measured the same distance and the same time, because they disagree about almost everything else in the situation.
  3. The conclusion is forced. If the ratio is fixed for everyone but the situations differ, then distance and time themselves must differ between the two observers. Not their instruments — their instruments are fine. The quantities.
  4. Which is outrageous. Everything in Modules 1 through 18 assumed that a metre is a metre and a second is a second, and that all observers agree on both. That assumption was never tested; it was never even noticed. It was simply built into the language.
  5. Einstein's move. Rather than treat this as a paradox to be explained away, he took it as the answer. Time and distance are not universal. They depend on who is measuring. And once you accept that, everything else — including the two puzzles about magnets — falls out in a few lines of school geometry.
  6. The price is paid here, and it is one price, not a series of them. Everything from here on is a consequence of it — you will not be asked to swallow a second, unrelated miracle. Fair warning, though: some of the consequences are stranger than the price. In 19.4 you lose the idea of two things happening "at the same time", and that will feel worse than this does.
19.3

The light clock

Here is the argument that gets you from the postulates to a number, and it needs nothing beyond the theorem you learnt in class 8.

Build a clock out of light. Two mirrors facing each other, a distance L apart. A pulse of light bounces between them. Every time it makes the round trip, the clock ticks. The tick interval is t0 = 2L/c. It is a perfectly good clock. In fact it is the most honest clock there is: it measures time using nothing but the one speed everybody agrees on.

Now watch an identical clock go past you at speed v.

The moving light clock, step by step

  1. In its own frame, nothing is odd. The person carrying the clock sees the light going straight up and down, distance L each way, ticking every 2L/c. By postulate 1 they must, because if their clock behaved strangely they could tell they were moving.
  2. From where you stand, the light goes diagonally. While the pulse travels from the bottom mirror to the top, the whole clock has moved sideways. So the pulse does not go straight up; it goes up and along, on a slanted path.
  3. The diagonal is longer than the vertical. Of course it is: it is the hypotenuse of a right triangle whose vertical side is L. That is Pythagoras, and it is the entire content of this derivation — the whole of time dilation comes out of one triangle.
  4. How much longer? Name the pieces. Let the one-way trip take time t in your frame. In that time the clock slides sideways by vt. The vertical side is L. So the hypotenuse has length √(L² + v²t²).
  5. Now use postulate 2, and only here. How fast did the light cover that hypotenuse? At c. Not at some larger speed made up of c plus the clock's motion — at c, because that is what postulate 2 says. So the hypotenuse is also equal to ct.
  6. Set the two expressions equal and solve. c²t² = L² + v²t², so t²(c² − v²) = L², so t = L/√(c²−v²).
  7. Compare with the stationary clock. That one had t0 = L/c for the same one-way trip. Divide: t/t0 = c/√(c²−v²) = 1/√(1 − v²/c²).
  8. Give that factor a name. It is called gamma, γ. What we have just shown is that the moving light clock takes γ times longer to tick. It runs slow — not because it is broken, but because the light in it has further to go, and light will not go any faster to make up the difference.
  9. Why this applies to every clock, not just this one. We have only proved it for a clock made of light. Now suppose your wristwatch disagreed with a light clock strapped next to it. You could watch the two drift apart, and that would tell you that you were moving — which postulate 1 forbids. So every clock must slow by exactly the same γ: quartz watches, caesium clocks, chemical reactions, the ticking that decides when a muon decays, and you. It is not light that runs slow. It is time.
γ = 1√(1 − v²/c²) At walking pace γ = 1.00000000000000001. At half the speed of light, 1.155. At 0.99c, 7.09. At 0.999c, 22.4. It only ever misbehaves when v gets close to c, which is why nobody noticed for three hundred years.

One thing to be clear about before answering the next question. "Measures" here does not mean "sees". A clock racing away from you also looks slow because each tick's light has further to travel; one coming toward you looks fast. That is the Doppler effect, and it is not what we are talking about. Time dilation is what a row of synchronised clocks laid along the track records as the moving clock passes each one — no light-travel delay, just counting.

Two identical light clocks. One sits on your desk; the other flies past at 0.8c. You count the ticks of both.

What do you find — and, more importantly, what does the person flying past find when they compare the two?

The symmetry is the part people refuse to believe, and it is not optional: it is postulate 1. From the flying observer's point of view they are perfectly still and you are the one sliding past at 0.8c, so it is your light pulse that has to travel diagonally, and your clock that runs slow. Both of you are right, and there is no contradiction. To catch either of you out, the two clocks would have to be brought together twice — once to set them and once to compare. That never happens here: you pass each other once and separate for ever. Bringing them back together needs one of you to turn around, and turning around means accelerating. Acceleration breaks the symmetry: postulate 1 only covers non-accelerating frames, so the twin who turns round is the odd one out — and they really do come home younger.

Bench 19A · Two light clocksγ is obtained by counting ticks, not by evaluating the formula
Ticks — clock at rest
0
Ticks — moving clock
0
Ratio, counted
—
γ = 1/√(1−v²/c²)
—
Both pulses on this bench move at exactly the same speed on the screen — that is postulate 2, enforced. The only difference is the length of the path.

Let it run for a minute and the counted ratio is already within a decimal place of γ — run it longer and the last digit stabilises. Nothing in the code computes the tick rate from a formula. The pulse is moved at a fixed speed along whatever path it has to take. A tick is counted when it arrives. The slowing is a geometrical consequence of a longer path at a fixed speed, and nothing else.

In the wild · it has been measured, many times

In 1971 Hafele and Keating flew four caesium atomic clocks around the world on scheduled airliners, eastward and westward, and compared them with identical clocks left at the US Naval Observatory. The clocks disagreed by the predicted amount in each case — the eastward ones slow, the westward ones actually fast, because the prediction needed a gravitational contribution as well as a speed one, and getting both signs right was the real test. Particle accelerators do the experiment continuously and much more brutally: unstable particles kept going round at 0.9994c inside a ring of magnets live about 29 times longer than the same particles at rest — the acceleration that keeps them on the ring does not affect the rate, because what sets a clock's pace at each moment is its speed, not its acceleration. The effect is not subtle in that regime; it is the difference between the particle surviving the trip and not.

19.4

The deepest one: "at the same time" is not a thing

Time dilation gets the headlines. The relativity of simultaneity is stranger, and it is the one that actually resolves the paradoxes.

Here is Einstein's own picture. A train carriage, moving. A lamp exactly at its centre. At some moment the lamp flashes, and the light spreads out both ways.

Ask the passenger. The lamp is at the middle of the carriage. The light goes both ways at c. The walls are equally far away and are not moving relative to them. So the light reaches the front wall and the back wall at the same instant. Obviously.

Ask someone standing on the platform. The light left the middle of the carriage and goes both ways at c — the same c, by postulate 2, regardless of the fact that the lamp was moving when it flashed. But in the time the light is travelling, the carriage has moved forward. The back wall is rushing towards the beam that is heading backwards; the front wall is running away from the beam heading forwards. So the light hits the back first, by a clear margin. Not at the same instant at all.

The passenger says the two events — light hitting the front wall, light hitting the back wall — happened simultaneously. The platform observer says the back one happened first.

Which one is mistaken?

Neither is mistaken, and this is not a wording trick. "Now, over there" is not a well-defined idea in physics — it never was; we simply never moved fast enough to notice. Two events at different places have no universal time order unless a light signal could have connected them. One thing is not up for grabs, and the Deeper box says what it is.

Bench 19B · The lamp in the carriageboth panels move light at the same screen speed — only the walls differ
Platform clock: light reaches the back at
—
Platform clock: light reaches the front at
—
Platform clock: gap between the two
—
Carriage clock: gap between the two
—
Press Flash the lamp. Watch the two panels: the same physical events, timed by two people who will never agree.

This is what unties every knot in relativity. Consider the classic worry: if each of us sees the other's clock running slow, surely someone must be wrong? No — because to compare two separated clocks you have to decide what "at the same moment" means, and that is exactly what the two of you disagree about. The disagreement about clock rates and the disagreement about simultaneity are two views of one thing, and they cancel perfectly.

Deeper · what cannot be reordered

Not everything is up for grabs. Suppose event A could have caused event B — meaning a signal at c or slower could have got from A to B. Then every observer agrees that A came first. Relativity only permits disagreement about the order of two events when no signal could have connected them — and in that case neither could have caused the other, so nothing is at stake. Causality survives intact. It is only the idea of a universal "now" spread across space that dies.

19.5

Length contraction, and the particles that should not be here

Time and distance are tied together by the one speed everyone agrees on, so if time is not universal, distance cannot be either. Here is the sum, and it needs nothing we do not already have.

A rod of length L0 lies at rest in your frame, and something flies past it at speed v. You time the flight from nose-passes-one-end to nose-passes-the-other: t = L0/v. The flying observer times the same two events, but they are present at both of them with a single clock, so theirs is the clock that runs slow: they record t0 = t/γ. They work out the rod's length the only way anyone can — speed multiplied by the time it took to go past: L = v × t0 = v × t/γ = L0/γ. Same speed, less time recorded, shorter rod. So an object moving past you is measured to be shorter along its direction of motion, by exactly the same factor γ:

L = L0 / γ L0 is the proper length — the length measured by someone travelling with the object, for whom it is at rest. Everyone else measures less, and only along the direction of motion. The light clock in 19.3 already relied on this: we took the mirror separation L to be the same for both observers. Here is why it must be: if two identical rulers held sideways past each other were both shorter, one observer would see two marks coincide that the other says do not — a contradiction with no resolution.

The best evidence for all of this falls on your head continuously, and it is worth doing the arithmetic yourself.

High in the atmosphere, about 15 km up, cosmic rays from space smash into air molecules and create particles called muons. A muon is a heavy, unstable cousin of the electron. Left alone, half of any batch of muons decays in 1.523 microseconds. They are created moving downward at about 0.998c.

Ten thousand muons are created 15 km up, travelling downward at 0.998c — call it 3 × 108 m/s. Half of any batch decays every 1.523 microseconds.

Work out the trip time, and how many half-lives that is. Before doing any relativity: how many of the ten thousand should reach sea level?

Zero — and that is the prediction the classical calculation makes, unambiguously. Now hold a detector at sea level. Muons pour through it, roughly one per square centimetre per minute, day and night, right now, through this page and through you. A prediction of none against an observation of steady rain is not a small error; it does not even have a ratio. Here is the sum done both ways.

Do the classical sum first, and watch it fail

  1. How long does the trip take? 15 000 m at 0.998 × 3 × 108 m/s. That is about 50 microseconds.
  2. How many half-lives is that? 50 ÷ 1.523 ≈ 33 half-lives.
  3. What fraction survives 33 half-lives? One part in 2³³, which is about one in eight billion.
  4. So the prediction is: essentially none of them reach the ground. Start with ten thousand muons and you should expect zero — not "few", zero, and it would still be zero if you started with a billion.
  5. What actually happens. They arrive in floods. The classical answer is not slightly low; it is wrong by a factor of about a billion, which is the kind of discrepancy that ends a theory.
  6. The relativistic sum. At 0.998c, γ ≈ 15.8. The muon's internal clock — the thing that decides when it decays — runs slow by that factor as seen from the ground. In the 50 µs of our time, only about 3.2 µs passes for the muon. That is about two half-lives, not thirty-three. About a quarter of them survive.
  7. Now switch to the muon's point of view, which must also work, by postulate 1. The muon does not think its own clock is slow; it has 1.523 µs of half-life like any muon. But it sees the Earth rushing up at 0.998c, and the 15 km of atmosphere is contracted by γ to under a kilometre. It has a much shorter journey to make, and it makes it easily.
  8. Same answer, two descriptions. From the ground: dilated time. From the muon: contracted distance. Neither view is more true, and both give the same number of survivors, which is the only thing you can actually count.
Bench 19C · The muons that get throughten thousand muons, each decaying at its own random moment — survivors are counted, not calculated
γ at this speed
—
Trip time, ground clock
—
Trip time, muon's own clock
—
Reached sea level
—
Each muon is given its own random lifetime drawn from the decay law, then flown down. Nobody tells the simulation how many should survive.

Run it with relativity switched off and you will get zero survivors out of ten thousand, every time. Switch relativity on at 0.998c and thousands come through — but wind the speed back to 0.9c and the simulation still shows you none: γ is only about 2.3 there, and the muons need γ near 16 to survive the fall. Relativity does not rescue slow muons, and the sky does not send us any. The muons hitting your roof are not a subtle confirmation of a subtle theory; they are a factor of a billion.

Try it tonight · plot the curve that hid relativity for three centuries

Nothing you own moves fast enough for length contraction to matter, or fast enough for time dilation to be noticeable. But you can find out exactly how close to c you have to get before anything happens. Work out γ for a passenger jet at 900 km/h (0.00000083c): γ = 1.00000000000034. Over an eight-hour flight, the speed effect alone makes the passenger age about ten nanoseconds less than someone on the ground — though a real passenger is also ten kilometres higher, which pushes the other way by about thirty nanoseconds, so they actually land fractionally older. Then work out γ for 0.5c — 1.155, a 15% effect — and for 0.9c, 0.99c, 0.999c. Plot γ against v/c on graph paper. The curve is flat and boring until about 0.5c and then goes vertical. That shape is why three centuries of superb physicists never suspected any of this.

19.6

The module in six lines

IdeaWhat it says
Postulate 1The laws of physics are identical in every non-accelerating frame. No experiment reveals absolute motion.
Postulate 2Light travels at c for everyone, whatever their motion or the source's. Forced on us by Maxwell and confirmed by Michelson–Morley.
γγ = 1/√(1−v²/c²). Derived from the light clock with Pythagoras alone. Equals 1 to fifteen decimals at everyday speeds.
Time dilationA moving clock is measured to run slow by γ. Symmetric: each of you sees the other's clock as the slow one, and both are right.
Simultaneity"At the same time, over there" is not a property of events; it depends on the observer. This is what resolves the paradoxes. Causal order is still absolute.
Length contractionMoving objects are shorter along their motion by γ. The muons reaching sea level are the proof, and the margin is a factor of a billion.
—

At source