The Postulates of Quantum Mechanics
Every article in this track has been playing by rules never written down in one place. The wave-mechanics chapter used them: wavefunctions normalized, observables as operators, energies off an eigenvalue menu, probabilities as squared amplitudes. The formalism chapter has been proving pieces: states are vectors in a Hilbert space, Hermitian operators have real eigenvalues and orthogonal eigenstates, expansions converge. This article is where the contract gets signed. Quantum mechanics, in its entirety, is a short list of postulates — five or six sentences, depending on how you count. One names the object that is a physical state. One names the observables. One says what values a measurement can return, one attaches probabilities, one describes what measurement does to the state, and one governs everything between measurements. That is the whole theory: hydrogen, chemistry, semiconductors, and quantum computers are these sentences plus arithmetic. Reading the list has a second payoff exams love: knowing which statements are axioms and which are theorems. "Probabilities sum to one" is not a postulate — completeness forces it. "Norms survive time" is not a postulate — Hermiticity of the Hamiltonian does it. This article states each postulate, points at the article owning its machinery, derives the two consistency results that hold the set together, and draws the axiom-versus-theorem boundary.
- P1 (state): a physical state is a unit ray in a complex Hilbert space — global phase is unphysical.
- P2 (observables): measurable quantities are Hermitian operators with complete eigenbases.
- P3 (outcomes): a measurement of can return only an eigenvalue of — the spectrum is the menu.
- P4 (Born rule): the probability of is — developed quantitatively in the next article.
- P5 (collapse): right after the measurement, the state is the normalized projection onto the outcome's eigenspace.
- P6 (dynamics): between measurements, — deterministic, reversible, norm-preserving.
- Consistency is earned: total probability 1 requires complete eigenbases, and predictions are basis-independent — both derived here.
- Key idea: the postulates are the complete interface between Hilbert-space mathematics and laboratory numbers — six sentences; everything else in quantum mechanics is a theorem.
A physical state is a unit ray ; observables are Hermitian operators ; measuring yields an eigenvalue with probability , collapsing the state onto the outcome's eigenspace; between measurements the state evolves unitarily under .
Where this lives today
The postulates are the interface layer of a technology stack. Quantum-computing textbooks open by restating them for finite dimensions — states in , gates as unitaries, readout as projective measurement — so a quantum algorithm is choreography written in P1–P6, and hardware teams calibrate against these rules: preparation fidelity (P1), gate unitarity (P6), readout statistics (P4). The axioms are also under live interrogation: interference tests bound deviations from the Born rule's exact square (the next article's triple-slit story), and "collapse models" modifying P5/P6 are hunted in matter-wave interferometry. Ninety years in, the six sentences have survived every test — itself one of the most remarkable experimental facts in physics.
The physical picture
Think of the postulates as the specification sheet of a machine that converts preparations into predictions. Feed in a state (a unit vector), choose a question (a Hermitian operator), and the machine returns the possible readings (eigenvalues) with a probability attached to each (squared overlaps). Pressing the measurement button does two things at once: it prints one reading, and it overwrites the input — the state that comes out is the eigenstate matching the printed reading. Between button presses, an internal clockwork — the Schrödinger equation — rotates the state vector smoothly and reversibly.
Notice what the picture lacks: any dial showing "the actual value of before measurement." The state fixes probabilities, not hidden readings — and the wave chapter's interference experiments (recall Double-Slit Experiment) rule out secretly attaching definite values. Notice also the machine's two different ways of changing a state: evolution (P6) smooth, deterministic, reversible; measurement (P5) abrupt, probabilistic, irreversible. The uneasy coexistence of these two update rules is the measurement problem, flagged in the FAQ and treated in earnest in the entanglement chapter.
The postulates, stated crisply
Each postulate is one sentence plus its equation; the machinery lives in an article this chapter has built or will build shortly. This is the assembly point — where the pieces are declared to be the theory.
Postulate 1 — states. The complete description of a system is a unit vector in a complex Hilbert space, vectors differing by a global phase describing the same state:
where: is the Hilbert space whose three axioms were built in Hilbert Space and State Vectors, and the ray equivalence is that article's global-phase card (derived there; recalled, not re-proved, here). Packed into this one line: superposition is vector addition, normalization is unit length, and relative phases inside a sum are measurable while the overall phase never is.
Postulate 2 — observables. Every measurable quantity is a Hermitian operator on whose eigenstates form a complete orthonormal basis:
where: Hermiticity is the mirror property of Hermitian Operators and Observables, whose three theorems — real eigenvalues, orthogonal eigenstates, real expectations — are why this postulate is reverse engineering rather than decree: nothing but the Hermitian family delivers real, distinguishable, statistically consistent readings. The completeness clause is the resolution of identity of Completeness Relation and Resolution of Identity, and Derivation A below shows the probability interpretation dies without it.
Postulate 3 — outcomes. A measurement of returns one of its eigenvalues , and nothing else — however exotic the state, the readout comes off the spectrum. Eigenvalue theory, degeneracy, and the discrete-versus-continuous distinction belong to Eigenvalues and Eigenstates (continuous spectra done properly at Continuous Spectra and Dirac Delta Normalization). The wave chapter cashed this postulate constantly: energy measurements on a well returned off the menu, never .
Postulate 4 — the Born rule. If is measured in normalized state , the probability of outcome (nondegenerate case) is the squared overlap with its eigenstate:
where: is the probability amplitude — the complex overlap Cauchy–Schwarz keeps inside the unit disk (Inner Product and Norm of States built that guarantee). The quantitative development — degenerate outcomes and the projector form, interference of amplitudes, continuous densities — is owned by the next article, Born Rule and Measurement Probabilities; here the rule takes its seat among the axioms.
Postulate 5 — collapse. Immediately after a measurement that returned , the state is the normalized projection of onto the eigenspace of :
where: is the projector onto the -eigenspace (Projection Operators owns projector theory). Two consequences: an instant re-measurement returns with certainty, and the superposition is destroyed. The finer mechanics — degenerate outcomes, partial measurements — belong to Measurement and Wavefunction Collapse, next in this chapter.
Postulate 6 — dynamics. Between measurements the state evolves according to the Schrödinger equation,
where: is the Hamiltonian. This is the abstract-ket form of the law postulated in Time-Dependent Schrödinger Equation — a postulate judged by its scorecard, not a theorem. Because is Hermitian, evolution preserves norms: the wave-language proof lives at Conservation of Normalization, and the equivalent statement — is unitary — is developed at Unitary Operators and Transformations and in the dynamics chapter. One footnote: for composite systems the state space is the tensor product of the parts' spaces. That postulate does no work in this chapter, but it is where entanglement lives, and the entanglement chapter opens with it.
Which claims are axioms — and which are theorems
Here is the census, with each claim's true status and owning article. Rule of thumb: structure is postulated; consistency is proved.
| claim | status | who proves it |
|---|---|---|
| states are unit rays in | postulate (P1) | Hilbert Space and State Vectors |
| global phase is unobservable | theorem (P1 + P4) | phase card, Hilbert Space and State Vectors |
| observables are Hermitian | postulate (P2) | motivated by Hermitian Operators and Observables |
| real eigenvalues, orthogonal eigenstates | theorem (P2) | Hermitian Operators and Observables |
| outcomes come from the spectrum | postulate (P3) | Eigenvalues and Eigenstates |
| postulate (P4) | Born Rule and Measurement Probabilities | |
| probabilities sum to one | theorem (P1 + P2 + P4) | Derivation A below |
| predictions are basis-independent | theorem | Derivation B below |
| collapse onto the eigenspace | postulate (P5) | Measurement and Wavefunction Collapse |
| postulate (P6) | Time-Dependent Schrödinger Equation | |
| norm conserved in time | theorem (P2 + P6) | Conservation of Normalization; unitarity later |
| theorem (P4) | Expectation Values and Variance |
The table is worth memorizing in one compressed sentence: six postulates, and every "obviously true" bookkeeping fact you rely on — probabilities summing to one, norms surviving time, basis freedom — is a theorem earned from them.
We prove that the Born probabilities of Postulate 4 always form a valid probability distribution — and, more pointedly, that this consistency is purchased by the completeness clause of Postulate 2. The strategy is two passes over the sum : first with a complete eigenbasis, where the resolution of identity collapses the sum to the norm; then with one eigenvector deliberately removed, where a concrete state exhibits a probability deficit. The punchline: without a complete eigenbasis, P4 is not a probability statement at all.
Step 1. Write the total probability over all outcomes and expand each term as a sandwich:
Why the regrouping is legal: the inner product is linear in the ket slot — the insertion craft of Completeness Relation and Resolution of Identity.
Step 2. Apply completeness. By Postulate 2's clause , the operator in the middle is the identity:
Why this is Parseval in lab clothes: the identity behind the Pythagoras card of Hilbert Space and State Vectors, now saying outcome probabilities exhaust certainty.
Step 3. Now break it on purpose. In take the orthonormal triple and the state : honest probabilities , summing to one. Suppose a candidate "observable" had only and as eigenstates. The accounted probability is
and of outcomes are simply missing. No renormalization fixes this state-independently — a different has a different deficit.
Step 4. Read the moral. Completeness of the eigenbasis is precisely the condition "every measurement has an outcome" — why P2 demands it, why the spectral theory supplying it is load-bearing, and why continuous spectra need their own careful treatment later in the chapter. Verified: numerically — complete-basis probabilities sum to 1 exactly for the state; the truncated basis leaves ; and a random 4-dimensional Hermitian observable's full eigenbasis reproduces to machine precision (verify script, 27 checks green).
Go deeper · Derivation B · 1 minPredictions do not care which basis you compute in
We prove that the numbers the postulates output — probabilities and expectation values — are invariant under a unitary relabeling of the entire description: state, observable, and eigenvectors together. This is the license behind every "work in whatever basis is convenient" instruction you have ever followed, and the formal reason one physics could be written as Heisenberg's matrices and Schrödinger's waves. The strategy is direct computation: transform everything by one unitary and watch the 's cancel in conjugate pairs.
Step 1. Set up the relabeling. Let be unitary () and define the primed description: , . Then eigenvectors map along: if , applying gives — same eigenvalues, transported eigenvectors . Why the spectrum is untouched: the eigenvalue sits outside the vectors; conjugation re-dresses the operator without renaming its menu.
Step 2. Born probabilities. Compute the primed amplitude:
Why the cancellation is exact: unitarity is the definition — the relabeling preserves every inner product, hence every amplitude, hence every .
Step 3. Expectation values ride along for free: — two conjugate pairs, two cancellations.
Step 4. Read what was proved. Predictions depend on geometric relationships — overlaps, spectra — not on coordinates. Heisenberg's 1925 arrays and Schrödinger's 1926 waves were two languages for one geometry, and the isomorphism certifying it (Riesz–Fischer, told at Hilbert Space and State Vectors) predates both. Practical corollary: compute in whatever basis makes your problem diagonal. Verified: numerically — for a random 4-dimensional Hermitian observable, random state, and random unitary, all four Born probabilities and the expectation value match before and after relabeling to (verify script).
Limiting cases
| case | result | meaning |
|---|---|---|
| eigenstate input, | : outcome certain | the probabilistic postulate contains determinism as a special case |
| measurement repeated immediately | same outcome, probability 1 | collapse (P5) + eigenstate limit of P4: measurements are reproducible |
| , eigenstate prepared | statistics frozen for all time | the formalism echo of Stationary States and Separation of Variables |
| classical limit (narrow packets, slow potentials) | obey Newton approximately | Ehrenfest's theorem — wave chapter |
| two-outcome system | all six postulates run in | the qubit: minimal quantum mechanics (Example 1) |
| composite systems | tensor-product postulate — dormant here, central in the entanglement chapter |
Worked examples
Example 1 — every postulate once, in a two-level system (confidence builder). A system lives in with orthonormal basis . It is prepared in , and the observable measured is with matrix in units of eV. Run the full pipeline: menu, probabilities, mean, collapse, and re-measurement.
Step 1. P1 check. : legal state.
Step 2. P2 + P3 — the menu. gives and eV, eigenvectors . Only 3 eV or 1 eV can ever be read out.
Step 3. P4 — probabilities. : ; : . Sum: 1. Mean over many runs: — equal to the sandwich (machine-checked), previewing the theorem owned by Expectation Values and Variance.
Step 4. P5 — collapse. Suppose the readout was 3 eV (it usually is). The state is now — the 0.6/0.8 preparation is gone. An immediate re-measurement returns 3 eV with probability : reproducibility, as the eigenstate-input limit demands.
Step 5. P6 — clockwork. Let . The collapsed is an eigenstate: it only collects a global phase — statistics frozen. The original superposition, left unmeasured, would have oscillated, its components accumulating relative phase and returning to the initial ray every . Determinism between measurements, dice at them.
Example 2 — an energy measurement in the well, start to finish (exam level). An electron in a 1 nm infinite square well ( eV — the spectrum is Infinite Square Well's) is prepared in . Find the possible energy readings and their statistics; then the state right after a measurement returns , and what a second measurement gives.
Step 1. Menu and probabilities. Possible readings: , , eV — nothing else. Each amplitude is : each.
Step 2. Statistics. ; spread — wide, because the outcomes are far apart. (Machine-verified.)
Step 3. Collapse. The readout was . By P5 the state is now — one term survived, renormalized. The energy statistics changed discontinuously from a three-line spectrum to certainty.
Step 4. Re-measurement. is an energy eigenstate; P6 only dresses it with a phase no probability sees. A second energy measurement — now or an hour from now — returns with probability . (A position measurement in between would break this by rebuilding an energy superposition — the compatibility story of The Commutator and Compatible Observables.)
The man who ordered physics axiomatized
Origins · 1 minDavid Hilbert and how this was discovered
When Hilbert listed his famous problems at the 1900 Paris congress, the sixth was unlike the others: treat, by means of axioms, those physical sciences in which mathematics plays an important part — a demand that physics get the foundations he had just given geometry. For a quarter century it looked quixotic; then quantum mechanics arrived in his own town, mathematically chaotic, and Hilbert took it personally. His 1926–27 Göttingen lectures — prepared with his physics assistant Lothar Nordheim and a young John von Neumann — set out to find the axioms; the joint 1928 paper from them is the direct ancestor of this article's list. Hilbert's own toolkit fell short (the delta-function manipulations physicists loved had no rigorous home yet — the gap his quip that "physics is too difficult for physicists" was made for), but the program worked: within four years von Neumann's Mathematische Grundlagen delivered the axiomatization, built inside the very spaces that carry Hilbert's name. The sixth problem is still graded "partially solved" — but its quantum instalment is the standing counterexample to the idea that axiomatizing physics is empty formalism: the postulates are where every quantum technology's design document begins. (His other cameos — coining "spectrum"; the "Hilbert space" naming irony — are told at Position Operator and Hilbert Space and State Vectors.)
Going further
References. Griffiths & Schroeter, Introduction to Quantum Mechanics, 3rd ed., Ch. 3 (Formalism) · Sakurai & Napolitano, Modern Quantum Mechanics, 2nd ed., Ch. 1 · Shankar, Principles of Quantum Mechanics, 2nd ed., Ch. 4 (The Postulates — A General Discussion) · Cohen-Tannoudji, Diu & Laloë, Quantum Mechanics, Vol. 1, Ch. III · Townsend, A Modern Approach to Quantum Mechanics, 2nd ed., Ch. 1–3 · Nielsen & Chuang, Quantum Computation and Quantum Information, Ch. 2.
Provenance. All postulates and equations are standard textbook material (Griffiths Ch. 1–3, Sakurai Ch. 1, Shankar Ch. 4, Cohen-Tannoudji Vol. 1 Ch. III). A verifier should confirm: probability normalization via the resolution of the identity; basis-independence of predictions under unitary relabeling; both worked examples. For this edition, verification was machine-executed (numpy, 27 checks): the completeness-deficit demo (); representation invariance to ; unitarity of ; the two-level pipeline (, eV both routes, period fs); the ISW three-mix statistics ( eV, eV at nm). Per the chapter ownership map: the ray/phase derivation belongs to Hilbert Space and State Vectors, the Hermiticity theorems to Hermitian Operators and Observables, eigenvalue theory to Eigenvalues and Eigenstates, completeness theory to Complete Orthonormal Bases and Completeness Relation and Resolution of Identity, projector theory to Projection Operators, the Born rule's development to Born Rule and Measurement Probabilities, collapse mechanics to Measurement and Wavefunction Collapse, the expectation-value theorem to Expectation Values and Variance — this article states the axioms and proves only the two assembly-level consistency results.
Builds on: Hilbert Space and State Vectors · Dirac Bra-Ket Notation · Hermitian Operators and Observables · Inner Product and Norm of States
Leads to: Born Rule and Measurement Probabilities · Measurement and Wavefunction Collapse · Expectation Values and Variance · Completeness Relation and Resolution of Identity
Why six postulates? My textbook lists four (or five, or seven).
The physics is identical; authors package it differently. Some merge outcomes + probabilities + collapse into one "measurement postulate" (Shankar); some split the state postulate into "vector space" and "ray" clauses; some add the tensor-product postulate explicitly. What never changes: a state postulate, an observable postulate, a measurement block (menu, probabilities, update), and a dynamics postulate. Count the blocks, not the bullets — and on an exam, use your course's numbering.
Are the postulates derivable from something deeper?
Not currently — that is what "postulate" means operationally. There are serious reconstruction programs: Gleason's theorem gets the Born rule's form from weak assumptions given the Hilbert-space frame (next article), decoherence explains why collapse looks the way it does, and quantum-information axiomatizations derive the framework from operational principles. Each illuminates; none has displaced the standard list. The honest classroom position: the postulates are judged, like Newton's laws were, by an unbroken century of experimental victories.
Doesn't Postulate 5 contradict Postulate 6? Evolution is deterministic but collapse is random.
They have disjoint jurisdictions (P6 between measurements, P5 at them), so no formal contradiction — but the coexistence is uncomfortable, because an apparatus is itself atoms that should obey P6. Applying P6 to system-plus-apparatus produces an entangled superposition, not a definite outcome; where definiteness comes from is the measurement problem. Decoherence explains why superpositions become practically invisible; whether that dissolves the problem is contested — the entanglement chapter's foundations articles take it up. For calculations, the split framework works flawlessly.
Where do operators like x̂ = multiplication and p̂ = −iℏ d/dx fit into the postulates?
They are the representation of P2 for a particle on a line — specific operators for specific quantities, inherited from the wave chapter (Position Operator, Momentum Operator). The postulates say "some Hermitian operator," not which. Assigning operators to classical quantities is a separate craft (canonical quantization) guided by — see The Canonical Commutation Relation, later this chapter.
Is the state |ψ⟩ a property of one system or a recipe about many copies?
The postulates work either way: the Born rule is operationally about ensembles (frequencies over many identically prepared runs — the reading built at Born Statistical Interpretation), while collapse updates the description of a single run. Whether is ontic (physical) or epistemic (a catalogue of expectations) is a live interpretation question (the PBR theorem constrains epistemic readings). Nothing in this chapter's calculations depends on the answer.
Why must probabilities come from the square of the amplitude and not some other power?
Consistency arguments pin the square down tightly: Gleason's theorem (dimension ≥ 3) derives it from non-contextual probability assignments on projectors, and experiment agrees to high precision — interference tests bound "higher-order" deviations at the sub-thousandth level. The next article develops the rule quantitatively and tells the experimental story; here, note only that the square is the least arbitrary of the axioms once the Hilbert-space frame is accepted.