Illustrated Physics
physics, drawn
Concept

Quantum state — where it appears

The complete description of a system in quantum mechanics, from which the probability of every measurement outcome follows. It is not a list of the values of the quantities, since most of them have none until measured.

Named by 7 essays across one field — each of them below, with the objects they name alongside it.

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 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 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 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 much a block knows about the rest. The entanglement between a block of a one-dimensional chain and everything outside it, against how long the block is, for three states of the same number of particles. The straight line is a randomly chosen state, whose entanglement is the block's length times the logarithm of two — a volume law, and what almost every state in Hilbert space does. The flat curve is the ground state of a chain with a gap: it saturates, varying by less than a twentieth of a per cent from a block of eight to one of forty, because the boundary of a one-dimensional block is two points however long the block is. The middle curve is the ground state of a gapless chain, which grows as the logarithm of the size with a coefficient measured here as 0.333 against the third that conformal field theory gives. Both ground states are enormously less entangled than a random state, and that is not a detail about chains: it is why a ground state can be written down at all.

The corner of Hilbert space that is ever visited

Monogamy between three parties says how much of a correlation a pair may hold. Read across a boundary in a many-body system it says something much stronger: the entanglement between a region and the rest scales with the boundary rather than the volume, for the ground state of anything with local interactions. That is why such a state can be written down at all — and why almost every state in Hilbert space is one that nothing ever prepares.

quantum · Entanglement

Named alongside it

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

MeasurementSuperpositionCorrelationEntanglementBell inequalityLocalityObservableUncertainty principleDecoherenceGround stateHidden variablesNo-cloning

All concepts