Exercise7.18 - The evolution operator on three states, written out entry by entry
The time evolution of an atom coupled to a cavity mode.
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 with two levels sits in a cavity and exchanges energy with a single mode of the field. Two real numbers fix the model: the detuning between the atom and the field, and the coupling strength . On the three states ,, the Hamiltonian of Jaynes and Cummings is a matrix, and the exercise asks for its time evolution operator at time , in units with , as an explicit matrix whose entries oscillate at the Rabi frequency, and for the phase it puts on .
An Atom in a Cavity
The Rabi frequency of a detuning and a coupling is the real number (1)✦
The Hamiltonian of Jaynes and Cummings, with detuning and coupling , is the operator on the span of ,, whose matrix in that basis is (2)✦
The Rabi unitary at time , for detuning and coupling , is the operator on the same three states with matrix (3)✦
The Claim
The entries of (3) divide by , which vanishes only when and are both zero.
Theorem 1. Let and be real numbers with , and let be a real time. Then the exponential of , with the Hamiltonian(2), is the Rabi unitary(3): (4)✦
Theorem 2. For all real , and , the entry of the Rabi unitary on is (5)✦
What Is Checked
The claim is stated over the Hamiltonian of (2), given by its matrix on the three states, and over the Rabi unitary of (3), whose entries are built from the Rabi frequency(1).