Illustrated Physics
physics, drawn
Concept

Superposition — where it appears

The rule that overlapping waves add displacement by displacement, unconditional in a linear medium and the origin of interference and beats. It is what makes normal modes independent and what fails in a non-linear medium, where two waves can create a third at a frequency neither had.

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

A travelling wave, caught at one instant. A sine wave plotted against position at a fixed moment. The wavelength is the distance between repeats. The ghosted curve is the same wave a moment later.

A wave is a shape that travels, and nothing else does

In a wave on water, no water goes anywhere. What moves is the shape — and separating the two motions is the whole of wave physics.

waves · Wave motion Two sources 3 wavelengths apart. Circular wavefronts from two sources, with the lines along which they arrive in step drawn through the pattern. Those lines are where the path difference is a whole number of wavelengths.

When two waves meet, they simply add

Waves pass through each other unchanged and their displacements add point by point. From that one impoverished-sounding rule comes interference, beats, and the evidence that light is a wave at all.

waves · Superposition Harmonics on a fixed string. Standing-wave patterns on a string clamped at both ends, at n = 1, 2, 3, 4. Only whole numbers of half-wavelengths fit, which is why the allowed frequencies are discrete.

Only some notes fit, and that is where discreteness comes from

A string clamped at both ends can vibrate at some frequencies and not others. A continuous object producing a whole-number list is the oldest quantisation in physics.

waves · Standing waves The field of a dipole. Field lines traced from a positive charge toward a negative one. Every line does eventually close on the negative charge, but the outer ones loop far outside any frame, so this picture is a crop rather than the whole field.

Field lines are a choice, not a discovery

Nothing in space is arranged in lines. The lines are a drawing convention — and an unusually good one, because three separate facts about the field survive the translation.

electromagnetism · The field concept The same field, sampled as arrows. The field at a grid of points, each arrow pointing the way a positive test charge would be pushed and scaled by the strength there.

The field before the lines were drawn on it

A field is a vector attached to every point of space. Drawing it as arrows on a grid is honest and ugly; drawing it as lines is beautiful and throws information away.

electromagnetism · The field concept Malus's law. The fraction of polarised light passing a filter, against the angle between the light's own direction of shaking and the filter's axis. It is the cosine squared: half at 45 degrees, nothing at 90.

The direction of the shaking, and the filter that only asks about it

A wave that travels one way can still shake in any direction across that way. Light does, most of it shakes in all of them at once, and a sheet of plastic can ask which.

optics · Polarisation A packet on deep water, ω = √(gk), 1.6 s apart. A wave packet built from a Gaussian spread of wavenumbers about 1.57 per metre, drawn at two times 1.6 seconds apart, with its computed envelope ghosted around it. Between the two frames the envelope's peak moves 2.01 metres and the marked crest moves 3.95 metres, so the packet travels at 1.26 metres per second and the crests at 2.47 — a ratio of 0.51.

The packet that moves at another speed than its own crests

Watch a group of water waves and the individual crests run forward through it, rise in the middle, and vanish off the front. The group travels at half the speed of the crests, and both numbers are real.

waves · Wave packets A packet, and the wavenumbers it is made of. Above: a wave packet built by adding a continuum of plane waves centred on wavenumber 12 with a spread of 1.6. Below: the weight given to each wavenumber. The packet's width, measured as the standard deviation of its probability, is 0.442; the spread of wavenumbers is 1.131; their product is 0.500, which is a half and cannot be less. Narrowing one bracket widens the other by exactly as much. Nothing quantum has been used to draw either panel.

Sharpness has to be paid for

A wave with one exact wavelength has no beginning and no end. Making it short requires adding wavelengths, and the two widths trade against each other exactly — which is a fact about waves, with Planck's constant added only to convert the units.

quantum · Uncertainty The interference pattern arriving one particle at a time. The same double slit — 100 micrometres apart, slits 40 micrometres wide, lit at 633 nm, screen 1 metre away — recorded after 20, 200, 1000 arrivals, with the intensity that governs them plotted underneath. Each arrival is a single dot in one place, drawn at a position sampled from that intensity. After 20 there is no pattern to see; after 1000 the fringes are unmistakable, with the dark ones exactly 6.33 millimetres apart — the wavelength times the screen distance over the separation. The bright ones are not evenly spaced, because the single-slit envelope pulls each maximum toward the centre; its first zero is at 15.8 millimetres and is set by the width of one slit alone.

One arrival at a time, and the pattern still appears

Send particles through a double slit slowly enough that only one is ever in the apparatus, and each arrives as a single dot in one place. Wait, and the dots assemble into fringes that no dot knew about.

quantum · Matter waves A beam through a chain of analysers. An unpolarised beam of intensity 1 entering 3 analysers oriented at 0°, 90°, 0°, selecting the + then + output each time. The intensities are 0.500 and 0.500 out of analyser 1; 0.250 and 0.250 out of analyser 2; 0.125 and 0.125 out of analyser 3. The last analyser is oriented the same way as the first, and it produces a "−" beam of 0.125 — a beam of exactly the kind the first analyser removed entirely. The middle analyser did not filter the beam; it replaced what the beam had an answer to.

The answer that was not there before

Send a beam through an analyser and it splits in two. Send one half through a second analyser turned sideways, then through a third pointing the way the first did, and the property the first analyser removed has come back.

quantum · Measurement The two normal modes of a coupled pair at kc/k = 0.1. Two equal masses, each held to a wall by a spring of stiffness k and to each other by a coupling spring of 0.1k. Above: the in-phase mode, in which both masses move the same way by the same distance, the coupling spring never changes length, and the frequency is therefore 1.0000√(k/m) — the coupling does not appear in it at all. Below: the out-of-phase mode, in which the coupling spring changes length by twice the displacement, so each mass feels k + 2kc and the frequency rises to 1.0954√(k/m), a ratio of 1.0954. Both displacement patterns are the eigenvectors of the pair's stiffness matrix, obtained from its trace and determinant and checked against those two square roots. The red arrows are the force each mass is pulled back by, computed as −Kx: 1.00kA in the first mode against 1.20kA in the second, a factor of 1.20, which is the square of the frequency ratio because ω² is a stiffness over a mass. Any motion of the pair whatsoever is a sum of these two and nothing else.

The two pendulums that will not stop swapping

Coupled oscillators joined by a weak spring appear to hand energy back and forth. Nothing is handed anywhere: the system has only a pair of motions that keep their shape, at √(k/m) and √((k+2kc)/m), and the apparent traffic is the beat between them — 51 swings from one handover to the next at a coupling of one part in fifty. Extend the same arithmetic to N masses and it produces a dispersion relation with a hard ceiling, near 7 THz in copper.

mechanics · Harmonic approximation Two sources 4 wavelengths apart. Circular wavefronts from two sources, with the lines along which they arrive in step drawn through the pattern. Those lines are where the path difference is a whole number of wavelengths.

Why two lamps never interfere

Adding amplitudes is unconditional; fringes are not. What decides is whether the phase difference holds still for longer than a detector takes to record it — and a 10 nm slice of white light holds it for 100 femtoseconds, across a path of 30 micrometres.

optics · Coherence Reflected upside down. A pulse arriving at a join where the impedance rises by a factor of 3, drawn at three moments. The amplitudes are read off the marched wave: the reflected pulse is -0.500 of the incident one and the transmitted pulse is 0.500, against (1−Z₂/Z₁)/(1+Z₂/Z₁) = -0.500 and 2/(1+Z₂/Z₁) = 0.500 from the two matching conditions. The reflection is inverted, which is the same fact as a pulse on a string flipping when it reaches a wall: a wall is a medium of infinite impedance, and the inversion is what keeps the displacement at the join equal to zero. Note that the transmitted amplitude exceeds one where the second medium is lighter, and that this is not a violation of anything: amplitude is not energy.

The equation that lets a shape travel

Newton's second law applied to a piece of string a millimetre long gives T·y″ = µ·ÿ, and the derivation never once asks what the string is made of. Two things fall out immediately: the speed is √(T/µ) and belongs to the medium, and the general solution holds two arbitrary functions rather than one. The second of them is the reflection, which is why a boundary condition can be met at all.

waves · Wave motion 6 modes of a drum, and their frequency ratios. Nodal-line diagrams for 6 modes of a circular membrane, each labelled with its frequency as a multiple of the lowest mode's. A mode (m, n) has m nodal diameters and n − 1 nodal circles, and the circles are drawn at the radii where the computed radial function J_m(j(m,n)·r/R) crosses zero — not at guessed fractions of the radius. The two tints are the two directions the head is moving in at that instant, and the lines between them are the parts of it that never move. The ratios are 1.000, 1.593, 2.136, 2.295, 2.653, 2.917: each one is a quotient of two zeros of Bessel functions, computed here from the power series and checked against their published values to 4.4e-7. Not one is a whole number, which is why a drum has no harmonic series and no pitch in the sense a string has one — and why these same ratios belong to every circular membrane ever stretched, whatever it is made of and however tightly it is pulled.

The drum that has no harmonics

A string's allowed frequencies are 1, 2, 3, 4 times its lowest, because counting half-wavelengths is arithmetic. Clamp a membrane round a circle and the same reasoning returns 1.000, 1.593, 2.136, 2.295 instead — zeros of Bessel functions, not integers. And those numbers belong to the shape of the boundary alone, which raises a question nobody could answer until 1992.

waves · Standing waves The correlation, and the best a shared list of answers can do. The coincidence correlation between two polarisation analysers against the angle between them, over two full turns of the correlation — a polariser turned through 180° is the same polariser, so the picture repeats. The singlet gives −cos 2Δ, drawn through −1.00 at 0°, 1.00 at 90°, −1.00 at 180°, 1.00 at 270°. Beside it is the best correlation any shared list of pre-agreed answers can produce: straight lines between the same four extremes, with corners where the cosine is smooth. The two agree exactly at the multiples of 45° and nowhere else, and they are furthest apart — by 0.2105 — at 19.77° and 70.23°, which is ½ arcsin(2/π) from either end of the quarter turn. The difference is not a matter of degree: it is a curve against a shape with a corner in it, and no list can be bent into the curve.

The correlation no instructions can produce

A pair of gloves in two boxes agrees perfectly and needs no physics, because the answers were settled at packing. What no packing can imitate is the shape that appears as the two analysers are turned relative to each other, and the shape is a number — 2.828 where every list of pre-agreed answers is stuck at 2.

quantum · Entanglement The plane deleted, and one charge put in its place. A charge of 1 nC held 20 mm above an earthed conducting plane. The lines are traced through the field of the real charge plus an equal and opposite one at the mirror position, and then cut at the plane, because below it there is metal and no field whatever. Nothing in the tracing knows about the surface: each line follows the local field direction and stops where it arrives. That every one of them arrives perpendicular — the worst departure among the 9 drawn is 2.2° away from square — is the boundary condition showing itself rather than a rule imposed on the drawing. The image charge is drawn faint because it is not there: it is a way of writing a function that happens to satisfy the equation and the boundary values, which by the uniqueness theorem makes it the field and not a model of the field.

The charge that has to be somewhere else

Hold a charge above an earthed metal sheet and the field above it is exactly the field of two charges — the real one and an imaginary partner buried at the mirror position. The partner is not an analogy or an approximation. It is a legal guess, and a legal guess is a proof.

electromagnetism · Conductors How far apart the two paths can be. Fringe visibility against the difference between the two path lengths, for light at 550 nm with a bandwidth of 100 nm. Each curve is the modulus of the Fourier transform of its own line shape, summed over the spectrum here rather than taken from a standard result, and the three shapes have the same width at half height. The conventional coherence length λ²/Δλ is 3.02 µm for this light, and what the curves show is that the convention is a rounding of three genuinely different behaviours: a flat band halves at 1.83 µm, a Gaussian line halves at 1.33 µm, a Lorentzian line halves at 0.68 µm. The flat band comes back — a rectangle's transform rings — and the Lorentzian's tails keep a little visibility very much further out than its width suggests. Nothing here is about the apparatus: the fade is the source forgetting its own phase.

How far a wave can remember

Split a beam, delay one half, and put them back together. The fringes are bright while the delay is short and fade as it grows, and the distance at which they die is fixed by nothing but the width of the source's spectral line. Watching them fade is reading the line shape.

optics · Coherence The narrow packet is the one that spreads. Three packets on deep water, ω = √(gk), all built on the same 4 m carrier and differing only in bandwidth — 10%, 18%, 28% of the carrier wavenumber. Each curve is the width of the emitted envelope, measured as the second moment of its intensity about its own centroid in a frame moving at the group velocity, divided by that width at the start. The starting widths are 4.50 m, 2.50 m, 1.61 m, and the order of the curves is the reverse of the order of the widths: the shortest packet, which is the one with the widest spectrum, is the one that comes apart first. The dashed curves are √(1 + (t/τ)²) with τ = σ₀²/|d²ω/dk²| — computed from the dispersion relation, not fitted. They agree with the measured widths to 0.3% at 10% bandwidth, 3.3% at 18% bandwidth, 8.5% at 28% bandwidth, and that ordering is the second thing the figure says: the closed form keeps only the curvature of ω(k), so it is exact for a narrow spectrum and starts to fail for a wide one, by about as much as the cubic term is worth. A packet with no bandwidth would never spread at all, and would also never begin or end.

The packet that will not keep its shape

A group velocity is only the first thing a dispersion relation says. The second is that the packet spreads — at a rate fixed by its own bandwidth and by the curvature of ω(k) — so a short pulse comes apart quickly and a long one hardly at all. It is a trade quantum mechanics is usually given credit for, and classical waves make it too.

waves · Wave packets A peak that leaves before it should have arrived. Two pulses at the far face of a cell, both normalised to the peak the vacuum one reaches. One has crossed empty space; the other has crossed a medium with two gain lines either side of its carrier, whose group index there is -3.85 — negative, so the envelope's peak should emerge early, and it does. Measured off the two curves the advance is 616 in units where the carrier period is 2π, against 582 predicted from the group index alone; the difference is the higher-order dispersion the group index leaves out. The advance is 0.21 of the pulse's own duration, and the peak leaves the far face before the input peak has entered the near one. Nothing has outrun anything. The emergent pulse is a reshaped version of the input's leading edge, which arrived in plenty of time and already contained — for a smooth pulse — everything needed to reconstruct the rest; the medium amplifies it by 1.14× and delivers it early. Give the pulse a genuine front, a moment before which it is exactly zero, and that front travels at the speed of light in every medium there is.

The speed that carries no signal

In the right medium a pulse's peak emerges from the far side before it entered the near one. The measurement is real, it has been made, and nothing has outrun light — because the peak of a smooth pulse was never carrying any information in the first place.

waves · Wave packets The Cornu spiral, and the chords that are amplitudes. Fresnel's two integrals plotted against each other, traced from v = -4.2 to 4.2. Arc length along the curve is v — the distance along the wavefront in units of √(λL/2) — and the amplitude arriving from any stretch of that front is the straight chord between the stretch's two endpoints, not the length of curve between them. The two eyes at ±(½, ½) are where the far parts of an unobstructed front pile up, so the whole open front is the chord between them, of length 1.4142. A straight edge blocks half of it and leaves a chord of 0.7071 — exactly half the amplitude, so a quarter of the intensity, at the geometrical shadow's edge. The chord drawn here runs to v = 1.217, is 1.6556 long, and is the longest chord from the eye that exists: its square over the open chord's square is 1.370, which is why the brightest fringe outside a shadow is brighter than no obstacle at all.

The spiral that says how much light arrives

Huygens' construction says where a wave has got to and refuses to say how bright it is, because an envelope is a locus and a locus has no amplitude. Adding the wavelets with their phases instead of taking their envelope turns the whole subject into one curve, and every near-field pattern there is becomes a chord of it.

waves · Huygens The index that depends on which way the light is going. The two refractive indices of 3 uniaxial crystals, against the angle between the wave normal and the crystal's optic axis. The flat lines are the ordinary index, which is the same in every direction because the ordinary wave's field is always perpendicular to the axis. The curves are the extraordinary index, which runs from the ordinary value along the axis — where the two waves are identical and the crystal behaves like glass — to its extreme value at right angles to it. calcite (CaCO₃) has n_o = 1.6584 and n_e = 1.4864, so n_e − n_o = -0.1720; quartz (SiO₂) has n_o = 1.5443 and n_e = 1.5534, so n_e − n_o = 0.0091; lithium niobate has n_o = 2.3005 and n_e = 2.2075, so n_e − n_o = -0.0930. The sign of that difference is what makes a crystal positive or negative, and it decides which of the two images in a double-refracting crystal is the one that moves.

The crystal that answers twice

Lay a piece of calcite on a printed page and the print appears twice. One image sits still when the crystal is turned and the other goes round it. Nothing has been done to the light except pass it through a material whose response to a field is not a number.

optics · Polarisation How fast a spinning electron would have to turn. The equatorial speed of a uniform sphere with the electron's mass and an angular momentum of ħ/2, against the radius it is given, both logarithmically. The expression is 5ħ/4mr and it passes the speed of light at 4.83e-13 m — half a picometre, which is four hundred times larger than a hydrogen nucleus. Giving it a smaller radius only makes the answer worse: at the experimental upper bound, 10⁻¹⁸ m the equator would move at 4.8e+5 times the speed of light; at the classical electron radius the equator would move at 1.7e+2 times the speed of light; at the reduced Compton wavelength the equator would move at 1.3e+0 times the speed of light. No radius the electron is permitted to have gets anywhere near a legal answer, and the experimental bound is off the scale by eight orders of magnitude. So the angular momentum is not the angular momentum of anything going round. It is a property the particle has, in the same way a charge is, and the only thing it shares with a spinning top is the algebra it obeys — which is, admittedly, the whole of what angular momentum means in physics.

The angular momentum that is not a rotation

An electron has angular momentum, and it is not going round anything. A sphere of its mass carrying that much angular momentum would need its equator moving at half a million times the speed of light at any size the electron is allowed to have. What survives of the analogy is the algebra — and the algebra turns out to require that turning the thing all the way round leaves it changed.

quantum · Spin A quarter of the time, an object is found without being touched. The outcomes of sending one photon into a balanced interferometer, with and without an opaque object in one arm, computed from the same amplitudes. With the arm clear, every photon leaves by the bright port and the dark port receives nothing. With the object in place, 50 per cent of photons are absorbed by it, 25 per cent reach the bright port and say nothing, and 25 per cent reach the dark port — which is impossible unless something is in the arm, and which happens with the object still sitting there unabsorbed and unlit. The photon that produced that click did not go through the blocked arm, because a photon that goes through a blocked arm is absorbed. So an object has been located by light that never met it. The price is that 50 per cent of attempts destroy the thing being looked for: an efficiency of 33 per cent, which the Zeno version of the apparatus takes as close to one as one likes.

The measurement that never touched it

A balanced interferometer sends every photon to one output and none at all to the other. Put an object in one arm and the empty port starts clicking — and a click there is caused by a photon that cannot have gone near the object, because a photon that goes near it is absorbed. The object has been found by light that never met it.

quantum · Measurement Four predictions no list of answers can keep. The four measurements a three-particle GHZ state predicts with certainty, and what the best possible list of pre-agreed answers does with them. Each row is a choice of which quantity to measure on each of the three particles; the quantum value is not an average but a certainty, so a single run of any row has a determined outcome. Every list of answers assigns a value to X and to Y at each particle, which is sixty-four lists in all, and the enumeration finds that 32 of them get three of the four right and 32 get one. None gets four, and none can: multiplying the four left-hand sides together gives every X and every Y twice, so the product is +1 for any list whatever, while the product of the four quantum values is −1. The column on the right is one such list, which agrees with the first three rows and is then forced into the opposite of the fourth. That is the whole argument, and it needs no inequality, no average and no repetition: measure the first three rows on three copies, and the fourth is predicted with certainty and comes out the other way.

The disagreement that one run settles

Bell's argument is a statistical one — a correlation of 2.828 where a pre-agreed list of answers is stuck at 2, dug out of hundreds of coincidences. Add a third particle and the argument stops being about how often. Three measurements predict a fourth with certainty, every list of answers that gets the three right gets the fourth exactly backwards, and one run of the experiment is enough.

quantum · Entanglement Every line that goes in has to come out. Field lines of a 5:1 solenoid in the plane through its axis, each traced by stepping along the local direction of a field summed turn by turn from Biot–Savart. Inside the winding they are parallel and evenly spaced, which is the picture the textbook argument is about. Outside they are not absent: they are spread over the whole of the rest of space, which is why the field there is small — 1.60e-2 of the centre value at 2 radii off the axis — and why it cannot be zero. A line has no end, so every one of the lines through the bore returns outside, and a field with no outside would be a field whose lines stop.

The field outside the solenoid, which is not zero

Ampère's law says the field outside a solenoid vanishes, and every step of that argument is exact — for a winding of infinite length. A real one is a bar magnet seen from outside, its external field falls as the inverse square of its length rather than to nothing, and the "exactly zero" that makes the derivation so satisfying is the one part of it a laboratory cannot have.

electromagnetism · Ampere law N when the phases are random, N² when they are not. Scattered intensity against the number of scatterers, both logarithmic, for two ways of adding the same amplitudes. The lower curve averages 400 draws of N unit amplitudes with independent random phases and grows as N^1.000; the upper one adds them in phase and grows as N². At 3000 scatterers the two differ by a factor of 2921. Nothing about the scatterers is different between the two — same number, same strength, same wavelength. Only the arrangement is, and it is worth three decades here.

Why a litre of water is not blue for the reason the sky is

The same molecules that make the sky blue also make the refractive index of air, and the two numbers agree because the sideways sum has random phases and the forward one does not. Condense those molecules into a liquid and the sideways sum collapses by a factor of sixteen — and what is left is thirty-four times smaller than the absorption that actually colours the water.

optics · Scattering A source moving faster than its own waves. Circles showing where each crest has reached, centred on where the source was when it emitted them. Ahead of the source the crests are closer together and the frequency heard is higher; behind, they are spread out and it is lower.

The cone the source leaves behind

Take the Doppler construction past the speed of the wave and the wavefronts acquire an envelope. Its half-angle obeys sin θ = 1/M, an expression with no pressure, no density and no shape of the object in it — so a photograph of the cone is a speedometer. And the bang is not an event at the moment of crossing — it is a signature dragged along the ground for the whole of the flight.

waves · Doppler How much of the answer a finite wire gives back. The field beside a straight segment of wire, divided by what the infinite-wire formula would give, against the length of the segment in units of the distance to the field point, on a logarithmic horizontal axis. The field is integrated element by element along the segment rather than evaluated from a closed form. A wire ten times as long as the distance already gives 92.8 per cent of the infinite answer, and one as long as the distance gives 45 — which is the practical content, and the reason the infinite-wire result is used for laboratory wires without apology. The second column is the part that matters for the law rather than for the number. The circulation of this field round a circle of radius d is not μ₀I; it falls short by exactly the fraction the segment fails to subtend. What makes up the difference is the displacement current of the charge piling up at the segment's two ends, and the two terms, both integrated here, sum to μ₀I to within 2.2e-8 per cent at every length. So Ampère's law is not approximately true for an open circuit and exactly true for a closed one — it is exactly true always, and it is a computation only when symmetry supplies the direction and the magnitude along the loop. Symmetry is doing the work; the law is doing the bookkeeping.

The law that is always true and rarely useful

Ampère's law holds for every loop and every current. Apply it to a wire of finite length and it gives an answer that is wrong by half — until the displacement current of the charge piling up at the wire's two ends is put back in, whereupon the two terms sum to μ₀I exactly at every length. The law was never approximate. It was never a computation either.

electromagnetism · Ampere law The same launches with drag 2.4 times the weight. Five launches at the same speed and at 20, 32, 45, 60, 70 degrees, drawn twice: in vacuum, where the arcs are symmetric parabolas, and with quadratic drag whose force at launch is 2.4 times the projectile's weight. Nothing about the drag figure is a parabola. Each path rises at nearly the vacuum angle, loses horizontal speed that nothing restores, and comes down far more steeply than it went up — the 32° launch leaves at 32° and arrives at 50°. The best of these angles in vacuum is 45° and in air is 32°, and the best range has fallen by 60 per cent. The asymmetry is the whole of the difference: drag removes speed in proportion to speed squared, so it takes most from the fast early part of the flight, and the descent happens at a speed the drag has already limited.

The angle that drag moves

Forty-five degrees is the answer in vacuum and almost nowhere else. Add one velocity-dependent force and the two equations of motion lock together, the closed form disappears, and the best launch angle falls — to thirty-eight degrees for a golf ball's drag and to twenty-nine for a shuttlecock. What moves it is not the loss but the asymmetry.

mechanics · Projectile What is lost is exactly what is recorded. Fringe visibility against the distinguishability of the record left in the environment, for six couplings between the interferometer and a marker. The points lie on the quarter circle V² + D² = 1, computed here to a part in 10¹² — the visibility from the output probabilities with the marker traced out, and the distinguishability from the overlap of the marker's two states, with nothing shared between the two calculations. The relation is the quantitative form of complementarity, and it is stronger than the usual statement: interference is not lost because something was disturbed, and not lost only when a measurement is made. It is lost exactly to the extent that the environment could in principle say which way the particle went, whether or not anybody looks at the environment. That is why decoherence is a matter of correlation rather than of disturbance: the coherence has not been destroyed but relocated, into a correlation between the particle and something else.

Where the interference goes

A superposition does not stop being a superposition when something interacts with it. What happens is that the coherence moves — out of the system and into a correlation between the system and its surroundings — and the interference disappears from any measurement made on the system alone. For a dust grain in air the move takes 10⁻²⁸ seconds, which is why nothing large has ever been seen in two places.

quantum · Measurement A sine on its way to a vertical face. One period of a sine, followed by the equation whose only nonlinearity is that the local speed depends on the local height. The profiles are at σ = t/t_b of 0, 0.3, 0.6, 0.9, 0.995, each obtained by solving the implicit relation u = u₀(x − (c₀+βu)t) for u at every point by bisection — and checked against the partial differential equation itself, which it satisfies to 2.6e-7. The crest travels faster than the trough, so the descending front leans forward and the ascending one leans back; the wave stays exactly as tall as it started and exactly as long, and only its shape changes. The steepest gradient grows as one over (1 − σ) — measured here as 9.83 times its initial value at σ = 0.9, against ten — so it is infinite at σ = 1 and the curve has a vertical tangent. The picture cannot be drawn past that point, which is not a failure of the drawing: the solution genuinely becomes three-valued, and what actually happens is a jump whose width is set by the dissipation this equation does not contain.

The front that steepens until it cannot

In a linear medium every wave keeps its shape, because every part of it travels at the same speed. Let the speed depend on the height by even a little and the crest overtakes the trough, the front leans forward, and after a time that can be written down the wave demands two values at one place — which is where the description ends and a shock begins.

waves · Wave motion A step, a wave from the rim, and what they make together. The pattern behind a straight edge, split into the two things Young said it was: the incident wave where the edge does not block it, which is a step, and a wave that appears to come from the rim itself. The step is discontinuous at the shadow boundary by the whole incident amplitude. The edge wave's magnitude is continuous there, to 0.0e+0 — it changes phase by π instead of changing size — and it is exactly half the incident amplitude on both sides, which is why the total intensity on the geometrical shadow boundary is 0.250000 of the unobstructed value rather than a half. Everywhere else the two add, and their sum reproduces the directly computed field to 0.0e+0. The fringes in the lit region are the interference of the two, which is why they are fringes at all: a monotonic decay has nothing to beat against. In the shadow there is only the edge wave, so there is nothing to interfere with and the intensity falls smoothly.

The wave that comes from the rim

A shadow's edge is not a boundary between light and no light, and the fringes on either side of it are not a smudge. The whole pattern is the sum of two things — the light nothing blocked, and a single wave that behaves in every respect as though the rim of the obstacle were radiating it — and splitting it that way is exact rather than a picture.

waves · Huygens Three copiers, and what each of them costs. How well three copying machines reproduce a qubit, against the state's angle from the pole. The first is a linear machine built to copy the two pole states perfectly; linearity then fixes what it does everywhere else, and on an equal superposition it produces an entangled pair whose overlap with the two copies wanted is exactly 0.500. That is the no-cloning theorem written as a number rather than as an argument: no adjustment is available, because the machine's behaviour on superpositions was decided the moment its behaviour on the basis was. The second measures in a fixed basis and prepares two copies of what it found, which is perfect at the poles and averages 0.6667 over the sphere — two thirds, exactly. The third is the best machine there is, and it manages 0.8333 on every state alike: five sixths, and not one.

The state that cannot be copied

Every measurement in this collection disturbs what it measures, and the obvious way round that is to make a spare first. It cannot be done, and the reason is not a practical difficulty or a limit on how good an apparatus can be: a copier is a linear machine, so fixing what it does to two states fixes what it does to their superpositions, and what it then does is not a copy.

quantum · Measurement One measurement that separates unpolarised from polarised. What a rotating linear polariser passes, against its angle, for beams of the same total intensity and degrees of polarisation 0, 0.35, 0.7, 1. Every curve has the same average — a polariser passes half of any beam over a whole turn, whatever its state — and they differ only in how deeply they modulate. The depth of the modulation is the degree of polarisation, exactly: a fully polarised beam goes to zero at one angle and a beam with no preferred direction gives a flat line at a half. That is the whole measurement, and it is why "unpolarised" is a statement about a modulation depth rather than about what a wave is doing.

The light with no direction of shaking

Unpolarised light is not a state of a wave; it is the absence of one, and no description of a single wave can represent it. What can is a set of four numbers, all of them powers a detector reads — and they describe every beam there is, including the ones that are neither polarised nor not.

optics · Polarisation Why only a sideways scattered wave takes anything away. The transmitted amplitude behind a thin scatterer, drawn as a phasor: the incident wave of unit length along the axis, plus a forward-scattered wave of length 0.12 at 0°, 60°, 90°, 150°. What a detector reads is the square of the total length. A scattered wave along the incident one lengthens or shortens the sum in proportion to itself; one at right angles changes the length only in second order, because a small perpendicular addition to a long vector barely alters its length. So a scatterer that removes energy from the beam at first order must scatter forward with a component perpendicular to the incident wave, and the size of that component is the whole extinction — which is the optical theorem.

Everything a scatterer removes, from one direction

How much light a particle takes out of a beam — by scattering it anywhere at all, and by absorbing it — is fixed entirely by what it does in the forward direction, where its scattered wave cannot be told apart from the incident one. The mechanism is interference, and it also gives the refractive index.

optics · Scattering The cross term, and the fact that it averages to nothing. The intensity of two waves of amplitude 1 and 0.7 added together, against the phase difference between them, in turns. A detector reads the square of the summed amplitude, which is the sum of the two intensities plus a cross term that swings between plus and minus twice the product. At no phase difference the reading is 2.89 and at half a turn it is 0.09; the flat line is what the two would give with no interference, 1.49, and it is exactly the average of the curve over a whole turn. Interference redistributes and does not create — which answers the question of where the energy goes at a dark fringe by saying that it never left.

What adding does to the energy

Waves add their amplitudes and detectors read squares, so two waves together do not deliver the sum of what each delivers. Where the two get dimmer, the natural question is where the energy went — and the answer depends entirely on whether the sources can feel each other.

waves · Superposition A resonance that goes to zero before it peaks. Fano profiles for asymmetry parameters of 5, 1.5, 0.5, 0, each normalised to its own peak, against detuning in half-widths. A large parameter gives an almost symmetric peak — the resonant path dominates and the shape is nearly Lorentzian. A parameter of zero gives a symmetric dip, a window in which the system transmits nothing on resonance. In between the profile is lopsided, with a zero on one side of the resonance and the maximum on the other, at positions whose product is exactly minus one. The asymmetry is not a defect of the measurement: it is the interference of two ways through the system, and its sign says which side of the resonance the two paths cancel on.

The resonance with a zero in it

Where a resonance is the only way through a system, the response is a symmetric peak. Where there is also a smooth path that does not care about the frequency, the two add before anything is squared — and the result is lopsided, with a frequency at which nothing gets through at all.

waves · Resonance Three ways for a wavelet to be strong, and what each leaves behind. On the left, the strength of a secondary wavelet against the angle from the forward direction, for three candidate rules. Huygens' construction as stated has no such rule: a wavelet is spherical and equally strong in every direction. On the right, what each predicts when the wavelets over a whole plane are added up, on the axis, in front of the plane and behind it. All three reproduce the incident wave in front, which is the part of the construction that has always worked. Only the rule that falls to exactly nothing at a hundred and eighty degrees leaves nothing behind, and that rule is not a repair invented for the purpose — it comes out of solving the wave equation.

The backward wave Huygens had to remove

Every point of a wavefront is a source of a spherical wavelet, and a spherical wavelet goes in every direction — so the construction predicts a wave travelling backwards as well as forwards. Nothing of the kind exists, and the repair is a factor that Huygens' geometry has no room for.

waves · Huygens Minima that are not zeros. The amplitude along a line carrying a wave towards a load and its reflection back, for reflection magnitudes of 0, 0.35, 0.7, 1. With everything reflected the pattern touches zero and is a standing wave in the strict sense. With less than everything it does not: the minima sit at one minus the reflection and the maxima at one plus it, so the pattern is a partial standing wave sitting on a travelling one. The spacing is half a wavelength in every case, and the depth is the only thing that changes — which is why one number, the ratio of the maximum to the minimum, is enough to report the whole pattern.

The node that is not standing still

A wave meeting a perfect reflector makes a standing wave with real nodes. A partial reflection makes something that looks the same and is not: the minima are not zeros, energy flows steadily through them, and the depth of the pattern is a measurement of the load that caused it.

waves · Standing waves Which pairs have anything between them. The commutator of every pair of 4 observables of a spin-½, multiplied out in 2×2 complex arithmetic and shown by the size of AB − BA. The diagonal is exactly zero: an observable commutes with itself, which is why measuring the same thing twice gives the same answer. S², the total angular momentum, is a multiple of the identity here and so commutes with everything — its row and its column are zero, and a spin can have a definite total angular momentum and a definite component at the same time. The largest entry is 0.7071 in units of ħ². Sz: 0.000 with Sz, 0.707 with Sx, 0.707 with Sy, 0.000 with S²; Sx: 0.707 with Sz, 0.000 with Sx, 0.707 with Sy, 0.000 with S²; Sy: 0.707 with Sz, 0.707 with Sx, 0.000 with Sy, 0.000 with S²; S²: 0.000 with Sz, 0.000 with Sx, 0.000 with Sy, 0.000 with S². A zero cell is a promise that the two quantities can be sharp together; a non-zero one is an obstruction whose size sets how badly they cannot.

The questions that can be asked together

Two quantities can have definite values at once exactly when their operators commute. That is a piece of arithmetic about matrices, and everything the uncertainty principle forbids follows from it — including the fact that most of the time it forbids nothing at all.

quantum · Uncertainty Outside the winding, where nothing is supposed to be. The mid-plane of a solenoid 20 radii long, wound at 8 turns per radius, with the field summed turn by turn rather than assumed. The upper curve is the axial field against distance from the axis: it holds up across the winding and collapses outside, reaching 0.47 per cent of its central value at 2 radii. The lower curve is the flux enclosed by a circle of that radius, which is what the vector potential integrates to. The two behave completely differently, and that difference is the whole subject: the field an electron outside can feel has effectively gone, and the flux it encircles has not. The enclosed flux does fall, by 3.29 per cent out to four radii, because the lines that leave the ends come back through the plane outside the coil — that return flux is the leak a real experiment has to defeat, and the reason the definitive versions used a closed toroidal magnet with no ends at all.

The phase a magnet leaves on a path it never touched

An electron beam split around a solenoid comes back with its fringes displaced, although neither path ever entered a magnetic field. What the electron responds to is the flux it went round, and the only local quantity that knows about that flux is the potential.

quantum · Matter waves A bundle that swings and never spreads. A Gaussian of the ground state's own width, released at rest from x = 3 in a harmonic well and propagated on a grid by split-step Fourier, drawn at 0 of a period, 0.25 of a period, 0.5 of a period. The packet slides from side to side and its shape does not change: over 2.2 full periods the width moves by 6.6e-5 per cent, and its centre tracks x₀cos t to 8.6e-6. Every other initial width breathes. This one is the displaced ground state, and it is the closest a quantum state comes to being a classical oscillator — a definite thing at a definite place, moving on the classical trajectory, staying the size it was.

The state that swings like a pendulum

Most quantum states of an oscillator look nothing like a swinging weight. One family does: it follows the classical trajectory exactly, never spreads, and sits at the uncertainty minimum for ever — and it is the state a laser and a driven circuit actually produce.

quantum · Correspondence Two pairs, and only one of them may cheat. The CHSH value a party shares with a second, against the value the same party shares with a third. Every quantum state lies inside a quarter circle whose radius is Tsirelson's bound, 2.8284, because the sum of the two squared values cannot exceed eight. The classical limit is 2 on each axis, and the square that would hold both violations sticks out of the circle everywhere except at its corner: the best both can manage at once is exactly 1.999998, which is the classical value and no violation at all. So a party maximally entangled with one other is correlated with everybody else exactly as a classical object would be. Nothing about the measurement or the apparatus was assumed; this follows from the state alone.

What two have they cannot give a third

Entanglement will not be shared. A pair that violates a Bell inequality is correlated with everything else exactly as a classical object would be, and the trade is exact enough to be drawn: two CHSH values must fit inside a circle of radius 2√2.

quantum · Entanglement What comes back after one turn, and what needs two. A spin-½ pointing along z and rotated about the x axis through 720°, with the rotation integrated step by step rather than evaluated from a formula. The direction of the spin — the quantity a Stern–Gerlach magnet, a compass or any other instrument reports — is back where it started after 360°, exactly as the orientation of any other object would be. The state is not: its overlap with the state it began in has reached −1 there, and returns to +1 only after 720°. At 360° the overlap is -1.000 and ⟨σz⟩ is 1.000; At 720° the overlap is 1.000 and ⟨σz⟩ is 1.000. Both curves come off one integration of dψ/dθ = −(i/2)σx ψ whose norm is checked before anything is drawn, so the factor of two between their rates is a property of the propagation rather than of two separate formulae that were chosen to differ.

The turn that has to be made twice

Turn a spin-½ through a full circle and it does not come back. The direction it points in does, and every measurement on it does, but the state itself has changed sign — and a second full turn is needed before anything is where it started. The sign is invisible on one spin and measurable the moment a superposition has one branch turned and the other not.

quantum · Spin What the plane between them carries. The stress transmitted across the plane halfway between two charges of 10 nC held 1 cm apart, against distance from the axis in units of the half-separation. For two like charges the field on that plane lies entirely in it — checked here rather than assumed — so the plane sees only the pressure across the lines, the stress is negative everywhere, and the two halves are pushed apart. For opposite charges the field on the plane is entirely perpendicular to it, the plane sees only the tension along the lines, the stress is positive, and the halves are pulled together. Faraday's two words for a field line, tension along it and pressure across it, are exactly these two curves; the whole content of the tensor is that they are the same quantity, ε₀E²/2, wearing two signs. The force is what is left after integrating either curve over the plane, and both integrals come to the same magnitude — the Coulomb force — which is the next figure.

The force read off a surface that touches nothing

Draw any closed surface through empty space, measure the field on it, and the sum of one expression over that surface is the total force on everything inside — whatever the contents are, and without knowing anything about them. The expression is Maxwell's stress tensor, and it turns Faraday's guess about tension along a field line into an exact statement.

electromagnetism · Field energy A swing that dies away and comes back. The envelope of the mean position of a coherent state with 9 quanta on average, in an oscillator whose levels carry a small quadratic term, Eₙ = n + n²/240, over one revival time of 240 oscillator periods. The swing collapses within about 9.1 periods, when the packet has spread round its orbit, and it stays at zero for most of the run. It returns whole at half the revival time, on the opposite side, and whole again at the full revival time; the envelope is summed from the state's energy components and checked against α·exp(−2n̄ sin²χt) to a part in a hundred million. The dashed curve is a classical ensemble started from the same distribution, each member orbiting at the frequency its own energy gives: it collapses in the same way and never returns, its swing at the half and full revival times 0.1% and 0.1% of the start.

The return a classical cloud never makes

Put a swinging quantum packet in a well whose frequency depends a little on the amplitude and it spreads round its orbit until its swing has vanished. That part is not quantum at all: a cloud of classical oscillators does exactly the same. What no classical cloud can do is come back — and the quantum packet reassembles whole, on schedule, splitting into copies on the way, because its energies are discrete.

quantum · Correspondence A quasi-probability that goes negative. The Wigner function of the oscillator's state at a quarter of its revival time, with 4 quanta on average: two copies of the packet, at x = ±2.83, in equal superposition. It is computed from the wavefunction by the Wigner transform on a lattice, and it integrates to one. The two copies are the two positive blobs. Between them lies a pattern of stripes with no classical counterpart, running from 0.289 down to −0.289, where the shaded warm regions and their outlines mark negative values. A negative probability is not a probability, so this distribution cannot describe a cloud of classical particles. The stripes are also taller than the blobs, so the interference carries more structure than the copies themselves: the highest stripe reaches 0.289 and the centre of a blob 0.159.

The probability that goes below zero

Classical mechanics describes an uncertain state as a cloud of points in the plane of position and momentum. Quantum mechanics has an exact counterpart, the Wigner function, whose shadows are the true position and momentum distributions — and which goes negative. It goes negative for a single photon, for every superposition of two packets, and for every pure state that is not a Gaussian. Where it is negative no classical cloud can imitate the state, and losing energy to the surroundings erases the negative regions first.

quantum · Correspondence The floor a state's survival cannot go below. The probability that a quantum state is still found in its initial state, against time measured as its energy spread times time over ħ, for four states with the same spread. The shaded region under cos²(ΔE t/ħ) is forbidden by Mandelstam and Tamm's theorem, and every curve — each a sum of phases over the state's energies — stays out of it. Two equally weighted levels run along its edge and reach an orthogonal state at exactly π/2, the fastest any state with this spread can. The same two levels driven off resonance, with the same spread, never get further than a survival of 0.500. Three equally spaced levels become orthogonal only at 1.7101, 1.0887 times the limit, and a coherent state never does, bottoming out at 0.0183. A spread of energy is permission to change, not an obligation.

The fastest a state can stop being itself

Time has no operator, so the energy–time relation cannot be the commutator inequality it resembles. What stands in its place is sharper: a state whose energy is spread by ΔE cannot become a different, orthogonal state in less than πħ/2ΔE, and cannot do it faster than its mean energy above the ground state allows either. Two equally weighted levels reach both limits exactly. Nothing else does.

quantum · Uncertainty Four outcomes, one of which happened. The correlation between the two outer particles' measurements, against the angle between their analysers, for each of the four results the middle measurement can give. Every one of the four leaves the outer pair maximally entangled — each curve reaches one and minus one — so every outcome is as good as any other, and the outer parties have a perfect Bell pair whichever it was. What differs is which correlation they have, and the four are shifted and reflected versions of each other. The flat line is their average, which is zero at every angle, checked here at seven hundred and twenty angles to twelve figures. That vanishing is the whole reason the operation cannot be used to send anything: until the middle party's two classical bits arrive by an ordinary channel, the outer parties' data is indistinguishable from noise, and no correlation appears at all. The entanglement is created instantly and is useless until a message travelling no faster than light says which of the four it is.

A link between two that never met

Take two entangled pairs sharing no particle, measure the two inner particles jointly, and the two outer ones — which have never interacted, never been in the same place, and have no history in common — are entangled. Nothing travelled between them. What has to travel is two classical bits saying which of four results occurred, and until those arrive the outer parties see nothing at all.

quantum · Entanglement How far the vacuum is from being a nonlinear medium. The size of the vacuum's departure from linearity, as a fraction, against the electric field it is subjected to — thirteen decades of field and twenty-eight of correction, both logarithmic. The scale is the Schwinger field, computed here from the electron's mass and the fundamental constants as 1.32e+18 volts per metre: the field at which a pair gains its own rest energy over a Compton wavelength, and therefore the field at which the vacuum stops being a passive backdrop. The marks are the strongest fields that exist. a laboratory magnet, 10 T is 2.3e-9 of it; a hydrogen atom's own field is 3.9e-7 of it; a 10²² W/cm² laser focus is 2.1e-4 of it; the Schwinger field is 1.0e+0 of it; a magnetar, 10¹¹ T is 2.3e+1 of it. So a laboratory is twenty-eight decades from making the effect large, and a magnetar's field is above the critical one — which is why the only places the vacuum's nonlinearity has been seen are the two where the fields are not human: the ultraperipheral collision of two heavy nuclei, and the surface of a neutron star.

The one medium that was supposed to add exactly

Superposition holds because an equation is linear, and every material stops being linear at some amplitude. Empty space was the exception: Maxwell's equations are linear exactly, and two beams cross with no interaction of any kind. Quantum electrodynamics says otherwise — light scatters light, and a strong field makes the vacuum birefringent — at a field of 1.3 × 10¹⁸ volts per metre, which no laboratory has come within four decades of.

waves · Superposition

Named alongside it

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

InterferenceMeasurementWave packetBoundary conditionsCoherenceBeatsPath differencePhaseWavelengthDecoherenceDiffractionEntanglement

All concepts