The collection

Every essay — page 15

One idea per essay, ordered so that the earlier ones set up the later ones — but nothing here depends on being read in sequence.

Waves

Oscillation, and everything that turns out to be an oscillation.

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.

5 figures · part 2 on 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.

5 figures · part 5 on 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.

5 figures · part 4 on Huygens
The chain's dispersion, and the frequency it stops at. Frequency against wavenumber for a chain of equal masses joined by equal springs, in units where the spacing, the mass and the spring are one. At long wavelength the curve is a straight line through the origin — the chain behaves as a continuous string with a sound speed, and the departure from the line is second order in the wavenumber, which is why a lattice is invisible until the wavelength approaches the spacing. At the zone edge, where neighbouring masses move in exact opposition, the curve flattens: the frequency stops rising, the group velocity falls to zero, and the mode is a standing wave that carries nothing. Above that frequency there is no travelling solution at all.

The frequency a lattice cannot carry

A continuous string carries every note. A row of masses joined by springs does not: there is a highest frequency, set by nothing but the time one mass takes to be pushed back by its neighbours, and above it a disturbance does not travel at all.

5 figures · part 3 on Periodic media
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.

5 figures · part 6 on Standing waves
A bend of 5 mm, and where the field has to give up. The transverse profile of the guided mode, with the core shaded and the radius at which a bend of 5 millimetres would require the field to outrun the cladding marked. Inside the core the field is a cosine; outside it decays, and the decay is what keeps the mode together. Bending the guide imposes a rigid rotation, so the field a distance x from the axis must travel faster in proportion to x — and past 13.5 micrometres it would have to travel faster than the cladding permits. There the field can no longer be evanescent, and what is there radiates away. The amount there is 1.63e-2 of the peak, which is why the loss is negligible until the caustic moves in, and then is not.

The mode that will not turn a corner

Bend a waveguide and the field has to go round with it, which means the part furthest from the centre has to travel faster. Past a certain distance it would have to travel faster than the surrounding medium allows, and everything out there radiates away — which is why bend loss is exponential in the radius and arrives all at once.

5 figures · part 4 on Guided waves

Optics

Light, and the small number of rules it obeys.

A cone of 14.3°, from two indices and nothing else. On the left, the acceptance cone of a step-index fibre with a core index of 1.4677 and a cladding of 1.4624. A ray entering steeper than the cone reaches the wall inside the critical angle and is refracted out at the first bounce; one inside it is trapped. The sine of the half-angle is √(n₁² − n₂²) = 0.125, which is 7.2° in air. On the right, that number against the fractional index difference between core and cladding. Nothing about the core's diameter appears: a fibre a hundred times thicker accepts exactly the same cone, and takes a hundred times the area's worth of light through it.

The cone a fibre will accept

A fibre takes light from a cone whose half-angle depends on two refractive indices and nothing else — not on how thick it is, not on how long, not on what is shining into it. That single number, squared and multiplied by the core's area, is all the light it will ever carry.

5 figures · part 2 on Etendue
Image distance against object distance. Image distance in focal lengths against object distance in focal lengths. At exactly one focal length the image runs off to infinity; inside it the image distance goes negative, which means virtual.

The focus that is a slab, not a plane

A lens images one plane and no other, which would make every photograph and every micrograph almost entirely out of focus. What rescues them is a tolerance — and there are two of them, one from rays and one from waves, which give different answers and stop being interchangeable exactly where microscopes work.

5 figures · part 5 on Imaging
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.

5 figures · part 7 on 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.

5 figures · part 4 on Scattering
The surface that focuses 1 into 1.52 with no error at all. A Cartesian oval: the locus of points for which 1 times the distance from the object plus 1.52 times the distance to the image is a constant. Every ray drawn takes exactly the same optical path, so every one arrives at the image point — not nearly, and not for small angles, but exactly, for rays at any angle the surface reaches. There is no spherical aberration because there is no approximation: this is what Fermat's principle asks for, solved rather than expanded. The surface is not a sphere, not a conic in general, and not anything a grinding machine makes easily, which is most of why lenses are spherical and aberrated instead.

The surface that images one point exactly

Fermat's principle says every ray from an object to its image must take the same time. Written as an equation, that is a curve Descartes found — a surface with no aberration at all, at any angle. It exists, it is easy to compute, and it images exactly one pair of points and nothing else.

5 figures · part 4 on Fermat
The spectrum, and what the interferometer records instead. On the left, a source spectrum: 1 line near 2000 reciprocal centimetres. On the right, what a detector behind a two-beam interferometer reads as the path difference is scanned — the interferogram. It is the cosine transform of the spectrum, so the two panels carry exactly the same information and neither is more fundamental. The fast oscillation is the mean wavenumber; the envelope that decays over about 0.133 centimetres is the reciprocal of the linewidth, which is the coherence length; and where two lines are present, the beat between them is the splitting. Nothing disperses anything anywhere in the instrument.

The fringe and the spectrum are one measurement

An interferometer with no prism and no grating in it measures a spectrum, because what it records as the path difference is scanned is the Fourier transform of the source's spectrum. Coherence length and linewidth are the same fact stated twice, and the resolution is bought in centimetres of travel.

5 figures · part 6 on Coherence

Electromagnetism

Charge, field, and the lines drawn between them.

Thermodynamics

Heat, disorder, and the one law with a direction in it.

A ratio in the exponent. The Boltzmann factor against the energy of a state measured in units of kT, with the logarithm up the axis so that the straight line is the whole content. Every kT of energy costs a factor of e, so 5, 12, 20 times kT are factors of 10^-2.2, 10^-5.2, 10^-8.7. At 295 K, kT is 25.4 meV, so a barrier of 0.4 eV is 15.7 kT and a factor of 1.5e-7. That is the sense in which a third of an electronvolt is not a small energy: it is small compared with a chemical bond and enormous compared with kT, and it is the second comparison that decides whether anything happens.

The temperature a molecule does not have

Temperature fixes a system's average energy and nothing more. The actual energy wanders, by an amount tied to the heat capacity, and the relative size of the wandering falls as one over the square root of the number of degrees of freedom — so a mole has a temperature and a molecule does not.

5 figures · part 3 on Equipartition
Melting curves, and the one that leans the wrong way. Melting temperature against pressure for water, benzene, naphthalene, each measured from its own melting point at one atmosphere, with pressure in bars. The slope of every coexistence line is the latent heat divided by the temperature and the change in volume, and the latent heat of melting is positive for everything — so the sign of the slope is the sign of the volume change, and nothing else. Almost everything expands on melting and its line leans forwards. Water's solid is less dense than its liquid, so its line leans backwards at 135 bars a kelvin: pressing on ice at just below zero melts it, and it takes 135 atmospheres to gain a single degree. The anomaly is not in the thermodynamics; it is in the fact that ice floats.

The melting curve that leans the wrong way

The slope of any coexistence line is the latent heat divided by the temperature and the change in volume. Latent heat is always positive, so the sign of the slope is the sign of the volume change — and for water the volume change is negative, which is the whole of why ice floats and why the melting curve leans backwards.

5 figures · part 9 on Phase change
Effusion rate against molecular mass. The rate at which a gas escapes through a small hole, against its molar mass, normalised to hydrogen. The rate is a quarter of the number density times the mean speed times the area, and the mean speed goes as the inverse square root of the mass — so the rate does too, which is Graham's law of 1848. Hydrogen escapes four times faster than oxygen and 13.3 times faster than uranium hexafluoride. The practical consequence is isotope separation, and its difficulty is on this chart. The two uranium hexafluorides differ by 3 out of 352 in mass, so a single stage enriches by a factor of only 1.00429 — four parts in a thousand. Reaching 90 per cent from natural uranium's 0.72 per cent therefore takes about 1665 ideal stages, and a real cascade needs more because each stage is imperfect. That number is why gaseous-diffusion plants were among the largest industrial structures ever built, and why centrifuges — which separate by mass directly rather than by the square root of it — replaced them.

The gradient that drives the other thing

A concentration gradient drives a flow of matter and a temperature gradient drives a flow of heat. Each also drives the other, by coefficients that are equal — a relation nobody could have guessed and which follows from the fact that the underlying motion runs the same forwards and backwards in time.

5 figures · part 6 on Diffusion
Runs that break the second law, and how often. The work done in a process repeated many times, and the same for the process run in reverse with its work reflected, for a free-energy change of 4 kT and a dissipation of 3 kT. The average work exceeds the free-energy change, which is the second law, and individual runs do not have to: the shaded tail is the fraction of runs that do less work than the free energy — trajectories in which the entropy of the universe went down — and it is 11.03% here. The two curves cross exactly at the free-energy change, whatever the dissipation, which is what makes an irreversible measurement able to report an equilibrium quantity.

The second law, with a probability attached

Entropy increases, on average. For a small system pulled quickly, individual runs go the other way — and how often is not a matter of taste but an exact number, fixed by a relation with no adjustable constant in it and no requirement that anything be near equilibrium.

5 figures · part 7 on Entropy
The pair potential, and the two things it does to a gas. The Lennard-Jones potential between two molecules, in units of its own depth and range, with the Mayer function it produces at 1, 3, 8 times the well depth in temperature. The virial coefficient is minus the integral of that function over volume, so the two parts of the potential contribute with opposite signs: the steep repulsive core makes the function minus one there, giving a positive contribution — molecules take up room — and the attractive well makes it positive, giving a negative one. At low temperature the attraction dominates and a gas is easier to compress than an ideal one; at high temperature the core dominates and it is harder. Between them is one temperature at which they cancel.

The first correction to the gas law

An ideal gas has no forces between its molecules. The first correction to what it does is computable from those forces alone — one integral over the pair potential — and its sign flips at a temperature where a real gas obeys the ideal law without being ideal at all.

5 figures · part 9 on Kinetic theory

Quantum

Where the continuous picture runs out, and what replaces it.

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.

5 figures · part 3 on 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.

5 figures · part 3 on 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.

5 figures · part 3 on Correspondence
The delay that stops caring how thick the wall is. The Wigner phase time — how late the transmitted packet's peak arrives, compared with a free particle covering the same distance — for an electron under a 3 eV barrier, at 0.2 nm, 0.5 nm, 1 nm thick. 0.2 nm: 0.3728 fs at half the barrier height; 0.5 nm: 0.4372 fs at half the barrier height; 1 nm: 0.4388 fs at half the barrier height. The widths span a factor of 5.0 and the times span 1.18. A thicker barrier is exponentially harder to cross and the delay in crossing it barely moves — which is either a remarkable fact about tunnelling or a sign that the phase time is not a traversal time, and the rest of the essay is about which.

How long the crossing takes

Tunnelling has a probability, and asking how long it takes turns out to be a different kind of question. The delay a transmitted packet shows stops growing once the barrier is opaque, so a thicker wall is crossed in the same time — and several defensible clocks give several different answers.

5 figures · part 5 on Tunnelling
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.

5 figures · part 3 on Entanglement

Every field · every reading path · every object named · every figure · what is taught wrongly · search