Skip to content

Jaynes–Cummings Model

The Jaynes–Cummings model is the exactly solvable rotating-wave model of one two-level system exchanging excitations with one quantized bosonic mode. Its Hamiltonian is small enough to diagonalize analytically yet rich enough to show effects with no fixed classical drive analogue:

  • a nonzero atom-field matrix element in the vacuum;
  • doublets whose splitting scales as n+1\sqrt{n+1};
  • coherent conversion of ∣e,n⟩|e,n\rangle into ∣g,n+1⟩|g,n+1\rangle;
  • entanglement between matter and field;
  • collapse and revival caused by a distribution of quantized Rabi frequencies.

In the convention used here,

HJC=ℏωca†a+ℏωa2σz+ℏg(aσ++a†σ−),\begin{aligned} H_{\rm JC} ={}& \hbar\omega_c a^\dagger a + \frac{\hbar\omega_a}{2}\sigma_z \\ &+ \hbar g \left( a\sigma_+ + a^\dagger\sigma_- \right), \end{aligned}

where a phase redefinition has made g≥0g\geq0. The detuning is

Δ=ωa−ωc.\Delta=\omega_a-\omega_c.

The decisive simplification is conservation of total excitation number,

N=a†a+σ+σ−,[HJC,N]=0.\mathcal N = a^\dagger a+\sigma_+\sigma_-, \qquad \left[ H_{\rm JC},\mathcal N \right] =0.

The infinite Hilbert space therefore decomposes into one uncoupled ground state and a sequence of two-dimensional blocks. Solving those blocks gives the complete closed-system spectrum and propagator.

This page is the canonical model treatment. It owns

  • the derivation of the Jaynes–Cummings interaction from the quantum Rabi coupling by the rotating-wave approximation;
  • the conserved excitation number and block decomposition;
  • exact dressed eigenvalues, eigenvectors, and mixing angles;
  • resonant and detuned excitation exchange;
  • the n+1\sqrt{n+1} dependence of quantum Rabi frequencies;
  • atomic inversion for arbitrary photon-number distributions;
  • collapse, revival, and their large-coherent-state time scales;
  • the model’s uses in cavity QED, circuit QED, and sideband interactions;
  • its controlled limits and the first corrections beyond it.

Dressed States owns the broader concept of field dressing across semiclassical, quantized, and Floquet descriptions. Cavity QED owns mode normalization, gg as a physical dipole coupling, linewidth conventions, cooperativity, Purcell physics, and measured lossy spectra. The reference model card remains a compact lookup entry.

The composite Hilbert space is

H=C2⊗F,\mathcal H = \mathbb C^2\otimes\mathcal F,

where F\mathcal F is the Fock space of one oscillator. Let

σ+=∣e⟩⟨g∣,σ−=∣g⟩⟨e∣,σz=∣e⟩⟨e∣−∣g⟩⟨g∣.\begin{gathered} \sigma_+=|e\rangle\langle g|, \qquad \sigma_-=|g\rangle\langle e|, \\ \sigma_z = |e\rangle\langle e| - |g\rangle\langle g|. \end{gathered}

The uncoupled basis is

{∣g,n⟩, ∣e,n⟩:n=0,1,2,…}.\left\{ |g,n\rangle,\, |e,n\rangle : n=0,1,2,\ldots \right\}.

The oscillator terms act as

a∣n⟩=n ∣n−1⟩,a†∣n⟩=n+1 ∣n+1⟩.\begin{aligned} a|n\rangle &= \sqrt n\,|n-1\rangle, \\ a^\dagger|n\rangle &= \sqrt{n+1}\,|n+1\rangle. \end{aligned}

The square roots are not decoration: they are the source of the excitation-number dependence throughout the model.

The two common free-atom Hamiltonians are

ℏωa2σzandℏωaσ+σ−.\frac{\hbar\omega_a}{2}\sigma_z \qquad\text{and}\qquad \hbar\omega_a\sigma_+\sigma_-.

They differ by the constant ℏωa/2\hbar\omega_a/2. Either gives the same transition frequencies and dynamics. This page uses the symmetric σz\sigma_z convention because it makes each excitation block centered at a transparent energy. When comparing formulas, first check the energy zero before diagnosing a disagreement.

The two interaction terms act on bare states as

a†σ−∣e,n⟩=n+1 ∣g,n+1⟩,aσ+∣g,n+1⟩=n+1 ∣e,n⟩.\begin{aligned} a^\dagger\sigma_-|e,n\rangle &= \sqrt{n+1}\,|g,n+1\rangle, \\ a\sigma_+|g,n+1\rangle &= \sqrt{n+1}\,|e,n\rangle. \end{aligned}

One atomic excitation is converted into one mode quantum, or the reverse. The states ∣e,n⟩|e,n\rangle and ∣g,n+1⟩|g,n+1\rangle therefore form a coupled pair with matrix element ℏgn+1\hbar g\sqrt{n+1}. The vacuum pair ∣e,0⟩↔∣g,1⟩|e,0\rangle\leftrightarrow|g,1\rangle has matrix element ℏg\hbar g, even though ⟨0∣E∣0⟩=0\langle0|\mathbf E|0\rangle=0.

From the Quantum Rabi Model to the Rotating-Wave Model

Section titled “From the Quantum Rabi Model to the Rotating-Wave Model”

After fixing the phase of gg, a single-mode dipole interaction before the rotating-wave approximation has the quantum Rabi form

HR=ℏωca†a+ℏωa2σz+ℏg(a+a†)(σ++σ−).\begin{aligned} H_{\rm R} ={}& \hbar\omega_c a^\dagger a + \frac{\hbar\omega_a}{2}\sigma_z \\ &+ \hbar g \left( a+a^\dagger \right) \left( \sigma_++\sigma_- \right). \end{aligned}

In the interaction picture of the free Hamiltonian,

VI(t)ℏ=g aσ+eiΔt+g a†σ−e−iΔt+g aσ−e−i(ωa+ωc)t+g a†σ+ei(ωa+ωc)t.\begin{aligned} \frac{V_I(t)}{\hbar} ={}& g\,a\sigma_+e^{i\Delta t} + g\,a^\dagger\sigma_-e^{-i\Delta t} \\ &+ g\,a\sigma_-e^{-i(\omega_a+\omega_c)t} \\ &+ g\,a^\dagger\sigma_+ e^{i(\omega_a+\omega_c)t}. \end{aligned}

The first row exchanges one excitation and varies slowly near resonance. The second and third lines are counter-rotating processes: they destroy or create an atomic and oscillator excitation together. Their phases rotate at approximately twice the carrier frequency.

When

gn+1ωa+ωc≪1\frac{ g\sqrt{n+1} }{ \omega_a+\omega_c } \ll1

over every appreciably occupied manifold, the rapidly oscillating counter-rotating terms make only small averaged corrections on the time scale of resonant exchange. Dropping them gives HJCH_{\rm JC}.

This statement has three qualifications:

  1. The relevant coupling grows as n+1\sqrt{n+1}, so an approximation valid near the vacuum can fail at high occupation.
  2. Small fast terms can produce a measurable Bloch–Siegert-type shift of order g2/(ωa+ωc)g^2/(\omega_a+\omega_c).
  3. A two-level truncation and a single-mode truncation are separate approximations. Multilevel circuit or atomic structure can fail before the rotating-wave estimate does.

The full approximation logic and error diagnosis are developed in Rotating-Wave Approximation.

The operator

N=a†a+σ+σ−\mathcal N = a^\dagger a+\sigma_+\sigma_-

counts one unit for each oscillator quantum and one for an excited atom. The free Hamiltonian plainly commutes with N\mathcal N. For the exchange term,

[N,aσ+]=[a†a,a]σ++a[σ+σ−,σ+]=−aσ++aσ+=0,\begin{aligned} \left[ \mathcal N,a\sigma_+ \right] &= \left[ a^\dagger a,a \right]\sigma_+ + a \left[ \sigma_+\sigma_-,\sigma_+ \right] \\ &= -a\sigma_+ + a\sigma_+ =0, \end{aligned}

and similarly [N,a†σ−]=0[\mathcal N,a^\dagger\sigma_-]=0. This U(1)U(1) symmetry is what makes the model elementary to solve.

The eigenspaces are

H0=span⁡{∣g,0⟩},Hn+1=span⁡{∣e,n⟩,∣g,n+1⟩},\begin{aligned} \mathcal H_0 &= \operatorname{span} \left\{ |g,0\rangle \right\}, \\ \mathcal H_{n+1} &= \operatorname{span} \left\{ \begin{array}{c} |e,n\rangle, \\ |g,n+1\rangle \end{array} \right\}, \end{aligned}

The state ∣g,0⟩|g,0\rangle is uncoupled because neither system contains an excitation to exchange. The two-dimensional expression applies for every n≥0n\geq0. In the full quantum Rabi model, N\mathcal N is not conserved; only its parity (−1)N(-1)^{\mathcal N} remains a symmetry.

Bare atom-photon pairs at resonance mapped to the Jaynes–Cummings dressed doublets in successive excitation manifolds

At resonance, each fixed-N=n+1\mathcal N=n+1 bare pair diagonalizes into two equal-weight dressed states. The doublet gap is 2gn+12g\sqrt{n+1}. The vacuum ground state ∣g,0⟩|g,0\rangle forms the one-dimensional N=0\mathcal N=0 sector and remains uncoupled.

In the ordered basis {∣e,n⟩,∣g,n+1⟩}\{|e,n\rangle,|g,n+1\rangle\},

Hnℏ=ωc(n+12)I+Mn,Mn=12(Δ2gn+12gn+1−Δ).\begin{gathered} \frac{H_n}{\hbar} = \omega_c \left( n+\frac12 \right)I + \mathcal M_n, \\ \mathcal M_n = \frac12 \begin{pmatrix} \Delta & 2g\sqrt{n+1} \\ 2g\sqrt{n+1} & -\Delta \end{pmatrix}. \end{gathered}

Define the manifold-dependent generalized Rabi frequency

Ωn=Δ2+4g2(n+1).\Omega_n = \sqrt{ \Delta^2+4g^2(n+1) }.

The exact eigenenergies are

En,±=ℏωc(n+12)±ℏΩn2.E_{n,\pm} = \hbar\omega_c \left( n+\frac12 \right) \pm \frac{\hbar\Omega_n}{2}.

The uncoupled ground-state energy is

Eg0=−ℏωa2.E_{g0} = -\frac{\hbar\omega_a}{2}.

Choose 0≤θn≤π/20\leq\theta_n\leq\pi/2 such that

cos⁡(2θn)=ΔΩn,sin⁡(2θn)=2gn+1Ωn.\begin{aligned} \cos(2\theta_n) &= \frac{\Delta}{\Omega_n}, \\ \sin(2\theta_n) &= \frac{2g\sqrt{n+1}}{\Omega_n}. \end{aligned}

One continuous eigenstate convention is

∣n,+⟩=cos⁡θn ∣e,n⟩+sin⁡θn ∣g,n+1⟩,∣n,−⟩=−sin⁡θn ∣e,n⟩+cos⁡θn ∣g,n+1⟩.\begin{aligned} |n,+\rangle &= \cos\theta_n\,|e,n\rangle + \sin\theta_n\,|g,n+1\rangle, \\ |n,-\rangle &= -\sin\theta_n\,|e,n\rangle + \cos\theta_n\,|g,n+1\rangle. \end{aligned}

For large positive detuning, the upper state is atom-like and the lower state cavity-like. As Δ\Delta passes through zero, those characters exchange continuously. At resonance,

∣n,±⟩=∣e,n⟩±∣g,n+1⟩2,|n,\pm\rangle = \frac{ |e,n\rangle \pm |g,n+1\rangle }{ \sqrt2 },

up to independent overall signs. The resonant energy splitting is

En,+−En,−=2ℏgn+1.E_{n,+}-E_{n,-} = 2\hbar g\sqrt{n+1}.

On resonance,

En,±ℏ=ωc(n+12)±gn+1.\frac{E_{n,\pm}}{\hbar} = \omega_c \left( n+\frac12 \right) \pm g\sqrt{n+1}.

The n+1\sqrt{n+1} term makes successive level spacings unequal. This anharmonicity is the origin of number-resolved doublets and enables single-photon nonlinear phenomena such as photon blockade when the linewidths are narrower than the relevant difference between transitions. It weakens at large nn because

n+1−n≃12n.\sqrt{n+1}-\sqrt n \simeq \frac{1}{2\sqrt n}.

That shrinking anharmonicity is one route toward the semiclassical limit.

Subtracting the common block energy leaves the effective two-state Hamiltonian

Hn′ℏ=12[Δσz+2gn+1 σx].\frac{H_n'}{\hbar} = \frac12 \left[ \Delta\sigma_z + 2g\sqrt{n+1}\,\sigma_x \right].

Because (u⋅σ)2=I(\mathbf u\mathbin{\cdot}\boldsymbol\sigma)^2=I for a unit vector u\mathbf u, its exponential is immediate:

Un(t)=e−iωc(n+1/2)tU~n(t),U~n(t)=cos⁡(Ωnt2)I−iΩnsin⁡(Ωnt2)Kn,Kn=Δσz+2gn+1 σx.\begin{aligned} U_n(t) ={}& e^{-i\omega_c(n+1/2)t} \widetilde U_n(t), \\ \widetilde U_n(t) ={}& \cos\left(\frac{\Omega_n t}{2}\right)I \\ &- \frac{i}{\Omega_n} \sin\left(\frac{\Omega_n t}{2}\right) K_n, \\ K_n ={}& \Delta\sigma_z + 2g\sqrt{n+1}\,\sigma_x. \end{aligned}

Starting from ∣e,n⟩|e,n\rangle,

∣ψn(t)⟩=e−iωc(n+1/2)t[An(t)∣e,n⟩+Bn(t)∣g,n+1⟩],\begin{aligned} |\psi_n(t)\rangle ={}& e^{-i\omega_c(n+1/2)t} \Big[ A_n(t)|e,n\rangle \\ &\qquad\qquad + B_n(t)|g,n+1\rangle \Big], \end{aligned}

where

An(t)=cos⁡(Ωnt2)−iΔΩnsin⁡(Ωnt2),Bn(t)=−i2gn+1Ωnsin⁡(Ωnt2).\begin{aligned} A_n(t) &= \cos\left(\frac{\Omega_n t}{2}\right) - i\frac{\Delta}{\Omega_n} \sin\left(\frac{\Omega_n t}{2}\right), \\ B_n(t) &= - i\frac{2g\sqrt{n+1}}{\Omega_n} \sin\left(\frac{\Omega_n t}{2}\right). \end{aligned}

The transfer probability is

Pe,n→g,n+1(t)=4g2(n+1)Ωn2sin⁡2(Ωnt2).P_{e,n\to g,n+1}(t) = \frac{ 4g^2(n+1) }{ \Omega_n^2 } \sin^2\left(\frac{\Omega_n t}{2}\right).

Detuning has two effects: it raises the oscillation frequency from 2gn+12g\sqrt{n+1} to Ωn\Omega_n, while reducing the largest possible transfer to 4g2(n+1)/Ωn24g^2(n+1)/\Omega_n^2. Faster oscillation therefore does not mean better state transfer.

At Δ=0\Delta=0, remove the common block phase by defining ∣ψ~n(t)⟩=eiωc(n+1/2)t∣ψn(t)⟩|\widetilde\psi_n(t)\rangle =e^{i\omega_c(n+1/2)t}|\psi_n(t)\rangle. Then

∣ψ~n(t)⟩=Cn(t)∣e,n⟩−iSn(t)∣g,n+1⟩,Cn(t)=cos⁡(gn+1 t),Sn(t)=sin⁡(gn+1 t).\begin{aligned} |\widetilde\psi_n(t)\rangle ={}& C_n(t)|e,n\rangle - iS_n(t)|g,n+1\rangle, \\ C_n(t) ={}& \cos\left( g\sqrt{n+1}\,t \right), \\ S_n(t) ={}& \sin\left( g\sqrt{n+1}\,t \right). \end{aligned}

Thus

Pe(n)(t)=cos⁡2(gn+1 t),⟨σz(t)⟩n=cos⁡(2gn+1 t).\begin{aligned} P_e^{(n)}(t) &= \cos^2\left( g\sqrt{n+1}\,t \right), \\ \langle\sigma_z(t)\rangle_n &= \cos\left( 2g\sqrt{n+1}\,t \right). \end{aligned}

The terminology is worth fixing:

  • gn+1g\sqrt{n+1} is the off-diagonal coupling in angular-frequency units;
  • 2gn+12g\sqrt{n+1} is the resonant dressed splitting and the angular frequency of population inversion;
  • π/[2gn+1]\pi/[2g\sqrt{n+1}] is the first complete excitation-transfer time.

For the vacuum, these become gg, 2g2g, and π/(2g)\pi/(2g). At t=π/(4g)t=\pi/(4g), an initial ∣e,0⟩|e,0\rangle has evolved to a maximally entangled atom-field state,

∣e,0⟩−i∣g,1⟩2,\frac{ |e,0\rangle-i|g,1\rangle }{ \sqrt2 },

up to an overall phase. At t=π/(2g)t=\pi/(2g) the excitation has completely moved to the field and the state is again separable.

An excited atom in ∣e,n⟩|e,n\rangle emits into a field already containing nn quanta with amplitude proportional to n+1\sqrt{n+1}. Its squared matrix element contains

n+1=n+1,n+1 = n + 1,

which separates naturally into stimulated and vacuum contributions. A ground-state atom absorbs from ∣g,n⟩|g,n\rangle with amplitude gng\sqrt n; the vacuum cannot supply an excitation for absorption. These facts arise from bosonic ladder operators, not from adding a classical stimulated-emission rule by hand.

Let the atom begin in ∣e⟩|e\rangle and let the field’s photon-number probabilities be

Pn=⟨n∣ρf(0)∣n⟩.P_n = \langle n|\rho_f(0)|n\rangle.

Because different number sectors remain orthogonal when the field is traced out, the atomic inversion is

W(t)≡⟨σz(t)⟩=∑n=0∞PnΔ2Ωn2+∑n=0∞Pn4g2(n+1)Ωn2cos⁡(Ωnt).\begin{aligned} W(t) &\equiv \langle\sigma_z(t)\rangle \\ &= \sum_{n=0}^{\infty} P_n \frac{\Delta^2}{\Omega_n^2} \\ &\quad+ \sum_{n=0}^{\infty} P_n \frac{4g^2(n+1)}{\Omega_n^2} \cos(\Omega_n t) . \end{aligned}

This formula also applies when the initial field has number coherences: W(t)W(t) depends only on its diagonal number statistics for this initial atomic state and this observable. Other observables can retain phase information.

For an initial Fock state ∣n0⟩|n_0\rangle, exactly one frequency contributes:

W(t)=Δ2Ωn02+4g2(n0+1)Ωn02cos⁡(Ωn0t).W(t) = \frac{\Delta^2}{\Omega_{n_0}^2} + \frac{4g^2(n_0+1)}{\Omega_{n_0}^2} \cos(\Omega_{n_0}t).

In the ideal closed model there is no collapse. A measured decay of this oscillation indicates loss, dephasing, parameter averaging, leakage beyond the model, or an initial number distribution rather than a pure number state.

For ∣α⟩|\alpha\rangle with nˉ=∣α∣2\bar n=|\alpha|^2,

Pn=e−nˉnˉnn!.P_n = e^{-\bar n} \frac{\bar n^n}{n!}.

On resonance,

Wα(t)=e−nˉ∑n=0∞nˉnn!cos⁡(2gn+1 t).W_\alpha(t) = e^{-\bar n} \sum_{n=0}^{\infty} \frac{\bar n^n}{n!} \cos\left( 2g\sqrt{n+1}\,t \right).

Every number sector evolves coherently, but each has a slightly different frequency. Their weighted sum first loses visible contrast and later recovers it. This is the Jaynes–Cummings collapse-and-revival effect.

A thermal mode has

Pn=nˉn(1+nˉ)n+1.P_n = \frac{ \bar n^n }{ (1+\bar n)^{n+1} }.

Its distribution is broader than a Poisson distribution with the same mean, so many frequencies dephase quickly and do not form the same clean revival sequence. Collapse and revival therefore probe photon-number statistics, not merely mean intensity.

For nˉ≫1\bar n\gg1, expand the resonant inversion frequency around the center of the Poisson distribution:

2gn+1≃2gnˉ+1+gnˉ+1(n−nˉ)+⋯ .\begin{aligned} 2g\sqrt{n+1} \simeq{}& 2g\sqrt{\bar n+1} \\ &+ \frac{g}{\sqrt{\bar n+1}} \left( n-\bar n \right) +\cdots. \end{aligned}

The Poisson variance is Var⁡(n)=nˉ\operatorname{Var}(n)=\bar n. Keeping the linear term gives an early-time Gaussian envelope

∣Wα(t)∣env≈exp⁡(−ηg2t22),η=nˉnˉ+1,∣Wα(t)∣env≃e−g2t2/2.\begin{gathered} \left| W_\alpha(t) \right|_{\rm env} \approx \exp\left( - \frac{\eta g^2t^2}{2} \right), \\ \eta = \frac{\bar n}{\bar n+1}, \qquad \left| W_\alpha(t) \right|_{\rm env} \simeq e^{-g^2t^2/2}. \end{gathered}

If the collapse time is defined by a 1/e1/e envelope, then

tcol≃2g.t_{\rm col} \simeq \frac{\sqrt2}{g}.

Other quoted collapse times differ because authors use a first-zero, half-contrast, or 1/e1/e convention. The scaling and the declared definition matter more than the label.

No environment is required for this collapse. The joint state remains pure. The atom becomes entangled with distinguishable field components, and tracing out the field hides their relative phases from the atomic inversion. This mechanism should not be confused with wavefunction collapse or irreversible decoherence.

Neighboring number sectors rephase when their accumulated phase difference is approximately 2π2\pi. Near n=nˉn=\bar n,

Ωn+1−Ωn≃gnˉ,(Ωn+1−Ωn)trev≃2π.\begin{aligned} \Omega_{n+1}-\Omega_n &\simeq \frac{g}{\sqrt{\bar n}}, \\ \left( \Omega_{n+1}-\Omega_n \right)t_{\rm rev} &\simeq 2\pi. \end{aligned}

Therefore the first large-nˉ\bar n revival occurs near

trev≃2πnˉg.t_{\rm rev} \simeq \frac{ 2\pi\sqrt{\bar n} }{g}.

Quadratic and higher terms in the frequency expansion prevent a perfect reconstruction and create fractional-revival structure. The number of rapid Rabi cycles before the first revival grows with nˉ\bar n.

Write a bright coherent mode as

a=α+δa.a = \alpha+\delta a.

The mean part gives a semiclassical drive with population-inversion frequency 2g∣α∣=2gnˉ2g|\alpha|=2g\sqrt{\bar n}, while δa\delta a carries quantum fluctuations. The relative Poisson width Var⁡(n)/nˉ=1/nˉ\sqrt{\operatorname{Var}(n)}/\bar n=1/\sqrt{\bar n} vanishes as nˉ\bar n grows. Over any fixed number of increasingly rapid Rabi cycles, the evolution approaches a classical-drive result. At sufficiently long times, however, the residual number dependence still produces collapse and revival.

The same n+1\sqrt{n+1} structure appears in time and frequency domains. On resonance, the first doublet is reached from ∣g,0⟩|g,0\rangle at frequencies

ωc−gandωc+g.\omega_c-g \qquad\text{and}\qquad \omega_c+g.

Transitions between higher dressed manifolds involve differences such as

ωc+g(n+1−n),\omega_c + g \left( \sqrt{n+1}-\sqrt n \right),

with branch-dependent signs and matrix elements. A weak probe can therefore resolve an anharmonic ladder if its linewidth and power broadening are small enough. A strong drive populates several manifolds, dresses the system again, and invalidates a simple two-line interpretation.

Spectral normal-mode splitting can also occur for classical coupled oscillators. The explicitly quantum information is the calibrated n+1\sqrt{n+1} ladder, number-dependent exchange, antibunched output, or another observable that tests excitation quantization.

For an atom, ion, molecule, or solid-state emitter in an optical or microwave cavity, gg comes from the transition dipole and the vacuum mode field. The ideal model predicts polariton energies and swaps; the experiment also contains cavity decay κ\kappa, emitter decay γ\gamma, pure dephasing, drive ports, and motion. Those physical parameters and their regimes are developed in Cavity QED.

A superconducting qubit coupled to a microwave resonator realizes the same exchange algebra. Circuit platforms offer strong electrical dipoles and tunable frequencies, but an artificial atom is rarely an exact two-level system. Transmon anharmonicity, higher resonator modes, drive-induced leakage, and counter-rotating corrections must be included when their scales compete with gg, detuning, or drive amplitude.

In the far-dispersive regime, eliminating exchange gives the familiar state-dependent cavity shift χ≃g2/Δ\chi\simeq g^2/\Delta. That effective model is a consequence of the Jaynes–Cummings Hamiltonian, but its readout and backaction interpretation belongs to Cavity QED and the open-system circuit-QED map.

For a trapped ion, the oscillator can be a quantized motional mode rather than an electromagnetic field. After moving to a sideband-resolved interaction picture, the red sideband has Jaynes–Cummings form and exchanges an internal excitation with one phonon. The blue sideband has anti-Jaynes–Cummings form and creates or removes both excitations together. The algebra is portable even though the microscopic coupling is different. Trapped-Ion Control derives the spatial-phase coupling, Lamb–Dicke matrix elements, and sideband-selective Hamiltonians.

A resonant half-swap transfers one excitation between matter and mode; a quarter-swap creates entanglement. Sequences of detuning, swaps, and measurement can synthesize field states or mediate interactions between otherwise separate emitters. Their fidelity depends on pulse timing, occupation-dependent coupling, leakage, and loss, so the ideal propagator is the starting point rather than a complete control model.

Replacing one two-level system by NN identical emitters gives the Tavis–Cummings model,

HTC=ℏωca†a+ℏωaJz+ℏg(aJ++a†J−).\begin{aligned} H_{\rm TC} ={}& \hbar\omega_c a^\dagger a + \hbar\omega_a J_z \\ &+ \hbar g \left( aJ_+ + a^\dagger J_- \right). \end{aligned}

Its symmetric one-excitation bright state couples at gNg\sqrt N, while dark states decouple in the ideal identical-emitter limit. This collective enhancement is distinct from the single-emitter factor n+1\sqrt{n+1}: N\sqrt N counts coherent emitters, whereas n+1\sqrt{n+1} comes from bosonic occupation.

A minimal Markovian extension is

ρ˙=−iℏ[HJC+Hdrv,ρ]+κD[a]ρ+γD[σ−]ρ+γϕ2D[σz]ρ.\begin{aligned} \dot\rho ={}& -\frac{i}{\hbar} \left[ H_{\rm JC}+H_{\rm drv}, \rho \right] + \kappa\mathcal D[a]\rho \\ &+ \gamma\mathcal D[\sigma_-]\rho + \frac{\gamma_\phi}{2} \mathcal D[\sigma_z]\rho. \end{aligned}

The closed Hamiltonian still organizes the resonances, but decay moves population between excitation sectors and broadens coherences. A coherent cavity drive also fails to commute with N\mathcal N, so the driven steady state is not confined to one block. Collapse and revival survive only if the participating number sectors retain coherence until trevt_{\rm rev}; cavity loss is especially damaging at high photon number.

Weak-excitation spectra can be approximated by two damped coupled oscillators. Saturation, photon blockade, multiphoton resonances, and conditional output records require the full density operator or a trajectory description. The open-system cavity-QED map develops that monitored dynamics.

The Jaynes–Cummings model should be enlarged when

  • gn+1g\sqrt{n+1} is no longer small compared with carrier frequencies;
  • counter-rotating processes or the Bloch–Siegert shift are resolved;
  • several matter levels or oscillator modes participate;
  • a drive is strong enough to populate levels outside the truncation;
  • spatial motion makes gg an operator or a time-dependent quantity;
  • material dispersion, diamagnetic terms, or gauge-consistent truncation changes the effective coupling;
  • reservoirs have memory or cannot be represented by constant Lindblad rates.

In the ultrastrong-coupling regime, excitation number is not conserved, the ground state is not the bare product ∣g,0⟩|g,0\rangle, and the full quantum Rabi or a more microscopic gauge-consistent Hamiltonian is required. The Rabi Model card gives the compact replacement. The AMO Model Index compares this boundary with semiclassical, open two-level, collective, and cavity models.

The Cavity QED Simulation Notebook turns the exact manifold results into executable regression tests. It builds the full tensor basis, verifies dressed gaps and vacuum Rabi exchange, measures coherent-state photon-cutoff error, and adds a clearly separated unconditional Lindblad-loss extension.

  • Calling gg the population oscillation frequency. On resonance in manifold nn, inversion oscillates at 2gn+12g\sqrt{n+1}.
  • Using n\sqrt n for emission from ∣e,n⟩|e,n\rangle. Emission creates a photon and carries n+1\sqrt{n+1}; absorption from ∣g,n⟩|g,n\rangle carries n\sqrt n.
  • Forgetting the uncoupled vacuum ground state. ∣g,0⟩|g,0\rangle belongs to a one-dimensional sector, not a dressed doublet.
  • Assuming detuning improves transfer because Ωn\Omega_n grows. It makes oscillations faster while reducing their amplitude.
  • Treating collapse as decoherence. Ideal collapse is reversible unitary dephasing across number sectors.
  • Expecting collapse from a number state. A single Fock sector has one Rabi frequency.
  • Using N\mathcal N conservation after adding a coherent drive or counter-rotating terms. Those terms connect different excitation sectors.
  • Inferring field quantization from any doublet. Classical coupled modes also split; the number-dependent ladder is more diagnostic.
  • Extending a two-level RWA model into ultrastrong coupling. Matter-level truncation, counter-rotating terms, and gauge consistency must be revisited together.

Exercise 1: Which terms conserve excitation number?

Section titled “Exercise 1: Which terms conserve excitation number?”

For

N=a†a+σ+σ−,\mathcal N = a^\dagger a+\sigma_+\sigma_-,

evaluate its commutator with aσ+a\sigma_+, a†σ−a^\dagger\sigma_-, a†σ+a^\dagger\sigma_+, and a+a†a+a^\dagger. Explain which Hamiltonian terms preserve N\mathcal N and which preserve only its parity.

Solution

Use

[a†a,a]=−a,[a†a,a†]=a†,[σ+σ−,σ+]=σ+,[σ+σ−,σ−]=−σ−.\begin{gathered} [a^\dagger a,a]=-a, \\ [ a^\dagger a,a^\dagger ] =a^\dagger, \\ [ \sigma_+\sigma_-,\sigma_+ ] =\sigma_+, \\ [\sigma_+\sigma_-,\sigma_-]=-\sigma_-. \end{gathered}

Then

[N,aσ+]=−aσ++aσ+=0,[N,a†σ−]=a†σ−−a†σ−=0.\begin{aligned} [\mathcal N,a\sigma_+] &= -a\sigma_++a\sigma_+ =0, \\ [\mathcal N,a^\dagger\sigma_-] &= a^\dagger\sigma_- - a^\dagger\sigma_- =0. \end{aligned}

The Jaynes–Cummings exchange terms conserve excitation number. By contrast,

[N,a†σ+]=2a†σ+,[N,aσ−]=−2aσ−.\begin{aligned} [\mathcal N,a^\dagger\sigma_+] &= 2a^\dagger\sigma_+, \\ [\mathcal N,a\sigma_-] &= -2a\sigma_-. \end{aligned}

Counter-rotating terms change N\mathcal N by two. They therefore preserve (−1)N(-1)^{\mathcal N} even though they do not preserve N\mathcal N itself.

Finally,

[N,a+a†]=−a+a†.[\mathcal N,a+a^\dagger] = -a+a^\dagger.

A coherent cavity drive changes excitation number by one and does not preserve its parity. Thus block diagonalization by N\mathcal N applies to the undriven Jaynes–Cummings Hamiltonian, not automatically to driven or full-Rabi dynamics.

Consider manifold n=3n=3 with detuning Δ=6g\Delta=6g.

  1. Find Ω3\Omega_3 and the two energy shifts relative to the block center.
  2. Find cos⁡(2θ3)\cos(2\theta_3) and sin⁡(2θ3)\sin(2\theta_3).
  3. Find the maximum probability for ∣e,3⟩→∣g,4⟩|e,3\rangle\to|g,4\rangle.
Solution

Here n+1=4n+1=4, so

Ω3=(6g)2+4g2(4)=213 g.\begin{aligned} \Omega_3 &= \sqrt{ (6g)^2+4g^2(4) } \\ &= 2\sqrt{13}\,g. \end{aligned}

The eigenenergy shifts from the common center 4.5ℏωc4.5\hbar\omega_c are

±ℏΩ32=±ℏg13.\pm\frac{\hbar\Omega_3}{2} = \pm\hbar g\sqrt{13}.

The mixing-angle functions are

cos⁡(2θ3)=313,sin⁡(2θ3)=213.\cos(2\theta_3) = \frac{3}{\sqrt{13}}, \qquad \sin(2\theta_3) = \frac{2}{\sqrt{13}}.

The largest transfer probability is the prefactor of the sine squared:

Ptransfermax=4g2(4)(213 g)2=413≃0.308.\begin{aligned} P_{\rm transfer}^{\rm max} &= \frac{ 4g^2(4) }{ (2\sqrt{13}\,g)^2 } \\ &= \frac4{13} \simeq 0.308. \end{aligned}

The large detuning makes the eigenstates mostly bare and prevents complete exchange even though Ω3\Omega_3 exceeds the resonant oscillation frequency.

The resonant system starts in ∣e,0⟩|e,0\rangle.

  1. At what first time is the atom-field entanglement maximal?
  2. At what first time is the excitation fully transferred to the field?
  3. Find ⟨a†a⟩\langle a^\dagger a\rangle and ⟨σ+σ−⟩\langle\sigma_+\sigma_-\rangle at both times.
Solution

Ignoring the common phase,

∣ψ(t)⟩=cos⁡(gt)∣e,0⟩−isin⁡(gt)∣g,1⟩.|\psi(t)\rangle = \cos(gt)|e,0\rangle - i\sin(gt)|g,1\rangle.

Equal Schmidt coefficients first occur when

gt=π4,tent=π4g.gt=\frac{\pi}{4}, \qquad t_{\rm ent} = \frac{\pi}{4g}.

The state is then

∣ψ(tent)⟩=∣e,0⟩−i∣g,1⟩2,|\psi(t_{\rm ent})\rangle = \frac{ |e,0\rangle-i|g,1\rangle }{ \sqrt2 },

so

⟨a†a⟩=⟨σ+σ−⟩=12.\langle a^\dagger a\rangle = \langle\sigma_+\sigma_-\rangle = \frac12.

Complete transfer first occurs when

gt=π2,tswap=π2g.gt=\frac{\pi}{2}, \qquad t_{\rm swap} = \frac{\pi}{2g}.

The state is then −i∣g,1⟩-i|g,1\rangle, giving

⟨a†a⟩=1,⟨σ+σ−⟩=0.\langle a^\dagger a\rangle=1, \qquad \langle\sigma_+\sigma_-\rangle=0.

At all times their sum is one, as required by excitation-number conservation.

Exercise 4: Infer coupling from a detuned doublet

Section titled “Exercise 4: Infer coupling from a detuned doublet”

In the one-excitation manifold, spectroscopy gives

Ω02π=30 MHz,Δ2π=18 MHz.\frac{\Omega_0}{2\pi} = 30\ \mathrm{MHz}, \qquad \frac{\Delta}{2\pi} = 18\ \mathrm{MHz}.

Find g/(2π)g/(2\pi), the maximum transfer probability from ∣e,0⟩|e,0\rangle, and the time of its first maximum.

Solution

The splitting obeys

Ω02=Δ2+4g2.\Omega_0^2 = \Delta^2+4g^2.

Because all quoted values use the same division by 2π2\pi,

2g2π=(30 MHz)2−(18 MHz)2=24 MHz.\begin{aligned} 2\frac{g}{2\pi} &= \sqrt{ (30\ \mathrm{MHz})^2 - (18\ \mathrm{MHz})^2 } \\ &= 24\ \mathrm{MHz}. \end{aligned}

Therefore

g2π=12 MHz.\frac{g}{2\pi} = 12\ \mathrm{MHz}.

The maximum transfer probability is

Pmax=4g2Ω02=242302=0.64.P_{\rm max} = \frac{4g^2}{\Omega_0^2} = \frac{24^2}{30^2} = 0.64.

The first maximum of sin⁡2(Ω0t/2)\sin^2(\Omega_0t/2) occurs at Ω0t=π\Omega_0t=\pi, hence

tmax=πΩ0=12(30 MHz)≃16.7 ns.t_{\rm max} = \frac{\pi}{\Omega_0} = \frac{1}{ 2(30\ \mathrm{MHz}) } \simeq 16.7\ \mathrm{ns}.

A resonant coherent field has nˉ=25\bar n=25 and g/(2π)=50 kHzg/(2\pi)=50\ \mathrm{kHz}.

  1. Estimate the 1/e1/e collapse time.
  2. Estimate the first revival time.
  3. Estimate the initial central inversion frequency and the number of its periods before the first revival.
Solution

Since g=2π(50 kHz)g=2\pi(50\ \mathrm{kHz}),

tcol≃2g=22π(50 kHz)≃4.50 μs.\begin{aligned} t_{\rm col} &\simeq \frac{\sqrt2}{g} \\ &= \frac{\sqrt2}{ 2\pi(50\ \mathrm{kHz}) } \simeq 4.50\ \mu\mathrm s. \end{aligned}

The first revival time is

trev≃2π25g=550 kHz=100 μs.\begin{aligned} t_{\rm rev} &\simeq \frac{2\pi\sqrt{25}}{g} \\ &= \frac5{50\ \mathrm{kHz}} = 100\ \mu\mathrm s. \end{aligned}

Near the center of the distribution, the inversion angular frequency is 2gnˉ+12g\sqrt{\bar n+1}, so

2g262π≃510 kHz.\frac{ 2g\sqrt{26} }{2\pi} \simeq 510\ \mathrm{kHz}.

Its period is about 1.96 μs1.96\ \mu\mathrm s. The nominal number of central oscillation periods in one revival time is therefore

100 μs1.96 μs≃51.\frac{ 100\ \mu\mathrm s }{ 1.96\ \mu\mathrm s } \simeq 51.

The oscillations do not remain visible throughout that interval: they first collapse and then reappear as the number sectors rephase.

Exercise 6: Same mean photon number, different dynamics

Section titled “Exercise 6: Same mean photon number, different dynamics”

Compare two resonant field states with mean occupation 44:

ρA=∣4⟩⟨4∣,ρB=12∣0⟩⟨0∣+12∣8⟩⟨8∣.\rho_A=|4\rangle\langle4|, \qquad \rho_B = \frac12|0\rangle\langle0| + \frac12|8\rangle\langle8|.

The atom starts excited.

  1. Write WA(t)W_A(t) and WB(t)W_B(t).
  2. Show that their second derivatives at t=0t=0 agree.
  3. Compare them at gt=π/2gt=\pi/2.
Solution

The exact inversions are

WA(t)=cos⁡(2g5 t),WB(t)=12cos⁡(2gt)+12cos⁡(6gt).\begin{aligned} W_A(t) &= \cos\left( 2g\sqrt5\,t \right), \\ W_B(t) &= \frac12\cos(2gt) + \frac12\cos(6gt). \end{aligned}

For an arbitrary number distribution,

d2Wdt2∣t=0=−4g2⟨n+1⟩.\left. \frac{d^2W}{dt^2} \right|_{t=0} = -4g^2 \langle n+1\rangle.

Both states have ⟨n⟩=4\langle n\rangle=4, so both begin with curvature −20g2-20g^2. Their later dynamics depends on the full distribution, not just its mean.

At gt=π/2gt=\pi/2,

WA=cos⁡(π5)≃0.737,WB=12cos⁡π+12cos⁡3π=−1.\begin{aligned} W_A &= \cos(\pi\sqrt5) \simeq 0.737, \\ W_B &= \frac12\cos\pi + \frac12\cos3\pi = -1. \end{aligned}

Identical mean energy and identical short-time curvature do not determine the later atom-field exchange.

Exercise 7: Check the rotating-wave approximation

Section titled “Exercise 7: Check the rotating-wave approximation”

A nearly resonant circuit has

ωa2π≃ωc2π=5.0 GHz,g2π=100 MHz.\begin{gathered} \frac{\omega_a}{2\pi} \simeq \frac{\omega_c}{2\pi} = 5.0\ \mathrm{GHz}, \\ \frac{g}{2\pi} = 100\ \mathrm{MHz}. \end{gathered}

States up to n=24n=24 are appreciably occupied.

  1. Evaluate gn+1/(ωa+ωc)g\sqrt{n+1}/(\omega_a+\omega_c) at the largest occupation.
  2. Estimate the counter-rotating frequency shift g2/(ωa+ωc)g^2/(\omega_a+\omega_c).
  3. Compare it with κ/(2π)=0.5 MHz\kappa/(2\pi)=0.5\ \mathrm{MHz}.
Solution

At n=24n=24,

gn+1ωa+ωc=(100 MHz)(5)10 000 MHz=0.05.\frac{ g\sqrt{n+1} }{ \omega_a+\omega_c } = \frac{ (100\ \mathrm{MHz})(5) }{ 10\,000\ \mathrm{MHz} } = 0.05.

This is smaller than one but not parametrically tiny for precision work. The frequency-shift estimate is

12πg2ωa+ωc≃(100 MHz)210 000 MHz=1.0 MHz.\frac1{2\pi} \frac{g^2}{\omega_a+\omega_c} \simeq \frac{ (100\ \mathrm{MHz})^2 }{ 10\,000\ \mathrm{MHz} } = 1.0\ \mathrm{MHz}.

That estimate is twice the stated cavity linewidth. Even though the rotating-wave model may describe the gross exchange dynamics, a resolved spectroscopic fit should include counter-rotating and multilevel corrections.

A resonant cavity-QED system has

g2π=20 MHz,κ2π=2.0 MHz,γ2π=1.0 MHz.\begin{gathered} \frac{g}{2\pi}=20\ \mathrm{MHz}, \\ \frac{\kappa}{2\pi}=2.0\ \mathrm{MHz}, \qquad \frac{\gamma}{2\pi}=1.0\ \mathrm{MHz}. \end{gathered}

Starting from ∣e,0⟩|e,0\rangle, estimate the probability of no decay event during the first ideal vacuum swap. Use the ideal populations inside the integrated hazard.

Solution

The ideal swap time is

tswap=π2g=14(20 MHz)=12.5 ns.t_{\rm swap} = \frac{\pi}{2g} = \frac{1}{ 4(20\ \mathrm{MHz}) } = 12.5\ \mathrm{ns}.

Along the ideal trajectory,

Pe(t)=cos⁡2(gt),Pc(t)=sin⁡2(gt).\begin{aligned} P_e(t) &= \cos^2(gt), \\ P_c(t) &= \sin^2(gt). \end{aligned}

The integrated first-order jump hazard is

Λ=∫0tswap[γPe(t)+κPc(t)]dt=γ+κ2tswap,\begin{aligned} \Lambda &= \int_0^{t_{\rm swap}} \left[ \gamma P_e(t)+\kappa P_c(t) \right]dt \\ &= \frac{\gamma+\kappa}{2} t_{\rm swap}, \end{aligned}

because each population averages to one half over a complete transfer. Numerically,

Λ=2π(3.0 MHz)2(12.5 ns)≃0.118.\Lambda = \frac{ 2\pi(3.0\ \mathrm{MHz}) }{2} \left( 12.5\ \mathrm{ns} \right) \simeq 0.118.

The no-jump estimate is

Pno jump≃e−Λ≃0.889.P_{\rm no\ jump} \simeq e^{-\Lambda} \simeq 0.889.

This is a useful leading estimate. An exact non-Hermitian or master-equation solution lets unequal losses alter the conditional populations and also accounts for the reduced transfer fidelity after a jump.

  1. 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).
  2. F. W. Cummings, “Stimulated emission of radiation in a single mode,” Physical Review 140, A1051–A1056 (1965).
  3. J. H. Eberly, N. B. Narozhny, and J. J. Sanchez-Mondragon, “Periodic spontaneous collapse and revival in a simple quantum model,” Physical Review Letters 44, 1323–1326 (1980).
  4. G. Rempe, H. Walther, and N. Klein, “Observation of quantum collapse and revival in a one-atom maser,” Physical Review Letters 58, 353–356 (1987).
  5. M. Brune, F. Schmidt-Kaler, A. Maali, J. Dreyer, E. Hagley, J. M. Raimond, and S. Haroche, “Quantum Rabi oscillation: A direct test of field quantization in a cavity,” Physical Review Letters 76, 1800–1803 (1996).
  6. B. W. Shore and P. L. Knight, “The Jaynes–Cummings model,” Journal of Modern Optics 40, 1195–1238 (1993).
  7. J. M. Raimond, M. Brune, and S. Haroche, “Manipulating quantum entanglement with atoms and photons in a cavity,” Reviews of Modern Physics 73, 565–582 (2001).
  8. H. Walther, B. T. H. Varcoe, B.-G. Englert, and T. Becker, “Cavity quantum electrodynamics,” Reports on Progress in Physics 69, 1325–1382 (2006).
  9. S. Haroche and J.-M. Raimond, Exploring the Quantum: Atoms, Cavities, and Photons (Oxford University Press, 2006).
  10. M. O. Scully and M. S. Zubairy, Quantum Optics (Cambridge University Press, 1997).
  11. D. F. Walls and G. J. Milburn, Quantum Optics, 2nd ed. (Springer, 2008).
  12. C. C. Gerry and P. L. Knight, Introductory Quantum Optics (Cambridge University Press, 2005).
  13. A. Wallraff et al., “Strong coupling of a single photon to a superconducting qubit using circuit quantum electrodynamics,” Nature 431, 162–167 (2004).
  14. A. Blais, R.-S. Huang, A. Wallraff, S. M. Girvin, and R. J. Schoelkopf, “Cavity quantum electrodynamics for superconducting electrical circuits: An architecture for quantum computation,” Physical Review A 69, 062320 (2004).
  15. A. Blais, A. L. Grimsmo, S. M. Girvin, and A. Wallraff, “Circuit quantum electrodynamics,” Reviews of Modern Physics 93, 025005 (2021).
  16. M. Tavis and F. W. Cummings, “Exact solution for an NN-molecule–radiation-field Hamiltonian,” Physical Review 170, 379–384 (1968).
  17. D. Braak, “Integrability of the Rabi model,” Physical Review Letters 107, 100401 (2011).
  18. P. Forn-Díaz, L. Lamata, E. Rico, J. Kono, and E. Solano, “Ultrastrong coupling regimes of light–matter interaction,” Reviews of Modern Physics 91, 025005 (2019).