AMO Model Index
An atom can be described by a central-field model when calculating its orbitals, a driven two-level model when manipulating one transition, and optical Bloch equations when spontaneous emission matters. Choosing the model means choosing which degrees of freedom and processes are needed for the observable of interest.
This index compares those choices and links to their derivations. Numerical accuracy and physical accuracy are different questions: computing a matrix exponential precisely does not establish that the truncated Hamiltonian describes the experiment.
Helpful background. Atomic physics, molecular quantum mechanics, and light–matter interaction introduce the states and scales used below.
Models for AMO observables
Section titled “Models for AMO observables”| Physical question | First model to inspect | Do not stop there when |
|---|---|---|
| bound electronic structure of a one-electron atom | hydrogenic atom | fine structure, finite mass, external fields, or core penetration resolve the Coulomb degeneracy |
| many-electron atom with an approximately spherical core | central-field or alkali quantum-defect model | correlation, configuration mixing, or relativistic coupling controls the observable |
| molecular bonding or potential curves | Born–Oppenheimer electronic model | electronic derivative couplings or near-degenerate surfaces require coupled nuclear channels |
| one near-resonant transition under a coherent classical field | driven two-level atom | leakage, multiple Zeeman levels, spontaneous emission, or field quantization matters |
| driven transition with relaxation and dephasing | optical Bloch equations | the bath has memory, the drive is quantum, or more than two levels participate |
| one emitter and one quantized mode | quantum Rabi or Jaynes–Cummings model | multimode structure, gauge-sensitive truncation, drive, or loss matters |
| many equivalent emitters and one common mode | Dicke or Tavis–Cummings model | couplings are inhomogeneous or local decay populates other total-spin sectors |
| laser threshold and mean output | rate-equation laser model | phase noise, multimode competition, spatial hole burning, or quantum fluctuations are central |
| near-resonant radiative force | Doppler or magneto-optical force model | sub-Doppler polarization gradients, multilevel pumping, recoil quantization, or reabsorption matters |
| dilute coherent Bose gas | Gross–Pitaevskii equation | depletion, fragmentation, strong correlations, or thermal kinetics is appreciable |
| particles in a deep optical lattice | Hubbard or Bose–Hubbard model | higher bands, long-range interactions, heating, or continuum motion is relevant |
| short light-pulse inertial sensor | light-pulse atom-interferometer model | finite pulse duration, wavefronts, rotations, gradients, interactions, or multilevel diffraction matter |
Atomic-Structure Models
Section titled “Atomic-Structure Models”Atomic models differ mainly in how they replace or organize the electron– electron interaction and relativistic couplings.
| Model | Retained structure | Decisive approximation | Further explanation |
|---|---|---|---|
| hydrogenic atom with perturbations | one electron, nuclear Coulomb field, selected correction operators | non-Coulomb terms are small relative to the gross spectrum and are treated in a declared hierarchy | Hydrogen as Atomic Prototype, Fine Structure, Hyperfine Structure, Zeeman Effect, and Stark Effect |
| helium variational model | two electrons in a Coulomb field | a parameterized trial space replaces the exact correlated wavefunction | Helium Atom and Variational Helium Notebook |
| central-field atom | independent orbitals in a spherical effective potential | nonspherical and residual correlation terms are omitted or added perturbatively | Central-Field Approximation |
| alkali atom with quantum defects | one valence electron plus a structured closed-shell core | core penetration and polarization are compressed into channel-dependent defects | Alkali Atoms |
| LS-coupled atom | total orbital and total spin are coupled before | electrostatic term splittings dominate one-electron spin–orbit splittings | LS Coupling |
| jj-coupled atom | each couples to before the are combined | one-electron spin–orbit splittings dominate residual electrostatic recoupling | jj Coupling |
Hydrogenic baseline
Section titled “Hydrogenic baseline”The model signature is
where is not one universal operator. It may include fine-structure, recoil, finite nuclear size, hyperfine, Lamb-shift, Zeeman, or Stark terms. A trustworthy calculation states which terms are included and whether degenerate perturbation theory is required.
The smallness test is matrix-element based:
for states outside the retained degenerate or quasi-degenerate block. A small operator coefficient does not justify nondegenerate perturbation theory when the denominator is also small.
Central field, LS, and jj are a hierarchy
Section titled “Central field, LS, and jj are a hierarchy”A central-field basis supplies one-electron orbitals. LS and jj coupling then organize angular momenta in different energy-scale limits. They are not three competing exact Hamiltonians. In intermediate coupling, , , and individual electronic values are generally not exact. Total and parity remain good quantum numbers for an isolated rotationally invariant atom when the Hamiltonian preserves parity; hyperfine coupling instead conserves total atomic . Mixing coefficients describe the remaining approximate labels.
Molecular Models
Section titled “Molecular Models”Molecular calculations can fix nuclei while solving the electronic problem, then solve their quantum motion on one or several potential surfaces. Born–Oppenheimer separation does not require classical nuclei: vibrational zero-point motion and tunneling can be included on a single surface.
| Model | Retained structure | Decisive approximation | Further explanation |
|---|---|---|---|
| H₂⁺ molecular ion | one electron and two nuclei | a fixed-nuclei electronic problem is solved before nuclear motion | H₂⁺ Ion |
| H₂ in the Heitler–London approximation | two localized one-electron orbitals with antisymmetrized spin-space states | ionic configurations and orbital relaxation are restricted in the minimal form | Hydrogen Molecule |
| harmonic molecular vibration | quadratic potential in mass-weighted displacements | excursions remain near one stable minimum and mode coupling is negligible at leading order | Vibrations of Diatomics |
| Morse oscillator | one anharmonic dissociating coordinate | a one-dimensional empirical potential represents the selected bond coordinate | Vibrations of Diatomics |
| rigid rotor with centrifugal distortion | molecular orientation and a perturbative bond-stretch correction | vibrational and electronic states are fixed; rotation-induced deformation is small | Rotations of Molecules and Rotational Spectroscopy |
| polyatomic normal modes | small mass-weighted nuclear displacements | the Hessian at one equilibrium geometry controls the leading motion | Normal Modes of Polyatomics |
Local potential models
Section titled “Local potential models”Near a nondegenerate minimum , a diatomic potential has the local form
The harmonic oscillator is therefore a local asymptotic model, not a global bond potential. A common Morse convention is
with the zero at the well bottom. It captures a finite dissociation energy and decreasing level spacing, but it is not an ab initio electronic-structure method and does not reproduce every long-range tail.
For a near-rigid diatomic, the leading rotational term and centrifugal distortion are commonly summarized by
The distortion expansion fails before arbitrarily large ; fitted constants must not be extrapolated past the data or past the onset of strong rovibrational mixing.
Coherent and Open Few-Level Models
Section titled “Coherent and Open Few-Level Models”Driven two-level atom
Section titled “Driven two-level atom”Use the Two-Level Atom when one pair of states is spectrally isolated and the applied field can be treated classically. In one rotating-frame convention,
This closed Hamiltonian predicts unitary Rabi dynamics. It does not by itself predict spontaneous emission, irreversible dephasing, optical pumping into unmodeled states, or photon statistics.
The truncation test is not merely “the drive is near resonance.” Off-resonant couplings to every excluded level should satisfy a scale test such as
for perturbative elimination. Small virtual populations can still produce important accumulated AC Stark phases or Raman couplings, which must then be retained explicitly. Adding an energy shift does not justify elimination when the level mixing itself is large.
Three-level Λ system
Section titled “Three-level Λ system”A Λ system retains two lower states , and one excited state . A useful rotating-frame convention is
where is the two-photon detuning in this convention. The model is a topology, not a complete dynamics: EIT requires probe response and decoherence, while STIRAP requires time-dependent pulses and an adiabaticity test.
Use Electromagnetically Induced Transparency for the susceptibility and dark-resonance problem, and STIRAP for adiabatic population transfer. The same level topology supports different experiments and different approximations.
Optical Bloch equations
Section titled “Optical Bloch equations”The Optical Bloch Equations add Markovian decay and dephasing to the driven two-level Hamiltonian. With
one common convention is
Here the optical coherence decays at . Rate symbols vary across the literature, so this relationship is more informative than the bare symbol .
Optical Bloch dynamics is the right first model for saturation, power broadening, fluorescence rate, and damped Rabi oscillations. It is not a microscopic derivation of the electromagnetic reservoir, and it can fail for structured baths, strong non-Markovian feedback, multilevel optical pumping, or a quantum drive.
Quantized Light–Matter Models
Section titled “Quantized Light–Matter Models”| Model | Retained system | Defining choice | Further explanation |
|---|---|---|---|
| quantum Rabi model | one two-level system and one bosonic mode | rotating and counter-rotating terms are retained | Rabi Model |
| Jaynes–Cummings model | one two-level system and one bosonic mode | the rotating-wave interaction conserves excitation number | Jaynes–Cummings Model |
| Dicke model | many equivalent two-level systems and one common mode | permutation-symmetric collective coupling is retained | Dicke Model |
| single-mode cavity | one normalized electromagnetic oscillator, optionally with ports and loss | all other modes are neglected or absorbed into calibrated rates | Quantized Electromagnetic Modes, Optical Cavities, and Cavity QED |
Rabi versus Jaynes–Cummings
Section titled “Rabi versus Jaynes–Cummings”In a shared convention,
Jaynes–Cummings removes and . Near resonance, a useful first diagnostic is
over the populated photon-number range. This is not a universal error bound: long evolution times, precision shifts, strong drive, high occupation, and gauge-sensitive few-level truncations require a more specific check.
The distinction from semiclassical Rabi oscillations is categorical. In the semiclassical problem, the drive amplitude is prescribed. In the quantum models, photon number is dynamical, atom and field can entangle, and vacuum fluctuations give a nonzero coupling matrix element.
Dicke and collective coupling
Section titled “Dicke and collective coupling”For equivalent emitters, define . A common closed Dicke Hamiltonian is
This Hamiltonian preserves for equivalent emitters, but restricting it to also requires an initially symmetric state and dynamics that preserve that sector. Identical independent decay channels can preserve permutation invariance of the density operator while populating lower- sectors; permutation invariance alone does not justify one collective-spin multiplet (Shammah et al., 2018).
With the displayed scaling, is a collective scale held fixed as changes. The single-emitter coefficient is ; holding that coefficient fixed instead makes grow as . The equilibrium Dicke-model phase transition is also not synonymous with a transient superradiant pulse. Gauge constraints, diamagnetic terms, drive, loss, finite , and multimode structure determine which laboratory interpretation is valid.
One cavity mode is a boundary choice
Section titled “One cavity mode is a boundary choice”The ideal cavity Hamiltonian
does not specify a laboratory resonator completely. A driven open cavity also needs port conventions, drive amplitude, detuning, and loss, often through a term . The one-mode model should be checked against free spectral range, polarization splitting, transverse-mode spacing, and the bandwidth of the excitation and measurement.
Optical Networks and Laser Models
Section titled “Optical Networks and Laser Models”| Model | State variables | Primary use | Further explanation |
|---|---|---|---|
| rate-equation laser | population inversion and intracavity photon number or intensity | threshold, steady output, gain clamping, and relaxation oscillations | Rate-Equation Lasers |
| beam-splitter unitary | two input and two output optical modes | interference, Fock-state transformations, and lossless mode mixing | Beam Splitters |
| Mach–Zehnder interferometer | two beam splitters plus relative propagation phase | phase-to-count or phase-to-intensity transduction | Interferometers |
Rate-equation laser
Section titled “Rate-equation laser”A minimal class-B-style structure is
, , the confinement factor , and the gain convention must be defined before comparing formulas. These equations average over optical phase and often over space. They are not the right endpoint for Schawlow–Townes linewidth, quantum intensity noise, mode locking, spatial hole burning, or coherent transients.
Beam splitter and Mach–Zehnder
Section titled “Beam splitter and Mach–Zehnder”A lossless two-port beam splitter is a mode transformation. One common phase convention is
Different sign and phase conventions describe the same device when used consistently. A Mach–Zehnder model composes two such transformations with a relative phase. Loss, detector POVMs, mode mismatch, and partial distinguishability are separate physical ingredients, not alternative beam- splitter conventions.
Cooling, Trapping, and Control Models
Section titled “Cooling, Trapping, and Control Models”| Model | Leading reduced law | Use when | Further explanation |
|---|---|---|---|
| Doppler cooling force | velocity-dependent radiation-pressure imbalance | a near-two-level particle samples counterpropagating red-detuned beams | Doppler Cooling |
| magneto-optical trap | damping plus position-dependent restoring force | Zeeman shifts and polarized beams create a stable linearized trap | Magneto-Optical Traps |
| optical dipole trap | conservative dynamic-polarizability potential plus scattering | light is sufficiently far detuned that internal excitation can be eliminated | Optical Dipole Traps |
| Paul-trap secular motion | harmonic pseudopotential with micromotion corrections | Mathieu parameters lie in a stable region and time-scale separation is adequate | Ion Traps |
| Rydberg blockade model | driven two-level sites with strong state-dependent pair shifts | an interaction shift resolves or suppresses multiple Rydberg excitation | Rydberg Blockade |
| light-pulse atom interferometer | internal-state-dependent momentum kicks and free propagation | short coherent pulses act as matter-wave beam splitters and mirrors | Atom Interferometry |
Linearized force models
Section titled “Linearized force models”For two counterpropagating beams, the one-dimensional Doppler force has the structure
near . A one-dimensional magneto-optical trap adds a linear restoring term,
These are local expansions. Capture velocity, beam profile, optical pumping, magnetic-field geometry, diffusion, and gravity can all invalidate a global harmonic interpretation.
For a far-detuned field, an optical dipole potential can be written in terms of the dynamic polarizability as
for an isotropic scalar polarizability and a complex-amplitude convention . The associated photon-scattering rate and any vector or tensor light shifts must be checked separately; “conservative” is an approximation, not a property of all optical traps.
Paul trap
Section titled “Paul trap”Each ideal quadrupole coordinate reduces to a Mathieu equation,
The secular pseudopotential averages over radio-frequency micromotion. It should not be used to erase excess micromotion, nonlinear fields, parametric resonances, or motion outside the stability region.
Rydberg blockade
Section titled “Rydberg blockade”A common frozen-position model is
where . “Perfect blockade” means that relevant interaction shifts are large compared with the excitation linewidth and coupling scale; finite blockade, anisotropy, motion, decay, and unwanted pair resonances require the full calibrated interaction.
Light-pulse atom interferometer
Section titled “Light-pulse atom interferometer”For an ideal three-pulse Mach–Zehnder sequence in a uniform acceleration, the leading inertial phase is
up to the chosen laser-phase and sign conventions. This compact model assumes short pulses, a specified momentum-transfer order, controlled trajectories, and a uniform acceleration. Precision sensors must add finite-pulse response, laser phase noise, wavefront curvature, gravity gradients, rotations, velocity distributions, and detection systematics.
Lattice and Condensate Models
Section titled “Lattice and Condensate Models”Optical-lattice Hubbard model
Section titled “Optical-lattice Hubbard model”Projecting the continuum motion onto one localized orbital per site gives a Hubbard description when higher bands and omitted interaction matrix elements are negligible. For spin- fermions,
Use Optical Lattices for band formation, Wannier functions, recoil scales, loading, and calibration. Use the Hubbard Model for the canonical fermionic model, and the Bose–Hubbard Model for lattice bosons.
A single-band reduction requires the retained energy scales, including , , , drive bandwidth, and interaction-induced band mixing, to remain controlled relative to relevant interband gaps. Long-range interactions, density-assisted hopping, and heating are physical corrections, not numerical noise.
Gross–Pitaevskii equation
Section titled “Gross–Pitaevskii equation”For a dilute, weakly depleted three-dimensional Bose condensate, the condensate field obeys
Here is the condensate occupation, approximated by total when depletion and the thermal fraction are neglected. In three dimensions at leading low energy,
The canonical derivation and validity analysis live in the Gross–Pitaevskii Equation. The Bose–Einstein Condensates Overview connects it to AMO preparation and diagnostics.
The local dilute-gas parameter
is necessary but not by itself sufficient. The condensate fraction, thermal component, dimensional reduction, loss, fragmentation, and dynamical instabilities must also match the chosen equation.
Hubbard versus Gross–Pitaevskii
Section titled “Hubbard versus Gross–Pitaevskii”These models are not selected by whether the particles are “cold.” Choose a lattice model when discrete Wannier orbitals and site occupations are the retained variables. Choose Gross–Pitaevskii theory when a coherent continuum condensate field is the retained variable and correlations beyond mean field are small. A condensate in a shallow lattice can require a Gross–Pitaevskii equation with a periodic potential; a deep lattice near a number-correlated regime can require Bose–Hubbard dynamics.
Exercises
Section titled “Exercises”Exercise 1: Classical drive, Rabi, or Jaynes–Cummings?
Section titled “Exercise 1: Classical drive, Rabi, or Jaynes–Cummings?”An atom is driven by a laser whose depletion and photon-number fluctuations are negligible. A calculation is needed for coherent population transfer over ten Rabi periods. Which model should be the baseline?
Solution
Use the driven two-level Hamiltonian if leakage to other atomic levels and decoherence are negligible over the ten-period interval. The quantum Rabi and Jaynes–Cummings models make the field mode dynamical, which is unnecessary when the laser is accurately prescribed as a classical field. Add optical Bloch terms if measured decay or dephasing is relevant.
Exercise 2: Testing the rotating-wave approximation
Section titled “Exercise 2: Testing the rotating-wave approximation”A cavity experiment has , coupling , and appreciable population through photon number . State a first diagnostic for choosing Jaynes–Cummings over the quantum Rabi model.
Solution
Check that
Then compare the observable of interest against the parent Rabi model over the actual evolution time. Precision shifts or long-time phases can reveal small counter-rotating corrections even when short-time populations look accurate.
Exercise 3: Continuum condensate or lattice occupations?
Section titled “Exercise 3: Continuum condensate or lattice occupations?”Bosons occupy a deep optical lattice near unit filling, and number fluctuations are strongly suppressed. Should a single coherent Gross–Pitaevskii field be the default?
Solution
No. The retained observables are site occupations and their correlations, and strong number squeezing signals physics beyond a single coherent mean field. A Bose–Hubbard model is the natural baseline, after validating the single-band projection. Gross–Pitaevskii theory may still describe a shallow- lattice superfluid regime, but it is not selected merely because the particles are bosons.
Exercise 4: Secular motion and micromotion
Section titled “Exercise 4: Secular motion and micromotion”An ion’s slow oscillation frequency is predicted accurately by a Paul-trap pseudopotential, but a clock shift depends on radio-frequency kinetic energy. Is the secular model sufficient?
Solution
Not by itself. The pseudopotential can predict the slow secular frequency while averaging away intrinsic and excess micromotion. A clock-shift calculation sensitive to radio-frequency kinetic energy must restore micromotion using the Mathieu solution or an equivalently validated time-dependent model.
References
Section titled “References”- L. Allen and J. H. Eberly, Optical Resonance and Two-Level Atoms, Dover, 1987.
- P. F. Bernath, Spectra of Atoms and Molecules, 4th ed., Oxford University Press, 2020.
- H. A. Bethe and E. E. Salpeter, Quantum Mechanics of One- and Two-Electron Atoms, Springer, 1957.
- C. Cohen-Tannoudji, J. Dupont-Roc, and G. Grynberg, Atom–Photon Interactions: Basic Processes and Applications, Wiley, 1992.
- R. H. Dicke, “Coherence in Spontaneous Radiation Processes”, Physical Review 93, 99–110, 1954.
- E. P. Gross, “Structure of a Quantized Vortex in Boson Systems”, Il Nuovo Cimento 20, 454–477, 1961.
- G. Herzberg, Molecular Spectra and Molecular Structure I: Spectra of Diatomic Molecules, 2nd ed., Van Nostrand, 1950.
- J. Hubbard, “Electron Correlations in Narrow Energy Bands”, Proceedings of the Royal Society A 276, 238–257, 1963.
- E. T. Jaynes and F. W. Cummings, “Comparison of Quantum and Semiclassical Radiation Theories with Application to the Beam Maser”, Proceedings of the IEEE 51, 89–109, 1963.
- M. Kasevich and S. Chu, “Atomic Interferometry Using Stimulated Raman Transitions”, Physical Review Letters 67, 181–184, 1991.
- W. Paul, “Electromagnetic Traps for Charged and Neutral Particles”, Reviews of Modern Physics 62, 531–540, 1990.
- L. P. Pitaevskii, “Vortex Lines in an Imperfect Bose Gas”, Soviet Physics JETP 13, 451–454, 1961.
- E. L. Raab, M. Prentiss, A. Cable, S. Chu, and D. E. Pritchard, “Trapping of Neutral Sodium Atoms with Radiation Pressure”, Physical Review Letters 59, 2631–2634, 1987.
- I. I. Rabi, “On the Process of Space Quantization”, Physical Review 49, 324–328, 1936.
- N. Shammah, S. Ahmed, N. Lambert, S. De Liberato, and F. Nori, “Open quantum systems with local and collective incoherent processes: Efficient numerical simulation using permutational invariance”, Physical Review A 98, 063815 (2018); author preprint.
- R. N. Zare, Angular Momentum: Understanding Spatial Aspects in Chemistry and Physics, Wiley, 1988.