The Physics Travel Guide

Superposition

Prerequisites: Canonical Quantum Mechanics. Full path (17 pages)

Intuitive

In some sense, the portrait Mona Lisa shows a superposition of cheerfulness and sadness. See Mona Lisa - ineffable smile of quantum mechanics by Slobodan Prvanovic

Concrete

In quantum mechanics the states of a system are vectors in a complex Hilbert space H\mathcal H. If ∣ψ1⟩|\psi_1\rangle and ∣ψ2⟩|\psi_2\rangle are allowed states, then so is ∣ψ⟩=c1∣ψ1⟩+c2∣ψ2⟩,c1,c2∈C,|\psi\rangle = c_1 |\psi_1\rangle + c_2 |\psi_2\rangle, \qquad c_1, c_2 \in \mathbb{C}, normalised so that ⟨ψ∣ψ⟩=1\langle\psi|\psi\rangle = 1. This is the superposition principle. It holds for all times because the Schrödinger equation iℏ ∂t∣ψ⟩=H∣ψ⟩i\hbar\,\partial_t|\psi\rangle = H|\psi\rangle is linear: if ∣ψ1(t)⟩|\psi_1(t)\rangle and ∣ψ2(t)⟩|\psi_2(t)\rangle are solutions, so is any linear combination with constant coefficients.

Example: a spin 1/2. With ∣↑⟩|\uparrow\rangle and ∣↓⟩|\downarrow\rangle the eigenstates of SzS_z, ∣ψ⟩=12(∣↑⟩+eiφ∣↓⟩).|\psi\rangle = \frac{1}{\sqrt 2}\left(|\uparrow\rangle + e^{i\varphi}|\downarrow\rangle\right). A measurement of SzS_z gives +ℏ/2+\hbar/2 or −ℏ/2-\hbar/2, each with probability 1/21/2 by the Born rule. In the standard formulation the state does not assign a definite value of SzS_z that we merely do not know. For φ=0\varphi = 0 it is the eigenstate of SxS_x with eigenvalue +ℏ/2+\hbar/2, so a measurement of SxS_x gives +ℏ/2+\hbar/2 with certainty. Whether a state "is a superposition" therefore depends on the basis: every pure state is an eigenstate of some observable (for example its own projector) and a superposition of the eigenstates of others.

Interference. The relative phase between the components is measurable, the overall phase is not. For a particle passing a double slit, let ψ1(x)\psi_1(x) and ψ2(x)\psi_2(x) be the amplitudes at a point xx on the screen for passage through slit 1 or 2. The probability density for ψ=ψ1+ψ2\psi = \psi_1 + \psi_2 is ∣ψ(x)∣2=∣ψ1(x)∣2+∣ψ2(x)∣2+2 Re[ψ1∗(x) ψ2(x)].|\psi(x)|^2 = |\psi_1(x)|^2 + |\psi_2(x)|^2 + 2\,\text{Re}\left[\psi_1^*(x)\,\psi_2(x)\right]. The last term produces the fringes. A statistical mixture, where the particle went through slit 1 with probability 1/21/2 and through slit 2 with probability 1/21/2, gives only the first two terms. In general a superposition c1∣ψ1⟩+c2∣ψ2⟩c_1|\psi_1\rangle + c_2|\psi_2\rangle and the corresponding mixture agree on the probabilities in the basis {∣ψ1⟩,∣ψ2⟩}\{|\psi_1\rangle, |\psi_2\rangle\} when ⟨ψ1∣ψ2⟩=0\langle\psi_1|\psi_2\rangle = 0, and can differ only for observables that do not commute with the projectors onto these states.

Density matrices make the difference explicit. For the spin state above ρ=∣ψ⟩⟨ψ∣=12(1e−iφeiφ1),\rho = |\psi\rangle\langle\psi| = \frac{1}{2}\begin{pmatrix} 1 & e^{-i\varphi} \\ e^{i\varphi} & 1 \end{pmatrix}, in the basis (∣↑⟩,∣↓⟩)(|\uparrow\rangle, |\downarrow\rangle), while the 50/50 mixture is ρ=121\rho = \frac{1}{2}\mathbb{1}. The off-diagonal entries ("coherences") carry the interference. Interaction with an environment that records which component the system is in suppresses them. This is decoherence, and it is why superpositions of macroscopically different states are not seen in practice.

Abstract

Rays. Physical pure states are rays in H\mathcal H, that is points of the projective space P(H)=(H∖{0})/C∗P(\mathcal H) = (\mathcal H \setminus \{0\})/\mathbb{C}^*. Superposition is defined on vectors, not on rays: if [ψ1][\psi_1] and [ψ2][\psi_2] are distinct rays, the set of rays [c1ψ1+c2ψ2][c_1\psi_1 + c_2\psi_2] is the projective line through them, and which point on it one means depends on the relative phase of the chosen representatives. For a two-dimensional H\mathcal H this line is all of P(C2)≅S2P(\mathbb C^2) \cong S^2, the Bloch sphere. The invariant content of the relative phase is captured by quantities like the transition probability ∣⟨ψ1∣ψ2⟩∣2/(∥ψ1∥2∥ψ2∥2)|\langle\psi_1|\psi_2\rangle|^2/(\|\psi_1\|^2\|\psi_2\|^2) and by the Bargmann invariant ⟨ψ1∣ψ2⟩⟨ψ2∣ψ3⟩⟨ψ3∣ψ1⟩\langle\psi_1|\psi_2\rangle\langle\psi_2|\psi_3\rangle\langle\psi_3|\psi_1\rangle of three rays, whose phase is a geometric (Berry) phase.

Pure and mixed states. More generally, states are density operators: positive trace-class operators with Tr⁡ρ=1\operatorname{Tr}\rho = 1. They form a convex set whose extreme points are the pure states ρ=∣ψ⟩⟨ψ∣\rho = |\psi\rangle\langle\psi|. Convex combination pρ1+(1−p)ρ2p\rho_1 + (1-p)\rho_2 is the operation of mixing, and it is defined directly on states. Superposition is a different operation, which uses the linear structure of H\mathcal H and produces another extreme point. In the algebraic formulation, states are positive normalised linear functionals on a C∗C^*-algebra A\mathfrak A of observables. In an irreducible representation of A\mathfrak A on H\mathcal H, a unit vector c1ψ1+c2ψ2c_1\psi_1 + c_2\psi_2 with ψ1,ψ2\psi_1, \psi_2 normalised defines a pure state that differs from the mixture ∣c1∣2ωψ1+∣c2∣2ωψ2|c_1|^2\omega_{\psi_1} + |c_2|^2\omega_{\psi_2} only through the interference terms ⟨ψ1∣A∣ψ2⟩\langle\psi_1|A|\psi_2\rangle for A∈AA \in \mathfrak A.

Superselection rules. The superposition principle holds without restriction when the observables act irreducibly on H\mathcal H, that is when only multiples of the identity commute with all of them. If there is a self-adjoint operator QQ, not a multiple of the identity, that commutes with all observables, H\mathcal H splits into superselection sectors H=⨁qHq\mathcal H = \bigoplus_q \mathcal H_q, the eigenspaces of QQ. For ψq∈Hq\psi_q \in \mathcal H_q the interference terms ⟨ψq∣A∣ψq′⟩\langle\psi_q|A|\psi_{q'}\rangle vanish for all observables AA when q≠q′q \neq q', so a vector c ψq+c′ψq′c\,\psi_q + c'\psi_{q'} gives the same expectation values as the mixture ∣c∣2ρq+∣c′∣2ρq′|c|^2\rho_q + |c'|^2\rho_{q'}, and the relative phase has no physical meaning. A standard example is the univalence superselection rule: a rotation by 2π2\pi acts on a state of total angular momentum jj as (−1)2j(-1)^{2j}, and since this rotation must act trivially on all observables, states of integer and half-integer total angular momentum cannot be coherently superposed. Superselection of electric charge is another standard example.

Composite systems. For HA⊗HB\mathcal H_A \otimes \mathcal H_B, superpositions of product states such as 12(∣0⟩A∣0⟩B+∣1⟩A∣1⟩B)\frac{1}{\sqrt 2}(|0\rangle_A|0\rangle_B + |1\rangle_A|1\rangle_B) are in general not product states. This is entanglement, and the reduced state ρA=Tr⁡Bρ\rho_A = \operatorname{Tr}_B \rho of such a pure state is mixed. Decoherence is this mechanism applied to a system entangled with its environment.

Path to this page

  1. Calculus
  2. Imaginary Numbers
  3. Linear Algebra
  4. Functional
  5. Hilbert Space
  6. Legendre Transformation
  7. Newton's Second Law
  8. Vector Calculus
  9. Newtonian Mechanics
  10. Variational Calculus
  11. Configuration Space
  12. Euler-Lagrange Equations
  13. Lagrangian Formalism
  14. Phase Space
  15. Hamiltonian Formalism
  16. Schrödinger Equation
  17. Canonical Quantum Mechanics

Leads to: Double Slit Experiment.