Module 12
Poisson brackets
Measure your desk: length, then width. Now width, then length. The answers refuse to care about the order, and it would be deranged if they did. Multiply the two for the area: same product both ways. Order is a bookkeeping choice. Every measurement you have ever made agrees.
In the summer of 1925, a young physicist on a barren island, hay fever driving him from the mainland, reinvented mechanics as tables of numbers. His tables worked; they predicted atomic spectra. But their multiplication had a defect he could not scrub out: his times his did not equal his times his . The order mattered. It looked like a bug in the arithmetic of reality.
It was the discovery of the century. What kind of universe hides in the difference between and ?
The takeaway
All of this volume's mechanics packs into one algebraic operation, the Poisson bracket: any quantity's rate of change is its bracket with H. Keep the entire algebra, swap the bracket for the new physics' commutator, and quantum mechanics appears. Classical mechanics is one small change away from its successor.
The volume, compressed to one machine
This is the shortest module, and it is a handover ceremony. Before the handover, mechanics gets packed for travel.
Everything since module 10 lives on the phase-space map, and every interesting quantity, position, momentum, energy, anything built from them, is a function on that map. The Poisson bracket is a machine that eats two such quantities and returns a third. Its meaning is motion itself: the bracket of with measures how fast changes when the world is carried along the flow that generates. Every quantity is secretly a current in phase space, and the bracket reads one current with another's gauge.
Three facts make it the volume's summary. The Hamiltonian generates the flow called time, so the rate of change of anything is its bracket with . A quantity is conserved exactly when its bracket with is zero: module 09's theorem, restated as algebra so bare it fits in a fist. And momentum generates the flow called moving-everything-sideways, which is Noether's pairing of momentum with space, drawn as a current. The demon's whole toolkit, laws, conservation, symmetry, is one operation applied to different pairs.
Now the handover. The 1925 tables became quantum mechanics within eighteen months, and Paul Dirac saw the bridge: the misbehaving difference , the thing that looked like a bug, obeys exactly the algebra of the Poisson bracket, scaled by a tiny constant. The classical becomes the quantum . One line of dictionary. The rest of the structure, the brackets with driving time, zero brackets meaning conservation, survives the translation nearly untouched. Mechanics was not demolished by quantum theory. It was transliterated.
And the one small change lands precisely where this volume ends. If and can no longer be multiplied in either order for free, they can no longer be pinned down together for free, and the state can no longer be a point on the map. Module 11's blob, which classical mechanics could shrink toward a point without limit, acquires a floor: a minimum area, of order . Liouville said the blob's area cannot change. Quantum mechanics adds that it cannot start below the floor. The exact point the demon's job description requires does not exist in the new building. That is where its story goes next, and it is another volume's story to tell.
The math
Define the bracket of two quantities and :
First computation, the volume's fingerprint:
Second, the claim that the bracket is motion. Take any and differentiate along a trajectory, chain rule first, Hamilton's equations second:
One equation now contains the volume. Set : the bracket gives , Hamilton's first equation. Set : out comes , the second. Set : the bracket of anything with itself is zero by the formula's antisymmetry, and energy conservation falls out with no further work. Conservation in general is now a sentence: is conserved exactly when .
Run module 09's broken symmetry through it. With :
Momentum leaks at : the weight, one more time, now produced by pure algebra. The bracket is not new physics. It is all the old physics, folded until it fits in one hand, and folded in exactly the shape its successor would need.
Play with it
The bracket, live. Choose a generator B and ride its flow; choose a quantity A and watch it change. The two numbers at the bottom, the measured rate of A along the ride and the bracket evaluated where you are, agree at every instant, for every pairing. That agreement is this entire volume in one readout.
Check yourself
Problem 1. Compute {x², p}, then evaluate it at x = 3.
Reveal the solution
∂(x²)/∂x × ∂p/∂p - ∂(x²)/∂p × ∂p/∂x = 2x × 1 - 0 = 2x. At x = 3: 6.
Problem 2. With H = p²/2m + mgx, compute {p, H} and say what it means.
Reveal the solution
{p, H} = -∂H/∂x = -mg. Momentum changes at rate -mg: the weight. Module 09 found this leak by breaking a symmetry; the bracket produces it by differentiation alone. Same physics, folded smaller.
Problem 3. A dust grain's measurement blob is about 10⁻⁶ m wide by 10⁻²⁷ kg·m/s tall. Taking ħ ≈ 10⁻³⁴ J·s, how many quantum floors fit inside that blob, and what does the answer say about the grain?
Reveal the solution
Area ≈ 10⁻³³ J·s, and 10⁻³³/10⁻³⁴ = 10. Ten floors: even a dust grain measured absurdly well sits an order of magnitude above the quantum floor, and everyday objects sit tens of orders above it. The classical map of this volume is exact for the same reason it took until 1925 to notice it was not.
What this did to the demon
The demon leaves this volume with everything it asked for in module 01: a lawful universe, a complete map, two currencies, one principle, and a proof that nothing lawful ever burns the past. It is handed one final document at the door, a single line, xp minus px equals i h-bar, which says the exact point it has stood on for eleven modules is not available in the next building. The demon walks in anyway. It always does. Volume 1 ends here; the question does not.
Back to the contents page