The Stark effect is the splitting of atomic energy levels by an external electric field E. For hydrogen, the perturbation is H"=eEz (taking the field along z).
Linear Stark effect (degenerate case). For hydrogen, states with the same n but different l are degenerate. Consider the n=2 manifold {∣200⟩,∣210⟩,∣211⟩,∣21−1⟩}. The perturbation matrix within the degenerate subspace:
⟨n′l′m′∣z∣nlm⟩∝δl′,l±1δm′,m
Only ⟨200∣z∣210⟩ and ⟨210∣z∣200⟩ are nonzero. Defining the “parabolic basis” states:
∣ψ1⟩=21(∣200⟩+∣210⟩),∣ψ2⟩=21(∣200⟩−∣210⟩)
The first-order energy shifts are:
E(1)=±3ea0E,0,0
The quadratic Stark effect arises in non-hydrogenic atoms (where l-degeneracy is lifted). The second-order energy shift is proportional to E2:
En(2)=−21αnE2
where αn is the electric polarizability. For the ground state of hydrogen, α1=29a03.
1.2 The Zeeman Effect
An external magnetic field B=Bz^ splits atomic levels. The perturbation H′=−μL⋅B−μS⋅B:
H′=2meeB(Lz+2Sz)=2meeℏB(Jz+Sz)
Normal Zeeman effect (spin neglected): H′=ωLLz where ωL=eB/(2me) is the Larmor frequency. Each level l splits into 2l+1 equally spaced sublevels separated by ℏωL.
Anomalous Zeeman effect (weak field, B≪BSO): Use ∣n,l,s,j,mj⟩ as the unperturbed basis. The first-order shift:
EZ=gJμBBmj
where μB=eℏ/(2me) is the Bohr magneton and the Landé g-factor is:
gJ=1+2j(j+1)j(j+1)+s(s+1)−l(l+1)
For a pure orbital state (s=0): gJ=1. For a pure spin state (l=0): gJ=2.
Paschen–Back effect (strong field, B≫BSO): Lz and Sz decouple, and the spin-orbit interaction is treated as the perturbation. The energy shifts approach the normal Zeeman pattern.
1.3 The Variational Method: Helium Ground State (Detailed)
Using the effective nuclear charge trial function ψtrial=(Zeff3/πa03)exp[−Zeff(r1+r2)/a0]:
The experimental value is −79.0 eV. The variational result is within 2% and captures the screening effect: each electron partially shields the nucleus, reducing the effective charge below Z=2.
Worked Example 1.1: Fine Structure of Hydrogen (Perturbative)
The hydrogen fine structure has three contributions evaluated via perturbation theory:
where α≈1/137 is the fine-structure constant. For n=2: 2S1/2 and 2P1/2 are degenerate at ΔEfs=−413.616α2(1)≈−4.53×10−5 eV, and 2P3/2 lies slightly higher.
2. Angular Momentum Coupling
2.1 Addition of Angular Momenta
Given two angular momenta J1 and J2, the total J=J1+J2. The possible values of j are:
j=∣j1−j2∣,∣j1−j2∣+1,…,j1+j2
The coupled basis ∣j1j2;jm⟩ is related to the uncoupled basis ∣j1m1⟩∣j2m2⟩ by the Clebsch–Gordan (CG) decomposition:
This vanishes for l=0 (the Darwin term takes over for s-states).
2.3 LS and jj Coupling Schemes
LS (Russel–Saunders) coupling. Applicable when the residual electrostatic interaction between electrons dominates over spin-orbit coupling (light atoms, Z≲30):
Couple orbital momenta: L=∑ili, giving total L
Couple spins: S=∑isi, giving total S
Couple to total: J=L+S, with J=∣L−S∣,…,L+S
States are labelled 2S+1LJ (spectroscopic notation). For carbon (1s22s22p2): the valence configuration gives L=0,1,2 and S=0,1. The allowed terms are 1S0, 3P0,1,2, 1D2.
jj coupling. Dominates when spin-orbit coupling exceeds the electrostatic interaction (heavy atoms, Z≳80):
Couple each electron: ji=li+si
Couple to total: J=∑iji
2.4 The Wigner–Eckart Theorem
The matrix elements of a spherical tensor operator Tq(k) (rank k, component q) between angular momentum eigenstates are:
⟨j′m′∣Tq(k)∣jm⟩=⟨jmkq∣j′m′⟩⟨j′∣∣T(k)∣∣j⟩
The first factor is a CG coefficient (containing all angular dependence) and the second is the reduced matrix element (independent of m,m′,q).
where S=⟨ψA∣ψB⟩ is the overlap integral. The energies:
Esinglet(R)=1+S2Q+A,Etriplet(R)=1−S2Q−A
where Q is the Coulomb integral and A is the exchange integral (positive). The exchange integral A is responsible for covalent bonding — it has no classical analogue and is purely quantum-mechanical. The singlet state has a minimum at Re≈1.64a0 with binding energy ∼3.15 eV (experiment: 4.75 eV).
3.3 Hartree–Fock Theory
The Hartree–Fock method finds the best single Slater determinant by solving self-consistent equations. For orbital ϕi:
where ⟨ij∣ij⟩=J is the direct integral and ⟨ij∣ji⟩=K is the exchange integral.
Koopmans’ theorem: The Hartree–Fock orbital energy εi approximates the ionisation energy of electron i (and the electron affinity for unoccupied orbitals). This provides a theoretical justification for photoelectron spectroscopy interpretation.
4. Scattering Theory: Advanced Topics
4.1 The Lippmann–Schwinger Equation
The scattering state ∣ψ(+)⟩ satisfies the Lippmann–Schwinger equation:
∣ψ(+)⟩=∣ϕ⟩+G^0(+)V∣ψ(+)⟩
where ∣ϕ⟩ is a free plane wave, V is the scattering potential, and G^0(+) is the free retarded Green’s function:
G^0(+)(E)=E−H^0+iϵ1
Iterating gives the Born series:
∣ψ(+)⟩=∣ϕ⟩+G^0V∣ϕ⟩+G^0VG^0V∣ϕ⟩+⋯
The first iteration reproduces the Born approximation; higher iterations include multiple scattering events.
4.2 The T-Matrix
The transition matrix (T-matrix) encapsulates all scattering information:
T^(E)=V+VG^0(+)(E)T^(E)
The scattering amplitude is:
f(k′,k)=−2πℏ2m⟨k′∣T^(E)∣k⟩
The Born approximation is T≈V, and the full solution sums all repeated scatterings.
4.3 The Ramsauer–Townsend Effect
At low energies, electron scattering off noble gas atoms exhibits a pronounced minimum in the total cross section. For electron–argon scattering, σ drops to near zero at E≈0.7 eV.
Explanation via partial wave analysis. The l=0 phase shift passes through zero (δ0≈nπ) at a specific energy. Since σ≈4πas2 at low energy and the scattering length as=−tan(δ0)/k≈0, the cross section nearly vanishes. This is a quantum-mechanical transparency caused by destructive interference between the incoming and scattered waves.
4.4 Effective Range Expansion
For low-energy s-wave scattering, the phase shift is parameterised by:
kcotδ0=−as1+21rek2+O(k4)
where as is the scattering length and re is the effective range. The cross section:
σ=k2+(kcotδ0)24πk→01+k2as24πas2
A large positive scattering length (∣as∣≫re) signals a near-threshold bound state (as in the deuteron, as≈5.4 fm).
5. Relativistic Quantum Mechanics
5.1 The Klein–Gordon Equation
For a spin-0 particle of mass m, imposing E2=p2c2+m2c4 as an operator equation gives:
(c21∂t2∂2−∇2+ℏ2m2c2)ψ=0
Problems with the Klein–Gordon equation:
Second-order in time (requires initial conditions on ψ and ∂ψ/∂t)
Negative energy solutions: E=±p2c2+m2c4
Probability density ρ=(iℏ/2mc2)(ψ∗ψ˙−ψψ˙∗) is not positive-definite
The conserved current is jμ=(iℏ/2m)(ϕ∗∂μϕ−ϕ∂μϕ∗) but ρ can be negative
These issues are resolved by interpreting negative-energy states as antiparticles (charge conjugation).
5.2 The Dirac Equation
Dirac sought a first-order equation linear in both ∂/∂t and ∇:
iℏ∂t∂ψ=(cα⋅p^+βmc2)ψ
where α=(α1,α2,α3) and β are 4×4 matrices satisfying:
αiαj+αjαi=2δij1,αiβ+βαi=0,β2=1
In the Dirac representation:
β=(100−1),αi=(0σiσi0)
where σi are the Pauli matrices. The four-component wavefunction is called a bispinor.
Free-particle solutions. Plane wave ψ=u(p)e−ip⋅x/ℏ with u(p) satisfying:
(γμpμ−mc)u(p)=0
where γ0=β, γi=βαi, and {γμ,γν}=2gμν.
There are two positive-energy spinors (E=+p2c2+m2c4, spin up/down) and two negative-energy spinors (E=−p2c2+m2c4). The negative-energy solutions are reinterpreted via the Dirac sea: all negative energy states are filled; a hole is an antiparticle (positron).
5.3 Spinors and the Non-Relativistic Limit
Writing the bispinor as ψ=(ϕχ) where ϕ and χ are two-component spinors:
ϕ is the “large” component (dominates at low energy)
χ is the “small” component (∣χ∣/∣ϕ∣∼p/(mc)∼v/c)
In the non-relativistic limit (v≪c), the upper component ϕ satisfies the Pauli equation:
The extra terms are: relativistic kinetic correction, spin-orbit coupling, and the Darwin term.
5.4 Antimatter and the Hydrogen Fine Structure
The Dirac equation predicts antimatter (confirmed experimentally by Anderson’s discovery of the positron, 1932). For hydrogen, the exact Dirac energy levels are:
En,j=mc2[1+(n−(j+1/2)+(j+1/2)2−Z2α2Zα)2]−1/2
Expanding to order α4:
En,j≈mc2[1−2n2Z2α2−2n4Z4α4(j+1/2n−43)]
The α4 term gives the fine structure. Crucially, the Dirac equation predicts that 2S1/2 and 2P1/2 are exactly degenerate — a result confirmed experimentally and explained by QFT as due to the Lamb shift (∼1 GHz, arising from vacuum fluctuations).
6. Introduction to Quantum Field Theory
6.1 Second Quantisation
QFT treats particles as excitations of underlying fields. For a scalar field ϕ^(x):
ϕ^(x)=∑k2ωkV1(akeik⋅x+ak†e−ik⋅x)
where ωk=k2+m2 and ak†, ak create and annihilate particles with momentum k.
6.2 Fock Space
The Fock space is the direct sum of N-particle Hilbert spaces:
where λ=1,2 labels the two transverse polarisations, ϵk,λ are polarisation vectors, and ωk=c∣k∣.
The Hamiltonian is H^=∑k,λℏωk(ak,λ†ak,λ+21).
The zero-point energy∑k,λℏωk/2 diverges — this is the origin of the Casimir effect and vacuum energy in cosmology.
6.4 The Casimir Effect
Two parallel perfectly conducting plates separated by distance d modify the allowed electromagnetic modes between them. The vacuum energy per unit area between the plates:
E(d)=720d3ℏcπ2
The Casimir force per unit area (attractive):
F/A=−∂d∂E=−240d4ℏcπ2
For d=1μm: F/A≈1.3×10−3 Pa. This force has been measured experimentally (Lamoreaux, 1997; Mohideen & Roy, 1998) and confirms the reality of vacuum fluctuations.
7. Quantum Entanglement
7.1 Bell States
The four maximally entangled two-qubit states (Bell basis):
These states cannot be written as a product ∣ψA⟩⊗∣ψB⟩. Measuring one qubit instantly determines the state of the other, regardless of spatial separation.
7.2 The EPR Paradox
Einstein, Podolsky, and Rosen (1935) argued that QM is incomplete. Their argument:
For the entangled state ∣Ψ−⟩=(∣01⟩−∣10⟩)/2, measuring particle 1 in the z-basis gives +1 or −1. If particle 1 yields +1, particle 2 must be in ∣−1⟩.
We could equally choose to measure particle 1 in the x-basis. The result determines particle 2’s x-spin.
Since particle 2 was not disturbed by the measurement on particle 1 (locality), particle 2 must have had definite values of both Sz and Sx simultaneously — contradicting the uncertainty principle.
Resolution (Bell’s theorem): No local hidden variable theory can reproduce all QM predictions.
7.3 Bell’s Inequality
Consider measurements on two spin-1/2 particles in directions a and b. For a local hidden variable theory with hidden variable λ:
P(A=a,B=b∣λ)=P(A=a∣λ)P(B=b∣λ)
CHSH inequality. For four measurement settings a,a′,b,b′:
∣S∣≤2
where S=E(a,b)+E(a,b′)+E(a′,b)−E(a′,b′) and E(a,b)=⟨σa⊗σb⟩.
QM prediction for the Bell state ∣Φ−⟩ with optimally chosen angles:
SQM=22≈2.83>2
This violation has been confirmed experimentally (Aspect 1982; Zeilinger 1998; Hensen 2015; loophole-free experiments 2015–2023), ruling out local hidden variables.
7.4 Quantum Teleportation
Quantum teleportation transmits an unknown quantum state ∣χ⟩=α∣0⟩+β∣1⟩ from Alice to Bob using shared entanglement and classical communication.
Protocol:
Alice and Bob share the Bell pair ∣Φ+⟩AB.
Alice performs a Bell measurement on her particle and the unknown state ∣χ⟩.
Alice sends the 2-bit measurement outcome to Bob classically.
Bob applies a Pauli correction (I, X, Z, or ZX) based on Alice’s message.
The teleported state is ∣χ⟩ with fidelity 1. No faster-than-light communication occurs because the quantum information is unusable without the classical bits.
8. Quantum Computing Primer
8.1 Qubits
A qubit is a two-level quantum system: ∣ψ⟩=α∣0⟩+β∣1⟩ with ∣α∣2+∣β∣2=1. Unlike a classical bit (0 or 1), a qubit can be in a superposition of both states simultaneously. On the Bloch sphere:
CNOT flips the target qubit if and only if the control qubit is ∣1⟩. Combined with Hadamard, it creates entanglement: CNOT(H⊗I)∣00⟩=∣Φ+⟩.
8.3 Quantum Circuits
A quantum circuit is a sequence of gates applied to qubits. Measurements at the end collapse superpositions into classical bitstrings. The circuit model is universal: any unitary operation on n qubits can be decomposed into single-qubit gates and CNOT gates.
Key fact: Quantum circuits are reversible (all gates are unitary). Classical circuits need irreversible gates (AND, OR) — quantum computation gains power from superposition and entanglement, not from irreversible logic.
8.4 The Deutsch–Jozsa Algorithm
Problem: Given a function f:{0,1}n→{0,1} promised to be either constant (all 0s or all 1s) or balanced (exactly half 0s, half 1s), determine which.
Classical: Requires 2n−1+1 queries in the worst case.
Quantum:One query suffices.
Circuit:
Initialise n input qubits and 1 ancilla to ∣0⟩⊗n∣1⟩.
Apply H⊗n⊗H to all qubits.
Apply the oracle Uf:∣x⟩∣y⟩↦∣x⟩∣y⊕f(x)⟩.
Apply H⊗n to input qubits.
Measure all input qubits.
Result: All zeros ⇒ constant. Any other outcome ⇒ balanced. This demonstrates an exponential quantum speedup, though for this artificial problem.
8.5 Grover’s Search Algorithm
Problem: Search an unstructured database of N items for a marked item.
Classical:O(N) queries.
Grover’s algorithm:O(N) queries — a quadratic speedup.
The Grover iterateG=(2∣ψ⟩⟨ψ∣−I)O where:
O is the oracle (flips the phase of the marked state)
2∣ψ⟩⟨ψ∣−I is the diffusion operator (inversion about the mean)
After ⌊(π/4)N⌋ iterations, the amplitude of the marked state is near 1. Measurement then finds the target with high probability (>1−1/N).
Grover’s algorithm is provably optimal for unstructured search (Bennett et al., 1997). It has found applications in optimisation, cryptanalysis, and amplitude amplification.
9. Common Pitfalls
Confusing entanglement with superposition. Superposition is a property of a single quantum system; entanglement is a property of a composite system that cannot be factorised. A Bell state is entangled; H∣0⟩ is a superposition but not entangled.
Misapplying the variational principle to excited states. The variational principle gives an upper bound on the ground state only. For excited states, use the Hylleraas–Undheim theorem: the k-th variational eigenvalue is an upper bound on the (k+1)-th true eigenvalue.
Ignoring the off-diagonal elements in degenerate perturbation theory. When degeneracy is present, diagonalising the perturbation matrix in the degenerate subspace is mandatory. Skipping this step and applying non-degenerate formulas gives undefined (division by zero) or incorrect results.
Assuming all cross sections decrease at high energy. While the Born approximation predicts σ→0 for finite-range potentials, the total cross section for some interactions (e.g., photon–atom) approaches a constant (Thomson cross section σT=8πre2/3).
Treating the Dirac equation as a single-particle wave equation. The Dirac equation inherently describes a many-body system (particles and antiparticles). Single-particle interpretations are only approximate, valid when pair production is negligible (E≪2mec2).
Believing Bell inequality violations imply faster-than-light communication. The correlations are nonlocal but cannot transmit information faster than c. The no-communication theorem guarantees that local operations and classical communication cannot transmit quantum information without the classical channel.
Overestimating quantum speedups. Quantum algorithms provide speedups for specific problem structures (period-finding, search, simulation). Generic computation is not exponentially faster on a quantum computer. The class BQP is believed to be a strict subset of EXP but a strict superset of P.
10. Summary
Perturbation theory extends systematically via degenerate diagonalisation, selection rules (Δl=±1 for E1), and specific atomic effects (Stark, Zeeman, Paschen–Back).
Angular momentum coupling through CG coefficients, LS/jj schemes, and the Wigner–Eckart theorem provides the framework for atomic and nuclear structure.
Identical particles lead to exchange interactions (Heitler–London bonding), Hartree–Fock self-consistent fields, and second-quantised many-body formalism.
Scattering theory generalises through the Lippmann–Schwinger equation, T-matrix, and effective range expansion, with quantum phenomena like the Ramsauer–Townsend effect.
Relativistic QM (Klein–Gordon, Dirac) reveals spin as a relativistic phenomenon, predicts antimatter, and yields the hydrogen fine structure — with discrepancies (Lamb shift) pointing to QFT.
QFT concepts (Fock space, quantised fields, Casimir effect) show that particles are field excitations and vacuum fluctuations have measurable physical consequences.
Quantum entanglement (Bell states, Bell/CHSH inequalities, teleportation) demonstrates that quantum correlations exceed any classical description.
Quantum computing (qubits, gates, Deutsch–Jozsa, Grover) harnesses superposition and entanglement for computational advantages over classical algorithms.
Problem: Calculate the most probable radius for the electron in the ground state of hydrogen (1s orbital). Solution: The radial probability density P(r) = 4r^2 |R_10(r)|^2 = (4/a_0^3) r^2 exp(-2r/a_0). Set dP/dr = 0: d/dr [r^2 exp(-2r/a_0)] = 0. r(2 - 2r/a_0) exp(-2r/a_0) = 0. Solutions: r = 0, r = a_0. The most probable radius is r = a_0 = 0.529 Angstrom, which is the Bohr radius.
Example 2: Spin-Orbit Coupling Energy
Problem: Calculate the spin-orbit coupling energy for a single valence electron in the 2p state of hydrogen-like sodium (Zeff = 11). Solution: The spin-orbit coupling energy is Delta E = (Z_eff^4 * alpha^2 * E_n) / (n * l * (l + 1/2) * (l + 1)), where alpha = 1/137. For n=2, l=1: the 2p level splits into 2p{3/2} and 2p_{1/2}. The splitting is Delta E proportional to Z_eff^4 _ alpha^2 _ E_n / n^3, which gives the D-line splitting observed in the sodium spectrum (589.0 nm and 589.6 nm).