Concept

Light cone — where it appears

The set of events a flash from one event can reach or be reached from, dividing spacetime into what can be influenced and what cannot. Its shape is the same for every observer, which is why the past-and-future division it makes is one nobody can dispute even when they disagree about simultaneity.

Named by 13 essays across 3 fields — each of them below, with the objects they name alongside it.

A spacetime diagram at β = 0.5. Position across, time up, in units where light travels at 45°. The shaded wedges are the future and past reachable by light; the tilted axes belong to an observer moving at 0.5 of the speed of light.

Two axes, one speed, and a diagram that does the arguing

Put position across and time up, insist that light travels at forty-five degrees for everyone, and nearly every result in special relativity becomes something to read off rather than derive.

relativity · Spacetime diagram
Simultaneity at β = 0.5. Two events on the same horizontal line happen at the same time for the stationary observer. The moving observer slices spacetime along the tilted line, and for them one event happens before the other.

Now is a choice of slicing

Two events happening at the same time is not a fact about the events. It is a fact about who is asking, and different observers slice spacetime at different angles.

relativity · Simultaneity
Composing a boost with a speed, and never passing one. The speed one observer measures when a body moving at v is seen from a frame already moving at u, for u = 0.4, 0.6, 0.9, 1 times the speed of light. Every curve ends at one and none crosses it. The straight dashed line is the Galilean answer, u + v, which reaches 1.4c and is wrong. The flat line at the top is light: composing c with anything gives c back.

Speeds that refuse to add, and the quantity that does

Run at half the speed of light, throw something forward at half the speed of light, and the result is not the speed of light. It is four-fifths of it, and there is a variable in which the arithmetic is still simple addition.

relativity · Velocity addition
What puts a scale on a tilted axis. A spacetime diagram with a second observer's axes at β = 0.6. The curves are the sets of events at a fixed interval from the origin — c²t² − x² = s², one branch each for s = 0.5, s = 1, s = 1.5 — and the whole point of them is where they cross. A unit of the moving observer's time is wherever the s = 1 curve meets the tilted time axis, and on the page that point is 1.250 times as far from the origin as the stationary observer's own unit. Without the hyperbolae the tilted axes carry no scale at all, and every argument about which of two clocks is behind is unreadable off the diagram. Each drawn crossing reads back as its own interval to 0.0e+0.

The quantity nobody argues about

Relativity takes away the length of a rod and the duration of an event and hands back exactly one thing in their place. Its hyperbolae are what put a scale on the tilted axes of a spacetime diagram — without which the diagram is a picture with no units on it.

relativity · Spacetime diagram
Where the light that was sideways ends up. The direction a photon is seen to travel in the laboratory, against the direction it was emitted in the frame of the source, for a source moving at 0.5c, 0.9c, 0.99c. The straight diagonal is what would happen if a boost only changed frequencies; every curve lies well below it, which is aberration. The number that matters is where the emitted right angle lands, because half of everything emitted is on that side of it: 60.0° at 0.5c, 25.8° at 0.9c, 8.1° at 0.99c. The usual shorthand for that angle is 1/γ, which gives 49.6°, 25.0°, 8.1° — good to a few per cent only once the source is genuinely relativistic, and wrong by 17% at 0.5c. Nothing is emitted differently in any of these cases: the source is radiating exactly as it always did, and it is the map from its angles to ours that has changed.

The sky that crowds into a cone

A boost does not only shift frequencies. It remaps directions, so half of everything a fast traveller can see is squeezed into a forward cone of half-angle about 1/γ — and because brightness carries four powers of the Doppler factor, what lies ahead is overwhelming and what lies behind has effectively gone.

relativity · Doppler
Which happened first, asked of several observers. Two events on a spacetime diagram: one at the origin and one 3 light-seconds away and 1 second later, so that light leaving the first cannot reach the second. Through the second event runs a family of lines, each one the set of events some observer calls simultaneous with it; an observer moving at a fraction β of the speed of light has such a line of slope β on these axes. Where a line meets the vertical axis is the time that observer assigns to the second event. For a slow observer that meeting point is above the origin and the second event happens later; for a fast one it is below and the second event happens EARLIER. The changeover is at β = 0.3333, which is the time separation divided by the space separation, and it is a legal speed only because the separation is spacelike. So the order of these two events is not a property of the events. What every observer does agree on is that neither could have caused the other, because the two lie outside each other's light cones — drawn here as the diagonals — and that agreement is what causality rests on rather than on any shared notion of before.

Which came first, and who decides

Two events far apart can happen in either order, depending on who is asked, and both answers are correct. That is not a loophole in causality but the reason causality survives at all — because the pairs whose order is negotiable are exactly the pairs neither of which could have caused the other.

relativity · Simultaneity
The figure a static field is not allowed to close. A spacetime diagram of two clocks held at fixed heights 22.5 metres apart, drawn as though spacetime were flat: time upward, height to the right, light at forty-five degrees. The lower clock sends two pulses; the upper clock receives them. Because the field does not change with time, nothing about the second pulse's journey differs from the first's, so the two null lines are congruent and the four worldlines bound a parallelogram. Opposite sides of a parallelogram in flat spacetime have equal length, so the proper time between emissions must equal the proper time between receptions, and the two clocks must agree. They do not: the measured fractional difference across a tower this tall is 2.455e-15, which Pound and Rebka established in 1960 and Pound and Snider confirmed to one per cent in 1964. Every step above is either a definition, an assumption of staticity, or a theorem of flat geometry — so the measurement refutes the flatness. No field equation has been written down, and none is needed: a laboratory result twenty-two metres tall is already incompatible with a flat spacetime.

The parallelogram that will not close

Two clocks twenty-two metres apart in a lift shaft run at different rates, by two parts in a thousand million million. That measurement, on its own, is enough to prove that spacetime cannot be flat — and the proof needs no field equation, no curvature tensor and no astronomy. It needs one drawing and the fact that opposite sides of a parallelogram are the same length.

astrophysics · Gravitational redshift
A horizon 0.97 light years behind, made by nothing but the motion. Position across and time up, in units where light travels at 45°, for a rocket holding a constant proper acceleration of 1 gravity. The worldline is the hyperbola x² − c²t² = (c²/a)², asymptotic to the light line it never crosses. Three light signals are drawn: one released at x = 0.55 catches up at t = 0.63, one released at x = 0 never arrives, one released at x = -0.6 never arrives. The dividing line is the asymptote itself. Everything at or behind it is permanently out of reach, and for one gravity that boundary sits 0.97 light years behind the rocket's starting point. Nothing is there — no mass, no field, no surface. The horizon is a consequence of never stopping.

The wall of silence behind a rocket that never stops

Hold a constant acceleration and the worldline is a hyperbola asymptotic to a light ray — so there is a light ray that never catches it. An observer who never stops accelerating has a horizon a distance c²/a behind, made by nothing but the motion, and at one gravity it sits 0.97 light years back. Nothing is there. No mass, no surface, no field.

relativity · Accelerated frames
Where to put the far clock's zero. Two clocks three light-seconds apart, synchronised by radar: a pulse leaves the near clock at 0, bounces off the far one, and returns at 6 seconds. The far clock must be set to some time between those, and every choice is drawn. Einstein's convention puts it at 3 — halfway — and gives the same speed of light in both directions. Any other value is equally consistent with every measurement that can be made, because everything measurable involves a round trip and the round trip takes 6 seconds under every one of them: computed here across the five conventions, the round-trip times differ by 0e+0 seconds. The lines are the resulting surfaces of simultaneity, which fan out from the halfway choice. What each choice fixes is the one-way speed of light — ε = 0.25 makes it 2.00c outward and 0.67c back, ε = 0.4 makes it 1.25c outward and 0.83c back, ε = 0.5 makes it 1.00c outward and 1.00c back, ε = 0.6 makes it 0.83c outward and 1.25c back, ε = 0.75 makes it 0.67c outward and 2.00c back — and no experiment distinguishes them, because measuring a one-way speed requires two synchronised clocks and synchronising them requires the answer.

The speed that cannot be measured one way

Every measurement of the speed of light ever made has sent it out and brought it back. Measuring it one way needs two clocks that agree, and making two distant clocks agree needs a rule about when the far one should read what — which is a choice, not a discovery. The constancy of c is a fact about round trips; its isotropy is a convention, chosen because it makes the equations simple.

relativity · Simultaneity
Where the second tick actually goes. A spacetime diagram with a second observer's axes at β = 0.6. The hyperbolae are the sets of events one second and one metre from the origin — invariantly, by the interval — and every observer's unit tick is where their own axis crosses them. That is checked here rather than drawn by eye. The moving observer's one-second mark sits 1.458 times further from the origin on the page than the stationary one's, so a ruler laid on this picture reads the two frames on different scales. The picture is not distorted; the page is Euclidean and spacetime is not. The Lorentz factor here is 1.2500.

The diagram a ruler cannot read

A spacetime diagram is drawn on flat paper, and the geometry it depicts is not flat. The tick marking one second on a moving observer's axis sits further from the origin than the stationary observer's, by an amount that is not the Lorentz factor and means nothing at all.

relativity · Spacetime diagram
A map that keeps every cone and bends every worldline. Left: a grid of inertial worldlines, drawn solid, lines of simultaneity, faint, and light lines at 45°, dashed, in one space dimension. Right: the same grid after a map that stretches the light-cone coordinates u = t − x and v = t + x by two different increasing functions, u + 0.45·tanh(1.5u) and sinh(0.45v)/0.45. Light lines go to light lines, still at 45° to within a part in a billion, and the causal order of every one of 4000 sampled pairs of events is unchanged: whatever could influence what still can, and nothing new can. But the straight worldlines are bent — the one through x = 1 by 0.19 across the window — and the lines of simultaneity are no longer straight. In one space dimension the light cones cannot tell this picture from the inertial one.

What the light cones alone can decide

Keep nothing of spacetime but its light cones — which events could influence which — and ask how much geometry survives. With one dimension of space, almost none: any pair of increasing stretches of the two families of light lines preserves every cone and bends every straight worldline. With two or more, almost all of it: the only maps that keep every cone are Lorentz transformations, shifts and a uniform stretch, and nothing about straightness has to be assumed.

relativity · Spacetime diagram
All of flat spacetime in a diamond. The whole of flat spacetime with one space dimension, squeezed into a finite diamond by applying arctan separately to the two light-cone coordinates u = t − x and v = t + x. Solid curves are the worldlines of observers at rest at x = −3, −2, −1, 0, 1, 2, 3; faint curves are the instants t equal to the same values; the dashed lines are the two light rays through the origin, still at 45°, as every light line is — checked to a part in a billion — and the causal order of 4000 sampled pairs is unchanged. Infinity is not one place. Every worldline at rest runs from the bottom corner i⁻ to the top corner i⁺; every instant runs between the side corners i⁰; and light rays begin on the lower edges ℐ⁻ and end on the upper edges ℐ⁺. Each of these limits is checked at ten million units out.

The five places infinity turns out to be

Flat spacetime goes on for ever in every direction, and it can still be drawn whole on a page. Squeeze each family of light rays with a function that keeps their order and the infinite plane becomes a diamond with every light cone still at 45°. The price is distance, which the picture no longer shows. What it shows instead is that infinity is not one place: observers slower than light all end at a single point, instants end at another, and light ends along a whole edge of its own.

relativity · Spacetime diagram
A gap that every angle from air falls into. The stop bands of a stack of quarter-wave layers of index 4.6 and 1.6 — tellurium and polystyrene, the pair of the first such mirror — against frequency, in units of the design frequency, and the parallel index β = n₀ sin θ₀ the light brings along the layers; TE polarisation on the right, TM on the left. Shaded regions are gaps. Light from air can only have β between −1 and 1, the vertical lines; within those lines the gaps for both polarisations overlap between f = 0.848 and 1.321, the band marked across the figure, so every angle of incidence and both polarisations are reflected: a relative width of 43.6%. The TM gap narrows as β grows and closes at the internal Brewster index, 1.51, which light from air cannot reach.

The mirror that works from every direction

A stack of alternating transparent layers reflects nearly all the light of one colour arriving straight on, and less as the light tilts, because tilting moves the forbidden band. A structure that repeats in only one direction ought therefore to be a mirror for only a range of directions. It is not, if the layers differ enough: light arriving from air cannot bring enough sideways momentum to escape the forbidden band at any angle, for either polarisation, and a flat stack of plastic and tellurium reflects every angle over a band of frequencies almost half as wide as its centre.

waves · Periodic media

Named alongside it

The objects these essays reach for when they reach for this one.

CausalityThe Lorentz transformationSimultaneitySpacetime diagramInvariant intervalProper timeWorldlineThe Lorentz factorRapidityReference frameCausal orderEquivalence principle

All concepts