Illustrated Physics
physics, drawn
Concept

Commutator — where it appears

The difference AB − BA between two operators taken in the two orders, which vanishes exactly when the two observables can have definite values at once. Its size sets the lower bound in the uncertainty relation for that pair.

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

An average that follows Newton's law exactly. The centre of a wavepacket in a harmonic well, and the classical orbit started from the same place, drawn on top of each other. They agree to 5.5e-6 over 2.2 periods, which is the split-step integrator's own error and not a physical gap. This is exact and it is exact for every state of a harmonic oscillator, however wide, however lumpy, however far from classical: the theorem needs ⟨−V′(x)⟩ = −V′(⟨x⟩), which for a linear restoring force is true term by term. It is worth being suspicious of how strong that looks. The harmonic oscillator is the one potential where the average force over a state and the force at the state's centre cannot differ, so it is the worst possible example from which to conclude that quantum averages follow classical paths.

The average that obeys Newton

Ehrenfest's theorem says the centre of a wavepacket moves according to the average force over the state. That is exact, it is often quoted as the reason classical mechanics survives, and the two statements are not the same — because the average of a force is the force at the average only when the force is linear, which is to say almost never.

quantum · Correspondence 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.

AnharmonicityClassical limitCoherent stateCorrespondenceDecoherenceDegeneracyEhrenfest theoremEigenvalueExpectation valueHarmonic oscillatorMeasurementNon commutativity

All concepts