Skip to content

The electric-dipole approximation replaces the variation of an electromagnetic mode across a localized internal charge distribution by its value at one reference point. For a neutral atom or molecule in a prescribed classical field, the leading internal electric coupling is then

HE1(t)=−d⋅E(R,t).H_{E1}(t) = - \mathbf d \mathbin{\cdot} \mathbf E(\mathbf R,t).

This compact Hamiltonian underlies much of spectroscopy, laser control, quantum optics, and atomic-clock physics. Its familiarity can hide several independent assumptions. In particular:

  • it is a spatial approximation, not a weak-field approximation;
  • it can be valid for internal motion while the center-of-mass phase eik⋅Re^{i\mathbf k\cdot\mathbf R} remains essential;
  • it does not imply that electric-dipole coupling is the leading nonzero transition amplitude;
  • it does not by itself justify a two-level truncation, perturbation theory, a rotating-wave approximation, or a classical treatment of light.

The reliable question is therefore not merely “is the wavelength larger than the atom?” It is “which field gradients are resolved by the charge or current matrix element relevant to this observable?”

Required background. Minimal Coupling supplies the charge–field Hamiltonian; Gauge Choices explains how its length and velocity representations are related.

Internal Coordinates and the Electric Dipole

Section titled “Internal Coordinates and the Electric Dipole”

Let the constituents have charges qaq_a and positions

xa=R+ρa.\mathbf x_a = \mathbf R+\boldsymbol\rho_a.

Here R\mathbf R is an expansion point, often the center of mass, a nucleus, or a fixed molecular origin, and ρa\boldsymbol\rho_a is an internal coordinate relative to it. Define

Q=∑aqa,d=∑aqaρa.Q = \sum_a q_a, \qquad \mathbf d = \sum_a q_a\boldsymbol\rho_a.

Most optical applications on this page concern a localized neutral system, Q=0Q=0. Charged systems require more care because uniform electric fields also accelerate the center of mass and because a permanent dipole depends on the choice of origin.

Repeated Cartesian indices are summed when an index form is used. The electric field is a real field unless a complex amplitude is displayed explicitly. The sign convention

HE1=−d⋅EH_{E1} = - \mathbf d\mathbin{\cdot}\mathbf E

then agrees with the electrostatic potential-energy expansion and extends to a time-dependent prescribed field through the length transformation.

Suppose the field is smooth over the support of the internal wavefunction. For each constituent,

Ej(R+ρa,t)=Ej(R,t)+ρa,i∂iEj(R,t)+12ρa,iρa,k∂i∂kEj(R,t)+⋯ .E_j( \mathbf R+\boldsymbol\rho_a,t ) ={} E_j(\mathbf R,t) + \rho_{a,i} \partial_i E_j(\mathbf R,t) + \frac{1}{2} \rho_{a,i}\rho_{a,k} \partial_i\partial_k E_j(\mathbf R,t) + \cdots.

Keeping only the first line makes the field uniform across the internal coordinates. It need not make the field uniform over the apparatus or over a center-of-mass trajectory.

For a plane-wave component,

E(R+ρ,t)∝ϵeik⋅Reik⋅ρe−iωt.\mathbf E( \mathbf R+\boldsymbol\rho,t ) \propto \boldsymbol\epsilon e^{i\mathbf k\cdot\mathbf R} e^{i\mathbf k\cdot\boldsymbol\rho} e^{-i\omega t}.

The internal spatial factor has the expansion

eik⋅ρ=1+ik⋅ρ−12(k⋅ρ)2+⋯ .e^{i\mathbf k\cdot\boldsymbol\rho} ={} 1 + i\mathbf k\mathbin{\cdot}\boldsymbol\rho - \frac{1}{2} \left( \mathbf k\mathbin{\cdot}\boldsymbol\rho \right)^2 + \cdots.

If aa is a characteristic internal extent, the conventional long-wavelength parameter is

ηint=ka=2πaλ.\eta_{\mathrm{int}} = ka = \frac{2\pi a}{\lambda}.

The leading internal replacement is controlled when ηint≪1\eta_{\mathrm{int}}\ll1. The factor of 2π2\pi matters: the comparison is with the reduced wavelength 1/k1/k, not merely with λ\lambda.

Internal and external spatial scales above exact harmonic carrier strengths for the lowest two motional states.

Top: a field can be nearly uniform over the internal coordinates while its phase changes over the center-of-mass wavepacket. Bottom: exact harmonic carrier strengths ∣⟨n∣eikX∣n⟩∣2|\langle n|e^{ikX}|n\rangle|^2 for n=0,1n=0,1 depend on η=kx0\eta=kx_0, not the internal atomic radius. The n=1n=1 zero is motional interference. The derivation is given in Exercise 2.

A geometric radius is only a first estimate. The relevant object is the charge or current transition distribution, not necessarily the full diameter of the system. Define the charge-density operator

ρ^q(x)=∑aqaδ(3)(x−xa)\widehat\rho_q(\mathbf x) = \sum_a q_a \delta^{(3)} \left( \mathbf x-\mathbf x_a \right)

and its transition density

ρfi(x)=⟨f∣ρ^q(x)∣i⟩.\rho_{fi}(\mathbf x) = \langle f| \widehat\rho_q(\mathbf x) |i\rangle.

At a fixed expansion point R\mathbf R, an optional diagnostic length is

afi2=∫d3x ∣x−R∣2∣ρfi(x)∣∫d3x ∣ρfi(x)∣.a_{fi}^2 = \frac{ \displaystyle \int d^3x\, |\mathbf x-\mathbf R|^2 |\rho_{fi}(\mathbf x)| }{ \displaystyle \int d^3x\, |\rho_{fi}(\mathbf x)| }.

This absolute-density definition is a scale estimate when its denominator is nonzero and its second moment exists. A purely spin-changing transition can have zero transition charge density but nonzero magnetic coupling; then a charge-based size is undefined. A more decisive test is to calculate the first omitted interaction matrix element and compare it with the retained one.

This distinction matters in X-ray spectroscopy. A molecule may be several ångströms across while a particular core transition density is concentrated near one nucleus. Conversely, a Rydberg or continuum state can sample a much larger region than the ground-state radius suggests.

For a cavity mode, focused beam, evanescent wave, or near field, 1/k1/k may not be the shortest spatial scale. A local gradient length can be defined schematically by

1LE∼∥∇E∥Eref,\frac{1}{L_E} \sim \frac{ \|\boldsymbol\nabla\mathbf E\| }{ E_{\mathrm{ref}} },

where ErefE_{\mathrm{ref}} is a nonzero field scale appropriate to the experiment. The corresponding estimate is

ϵgrad∼aLE.\epsilon_{\mathrm{grad}} \sim \frac{a}{L_E}.

At a node, using the local ∣E(R)∣|\mathbf E(\mathbf R)| as the denominator is meaningless because it vanishes. One must compare the gradient-driven and field-driven matrix elements directly. Structured light can therefore make beyond-dipole coupling leading even when kaka is very small.

Shift the reference point by a fixed vector s\mathbf s:

R′=R+s,ρa′=ρa−s.\mathbf R' = \mathbf R+\mathbf s, \qquad \boldsymbol\rho_a' = \boldsymbol\rho_a-\mathbf s.

The dipole operator transforms as

d′=d−Qs.\mathbf d' = \mathbf d-Q\mathbf s.

For a neutral system, d′=d\mathbf d'=\mathbf d as an operator. For a charged system, the permanent dipole is origin dependent. However, between distinct orthonormal states in the same charge sector,

dfi′=⟨f∣d′∣i⟩=dfi−Qs ⟨f∣i⟩=dfi,f≠i.\begin{aligned} \mathbf d_{fi}' &= \langle f|\mathbf d'|i\rangle \\ &= \mathbf d_{fi} - Q\mathbf s\, \langle f|i\rangle \\ &= \mathbf d_{fi}, \qquad f\ne i. \end{aligned}

Thus an off-diagonal transition dipole is origin independent under a fixed shift, even for a charged system. Diagonal moments and center-of-mass couplings still require the charge and origin to be stated.

Beyond E1, shifting the expansion point redistributes contributions among multipole orders and changes the plane-wave phase. An exact, untruncated interaction is independent of that bookkeeping. A truncated expression is origin independent only when all terms required at the claimed order are kept consistently.

This is especially important for oscillator strengths beyond the dipole approximation. Keeping the square of an E2 or M1 amplitude while dropping interference terms of the same order can create spurious origin dependence.

For a localized neutral system in a smooth external field, the leading internal term in the multipolar expansion is

HE1(t)=−d⋅E(R,t).H_{E1}(t) = - \mathbf d \mathbin{\cdot} \mathbf E(\mathbf R,t).

This is the length-form interaction for a prescribed field and fixed expansion point. Starting in a velocity representation, one can replace the vector potential by its value over the internal coordinates and perform the corresponding time-dependent unitary transformation. If the center of mass is dynamical, transforming its kinetic energy also generates motion-dependent terms, including the Röntgen coupling of a moving dipole to the magnetic field. Neglecting these requires a separate slow-motion approximation. “Dipole approximation” and “length gauge” are therefore related but not logically identical statements.

For a charged composite system, the complete long-wavelength Hamiltonian also contains center-of-mass coupling to the monopole charge. Writing only −d⋅E-\mathbf d\cdot\mathbf E silently discards that dynamics.

For a monochromatic classical field, write

E(R,t)=12[E(R)e−iωt+E∗(R)eiωt].\mathbf E(\mathbf R,t) = \frac{1}{2} \left[ \boldsymbol{\mathcal E}(\mathbf R) e^{-i\omega t} + \boldsymbol{\mathcal E}^{*}(\mathbf R) e^{i\omega t} \right].

Then

HE1(t)=−12d⋅E(R)e−iωt−12d⋅E∗(R)eiωt.H_{E1}(t) ={} - \frac{1}{2} \mathbf d\mathbin{\cdot} \boldsymbol{\mathcal E}(\mathbf R) e^{-i\omega t} - \frac{1}{2} \mathbf d\mathbin{\cdot} \boldsymbol{\mathcal E}^{*}(\mathbf R) e^{i\omega t}.

The factor 1/21/2 belongs to this complex-amplitude convention. If E\boldsymbol{\mathcal E} is instead defined as a positive-frequency field without the usual real-field decomposition, the factor changes. Many apparent factor-of-two disagreements in Rabi frequencies are convention disagreements.

In the quantized multipolar representation, distinguish the canonical radiative field Erad=D⊥/ϵ0\mathbf E_{\mathrm{rad}}=\mathbf D_\perp/\epsilon_0 from the physical transverse field E⊥=(D⊥−P⊥)/ϵ0\mathbf E_\perp=(\mathbf D_\perp-\mathbf P_\perp)/\epsilon_0. Here P⊥\mathbf P_\perp is the transverse matter polarization. For vacuum transverse modes normalized by ∫d3r fλ∗⋅fλ′=δλλ′\int d^3r\,\mathbf f_\lambda^*\cdot\mathbf f_{\lambda'}=\delta_{\lambda\lambda'}, the canonical field has the expansion

E^rad(R)=i∑λℏωλ2ϵ0×[fλ(R)a^λ−fλ∗(R)a^λ†].\widehat{\mathbf E}_{\mathrm{rad}}(\mathbf R) ={} i \sum_\lambda \sqrt{ \frac{ \hbar\omega_\lambda }{ 2\epsilon_0 } } \times \left[ \mathbf f_\lambda(\mathbf R) \widehat a_\lambda - \mathbf f_\lambda^*(\mathbf R) \widehat a_\lambda^\dagger \right].

The dipole interaction is then

H^E1=−d^⋅E^rad(R).\widehat H_{E1} = - \widehat{\mathbf d} \mathbin{\cdot} \widehat{\mathbf E}_{\mathrm{rad}}(\mathbf R).

Mode normalization may place a quantization volume or effective mode volume inside fλ\mathbf f_\lambda. A single-mode coupling is often defined by

ℏgfi=−dfi⋅Evac(R),\hbar g_{fi} = - \mathbf d_{fi} \mathbin{\cdot} \mathbf E_{\mathrm{vac}}(\mathbf R),

up to a phase convention. The same long-wavelength test applies to the mode function: it must vary little over the internal transition distribution.

The interaction accompanies the polarization self-energy ∫d3r P⊥2/(2ϵ0)\int d^3r\,\mathbf P_\perp^2/(2\epsilon_0): together they come from expanding (D⊥−P⊥)2/(2ϵ0)(\mathbf D_\perp-\mathbf P_\perp)^2/(2\epsilon_0). Replacing Erad\mathbf E_{\mathrm{rad}} by the physical field while leaving that self-energy unchanged gives a different Hamiltonian. The mode cutoff and finite spatial polarization must also be specified before using an ideal point dipole. Gauge Choices develops these representation and truncation issues.

For electrons at rj\mathbf r_j and nuclei at RA\mathbf R_A,

d=−e∑j(rj−R)+e∑AZA(RA−R).\mathbf d ={} - e \sum_j \left( \mathbf r_j-\mathbf R \right) + e \sum_A Z_A \left( \mathbf R_A-\mathbf R \right).

At fixed nuclear geometry, the nuclear term is proportional to the identity in the electronic Hilbert space and therefore drops from an off-diagonal electronic transition dipole. It does not disappear from permanent dipoles, vibrational transitions, vibronic coupling, or nuclear dynamics.

In the Born–Oppenheimer description, a geometry-dependent electronic dipole surface can couple vibrational states. Infrared intensity is controlled by how the molecular dipole changes along a normal coordinate, not merely by whether the equilibrium molecule has a permanent dipole.

For matter eigenstates ∣i⟩|i\rangle and ∣f⟩|f\rangle, define

dfi=⟨f∣d∣i⟩.\mathbf d_{fi} = \langle f|\mathbf d|i\rangle.

The E1 matrix element is

⟨f∣HE1(t)∣i⟩=−dfi⋅E(R,t).\langle f| H_{E1}(t) |i\rangle = - \mathbf d_{fi} \mathbin{\cdot} \mathbf E(\mathbf R,t).

For a classical complex amplitude, a common Rabi-frequency convention is

Ωfi=−dfi⋅E(R)ℏ.\Omega_{fi} = - \frac{ \mathbf d_{fi} \mathbin{\cdot} \boldsymbol{\mathcal E}(\mathbf R) }{ \hbar }.

With the real-field convention above, the resonant rotating-wave Hamiltonian contains ℏΩfi/2\hbar\Omega_{fi}/2. A transition rate requires additional assumptions about time dependence, density of final states, field statistics, and line broadening.

For a fixed expansion point (or internal matrix elements at fixed center of mass), the same matrix element can be written

dfi=∫d3x (x−R)ρfi(x).\mathbf d_{fi} = \int d^3x\, \left( \mathbf x-\mathbf R \right) \rho_{fi}(\mathbf x).

For distinct states in one charge sector,

∫d3x ρfi(x)=Q⟨f∣i⟩=0.\int d^3x\, \rho_{fi}(\mathbf x) = Q\langle f|i\rangle = 0.

The transition density therefore carries no net transition charge. The transition dipole is its first spatial moment. Its generally complex contributions can cancel; positive and negative regions are the special case of a real transition density. A large extent therefore does not guarantee a large dipole matrix element.

Permanent and transition dipoles are different

Section titled “Permanent and transition dipoles are different”

The diagonal quantity

dii=⟨i∣d∣i⟩\mathbf d_{ii} = \langle i|\mathbf d|i\rangle

is a permanent-state dipole. The off-diagonal quantity dfi\mathbf d_{fi} is a transition dipole. A state can have zero permanent dipole and still have strong E1 transitions. Conversely, a polar molecule can have a nonzero body-fixed permanent dipole while a particular transition dipole vanishes. A freely rotating, definite-parity molecular eigenstate nevertheless has zero laboratory-frame permanent electric dipole; orientation or parity mixing is required to obtain a nonzero laboratory expectation.

For a mode with polarization ϵ\boldsymbol\epsilon, only

dfi(ϵ)=ϵ⋅dfid_{fi}^{(\epsilon)} = \boldsymbol\epsilon \mathbin{\cdot} \mathbf d_{fi}

enters the E1 amplitude. The vector can be complex when the states or polarization basis are complex. Observable strengths involve absolute squares and, where appropriate, sums or averages over magnetic sublevels and polarizations.

The rotational and parity conditions under which this projection vanishes belong to Dipole Transitions. “Allowed” means not forced to zero by the stated symmetry; it does not mean large.

Within a degenerate manifold, individual vectors dfi\mathbf d_{fi} depend on the chosen basis. A physical preparation, field polarization, external splitting, or incoherent average selects the relevant combination. Summing over a complete unresolved degenerate manifold produces a basis-independent strength, while quoting one arbitrarily chosen component may not.

For a local nonrelativistic Hamiltonian

H0=p22m+V(r),H_0 = \frac{\mathbf p^2}{2m} + V(\mathbf r),

the commutator

[H0,r]=−iℏmp[H_0,\mathbf r] = - \frac{i\hbar}{m} \mathbf p

implies, for exact eigenstates,

pfi=imωfirfi.\mathbf p_{fi} = im\omega_{fi} \mathbf r_{fi}.

This relation makes exact length- and velocity-form E1 amplitudes equivalent when all terms are treated consistently. Incomplete bases, nonlocal pseudopotentials, inconsistent energies, or omitted contact terms can spoil the numerical agreement. That disagreement is a convergence diagnostic, not a physical gauge dependence.

The first check is

kafi≪1k a_{fi} \ll 1

for every appreciably occupied spectral component and for the transition distribution of interest. For a broadband pulse, use the largest relevant kk, not only the carrier wave number.

For a general field, also check

afi∥∇E∥Eref≪1,afi2∥∇∇E∥Eref≪1.a_{fi} \frac{ \|\boldsymbol\nabla\mathbf E\| }{ E_{\mathrm{ref}} } \ll 1, \qquad a_{fi}^2 \frac{ \|\boldsymbol\nabla\boldsymbol\nabla\mathbf E\| }{ E_{\mathrm{ref}} } \ll 1.

These estimates test the expansion, not the dominance of a particular transition.

When the E1 amplitude is nonzero, the most useful diagnostic is

ϵfi(1)=∣⟨f∣HM1+HE2∣i⟩∣∣⟨f∣HE1∣i⟩∣.\epsilon_{fi}^{(1)} = \frac{ \left| \langle f|H_{\mathrm{M1}}+H_{\mathrm{E2}}|i\rangle \right| }{ \left| \langle f|H_{\mathrm{E1}}|i\rangle \right| }.

If the denominator vanishes or is accidentally small, this ratio is not a failure of arithmetic. It says that E1 is not the reference process. Compare each candidate amplitude with the largest retained physical amplitude instead.

Center-of-mass phase is a separate approximation

Section titled “Center-of-mass phase is a separate approximation”

After making the internal dipole approximation, a plane-wave interaction still contains

HE1∝−d⋅ϵ eik⋅R.H_{E1} \propto - \mathbf d \mathbin{\cdot} \boldsymbol\epsilon\, e^{i\mathbf k\cdot\mathbf R}.

The factor eik⋅Re^{i\mathbf k\cdot\mathbf R} transfers photon momentum and couples center-of-mass motional states. Removing it requires a second approximation about the external wavepacket or trajectory.

For motional states ∣ν⟩|\nu\rangle,

⟨ν′∣eik⋅R∣ν⟩\langle \nu'| e^{i\mathbf k\cdot\mathbf R} |\nu\rangle

sets carrier and sideband strengths. In one harmonic direction with

x0=ℏ2Mωt,x_0 = \sqrt{ \frac{\hbar}{2M\omega_t} },

the Lamb–Dicke parameter is

ηLD=keffx0.\eta_{\mathrm{LD}} = k_{\mathrm{eff}}x_0.

A useful state-dependent condition is

ηLD2nˉ+1≪1.\eta_{\mathrm{LD}} \sqrt{2\bar n+1} \ll 1.

The effective wave vector is k\mathbf k for a one-photon process and often a wave-vector difference for a Raman process. It is entirely possible to have

kaint≪1k a_{\mathrm{int}} \ll 1

while not being in the Lamb–Dicke regime. The first statement concerns internal electronic or molecular structure; the second concerns external motion.

The recoil energy

Er=ℏ2k22ME_{\mathrm r} = \frac{ \hbar^2k^2 }{ 2M }

and the Doppler shift k⋅V\mathbf k\cdot\mathbf V also survive the internal dipole approximation.

A paraxial beam introduces transverse and longitudinal scales in addition to 1/k1/k. For waist w0w_0, a localized internal system usually satisfies a/w0≪1a/w_0\ll1, but center-of-mass motion may sample the profile. Near a focus, interface, nanostructure, or optical vortex, longitudinal fields and steep gradients can matter.

At an electric-field node, the E1 amplitude can vanish because E(R)=0\mathbf E(\mathbf R)=0 even though the E1 transition dipole is symmetry allowed. M1 or E2 coupling may then be the leading local interaction. This is a mode-geometry statement, not an intrinsic atomic selection rule.

The dipole approximation does not require a weak field. Intense-field calculations often use a dipole Hamiltonian nonperturbatively. Nevertheless, the field can drive the wavefunction into Rydberg or continuum regions with a larger spatial extent, making the initial bound-state radius a poor value of aa.

Strong fields can independently invalidate:

  • perturbation theory;
  • a two-level reduction;
  • the rotating-wave approximation;
  • neglect of ionization or continuum states;
  • a nonrelativistic treatment;
  • a prescribed-field model that ignores depletion or backaction.

None of these failures follows solely from kaka.

Spatial and temporal variations are linked for freely propagating radiation through k=ω/ck=\omega/c, but the approximation is still made in space. For a pulse with spectral support up to ωmax⁡\omega_{\max}, a conservative test is

ωmax⁡ac≪1.\frac{ \omega_{\max}a }{ c } \ll 1.

Using only the carrier can miss a high-frequency tail. A short pulse does not otherwise invalidate E1 coupling merely because it is short.

Evanescent and quasistatic fields can have gradient scales set by distance to a surface, aperture size, or nanostructure geometry rather than by the free-space wavelength. The local test is then a/LEa/L_E, together with direct M1 and E2 matrix-element comparisons.

In periodic systems, multiplying a wavefunction by position does not preserve its periodic boundary conditions. Current operators, Berry-phase polarization, and the chosen boundary conditions must be handled consistently. The localized atom-and-molecule construction here should not be transplanted unchanged into a crystal.

Take

a=a0=0.0529 nm,λ=500 nm.a=a_0 = 0.0529\ \mathrm{nm}, \qquad \lambda = 500\ \mathrm{nm}.

Then

ka=2πa0λ≃6.65×10−4.\begin{aligned} ka &= \frac{2\pi a_0}{\lambda} \\ &\simeq 6.65\times10^{-4}. \end{aligned}

Internal spatial variation is very small. This does not prove that a chosen line is E1 allowed, but it makes the long-wavelength expansion strongly controlled for compact bound-state matrix elements.

For

a=0.50 nm,λ=10 μm,a = 0.50\ \mathrm{nm}, \qquad \lambda = 10\ \mathrm{\mu m},

one finds

ka≃3.14×10−4.ka \simeq 3.14\times10^{-4}.

The field is nearly uniform over the molecular framework. Vibrational intensity still depends on the derivative of the molecular dipole surface along the normal coordinate.

For a hard X-ray wavelength

λ=0.10 nm\lambda = 0.10\ \mathrm{nm}

and a geometric molecular scale a=0.50 nma=0.50\ \mathrm{nm},

ka≃31.4.ka \simeq 31.4.

A molecular-size dipole approximation is uncontrolled. If the relevant core transition density has an effective extent afi=0.02 nma_{fi}=0.02\ \mathrm{nm}, then

kafi≃1.26,k a_{fi} \simeq 1.26,

which is smaller but still not asymptotically small. A calculation may need the full spatial interaction rather than a low-order multipole truncation.

Internal dipole regime without Lamb–Dicke confinement

Section titled “Internal dipole regime without Lamb–Dicke confinement”

Consider a trapped ion with

λ=729 nm,aint=0.10 nm.\lambda = 729\ \mathrm{nm}, \qquad a_{\mathrm{int}} = 0.10\ \mathrm{nm}.

The internal parameter is

kaint≃8.62×10−4.k a_{\mathrm{int}} \simeq 8.62\times10^{-4}.

For the actual 40Ca+^{40}\mathrm{Ca}^{+} 729 nm clock transition, the E1 matrix element is forbidden and E2 coupling is leading. The small value of kaintk a_{\mathrm{int}} validates a rapidly ordered internal multipole expansion; it does not promote a vanishing E1 amplitude.

For mass M=40 uM=40\,u and trap frequency ωt=2π×1.0 MHz\omega_t=2\pi\times1.0\ \mathrm{MHz},

x0≃11.2 nm,ηLD≃0.0969.x_0 \simeq 11.2\ \mathrm{nm}, \qquad \eta_{\mathrm{LD}} \simeq 0.0969.

The internal long-wavelength expansion is excellent. At nˉ=20\bar n=20,

ηLD2nˉ+1≃0.620,\eta_{\mathrm{LD}} \sqrt{2\bar n+1} \simeq 0.620,

so replacing the motional phase by unity is not well controlled. Internal and external long-wavelength statements give different answers because they address different coordinates.

An allowed transition at a standing-wave node

Section titled “An allowed transition at a standing-wave node”

Let

E(x,t)=z^E0sin⁡(kx)cos⁡(ωt)\mathbf E(x,t) = \widehat{\mathbf z} E_0 \sin(kx) \cos(\omega t)

and place the expansion point at x=0x=0. Although the internal parameter can satisfy ka≪1ka\ll1,

E(0,t)=0.\mathbf E(0,t) = 0.

The local E1 term vanishes. The first electric gradient is

∂xEz∣x=0=kE0cos⁡(ωt),\left. \partial_x E_z \right|_{x=0} = kE_0\cos(\omega t),

so an electric-quadrupole matrix element can become leading. The standing wave also has a magnetic field, so the M1 amplitude must be checked at the same order.

Introduce the primitive electric quadrupole tensor

Mij=∑aqaρa,iρa,j.M_{ij} = \sum_a q_a \rho_{a,i}\rho_{a,j}.

With this convention, the first terms of a local multipolar interaction can be organized schematically as

Hint=Hmonopole(R)−diEi(R)−μiBi(R)−12Mij∂iEj(R)+⋯ .H_{\mathrm{int}} ={} H_{\mathrm{monopole}}(\mathbf R) - d_i E_i(\mathbf R) - \mu_i B_i(\mathbf R) - \frac{1}{2} M_{ij} \partial_i E_j(\mathbf R) + \cdots.

The magnetic dipole μ\boldsymbol\mu contains orbital and, where relevant, spin contributions. The displayed formula fixes the primitive-quadrupole normalization used here. For an electrostatic external field, HmonopoleH_{\mathrm{monopole}} includes QΦ(R)Q\Phi(\mathbf R). A charged moving system also has center-of-mass vector-potential coupling, so HmonopoleH_{\mathrm{monopole}} is not exhausted by that scalar term.

Alternatively, define a traceless Cartesian quadrupole

Θij=∑aqa(3ρa,iρa,j−ρa2δij).\Theta_{ij} = \sum_a q_a \left( 3\rho_{a,i}\rho_{a,j} - \rho_a^2\delta_{ij} \right).

In a source-free region where ∇⋅E=0\boldsymbol\nabla\cdot\mathbf E=0,

HE2=−16Θij∂iEj(R).H_{E2} = - \frac{1}{6} \Theta_{ij} \partial_i E_j(\mathbf R).

Factors such as 1/21/2 and 1/61/6 cannot be compared across references without checking which quadrupole tensor has been defined.

For a plane wave and typical nonvanishing moments,

∣MfiE2∣∣MfiE1∣∼ka.\frac{ |M_{fi}^{E2}| }{ |M_{fi}^{E1}| } \sim ka.

For nonrelativistic internal motion, a typical M1-to-E1 amplitude can scale like v/cv/c. In atoms driven near internal resonances, these estimates may be of similar small order. Neither is universal: symmetry, cancellations, relativistic mixing, molecular geometry, and field structure can change the actual ratio.

The hierarchy is a statement about amplitudes. A correction of order kaka in amplitude generally contributes at order kaka through interference with E1 and at order (ka)2(ka)^2 through its own square, subject to symmetry and orientation averages.

Write a transition amplitude as

A=A(0)+A(1)+A(2)+⋯ ,\mathcal A = \mathcal A^{(0)} + \mathcal A^{(1)} + \mathcal A^{(2)} + \cdots,

where A(n)\mathcal A^{(n)} is nominally order (ka)n(ka)^n. Through second order,

∣A∣2=∣A(0)∣2+2Re⁡[A(0)∗A(1)]+∣A(1)∣2+2Re⁡[A(0)∗A(2)]+O ⁣((ka)3).|\mathcal A|^2 ={} |\mathcal A^{(0)}|^2 + 2\operatorname{Re} \left[ \mathcal A^{(0)*} \mathcal A^{(1)} \right] + |\mathcal A^{(1)}|^2 + 2\operatorname{Re} \left[ \mathcal A^{(0)*} \mathcal A^{(2)} \right] + O\!\left((ka)^3\right).

Keeping ∣A(1)∣2|\mathcal A^{(1)}|^2 while omitting the A(0)∗A(2)\mathcal A^{(0)*}\mathcal A^{(2)} interference is not a complete second-order calculation. Such partial truncations can spoil origin independence and sum rules.

If ka≳1ka\gtrsim1, many multipole orders can contribute. In that regime, retaining the exact factor

eik⋅ρe^{i\mathbf k\cdot\boldsymbol\rho}

or the full current–field interaction is often better than extending a slowly convergent multipole series. The exact spatial operator also avoids assigning physical significance to individual origin-dependent truncated pieces.

This can occur in X-ray processes, extended Rydberg or continuum motion, and strongly structured near fields; none of these labels alone proves that a given transition is outside the dipole regime. Relativistic corrections may also become important at high photon energy or for heavy elements; they are independent of the multipole truncation.

If

dfi⋅ϵ=0,\mathbf d_{fi} \mathbin{\cdot} \boldsymbol\epsilon = 0,

then M1, E2, two-photon coupling, state mixing, or another mechanism may provide the leading transition. Calling the line “dipole forbidden” means only that its E1 amplitude vanishes under the stated model and symmetries.

Multipole Operators explains the rank and parity classification of E1, M1, E2, and higher operators. The next article, Multipole Expansion, develops their AMO interaction hierarchy and precision-spectroscopy applications.

Show that

∣eik⋅ρ−1∣≤∣k⋅ρ∣.\left| e^{i\mathbf k\cdot\boldsymbol\rho} - 1 \right| \le \left| \mathbf k\mathbin{\cdot}\boldsymbol\rho \right|.

Use the result to bound the pointwise internal field error for a=0.20 nma=0.20\ \mathrm{nm} and λ=600 nm\lambda=600\ \mathrm{nm}.

Solution

For real xx,

eix−1=∫0xieis ds.\begin{aligned} e^{ix}-1 &= \int_0^x i e^{is}\,ds. \end{aligned}

The triangle inequality and ∣eis∣=1|e^{is}|=1 give

∣eix−1∣≤∫0∣x∣ds=∣x∣.|e^{ix}-1| \le \int_0^{|x|}ds = |x|.

Set x=k⋅ρx=\mathbf k\cdot\boldsymbol\rho. If ∣ρ∣≤a|\boldsymbol\rho|\le a, then

∣k⋅ρ∣≤ka.\left| \mathbf k\cdot\boldsymbol\rho \right| \le ka.

Numerically,

ka=2π(0.20 nm)600 nm≃2.09×10−3.\begin{aligned} ka &= \frac{ 2\pi(0.20\ \mathrm{nm}) }{ 600\ \mathrm{nm} } \\ &\simeq 2.09\times10^{-3}. \end{aligned}

The pointwise complex field differs from its uniform value by no more than about 0.21%0.21\% over the stated region. A transition amplitude can have a larger relative correction if its leading E1 integral nearly cancels.

2. Compute a carrier amplitude without expanding the phase

Section titled “2. Compute a carrier amplitude without expanding the phase”

For a harmonic center-of-mass coordinate X=x0(b+b†)X=x_0(b+b^\dagger) and η=kx0\eta=kx_0, compute the carrier factors Cn=⟨n∣eikX∣n⟩C_n=\langle n|e^{ikX}|n\rangle for n=0,1n=0,1. Explain why the internal condition kaint≪1ka_{\mathrm{int}}\ll1 does not make these factors unity.

Solution

Since [iηb†,iηb]=η2[i\eta b^\dagger,i\eta b]=\eta^2, the Baker–Campbell–Hausdorff identity gives

eiη(b+b†)=e−η2/2eiηb†eiηb.e^{i\eta(b+b^\dagger)} =e^{-\eta^2/2}e^{i\eta b^\dagger}e^{i\eta b}.

For the vacuum, only the constant terms survive. For ∣1⟩|1\rangle, one lowering and one raising also contribute, with product −η2-\eta^2:

C0=e−η2/2,C1=(1−η2)e−η2/2.C_0=e^{-\eta^2/2},\qquad C_1=(1-\eta^2)e^{-\eta^2/2}.

Thus the squared carrier matrix elements are e−η2e^{-\eta^2} and (1−η2)2e−η2(1-\eta^2)^2e^{-\eta^2}. At η=1\eta=1, the n=1n=1 carrier vanishes by motional interference even for a perfectly E1-allowed internal transition. These are coupling strengths; an excitation probability also depends on pulse duration, detuning, and competing sidebands. The internal size and the trap length x0x_0 are different physical scales.

Suppose a transition has representative matrix elements

∣dfi∣=3ea0,∣Mfi∣=ea02.|d_{fi}| = 3ea_0, \qquad |M_{fi}| = ea_0^2.

For a plane wave at λ=500 nm\lambda=500\ \mathrm{nm}, estimate

∣MfiE2∣∣MfiE1∣∼k∣Mfi∣2∣dfi∣.\frac{ |M_{fi}^{E2}| }{ |M_{fi}^{E1}| } \sim \frac{ k|M_{fi}| }{ 2|d_{fi}| }.
Solution

Substitution gives

∣MfiE2∣∣MfiE1∣∼ka06.\frac{ |M_{fi}^{E2}| }{ |M_{fi}^{E1}| } \sim \frac{ka_0}{6}.

Using

ka0≃6.65×10−4,ka_0 \simeq 6.65\times10^{-4},

one obtains

∣MfiE2∣∣MfiE1∣∼1.11×10−4.\frac{ |M_{fi}^{E2}| }{ |M_{fi}^{E1}| } \sim 1.11\times10^{-4}.

This is only a scale estimate. Angular factors, tensor components, and cancellations must be evaluated for the actual states. If dfi=0d_{fi}=0, this ratio is not the appropriate comparison.

A localized transition has afi=0.30 nma_{fi}=0.30\ \mathrm{nm}. A pulse has a carrier wavelength of 800 nm800\ \mathrm{nm} but appreciable spectral weight down to 80 nm80\ \mathrm{nm}. Compare the carrier-only and conservative long-wavelength parameters.

Solution

At the carrier,

k0afi=2π(0.30 nm)800 nm≃2.36×10−3.\begin{aligned} k_0a_{fi} &= \frac{ 2\pi(0.30\ \mathrm{nm}) }{ 800\ \mathrm{nm} } \\ &\simeq 2.36\times10^{-3}. \end{aligned}

At the shortest appreciably occupied wavelength,

kmax⁡afi=2π(0.30 nm)80 nm≃2.36×10−2.\begin{aligned} k_{\max}a_{fi} &= \frac{ 2\pi(0.30\ \mathrm{nm}) }{ 80\ \mathrm{nm} } \\ &\simeq 2.36\times10^{-2}. \end{aligned}

Both are smaller than unity, but the conservative correction estimate is ten times larger. Whether 2.4%2.4\% in amplitude is acceptable depends on the observable and required precision. The pulse duration alone was not the criterion; its spectral support supplied the relevant kmax⁡k_{\max}.

5. Transition charge and origin independence

Section titled “5. Transition charge and origin independence”

Starting from

ρfi(x)=⟨f∣ρ^q(x)∣i⟩,\rho_{fi}(\mathbf x) = \langle f| \widehat\rho_q(\mathbf x) |i\rangle,

show that the transition charge vanishes for distinct states in one charge sector. Then prove directly from the integral definition that dfi\mathbf d_{fi} is invariant under R→R+s\mathbf R\to\mathbf R+\mathbf s.

Solution

Integrating the charge-density operator gives the total-charge operator:

∫d3x ρ^q(x)=Q^.\int d^3x\, \widehat\rho_q(\mathbf x) = \widehat Q.

Within a fixed charge sector,

Q^∣i⟩=Q∣i⟩.\widehat Q|i\rangle = Q|i\rangle.

Therefore

∫d3x ρfi(x)=⟨f∣Q^∣i⟩=Q⟨f∣i⟩=0\begin{aligned} \int d^3x\, \rho_{fi}(\mathbf x) &= \langle f|\widehat Q|i\rangle \\ &= Q\langle f|i\rangle \\ &= 0 \end{aligned}

for f≠if\ne i.

After shifting the reference point,

dfi′=∫d3x (x−R−s)ρfi(x)=dfi−s∫d3x ρfi(x)=dfi.\begin{aligned} \mathbf d_{fi}' &= \int d^3x\, \left( \mathbf x-\mathbf R-\mathbf s \right) \rho_{fi}(\mathbf x) \\ &= \mathbf d_{fi} - \mathbf s \int d^3x\, \rho_{fi}(\mathbf x) \\ &= \mathbf d_{fi}. \end{aligned}

The proof uses orthogonality and fixed total charge, not neutrality.

  • D. L. Andrews, G. A. Jones, A. Salam, and R. G. Woolley, “Perspective: Quantum Hamiltonians for optical interactions,” Journal of Chemical Physics 148, 040901 (2018), doi:10.1063/1.5018399.
  • 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.
  • S. Bernadotte, A. J. Atkins, and C. R. Jacob, “Origin-independent calculation of quadrupole intensities in X-ray spectroscopy,” Journal of Chemical Physics 137, 204106 (2012), doi:10.1063/1.4766359.
  • C. Cohen-Tannoudji, J. Dupont-Roc, and G. Grynberg, Photons and Atoms: Introduction to Quantum Electrodynamics, Wiley, 1989.
  • C. Cohen-Tannoudji, J. Dupont-Roc, and G. Grynberg, Atom–Photon Interactions: Basic Processes and Applications, Wiley, 1992.
  • D. P. Craig and T. Thirunamachandran, Molecular Quantum Electrodynamics, Dover, 1998.
  • W. E. Lamb, R. R. Schlicher, and M. O. Scully, “Matter-field interaction in atomic physics and quantum optics,” Physical Review A 36, 2763–2772 (1987), doi:10.1103/PhysRevA.36.2763.
  • P. J. Lestrange, F. Egidi, and X. Li, “The consequences of improperly describing oscillator strengths beyond the electric dipole approximation,” Journal of Chemical Physics 143, 234103 (2015), doi:10.1063/1.4937410.
  • N. H. List, T. R. L. Melin, M. van Horn, and T. Saue, “Beyond the electric-dipole approximation in simulations of X-ray absorption spectroscopy: Lessons from relativistic theory,” Journal of Chemical Physics 152, 184110 (2020), doi:10.1063/5.0003103.
  • 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.
  • D. J. Wineland, C. Monroe, W. M. Itano, D. Leibfried, B. E. King, and D. M. Meekhof, “Experimental issues in coherent quantum-state manipulation of trapped atomic ions,” Journal of Research of the National Institute of Standards and Technology 103, 259–328 (1998), doi:10.6028/jres.103.019.