|q⟩ Bad Qubits

beginner · Physics · Math Foundations: Complex Numbers

Why Complex Numbers in Quantum Theory

The puzzle classical probability cannot solve

Imagine a beam of light hitting a half-silvered mirror. Classical probability says: each photon either reflects (probability 1/21/2) or transmits (probability 1/21/2). Add a second mirror to reunite the two paths — a Mach–Zehnder interferometer — and classical probability predicts each detector fires half the time. Experiment says otherwise: with equal path lengths, one detector fires with certainty and the other never fires.

The difference is interference. Classical probabilities add; quantum amplitudes add, and interference can make a total amplitude of zero even when each partial amplitude is nonzero. To capture cancellation you need quantities that can subtract — quantities that can be negative, or more generally, complex.

What an amplitude is

Quantum mechanics replaces the classical probability p(x)p(x) of an outcome xx with a probability amplitude ψ(x)\psi(x), a complex number. The actual probability is recovered by the Born rule:

P(x)=ψ(x)2.P(x) = |\psi(x)|^2.

Because ψ20|\psi|^2 \geq 0 always, probabilities are non-negative. But ψ\psi itself can be negative, imaginary, or anywhere in the complex plane. Before squaring, amplitudes from different paths can interfere.

Consider two paths to the same outcome, with amplitudes ψ1\psi_1 and ψ2\psi_2. The combined amplitude is ψ1+ψ2\psi_1 + \psi_2, so the probability is

ψ1+ψ22=ψ12+ψ22+2Re(ψ1ψ2).|\psi_1 + \psi_2|^2 = |\psi_1|^2 + |\psi_2|^2 + 2\operatorname{Re}(\psi_1^* \psi_2).

The last term is the interference term. If ψ1=A\psi_1 = A and ψ2=A\psi_2 = -A (equal magnitudes, opposite signs), the interference term equals 2A2-2A^2, exactly cancelling the first two terms and giving probability zero. Real numbers are sufficient for this sign flip, but once path lengths or phases are involved you need full complex arithmetic — angles in the complex plane, not just plus and minus.

Why real numbers alone are not enough

Could we restrict amplitudes to real numbers? Real numbers do allow interference (two paths can cancel), but they cannot describe the continuous, smooth phase evolution that quantum systems exhibit. The time-dependent Schrödinger equation,

iψt=H^ψ,i\hbar\frac{\partial\psi}{\partial t} = \hat{H}\psi,

has an explicit ii on the left-hand side. For a real Hamiltonian acting on a real-valued ψ\psi, the right-hand side H^ψ\hat{H}\psi is real, so the equation forces ψ/t\partial\psi/\partial t to be purely imaginary: ψ/t=iH^ψ\partial\psi/\partial t = -\tfrac{i}{\hbar}\hat{H}\psi. The state therefore cannot stay real — it is immediately driven into the complex plane (the only exception is H^ψ=0\hat{H}\psi = 0, where it does not change at all). Complex numbers are therefore not a cosmetic choice — they are forced on us by the need to describe time evolution.

Amplitudes in a two-outcome measurement

A qubit (or any two-level system) has a state

ψ=α0+β1,|\psi\rangle = \alpha|0\rangle + \beta|1\rangle,

where α,βC\alpha, \beta \in \mathbb{C}. The Born rule gives

P(measure 0)=α2,P(measure 1)=β2.P(\text{measure } 0) = |\alpha|^2, \quad P(\text{measure } 1) = |\beta|^2.

Normalization requires α2+β2=1|\alpha|^2 + |\beta|^2 = 1. The values α\alpha and β\beta are not probabilities; they are amplitudes that encode both magnitude and phase. The phase difference between α\alpha and β\beta affects what happens when the state is acted on by a quantum gate, and it shows up as interference in subsequent measurements.

The takeaway

Complex numbers appear in quantum mechanics because quantum systems exhibit interference, and capturing interference requires quantities that can cancel by phase — not just by sign. The Born rule P=ψ2P = |\psi|^2 then converts these complex amplitudes into real, non-negative probabilities at the moment of measurement. Everything else in quantum theory — unitaries, inner products, expectation values — is built from this one fact.

Sign in on the full site to ask questions and join the discussion.