Past exam of the physics A course of the University of Cambridge / 2019 / Paper 1 / Section C / C11

The orbital angular momentum of a particle is the operator $\mathbf{L}=\mathbf{r}\times \mathbf{p}$, with $\mathbf{p}=-i\hslash \nabla$ in the position representation. Its angular momentum commutation relations areThus one may specify $L^2$ and one component, conventionally $L_z$, simultaneously. One generally cannot assign sharp values to all three components, because they do not commute. The common angular eigenfunctions are the spherical harmonics:For a scalar orbital wavefunction, single-valuedness in the azimuthal angle gives integer $m$, and regularity on the sphere and termination of the ladder give integer $l\ge |m|$. Half-integer angular momenta describe intrinsic spin rather than scalar orbital motion.

The ladder operators $L_{\pm }=L_x\pm i{L}_y$ obey $[L_z,L_{\pm }]=\pm \hslash L_{\pm }$. Their normalized action isThe coefficient vanishes at the top or bottom of the multiplet. Its squared magnitude follows from $L_{\mp }{L}_{\pm }=L^2-L_z^2\mp \hslash L_z$, and positivity of the resulting norm constrains the allowed $m$ values.

For a central potential, the Hamiltonian commutes with $L^2$ and every component of $\mathbf{L}$. Stationary states can be separated as $R_{nl}(r)Y_l^m(\theta ,\varphi )$, and rotational symmetry makes the energy independent of $m$, giving a $2l+1$ quantum degeneracy at fixed radial label and $l$. Additional degeneracy between distinct $l$ values requires additional structure, as in the Coulomb potential. The parity of $Y_l^m$ is $(-1{)}^l$. These results organize atomic orbitals and their selection rules. They describe quantized rotation and symmetry, without assigning the electron a classical orbit or a simultaneously definite three-component angular momentum vector.

In the Schrödinger picture, a time-independent Hamiltonian gives $|{\psi }_S(t)⟩=U(t)|\psi (0)⟩$, where $U=e^{-iHt/\hslash }$. The Heisenberg picture transfers this evolution to each observable:Both pictures give the same probabilities and expectation values. Differentiating yields the Heisenberg equation of motionThe last term is an explicit change of the measured operator. If it is absent and $[H,A]=0$, the observable is conserved.

The corresponding classical equation is $dA/dt=\{A,H{\}}_{\mathrm{PB}}+\partial A/\partial t$. The correspondence principle relates the Poisson bracket to $[A,H]/(i\hslash )$, with suitable operator ordering and a classical limit. For $H=p^2/(2m)+V(x)$, the canonical commutation relation givesTaking means gives Ehrenfest theorem. Its second equation contains $-⟨V^{\prime }(x)⟩$, which need not equal $-V^{\prime }(⟨x⟩)$. A narrow wave packet in a slowly varying force field can follow the classical equations approximately; a quadratic potential makes the equality exact for the means.

For a quantum harmonic oscillator, direct solution gives $x_H(t)=x_H(0)\cos \omega t+p_H(0)\sin \omega t/(m\omega )$ and $p_H(t)=p_H(0)\cos \omega t-m\omega x_H(0)\sin \omega t$. These have the classical form as operator identities. A coherent state supplies a localized center moving on the classical orbit, whereas an energy eigenstate has stationary density and $⟨x⟩=0$, even at large excitation. Thus large quantum numbers alone do not create a localized classical trajectory. Classical behavior also concerns state preparation, relative fluctuations and the resolution of the measurements.

An observable is represented by a self-adjoint operator. For an ideal projective measurement, let $P_a$ be its spectral projector for outcome $a$. The Born rule gives $p(a)=⟨\psi |P_a|\psi ⟩$, or $p(a)=\mathrm{tr}(\rho P_a)$ for a density matrix $\rho$. Conditional on obtaining $a$, the Lüders rule givesFor a degenerate outcome this projects onto the whole associated eigenspace, rather than arbitrarily selecting a vector within it. An immediate repeated ideal measurement returns the same outcome, provided there is no intervening evolution or disturbance.

Commuting finite-dimensional observables admit a common orthonormal eigenbasis; their projectors commute and ideal joint measurements are compatible. Noncommuting observables generally have no complete common eigenbasis, and measurement order can affect the subsequent statistics. Particular common eigenvectors can nevertheless exist, so a nonzero commutator does not mean that every state has a nonzero uncertainty in both quantities.

For a quantitative constraint, apply the Cauchy-Schwarz inequality to $(A-⟨A⟩)|\psi ⟩$ and $(B-⟨B⟩)|\psi ⟩$. The imaginary part of their inner product is $⟨[A,B]⟩/(2i)$, giving the Robertson uncertainty principleThe canonical commutation relation $[x,p]=i\hslash$ gives $\Delta x\Delta p\ge \hslash /2$. Retaining the real part of the same inner product gives the stronger Robertson-Schrödinger uncertainty relation, including a covariance term. These are constraints on the preparation of a quantum state, not simply statements about a poorly calibrated instrument.

A sequential spin one-half example makes the change in statistics explicit. Prepare $|+z⟩$. An immediate $S_z$ measurement is certainly positive. If an $S_x$ measurement is inserted first, its outcomes each have probability $1/2$ and leave states $|\pm x⟩$. Each then yields either $S_z$ result with probability $1/2$, so the final positive fraction is $1/2$. The change reflects projection onto incompatible spin eigenstates, even with ideal measuring apparatus. The theory of measurement in quantum mechanics allows more general state-update rules, but the operator description and the Born rule still constrain their probabilities.