Eigenvalues & the Spectral Theorem
Eigenvalues & the Spectral Theorem
Measurement outcomes are eigenvalues; the states you collapse into are eigenvectors. The spectral theorem — that observables can be diagonalized in an orthonormal eigenbasis — is the mathematical content of the measurement postulate, the reason phase estimation works, and the tool that lets us define functions of operators (like ). This is the technical heart of Course 0.1.
Learning Objectives
After this lesson you will be able to:
- Compute eigenvalues/eigenvectors via the characteristic polynomial and diagonalize a matrix.
- Define normal operators and state the spectral theorem for them.
- Write an operator in its spectral decomposition .
- Explain degeneracy and project onto eigenspaces.
- Prove that operators are simultaneously diagonalizable iff they commute.
Intuition
An eigenvector of is a special direction that merely stretches (by the eigenvalue), without rotating it: . If you can find a full basis of eigenvectors, the operator becomes trivial to understand — in that basis it's just "multiply coordinate by ," a diagonal matrix. The spectral theorem says the operators of physics (Hermitian observables, unitary gates — all normal) always admit such an orthonormal eigenbasis. That's why we can always think of an observable as "a set of outcomes each attached to a perpendicular measurement direction."
Theory
Eigenvalues and eigenvectors
For an operator on , a nonzero is an eigenvector with eigenvalue if
A nonzero solution exists iff is singular, i.e. iff is a root of the characteristic polynomial
Over , has degree and (by the fundamental theorem of algebra) exactly roots counted with multiplicity — every complex matrix has at least one eigenvalue. The eigenspace for is ; its dimension is the geometric multiplicity, and is degenerate if that exceeds .
Diagonalization
is diagonalizable if there is a basis of eigenvectors. Stacking them as columns of ,
From this, and (eigenvalues are the trace/determinant's "atoms"). Not every matrix is diagonalizable (e.g. \begin{psmallmatrix}0&1\\0&0\end{psmallmatrix} is defective), but the operators we care about always are — because they are normal.
Normal operators and the spectral theorem
is normal if it commutes with its adjoint:
Hermitian () and unitary () operators are both normal. The payoff:
Spectral theorem (finite-dimensional). is normal iff it is unitarily diagonalizable: there exists an orthonormal eigenbasis and eigenvalues with
Proof of the key direction (normal ⇒ orthonormal eigenbasis), by induction on . Every operator on has an eigenvalue with a unit eigenvector (root of ). Consider , the orthogonal complement of . Claim: is invariant under . First, normality gives that is also an eigenvector of with eigenvalue (standard lemma: for normal , , so they share eigenvectors). Then for : , so . The restriction is normal on the -dimensional ; by induction it has an orthonormal eigenbasis, which together with gives one for all of . ∎
Spectral decomposition and eigenprojectors
Grouping repeated eigenvalues, write the distinct eigenvalues with orthogonal projectors onto their eigenspaces:
This is the form the measurement postulate uses (Term 1.3): outcome occurs with probability and collapses the state to .
Functions of operators
The spectral decomposition lets us apply any function to a normal operator:
In particular — the engine of time evolution (Term 1.6) and of building gates from Hamiltonians. We develop this fully in 0.1.6.
Simultaneous diagonalization
Theorem. Two normal operators are simultaneously diagonalizable (share an orthonormal eigenbasis) iff .
Proof (⇐, the useful direction). If they share an eigenbasis with $A|v_k\rangle = a_k|v_k\rangleB|v_k\rangle = b_k|v_k\rangleAB|v_k\rangle = a_k b_k|v_k\rangle = BA|v_k\rangle$ on a basis, so . Conversely if , preserves each eigenspace of (if $A|v\rangle = a|v\rangleA(B|v\rangle) = BA|v\rangle = aB|v\rangleB|v\rangle$ is in the same eigenspace); diagonalizing within each eigenspace of yields a common eigenbasis. ∎
Physically: commuting observables are jointly measurable with definite simultaneous values — the formal counterpart of the commutator discussion in 0.1.4.
Worked Examples
Example 1 — Diagonalizing Pauli-
Characteristic polynomial of X = \begin{psmallmatrix}0&1\\1&0\end{psmallmatrix}: . For : components equal $\Rightarrow |v_+\rangle = \tfrac1{\sqrt2}(1,1)^T = |+\rangle\lambda = -1|v_-\rangle = \tfrac1{\sqrt2}(1,-1)^T = |-\rangle$. These are orthonormal (as the spectral theorem guarantees for the Hermitian ). Spectral decomposition:
Check trace ✓ and det ✓, matching 0.1.4.
Example 2 — A degenerate operator and its eigenprojector
Let A = \begin{psmallmatrix} 2 & 0 & 0\\ 0 & 2 & 0\\ 0 & 0 & 5\end{psmallmatrix}. Eigenvalue $\lambda = 2\operatorname{span}{|0\rangle,|1\rangle}$, and with eigenvector . The eigenprojectors are
with , , . Note the eigenvectors within the degenerate space are not unique — any orthonormal pair spanning it works — but the projector is unique.
Hands-on (Python)
import numpy as np
X = np.array([[0, 1], [1, 0]], dtype=complex)
# For Hermitian/normal matrices, use eigh: returns REAL, sorted eigenvalues and an
# ORTHONORMAL eigenbasis (columns of vecs). Reserve np.linalg.eig for general matrices.
vals, vecs = np.linalg.eigh(X)
print(vals) # [-1. 1.]
print(np.round(vecs, 3)) # columns are |->, |+> (orthonormal)
# Verify diagonalization A = V Λ V†:
Lam = np.diag(vals)
print(np.allclose(vecs @ Lam @ vecs.conj().T, X)) # True
# Spectral decomposition A = Σ λ_k |v_k><v_k|:
A_rebuilt = sum(l * np.outer(vecs[:, k], vecs[:, k].conj())
for k, l in enumerate(vals))
print(np.allclose(A_rebuilt, X)) # True# Functions of operators via the spectrum: build U = exp(-i X t) two ways and compare.
from scipy.linalg import expm
def f_of_operator(vals, vecs, f):
return sum(f(l) * np.outer(vecs[:, k], vecs[:, k].conj())
for k, l in enumerate(vals))
t = 0.7
U_spectral = f_of_operator(vals, vecs, lambda l: np.exp(-1j * l * t))
U_expm = expm(-1j * X * t)
print(np.allclose(U_spectral, U_expm)) # True — spectral calculus = matrix exponential# Commuting ⇒ simultaneously diagonalizable. Z and Z commute trivially; X and Z do NOT:
Z = np.array([[1, 0], [0, -1]], dtype=complex)
def comm(A, B): return A @ B - B @ A
print(np.allclose(comm(X, Z), 0)) # False: X,Z share no common eigenbasisExercises
E1 (easy). Find the eigenvalues and orthonormal eigenvectors of and write its spectral decomposition.
Solution
Already diagonal: eigenvalues (eigenvector ) and (). Spectral form .
E2 (easy). Show that the eigenvalues of any projector are or .
Solution
If then ; but gives , so . (Eigenvalue : vectors in the subspace; : its orthogonal complement.)
E3 (medium). Prove that a Hermitian operator has real eigenvalues and that eigenvectors for distinct eigenvalues are orthogonal.
Solution
Let , with . Then $\lambda = \langle v|A|v\rangle = \overline{\langle v|A^\dagger|v\rangle} = \overline{\langle v|A|v\rangle} = \overline\lambda\lambda\in\mathbb{R}A|v\rangle = a|v\rangleA|w\rangle = b|w\rangle$ with : (using real). So . ∎
E4 (medium). Diagonalize the Hadamard H = \tfrac1{\sqrt2}\begin{psmallmatrix}1&1\\1&-1\end{psmallmatrix}. What are its eigenvalues?
Solution
, so (consistent with ). is Hermitian and unitary, an involution; its eigenvectors are the two fixed/anti-fixed directions of the reflection it represents (numerically, for and for ).
E5 (hard). Suppose normal operators satisfy and has non-degenerate spectrum. Prove that every eigenvector of is also an eigenvector of , hence for some function .
Solution
If with non-degenerate, then , so lies in the (1-dimensional) eigenspace of for ; thus for some scalar — is an eigenvector of . Defining on the spectrum of gives . ∎ (This is why, for a system with a non-degenerate Hamiltonian, every conserved quantity is a function of the energy.)
Checkpoint
- What equation defines an eigenvalue, and how does the characteristic polynomial find them?
- Define a normal operator and state the spectral theorem.
- Write a general spectral decomposition and give the eigenprojector properties.
- How do you define for a normal ? Give the example used for time evolution.
- State the commute ⟺ simultaneously-diagonalizable theorem and its physical meaning.
Answers
- , i.e. ; the roots of that degree- polynomial are the eigenvalues.
- ; then has an orthonormal eigenbasis and .
- with , , Hermitian.
- ; e.g. .
- Normal share an orthonormal eigenbasis iff ; physically, commuting observables are simultaneously measurable with definite joint values.
Further Reading
- [Axl] Axler, Linear Algebra Done Right, Ch. 5, 7 — eigenvalues, the spectral theorem (a clean, determinant-free treatment).
- [NC] Nielsen & Chuang, §2.1.7–2.1.8 — eigendecomposition and the spectral decomposition.
- [HJ] Horn & Johnson, Matrix Analysis, Ch. 1, 2 — normal matrices, Schur/spectral theorems.
← Prev: Linear Operators & Matrices · Up: Term 0 · Next: Special Operators →