Illustrated Physics
physics, drawn
Concept

Uncertainty principle — where it appears

The bound on how sharply a position and a momentum can both be defined, which is a property of waves rather than of measurement. It is the same width relation any function has with its Fourier transform, so a short pulse of light is broad in frequency for exactly the reason a localised electron is broad in momentum.

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

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 Two costs, and the width that balances them. The energy of a particle in a harmonic well against how tightly its wavefunction is squeezed, in units of ħω and of the width that minimises the total. Two terms compete. Squeezing the particle into a smaller region raises its kinetic energy, because the uncertainty relation makes a narrow position spread a wide momentum spread and momentum is squared in the energy; that term rises as the inverse square of the width and goes to infinity as the particle is localised. Letting it spread out raises its potential energy, since the well gets steeper away from the bottom; that term rises as the square of the width. The sum has a minimum at a width of 1.0000 in these units, where the total is 0.5000 ħω and the two terms are equal at a quarter each. That number is exactly the true ground-state energy of a quantum harmonic oscillator, obtained here with nothing but the uncertainty relation and a minimisation. What the figure shows and the formula does not is why there is a floor at all: it is not that the particle happens to keep moving, but that every way of stopping it costs more than it saves.

The motion that cannot be stopped

A particle in a well cannot sit at the bottom of it. Squeezing it into a smaller region costs kinetic energy faster than it saves potential energy, so there is a width that minimises the total — and the minimum is not zero. Helium never freezes because of it.

quantum · Uncertainty Flat, then exponential, then a power law. Survival probability against time in lifetimes, both logarithmic, for a resonance 20 linewidths above the bottom of its band and 400 below the top. The straight dashed line is exp(−Γt), and the computed curve sits on it through the middle — a fitted rate of 0.9998 per lifetime between one and eight — and leaves it at both ends. Below 1.57e-2 lifetimes the curve is flat, falling as (t/τ_z)² with τ_z = 0.1253 lifetimes; beyond 22.6 lifetimes it is an inverse square, which any exponential eventually loses to. Both departures are forced: the head by the state being normalisable and the tail by the band having a bottom.

The exponential that is only true in the middle

A decay law is not an assumption about nuclei; it is the Fourier transform of an energy distribution. Do that transform honestly and the exponential fails at both ends — flat at the start, because the state is normalisable, and an inverse square at the end, because no system has states of arbitrarily negative energy. Neither departure is a correction that could be made small.

quantum · Decay 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 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 Why it stops falling in. The energy of an electron confined to a region of radius r around a nucleus, as the sum of two terms with different powers: a confinement energy ħ²/2mr² that rises without limit as the region shrinks, and a Coulomb attraction −Ze²/4πε₀r that falls. At Z = 1 the sum is least at 52.92 pm, where it is -13.61 eV. Both numbers are found by searching the drawn curve and both agree with the Bohr radius over Z and minus Z² Rydbergs to a part in a million. Nothing was quantised to get them. The only quantum input is that confining an electron to a region costs kinetic energy, which is the uncertainty relation and nothing more.

Why an atom is the size it is

A tenth of a nanometre is not a measured constant of nature but the outcome of a competition: confining an electron costs kinetic energy, and the nucleus pays for confinement with attraction. Minimising the sum gives the number, and changing the masses moves it by four orders of magnitude.

quantum · Atomic structure Two terms, and the distance neither can beat. The smallest distance a probe of a given momentum can resolve, as the sum of two terms. The falling one is the uncertainty relation: more momentum, shorter wavelength, finer resolution. The rising one is gravity: the probe's own energy curves the region it is probing, and past a point it makes a horizon larger than the thing being looked at. With the gravitational term at 1× the Planck area, the least resolvable distance is 2.286e-35 m — each located by scanning the drawn curve over four hundred thousand momenta rather than by substituting into a formula. There is no momentum at which the resolution is better than that, so the ordinary procedure for measuring a distance has a floor, and the floor is the Planck length up to a factor of order one.

The length no experiment can resolve

Measuring a small distance needs a short wavelength, a short wavelength needs a large energy, and a large energy in a small region makes a horizon. Past a point, pushing harder makes the probe bigger — and the distance where that turns round is the Planck length.

astrophysics · Planck scale 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 No beam is narrow enough and wide enough at once. Three lengths at the far end of a Stern-Gerlach magnet 10 centimetres long with a gradient of 1000 tesla a metre, against the width of the beam entering it, for an electron at 100 electronvolts. The spin splitting is a horizontal line at 2.9e-6 metres: it does not depend on the beam's width. The Lorentz blurring rises in proportion to the width, because the field a particle sees depends on where in the beam it is, and the divergence-free condition ties a gradient in one component to a gradient in another. It overtakes the splitting at 1.0e-9 metres. Narrower than that and diffraction has already spread the beam by 3.9e-3 metres, which is larger still. There is no width at which the splitting is the largest of the three, and the magnet's length and gradient cancel out of the comparison entirely — so no magnet helps.

The experiment that defines spin and cannot be done on it

A Stern–Gerlach magnet separates magnetic moments and is how spin was discovered. It cannot be made to work on a free electron, and the obstruction is not the apparatus: the field gradient that splits the beam also deflects the charge by an amount that varies across it, and the ratio of the splitting to that blurring comes out as the de Broglie wavelength over the beam width — with the magnet's length and gradient cancelling exactly.

quantum · Spin Four states of light, each with the same area of noise. The field of a single mode of light drawn as a point in a plane whose two axes are its two quadratures — the parts of the wave in step with a reference and a quarter-cycle out of step. The distance from the centre is the amplitude and the angle is the phase. Each state is a cloud of 400 sampled measurements with its two-standard-deviation outline, in units where the vacuum's noise is one in every direction. The vacuum is a round cloud at the centre. Steady laser light is the same round cloud moved away from the centre. Light squeezed by 4 dB is an ellipse of the same area: narrower than the vacuum by a factor of 0.63 in one direction and wider by 1.58 in the other. Pointed along the direction from the centre it is quiet in amplitude; pointed across it, quiet in phase. The sampled spreads were checked against each state's widths.

The noise pushed below the floor

A perfectly steady laser beam still flickers, by an amount set by the vacuum itself, and for most of the twentieth century that flicker was treated as the floor of any optical measurement. It is a floor only for one shape of noise. Light can be made quieter than the vacuum in one property by being made louder in another — and the price, the fragility and the use of that trade are all visible in how the noise is shaped, which is why the world's gravitational-wave detectors now run on it.

quantum · Photon The same nudge in four kinds of space. A body on a circular orbit given 5 per cent more speed, integrated for up to 6 turns in the field a point mass would have in spaces of 2, 3, 4, 5 dimensions. In 2 dimensions it stays between 1.00 and 1.10 of the original radius; in 3 dimensions it stays between 1.00 and 1.23 of the original radius; in 4 dimensions it leaves after 1.93 turns; in 5 dimensions it leaves after 1.19 turns. In three dimensions the orbit is an ellipse that closes; in two it is a rosette that does not close but never wanders far; from four dimensions up there are no stable orbits at all, and a planet nudged by anything would spiral away or plunge.

The number of dimensions a planet can orbit in

Gauss's law says that a point source's field is its strength spread over the surface around it, and the size of that surface depends on how many dimensions space has. In three it grows as the square of the distance, and the field falls as the inverse square. Count differently and the field falls differently — and above three dimensions it falls so steeply that no planet could hold a stable orbit and no atom could hold its electron. The inverse-square law is not a fact about gravity or electricity. It is a fact about space, and it is one of the conditions for there being anything in space to orbit.

electromagnetism · Gauss's law A sharp angle costs a spread of turning. Left: the probability of finding a rotor at each angle, for three states. Right: the probability of each value of its angular momentum, in units of ħ, for the same states. A state bunched to a circular spread of 0.025 has an angular-momentum spread of 2.21ħ; a state bunched to a circular spread of 0.302 has an angular-momentum spread of 0.59ħ; a state with no preferred angle has an angular-momentum spread of 0.00ħ. The angular momentum can only take whole-number values, so its probabilities are bars; the angle is continuous. The state with no preferred angle has exactly one value of angular momentum, and its angle is spread evenly round the circle — where the naive rule would say that its angle's spread times ħ/2 should be infinite, it is π/√3.

The angle the uncertainty principle cannot be written for

Position and momentum trade exactly: squeeze one and the other spreads, with a product never below ħ/2. Angle and angular momentum look like the same pair and are not. A rotor in a state of definite angular momentum has zero spread in angular momentum and a finite spread in angle, π/√3, and their product is zero. Nothing is wrong with the rotor. The relation was written with a commutator that does not hold, because an angle lives on a circle and a line has no ends to wrap round. The relation that does hold measures the angle's spread by how far its average position on the circle falls short of the rim.

quantum · Uncertainty How well a distance can be known, by how long it is. The smallest uncertainty in a distance l, on logarithmic axes, by three rules. Solid: the clock argument, 1.89 (ℓₚ² l)^(1/3), which grows as the cube root of the distance. Dotted: the Planck length, the floor usually quoted, which does not grow at all. Dashed: the guess that Planck-scale jitters add like a random walk, √(ℓₚ l). a metre: 1.2·10⁻²³ m by the clock argument, 4·10⁻¹⁸ m as a random walk; the Earth to the Sun: 6.4·10⁻²⁰ m by the clock argument, 1.6·10⁻¹² m as a random walk; the observable universe: 9.2·10⁻¹⁵ m by the clock argument, 8.4·10⁻⁵ m as a random walk. By the clock argument the size of the observable universe is uncertain by about the size of an atomic nucleus; as a random walk, by about a tenth of a millimetre. All three rules meet at the Planck length.

The clock that cannot be both light and good

The Planck length is usually quoted as the smallest distance that means anything, as though every longer distance could be known to that precision. Time a distance with light against a clock and the floor turns out to rise with the distance. A light clock wanders while the light is away; a heavy clock wanders less but is closer to being a black hole; and the best compromise leaves a metre uncertain by 750 thousand million Planck lengths and the size of the observable universe by the size of an atomic nucleus. The same compromise, counted up, says a region can hold only as many distinguishable places as its surface has Planck areas.

astrophysics · Planck scale The phase a beam gains through its focus. How far the phase of a focused beam, measured on its axis, runs ahead of a plane wave of the same frequency, in cycles, against distance from the focus in units of the Rayleigh range π w₀²/λ, for a beam focused to a point (solid) and one focused only in one direction, to a line (dashed). The point-focused beam lags a quarter of a cycle far before the focus and leads by a quarter far after, gaining half a cycle in all, most of it within a Rayleigh range of the focus: 0.25 of a cycle by z = zR, 0.40 by 3 zR. The line focus gains half as much, a quarter cycle. This is the Gouy phase, measured by Louis Georges Gouy in 1890.

The half cycle a focus adds

A beam of light brought to a focus and allowed to spread again comes out half a wavelength ahead of where a plain wave of the same colour would be, although no part of it travelled faster than light. Louis Georges Gouy found the shift in 1890 by interfering a focused beam with an unfocused one. It is the price of confinement: a beam narrow enough to focus is a spread of directions, the parts travelling at an angle make slower progress along the axis, and the spread is greatest at the focus. The same half cycle decides the frequencies at which every laser cavity can resonate.

optics · Diffraction What an amplifier does to a signal's uncertainty. A signal drawn in the plane of its two quadratures — the in-phase and out-of-phase parts of a wave — as a disc one standard deviation across: a coherent input (black), with the vacuum's own uncertainty; and three outputs at a gain of 4: what a noiseless amplifier would give, the input disc scaled up by √G (dashed), which quantum mechanics forbids; what the least noisy phase-insensitive amplifier gives (blue), the same centre with a disc 1.323 times wider again; and what a phase-sensitive amplifier gives (red), the in-phase quadrature stretched by √G and the other squeezed by 1/√G, with no noise added. Referred back to the input, the phase-insensitive amplifier has added 0.375 of a quantum of noise; the signal's distance from the origin, measured in its own spread, has fallen by 0.756.

The noise every amplifier must add

An amplifier that magnifies a signal without caring about its phase must also add noise, and not because of hot transistors or bad design. However perfect it is, it adds at least half a quantum of noise referred to its input — exactly as much as the vacuum fluctuations the signal already carried — so a faint coherent signal always leaves with half its signal-to-noise ratio. The reason is the same rule that makes position and momentum uncertain, applied to the two halves of a wave, and an amplifier that broke it would be a machine for copying quantum states.

quantum · Uncertainty A round uncertainty sheared into a thin one. The uncertainty in the direction of 100 atoms' combined spin, seen along the spin, drawn out to one standard deviation in each direction. Left: the atoms each in an independent superposition — a disk of variance N/4 = 25 in every transverse direction, so a rotation shows only once it moves the spin by √N/2 = 5.0 units. Right: after one-axis twisting, which turns the spin about the vertical axis at a rate proportional to its height, so that the upper half of the disk is pushed one way and the lower half the other (arrows). The disk becomes an ellipse with variances 1.22 and 535, its long axis tilted 12.2° from the horizontal. Its narrow direction, turned to lie along the rotation to be measured, is 12.0 dB quieter than the disk, allowing for the 11.8% the twisting costs in the length of the spin.

The atoms that measure better together

A clock read with a hundred independent atoms locates its phase no better than the scatter of a hundred coin tosses allows, because each atom answers the final question by itself. Let the atoms interact for a moment before they are read and that scatter can be shaped: the round uncertainty of their combined spin is sheared into a thin ellipse, and a phase error invisible against the coin-toss noise becomes four standard deviations wide. The gain grows with the number of atoms, and it is real only if the detector can count atoms nearly one by one.

quantum · Measurement Two measures of how uncertain a split state is. For the two-peaked state, against half the separation of the peaks in units of their width: Heisenberg's product σₓσₚ divided by its minimum ħ/2 (solid), and the entropic sum Hₓ + Hₚ minus its minimum ln(πeħ) (dashed), both computed from the state's distributions. As the peaks separate the product grows without limit, 8.1 times the minimum at the right of the figure, because the variance counts the empty space between the peaks as uncertainty. The entropic excess levels off at 2 ln 2 − 1 = 0.386 (0.386 at the right): the position's entropy gains ln 2, one bit, for not knowing which peak, and the momentum's gives back 1 − ln 2 because its fringes pack it into narrow bands. The entropic relation says what is true of the state: it is a fraction of a coin toss away from a minimum-uncertainty packet, however far apart the two places are.

The sharpness a variance cannot see

Heisenberg's inequality is a statement about standard deviations, and a standard deviation is a poor measure of how sharply something is known. A particle that is certainly in one of two narrow places a metre apart has a position spread of half a metre, and satisfies the inequality with room to spare while being sharply localised. Measure uncertainty by information instead — by the Shannon entropy of each distribution — and the relation tightens: the sum of the two entropies has a floor that the split state cannot get under either, and the floor survives in places where the variance form says nothing at all.

quantum · Uncertainty The same damped motion in two phase planes. A cloud of damped oscillators that start on a small circle of positions and velocities, drawn at times 0, 2, 4, 6 (outlines) with the centre's path. Left: position against the physical momentum mẋ. The cloud spirals inward and shrinks: its area falls as e^(−γt), to 0.30 of its start by t = 6, as friction squeezes every motion towards rest. Right: position against the canonical momentum of the Caldirola–Kanai Lagrangian, p = e^(γt)mẋ. The same cloud keeps exactly its starting area while it is stretched out of shape, as Liouville's theorem requires of any Hamiltonian flow. The friction has been hidden in the definition of momentum: the canonical momentum grows exactly as fast as the real one decays.

The friction an action can hold only by changing its clock

The principle of least action generates every conservative law of motion from a single integral, and it has no place for friction: there is no ordinary Lagrangian whose equation of motion is a damped oscillator's. Multiply the Lagrangian by an exponential of time and friction appears — but only by redefining momentum so that it grows as fast as the real momentum decays. The phase-space area the principle conserves is then no longer the one that counts motions, and quantised, the damped oscillator becomes more sharply known than the uncertainty principle allows. Friction belongs to a system and the surroundings it loses energy to, and an action for the system alone can only fake it.

mechanics · Least action

Named alongside it

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

MeasurementSuperpositionWave packetZero-point energyCommutatorDiffractionFourier transformQuantum stateAngular momentumBandwidthCoherent stateDe broglie wavelength

All concepts