Postulates and Equivalent Presentations

The postulates collect the rules that connect quantum states, measurements, probabilities, dynamics, and composite systems. Different textbooks group these rules differently. This chapter helps you recognize the same predictions in matrix, wavefunction, and density-operator notation, while keeping the assumptions of each model visible.

The rules behind one probability

Suppose a system is prepared in $\rho$, evolves with a unitary operator $U$, and is measured with outcome effect $E_a$. The prediction is

$$p(a)=\operatorname{Tr}(U\rho U^\dagger E_a).$$

Each object has a distinct role. The state describes the preparation. The evolution describes the intervening closed-system dynamics. The effect identifies the recorded event. If you want to predict a later measurement, you also need the state-changing operation associated with this first measurement.

For a pure preparation and a rank-one projective outcome, the same statement is

$$p(a)=\lvert\langle a\rvert U\lvert\psi\rangle\rvert^2.$$

This is a special case of the density-operator rule, not a competing probability law. Writing the ket in position space gives a wavefunction; writing it in a finite basis gives a column of amplitudes.

The rules do not choose the Hamiltonian for you. A spin in a magnetic field, a particle in a well, and a vibrating molecule require different physical models. They share the formalism but differ in their degrees of freedom, interactions, and approximations.

Reading sequence

Question	Article	Main distinction
How do preparation, evolution, and measurement determine a prediction?	The Operational Structure of Quantum Mechanics	states, processes, outcome effects, and conditional updates
Why state assumptions explicitly?	Why Postulates Matter	theory specification versus arbitrary convention
What is the compact standard package?	Minimal Postulates	core rules versus detailed implementation
How does the theory look for finite systems?	Finite-Dimensional Postulates	matrix-first clarity versus hidden domain issues
How does the theory look in position space?	Wave-Mechanics Postulates	representation versus abstract state
How does the theory look for general states?	Density-Matrix Formulation	pure-state special case versus general state language
When are formulations equivalent?	Equivalent Formulations	shared predictions versus similar notation
Where does the compact package apply?	Assumptions and Scope	declared model domain versus universal claim
Which questions remain outside it?	What the Postulates Do Not Say	formal rule versus interpretation and mechanism

Pick a presentation you can use

Begin with the operational structure and its qubit interferometer if you want to see the rules produce a prediction. Then read why postulates matter and the minimal postulates. Use the finite-dimensional presentation for spin and qubits, or wave mechanics for motion in space. Density matrices extend both approaches to mixed preparations and subsystems.

When comparing formulations, compare an actual prediction. Domains and boundary conditions matter for unbounded operators; a formal resemblance between two equations is insufficient. The translation table in dynamics develops the connections to propagators and other methods.

Try it. Show that the two probability expressions above agree for $\rho=\lvert\psi\rangle\langle\psi\rvert$ and $E_a=\lvert a\rangle\langle a\rvert$.

Solution

The trace of the rank-one product is $\langle a\rvert U\lvert\psi\rangle\langle\psi\rvert U^\dagger\lvert a\rangle$. The second factor is the complex conjugate of the first, giving its squared modulus.

References

• L. E. Ballentine, Quantum Mechanics: A Modern Development, 2nd ed., World Scientific, 2014.
• P. A. M. Dirac, The Principles of Quantum Mechanics, 4th ed., Oxford University Press, 1958.
• G. W. Mackey, Mathematical Foundations of Quantum Mechanics, Dover, 2004.
• A. Peres, Quantum Theory: Concepts and Methods, Kluwer, 1995.
• R. Shankar, Principles of Quantum Mechanics, 2nd ed., Springer, 1994.
• J. von Neumann, Mathematical Foundations of Quantum Mechanics, Princeton University Press, 1955.