Charged Particle in an Electromagnetic Field: Minimal Coupling

How does a quantum particle feel a magnetic field? The magnetic force qv×Bq\mathbf{v}\times\mathbf{B} does no work and has no potential energy, so it cannot simply be added to the Hamiltonian as a term V(r)V(\mathbf{r}). The resolution — inherited wholesale from classical Hamiltonian mechanics — is not to change the potential but to change the momentum. Wherever the canonical momentum p\mathbf{p} appears in the free Hamiltonian, replace it by the kinetic momentum p−qcA\mathbf{p}-\tfrac{q}{c}\mathbf{A}, where A\mathbf{A} is the magnetic vector potential. This single substitution — minimal coupling — is how electromagnetism enters the Schrödinger equation, and it is dictated, not invented. The move looks almost too cheap, and its first consequence seems alarming: the potentials A\mathbf{A} and ϕ\phi are not unique. A gauge transformation A→A+∇χ\mathbf{A}\to\mathbf{A}+\nabla\chi, ϕ→ϕ−1c∂tχ\phi\to\phi-\tfrac1c\partial_t\chi leaves the physical fields E\mathbf{E} and B\mathbf{B} untouched but changes A\mathbf{A} everywhere. If the Hamiltonian contains A\mathbf{A}, does the physics depend on an arbitrary choice? The answer is the deepest structural fact in this article: the wavefunction absorbs the change as a local phase ψ→eiqχ/ℏcψ\psi\to e^{iq\chi/\hbar c}\psi, and every observable — probability density, current, energy — comes out identical. Gauge freedom in the potentials is exactly matched by phase freedom in the wavefunction. This article establishes the coupled equation, proves its gauge invariance, works out the modified probability current, and unpacks the kinetic term into its paramagnetic and diamagnetic pieces, recovering the Zeeman coupling −q2mcL⋅B-\tfrac{q}{2mc}\mathbf{L}\cdot\mathbf{B} in the symmetric gauge. It gives the cyclotron frequency and the Landau-level ladder En=ℏωc(n+12)E_n=\hbar\omega_c(n+\tfrac12) — the entry point to the quantum Hall effect and the Aharonov–Bohm phase, each developed in its own home. What is not here is spin: minimal coupling of the scalar Schrödinger equation captures orbital magnetism only; the intrinsic magnetic moment and g=2g=2 arrive with the Pauli and Dirac equations, signposted by name.

Key takeaways
  • Minimal coupling: replace p→p−qcA\mathbf{p}\to\mathbf{p}-\tfrac{q}{c}\mathbf{A} and add qϕq\phi, giving H^=12m(p−qcA)2+qϕ\hat H=\tfrac{1}{2m}\big(\mathbf{p}-\tfrac{q}{c}\mathbf{A}\big)^2+q\phi.
  • Under a gauge transformation A→A+∇χ, ϕ→ϕ−1c∂tχ\mathbf{A}\to\mathbf{A}+\nabla\chi,\ \phi\to\phi-\tfrac1c\partial_t\chi, the solution picks up a local phase ψ→eiqχ/ℏcψ\psi\to e^{iq\chi/\hbar c}\psi; all observables are unchanged.
  • The combination D=−iℏ∇−qcA\mathbf{D}=-i\hbar\nabla-\tfrac{q}{c}\mathbf{A} is a covariant derivative: it transforms homogeneously, D′ψ′=eiqχ/ℏcDψ\mathbf{D}'\psi'=e^{iq\chi/\hbar c}\mathbf{D}\psi, which is why the equation is form-invariant.
  • The probability current gains a gauge term, j=ℏmIm(ψ∗∇ψ)−qmcA∣ψ∣2\mathbf{j}=\tfrac{\hbar}{m}\mathrm{Im}(\psi^*\nabla\psi)-\tfrac{q}{mc}\mathbf{A}|\psi|^2, and is itself gauge-invariant.
  • Expanding the kinetic term gives a paramagnetic piece linear in A\mathbf{A} (the −q2mcL⋅B-\tfrac{q}{2mc}\mathbf{L}\cdot\mathbf{B} Zeeman coupling in the symmetric gauge) and a diamagnetic piece ∝A2\propto A^2; a uniform field quantizes motion into Landau levels En=ℏωc(n+12)E_n=\hbar\omega_c(n+\tfrac12) with ωc=qB/mc\omega_c=qB/mc.
  • Key idea: electromagnetism enters quantum mechanics by promoting the ordinary derivative to a gauge-covariant one; the arbitrariness of the potentials is exactly compensated by the local phase freedom of the wavefunction, so no observable ever depends on the gauge.
The core insight

Minimal coupling (p→p−qcA\mathbf{p}\to\mathbf{p}-\tfrac{q}{c}\mathbf{A}) turns the ordinary gradient into the covariant derivative −iℏ∇−qcA-i\hbar\nabla-\tfrac{q}{c}\mathbf{A}, and the gauge freedom of (A,ϕ)(\mathbf{A},\phi) is precisely cancelled by a local phase rotation eiqχ/ℏce^{iq\chi/\hbar c} of the wavefunction — making the coupled Schrödinger equation gauge-invariant by construction.

Where this lives today

Minimal coupling is the template for how all matter couples to all gauge fields. The rule "replace the ordinary derivative by the gauge-covariant derivative" reappears verbatim in the Dirac equation (where it produces the g=2g=2 magnetic moment), in quantum electrodynamics (where the covariant derivative defines the photon–electron vertex), and — with matrix-valued potentials — in the electroweak and strong interactions. Experimentally, its consequences are everywhere: cyclotron resonance measures effective masses in semiconductors; the integer and fractional quantum Hall effects, built on Landau quantization, provide the resistance standard and won two Nobel Prizes; nuclear magnetic resonance and MRI rest on the orbital and spin couplings this Hamiltonian organizes; and the Aharonov–Bohm effect, now routinely observed in mesoscopic rings, is the cleanest demonstration that the gauge potential is physically real in quantum mechanics. Superconductivity's Meissner effect and flux quantization are the diamagnetic term taken to its collective extreme. The single substitution p→p−qcA\mathbf{p}\to\mathbf{p}-\tfrac{q}{c}\mathbf{A} is thus not a technical convenience but the seed of gauge theory itself.

The physical picture

A charged particle in an electromagnetic field is governed classically by the Hamiltonian H=12m(p−qcA)2+qϕH=\tfrac{1}{2m}(\mathbf{p}-\tfrac{q}{c}\mathbf{A})^2+q\phi, where p\mathbf{p} is the canonical momentum conjugate to position — not the kinetic momentum mvm\mathbf{v}. The two differ precisely by the vector potential: mv=p−qcAm\mathbf{v}=\mathbf{p}-\tfrac{q}{c}\mathbf{A}. Quantizing by the usual rule p→−iℏ∇\mathbf{p}\to-i\hbar\nabla then automatically inserts A\mathbf{A} wherever momentum appears. This is why magnetism cannot be added as a potential-energy term: it lives in the momentum, deforming how the particle moves rather than where its energy is low.

Figure
Canonical versus kinetic momentum: minimal coupling deforms the momentum, not the potential
Where does the field enter? Free particle H = p² / 2m + qφ canonical p = kinetic mv φ shifts the energy no magnetic force yet Minimal coupling H = (p − qA/c)² / 2m + qφ kinetic mv = p − qA/c A lives in the momentum gives the v × B force The magnetic force does no work, so it cannot be a potential — it must deform the momentum.

The unsettling feature is that A\mathbf{A} is not measurable. Only B=∇×A\mathbf{B}=\nabla\times\mathbf{A} and E=−∇ϕ−1c∂tA\mathbf{E}=-\nabla\phi-\tfrac1c\partial_t\mathbf{A} are physical, and these are unchanged by a gauge transformation A→A+∇χ\mathbf{A}\to\mathbf{A}+\nabla\chi, ϕ→ϕ−1c∂tχ\phi\to\phi-\tfrac1c\partial_t\chi for any smooth scalar χ(r,t)\chi(\mathbf{r},t). Since the Hamiltonian contains the unphysical A\mathbf{A}, one might fear the predicted energies and probabilities would shift when we merely relabel the potentials. They do not — but the reason is subtle and beautiful: the wavefunction is not gauge-invariant either. It rotates by a local phase eiqχ/ℏce^{iq\chi/\hbar c} that tracks χ\chi point by point, and this rotation is exactly what the covariant derivative −iℏ∇−qcA-i\hbar\nabla-\tfrac{q}{c}\mathbf{A} needs to stay consistent.

Figure
Gauge freedom in the potentials is matched by local phase freedom in the wavefunction
A gauge choice is a local phase choice Potentials A → A + ∇χ φ → φ − (1/c)∂ₜχ E, B unchanged forces Wavefunction ψ → e^{iqχ/ℏc} ψ |ψ|² unchanged a local U(1) rotation Covariant derivative D = −iℏ∇ − (q/c)A transforms as D′ψ′ = e^{iqχ/ℏc} Dψ The phase and the potential shift cancel — every observable is gauge-independent.

Once the framework is in place, the physics of orbital magnetism falls out by algebra. Expanding the square (p−qcA)2(\mathbf{p}-\tfrac{q}{c}\mathbf{A})^2 produces a term linear in A\mathbf{A} (paramagnetic) and a term quadratic in A\mathbf{A} (diamagnetic). In a uniform field the linear term becomes the Zeeman coupling −q2mcL⋅B-\tfrac{q}{2mc}\mathbf{L}\cdot\mathbf{B}, and the full problem quantizes into equally spaced Landau levels — the quantum shadow of classical cyclotron orbits.

The core equations

The starting point is the classical Hamiltonian of a charge qq in potentials (A,ϕ)(\mathbf{A},\phi), promoted to an operator by p→−iℏ∇\mathbf{p}\to-i\hbar\nabla. We work in Gaussian units throughout, where the coupling appears as q/cq/c; the SI form is recovered by q/c→qq/c\to q (and ϕ\phi in volts).

H^=12m(p−qcA)2+qϕ,iℏ ∂tψ=H^ψ(1)\hat H = \frac{1}{2m}\Big(\mathbf{p}-\frac{q}{c}\mathbf{A}\Big)^2 + q\phi, \qquad i\hbar\,\partial_t\psi = \hat H\psi \qquad (1)

where: mm is the particle mass; qq its charge (for an electron q=−eq=-e); p=−iℏ∇\mathbf{p}=-i\hbar\nabla the canonical momentum operator; A(r,t)\mathbf{A}(\mathbf{r},t) the magnetic vector potential with B=∇×A\mathbf{B}=\nabla\times\mathbf{A}; ϕ(r,t)\phi(\mathbf{r},t) the scalar potential with E=−∇ϕ−1c∂tA\mathbf{E}=-\nabla\phi-\tfrac1c\partial_t\mathbf{A}; and cc the speed of light. The kinetic momentum mv=p−qcAm\mathbf{v}=\mathbf{p}-\tfrac{q}{c}\mathbf{A} is the physical (gauge-covariant) momentum, distinct from the canonical p\mathbf{p}. It is convenient to name the covariant derivative that carries all the field dependence. Every p\mathbf{p} in (1)(1) is really this operator acting on ψ\psi.

D≡p−qcA=−iℏ∇−qcA,H^=D⋅D2m+qϕ(2)\mathbf{D} \equiv \mathbf{p}-\frac{q}{c}\mathbf{A} = -i\hbar\nabla-\frac{q}{c}\mathbf{A}, \qquad \hat H=\frac{\mathbf{D}\cdot\mathbf{D}}{2m}+q\phi \qquad (2)

where: D\mathbf{D} is the gauge-covariant momentum (also called the kinetic-momentum operator). Its defining virtue, proved below, is that under a gauge transformation it transforms homogeneously — it commutes with the local phase rotation up to that same phase — which is the entire reason the equation is gauge-invariant. The gauge transformation itself acts on the potentials and, simultaneously, on the state.

A→A+∇χ,ϕ→ϕ−1c∂tχ,ψ→ψ′=eiqχ/ℏc ψ(3)\mathbf{A}\to\mathbf{A}+\nabla\chi,\quad \phi\to\phi-\frac1c\partial_t\chi,\quad \psi\to\psi'=e^{iq\chi/\hbar c}\,\psi \qquad (3)

where: χ(r,t)\chi(\mathbf{r},t) is an arbitrary smooth gauge function and eiqχ/ℏce^{iq\chi/\hbar c} is a local (position- and time-dependent) U(1)U(1) phase. The physical fields E,B\mathbf{E},\mathbf{B} are invariant under (3)(3) by construction; the claim is that ψ′\psi' solves the transformed equation (1)(1) exactly when ψ\psi solves the original, so all measurable predictions agree. The probability current inherits a field-dependent piece. It follows from (1)(1) exactly as the free current follows from the free equation, but with ∇→\nabla\to the covariant D/(−iℏ)\mathbf{D}/(-i\hbar).

ρ=∣ψ∣2,j=ℏm Im ⁣(ψ∗∇ψ)−qmcA ∣ψ∣2=1m Re ⁣(ψ∗Dψ),∂tρ+∇⋅j=0(4)\rho=|\psi|^2,\qquad \mathbf{j}=\frac{\hbar}{m}\,\mathrm{Im}\!\big(\psi^*\nabla\psi\big)-\frac{q}{mc}\mathbf{A}\,|\psi|^2=\frac{1}{m}\,\mathrm{Re}\!\big(\psi^*\mathbf{D}\psi\big),\qquad \partial_t\rho+\nabla\cdot\mathbf{j}=0 \qquad (4)

where: ρ\rho is the probability density and j\mathbf{j} the probability current. The added −qmcA∣ψ∣2-\tfrac{q}{mc}\mathbf{A}|\psi|^2 term is exactly what makes j\mathbf{j} gauge-invariant: under (3)(3) the phase gradient added to Im(ψ∗∇ψ)\mathrm{Im}(\psi^*\nabla\psi) is cancelled by the shift A→A+∇χ\mathbf{A}\to\mathbf{A}+\nabla\chi. Without it, the current would depend on the arbitrary gauge. Expanding the kinetic term exposes the magnetic physics. With the Coulomb gauge ∇⋅A=0\nabla\cdot\mathbf{A}=0 (so p⋅A=A⋅p\mathbf{p}\cdot\mathbf{A}=\mathbf{A}\cdot\mathbf{p} as operators) and a uniform field B=Bz^\mathbf{B}=B\hat{\mathbf z} in the symmetric gauge A=12B×r\mathbf{A}=\tfrac12\mathbf{B}\times\mathbf{r}:

H^=p22m+qϕ−q2mc L⋅B+q28mc2 (B×r)2(5)\hat H=\frac{p^2}{2m}+q\phi-\frac{q}{2mc}\,\mathbf{L}\cdot\mathbf{B}+\frac{q^2}{8mc^2}\,(\mathbf{B}\times\mathbf{r})^2 \qquad (5)

where: p22m+qϕ\tfrac{p^2}{2m}+q\phi is the field-free part; −q2mcL⋅B-\tfrac{q}{2mc}\mathbf{L}\cdot\mathbf{B} is the paramagnetic (Zeeman) term with L=r×p\mathbf{L}=\mathbf{r}\times\mathbf{p} the orbital angular momentum; and q28mc2(B×r)2\tfrac{q^2}{8mc^2}(\mathbf{B}\times\mathbf{r})^2 is the diamagnetic term, quadratic in BB. For a uniform field these terms produce the Landau spectrum En=ℏωc(n+12)E_n=\hbar\omega_c(n+\tfrac12) with the cyclotron frequency ωc=∣q∣B/mc\omega_c=|q|B/mc, developed for the density of states in the solid-state track.

Derivation AGauge invariance from the covariant derivative

The goal is to prove the central claim of the whole subject: that the minimally coupled Schrödinger equation is form-invariant under the joint transformation (3)(3), so no observable can depend on the gauge choice. The route is to show that the covariant derivative D=−iℏ∇−qcA\mathbf{D}=-i\hbar\nabla-\tfrac{q}{c}\mathbf{A} transforms homogeneously — it simply carries the local phase through itself — and that the scalar-potential change is exactly cancelled by the time derivative of the phase. The one thing to watch is that the phase is local: because χ\chi depends on position and time, differentiating eiqχ/ℏcψe^{iq\chi/\hbar c}\psi produces an extra gradient term, and that extra term is precisely what the shift A→A+∇χ\mathbf{A}\to\mathbf{A}+\nabla\chi is designed to absorb.

Step 1. Write the transformed state ψ′=eiλψ\psi'=e^{i\lambda}\psi with λ≡qχ/ℏc\lambda\equiv q\chi/\hbar c, and the transformed potentials A′=A+∇χ\mathbf{A}'=\mathbf{A}+\nabla\chi, ϕ′=ϕ−1c∂tχ\phi'=\phi-\tfrac1c\partial_t\chi. Apply the transformed covariant derivative D′=−iℏ∇−qcA′\mathbf{D}'=-i\hbar\nabla-\tfrac{q}{c}\mathbf{A}' to ψ′\psi'.

Step 2. Expand the gradient: ∇ψ′=eiλ(∇ψ+i(∇λ)ψ)\nabla\psi'=e^{i\lambda}(\nabla\psi+i(\nabla\lambda)\psi). Since ∇λ=qℏc∇χ\nabla\lambda=\tfrac{q}{\hbar c}\nabla\chi, the extra piece is −iℏ⋅iqℏc(∇χ)ψ eiλ=+qc(∇χ)ψ eiλ-i\hbar\cdot i\tfrac{q}{\hbar c}(\nabla\chi)\psi\,e^{i\lambda}=+\tfrac{q}{c}(\nabla\chi)\psi\,e^{i\lambda}.

Step 3. Subtract the shifted vector potential: −qcA′ψ′=−qc(A+∇χ)eiλψ-\tfrac{q}{c}\mathbf{A}'\psi'=-\tfrac{q}{c}(\mathbf{A}+\nabla\chi)e^{i\lambda}\psi. The −qc∇χ-\tfrac{q}{c}\nabla\chi term cancels the +qc∇χ+\tfrac{q}{c}\nabla\chi generated in Step 2, leaving D′ψ′=eiλ(−iℏ∇−qcA)ψ=eiλ Dψ\mathbf{D}'\psi'=e^{i\lambda}\big(-i\hbar\nabla-\tfrac{q}{c}\mathbf{A}\big)\psi=e^{i\lambda}\,\mathbf{D}\psi. The covariant derivative transforms homogeneously — that is the whole point. Why this is the crux: an ordinary derivative would leave the stray ∇χ\nabla\chi term uncancelled and spoil form-invariance. The vector potential is exactly the compensating field that makes the derivative covariant.

Step 4. Because D′ψ′=eiλDψ\mathbf{D}'\psi'=e^{i\lambda}\mathbf{D}\psi, applying D′\mathbf{D}' twice gives D′2ψ′=eiλD2ψ\mathbf{D}'^2\psi'=e^{i\lambda}\mathbf{D}^2\psi, so the kinetic operator 12mD2\tfrac{1}{2m}\mathbf{D}^2 carries the phase cleanly through.

Step 5. Handle the time side. The transformed left member is iℏ∂tψ′=iℏ eiλ(∂tψ+i(∂tλ)ψ)=eiλ(iℏ∂tψ−ℏ(∂tλ)ψ)i\hbar\partial_t\psi'=i\hbar\,e^{i\lambda}(\partial_t\psi+i(\partial_t\lambda)\psi)=e^{i\lambda}\big(i\hbar\partial_t\psi-\hbar(\partial_t\lambda)\psi\big). Now ℏ∂tλ=qc∂tχ\hbar\partial_t\lambda=\tfrac{q}{c}\partial_t\chi, and qϕ′=qϕ−qc∂tχq\phi'=q\phi-\tfrac{q}{c}\partial_t\chi, so the −qc∂tχ-\tfrac{q}{c}\partial_t\chi from the phase exactly cancels the −qc∂tχ-\tfrac{q}{c}\partial_t\chi hidden in qϕ′q\phi'. Assembling: (iℏ∂t−H^′)ψ′=eiλ(iℏ∂t−H^)ψ\big(i\hbar\partial_t-\hat H'\big)\psi'=e^{i\lambda}\big(i\hbar\partial_t-\hat H\big)\psi. Hence ψ′\psi' solves the primed equation iff ψ\psi solves the original. Verified: the full symbolic transformation S′[ψ′]=eiλS[ψ]S'[\psi']=e^{i\lambda}S[\psi], including the exact cancellation of the ∂tχ\partial_t\chi term against the phase's time derivative, was reproduced identically in the companion verifier for an arbitrary χ(x,t)\chi(x,t), along with the homogeneous transformation of D\mathbf{D} and D2\mathbf{D}^2.

Go deeper · Derivation B · 1 minThe gauge-invariant probability current
Derivation BThe gauge-invariant probability current

Here the aim is to derive the probability current for the coupled equation and show that the extra −qmcA∣ψ∣2-\tfrac{q}{mc}\mathbf{A}|\psi|^2 term is not optional decoration but exactly what is required for gauge invariance and for the continuity equation to hold. The route is to build j\mathbf{j} from the covariant derivative rather than the ordinary one, then verify both that it reduces to the familiar expression and that it is invariant under (3)(3). The subtlety is that the naive current ℏmIm(ψ∗∇ψ)\tfrac{\hbar}{m}\mathrm{Im}(\psi^*\nabla\psi) alone is not gauge-invariant — it changes by a term proportional to ∇χ\nabla\chi — so it cannot be the physical current on its own.

Step 1. Define the covariant current j=1mRe(ψ∗Dψ)\mathbf{j}=\tfrac1m\mathrm{Re}(\psi^*\mathbf{D}\psi) with D=−iℏ∇−qcA\mathbf{D}=-i\hbar\nabla-\tfrac{q}{c}\mathbf{A}. Writing ψ=ReiS\psi=Re^{iS} with R,SR,S real, compute Dψ=eiS(ℏR∇S−iℏ∇R−qcAR)\mathbf{D}\psi=e^{iS}(\hbar R\nabla S-i\hbar\nabla R-\tfrac{q}{c}\mathbf{A}R).

Step 2. Form ψ∗Dψ=R2ℏ∇S−iℏR∇R−qcAR2\psi^*\mathbf{D}\psi=R^2\hbar\nabla S-i\hbar R\nabla R-\tfrac{q}{c}\mathbf{A}R^2. The real part drops the pure-imaginary middle term, giving j=1m(ℏR2∇S−qcAR2)=ℏm∣ψ∣2∇S−qmcA∣ψ∣2\mathbf{j}=\tfrac1m\big(\hbar R^2\nabla S-\tfrac{q}{c}\mathbf{A}R^2\big)=\tfrac{\hbar}{m}|\psi|^2\nabla S-\tfrac{q}{mc}\mathbf{A}|\psi|^2, which is exactly (4)(4) since ℏmIm(ψ∗∇ψ)=ℏmR2∇S\tfrac{\hbar}{m}\mathrm{Im}(\psi^*\nabla\psi)=\tfrac{\hbar}{m}R^2\nabla S.

Step 3. Test gauge invariance. Under (3)(3), RR is unchanged, the phase shifts S→S+qℏcχS\to S+\tfrac{q}{\hbar c}\chi, and A→A+∇χ\mathbf{A}\to\mathbf{A}+\nabla\chi. Then ℏmR2∇S→ℏmR2∇S+qmcR2∇χ\tfrac{\hbar}{m}R^2\nabla S\to\tfrac{\hbar}{m}R^2\nabla S+\tfrac{q}{mc}R^2\nabla\chi, while −qmcAR2→−qmcAR2−qmcR2∇χ-\tfrac{q}{mc}\mathbf{A}R^2\to-\tfrac{q}{mc}\mathbf{A}R^2-\tfrac{q}{mc}R^2\nabla\chi. The two ∇χ\nabla\chi pieces cancel: j\mathbf{j} is gauge-invariant.

Step 4. Continuity follows from the equation itself: taking ∂t∣ψ∣2\partial_t|\psi|^2 and using (1)(1) for ∂tψ\partial_t\psi and its conjugate, the terms organize into ∂tρ=−∇⋅j\partial_t\rho=-\nabla\cdot\mathbf{j} with exactly the j\mathbf{j} above; the A\mathbf{A}-dependent pieces are needed for the cancellation, since the Hamiltonian is D2/2m\mathbf{D}^2/2m, not p2/2mp^2/2m. Verified: the companion verifier confirms symbolically that 1mRe(ψ∗Dψ)\tfrac1m\mathrm{Re}(\psi^*\mathbf{D}\psi) equals ℏm∣ψ∣2∇S−qmcA∣ψ∣2\tfrac{\hbar}{m}|\psi|^2\nabla S-\tfrac{q}{mc}\mathbf{A}|\psi|^2 for ψ=ReiS\psi=Re^{iS}, and that the gauge shifts of SS and A\mathbf{A} cancel to leave j\mathbf{j} invariant.

Limiting cases

Each limit is a consistency check on the coupled equation.

CaseResultMeaning
No field, A=0, ϕ=0\mathbf{A}=0,\ \phi=0H^=p2/2m\hat H=p^2/2mRecovers the free Schrödinger equation; canonical and kinetic momenta coincide.
Pure electrostatics, A=0\mathbf{A}=0H^=p2/2m+qϕ\hat H=p^2/2m+q\phiThe familiar potential-energy problem; the phase freedom reduces to a global constant.
Weak uniform B\mathbf{B}H^≈H0−q2mcL⋅B\hat H\approx H_0-\tfrac{q}{2mc}\mathbf{L}\cdot\mathbf{B}Linear (paramagnetic) Zeeman splitting; the A2A^2 term is negligible at laboratory fields.
Strong uniform B\mathbf{B}, free particleEn=ℏωc(n+12)E_n=\hbar\omega_c(n+\tfrac12), ωc=∣q∣B/mc\omega_c=|q|B/mcMotion quantizes into Landau levels; the classical cyclotron orbit becomes a ladder.
Time-independent gauge, χ=χ(r)\chi=\chi(\mathbf{r})ψ→eiqχ/ℏcψ\psi\to e^{iq\chi/\hbar c}\psiA static gauge choice is a position-dependent phase; the Aharonov–Bohm phase is the line integral qℏc∮A⋅dr\tfrac{q}{\hbar c}\oint\mathbf{A}\cdot d\mathbf{r}.

Worked examples

Example 1 — Cyclotron frequency and Landau spacing for an electron in a 1 T field. Compute the cyclotron frequency, the Landau-level spacing, and compare it to the Bohr-magneton Zeeman scale for an electron (q=−eq=-e, m=mem=m_e) in B=1 TB=1\ \mathrm{T}.

Step 1. Cyclotron angular frequency. In SI, ωc=eB/me=(1.602×10−19 C)(1 T)/(9.109×10−31 kg)=1.759×1011 rad/s\omega_c=eB/m_e=(1.602\times10^{-19}\,\mathrm{C})(1\,\mathrm{T})/(9.109\times10^{-31}\,\mathrm{kg})=1.759\times10^{11}\ \mathrm{rad/s}. As an ordinary frequency, fc=ωc/2π=28.0 GHzf_c=\omega_c/2\pi=\mathbf{28.0\ GHz} — squarely in the microwave band, which is why cyclotron resonance is a microwave experiment.

Step 2. Landau-level spacing. Adjacent levels are separated by ℏωc=(1.055×10−34)(1.759×1011) J=1.855×10−23 J\hbar\omega_c=(1.055\times10^{-34})(1.759\times10^{11})\,\mathrm{J}=1.855\times10^{-23}\,\mathrm{J}. Dividing by 1.602×10−19 J/eV1.602\times10^{-19}\,\mathrm{J/eV} gives ℏωc=1.16×10−4 eV\hbar\omega_c=\mathbf{1.16\times10^{-4}\ eV}. This tiny spacing is why quantum-Hall physics requires low temperatures (kBT≲ℏωck_BT\lesssim\hbar\omega_c means T≲1 KT\lesssim1\,\mathrm{K} at 1 T).

Step 3. Zeeman consistency check. The Bohr-magneton scale is μBB=(9.274×10−24 J/T)(1 T)=9.274×10−24 J=5.79×10−5 eV\mu_B B=(9.274\times10^{-24}\,\mathrm{J/T})(1\,\mathrm{T})=9.274\times10^{-24}\,\mathrm{J}=\mathbf{5.79\times10^{-5}\ eV}. Note ℏωc=2μBB\hbar\omega_c=2\mu_B B exactly, because μB=eℏ/2me\mu_B=e\hbar/2m_e while ℏωc=eℏB/me\hbar\omega_c=e\hbar B/m_e; the factor of two is the orbital-versus-spin bookkeeping and is a useful sanity check. These numbers are reproduced in the verifier; the takeaways are a 28.0 GHz cyclotron frequency, a 1.16×10−41.16\times10^{-4} eV Landau spacing, and ℏωc=2μBB\hbar\omega_c=2\mu_B B.

Example 2 — The paramagnetic term is the orbital Zeeman coupling. Show that in the symmetric gauge A=12B×r\mathbf{A}=\tfrac12\mathbf{B}\times\mathbf{r} with B=Bz^\mathbf{B}=B\hat{\mathbf z}, the linear term −qmcA⋅p-\tfrac{q}{mc}\mathbf{A}\cdot\mathbf{p} equals −q2mcL⋅B-\tfrac{q}{2mc}\mathbf{L}\cdot\mathbf{B}.

Step 1. Coulomb gauge check. Compute ∇⋅A=∇⋅12(B×r)=0\nabla\cdot\mathbf{A}=\nabla\cdot\tfrac12(\mathbf{B}\times\mathbf{r})=0 for uniform B\mathbf{B}, so p⋅A=A⋅p\mathbf{p}\cdot\mathbf{A}=\mathbf{A}\cdot\mathbf{p} as operators — no ordering correction. The cross term in (p−qcA)2(\mathbf{p}-\tfrac{q}{c}\mathbf{A})^2 is therefore −2qcA⋅p-\tfrac{2q}{c}\mathbf{A}\cdot\mathbf{p}, giving −qmcA⋅p-\tfrac{q}{mc}\mathbf{A}\cdot\mathbf{p} in H^\hat H.

Step 2. Substitute A=12B×r\mathbf{A}=\tfrac12\mathbf{B}\times\mathbf{r}: A⋅p=12(B×r)⋅p\mathbf{A}\cdot\mathbf{p}=\tfrac12(\mathbf{B}\times\mathbf{r})\cdot\mathbf{p}. Use the scalar triple-product identity (B×r)⋅p=B⋅(r×p)=B⋅L(\mathbf{B}\times\mathbf{r})\cdot\mathbf{p}=\mathbf{B}\cdot(\mathbf{r}\times\mathbf{p})=\mathbf{B}\cdot\mathbf{L}, so A⋅p=12B⋅L\mathbf{A}\cdot\mathbf{p}=\tfrac12\mathbf{B}\cdot\mathbf{L}.

Step 3. Assemble: −qmcA⋅p=−q2mcL⋅B-\tfrac{q}{mc}\mathbf{A}\cdot\mathbf{p}=-\tfrac{q}{2mc}\mathbf{L}\cdot\mathbf{B}. Writing q=−eq=-e for an electron, this is +e2mecL⋅B=μBℏL⋅B+\tfrac{e}{2m_ec}\mathbf{L}\cdot\mathbf{B}=\tfrac{\mu_B}{\hbar}\mathbf{L}\cdot\mathbf{B} (Gaussian μB=eℏ/2mec\mu_B=e\hbar/2m_ec), the orbital Zeeman coupling with gℓ=1g_\ell=1. The symbolic identity 12(B×r)⋅p=12B⋅L\tfrac12(\mathbf{B}\times\mathbf{r})\cdot\mathbf{p}=\tfrac12\mathbf{B}\cdot\mathbf{L} and ∇⋅A=0\nabla\cdot\mathbf{A}=0 are both checked in the verifier; the result is that the paramagnetic term is exactly the orbital Zeeman coupling −q2mcL⋅B-\tfrac{q}{2mc}\mathbf{L}\cdot\mathbf{B}.

Origins · 1 mingauge invariance and how this was discovered
GI
gauge invariance
principle, 19th–20th c. · the symmetry that fixes how matter couples to force fields

Gauge invariance began as a bookkeeping curiosity of the electromagnetic potentials — the freedom to add ∇χ\nabla\chi to A\mathbf{A} without changing the fields — and grew into the organizing principle of modern physics. Hermann Weyl introduced the term Eichinvarianz (gauge invariance) in 1918–1929, first in a failed attempt to unify gravity and electromagnetism by rescaling lengths, then correctly reinterpreted as a rescaling of the quantum phase. Vladimir Fock and Fritz London recognized (1927) that minimal coupling in the Schrödinger equation is exactly a local phase symmetry. The insight — that demanding local phase invariance forces the existence of the gauge field A\mathbf{A} — was generalized by Yang and Mills (1954) to non-abelian groups and now underlies the entire Standard Model. In this article gauge invariance appears in its original home: the electromagnetic coupling of a single charged particle.

History
1918
— Weyl proposes a "gauge" (scale) invariance in an attempt to unify gravity and electromagnetism
1926
— Schrödinger, Klein, Gordon, and Fock write the wave equation for a charged particle with the minimal-coupling substitution
1927
— Fock and London identify minimal coupling as a local phase (gauge) symmetry of the quantum wavefunction
1929
— Weyl gives the modern reinterpretation: gauge invariance is the invariance of the quantum phase, not of length
1930
— Landau solves the uniform-field problem, obtaining the quantized levels En=ℏωc(n+12)E_n=\hbar\omega_c(n+\tfrac12)
1959
— Aharonov and Bohm predict a measurable phase from A\mathbf{A} in a field-free region, proving the potential carries physics

Going further

References. Sakurai & Napolitano, Modern Quantum Mechanics, 2nd ed., §2.7 (Potentials and Gauge Transformations) · Griffiths & Schroeter, Introduction to Quantum Mechanics, 3rd ed., §4.3 and Problem 4.61 · Cohen-Tannoudji, Diu & Laloë, Quantum Mechanics, Vol. I, Ch. III complement · Landau, "Diamagnetismus der Metalle," Z. Phys. 64, 629 (1930) · Aharonov & Bohm, Phys. Rev. 115, 485 (1959).

Provenance. A verifier should reproduce: (1) the homogeneous transformation D′ψ′=eiqχ/ℏcDψ\mathbf{D}'\psi'=e^{iq\chi/\hbar c}\mathbf{D}\psi and the full form-invariance S′[ψ′]=eiqχ/ℏcS[ψ]S'[\psi']=e^{iq\chi/\hbar c}S[\psi] including the ∂tχ\partial_t\chi cancellation; (2) the gauge current j=1mRe(ψ∗Dψ)\mathbf{j}=\tfrac1m\mathrm{Re}(\psi^*\mathbf{D}\psi) equals ℏm∣ψ∣2∇S−qmcA∣ψ∣2\tfrac{\hbar}{m}|\psi|^2\nabla S-\tfrac{q}{mc}\mathbf{A}|\psi|^2 and is gauge-invariant; (3) the kinetic expansion (p−qcA)2=p2−qc(p⋅A+A⋅p)+q2c2A2(\mathbf{p}-\tfrac{q}{c}\mathbf{A})^2=p^2-\tfrac{q}{c}(\mathbf{p}\cdot\mathbf{A}+\mathbf{A}\cdot\mathbf{p})+\tfrac{q^2}{c^2}A^2; (4) the symmetric-gauge identity 12(B×r)⋅p=12B⋅L\tfrac12(\mathbf{B}\times\mathbf{r})\cdot\mathbf{p}=\tfrac12\mathbf{B}\cdot\mathbf{L} with ∇⋅A=0\nabla\cdot\mathbf{A}=0; (5) the numerics fc=28.0f_c=28.0 GHz, ℏωc=1.16×10−4\hbar\omega_c=1.16\times10^{-4} eV, μBB=5.79×10−5\mu_B B=5.79\times10^{-5} eV, and ℏωc=2μBB\hbar\omega_c=2\mu_B B at B=1B=1 T.

Builds on: Time-Dependent Schrödinger Equation · Probability Current and the Continuity Equation · Hamiltonian mechanics of a charged particle. Leads to: Landau Levels and the Quantum Hall Effect (solid-state track) · The Aharonov–Bohm Effect · The Zeeman Effect · Lorentz Covariance of the Dirac Equation.

Why is it called "minimal" coupling?

Because it introduces the electromagnetic interaction with the fewest possible new terms — just the single replacement p→p−qcA\mathbf{p}\to\mathbf{p}-\tfrac{q}{c}\mathbf{A} (plus +qϕ+q\phi) — and no extra, independent coupling constants. It is the unique substitution that (a) reproduces the classical Lorentz force in the correspondence limit, (b) preserves gauge invariance, and (c) adds no new adjustable parameters beyond the charge qq. One could add a "non-minimal" term like a Pauli moment ∝σ⋅B\propto\boldsymbol{\sigma}\cdot\mathbf{B} by hand, but minimal coupling deliberately does not; for the electron that spin term instead falls out automatically from the Dirac equation, which is one reason the Dirac construction is considered so deep.

Does the electron's spin appear in this Hamiltonian?

No. The Hamiltonian (1)(1) is the scalar Schrödinger equation, which describes a spinless charged particle or the orbital motion of a particle whose spin we ignore. Its magnetism is entirely orbital: the −q2mcL⋅B-\tfrac{q}{2mc}\mathbf{L}\cdot\mathbf{B} term has gℓ=1g_\ell=1. Spin magnetism — the −gq2mcS⋅B-\tfrac{gq}{2mc}\mathbf{S}\cdot\mathbf{B} coupling with g=2g=2 — must be added by hand in the Pauli equation, or derived from first principles in the Dirac equation, where minimal coupling of the relativistic equation produces g=2g=2 automatically. So this article captures the orbital half of atomic magnetism; the spin half is signposted to the Pauli and Dirac articles.

Why does the wavefunction phase depend on q/ℏcq/\hbar c specifically?

The exponent qχ/ℏcq\chi/\hbar c is fixed by requiring the covariant derivative to transform homogeneously. When you differentiate eiλψe^{i\lambda}\psi, the gradient of the phase produces a term −iℏ(i∇λ)=ℏ∇λ-i\hbar(i\nabla\lambda)=\hbar\nabla\lambda; to cancel the qc∇χ\tfrac{q}{c}\nabla\chi from the shifted potential you need ℏ∇λ=qc∇χ\hbar\nabla\lambda=\tfrac{q}{c}\nabla\chi, i.e. λ=qℏcχ\lambda=\tfrac{q}{\hbar c}\chi. The ℏ\hbar makes it a quantum phase (classically there is no wavefunction to rotate), the qq makes the coupling proportional to charge, and the cc is the Gaussian-unit bookkeeping (absent in SI). It is not a free choice — any other coefficient would leave an uncancelled ∇χ\nabla\chi term and break gauge invariance.

What is the difference between canonical and kinetic momentum, and which is conserved?

The canonical momentum p=−iℏ∇\mathbf{p}=-i\hbar\nabla is conjugate to position and is what appears in commutation relations [xi,pj]=iℏδij[x_i,p_j]=i\hbar\delta_{ij}. The kinetic momentum Π=p−qcA=mv\mathbf{\Pi}=\mathbf{p}-\tfrac{q}{c}\mathbf{A}=m\mathbf{v} is the physical momentum of motion. They differ by qcA\tfrac{q}{c}\mathbf{A}. Crucially, the canonical momentum is gauge-dependent (it changes when A\mathbf{A} changes), while the kinetic momentum is gauge-covariant (physical). If a coordinate is cyclic — say the potentials do not depend on xx — then the canonical pxp_x is conserved, even though the kinetic Πx\Pi_x is not; this is a frequent source of confusion in Landau-level problems, where pxp_x (canonical) labels the states but Πx\Pi_x (kinetic) does the physics.

Is the diamagnetic A2A^2 term ever important?

For ordinary atoms in laboratory fields it is tiny — smaller than the paramagnetic term by a factor of order ℏωc/(atomic energy)∼10−5\hbar\omega_c/(\text{atomic energy})\sim10^{-5} per tesla — which is why the linear Zeeman effect dominates atomic spectra. But it is not always negligible. In neutron stars and white dwarfs, fields reach 10810^8–101210^{12} T, and the A2A^2 term reshapes atomic structure entirely. In superconductors the collective diamagnetic response produces the Meissner effect (perfect field expulsion) and flux quantization. And in strong-field Landau physics the A2A^2 term is not a perturbation at all — it combines with the paramagnetic term to give the exact En=ℏωc(n+12)E_n=\hbar\omega_c(n+\tfrac12) spectrum, which is why Landau levels cannot be obtained by keeping only the linear term.

How does this connect to the Aharonov–Bohm effect?

Directly, through the local phase. A time-independent gauge transformation χ(r)\chi(\mathbf{r}) multiplies the wavefunction by eiqχ/ℏce^{iq\chi/\hbar c}. If a particle travels a path and A=∇χ\mathbf{A}=\nabla\chi along it (so B=0\mathbf{B}=0 locally), the accumulated phase is qℏc∫A⋅dr=qℏc[χ(end)−χ(start)]\tfrac{q}{\hbar c}\int\mathbf{A}\cdot d\mathbf{r}=\tfrac{q}{\hbar c}[\chi(\text{end})-\chi(\text{start})]. For a closed loop enclosing magnetic flux, χ\chi is not single-valued and the phase is qℏc∮A⋅dr=qℏcΦ\tfrac{q}{\hbar c}\oint\mathbf{A}\cdot d\mathbf{r}=\tfrac{q}{\hbar c}\Phi, the enclosed flux — an observable interference shift even where the field vanishes on the path. Minimal coupling is thus the exact framework in which the Aharonov–Bohm phase is defined; the effect is developed fully in its own article.

Does gauge invariance change the energy eigenvalues?

No — energy eigenvalues are gauge-invariant, but you have to be careful about what "the energy" means when the potentials are time-dependent. For a static gauge transformation χ(r)\chi(\mathbf{r}), the Hamiltonian is unitarily conjugated H^′=UH^U†\hat H'=U\hat H U^\dagger with U=eiqχ/ℏcU=e^{iq\chi/\hbar c}, so the spectrum is identical and eigenstates just pick up the phase. For a time-dependent χ(r,t)\chi(\mathbf{r},t), the scalar potential changes, and the naive "expectation of H^\hat H" is not gauge-invariant because H^\hat H itself is not — but all physically measurable transition energies, currents, and probabilities are. The lesson is that gauge-dependent intermediate quantities (like the canonical momentum or the instantaneous ⟨H^⟩\langle\hat H\rangle in a time-dependent gauge) can differ between gauges, while every measurable output agrees.

Before this

Where this leads