Lean, informalized

Nielsen & Chuang · Chapter 7, Quantum computers: physical realization · p. 306

Exercise 7.22 - The probability that an atom in a cavity absorbs one photon, or one of a pair

Absorption of one photon, alone or from a pair.

Hover over a blue or green term in the text, or a node in the graph, to find it in the other. Select it to read its declaration both in Lean and in words.

The Exercise

An atom sits in an optical cavity with two modes, aa and bb. It has a ground level GG and two excited levels EaE_a and EbE_b: a photon of mode aa can lift it from GG to EaE_a, with coupling strength gag_a, and a photon of mode bb from GG to EbE_b, with coupling strength gbg_b. Both transitions are detuned from their modes by the same δ\delta. A state of the atom and the field is written |nanb,X⟩|n_a n_b, X\rangle, with nan_a and nbn_b the numbers of photons in the two modes and XX the level of the atom.

The atom starts in its ground level, with one photon in mode aa, the state |10,G⟩|10,G\rangle, or with one photon in each mode, the state |11,G⟩|11,G\rangle. The exercise asks for the probability that by time tt the atom has absorbed a photon.

The Hamiltonian

For real δ\delta and gg, the detuned block M(δ,g)M(\delta, g) is the Hamiltonian of one mode and the transition it drives, on the state with a photon in the mode and the atom in its ground level and the state in which the atom has absorbed the photon; in this basis it is the 2×22 \times 2 matrix M(δ,g)=(−δggδ).M(\delta, g) = \begin{pmatrix} -\delta & g \\ g & \delta \end{pmatrix}.(1)✦

The single-excitation block H1H_1, for a detuning δ\delta and couplings gag_a and gbg_b, is the Hamiltonian on the four states with one excitation, taken in the order |10,G⟩|10,G\rangle, |00,Ea⟩|00,E_a\rangle, |01,G⟩|01,G\rangle, |00,Eb⟩|00,E_b\rangle. It is block diagonal, with one detuned block for each mode: H1=(M(δ,ga)00M(δ,gb)).H_1 = \begin{pmatrix} M(\delta, g_a) & 0 \\ 0 & M(\delta, g_b) \end{pmatrix}.(2)✦

The two-excitation block H2H_2, for the same δ\delta, gag_a and gbg_b, is the Hamiltonian on |11,G⟩|11,G\rangle and the two states it is coupled to, |01,Ea⟩|01,E_a\rangle, where the atom has absorbed the photon of mode aa, and |10,Eb⟩|10,E_b\rangle, where it has absorbed that of mode bb: H2=(−δgagbgaδ0gb0δ).H_2 = \begin{pmatrix} -\delta & g_a & g_b \\ g_a & \delta & 0 \\ g_b & 0 & \delta \end{pmatrix}.(3)✦

The Claim

For a real detuning δ\delta, coupling gg and time tt, the detuned absorption profile L(δ,g,t)L(\delta, g, t) is the Rabi formula for a transition driven off resonance, L(δ,g,t)=g2δ2+g2sin⁡2(δ2+g2t).L(\delta, g, t) = \frac{g^2}{\delta^2 + g^2}\,\sin^2\!\bigl(\sqrt{\delta^2 + g^2}\,t\bigr).(4)✦

With ℏ=1\hbar = 1, a state evolves under a Hamiltonian HH by e−iHte^{-iHt}.

Theorem 1. Let δ\delta, gag_a, gbg_b and tt be real. If δ\delta and gag_a are not both zero, the atom, starting in its ground level with one photon in mode aa, has absorbed the photon by time tt with probability 1−|⟨10,G|e−iH1t|10,G⟩|2=L(δ,ga,t).1 - \bigl|\langle 10,G|\,e^{-iH_1 t}\,|10,G\rangle\bigr|^2 = L(\delta, g_a, t).(5)✦ If gag_a and gbg_b are not both zero, the atom, starting in its ground level with one photon in each mode, has absorbed one of the two by time tt with probability 1−|⟨11,G|e−iH2t|11,G⟩|2=L(δ,ga2+gb2,t).1 - \bigl|\langle 11,G|\,e^{-iH_2 t}\,|11,G\rangle\bigr|^2 = L\bigl(\delta, \sqrt{g_a^2 + g_b^2}, t\bigr).(6)✦

What Is Checked

The claim is stated over the single-excitation block H1H_1 of (2), built from two detuned blocks (1), over the two-excitation block H2H_2 of (3), and over the profile LL of (4).