Linear algebra, operators, Hilbert spaces · Statement 1 of 100

Pauli commutant theorem

A $2\times2$ matrix commuting with all three Pauli matrices must be a multiple of the identity, because the Paulis act irreducibly on $\mathbb C^2$.

A fundamental statement · Linear algebra

The statement

$$[A,\sigma_x]=[A,\sigma_y]=[A,\sigma_z]=0\Rightarrow A=\lambda I$$Pauli commutant theorem · statement 1

Explanation

A $2\times2$ matrix commuting with all three Pauli matrices must be a multiple of the identity, because the Paulis act irreducibly on $\mathbb C^2$.

Commuting with $\sigma_z$ forces $A$ diagonal; commuting with $\sigma_x$ then forces equal diagonal entries.

Conditions

A compact formula is not a claim of unrestricted validity. Before applying this statement, check the assumptions stated in its wording (dimension, finiteness, equilibrium, model regime) and in the explanation above.

Deeper understanding

Matrices, eigenvectors, commutators and tensor products form the language used to specify quantum states, transformations and observables.

What this result tells us

This is a concrete two-dimensional illustration of why an irreducible set of observables has only scalar operators in its commutant.

Mathematical reading guide

Read the equation from left to right: identify its premises, the operation being performed, and the resulting conclusion or bound. When a symbol represents an operator, verify its domain and whether Hermiticity, unitarity, positivity or finite dimensionality is assumed. When probabilities or entropies appear, check normalization and the logarithm convention.

Where it matters

Quantum control, Hamiltonian simulation, spectral analysis and numerical diagonalization.

Worked example and interpretation

Let $A=\begin{pmatrix}a&b\\c&d\end{pmatrix}$. The equation $[A,\sigma_z]=0$ gives $b=c=0$. Then $[A,\sigma_x]=0$ implies $a=d$, hence $A=aI$.

Calculate the smallest nontrivial matrix example by hand, then verify dimensions, adjoints and normalization.

Check your understanding

Questions to work through

  1. What are the assumptions and the physical system for Pauli commutant theorem?
  2. Which quantity is invariant, bounded, measurable or transformed in this statement?
  3. Can you demonstrate the claim on the simplest valid example, and identify a situation where its assumptions fail?
  4. How does this result connect to operator mathematics in an experiment or simulation?
Suggested approach to the answers

First identify the hypotheses in the original statement. Use the displayed equation and the worked example above; distinguish an exact theorem from an approximation, and state the operational meaning of each quantity. For the final question, relate the mathematical result to quantum control, hamiltonian simulation, spectral analysis and numerical diagonalization.

Search the statements

Search titles and topics. Press / to open. Esc to close.

◈ QuantumVerse Hub