THE POISSON BRACKET

The algebra of phase space. Give me any two observables and I return a third by the same rule; feed one of them the Hamiltonian and the rule becomes time itself. Every conservation law is just something the bracket sends to zero. Rendered, not quoted.

source Poisson, S.-D. (1809), Mémoire sur la variation des constantes arbitraires dans les questions de mécanique, Journal de l'École polytechnique, cahier XV, pp. 266–298 — read at the Académie des Sciences, 16 Oct 1809. AMBER · no single stable page for the original memoir
Blue team · builds & defends
3
The Model

Phase space carries coordinates q and conjugate momenta p. For any two smooth observables the bracket is

{f,g} = Σk ( ∂f/∂qk · ∂g/∂pk − ∂f/∂pk · ∂g/∂qk )

Here computed exactly: observables are carried as polynomials, the partials are symbolic, so {f,g} is another polynomial — no finite-difference noise. It is antisymmetric, bilinear, obeys the Leibniz product rule, and closes the Jacobi identity. That is a Lie algebra on functions.

5
The Lineage

The bracket is the canonical structure of the-hamiltonian: it turns H into a flow. From {q,p}=1 and df/dt={f,H} Hamilton's two equations fall out for free.

One rung up, it is the classical shadow of the quantum commutator: {f,g} ↦ (1/iℏ)[f̂,ĝ] under Dirac quantization. Poisson (1809) wrote the algebra a century before it had that name.

7
The Witness

A live re-run of the full self-check against the engine now in memory. Green if the bracket is still the true antisymmetric one; it flips red the instant the tamper (window 6) is armed.

witness: booting…

The machine
4
Data In in ↓

Two observables on phase space, plus a Hamiltonian to drive the clock.

f, g : functions of (q, p)  ·  H = ½p² + ½q² (unit SHO, m=k=1)
↓ ↓ ↓
0
The Panel LIT

The engine, computed live at boot from the pure functions above.

Fundamental brackets
{q,p} = ·   {q,q} = ·   {p,p} = ·
Equation of motion   df/dt = {f,H}
q̇ = {q,H} = ·  (= ∂H/∂p = p)
ṗ = {p,H} = ·  (= −∂H/∂q = −q)
Conserved   {H,H} = ·  ·  central force: {L,H} = · (L = x py − y px)
Jacobi   {f,{g,h}}+{g,{h,f}}+{h,{f,g}} = · (sample cubics)

Live: the SHO phase point flows by q̇={q,H}, ṗ={p,H}. A ring of points is carried by the same flow — its area never changes (Liouville). Symplectic leapfrog, not drifting Euler.

↓ ↓ ↓
8
Data Out out ↓

Proven at boot: the canonical relations hold to 1e-9, antisymmetry / bilinearity / Jacobi hold to 1e-6, and df/dt={f,H} reproduces Hamilton's equations. Anything the bracket sends to 0 is a constant of motion.

result: pending…

Red team · attacks & breaks
1
The Adversary
WALL

The bracket is a classical object. It presumes the observables commute — fg = gf. Quantum mechanics does not grant that: [q̂,p̂]=iℏ ≠ 0, and the map {·,·}↦(1/iℏ)[·,·] is not a Lie-algebra isomorphism beyond quadratics — the Groenewold–van Hove theorem forbids a consistent quantization of all observables. The classical algebra is a limit, not a lift.

It also assumes global canonical coordinates. On a curved phase space the bracket is only local; Darboux's theorem promises {q,p}=1 patchwise, not everywhere at once.

2
The Graveyard
  • "The bracket is symmetric like a dot product."
    → It is antisymmetric: {f,g}=−{g,f}, so {f,f}=0. Symmetry would kill time evolution.
  • "{f,H}=0 means f never changes anywhere."
    → It means f is conserved along the flow — invariant in time, not constant in space.
  • "Numeric derivatives are fine to 1e-6."
    → Nested brackets (Jacobi) amplify finite-difference error; this engine differentiates symbolically, exact to machine ε.
  • "Poisson brackets = quantum commutators."
    → Only to leading order in ℏ. AMBER the correspondence is an analogy with a known obstruction, not an identity.
6
The Tamper

The disclosed planted void. Arming it drops antisymmetry — the engine uses the symmetric bracket {f,g}=+{g,f} (a plus where a minus belongs). Then {q,p}+{p,q} stops vanishing and ṗ={p,H} flips sign. The witness in window 7 catches it live.

state: intact.