Canonical Commutation [x, p]

Equivalent forms

[\hat{x},\hat{p}_x]=i\hbar,\;[\hat{x},\hat{y}]=0

Everything non-classical — uncertainty, zero-point energy, quantization itself — flows from the fact that this bracket is iℏ instead of 0.

Symbol	Name	SI unit	Dimension	Range
$\hat{x}$	Position operator Multiplies the wavefunction by x	m	L	—
$\hat{p}$	Momentum operator −iℏ ∂/∂x	kg*m/s	MLT^-1	—
$[\hat{x},\hat{p}]$	Commutatoroutput Ordering difference of the two operators	J*s	ML^2T^-1	—
$\hbar$	Reduced Planck constant h/2π, the quantum of action	J*s	ML^2T^-1	—

Where it holds

Holds for conjugate position–momentum pairs. Angular variables and their conjugates need care; different observable pairs have their own commutators (some zero, some not).

Dimensional analysis

[x̂,p̂

] \to [L][M L T^-1] = [M*L^2*T^-1]

i\hbar \to [M*L^2*T^-1]

Both sides have the dimensions of action (angular momentum).

\checkmark

Discovery

Max Born, Werner Heisenberg, Pascual Jordan · 1925

In the 'three-man paper' (Dreimännerarbeit) of 1925, Born recognized Heisenberg's mysterious multiplication rule as matrix multiplication and, with Jordan, wrote down pq − qp = ℏ/i. Born later said the relation came to him 'like a flash' — it was the formal birth of matrix mechanics, and he had it engraved on his tombstone.

Research status: stable

Real-world applications

Foundations of the uncertainty principle and squeezed-light metrology
Canonical quantization of any classical system
Deriving harmonic-oscillator and field-theory spectra

Common misconceptions

The right side is $i\hbar$ (an operator $= i\hbar$ times identity), not just a number $\hbar$
x and y (different axes) DO commute — only conjugate pairs don't
Non-commutation is not measurement disturbance; it is a property of the operators themselves

Experimental verification

Indirectly through every uncertainty-limited measurement; directly through the harmonic-oscillator spectrum and quantum-optics squeezing experiments that saturate the derived bound.

Derivation

Represent p̂

= -i\hbar d/dx

acting on a test function f(x).

Compute x̂p̂

f = x(-i\hbar f')

and p̂x̂

f = -i\hbar d/dx(xf) = -i\hbar (f + x f')

.

Subtract: (x̂p̂

- p

̂x̂

)f = -i\hbar x f' + i\hbar f + i\hbar x f' = i\hbar f

.

Since this holds for every f, [x̂,p̂

] = i\hbar as

an operator identity.

What if…

What if [x̂,p̂] were 0?

Position and momentum would commute — you'd recover classical mechanics with simultaneously sharp x and p and no uncertainty principle.

What

if \hbar

were larger?

Quantum effects would dominate everyday scales — you couldn't pin down a thrown ball's position and speed together.

1

Uncertainty bound from the commutator

Given · [x̂,p̂

]=i\hbar

Find · minimum

\Delta x\Delta p

Steps

Robertson relation: $\Delta A \Delta B$ ≥ |⟨[Â,B̂]⟩|/2
⟨[x̂,p̂]⟩ $= i\hbar$ , magnitude $\hbar$
$\Delta x \Delta p \ge \hbar /2$

Result ·

\Delta x \Delta p

≥ |⟨[x̂,p̂]⟩|/

2 = \hbar /2

Heisenberg Uncertainty Principle→The Schrödinger Equation→Ladder (Creation/Annihilation) Operators→