Skip to content

Minimal Coupling

Minimal coupling is the standard nonrelativistic rule for coupling charged matter to electromagnetic potentials. For particles labeled by aa, with masses mam_a and charges qaq_a, its first-quantized form is

H=∑a[pa−qaA(ra,t)]22ma+∑aqaΦ(ra,t)+Vmatter+Hfield.\begin{aligned} H ={}& \sum_a \frac{ \left[ \mathbf p_a - q_a\mathbf A(\mathbf r_a,t) \right]^2 }{2m_a} \\ &+ \sum_a q_a\Phi(\mathbf r_a,t) + V_{\mathrm{matter}} + H_{\mathrm{field}}. \end{aligned}

This compact expression hides several decisions. The potentials may be prescribed functions or field operators. VmatterV_{\mathrm{matter}} may already contain the longitudinal Coulomb interaction. The square contains both a term linear in A\mathbf A and a term quadratic in A\mathbf A. Position dependent vector potentials require operator ordering. Spin and relativistic corrections are not generated by the scalar minimal-coupling rule alone.

The formula is therefore a parent Hamiltonian, not a license to discard terms before specifying the representation and approximation.

This page owns the AMO bookkeeping needed to turn minimal coupling into a many-particle light–matter model:

  • canonical versus kinetic momentum for each charge;
  • the scalar-potential, paramagnetic, and diamagnetic terms;
  • classical versus quantized electromagnetic fields;
  • Coulomb-interaction bookkeeping for atoms and molecules;
  • the relation between gauge covariance and model truncation;
  • the limits of the nonrelativistic Hamiltonian.

The general position-space derivation belongs in Minimal Coupling in Wave Mechanics. The symmetry reason for covariant momentum belongs in Minimal Coupling. Gauge Transformations in Quantum Mechanics owns the full transformation law. Here those results are assembled for atoms, molecules, prescribed laser fields, and quantized radiation modes.

Minimal-coupling term ledger from canonical and kinetic momentum through the linear, quadratic, scalar, and field terms to consistency tests

Minimal coupling is a linked ledger. The momentum definition, Hamiltonian expansion, gauge transformation, Coulomb bookkeeping, and approximation tests must be changed consistently.

The distinction between canonical and kinetic momentum is already present in classical mechanics. For one charge in prescribed potentials, take

L=12mr˙ 2+qr˙⋅A(r,t)−qΦ(r,t).L = \frac{1}{2}m\dot{\mathbf r}^{\,2} + q\dot{\mathbf r}\mathbin{\cdot}\mathbf A(\mathbf r,t) - q\Phi(\mathbf r,t).

The canonical momentum is

p≡∂L∂r˙=mr˙+qA.\mathbf p \equiv \frac{\partial L}{\partial\dot{\mathbf r}} = m\dot{\mathbf r} + q\mathbf A.

The kinetic, mechanical, or gauge-covariant momentum is

π≡mr˙=p−qA.\boldsymbol\pi \equiv m\dot{\mathbf r} = \mathbf p-q\mathbf A.

The Legendre transform gives

H=π22m+qΦ=(p−qA)22m+qΦ.H = \frac{\boldsymbol\pi^2}{2m} + q\Phi = \frac{ \left( \mathbf p-q\mathbf A \right)^2 }{2m} + q\Phi.

Quantization promotes the canonical variables to operators satisfying

[ri,pj]=iℏδij.[r_i,p_j] = i\hbar\delta_{ij}.

In the position representation,

p=−iℏ∇,π=−iℏ∇−qA.\mathbf p=-i\hbar\boldsymbol\nabla, \qquad \boldsymbol\pi = -i\hbar\boldsymbol\nabla-q\mathbf A.

The canonical commutator with position survives:

[ri,πj]=iℏδij,[r_i,\pi_j] = i\hbar\delta_{ij},

but kinetic-momentum components detect the magnetic field:

[πi,πj]=iℏq∑kϵijkBk.[\pi_i,\pi_j] = i\hbar q \sum_k \epsilon_{ijk}B_k.

Thus p\mathbf p supplies canonical translation generators in the chosen representation, whereas π\boldsymbol\pi supplies mechanical velocity and magnetic-force algebra. They agree only when the relevant vector potential vanishes in that representation.

For

H=π22m+qΦ+V(r),H = \frac{\boldsymbol\pi^2}{2m} + q\Phi + V(\mathbf r),

the Heisenberg velocity is

r˙=iℏ[H,r]=πm.\dot{\mathbf r} = \frac{i}{\hbar}[H,\mathbf r] = \frac{\boldsymbol\pi}{m}.

The equation for kinetic momentum has the Hermitian Lorentz-force form

mv˙=qE+q2(v×B−B×v)−∇V.\begin{aligned} m\dot{\mathbf v} ={}& q\mathbf E \\ &+ \frac{q}{2} \left( \mathbf v\times\mathbf B - \mathbf B\times\mathbf v \right) - \boldsymbol\nabla V. \end{aligned}

When B\mathbf B commutes with v\mathbf v, the magnetic term reduces to qv×Bq\mathbf v\times\mathbf B. Recovering this equation is a useful sign and ordering check.

Under a gauge transformation,

A′=A+∇χ,Φ′=Φ−∂tχ,ψ′=eiqχ/ℏψ.\begin{aligned} \mathbf A' &= \mathbf A+\boldsymbol\nabla\chi, \\ \Phi' &= \Phi-\partial_t\chi, \\ \psi' &= e^{iq\chi/\hbar}\psi. \end{aligned}

The canonical differential operator −iℏ∇-i\hbar\boldsymbol\nabla has the same written form but acts on a differently phased wavefunction. The kinetic momentum transforms covariantly:

π′ψ′=eiqχ/ℏπψ.\boldsymbol\pi'\psi' = e^{iq\chi/\hbar} \boldsymbol\pi\psi.

Expectation values of mechanical momentum therefore agree when states and operators are transformed together. A bare canonical-momentum label in one gauge is not automatically a gauge-independent observable.

The rule

p⟶p−qA\mathbf p \longrightarrow \mathbf p-q\mathbf A

is best read inside the complete Hamiltonian. It does not mean that every occurrence of a momentum symbol in an already reduced model can be shifted without revisiting how that model was derived.

For one particle,

(p−qA)22m=p22m−q2m(p⋅A+A⋅p)+q2A22m.\begin{aligned} \frac{ \left( \mathbf p-q\mathbf A \right)^2 }{2m} ={}& \frac{\mathbf p^2}{2m} \\ &- \frac{q}{2m} \left( \mathbf p\mathbin{\cdot}\mathbf A + \mathbf A\mathbin{\cdot}\mathbf p \right) \\ &+ \frac{q^2\mathbf A^2}{2m}. \end{aligned}

The symmetrized cross term is required because p\mathbf p differentiates the position dependence of A\mathbf A.

Acting on a wavefunction,

(p−qA)2ψ=−ℏ2∇2ψ+iqℏ(∇⋅A)ψ+2iqℏ A⋅∇ψ+q2A2ψ.\begin{aligned} \left( \mathbf p-q\mathbf A \right)^2\psi ={}& -\hbar^2\nabla^2\psi \\ &+ iq\hbar \left( \boldsymbol\nabla\mathbin{\cdot}\mathbf A \right)\psi \\ &+ 2iq\hbar\, \mathbf A\mathbin{\cdot}\boldsymbol\nabla\psi + q^2\mathbf A^2\psi. \end{aligned}

In Coulomb gauge, ∇⋅A=0\boldsymbol\nabla\cdot\mathbf A=0. Subject also to the domain and boundary conditions that make the operators well defined,

p⋅A=A⋅p.\mathbf p\mathbin{\cdot}\mathbf A = \mathbf A\mathbin{\cdot}\mathbf p.

Only then may the linear term be abbreviated as

HpA=−qmA⋅p.H_{pA} = - \frac{q}{m} \mathbf A\mathbin{\cdot}\mathbf p.

Keeping the anticommutator form until the gauge and mode functions are fixed prevents an assumption from being mistaken for an identity.

The charge qq includes its sign. For an electron,

q=−e,e>0,q=-e, \qquad e>0,

so

πe=p+eA.\boldsymbol\pi_{\mathrm e} = \mathbf p+e\mathbf A.

Writing both q=−eq=-e and an additional hand-inserted minus sign is a common source of incorrect Zeeman and interaction terms.

All three quantities

p,qA,π\mathbf p, \qquad q\mathbf A, \qquad \boldsymbol\pi

have dimensions of momentum. For a monochromatic plane wave with electric field amplitude E0\mathcal E_0 and angular frequency ω\omega,

E0=ωA0\mathcal E_0 = \omega A_0

in a transverse gauge with vector-potential amplitude A0A_0. Thus

∣q∣A0=∣q∣E0ω|q|A_0 = \frac{|q|\mathcal E_0}{\omega}

is the field-induced momentum scale to compare with matter momenta.

The scalar-potential contribution is

HΦ=qΦ(r,t).H_\Phi = q\Phi(\mathbf r,t).

Its sign follows the charge. An electron in a positive electrostatic potential has potential energy −eΦ-e\Phi, while a positive ion has +∣q∣Φ+|q|\Phi.

The electric field is

E=−∇Φ−∂tA.\mathbf E = - \boldsymbol\nabla\Phi - \partial_t\mathbf A.

Separating “electric coupling” into a scalar-potential part and a vector-potential part is therefore gauge dependent. A static longitudinal field is often conveniently represented by Φ\Phi. A propagating transverse wave in Coulomb gauge is often represented with Φ=0\Phi=0 and E=−∂tA\mathbf E=-\partial_t\mathbf A. The measured field is independent of that bookkeeping.

Constant offsets and time-dependent phases

Section titled “Constant offsets and time-dependent phases”

Adding a spatially uniform function C(t)C(t) to the scalar potential shifts the Hamiltonian by qC(t)qC(t). For a fixed charge sector, this changes the state by a common time-dependent phase:

ψ(t)⟶exp⁡[−iqℏ∫tC(t′) dt′]ψ(t).\psi(t) \longrightarrow \exp \left[ - \frac{iq}{\hbar} \int^t C(t')\,dt' \right] \psi(t).

It does not change probabilities within that charge sector. Relative phases between sectors with different total charge require more careful bookkeeping, especially when the charge reference or external circuit is part of the experiment.

External scalar fields versus internal Coulomb energy

Section titled “External scalar fields versus internal Coulomb energy”

For several charges, distinguish an imposed scalar potential Φext\Phi_{\mathrm{ext}} from the mutual Coulomb interaction. In Coulomb-gauge nonrelativistic QED, the longitudinal electric field can be eliminated in favor of the instantaneous Coulomb energy

VC=18πϵ0∑a≠bqaqb∣ra−rb∣.V_{\mathrm C} = \frac{1}{8\pi\epsilon_0} \sum_{a\ne b} \frac{q_aq_b} {|\mathbf r_a-\mathbf r_b|}.

The a=ba=b self-terms are excluded here. If VCV_{\mathrm C} is already present, adding the same longitudinal interaction again through a dynamical scalar potential double counts it.

This distinction is especially important in molecular Hamiltonians, where electron–electron, electron–nuclear, and nuclear–nuclear Coulomb energies are usually already included in VmatterV_{\mathrm{matter}}.

Expanding minimal coupling organizes the Hamiltonian as

H=H0+HpA+HA2+HΦ,H = H_0 + H_{pA} + H_{A^2} + H_\Phi,

where

HpA=−q2m(p⋅A+A⋅p),HA2=q22mA2,HΦ=qΦ.\begin{aligned} H_{pA} &= - \frac{q}{2m} \left( \mathbf p\mathbin{\cdot}\mathbf A + \mathbf A\mathbin{\cdot}\mathbf p \right), \\ H_{A^2} &= \frac{q^2}{2m}\mathbf A^2, \\ H_\Phi &= q\Phi. \end{aligned}

HpAH_{pA} is often called the paramagnetic or linear coupling. HA2H_{A^2} is often called the diamagnetic, seagull, or quadratic coupling. The names describe their role in a chosen representation; they do not make the individual terms gauge-invariant observables.

If the field amplitude is counted as a small parameter λ\lambda, then

HpA=O(λ),HA2=O(λ2).H_{pA}=O(\lambda), \qquad H_{A^2}=O(\lambda^2).

A second-order calculation contains both first-order perturbation theory in HA2H_{A^2} and second-order perturbation theory in HpAH_{pA}. Dropping one while keeping the other generally gives an incomplete result at O(λ2)O(\lambda^2).

The quadratic term contributes to:

  • diamagnetic response;
  • field-frequency and mode renormalization;
  • two-photon and counter-rotating processes;
  • cancellations constrained by oscillator-strength sum rules;
  • boundedness and stability properties of effective models;
  • gauge equivalence with representations in which its role is carried by a polarization self-energy term.

Whether a particular observable is insensitive to HA2H_{A^2} is a conclusion to derive, not an assumption to import.

Define the charge density

ρ(r)=∑aqaδ(r−ra)\rho(\mathbf r) = \sum_a q_a \delta(\mathbf r-\mathbf r_a)

and the canonical paramagnetic current density

jp(r)=∑aqa2ma{pa,δ(r−ra)}.\mathbf j_{\mathrm p}(\mathbf r) = \sum_a \frac{q_a}{2m_a} \left\{ \mathbf p_a, \delta(\mathbf r-\mathbf r_a) \right\}.

Then the linear interaction can be written

HpA=−∫d3r jp(r)⋅A(r).H_{pA} = - \int d^3r\, \mathbf j_{\mathrm p}(\mathbf r) \mathbin{\cdot} \mathbf A(\mathbf r).

The scalar interaction is

HΦ=∫d3r ρ(r)Φ(r),H_\Phi = \int d^3r\, \rho(\mathbf r)\Phi(\mathbf r),

and the quadratic term is

HA2=12∫d3r K(r)A2(r),H_{A^2} = \frac{1}{2} \int d^3r\, K(\mathbf r)\mathbf A^2(\mathbf r),

with

K(r)=∑aqa2maδ(r−ra).K(\mathbf r) = \sum_a \frac{q_a^2}{m_a} \delta(\mathbf r-\mathbf r_a).

This form makes two facts visible. Charge neutrality can cancel the spatial integral of ρ\rho, but it does not cancel KK, because the latter contains qa2q_a^2. Also, the physical current contains both paramagnetic and field-dependent diamagnetic pieces; the split depends on representation.

For a prescribed field, A2\mathbf A^2 is a function of space and time. If it is spatially uniform over a one-particle system, it may be proportional to the identity in the matter Hilbert space, although it still contributes a phase and can matter when comparing gauges or coupled sectors.

For a quantized field, A2\mathbf A^2 is an operator on the field Hilbert space. For one real mode,

A(r)=Azpf ϵf(r)(a+a†),\mathbf A(\mathbf r) = A_{\mathrm{zpf}}\, \boldsymbol\epsilon f(\mathbf r) \left( a+a^\dagger \right),

so

A2(r)=Azpf2f2(r)×(a2+a†2+2a†a+1).\begin{aligned} \mathbf A^2(\mathbf r) ={}& A_{\mathrm{zpf}}^2 f^2(\mathbf r) \\ &\times \left( a^2 + a^{\dagger 2} + 2a^\dagger a + 1 \right). \end{aligned}

The quadratic coupling therefore contains number-conserving, two-photon, and vacuum terms. Normal ordering can rearrange the written constant, but it does not justify deleting the physical contribution fixed by the parent Hamiltonian.

For nonrelativistic charges interacting with a prescribed electromagnetic background,

H=∑a[pa−qaA(ra,t)]22ma+∑aqaΦext(ra,t)+Vmatter.\begin{aligned} H ={}& \sum_a \frac{ \left[ \mathbf p_a - q_a\mathbf A(\mathbf r_a,t) \right]^2 }{2m_a} \\ &+ \sum_a q_a\Phi_{\mathrm{ext}}(\mathbf r_a,t) + V_{\mathrm{matter}}. \end{aligned}

For electrons and nuclei,

qi=−e,mi=me,qA=ZAe,mA=MA.\begin{aligned} q_i&=-e, & m_i&=m_e, \\ q_A&=Z_Ae, & m_A&=M_A. \end{aligned}

VmatterV_{\mathrm{matter}} normally includes all mutual Coulomb interactions and any additional effective terms used at the stated accuracy.

Quantized transverse radiation in Coulomb gauge

Section titled “Quantized transverse radiation in Coulomb gauge”

In a periodic quantization volume V\mathcal V, the transverse vector potential may be expanded as

A⊥(r)=∑k,λ(ℏ2ϵ0ωkV)1/2ϵkλ×(akλeik⋅r+akλ†e−ik⋅r),\begin{aligned} \mathbf A_\perp(\mathbf r) ={}& \sum_{\mathbf k,\lambda} \left( \frac{\hbar} {2\epsilon_0\omega_{\mathbf k}\mathcal V} \right)^{1/2} \boldsymbol\epsilon_{\mathbf k\lambda} \\ &\times \left( a_{\mathbf k\lambda} e^{i\mathbf k\cdot\mathbf r} + a_{\mathbf k\lambda}^\dagger e^{-i\mathbf k\cdot\mathbf r} \right), \end{aligned}

where

k⋅ϵkλ=0.\mathbf k \mathbin{\cdot} \boldsymbol\epsilon_{\mathbf k\lambda} = 0.

The free-field Hamiltonian is

HEM=∑k,λℏωk(akλ†akλ+12).H_{\mathrm{EM}} = \sum_{\mathbf k,\lambda} \hbar\omega_{\mathbf k} \left( a_{\mathbf k\lambda}^\dagger a_{\mathbf k\lambda} + \frac{1}{2} \right).

A Coulomb-gauge many-particle Hamiltonian can then be organized as

H=∑a[pa−qaA⊥(ra)]22ma+VC+∑aqaΦext(ra,t)+HEM.\begin{aligned} H ={}& \sum_a \frac{ \left[ \mathbf p_a - q_a\mathbf A_\perp(\mathbf r_a) \right]^2 }{2m_a} \\ &+ V_{\mathrm C} + \sum_a q_a\Phi_{\mathrm{ext}}(\mathbf r_a,t) + H_{\mathrm{EM}}. \end{aligned}

The quantized transverse field and the longitudinal Coulomb interaction have different roles. The displayed split is tied to Coulomb gauge; another representation can redistribute interaction and self-energy terms while leaving observables unchanged in the untruncated theory.

For species ss with field operators Ψs(r)\Psi_s(\mathbf r), charges qsq_s, and masses msm_s, a schematic second-quantized form is

πs≡−iℏ∇−qsA.\boldsymbol\pi_s \equiv -i\hbar\boldsymbol\nabla - q_s\mathbf A.

Then

Hm=∑s∫d3r Ψs†(r)πs22msΨs(r)+∑s∫d3r Ψs†(r)qsΦextΨs(r)+Vint.\begin{aligned} H_{\mathrm m} ={}& \sum_s \int d^3r\, \Psi_s^\dagger(\mathbf r) \frac{\boldsymbol\pi_s^2}{2m_s} \Psi_s(\mathbf r) \\ &+ \sum_s \int d^3r\, \Psi_s^\dagger(\mathbf r) q_s\Phi_{\mathrm{ext}} \Psi_s(\mathbf r) \\ &+ V_{\mathrm{int}}. \end{aligned}

VintV_{\mathrm{int}} must state whether Coulomb, pseudopotential, effective core, or other interactions are included. Normal ordering and ultraviolet regularization also belong to the model specification when field operators are evaluated at coincident points.

Minimal coupling does not alter exchange statistics. It changes the one-body covariant derivative and the associated current while the bosonic or fermionic algebra remains as specified.

Define total canonical momentum and total charge by

P=∑apa,Q=∑aqa.\mathbf P = \sum_a\mathbf p_a, \qquad Q = \sum_a q_a.

If the vector potential is effectively uniform across the composite system,

∑aπa=P−QA.\sum_a\boldsymbol\pi_a = \mathbf P-Q\mathbf A.

For a neutral atom or molecule, Q=0Q=0, so the total kinetic momentum equals P\mathbf P in this particular long-wavelength expression. That does not mean the internal system decouples from the field. The linear interaction is

HpA=−A⋅∑aqamapa,H_{pA} = - \mathbf A \mathbin{\cdot} \sum_a \frac{q_a}{m_a}\mathbf p_a,

which generally remains nonzero because the charge-to-mass ratios differ. The quadratic coefficient

∑aqa22ma\sum_a\frac{q_a^2}{2m_a}

also remains nonzero. Neutrality cancels total charge, not charge-weighted internal currents or squared-charge terms.

Separating center-of-mass and internal motion in a magnetic field can be subtle because vector potentials mix coordinates and canonical momenta. Pseudomomentum or magnetic-translation methods may be more natural than a naive free center-of-mass separation.

In an electronic-structure calculation, nuclei are often held at fixed positions. Their kinetic minimal-coupling terms are then absent from the electronic Hamiltonian, but their charges still determine VmatterV_{\mathrm{matter}}, external-field energies, and the molecular dipole. Restoring nuclear motion is necessary for recoil, rotational and vibrational coupling, motional Stark effects, and momentum conservation.

The Born–Oppenheimer Scale Separation page owns the general electronic–nuclear approximation.

The same minimal-coupling symbol can represent physically different models.

Field treatmentA,Φ\mathbf A,\PhiEnergy exchangeWhat is omitted
prescribed classical backgroundspecified functionsexternal source supplies or absorbs energysource depletion, field fluctuations, matter–field entanglement
stochastic classical fieldrandom functions with a stated lawaverage over source realizationsgenuinely quantum field statistics
selected quantized modesfield operatorsreversible exchange with retained modesdiscarded continuum unless added as a reservoir
full or effective continuumoperator-valued mode expansionemission, absorption, and propagationultraviolet and material response still require a model

If A(r,t)\mathbf A(\mathbf r,t) is imposed, the matter Hamiltonian is explicitly time dependent. Matter energy need not be conserved:

ddt⟨Hm(t)⟩=⟨∂Hm∂t⟩\frac{d}{dt} \langle H_{\mathrm m}(t)\rangle = \left\langle \frac{\partial H_{\mathrm m}}{\partial t} \right\rangle

for unitary matter evolution. The missing energy is exchanged with the unmodeled source.

A laser pulse described this way can have a perfectly controlled phase and envelope. The approximation fails when source depletion, photon counting, vacuum fluctuations, or entanglement with the field controls the observable.

When A\mathbf A is operator valued, the matter and field Hilbert spaces are combined:

H=Hm⊗Hf.\mathcal H = \mathcal H_{\mathrm m} \otimes \mathcal H_{\mathrm f}.

Minimal coupling can then exchange excitations, entangle matter with the field, shift mode frequencies, and create virtual dressing. A few-mode truncation must be justified by mode spacing, bandwidth, geometry, and the observable. A single lossless mode does not by itself produce irreversible spontaneous decay.

For a bright coherent state, replacing a retained mode operator by its coherent amplitude may recover a classical drive for suitable observables. This is a state- and observable-dependent limit, not an identity between classical and quantum fields.

For many particles, define

Uχ(t)=exp⁡[iℏ∑aqaχ(ra,t)].U_\chi(t) = \exp \left[ \frac{i}{\hbar} \sum_a q_a\chi(\mathbf r_a,t) \right].

Under

A′=A+∇χ,Φ′=Φ−∂tχ,∣Ψ′⟩=Uχ∣Ψ⟩,\begin{aligned} \mathbf A' &= \mathbf A+\boldsymbol\nabla\chi, \\ \Phi' &= \Phi-\partial_t\chi, \\ |\Psi'\rangle &= U_\chi|\Psi\rangle, \end{aligned}

each kinetic momentum obeys

πa′=UχπaUχ†.\boldsymbol\pi_a' = U_\chi \boldsymbol\pi_a U_\chi^\dagger.

For a time-dependent transformation, the Hamiltonian changes as

H′=UχHUχ†+iℏ(∂tUχ)Uχ†.H' = U_\chi H U_\chi^\dagger + i\hbar \left( \partial_tU_\chi \right) U_\chi^\dagger.

The second term supplies the scalar-potential transformation. Transforming only A\mathbf A, or only the state, produces a different model rather than a new representation of the same model.

What gauge transformations can redistribute

Section titled “What gauge transformations can redistribute”

The following partitions need not be separately invariant:

PartitionWhy it can change
canonical matter momentum versus field contributioncanonical variables depend on representation
p⋅Ap\cdot A versus A2A^2 contributionsterms reorganize under unitary transformations
matter excitation versus photon excitationsubsystem definitions can be gauge dependent
instantaneous Coulomb versus polarization interactionlongitudinal and multipolar descriptions partition energy differently
bare versus interaction Hamiltoniana representation can move terms across the split

The total predictions of a complete theory agree. Intermediate labels should not be given independent physical meaning unless they are tied to a gauge-invariant measurement protocol.

Approximation and transformation need not commute

Section titled “Approximation and transformation need not commute”

Let PP project matter onto a finite set of levels and UU denote a unitary change of representation. In general,

PUPPUP

is not unitary on the truncated subspace. Consequently,

P(UHU†)PP \left( UHU^\dagger \right) P

need not be unitarily equivalent to transforming the already projected Hamiltonian PHPPHP.

This issue is weak when discarded levels and modes contribute negligibly at the requested accuracy. It becomes important in ultrastrong coupling, severe few-level truncations, and incomplete mode spaces. The modern literature contains several technically distinct prescriptions for constructing gauge-consistent effective models. The settled practical lesson is modest:

  1. state the parent Hamiltonian and representation;
  2. project states and observables consistently;
  3. retain the self-energy term paired with the chosen representation;
  4. test convergence in matter levels and field modes;
  5. compare gauge-related formulations only at matched approximation order.

The detailed comparison of Coulomb, velocity, length, and multipolar representations belongs to Gauge Choices in Light–Matter Physics, not to a deletion of A2A^2 from the parent theory.

Take

A(r,t)=A0ϵcos⁡(k⋅r−ωt),Φ=0.\begin{aligned} \mathbf A(\mathbf r,t) ={}& A_0\boldsymbol\epsilon \cos \left( \mathbf k\mathbin{\cdot}\mathbf r-\omega t \right), \\ &\Phi=0. \end{aligned}

with

k⋅ϵ=0.\mathbf k\mathbin{\cdot}\boldsymbol\epsilon=0.

The electric-field amplitude and cycle-averaged intensity are

E0=ωA0,I=12cϵ0E02.\mathcal E_0=\omega A_0, \qquad I = \frac{1}{2} c\epsilon_0\mathcal E_0^2.

For a region where the mode is smooth and the stated transverse-gauge conditions apply,

HpA=−qmA⋅p,HA2=q2A22m.H_{pA} = - \frac{q}{m} \mathbf A\mathbin{\cdot}\mathbf p, \qquad H_{A^2} = \frac{q^2\mathbf A^2}{2m}.

For a matter momentum scale pp, the characteristic ratio is

UA2UpA∼∣q∣A02p.\frac{U_{A^2}}{U_{pA}} \sim \frac{|q|A_0}{2p}.

Writing

vq≡∣q∣A0m,v≡pm,v_{\mathrm q} \equiv \frac{|q|A_0}{m}, \qquad v\equiv\frac{p}{m},

gives

UA2UpA∼vq2v.\frac{U_{A^2}}{U_{pA}} \sim \frac{v_{\mathrm q}}{2v}.

This is only a scale estimate. If a linear-coupling matrix element vanishes by symmetry, comparing typical amplitudes can miss the leading allowed process.

For an electron, q=−eq=-e, choose symmetric gauge

A=12B×r,Φ=0.\mathbf A = \frac{1}{2} \mathbf B\times\mathbf r, \qquad \Phi=0.

Because ∇⋅A=0\boldsymbol\nabla\cdot\mathbf A=0,

H=p22me+emeA⋅p+e2A22me.\begin{aligned} H ={}& \frac{\mathbf p^2}{2m_e} + \frac{e}{m_e} \mathbf A\mathbin{\cdot}\mathbf p \\ &+ \frac{e^2\mathbf A^2}{2m_e}. \end{aligned}

Using

A⋅p=12B⋅L,\mathbf A\mathbin{\cdot}\mathbf p = \frac{1}{2} \mathbf B\mathbin{\cdot}\mathbf L,

one obtains

H=p22me+e2meB⋅L+e28me∣B×r∣2.\begin{aligned} H ={}& \frac{\mathbf p^2}{2m_e} + \frac{e}{2m_e} \mathbf B\mathbin{\cdot}\mathbf L \\ &+ \frac{e^2}{8m_e} \left| \mathbf B\times\mathbf r \right|^2. \end{aligned}

The second term is the orbital Zeeman coupling and the third is the diamagnetic term. For weak fields in a nondegenerate bound state, their leading perturbative orders differ, but both descend from the same square. Orbital Magnetic Moments and Landau Levels own the corresponding physical applications.

For one charge and one real mode, let

A(r)=Azpfϵf(r)(a+a†).\mathbf A(\mathbf r) = A_{\mathrm{zpf}} \boldsymbol\epsilon f(\mathbf r) \left( a+a^\dagger \right).

The linear term is

HpA=−qAzpf2m(a+a†)×{ϵ⋅p,f(r)},\begin{aligned} H_{pA} ={}& - \frac{qA_{\mathrm{zpf}}}{2m} \left( a+a^\dagger \right) \\ &\times \left\{ \boldsymbol\epsilon\mathbin{\cdot}\mathbf p, f(\mathbf r) \right\}, \end{aligned}

while

HA2=q2Azpf22mf2(r)×(a+a†)2.\begin{aligned} H_{A^2} ={}& \frac{q^2A_{\mathrm{zpf}}^2}{2m} f^2(\mathbf r) \\ &\times \left( a+a^\dagger \right)^2. \end{aligned}

If f(r)f(\mathbf r) is replaced by a constant in the long-wavelength limit, the matter and field factors simplify. That replacement is independent of the decision to truncate the matter spectrum or apply a rotating-wave approximation.

For a spatially uniform vector potential, a neutral system has

∑aqa=0\sum_a q_a=0

but

∑aqamapa≠0\sum_a \frac{q_a}{m_a}\mathbf p_a \ne \mathbf 0

in general. For a hydrogenic atom,

∑aqamapa=−emepe+eMNPN.\begin{aligned} \sum_a \frac{q_a}{m_a}\mathbf p_a ={}& - \frac{e}{m_e}\mathbf p_e \\ &+ \frac{e}{M_N}\mathbf P_N. \end{aligned}

After center-of-mass separation, this becomes an internal relative-momentum coupling with a reduced-mass coefficient. Neutral atoms therefore interact with light even though their net charge vanishes. The later dipole approximation rewrites the leading internal coupling in terms of the electric dipole, rather than asserting that minimal coupling disappeared.

Minimal coupling is compatible with nonrelativistic quantum mechanics, but it does not make that theory exact.

The basic condition is

vc≪1.\frac{v}{c}\ll1.

For a hydrogenic bound state, a characteristic estimate is

vc∼Zαn.\frac{v}{c} \sim \frac{Z\alpha}{n}.

Relativistic corrections become progressively more important as ZαZ\alpha increases or the requested precision resolves terms of order (v/c)2(v/c)^2 relative to the leading energy.

Scalar minimal coupling describes orbital motion. For spin-1/21/2 matter, add magnetic-moment coupling:

HP=π22m+qΦ−μ⋅B,H_{\mathrm P} = \frac{\boldsymbol\pi^2}{2m} + q\Phi - \boldsymbol\mu\mathbin{\cdot}\mathbf B,

where

μ=gq2mS\boldsymbol\mu = g\frac{q}{2m}\mathbf S

in the stated gg-factor convention. The Pauli Hamiltonian card records the g=2g=2 form.

Spin–orbit, Darwin, relativistic kinetic, anomalous-moment, and radiative terms arise from a more complete theory or its effective expansion. They should not be attributed to the scalar replacement p→p−qA\mathbf p\to\mathbf p-q\mathbf A alone.

Nonrelativistic fixed-particle-number mechanics cannot describe:

  • pair creation or annihilation;
  • fully relativistic recoil;
  • dynamical antiparticles;
  • high-energy Compton processes;
  • radiation reaction as a self-consistent relativistic field process.

Quantizing selected electromagnetic modes permits emission and absorption within a nonrelativistic matter model, but ultraviolet self-energy and high-frequency behavior still require regularization, renormalization, or a physically justified effective cutoff.

ApproximationControl questionTypical failure
nonrelativistic matterare v/cv/c and ZαZ\alpha small at the required accuracy?fine structure, pair processes, relativistic recoil
prescribed fieldis source depletion or field backaction negligible?photon statistics, spontaneous emission, matter–field entanglement
fixed nucleiare recoil and nuclear motion unresolved?rovibrational coupling, recoil, motional effects
long wavelengthis ka≪1ka\ll1 for the relevant state support?multipoles, spatial gradients, recoil phase
few matter levelsare discarded levels far detuned and weakly coupled?leakage, sum-rule violation, gauge dependence
few field modesdoes the retained mode set cover the bandwidth and geometry?irreversible decay, propagation, causality, mode renormalization
weak-field deletion of A2A^2is the observable computed only to an order where its contribution is demonstrably absent?incomplete second-order response, instability, gauge mismatch
point-particle couplingis structure below the cutoff irrelevant?ultraviolet sensitivity, finite-size and form-factor effects

Each row answers a different question. Passing one does not validate the others.

For an AMO minimal-coupling model:

  1. list all charged species, masses, coordinates, and charge signs;
  2. choose whether fields are prescribed, stochastic, selected quantum modes, or a continuum;
  3. state the gauge and boundary conditions used to define the potentials;
  4. specify whether mutual Coulomb interactions are already in VmatterV_{\mathrm{matter}};
  5. keep the covariant square intact until operator ordering is controlled;
  6. identify HpAH_{pA}, HA2H_{A^2}, and HΦH_\Phi at a matched perturbative order;
  7. separate center-of-mass and internal variables only after checking field variation across the system;
  8. add spin and relativistic effective terms required by the target precision;
  9. project matter levels and field modes together with the observables;
  10. test convergence, gauge consistency, and limiting cases.

A reproducible calculation should record the resulting approximation chain, not only the final few-level Hamiltonian.

  • Confusing canonical and kinetic momentum. The velocity is π/m\boldsymbol\pi/m, not generally p/m\mathbf p/m.
  • Forgetting that p\mathbf p differentiates A\mathbf A. The cross term is an anticommutator before additional conditions are imposed.
  • Using the electron charge twice. Set q=−eq=-e once and carry that sign through the formulas.
  • Dropping A2A^2 because it is quadratic. It contributes at the same order as second-order perturbation theory in p⋅Ap\cdot A.
  • Double counting the longitudinal Coulomb field. Do not include the same interaction in both VCV_{\mathrm C} and an independent scalar-field degree of freedom.
  • Assuming neutrality removes light coupling. Internal currents and squared-charge terms remain.
  • Treating a prescribed laser as a quantized reservoir. A classical drive does not create vacuum fluctuations or spontaneous emission.
  • Changing gauge after truncating without transforming the projection and observables.
  • Equating a few-mode Hamiltonian with full electromagnetic QED.
  • Assuming scalar minimal coupling contains spin, Darwin, spin–orbit, or anomalous-moment terms.
  • Comparing gauge-dependent bare photon or matter occupations as if their subsystem definitions were universal.
  • Using p⋅Ap\cdot A and −d⋅E-\mathbf d\cdot\mathbf E simultaneously without deriving a non-double-counting hybrid representation.

Starting from

L=12mr˙ 2+qr˙⋅A−qΦ,L = \frac{1}{2}m\dot{\mathbf r}^{\,2} + q\dot{\mathbf r}\mathbin{\cdot}\mathbf A - q\Phi,

derive the canonical momentum and Hamiltonian.

Solution

The canonical momentum is

p=∂L∂r˙=mr˙+qA.\mathbf p = \frac{\partial L}{\partial\dot{\mathbf r}} = m\dot{\mathbf r}+q\mathbf A.

Hence

r˙=p−qAm.\dot{\mathbf r} = \frac{\mathbf p-q\mathbf A}{m}.

The Legendre transform gives

H=p⋅r˙−L.H = \mathbf p\mathbin{\cdot}\dot{\mathbf r} - L.

Substitute p=mr˙+qA\mathbf p=m\dot{\mathbf r}+q\mathbf A:

H=(mr˙+qA)⋅r˙−[12mr˙ 2+qr˙⋅A−qΦ]=12mr˙ 2+qΦ.\begin{aligned} H ={}& \left( m\dot{\mathbf r}+q\mathbf A \right) \mathbin{\cdot}\dot{\mathbf r} \\ &- \left[ \frac{1}{2}m\dot{\mathbf r}^{\,2} + q\dot{\mathbf r}\mathbin{\cdot}\mathbf A - q\Phi \right] \\ ={}& \frac{1}{2}m\dot{\mathbf r}^{\,2} + q\Phi. \end{aligned}

Finally,

H=(p−qA)22m+qΦ.H = \frac{ \left( \mathbf p-q\mathbf A \right)^2 }{2m} + q\Phi.

Show that

(p−qA)2\left( \mathbf p-q\mathbf A \right)^2

acting on ψ\psi contains a term proportional to ∇⋅A\boldsymbol\nabla\cdot\mathbf A. Under what condition does the cross term reduce to −2qA⋅p-2q\mathbf A\cdot\mathbf p?

Solution

Expand without commuting the factors:

(p−qA)2=p2−q(p⋅A+A⋅p)+q2A2.\begin{aligned} \left( \mathbf p-q\mathbf A \right)^2 ={}& \mathbf p^2 \\ &- q \left( \mathbf p\mathbin{\cdot}\mathbf A + \mathbf A\mathbin{\cdot}\mathbf p \right) \\ &+ q^2\mathbf A^2. \end{aligned}

Since p=−iℏ∇\mathbf p=-i\hbar\boldsymbol\nabla,

p⋅(Aψ)=−iℏ(∇⋅A)ψ−iℏA⋅∇ψ,\begin{aligned} \mathbf p\mathbin{\cdot} \left( \mathbf A\psi \right) ={}& -i\hbar \left( \boldsymbol\nabla\mathbin{\cdot}\mathbf A \right)\psi \\ &- i\hbar \mathbf A\mathbin{\cdot}\boldsymbol\nabla\psi, \end{aligned}

whereas

A⋅pψ=−iℏA⋅∇ψ.\mathbf A\mathbin{\cdot}\mathbf p\psi = -i\hbar \mathbf A\mathbin{\cdot}\boldsymbol\nabla\psi.

Define

K≡(p−qA)2.\mathcal K \equiv \left( \mathbf p-q\mathbf A \right)^2.

Then

Kψ=−ℏ2∇2ψ+iqℏ(∇⋅A)ψ+2iqℏA⋅∇ψ+q2A2ψ.\begin{aligned} \mathcal K\psi ={}& -\hbar^2\nabla^2\psi \\ &+ iq\hbar \left( \boldsymbol\nabla\mathbin{\cdot}\mathbf A \right)\psi \\ &+ 2iq\hbar \mathbf A\mathbin{\cdot}\boldsymbol\nabla\psi + q^2\mathbf A^2\psi. \end{aligned}

If ∇⋅A=0\boldsymbol\nabla\cdot\mathbf A=0 and the common operator domain and boundary conditions introduce no extra terms, then

p⋅A=A⋅p,\mathbf p\mathbin{\cdot}\mathbf A = \mathbf A\mathbin{\cdot}\mathbf p,

and the cross term becomes −2qA⋅p-2q\mathbf A\cdot\mathbf p.

For

Uχ=exp⁡[iℏ∑aqaχ(ra,t)],U_\chi = \exp \left[ \frac{i}{\hbar} \sum_a q_a\chi(\mathbf r_a,t) \right],

show that the kinetic momentum of particle aa transforms covariantly.

Solution

Let

Ψ′=UχΨ,A′=A+∇χ.\Psi'=U_\chi\Psi, \qquad \mathbf A' = \mathbf A+\boldsymbol\nabla\chi.

Write

πa′≡pa−qaA′.\boldsymbol\pi_a' \equiv \mathbf p_a-q_a\mathbf A'.

Only the aath phase factor is differentiated by pa\mathbf p_a:

paUχΨ=Uχ[pa+qa∇aχ]Ψ.\mathbf p_aU_\chi\Psi = U_\chi \left[ \mathbf p_a + q_a\boldsymbol\nabla_a\chi \right]\Psi.

Therefore

πa′Ψ′=Uχ[pa+qa∇aχ−qaA−qa∇aχ]Ψ=UχπaΨ.\begin{aligned} \boldsymbol\pi_a'\Psi' ={}& U_\chi \left[ \begin{gathered} \mathbf p_a + q_a\boldsymbol\nabla_a\chi \\ - q_a\mathbf A - q_a\boldsymbol\nabla_a\chi \end{gathered} \right]\Psi \\ ={}& U_\chi\boldsymbol\pi_a\Psi. \end{aligned}

Thus

πa′=UχπaUχ†.\boldsymbol\pi_a' = U_\chi\boldsymbol\pi_aU_\chi^\dagger.

For an electron in a uniform field B=Bz^\mathbf B=B\hat{\mathbf z}, use symmetric gauge to derive the orbital Zeeman and diamagnetic terms.

Solution

For q=−eq=-e,

H=(p+eA)22me,H = \frac{ \left( \mathbf p+e\mathbf A \right)^2 }{2m_e},

and in symmetric gauge

A=12B×r.\mathbf A = \frac{1}{2} \mathbf B\times\mathbf r.

Because ∇⋅A=0\boldsymbol\nabla\cdot\mathbf A=0,

H=p22me+emeA⋅p+e2A22me.H = \frac{\mathbf p^2}{2m_e} + \frac{e}{m_e} \mathbf A\mathbin{\cdot}\mathbf p + \frac{e^2\mathbf A^2}{2m_e}.

The linear term is

A⋅p=12(B×r)⋅p=12B⋅(r×p)=12B⋅L.\begin{aligned} \mathbf A\mathbin{\cdot}\mathbf p &= \frac{1}{2} \left( \mathbf B\times\mathbf r \right) \mathbin{\cdot}\mathbf p \\ &= \frac{1}{2} \mathbf B\mathbin{\cdot} \left( \mathbf r\times\mathbf p \right) \\ &= \frac{1}{2} \mathbf B\mathbin{\cdot}\mathbf L. \end{aligned}

Also,

A2=B24(x2+y2).\mathbf A^2 = \frac{B^2}{4} \left( x^2+y^2 \right).

Hence

H=p22me+eB2meLz+e2B28me(x2+y2).H = \frac{\mathbf p^2}{2m_e} + \frac{eB}{2m_e}L_z + \frac{e^2B^2}{8m_e} \left( x^2+y^2 \right).

Consider particles in a spatially uniform vector potential. Show that the total-charge cancellation for a neutral system does not cancel either the linear internal coupling or the quadratic term.

Solution

The expanded interaction is

Hint=−A⋅∑aqamapa+A2∑aqa22ma,\begin{aligned} H_{\mathrm{int}} ={}& - \mathbf A\mathbin{\cdot} \sum_a \frac{q_a}{m_a}\mathbf p_a \\ &+ \mathbf A^2 \sum_a \frac{q_a^2}{2m_a}, \end{aligned}

where the transverse-gauge commutation conditions have been used.

Neutrality states only

∑aqa=0.\sum_aq_a=0.

It does not imply

∑aqamapa=0\sum_a \frac{q_a}{m_a}\mathbf p_a=0

because masses and momenta differ. It also cannot cancel

∑aqa22ma,\sum_a\frac{q_a^2}{2m_a},

whose nonzero terms all have positive qa2/maq_a^2/m_a. A neutral composite can therefore have both internal linear coupling and a quadratic coupling.

For one mode, compute

⟨n∣(a+a†)2∣n⟩.\langle n| \left( a+a^\dagger \right)^2 |n\rangle.

Identify which terms change photon number by two.

Solution

Expand:

(a+a†)2=a2+a†2+aa†+a†a.\left( a+a^\dagger \right)^2 = a^2 + a^{\dagger2} + aa^\dagger + a^\dagger a.

Using

aa†=a†a+1,aa^\dagger = a^\dagger a+1,

gives

(a+a†)2=a2+a†2+2a†a+1.\left( a+a^\dagger \right)^2 = a^2 + a^{\dagger2} + 2a^\dagger a + 1.

The diagonal expectation is

⟨n∣(a+a†)2∣n⟩=2n+1.\langle n| \left( a+a^\dagger \right)^2 |n\rangle = 2n+1.

a2a^2 lowers photon number by two and a†2a^{\dagger2} raises it by two. The 2a†a+12a^\dagger a+1 part is diagonal in the number basis.

Suppose Φ′(r,t)=Φ(r,t)+C(t)\Phi'(\mathbf r,t)=\Phi(\mathbf r,t)+C(t) for one particle. Find a phase transformation that removes C(t)C(t) from the Schrödinger equation.

Solution

The shifted Hamiltonian is

H′=H+qC(t).H'=H+qC(t).

Let

ψ′(t)=exp⁡[−iqℏ∫t0tC(t′) dt′]ψ(t).\psi'(t) = \exp \left[ - \frac{iq}{\hbar} \int_{t_0}^{t} C(t')\,dt' \right] \psi(t).

Call the exponential prefactor f(t)f(t). It obeys

iℏ∂tf(t)=qC(t)f(t).i\hbar\partial_t f(t) = qC(t)f(t).

Differentiating ψ′=fψ\psi'=f\psi gives

iℏ∂tψ′=qC(t)ψ′+f(t)iℏ∂tψ.i\hbar\partial_t\psi' = qC(t)\psi' + f(t) i\hbar\partial_t\psi.

If iℏ∂tψ=Hψi\hbar\partial_t\psi=H\psi, then

iℏ∂tψ′=(H+qC(t))ψ′=H′ψ′.i\hbar\partial_t\psi' = \left( H+qC(t) \right)\psi' = H'\psi'.

The shift changes only a common phase within the fixed-charge sector.

Use v/c∼Zα/nv/c\sim Z\alpha/n to estimate the characteristic speed for a hydrogenic 1s1s electron at Z=1Z=1, Z=20Z=20, and Z=80Z=80. Interpret the result without treating the estimate as a precision calculation.

Solution

For n=1n=1 and α≃1/137\alpha\simeq1/137,

vc∼Z137.\frac{v}{c} \sim \frac{Z}{137}.

Therefore

Zv/c10.0073200.146800.584\begin{array}{c|c} Z & v/c \\ \hline 1 & 0.0073 \\ 20 & 0.146 \\ 80 & 0.584 \end{array}

For hydrogen, the nonrelativistic hierarchy is strong. At Z=20Z=20, relativistic corrections are no longer negligible in precision structure calculations. At Z=80Z=80, the estimate is not small, so a relativistic description is essential. Screening, finite nuclear size, electron correlation, and the Dirac spectrum are needed for quantitative multi-electron predictions; the simple ZαZ\alpha estimate is only a regime diagnostic.

  • C. Cohen-Tannoudji, J. Dupont-Roc, and G. Grynberg, Photons and Atoms: Introduction to Quantum Electrodynamics, Wiley, 1989.
  • D. P. Craig and T. Thirunamachandran, Molecular Quantum Electrodynamics, Dover, 1998.
  • R. G. Woolley, “Molecular quantum electrodynamics,” Proceedings of the Royal Society A 321, 557–572 (1971), doi:10.1098/rspa.1971.0049.
  • E. A. Power and S. Zienau, “Coulomb gauge in non-relativistic quantum electro-dynamics and the shape of spectral lines,” Philosophical Transactions of the Royal Society A 251, 427–454 (1959), doi:10.1098/rsta.1959.0008.
  • M. Babiker and R. Loudon, “Derivation of the Power–Zienau–Woolley Hamiltonian in quantum electrodynamics by gauge transformation,” Proceedings of the Royal Society A 385, 439–460 (1983), doi:10.1098/rspa.1983.0022.
  • K. Rzażewski, K. Wódkiewicz, and W. Żakowicz, “Phase transitions, two-level atoms, and the A2A^2 term,” Physical Review Letters 35, 432–434 (1975), doi:10.1103/PhysRevLett.35.432.
  • A. Stokes and A. Nazir, “Gauge ambiguities imply Jaynes–Cummings physics remains valid in ultrastrong coupling QED,” Nature Communications 10, 499 (2019), doi:10.1038/s41467-018-08101-0.
  • O. Di Stefano et al., “Resolution of gauge ambiguities in ultrastrong-coupling cavity quantum electrodynamics,” Nature Physics 15, 803–808 (2019), doi:10.1038/s41567-019-0534-4.
  • A. Stokes and A. Nazir, “Implications of gauge freedom for nonrelativistic quantum electrodynamics,” Nature Physics 20, 376–378 (2024), doi:10.1038/s41567-023-02155-8.
  • O. Di Stefano et al., “Reply to: Implications of gauge freedom for nonrelativistic quantum electrodynamics,” Nature Physics 20, 379–380 (2024), doi:10.1038/s41567-023-02178-1.
  • A. Vukics, G. Kónya, and P. Domokos, “The gauge-invariant Lagrangian, the Power–Zienau–Woolley picture, and the choices of field momenta in nonrelativistic quantum electrodynamics,” Scientific Reports 11, 16337 (2021), doi:10.1038/s41598-021-94405-z.
  • C. Gustin, S. Franke, and S. Hughes, “Gauge-invariant theory of truncated quantum light–matter interactions in arbitrary media,” Physical Review A 107, 013722 (2023), doi:10.1103/PhysRevA.107.013722.