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†σ−),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),

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.

The closed model isolates coherent exchange. Cavity QED connects its coupling to a physical mode and includes linewidths and measured spectra; Dressed States compares quantized and semiclassical dressing.

Required background. Quantized Modes supplies ladder operators, the Two-Level Atom supplies the matter basis, and the Rotating-Wave Approximation explains the near-resonant reduction.

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”

For a transition with no diagonal permanent-dipole coupling, a real single-mode transverse coupling can be written in quantum Rabi form. This already presumes a consistent matter and field truncation; it is not a gauge-independent microscopic Hamiltonian at arbitrarily large coupling:

HR=ℏωca†a+ℏωa2σz+ℏg(a+a†)(σ++σ−).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).

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.\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}.

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 and ∣Δ∣≪ωa+ωc|\Delta|\ll\omega_a+\omega_c, 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 a low-occupation scale g2/(ωa+ωc)g^2/(\omega_a+\omega_c), with occupation factors for higher manifolds. Such shifts accumulate phase at long times. Far from resonance, counter-rotating and rotating dispersive shifts can be comparable even though both couplings are perturbative.
  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} in angular-frequency units. The drawing uses g/ωc=0.15g/\omega_c=0.15 and plots (E−Eg0)/(ℏωc)(E-E_{g0})/(\hbar\omega_c). 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}.

In the physical weak-coupling regime, the uncoupled vacuum is the ground state and its energy is

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

For a nondegenerate block (Ωn>0\Omega_n>0), 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}.

This is the shift of a same-branch transition away from ωc\omega_c. The difference between successive same-branch transition frequencies is the second finite difference. For total excitation N≫1N\gg1 its magnitude is

g∣N+1−2N+N−1∣≃g4N3/2.g\left|\sqrt{N+1}-2\sqrt N+\sqrt{N-1}\right| \simeq\frac{g}{4N^{3/2}}.

Both shrink at high occupation, but they have different scalings.

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⟩],|\psi_n(t)\rangle ={} e^{-i\omega_c(n+1/2)t} \Big[ A_n(t)|e,n\rangle + B_n(t)|g,n+1\rangle \Big],

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} + \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.

Randomizing the initial coherent state’s optical phase leaves these PnP_n unchanged and therefore gives exactly the same Wα(t)W_\alpha(t). The resulting joint state is mixed, so a revival of atomic inversion alone does not certify coherence between different initial photon-number sectors. The oscillatory coherence needed here is the atom–field exchange within each occupied manifold.

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ˉ)+⋯ .2g\sqrt{n+1} \simeq{} 2g\sqrt{\bar n+1} + \frac{g}{\sqrt{\bar n+1}} \left( n-\bar n \right) +\cdots.

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 resolve transitions from already populated higher manifolds; starting in ∣g,0⟩|g,0\rangle, linear response accesses only the first doublet. Preparing excited manifolds or using nonlinear multiphoton spectroscopy reveals the higher ladder. Linewidths and power broadening must be sufficiently small. 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.

For a genuine two-level system in the dispersive regime gn+1≪∣Δ∣g\sqrt{n+1}\ll|\Delta|, eliminating exchange gives the cavity shift χ≃g2/Δ\chi\simeq g^2/\Delta. A weakly anharmonic transmon needs its higher levels: with signed anharmonicity α=ω12−ω01\alpha=\omega_{12}-\omega_{01}, the leading result is χ≃g2α/[Δ(Δ+α)]\chi\simeq g^2\alpha/[\Delta(\Delta+\alpha)] when both transitions are dispersive. Here 2χ2\chi is the difference between the cavity frequencies conditioned on ∣e⟩|e\rangle and ∣g⟩|g\rangle; a common frequency shift is absorbed into the reference cavity resonance. The two virtual transitions give χ≃g2/Δ−g2/(Δ+α)\chi\simeq g^2/\Delta-g^2/(\Delta+\alpha), which vanishes in the harmonic limit α→0\alpha\to0. This cancellation requires the multilevel exchange Hamiltonian before projection onto two transmon levels (Blais et al.); it is absent from a two-level Jaynes–Cummings model. Readout and backaction are treated in 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.

In the one-excitation sector, a resonant full swap at t=π/(2g)t=\pi/(2g) transfers the excitation; a half-swap at t=π/(4g)t=\pi/(4g) 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 resonant emitters with identical coupling magnitude and phase gives the Tavis–Cummings model,

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

With all other emitters in their ground states, 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]ρ.\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.

Here D[L]ρ=LρL†−{L†L,ρ}/2\mathcal D[L]\rho=L\rho L^\dagger-\{L^\dagger L,\rho\}/2; κ\kappa is the cavity photon-number decay rate, γ\gamma the emitter population decay rate, and γϕ\gamma_\phi its added coherence-decay rate. The reservoirs are taken as independent, Markovian, and effectively at zero temperature for the lowering channels. 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. Resolving a collapse and revival requires the atom–field exchange oscillations to retain sufficient contrast and their relative timing until trevt_{\rm rev}. It does not require coherence between different initial photon-number sectors. Cavity loss changes the occupied manifold and 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.

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 3.5ℏωc3.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 low-occupation counter-rotating frequency scale g2/(ωa+ωc)g^2/(\omega_a+\omega_c); explain why it is not a uniform bound on shifts in all populated manifolds.
  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 low-occupation frequency scale 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 low-occupation scale alone is twice the stated cavity linewidth. Second-order energy corrections contain photon-number matrix elements, so higher-manifold shifts need their actual occupation factors. 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 exponentiated first-order hazard is an estimate, not an exact solution for unequal losses. At resonance and with no drive or pure dephasing, the unnormalized no-jump cavity amplitude is

cc(t)=−igg~e−(γ+κ)t/4sin⁡(g~t),g~=g2−(κ−γ)2/16.c_c(t)=-i\frac{g}{\widetilde g} e^{-(\gamma+\kappa)t/4}\sin(\widetilde g t),\qquad \widetilde g=\sqrt{g^2-(\kappa-\gamma)^2/16}.

It follows by exponentiating the two-dimensional effective Hamiltonian with diagonal terms −iγ/2-i\gamma/2 and −iκ/2-i\kappa/2. A decay leaves ∣g,0⟩|g,0\rangle, which cannot repopulate the target without a drive, so ∣cc(t)∣2|c_c(t)|^2 is also the unconditional target population. Survival probability includes both no-jump amplitudes and is not generally the transfer fidelity.