Skip to content

Common Atomic Hamiltonians

An atomic Hamiltonian is more than a recognizable string of kinetic, Coulomb, and angular-momentum terms. It is a contract specifying the degrees of freedom, unit system, approximation order, external controls, reference frame, and operators retained in the model. Two papers can print nearly the same equation while predicting different quantities because one clamps the nucleus, one includes recoil, one works in a rotating frame, or one has already projected into a fine- or hyperfine-resolved manifold.

This page is the comparison and diagnostic index for common atomic Hamiltonians. It supplies compact forms, term meanings, regime tests, surviving symmetries, and routing links. The specialist pages linked from each section own derivations, spectra, experiments, and detailed error analysis.

Use this entry to answer:

  1. What physical degrees of freedom does the displayed Hamiltonian retain?
  2. Is it written in SI, Hartree atomic units, frequency units, or a rotating frame?
  3. Which terms are fundamental at the chosen level and which are effective after projection or elimination?
  4. Which quantum numbers remain exact?
  5. What energy ratio decides whether a term is perturbative?
  6. Could two terms count the same physics twice?

The AMO Model Index starts from a wider choice of degrees of freedom, including open-system and field models. This page begins after an atomic description has been chosen and identifies its operator content.

It does not reproduce the exact hydrogen solution, derive central-field or Hartree–Fock equations, calculate fine or hyperfine constants, or develop field-dressed and Rydberg dynamics in full. Those topics retain one canonical home each.

Before using a compact equation, record the following ledger.

ItemQuestion that must be answered
systemisotope, nuclear charge, ionization stage, number of electrons
Hilbert spaceelectronic coordinates only, nuclear spin, center-of-mass motion, photon modes, or selected levels
statisticsantisymmetric electronic subspace and any nuclear exchange symmetry
coordinateslaboratory, center-of-mass, relative, body-fixed, or lattice-site coordinates
unitsSI, Hartree, Rydberg, hertz, or angular-frequency units
baselineSchrödinger–Coulomb, Dirac–Coulomb, fitted model potential, or another reference
correctionsrecoil, Breit, radiative, finite-size, hyperfine, and external-field terms retained
field conventiondirection, amplitude, polarization, gauge, and static or time-dependent character
framelaboratory, interaction, or rotating frame; detuning sign
model spacecomplete coordinate problem or projected manifold
energy zeroionization threshold, term centroid, rotating-frame zero, or code-specific offset
approximation orderperturbative order and discarded terms

A useful notation is

Hdeclared=Hbase+∑aδHa,H_{\mathrm{declared}} = H_{\mathrm{base}} +\sum_a \delta H_a,

but this sum is meaningful only when the terms were derived in one consistent partition. For example, a fitted effective potential may already contain scalar relativistic or core-polarization effects. Adding the same correction again is double counting.

For orientation, an atomic Hamiltonian may be organized schematically as

Hatom=HC+Hrecoil+Hrel+Hhfs+Hext+δHrad+⋯ .\begin{aligned} H_{\mathrm{atom}} ={}&H_{\mathrm C} +H_{\mathrm{recoil}} +H_{\mathrm{rel}}\\ &+H_{\mathrm{hfs}} +H_{\mathrm{ext}} +\delta H_{\mathrm{rad}} +\cdots . \end{aligned}

The pieces have different physical roles:

LayerTypical contentCanonical destination
HCH_{\mathrm C}nonrelativistic kinetic energy and Coulomb interactionshydrogen and multi-electron pages
HrecoilH_{\mathrm{recoil}}reduced mass, mass polarization, higher recoilisotope and precision treatments
HrelH_{\mathrm{rel}}mass–velocity, Darwin, spin–orbit, Breit, or a Dirac baselineFine Structure
HhfsH_{\mathrm{hfs}}magnetic-dipole, electric-quadrupole, higher nuclear multipolesHyperfine Structure
HextH_{\mathrm{ext}}electric, magnetic, optical, and gradient couplingsStark, Zeeman, and light–matter pages
δHrad\delta H_{\mathrm{rad}}self-energy, vacuum polarization, radiative recoilLamb Shift Overview

This is a bookkeeping hierarchy, not a claim that every term is separately observable. Effective-Hamiltonian conventions can move contributions between rows while leaving the final spectrum unchanged to the stated order.

Workflow from a declared atomic baseline through distinct corrections and a perturb-or-diagonalize scale test to an observable model

An atomic model is assembled in layers. The ratio ∥V∥/Δ\lVert V\rVert/\Delta decides whether a correction may be eliminated perturbatively or whether its coupled manifold belongs in the retained Hamiltonian. Effective terms require a double-counting audit before the observable model is constructed.

For one electron and a point nucleus of charge +Ze+Ze, separation of the center-of-mass motion gives the nonrelativistic relative Hamiltonian

HC=p22μ−Ze24πε0r,H_{\mathrm C} =\frac{\mathbf p^2}{2\mu} -\frac{Ze^2}{4\pi\varepsilon_0r},

where

μ=meMme+M\mu =\frac{m_eM}{m_e+M}

is the electron–nucleus reduced mass. This model retains Coulomb binding and leading kinematic recoil through μ\mu. It omits relativity, nuclear size, radiative shifts, hyperfine structure, and external fields.

In standard Hartree atomic units,

HC=−me2μ∇2−Zr.H_{\mathrm C} =-\frac{m_e}{2\mu}\nabla^2-\frac{Z}{r}.

For a clamped or infinitely heavy nucleus, μ→me\mu\to m_e and

H∞=−12∇2−Zr.H_{\infty} =-\frac12\nabla^2-\frac{Z}{r}.

The bound energies of this declared model are

En=−μmeZ22n2Eh.E_n =-\frac{\mu}{m_e} \frac{Z^2}{2n^2}E_{\mathrm h}.

The Hydrogen Atom page owns the exact bound-state solution. Hydrogen as Atomic Prototype owns the correction ladder needed to compare the ideal model with a measured hydrogen line.

For the spin-independent Coulomb Hamiltonian, n,ℓ,mn,\ell,m label spatial eigenstates and spin is a spectator. The pure 1/r1/r potential has an additional dynamical symmetry, so the nonrelativistic bound energy depends only on nn. A generic central potential keeps rotational symmetry but loses this accidental ℓ\ell degeneracy.

The phrase “hydrogenic Hamiltonian” should state at least:

  • point or extended nucleus;
  • infinite or finite nuclear mass;
  • one electron or an effective one-active-electron model;
  • nonrelativistic Schrödinger or relativistic Dirac baseline; and
  • whether the printed energy is a total energy, binding magnitude, or transition energy.

For NN nonrelativistic electrons and a clamped point nucleus at the origin, the SI Hamiltonian is

HC=∑i=1N[pi22me−Ze24πε0ri]+∑i<je24πε0rij.\begin{aligned} H_{\mathrm C} ={}& \sum_{i=1}^{N} \left[ \frac{\mathbf p_i^2}{2m_e} -\frac{Ze^2}{4\pi\varepsilon_0r_i} \right]\\ &+ \sum_{i<j} \frac{e^2}{4\pi\varepsilon_0r_{ij}}. \end{aligned}

In Hartree atomic units this becomes

HC=∑i=1N(−12∇i2−Zri)+∑i<j1rij.\begin{aligned} H_{\mathrm C} ={}& \sum_{i=1}^{N} \left( -\frac12\nabla_i^2-\frac{Z}{r_i} \right)\\ &+\sum_{i<j}\frac1{r_{ij}}. \end{aligned}

The physical electronic state belongs to the antisymmetric subspace:

PijΨ=−Ψ.P_{ij}\Psi=-\Psi.

The electron–electron term couples coordinates, so the exact eigenstate is not generally a single product of one-electron orbitals. The canonical Multi-Electron Atoms chapter develops antisymmetry, shell structure, mean fields, exchange, correlation, and coupling schemes.

After separating the overall center of mass, a convenient recoil operator contains

Hrecoil(1)=12M(∑ipi)2.H_{\mathrm{recoil}}^{(1)} =\frac1{2M} \left( \sum_i\mathbf p_i \right)^2.

Expanding the square produces one-electron normal-mass terms and the two-electron mass-polarization term:

Hrecoil(1)=∑ipi22M+1M∑i<jpi⋅pj.\begin{aligned} H_{\mathrm{recoil}}^{(1)} ={}& \sum_i\frac{\mathbf p_i^2}{2M}\\ &+\frac1M \sum_{i<j} \mathbf p_i\cdot\mathbf p_j. \end{aligned}

This expression assumes momenta conjugate to electron coordinates relative to the nucleus. Coordinate and sign conventions must be checked before transplanting it into another representation. Precision isotope shifts also contain relativistic recoil, field shifts, and nuclear-polarization effects.

The Schrödinger–Coulomb Hamiltonian omits:

  • spin-dependent interactions;
  • finite nuclear charge and magnetization distributions;
  • transverse-photon and retardation effects;
  • radiative QED corrections;
  • external fields and collisions; and
  • the numerical representation, basis, and truncation.

A calculation can solve the displayed Hamiltonian poorly, or solve a more complete Hamiltonian accurately. Always separate model error from numerical error.

The central-field approximation chooses a separable reference

H0=∑ihcf(i),H_0 =\sum_i h_{\mathrm{cf}}(i),

with

hcf=−12∇2+Vcf(r)h_{\mathrm{cf}} =-\frac12\nabla^2+V_{\mathrm{cf}}(r)

in Hartree units. The exact identity

HC=H0+HresH_{\mathrm C}=H_0+H_{\mathrm{res}}

then defines

Hres=∑i<j1rij+∑i[−Zri−Vcf(ri)].\begin{aligned} H_{\mathrm{res}} ={}& \sum_{i<j}\frac1{r_{ij}}\\ &+\sum_i \left[ -\frac{Z}{r_i} -V_{\mathrm{cf}}(r_i) \right]. \end{aligned}

If

Vcf(r)=−Zr+U(r),V_{\mathrm{cf}}(r) =-\frac{Z}{r}+U(r),

the residual simplifies to

Hres=∑i<j1rij−∑iU(ri).H_{\mathrm{res}} =\sum_{i<j}\frac1{r_{ij}} -\sum_iU(r_i).

The subtraction is essential: once an average interaction UU has been added to H0H_0, it must be removed from the residual before the full electron–electron interaction is restored.

A local central field guarantees

[hcf,L2]=0,[hcf,Lz]=0,[h_{\mathrm{cf}},L^2]=0, \qquad [h_{\mathrm{cf}},L_z]=0,

and orbitals can be labeled by n,ℓ,mn,\ell,m. It does not guarantee hydrogenic degeneracy between different ℓ\ell, nor does it make orbital energies equal to exact ionization or excitation energies.

The origin of VcfV_{\mathrm{cf}} must be stated:

ConstructionWhat it represents
fitted model potentialselected empirical or high-level observables
Hartree fieldlocal direct electrostatic mean field
Hartree–Fock operatordirect field plus generally nonlocal exchange
density-functional potentialchosen exchange-correlation functional
frozen-core potentialvalence motion after a declared core reduction

These operators can generate similar orbital labels while carrying different many-body content. Central-Field Approximation owns the screening, self-consistency, quantum-defect, and validation diagnostics.

For a spin-1/21/2 electron in a static central potential energy V(r)V(r), the nonrelativistic reference is

H0=p22me+V(r).H_0 =\frac{\mathbf p^2}{2m_e}+V(r).

Through order 1/c21/c^2, the leading one-electron correction is

Hfs(1)=Hmv+Hso+HD,H_{\mathrm{fs}}^{(1)} =H_{\mathrm{mv}}+H_{\mathrm{so}}+H_D,

with

Hmv=−p48me3c2,H_{\mathrm{mv}} =-\frac{\mathbf p^4}{8m_e^3c^2}, Hso=12me2c21rdVdrL⋅S,H_{\mathrm{so}} =\frac1{2m_e^2c^2} \frac1r\frac{dV}{dr} \mathbf L\cdot\mathbf S,

and

HD=ℏ28me2c2∇2V.H_D =\frac{\hbar^2}{8m_e^2c^2} \nabla^2V.

HmvH_{\mathrm{mv}} is the relativistic kinetic correction, HsoH_{\mathrm{so}} is the spin–orbit term including the Thomas factor, and HDH_D is the Darwin term. Spin–orbit coupling is therefore one part of fine structure, not a synonym for the entire correction.

In Hartree atomic units, c=α−1c=\alpha^{-1} and the same terms become

Hmv=−α28p4,Hso=α22rdVdrL⋅S,HD=α28∇2V.\begin{aligned} H_{\mathrm{mv}} &=-\frac{\alpha^2}{8}\mathbf p^4,\\ H_{\mathrm{so}} &=\frac{\alpha^2}{2r} \frac{dV}{dr} \mathbf L\cdot\mathbf S,\\ H_D &=\frac{\alpha^2}{8}\nabla^2V. \end{aligned}

Here angular momenta and momenta are represented in their Hartree-unit numerical form with ℏ=1\hbar=1.

For

V(r)=−Ze24πε0r,V(r) =-\frac{Ze^2}{4\pi\varepsilon_0r},

the SI spin–orbit operator is

Hso=Ze28πε0me2c2r3L⋅S.H_{\mathrm{so}} = \frac{Ze^2} {8\pi\varepsilon_0m_e^2c^2r^3} \mathbf L\cdot\mathbf S.

The angular identity

2L⋅S=J2−L2−S22\mathbf L\cdot\mathbf S =J^2-L^2-S^2

diagonalizes this operator in a fixed ℓ,s,j\ell,s,j manifold. A rotationally invariant spin–orbit interaction preserves J,mJJ,m_J and parity, while LL and SS can cease to be exact in general many-electron intermediate coupling.

Many-electron fine structure can also contain spin–other-orbit, mutual spin–orbit, spin–spin, and orbit–orbit terms, or be described from a Dirac–Coulomb–Breit baseline. The one-electron Pauli form is controlled when momenta are nonrelativistic and Zα≪1Z\alpha\ll1. Heavy highly charged ions require a relativistic starting point rather than an uncontrolled sequence of low-order patches.

Fine Structure owns the derivation, hydrogenic spectrum, many-electron coupling, and boundaries of the expansion.

For a static field B\mathbf B, a common leading energy Hamiltonian is

HZ=μBℏ(gLL+gSS+gI′I)⋅B.H_Z =\frac{\mu_{\mathrm B}}{\hbar} \left( g_L\mathbf L +g_S\mathbf S +g_I'\mathbf I \right) \cdot\mathbf B.

The electronic coefficients gLg_L and gSg_S are positive in this energy convention; the negative electron charge is already included in −μ⋅B-\boldsymbol\mu\cdot\mathbf B. The nuclear coefficient

gI′=−gIμNμBg_I' =-g_I\frac{\mu_{\mathrm N}}{\mu_{\mathrm B}}

is defined on the Bohr-magneton scale. Confusing it with the nuclear gg factor paired with μN\mu_{\mathrm N} introduces a factor near mp/mem_p/m_e and can reverse a sign.

If B=Bz^\mathbf B=B\hat{\mathbf z} and fine structure is dominant over the magnetic interaction, projection into an isolated JJ level gives

ΔE=gJμBmJB.\Delta E =g_J\mu_{\mathrm B}m_JB.

If hyperfine coupling is also dominant over the magnetic interaction, projection into an isolated FF manifold gives

ΔE=gFμBmFB.\Delta E =g_F\mu_{\mathrm B}m_FB.

These are first-order effective formulas, not replacements for the operator when the field mixes JJ or FF manifolds.

For a uniform field in the symmetric gauge,

A=12B×r,\mathbf A =\frac12\mathbf B\times\mathbf r,

minimal coupling produces the one-electron diamagnetic term

Hdia=e28me∣B×r∣2.H_{\mathrm{dia}} =\frac{e^2}{8m_e} \lvert\mathbf B\times\mathbf r\rvert^2.

It is quadratic in BB. Second-order level shifts also arise from virtual mixing by the linear Zeeman operator. These are distinct contributions and must be combined consistently.

The word “weak” is relative to a particular zero-field splitting:

ComparisonUseful labelsTreatment
μBB≪ΔEhfs\mu_{\mathrm B}B\ll\Delta E_{\mathrm{hfs}}F,mFF,m_Fprojected gFg_F formula
μBB∼ΔEhfs\mu_{\mathrm B}B\sim\Delta E_{\mathrm{hfs}}mFm_F exact, FF mixeddiagonalize fixed-mFm_F blocks
ΔEhfs≪μBB≪ΔEfs\Delta E_{\mathrm{hfs}}\ll\mu_{\mathrm B}B\ll\Delta E_{\mathrm{fs}}mI,mJm_I,m_Jhyperfine Paschen–Back basis
μBB∼ΔEfs\mu_{\mathrm B}B\sim\Delta E_{\mathrm{fs}}total axial projectioninclude neighboring JJ levels

Zeeman Effect in Atoms owns Landé factors, Breit–Rabi crossover spectra, Paschen–Back regimes, polarization-resolved transitions, and experimental interpretation.

In the long-wavelength electric-dipole approximation,

HE(t)=−d⋅E(t),H_E(t) =-\mathbf d\cdot\boldsymbol{\mathcal E}(t),

where the total dipole operator is

d=∑aqara\mathbf d=\sum_a q_a\mathbf r_a

relative to a declared origin. For one electron relative to a fixed nucleus,

d=−er.\mathbf d=-e\mathbf r.

For a neutral atom the total internal dipole is independent of an overall origin shift. For an ion it is not: separate center-of-mass and internal coordinates before interpreting a uniform-field coupling, and state which motion the model retains.

For a static field E=Ez^\boldsymbol{\mathcal E}=\mathcal E\hat{\mathbf z},

HE=−Edz.H_E=-\mathcal E d_z.

The dipole approximation requires the field to vary little over the atomic size. Field gradients introduce quadrupole and higher-multipole couplings.

For a state ∣a⟩|a\rangle coupled to ∣b⟩|b\rangle, define

ηab=E∣⟨a∣dz∣b⟩∣∣Ea(0)−Eb(0)∣.\eta_{ab} = \frac{ \mathcal E \lvert\langle a|d_z|b\rangle\rvert }{ \lvert E_a^{(0)}-E_b^{(0)}\rvert }.

If ηab≪1\eta_{ab}\ll1 for all states outside the retained manifold, perturbation theory is controlled. If a denominator is small, include those states in the model space and diagonalize.

For an isolated nondegenerate parity eigenstate, the leading static shift is usually

ΔEa=−12αa(0)E2.\Delta E_a =-\frac12\alpha_a(0)\mathcal E^2.

This is a derived effective energy after virtual opposite-parity states have been eliminated. It is not an additional microscopic interaction to add on top of an explicit dipole-coupled basis, or the same mixing is counted twice.

At exact opposite-parity degeneracy, the projected two-state Hamiltonian

Heff=(−δ/2−dE−dEδ/2)H_{\mathrm{eff}} = \begin{pmatrix} -\delta/2 & -d\mathcal E\\ -d\mathcal E & \delta/2 \end{pmatrix}

has a linear splitting when δ=0\delta=0. Thus parity symmetry does not forbid the linear Stark effect inside a degenerate manifold.

Stark Effect in Atoms owns static and dynamic polarizability, hydrogenic degeneracy, scalar/vector/tensor responses, magic conditions, and experimental field calibration.

Hyperfine structure couples nuclear electromagnetic multipoles to electronic fields at the nucleus. A rotationally invariant expansion is

Hhfs=∑k≥1Tnuc(k)⋅Tel(k).H_{\mathrm{hfs}} =\sum_{k\ge1} T_{\mathrm{nuc}}^{(k)} \cdot T_{\mathrm{el}}^{(k)}.

The leading k=1k=1 term is magnetic dipole; k=2k=2 is electric quadrupole.

Within an isolated electronic level of angular momentum JJ,

HM1=Aℏ2I⋅J.H_{\mathrm{M1}} =\frac{A}{\hbar^2} \mathbf I\cdot\mathbf J.

With

F=I+J\mathbf F=\mathbf I+\mathbf J

and

K=F(F+1)−I(I+1)−J(J+1),K =F(F+1)-I(I+1)-J(J+1),

the first-order energy is

EFM1=A2K.E_F^{\mathrm{M1}} =\frac A2K.

AA includes both the nuclear magnetic moment and the electronic magnetic field at the nucleus. It can be positive or negative and is state- and isotope-specific.

For I≥1I\ge1 and J≥1J\ge1, the conventional first-order quadrupole energy is

EFE2=BNIJFDIJ,NIJF=34K(K+1)−I(I+1)J(J+1),DIJ=2I(2I−1)J(2J−1).\begin{aligned} E_F^{\mathrm{E2}} &=B\frac{N_{IJF}}{D_{IJ}},\\ N_{IJF} &=\frac34K(K+1) -I(I+1)J(J+1),\\ D_{IJ} &=2I(2I-1)J(2J-1). \end{aligned}

The standard dipole-plus-quadrupole model is

EFhfs=A2K+EFE2.E_F^{\mathrm{hfs}} =\frac A2K+E_F^{\mathrm{E2}}.

For I<1I<1 or J<1J<1, the first-order BB term is absent. Databases often quote A/hA/h and B/hB/h in MHz while labeling the columns simply AA and BB. Determine whether the constants are energies or frequencies before using them.

When the Zeeman energy is not small compared with hyperfine intervals, use

H=Hhfs+HZH =H_{\mathrm{hfs}}+H_Z

and diagonalize in a basis such as ∣I,mI⟩∣γ,J,mJ⟩|I,m_I\rangle|\gamma,J,m_J\rangle at fixed axial projection. Substituting a field-dependent gFg_F into a weak-field formula is not equivalent.

Hyperfine Structure owns the microscopic interactions, interval rules, hydrogen and alkali examples, clock transitions, and field crossovers.

Rydberg interactions are effective atomic Hamiltonians obtained after choosing asymptotic pair states, multipole order, geometry, and external fields.

At separation RR much larger than the electronic-cloud size, the leading electric dipole–dipole operator is

Vdd(R)=14πε0R3[d1⋅d2−3(d1⋅R^)(d2⋅R^)].\begin{aligned} V_{dd}(\mathbf R) ={}& \frac1{4\pi\varepsilon_0R^3} \left[ \mathbf d_1\cdot\mathbf d_2\right.\\ &\left. -3(\mathbf d_1\cdot\hat{\mathbf R}) (\mathbf d_2\cdot\hat{\mathbf R}) \right]. \end{aligned}

It is an anisotropic operator in the magnetic-sublevel pair space, not a universal scalar potential.

If a prepared pair state ∣rr⟩|rr\rangle couples mainly to ∣r′r′′⟩|r'r''\rangle, subtract the energy of ∣rr⟩|rr\rangle and write

Hpair=(0VddVdd∗ΔF),H_{\mathrm{pair}} = \begin{pmatrix} 0 & V_{dd}\\ V_{dd}^* & \Delta_F \end{pmatrix},

where

ΔF=Er′+Er′′−2Er\Delta_F =E_{r'}+E_{r''}-2E_r

is the Förster defect.

For

∣Vdd∣≪∣ΔF∣,\lvert V_{dd}\rvert\ll\lvert\Delta_F\rvert,

the shift of the prepared channel is

ΔErr≃−∣Vdd∣2ΔF=C6R6.\Delta E_{rr} \simeq-\frac{\lvert V_{dd}\rvert^2}{\Delta_F} =\frac{C_6}{R^6}.

The sign of C6C_6 follows from the channel defects and matrix elements. Near resonance,

∣ΔF∣≲∣Vdd∣,\lvert\Delta_F\rvert \lesssim \lvert V_{dd}\rvert,

the channels must be diagonalized and the leading splitting scales as C3/R3C_3/R^3.

After selecting one ground state ∣gi⟩|g_i\rangle and one Rydberg state ∣ri⟩|r_i\rangle, transforming to a rotating frame, and adopting the rotating- wave approximation, a common coherent array model is

Hℏ=∑iΩi2(eiϕi∣ri⟩⟨gi∣+h.c.)−∑iΔini+∑i<jVijℏninj,\begin{aligned} \frac H\hbar ={}& \sum_i \frac{\Omega_i}{2} \left( e^{i\phi_i}|r_i\rangle\langle g_i| +\mathrm{h.c.} \right)\\ &-\sum_i\Delta_i n_i +\sum_{i<j} \frac{V_{ij}}{\hbar}n_in_j, \end{aligned}

with

ni=∣ri⟩⟨ri∣.n_i=|r_i\rangle\langle r_i|.

The sign shown uses

Δi=ωL,i−ωrg,i.\Delta_i=\omega_{L,i}-\omega_{rg,i}.

Some sources define the opposite detuning. The drive amplitude may also be defined with or without the factor 1/21/2.

This model omits leakage levels, intermediate-state scattering, motion, position-dependent phases, state-changing pair interactions, dissipation, and readout error unless those are added explicitly. Rydberg Atoms Basics owns the scaling and pair-channel physics; Rydberg Blockade owns finite-blockade dynamics and projected many-body limits.

The important question is not whether a correction “looks small” in absolute units, but whether its matrix elements are small relative to the energy denominators connecting retained and omitted states.

Let PP project onto a chosen model space and Q=1−PQ=1-P. A schematic energy-dependent effective Hamiltonian is

Heff(E)=PHP+PHQ1E−QHQQHP.\begin{aligned} H_{\mathrm{eff}}(E) ={}&PHP\\ &+PHQ \frac1{E-QHQ} QHP. \end{aligned}

Expanding the resolvent is controlled only away from small denominators. This one structure underlies:

  • scalar Stark shifts after opposite-parity states are eliminated;
  • van der Waals Rydberg shifts after off-resonant pair channels are eliminated;
  • effective hyperfine or Zeeman operators within an isolated manifold; and
  • central-field residual corrections within a truncated configuration space.

Use the following decision rule:

Ratio or situationAction
∥V∥/Δ≪1\lVert V\rVert/\Delta\ll1 and no relevant degeneracyperturbation theory may be controlled
∥V∥/Δ\lVert V\rVert/\Delta not smallenlarge the model space and diagonalize
exact or symmetry-protected degeneracydiagonalize PVPPVP before expanding
omitted continuum near thresholdinclude continuum coupling or resonance methods
non-Hermitian loss or drivinguse an open-system or effective non-Hermitian model with stated limits

An avoided crossing is often evidence that the original diagonal labels have become basis labels. Follow the eigenvectors continuously or use exact symmetry labels rather than assigning levels solely by zero-field names.

“Good quantum number” means that the declared Hamiltonian commutes with the corresponding observable and that the relevant eigenvalue distinguishes the states under discussion.

Declared modelTypically exact labels or sectorsLabels that may fail
one-electron Coulomb, no spin termsℓ,m\ell,m, parity; nn labels bound energyfine-, hyperfine-, and field-dressed labels absent
spin-independent multi-electron CoulombL,SL,S, their projections, parity; JJ can also be formedconfigurations and orbital occupations need not be exact
local central fieldone-electron ℓ,m\ell,m and parityhydrogenic degeneracy across ℓ\ell
rotationally invariant fine structuretotal J,mJJ,m_J, parityseparate L,SL,S in intermediate coupling
zero-field hyperfineF,mFF,m_F, parityseparate mI,mJm_I,m_J
uniform dc electric field along zzaxial projection mmparity and usually total angular-momentum magnitude
uniform dc magnetic field along zzaxial total projection and parityFF or JJ across Paschen–Back crossovers
crossed nonparallel electric and magnetic fieldsonly surviving discrete symmetries, if anya universal magnetic projection
axial Rydberg pair problemtotal axial projection and exchange sectors when applicableindividual atomic mm under anisotropic mixing

Degeneracy alone does not imply a symmetry label, and a familiar label can remain useful approximately after it ceases to be exact. Report dominant components or expectation values when assigning mixed states.

Some AMO literature writes HH in energy units; other literature writes H/ℏH/\hbar in angular-frequency units. These equations are not numerically identical:

iℏddt∣ψ⟩=H∣ψ⟩i\hbar\frac{d}{dt}|\psi\rangle =H|\psi\rangle

becomes

iddt∣ψ⟩=Hℏ∣ψ⟩.i\frac{d}{dt}|\psi\rangle =\frac H\hbar|\psi\rangle.

A matrix entry labeled “MHz” may mean H/hH/h in cycles per second or H/ℏH/\hbar with a convention that quotes Ω/(2π)\Omega/(2\pi). State the defining equation.

The Atomic Units reference gives the Hartree conversion and dimensional restoration rules.

For a time-dependent electromagnetic field, the dipole coupling

−d⋅E(t)-\mathbf d\cdot\boldsymbol{\mathcal E}(t)

is a length-gauge form. A minimal-coupling or velocity-gauge Hamiltonian uses p−qA\mathbf p-q\mathbf A. The formulations are related by a unitary gauge transformation in a complete, consistently transformed theory. Truncated bases, omitted A2A^2 terms, or inconsistent observables can break numerical gauge agreement.

Do not add a length-gauge dipole term and a velocity-gauge p⋅A\mathbf p\cdot\mathbf A term for the same field unless a derivation explicitly requires both.

A rotating-frame transformation changes the Hamiltonian by

Hrot=UHU†+iℏU˙U†.H_{\mathrm{rot}} =UHU^\dagger +i\hbar\dot U U^\dagger.

The second term generates detunings and frame-dependent energy zeros. A rotating-wave approximation then discards selected fast terms. Report:

  • the unitary U(t)U(t) or enough information to reconstruct it;
  • the sign definition of detuning;
  • whether Ω\Omega is a matrix element or a Rabi angular frequency;
  • which counter-rotating and light-shift terms were dropped; and
  • the observable transformation back to the laboratory frame.

State whether the zeroth-order model is Schrödinger–Coulomb, Dirac–Coulomb, a central-field operator, or a projected few-level Hamiltonian.

List electronic coordinates, nuclear spin, motion, field modes, and selected internal states. A term cannot act on a degree of freedom absent from the Hilbert space.

Construct a hierarchy such as

ΔEgross,ΔEfs,ΔEhfs,μBB,dE,ℏΩ,ℏΓ.\Delta E_{\mathrm{gross}}, \quad \Delta E_{\mathrm{fs}}, \quad \Delta E_{\mathrm{hfs}}, \quad \mu_{\mathrm B}B, \quad d\mathcal E, \quad \hbar\Omega, \quad \hbar\Gamma.

The ordering determines useful labels and which manifolds must be diagonalized together.

Verify charge signs, hh versus ℏ\hbar, Hartree versus Rydberg, peak versus root-mean-square field, detuning sign, and energy zero.

Ask whether an effective constant, fitted potential, polarizability, pseudopotential, or eliminated channel already contains a correction being added explicitly.

At minimum, verify:

  • Hermiticity for a closed coherent model;
  • dimensions of every term;
  • the zero-field or zero-coupling limit;
  • parity and projection blocks predicted by symmetry;
  • trace or centroid identities where applicable;
  • convergence under basis and model-space enlargement; and
  • agreement with one independent benchmark.

Level eigenvalues are not automatically spectral line positions, and a line position is not a line strength. Add the initial and final states, transition operator, selection rules, line shape, preparation, and detection model needed for the measured quantity.

Writing an equation without its Hilbert space

Section titled “Writing an equation without its Hilbert space”

AI⋅JA\mathbf I\cdot\mathbf J is meaningless if nuclear spin was projected out, and C6/R6C_6/R^6 is not an operator on unspecified pair states.

Treating every correction as independently additive

Section titled “Treating every correction as independently additive”

Effective potentials and fitted constants can already contain pieces of correlation, relativity, or core response.

Calling spin–orbit coupling the whole fine structure

Section titled “Calling spin–orbit coupling the whole fine structure”

Mass–velocity, Darwin, and many-electron relativistic terms can contribute at the same order.

Using weak-field Landé formulas through a crossover

Section titled “Using weak-field Landé formulas through a crossover”

When Zeeman and hyperfine or fine-structure scales are comparable, diagonalize the coupled Hamiltonian.

Adding a quadratic Stark shift to an explicit dipole basis

Section titled “Adding a quadratic Stark shift to an explicit dipole basis”

The polarizability shift is generated by virtual dipole coupling. Adding both without a subtraction double counts that response.

Using a scalar Rydberg interaction without a pair-state declaration

Section titled “Using a scalar Rydberg interaction without a pair-state declaration”

C6C_6 depends on state, magnetic sublevel, geometry, fields, and nearby channels.

Total energies, binding energies, orbital eigenvalues, rotating-frame quasienergies, and transition frequencies are different objects.

A hyperfine constant quoted in MHz may denote A/hA/h, while a coherent-control Hamiltonian may use A/ℏA/\hbar. The difference is 2π2\pi.

Length- and velocity-gauge results agree only after states, operators, and truncations are transformed consistently.

FF, JJ, LL, SS, and configurations can become approximate labels under field or interaction mixing. Use exact symmetry sectors and report composition.

Exercise 1: Reduced-mass hydrogenic Hamiltonian

Section titled “Exercise 1: Reduced-mass hydrogenic Hamiltonian”

Write the one-electron Coulomb Hamiltonian in standard Hartree atomic units for a nucleus of finite mass MM. What changes in the infinite-mass limit?

Solution

After separating center-of-mass motion, the relative kinetic energy uses

μ=meMme+M.\mu=\frac{m_eM}{m_e+M}.

Because standard Hartree units retain mem_e as the mass unit,

H=−me2μ∇2−Zr.H =-\frac{m_e}{2\mu}\nabla^2-\frac Zr.

The Coulomb coefficient remains −Z-Z because the length and energy units are the standard bohr and Hartree. As M→∞M\to\infty,

μ→me\mu\to m_e

and

H→−12∇2−Zr.H\to-\frac12\nabla^2-\frac Zr.

Silently redefining the bohr with μ\mu would be a different reduced-mass-scaled convention.

Let

Vcf(r)=−Zr+U(r).V_{\mathrm{cf}}(r) =-\frac Zr+U(r).

Starting from the many-electron Coulomb Hamiltonian, derive the residual interaction associated with

H0=∑i[−12∇i2+Vcf(ri)].H_0=\sum_i \left[ -\frac12\nabla_i^2+V_{\mathrm{cf}}(r_i) \right].
Solution

The full Coulomb Hamiltonian is

HC=∑i(−12∇i2−Zri)+∑i<j1rij.H_{\mathrm C} =\sum_i \left( -\frac12\nabla_i^2-\frac Z{r_i} \right) +\sum_{i<j}\frac1{r_{ij}}.

Subtracting H0H_0 gives

Hres=HC−H0,=∑i<j1rij−∑iU(ri).\begin{aligned} H_{\mathrm{res}} &=H_{\mathrm C}-H_0,\\ &=\sum_{i<j}\frac1{r_{ij}} -\sum_iU(r_i). \end{aligned}

The second term removes the average interaction already inserted into the reference. Keeping the full pair repulsion without this counterterm would count the reference field twice.

A calculation adds only

Hso=12me2c2rdVdrL⋅SH_{\mathrm{so}} =\frac1{2m_e^2c^2r} \frac{dV}{dr} \mathbf L\cdot\mathbf S

to a Schrödinger Hamiltonian and calls the result “the complete fine-structure Hamiltonian.” What is missing at the same one-electron order, and when is the whole expansion questionable?

Solution

At the same order 1/c21/c^2, the one-electron Pauli correction also contains

Hmv=−p48me3c2H_{\mathrm{mv}} =-\frac{\mathbf p^4}{8m_e^3c^2}

and

HD=ℏ28me2c2∇2V.H_D =\frac{\hbar^2}{8m_e^2c^2}\nabla^2V.

For many-electron atoms, two-electron relativistic terms may also matter. The low-order expansion is questionable when momenta are not small relative to mecm_ec or ZαZ\alpha is not small, especially for heavy highly charged ions. A Dirac–Coulomb or Dirac–Coulomb–Breit baseline is then more appropriate.

An alkali ground state has a hyperfine interval ΔEhfs/h=6.8 GHz\Delta E_{\mathrm{hfs}}/h=6.8\ \mathrm{GHz}. At a given field, μBB/h=4.0 GHz\mu_{\mathrm B}B/h=4.0\ \mathrm{GHz}, while the nearest fine-structure interval is hundreds of terahertz. Should one use a fixed-FF Landé formula, an uncoupled electronic fine-structure calculation, or another treatment?

Solution

The magnetic energy is comparable to the hyperfine interval:

μBBΔEhfs≈0.59.\frac{\mu_{\mathrm B}B} {\Delta E_{\mathrm{hfs}}} \approx0.59.

Therefore FF is substantially mixed and a fixed-FF first-order Landé formula is not controlled. The field is still tiny compared with the fine-structure interval, so one can keep the isolated electronic JJ level and diagonalize

Hhfs+HZH_{\mathrm{hfs}}+H_Z

in fixed-mFm_F blocks, for example in the ∣I,mI⟩∣J,mJ⟩|I,m_I\rangle|J,m_J\rangle basis. There is no need to mix remote fine-structure levels at this scale unless the desired precision exposes their second-order contribution.

Exercise 5: Stark shift without double counting

Section titled “Exercise 5: Stark shift without double counting”

A truncated basis explicitly contains ∣g⟩|g\rangle and several opposite-parity excited states, coupled by −d⋅E-\mathbf d\cdot\boldsymbol{\mathcal E}. A second model term −αgE2/2-\alpha_g\mathcal E^2/2 is then added to ∣g⟩|g\rangle. Under what condition is this likely double counting?

Solution

The second-order shift generated by the explicit dipole coupling is

ΔEg(2)=∑n≠g∣⟨n∣dz∣g⟩∣2E2Eg−En.\Delta E_g^{(2)} = \sum_{n\ne g} \frac{ \lvert\langle n|d_z|g\rangle\rvert^2 \mathcal E^2 }{ E_g-E_n }.

If αg\alpha_g was computed from the same excited states and matrix elements, then adding −αgE2/2-\alpha_g\mathcal E^2/2 counts their virtual response a second time. An extra effective polarizability term is justified only for channels excluded from the explicit basis, with a declared subtraction or partition showing which contribution it represents.

For a level with I=3/2I=3/2 and J=1/2J=1/2, may the first-order electric-quadrupole constant BB contribute to the hyperfine energies? What changes for J=3/2J=3/2?

Solution

A rank-2 first-order hyperfine contribution requires both

I≥1andJ≥1.I\ge1 \qquad\text{and}\qquad J\ge1.

Although I=3/2I=3/2 can support a nuclear quadrupole moment, J=1/2J=1/2 cannot support the required electronic rank-2 diagonal tensor. Thus the first-order BB term vanishes for the J=1/2J=1/2 level.

For J=3/2J=3/2, both conditions hold, so the quadrupole term can contribute. Its value still depends on the nuclear quadrupole moment and the electronic field gradient, and higher-order mixing can matter beyond the isolated-level formula.

Exercise 7: Off-resonant Rydberg pair channel

Section titled “Exercise 7: Off-resonant Rydberg pair channel”

For

Hpair=(0C3/R3C3/R3ΔF),H_{\mathrm{pair}} = \begin{pmatrix} 0 & C_3/R^3\\ C_3/R^3 & \Delta_F \end{pmatrix},

derive the leading shift of the channel connected to the first basis state when ∣C3/R3∣≪∣ΔF∣\lvert C_3/R^3\rvert\ll\lvert\Delta_F\rvert. What determines its sign?

Solution

Second-order perturbation theory gives

ΔE≃−∣C3/R3∣2ΔF.\Delta E \simeq -\frac{ \lvert C_3/R^3\rvert^2 }{\Delta_F}.

Therefore

ΔE=C6R6,C6=−∣C3∣2ΔF.\Delta E =\frac{C_6}{R^6}, \qquad C_6=-\frac{\lvert C_3\rvert^2}{\Delta_F}.

The sign is opposite to the sign of the Förster defect in this two-channel convention. If several pair channels contribute, their signed terms add and can cancel. When the coupling becomes comparable to ΔF\Delta_F, the R−6R^{-6} elimination fails and the pair matrix must be diagonalized.

Exercise 8: Audit a rotating-frame Hamiltonian

Section titled “Exercise 8: Audit a rotating-frame Hamiltonian”

A paper prints

Hℏ=Ω2σx−Δ∣e⟩⟨e∣\frac H\hbar =\frac\Omega2\sigma_x-\Delta|e\rangle\langle e|

and reports Ω=2 MHz\Omega=2\ \mathrm{MHz}. List the information still needed to reconstruct the physical laboratory drive.

Solution

The reader still needs:

  1. whether the quoted 2 MHz2\ \mathrm{MHz} means Ω/(2π)=2 MHz\Omega/(2\pi)=2\ \mathrm{MHz} or Ω=2×106 rad s−1\Omega=2\times10^6\ \mathrm{rad\,s^{-1}};
  2. the detuning definition, such as Δ=ωL−ω0\Delta=\omega_L-\omega_0;
  3. the rotating-frame unitary and phase convention;
  4. whether σx\sigma_x includes a drive phase or whether a complex Rabi frequency was made real by basis choice;
  5. peak, root-mean-square, or complex positive-frequency field amplitude;
  6. the transition dipole and polarization projection that map field to Ω\Omega;
  7. which counter-rotating, off-resonant, and light-shift terms were dropped; and
  8. the transformation of observables back to the laboratory frame.

The printed two-by-two operator determines coherent dynamics only after this convention package is supplied.

  1. C. J. Foot, Atomic Physics, Oxford University Press, 2005.
  2. B. H. Bransden and C. J. Joachain, Physics of Atoms and Molecules, 2nd ed., Pearson, 2003.
  3. H. A. Bethe and E. E. Salpeter, Quantum Mechanics of One- and Two-Electron Atoms, Springer, 1957.
  4. R. D. Cowan, The Theory of Atomic Structure and Spectra, University of California Press, 1981.
  5. W. R. Johnson, Atomic Structure Theory: Lectures on Atomic Physics, Springer, 2007, DOI: 10.1007/978-3-540-68013-0.
  6. I. P. Grant, Relativistic Quantum Theory of Atoms and Molecules: Theory and Computation, Springer, 2007, DOI: 10.1007/978-0-387-35069-1.
  7. G. K. Woodgate, Elementary Atomic Structure, 2nd ed., Oxford University Press, 1980.
  8. L. L. Foldy and S. A. Wouthuysen, “On the Dirac Theory of Spin 1/2 Particles and Its Non-Relativistic Limit,” Physical Review 78, 29–36 (1950), DOI: 10.1103/PhysRev.78.29.
  9. T. F. Gallagher, Rydberg Atoms, Cambridge University Press, 1994, DOI: 10.1017/CBO9780511524530.
  10. M. Saffman, T. G. Walker, and K. Mølmer, “Quantum information with Rydberg atoms,” Reviews of Modern Physics 82, 2313–2363 (2010), DOI: 10.1103/RevModPhys.82.2313.
  11. C. Cohen-Tannoudji, J. Dupont-Roc, and G. Grynberg, Atom–Photon Interactions: Basic Processes and Applications, Wiley, 1992.
  12. W. C. Martin and W. L. Wiese, “Atomic Spectroscopy: An Introduction”, in G. W. F. Drake, ed., Atomic, Molecular, and Optical Physics Handbook, AIP Press, 1996; NIST online revision.
  13. A. Kramida, Yu. Ralchenko, J. Reader, and the NIST ASD Team, NIST Atomic Spectra Database, version 5.12, National Institute of Standards and Technology, 2024, DOI: 10.18434/T4W30F.