Charged Particle in an Electromagnetic Field: Minimal Coupling
How does a quantum particle feel a magnetic field? The magnetic force does no work and has no potential energy, so it cannot simply be added to the Hamiltonian as a term . The resolution — inherited wholesale from classical Hamiltonian mechanics — is not to change the potential but to change the momentum. Wherever the canonical momentum appears in the free Hamiltonian, replace it by the kinetic momentum , where 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 and are not unique. A gauge transformation , leaves the physical fields and untouched but changes everywhere. If the Hamiltonian contains , 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 , 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 in the symmetric gauge. It gives the cyclotron frequency and the Landau-level ladder — 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 arrive with the Pauli and Dirac equations, signposted by name.
- Minimal coupling: replace and add , giving .
- Under a gauge transformation , the solution picks up a local phase ; all observables are unchanged.
- The combination is a covariant derivative: it transforms homogeneously, , which is why the equation is form-invariant.
- The probability current gains a gauge term, , and is itself gauge-invariant.
- Expanding the kinetic term gives a paramagnetic piece linear in (the Zeeman coupling in the symmetric gauge) and a diamagnetic piece ; a uniform field quantizes motion into Landau levels with .
- 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.
Minimal coupling () turns the ordinary gradient into the covariant derivative , and the gauge freedom of is precisely cancelled by a local phase rotation 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 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 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 , where is the canonical momentum conjugate to position — not the kinetic momentum . The two differ precisely by the vector potential: . Quantizing by the usual rule then automatically inserts 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.
The unsettling feature is that is not measurable. Only and are physical, and these are unchanged by a gauge transformation , for any smooth scalar . Since the Hamiltonian contains the unphysical , 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 that tracks point by point, and this rotation is exactly what the covariant derivative needs to stay consistent.
Once the framework is in place, the physics of orbital magnetism falls out by algebra. Expanding the square produces a term linear in (paramagnetic) and a term quadratic in (diamagnetic). In a uniform field the linear term becomes the Zeeman coupling , 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 in potentials , promoted to an operator by . We work in Gaussian units throughout, where the coupling appears as ; the SI form is recovered by (and in volts).
where: is the particle mass; its charge (for an electron ); the canonical momentum operator; the magnetic vector potential with ; the scalar potential with ; and the speed of light. The kinetic momentum is the physical (gauge-covariant) momentum, distinct from the canonical . It is convenient to name the covariant derivative that carries all the field dependence. Every in is really this operator acting on .
where: 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.
where: is an arbitrary smooth gauge function and is a local (position- and time-dependent) phase. The physical fields are invariant under by construction; the claim is that solves the transformed equation exactly when solves the original, so all measurable predictions agree. The probability current inherits a field-dependent piece. It follows from exactly as the free current follows from the free equation, but with the covariant .
where: is the probability density and the probability current. The added term is exactly what makes gauge-invariant: under the phase gradient added to is cancelled by the shift . Without it, the current would depend on the arbitrary gauge. Expanding the kinetic term exposes the magnetic physics. With the Coulomb gauge (so as operators) and a uniform field in the symmetric gauge :
where: is the field-free part; is the paramagnetic (Zeeman) term with the orbital angular momentum; and is the diamagnetic term, quadratic in . For a uniform field these terms produce the Landau spectrum with the cyclotron frequency , developed for the density of states in the solid-state track.
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 , so no observable can depend on the gauge choice. The route is to show that the covariant derivative 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 depends on position and time, differentiating produces an extra gradient term, and that extra term is precisely what the shift is designed to absorb.
Step 1. Write the transformed state with , and the transformed potentials , . Apply the transformed covariant derivative to .
Step 2. Expand the gradient: . Since , the extra piece is .
Step 3. Subtract the shifted vector potential: . The term cancels the generated in Step 2, leaving . The covariant derivative transforms homogeneously — that is the whole point. Why this is the crux: an ordinary derivative would leave the stray term uncancelled and spoil form-invariance. The vector potential is exactly the compensating field that makes the derivative covariant.
Step 4. Because , applying twice gives , so the kinetic operator carries the phase cleanly through.
Step 5. Handle the time side. The transformed left member is . Now , and , so the from the phase exactly cancels the hidden in . Assembling: . Hence solves the primed equation iff solves the original. Verified: the full symbolic transformation , including the exact cancellation of the term against the phase's time derivative, was reproduced identically in the companion verifier for an arbitrary , along with the homogeneous transformation of and .
Go deeper · Derivation B · 1 minThe gauge-invariant probability current
Here the aim is to derive the probability current for the coupled equation and show that the extra 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 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 . The subtlety is that the naive current alone is not gauge-invariant — it changes by a term proportional to — so it cannot be the physical current on its own.
Step 1. Define the covariant current with . Writing with real, compute .
Step 2. Form . The real part drops the pure-imaginary middle term, giving , which is exactly since .
Step 3. Test gauge invariance. Under , is unchanged, the phase shifts , and . Then , while . The two pieces cancel: is gauge-invariant.
Step 4. Continuity follows from the equation itself: taking and using for and its conjugate, the terms organize into with exactly the above; the -dependent pieces are needed for the cancellation, since the Hamiltonian is , not . Verified: the companion verifier confirms symbolically that equals for , and that the gauge shifts of and cancel to leave invariant.
Limiting cases
Each limit is a consistency check on the coupled equation.
| Case | Result | Meaning |
|---|---|---|
| No field, | Recovers the free Schrödinger equation; canonical and kinetic momenta coincide. | |
| Pure electrostatics, | The familiar potential-energy problem; the phase freedom reduces to a global constant. | |
| Weak uniform | Linear (paramagnetic) Zeeman splitting; the term is negligible at laboratory fields. | |
| Strong uniform , free particle | , | Motion quantizes into Landau levels; the classical cyclotron orbit becomes a ladder. |
| Time-independent gauge, | A static gauge choice is a position-dependent phase; the Aharonov–Bohm phase is the line integral . |
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 (, ) in .
Step 1. Cyclotron angular frequency. In SI, . As an ordinary frequency, — squarely in the microwave band, which is why cyclotron resonance is a microwave experiment.
Step 2. Landau-level spacing. Adjacent levels are separated by . Dividing by gives . This tiny spacing is why quantum-Hall physics requires low temperatures ( means at 1 T).
Step 3. Zeeman consistency check. The Bohr-magneton scale is . Note exactly, because while ; 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 eV Landau spacing, and .
Example 2 — The paramagnetic term is the orbital Zeeman coupling. Show that in the symmetric gauge with , the linear term equals .
Step 1. Coulomb gauge check. Compute for uniform , so as operators — no ordering correction. The cross term in is therefore , giving in .
Step 2. Substitute : . Use the scalar triple-product identity , so .
Step 3. Assemble: . Writing for an electron, this is (Gaussian ), the orbital Zeeman coupling with . The symbolic identity and are both checked in the verifier; the result is that the paramagnetic term is exactly the orbital Zeeman coupling .
Origins · 1 mingauge invariance and how this was discovered
Gauge invariance began as a bookkeeping curiosity of the electromagnetic potentials — the freedom to add to 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 — 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.
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 and the full form-invariance including the cancellation; (2) the gauge current equals and is gauge-invariant; (3) the kinetic expansion ; (4) the symmetric-gauge identity with ; (5) the numerics GHz, eV, eV, and at 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 (plus ) — 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 . One could add a "non-minimal" term like a Pauli moment 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 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 term has . Spin magnetism — the coupling with — 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 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 specifically?
The exponent is fixed by requiring the covariant derivative to transform homogeneously. When you differentiate , the gradient of the phase produces a term ; to cancel the from the shifted potential you need , i.e. . The makes it a quantum phase (classically there is no wavefunction to rotate), the makes the coupling proportional to charge, and the is the Gaussian-unit bookkeeping (absent in SI). It is not a free choice — any other coefficient would leave an uncancelled term and break gauge invariance.
What is the difference between canonical and kinetic momentum, and which is conserved?
The canonical momentum is conjugate to position and is what appears in commutation relations . The kinetic momentum is the physical momentum of motion. They differ by . Crucially, the canonical momentum is gauge-dependent (it changes when changes), while the kinetic momentum is gauge-covariant (physical). If a coordinate is cyclic — say the potentials do not depend on — then the canonical is conserved, even though the kinetic is not; this is a frequent source of confusion in Landau-level problems, where (canonical) labels the states but (kinetic) does the physics.
Is the diamagnetic term ever important?
For ordinary atoms in laboratory fields it is tiny — smaller than the paramagnetic term by a factor of order 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 – T, and the 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 term is not a perturbation at all — it combines with the paramagnetic term to give the exact 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 multiplies the wavefunction by . If a particle travels a path and along it (so locally), the accumulated phase is . For a closed loop enclosing magnetic flux, is not single-valued and the phase is , 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 , the Hamiltonian is unitarily conjugated with , so the spectrum is identical and eigenstates just pick up the phase. For a time-dependent , the scalar potential changes, and the naive "expectation of " is not gauge-invariant because 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 in a time-dependent gauge) can differ between gauges, while every measurable output agrees.