The Evolution Postulate
The Evolution Postulate
How does a quantum state change when you don't measure it? Postulate 3 says: by a unitary transformation. In continuous time this is the Schrödinger equation; in the discrete language of quantum computing it is "apply a gate." The two are the same statement — — and the link is precisely the "Hermitian generates unitary" theorem from Term 0. This postulate is why every quantum gate is unitary and why (un-measured) quantum computation is reversible.
Learning Objectives
After this lesson you will be able to:
- State Postulate 3 in both discrete () and continuous (Schrödinger) forms.
- Explain why evolution must be unitary (preservation of normalization/probability).
- Solve the time-independent Schrödinger equation to obtain the propagator .
- Contrast reversible unitary evolution with irreversible measurement.
- Evolve states numerically and confirm unitarity.
Intuition
Between measurements, a closed quantum system glides along deterministically — but the "glide" is a rotation of the state vector inside Hilbert space, never a stretch or shrink (that would change total probability). Rotations of complex vectors that preserve lengths and angles are exactly unitary maps. The generator of this continuous rotation is the system's energy operator, the Hamiltonian . In quantum computing we usually skip the continuous story and just specify the net rotation — a gate — but physically that gate is "let the right Hamiltonian act for the right amount of time" (Course 1.6, and hardware in Term 4.4).
Theory
Postulate 3 (Unitary evolution)
Postulate 3 (discrete form). The evolution of a closed quantum system from time to is given by a unitary operator depending only on :
Postulate 3 (continuous form). The time evolution of the state of a closed system is governed by the Schrödinger equation
where is a fixed Hermitian operator, the Hamiltonian (the energy observable).
We set throughout (see Appendix C); restoring units puts on the left: .
Why unitary? Probability conservation
Unitarity is forced by Postulate 1: a state must stay normalized. If , then , which equals for all states iff . Equivalently (0.1.6), unitaries are precisely the inner-product-preserving maps — they preserve all overlaps, hence all Born probabilities. Any non-unitary "evolution" would leak or create probability.
From the Schrödinger equation to the propagator
For a time-independent , the Schrödinger equation is a linear ODE with constant operator coefficient. Its solution is the operator exponential
Verification. Differentiate the series term by term: , so , and gives the right initial condition. ∎ And is unitary because is Hermitian — the exact theorem proved in 0.1.6:
So the discrete and continuous forms agree: . Conversely, Stone's theorem (and finite dimensionally, just the matrix logarithm) says every unitary is for some Hermitian — so "a gate" and "evolve under some Hamiltonian for some time" are the same notion. This is the bridge from physics to circuits, fully exploited in Course 1.6 and Term 2.
Composition and reversibility
Unitaries compose: evolving by then is , again unitary (0.1.6 E2) — this is precisely a quantum circuit, a product of gates. And every unitary is invertible, with : un-measured quantum evolution is reversible. Run the gates backwards (apply each in reverse order) and you return to the start. Contrast measurement (Postulate 2), which collapses the state and destroys information — the one irreversible step in quantum theory. The interplay (reversible evolution + irreversible measurement) is what every algorithm orchestrates.
Open systems caveat. Postulate 3 is for closed systems. A system coupled to an environment evolves non-unitarily (decoherence); that is described by quantum channels on density matrices — Course 1.5 sets up the formalism and Term 4 develops noise.
Worked Examples
Example 1 — Evolution under
With , the propagator is (using the spectral form of , as in 0.1.6 Example 1):
Apply to : . The relative phase between components grows linearly in time — the qubit's Bloch vector precesses about the -axis at angular frequency (Course 1.6). Note stays throughout (the relative phase is invisible to a measurement) but oscillates — phase becomes observable in the basis.
Example 2 — A gate as finite-time evolution
To realize the NOT gate () we want . Pick and evolve for :
which is up to the global phase — physically the NOT gate. (The half-angle identity is from Appendix E.) This is the seed of Rabi oscillations: a resonant drive is a Hamiltonian, and letting it act for a calibrated time produces a gate (1.6.2).
Hands-on (Python)
import numpy as np
from scipy.linalg import expm
def dag(A): return A.conj().T
def is_unitary(U): return np.allclose(dag(U) @ U, np.eye(U.shape[0]))
Z = np.array([[1, 0], [0, -1]], dtype=complex)
X = np.array([[0, 1], [1, 0]], dtype=complex)
plus = np.array([1, 1], dtype=complex) / np.sqrt(2)
# Propagator U(t) = exp(-iHt) for H = (ω/2) Z:
omega = 2.0
def U(t, H): return expm(-1j * H * t)
Ut = U(0.5, (omega / 2) * Z)
print(is_unitary(Ut)) # True — evolution preserves probability
psi_t = Ut @ plus
print(np.round(np.abs(psi_t)**2, 4)) # [0.5 0.5] — populations unchanged under Rz...
# ...but the relative phase shows up in <X>:
expX = lambda s: np.real(s.conj() @ X @ s)
print(round(expX(psi_t), 4), "vs cos(ωt)=", round(np.cos(omega*0.5), 4)) # matches# A gate is finite-time evolution: exp(-i (π/2) X) = X up to global phase.
gate = expm(-1j * (np.pi/2) * X)
print(np.round(gate, 3)) # [[0,-i],[-i,0]] = -i X (physically NOT)
print(np.allclose(np.abs(gate), np.abs(X))) # same operator up to phase
# Reversibility: U† undoes U.
ket0 = np.array([1, 0], dtype=complex)
print(np.allclose(dag(Ut) @ (Ut @ ket0), ket0)) # TrueOn Braket. Every gate you place in a
Circuitis one of these unitaries; the SDK'sGate.RZ(angle)is literally . Reversibility is why a circuit can be uncomputed by appending the inverse gates — a trick used constantly from Term 2 on.
Exercises
E1 (easy). Verify that is unitary and compute up to global phase.
Solution
; since is Hermitian and real. , i.e. (NOT) up to the global phase .
E2 (easy). If is an eigenstate of with energy , find . What is observable about its time dependence?
Solution
— only a global phase accrues. Nothing observable changes: energy eigenstates are stationary states. (Relative phases between different energy eigenstates in a superposition are observable — Course 1.6.)
E3 (medium). Prove that the product of the propagators over and equals the propagator over for time-independent .
Solution
, valid because commutes with itself (so the exponents add — Appendix E, BCH). ∎ This semigroup property is just "evolve, then evolve more."
E4 (medium). Show that if is not Hermitian (say with positive), is not unitary and the norm decays. Why does this violate Postulate 1?
Solution
, with ; norms shrink as . Total probability is no longer conserved, contradicting the requirement that states stay unit vectors. (Such non-Hermitian "effective Hamiltonians" are used as models of open systems, where the missing probability has leaked to an environment — Term 4.)
E5 (hard). Given a unitary on a qubit, show how to find a Hermitian with , and apply it to . (Use the spectral decomposition.)
Solution
Diagonalize (unitary ⇒ unit-modulus eigenvalues, 0.1.6). Define (real eigenvalues ⇒ Hermitian); then . For the Hadamard, eigenvalues are with the eigenvectors from 0.1.5 E4; so has eigenvalues and on those eigenvectors, giving up to an additive multiple of (which is just a global phase). ∎
Checkpoint
- State Postulate 3 in discrete and continuous forms.
- Why must closed-system evolution be unitary?
- Solve for time-independent and verify the solution.
- In what sense are a "gate" and "evolution under a Hamiltonian" the same thing?
- Contrast the reversibility of evolution with measurement.
Answers
- Discrete: , unitary. Continuous: , Hermitian.
- To preserve normalization/Born probabilities for all states, which requires .
- ; differentiating gives , satisfying the equation with .
- for Hermitian , and (Stone/matrix log) every unitary equals for some Hermitian — gates are net evolutions.
- Unitary evolution is invertible (), hence reversible; measurement collapses the state and is irreversible.
Further Reading
- [NC] Nielsen & Chuang, §2.2.2 (Postulate 2, evolution) and §2.2.3.
- [Sak] Sakurai & Napolitano, §2.1–2.2 — time evolution and the Schrödinger equation.
- [Gri] Griffiths & Schroeter, Ch. 1–2 — the Schrödinger equation (with explicit).
← Prev: Observables & the Measurement Postulate · Up: Term 1 · Next: The Composite Systems Postulate →