Illustrated Physics
physics, drawn
Concept

Non commutativity — where it appears

The property of two operations that the order in which they are applied matters. Rotations about different axes have it, and so do measurements of different spin components — which is exactly what makes some pairs of observables impossible to make sharp at the same time.

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

The rotation two boosts leave behind. The angle through which a frame's axes are turned after two boosts of equal size, against the angle between the two boosts, for 4 speeds. Two boosts in the same direction compose to a boost and nothing else, which is the zero at the left; two in different directions do not. What is left over is a rotation, and it is not small at large speeds: at β = 0.3 it peaks at 2.7° when the boosts are 91° apart, at β = 0.6 it peaks at 12.8° when the boosts are 96° apart, at β = 0.85 it peaks at 36.1° when the boosts are 108° apart, at β = 0.95 it peaks at 63.2° when the boosts are 122° apart. Each curve here is computed by multiplying the two boost matrices and pulling the rotation out of the product, not by evaluating a formula; the closed form for perpendicular boosts is used to check the extraction and appears nowhere in the drawing. The consequence is that the Lorentz boosts do not form a group by themselves — compose two and you leave the set — and that an object carried round a closed path in velocity space comes back turned.

The turn that two pushes leave behind

Two boosts in different directions do not compose to a boost. The product carries a rotation, so a frame carried once round a closed path comes back turned — and the size of that turn was the factor of two standing between the calculated and the measured splitting of a spectral line.

relativity · Velocity addition 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

Named alongside it

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

SpinAtomic spectraCommutatorDegeneracyEigenvalueThe Lorentz transformationMeasurementObservablePrecessionQuantum stateRapidityReference frames

All concepts