Illustrated Physics
physics, drawn
Series

Uncertainty — the series

7 essays on one idea, from the one that introduces it to the one that assumes the rest.
  1. 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.

    part 1 · quantum
  2. 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.

    part 2 · quantum
  3. 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.

    part 3 · quantum
  4. 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.

    part 4 · quantum
  5. 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.

    part 5 · quantum
  6. 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.

    part 6 · quantum
  7. 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.

    part 7 · quantum

All series