Compatibility, Commutators, and Uncertainty

The algebra of observables constrains which quantities can have simultaneous sharp values, how operation order matters, and which state-dependent spreads must obey lower bounds. Commutators encode the antisymmetric part of operator multiplication; anticommutators encode the symmetric part. Together they organize compatibility, covariance, dynamics, and uncertainty.

This chapter develops those connections while keeping several claims separate. Noncommutativity is not identical to measurement disturbance. An uncertainty relation concerns the distributions associated with a state, unless an error-disturbance protocol is explicitly introduced. Energy–time relations are not obtained by simply treating time as another position operator in ordinary quantum mechanics.

What This Chapter Owns

This chapter is the canonical home for

• compatibility of sharp observables in the standard projective formalism;
• commutators and their elementary identities;
• canonical position-momentum commutation relations;
• anticommutators as symmetric operator products;
• physical consequences and caveats of noncommuting observables;
• the Robertson and Robertson–Schrödinger uncertainty relations;
• the position-momentum uncertainty relation and minimum-uncertainty Gaussians;
• careful forms of energy–time uncertainty;
• simultaneous eigenstates and joint quantum-number labels.

Complete commuting labels are introduced from the operator side in Complete Sets of Commuting Observables. Detailed sequential-measurement protocols belong to Measurement and State Update. Generator algebras, Lie groups, angular momentum, and symmetry representations belong to Symmetry, Angular Momentum, and Spin.

Commutators and Operator Order

The commutator of operators $A$ and $B$ is

$$[A,B] = AB-BA.$$

It measures the antisymmetric part of their ordered product. If $[A,B]=0$, the two products agree wherever both are defined. Basic identities include

$$[A,B] = -[B,A],$$ $$[A,BC] = [A,B]C+B[A,C],$$

and, when $A$ and $B$ have no explicit time dependence, the Hamiltonian commutator controls the evolution of expectation values:

$$\frac{d}{dt}\langle A\rangle = \frac{i}{\hbar} \langle[H,A]\rangle.$$

The last equation belongs canonically to operator dynamics, but it shows why commutators connect compatibility and symmetry to conservation laws. Commutators are algebraic objects; their physical interpretation depends on which operators, state space, and domains are being considered.

The anticommutator is

$$\{A,B\} = AB+BA.$$

Every ordered product splits into symmetric and antisymmetric parts:

$$AB = \frac12\{A,B\} + \frac12[A,B].$$

For self-adjoint observables, the centered anticommutator supplies the real covariance term in the strongest elementary uncertainty bound. Anticommutation relations also organize Pauli matrices and, later, fermionic creation and annihilation operators. The latter theory remains in the composite-systems and QFT volumes.

Compatibility and Shared Spectral Structure

For self-adjoint matrices in finite dimensions, the following statements are equivalent:

• $[A,B]=0$;
• $A$ and $B$ possess a common orthonormal eigenbasis;
• their spectral projectors commute;
• the observables admit a joint sharp projective measurement.

Degeneracy is why “commuting operators have the same eigenvectors” is imprecise. A degenerate eigenspace of $A$ may contain many possible bases. Commutation guarantees that $B$ preserves each eigenspace of $A$, so $B$ can be diagonalized within those subspaces to construct a common basis.

Compatibility does not require one observable to be a function of the other, and it does not require statistical independence. A state can produce strongly correlated outcomes for two commuting observables. Compatibility concerns joint spectral structure, not the factorization of probabilities.

For unbounded operators, writing $[A,B]=0$ on some common domain may be insufficient. The robust spectral statement is strong commutation:

$$E_A(\Delta)E_B(\Gamma) = E_B(\Gamma)E_A(\Delta)$$

for all relevant measurable sets $\Delta$ and $\Gamma$. The finite-dimensional equivalences remain the correct working model, while domain and spectral-measure subtleties belong to the mathematical treatment.

Canonical Commutation Relations

For Cartesian position and momentum components,

$$[X_i,P_j] = i\hbar\delta_{ij}I,$$

with $[X_i,X_j]=[P_i,P_j]=0$. In the position representation on a suitable common domain,

$$(X_i\psi)(\mathbf x) = x_i\psi(\mathbf x), \qquad (P_j\psi)(\mathbf x) = -i\hbar\frac{\partial\psi}{\partial x_j}.$$

The canonical commutator encodes the relation between momentum and spatial translations and yields the familiar position-momentum uncertainty bound. It cannot be represented exactly by finite-dimensional matrices: taking the trace of a finite-dimensional commutator gives zero, whereas $\operatorname{Tr}(i\hbar I)$ does not. Numerical truncations can approximate selected matrix elements and low-energy physics, but they cannot preserve the exact canonical algebra globally.

Because $X$ and $P$ are unbounded, the formal differential calculation must be paired with domains and boundary conditions. Statements about their commutator are claims on vectors for which both ordered products are defined.

Uncertainty as a State Property

For a normalized state and self-adjoint observables $A$ and $B$, define centered operators

$$A_0 = A-\langle A\rangle I, \qquad B_0 = B-\langle B\rangle I.$$

Their standard deviations satisfy the Robertson–Schrödinger relation

$$(\Delta A)^2(\Delta B)^2 \ge \left\lvert \frac12\langle\{A_0,B_0\}\rangle \right\rvert^2 + \left\lvert \frac{1}{2i}\langle[A,B]\rangle \right\rvert^2.$$

Dropping the nonnegative covariance term gives the Robertson bound

$$\Delta A\,\Delta B \ge \frac12 \left\lvert\langle[A,B]\rangle\right\rvert.$$

This lower bound is state dependent. Two noncommuting observables can have $\langle[A,B]\rangle=0$ in a particular state, making the Robertson bound trivial even when the observables remain incompatible. The stronger relation may retain a covariance contribution, but even it should not be read as a complete theory of joint measurability or measurement error.

For the canonical pair,

$$\Delta X\,\Delta P \ge \frac{\hbar}{2}.$$

The standard deviations describe spreads across ensembles prepared in the same state. They are not merely imperfections of an apparatus and do not state that a first measurement mechanically “kicks” the second quantity by a fixed amount. Measurement-disturbance relations require separately defined error and disturbance measures.

Why Energy–Time Is Different

In ordinary nonrelativistic quantum mechanics, time is generally the evolution parameter, not a universal self-adjoint operator canonically conjugate to the Hamiltonian. Therefore $\Delta E\,\Delta t\ge\hbar/2$ is not a single universal Robertson relation with one fixed meaning of $\Delta t$.

One useful dynamical statement is the Mandelstam–Tamm bound. For an observable $A$ with no explicit time dependence, define a characteristic time

$$\tau_A = \frac{\Delta A} {\left\lvert d\langle A\rangle/dt\right\rvert}.$$

Then, where the denominator is nonzero,

$$\tau_A\,\Delta H \ge \frac{\hbar}{2}.$$

Lifetime-linewidth relations and quantum-speed-limit statements use other operational timescales. None licenses the claim that energy conservation may be violated for a short time. Energy conservation follows from the dynamics and symmetries of the system; an uncertainty statement does not suspend it.

Page Map

Question	Canonical page	Main distinction
When are sharp observables compatible?	Compatible Observables	joint spectral structure versus independence
What does operator order measure?	Commutators	antisymmetric product versus physical interpretation
What algebra relates position and momentum?	Canonical Commutation Relations	formal relation versus domain-qualified operator statement
What is the symmetric operator product?	Anticommutators	covariance role versus fermionic preview
What are the consequences of noncommutation?	Noncommuting Observables	incompatibility versus disturbance
What is the general spread bound?	General Uncertainty Relations	Robertson bound versus covariance-strengthened bound
Why must position and momentum spreads trade off?	Position-Momentum Uncertainty	preparation spread versus instrument resolution
Which energy–time statements are valid?	Energy-Time Uncertainty	dynamical timescale versus nonexistent universal time operator
How can several quantities be sharp together?	Simultaneous Eigenstates	common eigenvector versus complete joint basis

These nine articles form the planned chapter.

Suggested Routes

First systematic pass

Read compatible observables, commutators, noncommuting observables, and simultaneous eigenstates. Then read the general uncertainty derivation and its position-momentum application.

Wave-mechanics route

Pair the canonical commutation relations and position-momentum uncertainty with Momentum-Space Representation and Gaussian Wave Packets.

Symmetry and dynamics route

Read commutators, simultaneous eigenstates, and complete commuting observables, then continue to Commutator Dynamics and the symmetry volume.

Mathematical-care route

Pair compatibility and the canonical relations with Domains of Operators, Symmetric vs Self-Adjoint Operators, and Heisenberg Group.

Algebra and Uncertainty Checks

• State the operator domains before manipulating unbounded products.
• Check commutator signs directly from the chosen convention.
• In finite dimensions, verify compatibility by simultaneous diagonalization or commuting spectral projectors.
• Distinguish a common eigenvector from a complete common eigenbasis.
• Compute variances before applying an uncertainty bound and verify that they are nonnegative.
• Remember that a vanishing commutator expectation does not prove operator commutation.
• Check whether a claimed energy–time relation defines its timescale operationally.
• In truncated numerics, test commutators only on the converged subspace relevant to the calculation.

Common Mistakes

• Equating commutation with statistical independence. Compatible outcomes may be strongly correlated.
• Claiming noncommuting observables share no eigenvectors. They may share some vectors without having a complete common basis.
• Treating a zero commutator expectation as compatibility. Compatibility is an operator or spectral statement, not one expectation value.
• Ignoring degeneracy in simultaneous diagonalization. Additional diagonalization inside degenerate subspaces is often required.
• Reading uncertainty solely as measurement disturbance. Robertson-type inequalities constrain preparation spreads.
• Assuming the lower bound is always nonzero. It depends on the state through the commutator expectation.
• Using exact canonical commutation relations in a finite-dimensional truncation. The trace obstruction forbids this globally.
• Writing an unqualified energy–time formula. The meaning of the time quantity must be stated.
• Saying energy can be borrowed for a short interval. Uncertainty relations do not suspend conservation laws.

Cross-Links

• Observables and Operators
• Probability and the Born Rule
• Measurement and State Update
• Time Evolution
• Commutators and Anticommutators
• Poisson Brackets
• Pauli Matrices
• Commutator glossary entry

References

• H. P. Robertson, “The Uncertainty Principle,” Physical Review 34, 163–164, 1929, doi:10.1103/PhysRev.34.163.
• E. Schrödinger, “Zum Heisenbergschen Unschärfeprinzip,” Sitzungsberichte der Preussischen Akademie der Wissenschaften, Physikalisch-mathematische Klasse, 296–303, 1930.
• R. Shankar, Principles of Quantum Mechanics, 2nd ed., Springer, 1994.
• J. J. Sakurai and J. Napolitano, Modern Quantum Mechanics, 3rd ed., Cambridge University Press, 2020.
• L. E. Ballentine, Quantum Mechanics: A Modern Development, 2nd ed., World Scientific, 2014.
• M. Reed and B. Simon, Methods of Modern Mathematical Physics, Vol. I: Functional Analysis, rev. ed., Academic Press, 1980.