Skip to content

States and Probability Formulas

These cards collect the formulas that turn states into probabilities, moments, and local probability flow. They are lookup aids: each card states its assumptions, limits, calculation checks, and canonical derivation.

A formula in this chapter is incomplete until the state, measurement or observable, basis or measure, and normalization convention are specified.

NeedRouteCore statement
Find an outcome probabilityBorn Rulep(a)=Tr⁡(ρEa)p(a)=\operatorname{Tr}(\rho E_a)
Compute coordinate-space probability fluxProbability Currentj=(ℏ/m)Im⁡(ψ∗∇ψ)\mathbf j=(\hbar/m)\operatorname{Im}(\psi^*\nabla\psi) for the stated Hamiltonian
Check local probability conservationContinuity Equation∂tρ+∇⋅j=0\partial_t\rho+\nabla\cdot\mathbf j=0
Normalize a wavefunctionNormalization Conventions∫∣ψ(q)∣2dμ(q)=1\int \lvert\psi(q)\rvert^2d\mu(q)=1 for the stated measure
Find the mean of an observableExpectation Values⟨A⟩ρ=Tr⁡(ρA)\langle A\rangle_\rho=\operatorname{Tr}(\rho A)
Quantify outcome spreadVariance and Standard Deviation(ΔA)2=⟨A2⟩−⟨A⟩2(\Delta A)^2=\langle A^2\rangle-\langle A\rangle^2
Represent a general stateDensity Operatorsρ≥0\rho\geq0, Tr⁡ρ=1\operatorname{Tr}\rho=1
Reduce a composite statePartial TraceρA=Tr⁡BρAB\rho_A=\operatorname{Tr}_B\rho_{AB}

Dedicated cards for normalization, expectation value, and variance remain planned. Until they complete review, the table routes those questions to their canonical explanations.

For a normalized density operator ρ\rho and a complete POVM {Ea}\{E_a\},

p(a)=Tr⁡(ρEa),∑ap(a)=1.p(a) = \operatorname{Tr}(\rho E_a), \qquad \sum_ap(a)=1.

For a self-adjoint observable with spectral decomposition

A=∑aaPaA = \sum_a aP_a

in a discrete setting,

⟨A⟩=∑aap(a)=Tr⁡(ρA),\langle A\rangle = \sum_aap(a) = \operatorname{Tr}(\rho A), (ΔA)2=∑a(a−⟨A⟩)2p(a).(\Delta A)^2 = \sum_a (a-\langle A\rangle)^2p(a).

Thus normalization, probability, expectation, and variance are successive levels of one probability model:

  1. the state has total weight one;
  2. the specified measurement defines an outcome distribution;
  3. the observable labels those outcomes numerically;
  4. moments summarize that distribution.

Expectation and variance do not replace the Born distribution. Distinct distributions can share the same first two moments.

In coordinate wave mechanics,

ρ(r,t)=∣ψ(r,t)∣2\rho(\mathbf r,t) = \lvert\psi(\mathbf r,t)\rvert^2

and a Hamiltonian-dependent current obey a balance law. For the ordinary spinless Schrödinger Hamiltonian without vector potential,

j=ℏmIm⁡(ψ∗∇ψ),\mathbf j = \frac{\hbar}{m} \operatorname{Im} \left( \psi^*\nabla\psi \right), ∂ρ∂t+∇⋅j=0.\frac{\partial\rho}{\partial t} + \nabla\cdot\mathbf j = 0.

The current gives the flux; the continuity equation gives the local and regional conservation statement. Use the Probability Current card to calculate the flux and the Continuity Equation card to audit local, regional, and global balance. Their canonical derivations explain the Hamiltonian assumptions and boundary terms behind these compact formulas.

Before substitution, identify the representation.

RepresentationNormalization and probability ruleFrequent failure
Orthonormal discrete basis∑n∣cn∣2=1\sum_n\lvert c_n\rvert^2=1Reading amplitudes in the wrong basis
Nonorthogonal basisc†Sc=1c^\dagger Sc=1Omitting the overlap matrix
Position wavefunction∫∣ψ(q)∣2dμ(q)=1\int\lvert\psi(q)\rvert^2d\mu(q)=1Omitting the coordinate measure
Momentum wavefunction∫∣ϕ(p)∣2dp=1\int\lvert\phi(p)\rvert^2dp=1 in the stated Fourier conventionMixing pp and kk normalization
Continuum eigenbasis⟨λ∣λ′⟩=δ(λ−λ′)\langle\lambda\rvert\lambda'\rangle=\delta(\lambda-\lambda')Treating generalized eigenkets as unit-norm states
Density operatorρ≥0\rho\geq0, Tr⁡ρ=1\operatorname{Tr}\rho=1Assuming trace one implies positivity
Numerical grid∑iwi∣ψi∣2=1\sum_iw_i\lvert\psi_i\rvert^2=1Confusing array norm with quadrature norm

Normalization does not guarantee that every observable moment exists. For an unbounded self-adjoint AA:

  • a finite expectation requires a finite first spectral moment;
  • a finite variance requires a finite second spectral moment;
  • a coordinate-space differential formula also requires the appropriate operator domain and boundary behavior.

The formal expression

⟨A2⟩−⟨A⟩2\langle A^2\rangle-\langle A\rangle^2

is not meaningful when its terms diverge. Use the spectral or centered norm form and state explicitly when a moment is infinite.

Probabilities are dimensionless. Densities carry inverse units of their measure:

[p(a)]=1,[pA(λ)]=[λ]−1.[p(a)]=1, \qquad [p_A(\lambda)] = [\lambda]^{-1}.

Moments inherit the units of the observable:

[⟨A⟩]=[A],[ΔA]=[A],[Var⁡(A)]=[A]2.[\langle A\rangle]=[A], \qquad [\Delta A]=[A], \qquad [\operatorname{Var}(A)]=[A]^2.

In dd spatial dimensions,

[ρ]=L−d,[j]=L1−dT−1.[\rho]=L^{-d}, \qquad [\mathbf j]=L^{1-d}T^{-1}.

Dimensional analysis catches missing Jacobians, Fourier factors, grid weights, and mistaken variance formulas quickly.

  • Using the Born rule before specifying the measurement effects or basis.
  • Treating a probability density as the probability of one exact continuous value.
  • Using a pure-state formula for a mixed state when a trace is required.
  • Computing a mean when the question asks for a possible outcome or full distribution.
  • Treating standard deviation as apparatus error.
  • Applying square normalization to an infinite-volume plane wave.
  • Importing the free-particle current into a Hamiltonian with vector potential, spin, nonlocality, or lattice dynamics.
  • Checking total norm while ignoring local boundary flux.
  • Ignoring operator domains because the state is normalized.

The Formula Compendium also groups cards for operators, dynamics, approximation and scattering, density/open systems, and quantum information.

  • L. E. Ballentine, Quantum Mechanics: A Modern Development, 2nd ed., World Scientific, 2014.
  • D. J. Griffiths and D. F. Schroeter, Introduction to Quantum Mechanics, 3rd ed., Cambridge University Press, 2018.
  • J. J. Sakurai and J. Napolitano, Modern Quantum Mechanics, 3rd ed., Cambridge University Press, 2020.
  • R. Shankar, Principles of Quantum Mechanics, 2nd ed., Springer, 1994.