imported>Ichuang |
imported>Ichuang |
Line 252: |
Line 252: |
| mentioned previously. | | mentioned previously. |
| == Resonances and Two-Level Systems == | | == Resonances and Two-Level Systems == |
− | Now, unlike in classical mechanics, most resonances studied in atomic physics
| + | |
− | are not harmonic oscillators, but two-level systems. Unlike harmonic
| + | {{:Resonances and Two-Level Systems}} |
− | oscillators, two-level systems show saturation. When a harmonic oscillator is
| + | |
− | driven longer or faster, higher and higher excited states are populated: the
| |
− | oscillator amplitude can become arbitrarily large. In contrast, the amplitude
| |
− | of oscillation in a two-level system is limited to one half in the appropriate
| |
− | dimensionless units.\footnote{An analogous dimensionless amplitude for the
| |
− | harmonic oscillator would be the amplitude measured in units of the oscillator
| |
− | ground state size.}
| |
− | Why, and under what conditions, do classical harmonic oscillator models of a
| |
− | two-level system work? A two-level system of energy difference <math>E</math> can be
| |
− | approximated by a harmonic oscillator of frequency <math>\omega_o=E/\hbar</math>
| |
− | when saturation effects in the two-level system are negligible, i.e. when the
| |
− | population of the second excited state in the harmonic oscillator problem is
| |
− | negligible, or equivalently when the population ratio of the first excited state
| |
− | to the the ground state is small: <math>P_1/P_0\ll 1</math>. This is the basis for
| |
− | the classical Lorentz model of the electron bound in the atom that describes
| |
− | many linear atomic properties (for instance the refractive index) very well.
| |
− | See "The origin of the refractive index" in chapter 31 of the Feynman
| |
− | Lectures on Physics \cite{Feynman1963}.
| |
− | When saturation comes into play, i.e. when the initial ground state is
| |
− | appreciably depleted, the harmonic oscillator ceases to be a good model. The
| |
− | limit on the oscillation amplitude in a two-level system suggests that a
| |
− | classical system with periodic evolution and a limit on the amplitude, namely
| |
− | rotation, could provide a better classical model of a two-level system. Indeed,
| |
− | the motion of a classical magnetic moment in a uniform field provides a model
| |
− | that captures almost all features of the quantum-mechanical two-level system,
| |
− | the exception beting the projection onto one of the two possible outcomes in a
| |
− | measurement.
| |
− | \section{Magnetic Resonance: The Classical Magnetic Moment in a Spatially
| |
− | Uniform Field}
| |
− | === Magnetic Moment in a Static Field ===
| |
− | The interaction energy of a magnetic moment <math> {\bf{\mu}} </math> with a magnetic field
| |
− | <math> {\bf{B}} </math> is given by
| |
− | :<math>
| |
− | W=- {\bf{\mu}} \cdot {\bf{B}}
| |
− | </math>
| |
− | In a uniform field the force
| |
− | :<math>
| |
− | {\bf{F}} =- {\bf{\nabla}} W=0
| |
− | </math>
| |
− | vanishes, but the torque
| |
− | :<math>
| |
− | {\bf{T}} = {\bf{\mu}} \times {\bf{B}}
| |
− | </math>
| |
− | does not. For an angular momentum <math> {\bf{L}} </math> the equation of motion is then
| |
− | :<math>
| |
− | \dot{ {\bf{L}} }
| |
− | = {\bf{T}}
| |
− | = {\bf{\mu}} \times {\bf{B}}
| |
− | =\gamma {\bf{L}} \times {\bf{B}}
| |
− |
| |
− | </math>
| |
− | where we have introduced the gyromagnetic ratio <math>\gamma</math> as the proportionality
| |
− | constant between angular momentum and magnetic moment, as shown in Figure
| |
− | \ref{fig:static_precession}.
| |
− | \begin{figure}
| |
− | <blockquote>
| |
− | ::[[Image:resonances-static-precession.png|thumb|400px|none|]]
| |
− | \caption{Precession of a the magnetic moment and associated angular momentum
| |
− | about a static field <math> {\bf{B}} </math>.}
| |
− |
| |
− | </blockquote>
| |
− | \end{figure}
| |
− | This describes the precession of the magnetic moment about the magnetic field
| |
− | with angular frequency
| |
− | :<math>
| |
− | \Omega_L=-\gamma B
| |
− | </math>
| |
− | <math>\Omega_L</math> is known as the Larmor frequency.
| |
− | For electrons we have <math>\gamma_e=2\pi\times\unit{2.8}{\mega\hertz\per G}</math>,
| |
− | for protons <math>\gamma_e=2\pi\times\unit{4.2}{\kilo\hertz\per G}</math>.
| |
− | === An Alternative Solution: Rotating Coordinate System ===
| |
− | A vector <math> {\bf{A}} </math> rotating at constant angular velocity <math> {\bf{\Omega}} </math> is
| |
− | described by
| |
− | :<math>
| |
− | \dot{ {\bf{A}} } = {\bf{\Omega}} \times {\bf{A}}
| |
− | </math>
| |
− | Then the rates of change of <math> {\bf{A}} </math> measured in a coordinate system rotating
| |
− | at <math> {\bf{\Omega}} </math> and in an inertial system are related by
| |
− | :<math>
| |
− | \dot{ {\bf{A}} }_\text{in} =
| |
− | \dot{ {\bf{A}} }_\text{rot} + {\bf{\Omega}} \times {\bf{A}} _\text{in}
| |
− | </math>
| |
− | This follows immediately from the following facts:
| |
− | \begin{itemize}
| |
− | * If <math> {\bf{A}} </math> is constant in the rotating system then
| |
− | <math>\dot{ {\bf{A}} }_\text{in}= {\bf{\Omega}} \times {\bf{A}} _\text{in}</math>.
| |
− | * If <math> {\bf{\Omega}} =0</math> then
| |
− | <math>\dot{ {\bf{A}} }_\text{in}=\dot{ {\bf{A}} }_\text{rot}</math>.
| |
− | * Coordinate rotation is a linear transformation.
| |
− | \end{itemize}
| |
− | This transformation is sometimes abbreviated as the schematic rule
| |
− | :<math>
| |
− | \left(\frac{d}{dt}\right)_\text{rot}=
| |
− | \left(\frac{d}{dt}\right)_\text{in}- {\bf{\Omega}} \times\big(\big)_\text{in}
| |
− |
| |
− | </math>
| |
− | It follows that the angular momentum
| |
− | in a rotating frame obeys
| |
− | :<math>
| |
− | \dot{ {\bf{L}} }_\text{rot}
| |
− | = \dot{ {\bf{L}} }_\text{in}- {\bf{\Omega}} \times {\bf{L}} _\text{in}
| |
− | = {\bf{L}} \times(\gamma {\bf{B}} + {\bf{\Omega}} )
| |
− | </math>
| |
− | If we choose <math> {\bf{\Omega}} = {\bf{\Omega_L}} =-\gamma {\bf{B}} </math>, then
| |
− | <math> {\bf{L}} _\text{rot}</math> is constant in the rotating frame. Often it is useful to
| |
− | think of a fictitious magnetic field <math> {\bf{B}} _\text{fict}= {\bf{\Omega}} /\gamma</math>
| |
− | that appears in a rotating frame.
| |
− | === Larmor's Theorem for a Charged Particle in a Magnetic Field ===
| |
− | The vanishing of the torque on a magnetic moment when viewed in the correct
| |
− | rotating frame is reminiscent of Larmor's theorm for the motion of a charged
| |
− | particle in a magnetic field, which we now present.
| |
− | If the Lorentz force acts in an inertial frame,
| |
− | :<math>
| |
− | {\bf{F}} _\text{in}=q {\bf{v}} _\text{in}\times {\bf{B}}
| |
− | </math>
| |
− | then in the rotating frame, according to the rule
| |
− | \ref{eqn:rot_frame_transformation} we have
| |
− | :<math>\begin{align}
| |
− | \dot{ {\bf{r}} }_\text{rot}
| |
− | &= \dot{ {\bf{r}} }_\text{in} - {\bf{\Omega}} \times {\bf{r}} _\text{in} \\
| |
− | \ddot{ {\bf{r}} }_\text{rot}
| |
− | &= \ddot{ {\bf{r}} }_\text{in} - 2 {\bf{\Omega}} \times \dot{ {\bf{r}} }_\text{in}
| |
− | + {\bf{\Omega}} \times \left( {\bf{\Omega}} \times {\bf{r}} _\text{in}
| |
− | \right)
| |
− | \end{align}</math>
| |
− | resulting in a force <math> {\bf{F}} _\text{rot}=m\ddot{ {\bf{r}} }_\text{rot}</math> in the rotating frame given by
| |
− | :<math>\begin{align}
| |
− | {\bf{F}} _\text{rot}
| |
− | &= q {\bf{v}} _\text{in} \times {\bf{B}} - 2 m {\bf{\Omega}} \times
| |
− | {\bf{v}} _\text{in} + m {\bf{\Omega}} \times \left( {\bf{\Omega}} \times
| |
− | {\bf{r}} _\text{in} \right) \\
| |
− | &= q {\bf{v}} _\text{in} \times \left( {\bf{B}} + 2 \frac{m}{q} {\bf{\Omega}}
| |
− | \right) + m {\bf{\Omega}} \times \left( {\bf{\Omega}} \times
| |
− | {\bf{r}} _\text{in} \right)
| |
− | \end{align}</math>
| |
− | where we have used
| |
− | <math>m\ddot{r}_\text{in}= {\bf{F}} _\text{in}=q {\bf{v}} _\text{in}\times {\bf{B}} </math>.
| |
− | Choosing
| |
− | :<math>
| |
− | 2\frac{m}{q} {\bf{\Omega}} =- {\bf{B}} =-B {\bf{\hat e}} _z
| |
− | </math>
| |
− | yields
| |
− | :<math>
| |
− | {\bf{F}} _\text{rot}
| |
− | =\frac{q^2}{4m}B^2 {\bf{\hat e}} _z\times\left( {\bf{\hat e}} _z\times {\bf{r}} _\text{in}\right)\approx 0
| |
− | </math>
| |
− | if the <math>B</math> field is not too large. Thus the Lorentz force approximately
| |
− | disappears in the rotating frame. Note that while the vanishing of the force is
| |
− | approximate, the vanishing of the torque on a magnetic moment in the rotating
| |
− | frame is an exact result.
| |
− | === Rotating Magnetic Field on Resonance ===
| |
− | \begin{figure}
| |
− | <blockquote>
| |
− | ::[[Image:resonances-rotating-frame.png|thumb|400px|none|]]
| |
− | \caption{Field and moment vectors in the static and rotating frames for the case
| |
− | of resonant drive.}
| |
− |
| |
− | </blockquote>
| |
− | \end{figure}
| |
− | Consider a magnetic moment <math> {\bf{\mu}} </math> precessing about a field
| |
− | <math> {\bf{B}} =B_0 {\bf{\hat e}} _z</math> with <math> {\bf{\mu}} =(\mu, \theta, \phi=-\omega_0 t)</math>
| |
− | in spherical coordinates, where <math>\omega_0=-\gamma B_0</math>. Assume that we now
| |
− | apply an additional field <math> {\bf{B}} _1</math>, in the <math>xy</math>-plane rotating at
| |
− | <math>\omega_0</math>. To solve the resulting problem it is simplest to go into the
| |
− | rotating frame (Figure \ref{fig:rotating_frame}). Then <math> {\bf{B}} _1</math> is
| |
− | stationary, say along <math> {\bf{\hat e}} _x</math>, and there is an additional fictitious
| |
− | field <math> {\bf{B}} _\text{fict}= {\bf{\omega_0}} /\gamma=- {\bf{B}} _0</math> which
| |
− | cancels the field <math> {\bf{B}} _0</math>. So in the rotating frame we are left just with
| |
− | the static field <math> {\bf{B}} _1</math>, and the magnetic moment precesses about
| |
− | <math> {\bf{B}} _1</math> at the Rabi frequency
| |
− | :<math>
| |
− | \omega_R=\gamma B_1
| |
− | </math>
| |
− | A magnetic moment initially along the <math>- {\bf{\hat e}} _z</math> axis will point along
| |
− | the <math>+ {\bf{\hat e}} _z</math> axis at a time <math>T</math> given by <math>\omega_r T=\pi</math>, while a
| |
− | magnetic moment parallel or antiparallel to applied magnetic field <math> {\bf{B}} _1</math>
| |
− | does not precess in the rotating frame.
| |
− | \QU{
| |
− | Assume the magnetic moment is initially pointing
| |
− | along the <math>- {\bf{\hat e}} _z</math> axis. Assume that a rotating field <math>B_1\ll B_0</math> is
| |
− | applied, but that it rotates at a frequency <math>\omega_1>\omega_0</math>,
| |
− | where <math>\omega_0</math> is the Larmor frequency for the static field <math> {\bf{B}} =B_0 {\bf{\hat e}} _z</math>.
| |
− | Compared to the on-resonant case, <math>\omega_1=\omega_0</math>, is the oscillation frequency of
| |
− | the magnetic moment.
| |
− | \begin{enumerate}
| |
− | * larger
| |
− | * the same
| |
− | * smaller
| |
− | \end{enumerate}
| |
− | }
| |
− | \QU{
| |
− | Same question as \ref{q:rabi_freq_blue_detuned} but for <math>\omega_1<\omega_0</math>.
| |
− | }
| |
− | === Rotating Magnetic Field Off-Resonance ===
| |
− | If the rotation frequency
| |
− | <math>\omega</math> of <math> {\bf{B}} _1</math> does not equal the Larmor frequency
| |
− | <math>\omega_0=\gamma B_0</math> associated with the static field <math> {\bf{B}} _0</math>, then in
| |
− | the frame rotating with <math> {\bf{B}} _1</math> at frequency <math>\omega</math> the static field
| |
− | is not completely cancelled by the fictitious field
| |
− | <math>\omega/\gamma</math>, but a difference along <math> {\bf{\hat e}} _z</math> remains,
| |
− | giving rise to a total effective field in the rotating frame
| |
− | :<math>
| |
− | {\bf{B}} _\text{eff}=
| |
− | B_1 {\bf{\hat e}} _x + \left(B_0-\frac{\omega}{\gamma}\right) {\bf{\hat e}} _z
| |
− | </math>
| |
− | The effective field is static, lies at an angle <math>\theta</math> with the z
| |
− | :<math>
| |
− | \tan\theta=\frac{B_1}{B_0-\frac{\omega}{\gamma}}
| |
− | </math>
| |
− | and is of magnitude
| |
− | :<math>
| |
− | \left| B_\text{eff}\right| =\sqrt{B_1^2+\left(B_0-\frac{\omega}{\gamma}\right)^2}
| |
− | </math>
| |
− | The magnetic moment precesses around it with an effective (sometimes called
| |
− | generalized) Rabi frequency
| |
− | :<math>
| |
− | \Omega_R
| |
− | =\gamma B_\text{eff}
| |
− | =\sqrt{(\omega_0-\omega)^2+\omega_R^2}=\sqrt{\omega_R^2+\delta^2}
| |
− | </math>
| |
− | where <math>\omega_R=\gamma B_1</math> is the Rabi frequency associated with <math>B_1</math>, and
| |
− | <math>\delta=\omega-\omega_0</math> is the detuning from resonance with the Larmor
| |
− | frequency <math>\omega_0=\gamma B_0</math>.
| |
− | \subsection{Geometrical Solution for the Classical Magnetic Moment in Static and
| |
− | Rotating Fields}
| |
− | \begin{figure}
| |
− | <blockquote>
| |
− | ::[[Image:resonances-classical-rabi-construction.png|thumb|400px|none|]]
| |
− | \caption{Geometrical relations for the spin in combined static and rotating
| |
− | magnetic fields, viewed in the frame co-rotating with the drive field
| |
− | <math> {\bf{B}} _1</math>. At lower right is a view looking straight down the
| |
− | <math> {\bf{B}} _\text{eff}</math> axis.}
| |
− |
| |
− | </blockquote>
| |
− | \end{figure}
| |
− | Referring to Figure \ref{fig:rotating_coord_construction}, we have
| |
− | :<math>\begin{align}
| |
− | \phi
| |
− | &= \Omega_R t \\
| |
− | C
| |
− | &= \mu \sin \alpha \\
| |
− | A^2
| |
− | &= \mu^2 ( 1 - \cos \alpha )^2 + C^2 \\
| |
− | &= \mu^2 ( 1 - 2 \cos \alpha + \cos^2 \alpha + \sin^2 \alpha ) \\
| |
− | &= 2 \mu^2 (1 - \cos \alpha ) \\
| |
− | \Rightarrow \cos \alpha
| |
− | &= 1 - \frac{A^2}{2 \mu^2}
| |
− | \end{align}</math>
| |
− | On the other hand
| |
− | :<math>\begin{align}
| |
− | \frac{A}{2}
| |
− | &= \mu \sin \theta \sin \frac{\phi}{2} \\
| |
− | A
| |
− | &= 2 \mu \sin \theta \sin \frac{\Omega_R t}{2}
| |
− | \end{align}</math>
| |
− | so that
| |
− | :<math>\begin{align}
| |
− | \cos \alpha
| |
− | &= 1 - \frac{4 \mu^2 \sin^2 \theta \sin^2 \frac{\Omega_R t}{2}}{2 \mu^2}
| |
− | \\
| |
− | &= 1 - 2 \sin^2 \theta \sin^2 \frac{\Omega_R t}{2} \\
| |
− | \mu_z(t)
| |
− | &= \mu \cos \alpha \\
| |
− | &= \mu \left( 1 - 2 \frac{\omega_R^2}{\delta^2 + \omega_R^2} \sin^2
| |
− | \frac{\Omega_R t}{2} \right) \\
| |
− | \mu_z(t)
| |
− | &= \mu \left( 1 - 2 \frac{\omega_R^2}{\Omega_R^2} \sin^2 \frac{\Omega_R t}{2}
| |
− | \right)
| |
− |
| |
− | \end{align}</math>
| |
− | With <math>\omega_0 = \gamma B_0</math> the Larmor frequency of the static field,
| |
− | <math>\delta=\omega-\omega_0</math> the detuning, <math>\omega_R=\gamma B_1</math> the resonant and
| |
− | <math>\Omega_R=\sqrt{\omega_R^2+\delta^2}</math> the generalized Rabi frequencies. Note
| |
− | that the precession is faster, but the amplitude smaller for an off-resonant
| |
− | field than for the resonant case. The above result is also the correct
| |
− | quantum-mechanical result.
| |
− | === "Rapid" Adiabiatic Passage ===
| |
− | Rapid adiabatic passage is a technique for inverting a spin by (slowly) sweeping
| |
− | the detuning of a drive field through resonance. "Slowly" means slowly
| |
− | compared to the Larmor frequency <math>\gamma B_\text{eff}</math> about the effective
| |
− | static field in the rotating frame for all times. The physical picture is as
| |
− | follows. Assume the detuning is initially negative (<math>\delta<0</math>,
| |
− | <math> \left| \delta\gg\omega_R\right| </math>). Since
| |
− | :<math>
| |
− | \tan\theta=\frac{B_1}{B_0-\frac{\omega}{\gamma}}=\frac{\omega_R}{\omega_0-\omega}=-\frac{\omega_R}{\delta}
| |
− | </math>
| |
− | the effective magnetic field initially points of a small angle
| |
− | relative to the <math> {\bf{\hat e}} _z</math> axis. If the detuning is increased slowly
| |
− | compared to the Larmor frequency, the spin will continue to
| |
− | precess tightly around <math> {\bf{B}} _\text{eff}</math>, which for <math>\delta=0</math> points
| |
− | along the x axis, and for <math>\delta\gg\omega_R</math> along the <math>- {\bf{\hat e}} _z</math> axis
| |
− | (see Figure \ref{fig:rapid_adiabatic_passage}).
| |
− | \begin{figure}
| |
− | <blockquote>
| |
− | ::[[Image:resonances-adiab.png|thumb|400px|none|]]
| |
− | \caption{Motion of the spin during rapid adiabatic passage, viewed in the frame
| |
− | rotating with <math> {\bf{B}} _1</math>. The spin's rapid precession locks it to the
| |
− | direction of <math> {\bf{B}} _\text{eff}</math> and thus it is dragged through an angle <math>\pi</math>
| |
− | as the frequency is swept through resonance.}
| |
− |
| |
− | </blockquote>
| |
− | \end{figure}
| |
− | Thus the magnetic moment, starting out along <math> {\bf{B}} _0=B_0 {\bf{\hat e}} _z</math>,
| |
− | ends up pointing along <math>- {\bf{B}} _0=B_0 {\bf{\hat e}} _z</math>. Note that in the
| |
− | rotating frame <math> {\bf{\mu}} </math> remains always (almost) parallel to the
| |
− | effective field <math> {\bf{B}} _\text{eff}</math>.
| |
− | A similar precess is used in magnetic traps for atoms, but there
| |
− | <math> {\bf{B}} _\text{eff}</math> is a real, spatially dependent field constant in time.
| |
− | As the atom moves in this field, the fast precession of the
| |
− | magnetic moment about the local field keeps its direction locked
| |
− | to the local field, whose direction varies in the lab frame.
| |
− | Returning to rapid adiabatic passage, since the generalized Rabi frequency is
| |
− | smallest and equal to the resonant Rabi frequency <math>\omega_R</math> at <math>\delta=0</math>, the
| |
− | adiabatic requirement is most severe there, i.e. near <math>\theta=\pi/2</math>.
| |
− | Near <math>\theta=\pi/2</math> we have, with <math>B_z=B_0-1/\gamma\omega(t)</math>,
| |
− | :<math>
| |
− | \left| \dot\theta\right| =\frac{ \left| \dot{B}_z\right| }{B_1}=\frac{ \left| \dot\omega\right| }{\gamma B_1}
| |
− | =\frac{ \left| \dot\omega\right| }{\omega_R}\overset{!}{\ll}\omega_R
| |
− | </math>
| |
− | where the exclamation point in <math>\overset{!}{\ll}</math> indicates a requirement which
| |
− | we impose. Consequently, if the evolution is to be adiabatic, we must have
| |
− | <math> \left| \dot{\omega}\right| \ll\omega_R^2</math>.
| |
− | This means that the change <math>\Delta\omega</math> of rotation frequency
| |
− | <math>\omega</math> per Rabi period <math>T=2\pi/\omega_R</math>,
| |
− | <math> \left| \Delta\omega\right| = \left| \dot\omega\right| T= \left| \dot\omega\right| /\omega_R 2\pi</math>,
| |
− | must be small compared to the Rabi frequency <math>\omega_R</math>. The quantum mechanical
| |
− | treatment yields a probability for non-adiabatic transition (probability for the
| |
− | magnetic moment not following the magnetic field) given by
| |
− | :<math>
| |
− | P_\text{na}=exp\left(-\frac{\pi}{2}\frac{\omega^2_R}{ \left| \dot\omega\right| }\right)
| |
− | </math>
| |
− | in agreement with the above qualitative discussion.
| |
| == Quantized Spin in a Magnetic Field == | | == Quantized Spin in a Magnetic Field == |
| === Equation of Motion for the Expectation Value === | | === Equation of Motion for the Expectation Value === |
Resonances and Two-Level Atoms
Introduction to Resonances and Precision Measurements
Classically, a resonance is a system where one or more variables
change periodically such that when the system is no longer driven
by an extended periodic process, the decay of the system's
oscillation takes many (or at least several) oscillation periods.
Equivalently, the response of the driven system as a function of
drive frequency exhibits some form of peaked structure. The
frequency corresponding to the maximum response of the system is
called the resonance frequency ()
\begin{figure}
\caption{A resonance in the time (left) and frequency (right) domains. The
time domain picture shows the (decaying) oscillation in some variable of the
undriven system, while the frequency-domain pictures shows the steady-state
response amplitude of the driven system. The time units are chosen such that
while the quality factor is .}
\end{figure}
The simplest resonance systems have a single resonance frequency, corresponding
to the harmonic motion of the variable. Some form of dissipation (damping)
results in a finite damping time () for the undriven system,
and a finite width () of the resonance curve for the driven system.
The quantities and are related by a Fourier
transformation: any oscillation with time-varying amplitude must be made up of a
superposition of different frequency components, giving the resonance curve a
finite width in frequency space. Low dissipation results in a long decay time
, and a narrow frequency width . The ratio of frequency width
to resonance frequency is called the quality factor .
Atomic physics often deals with isolated atomic systems in a
vacuum, providing resonances of high quality factor . For
example, an optical transition, even in a room-temperature (ie
Doppler-broadened) gas, will have a -factor of
- Failed to parse (unknown function "\unit"): {\displaystyle \frac{f_0}{\Delta f} \sim \frac{\unit{10^{15}}{\hertz}}{\unit{10^9}{\hertz}} \sim 10^6 }
In contrast, high factors in solids typically require cryogenic
temperatures: typical factors of mechanical or electrical
systems are at room temperature and at
Failed to parse (unknown function "\unit"): {\displaystyle \lesssim \unit{1}{\kelvin}}
temperatures. Solid optical resonators are an
exception to this: has been achieved in the whispering gallery
modes of spheres or cylinders of high-purity glass \cite{Armani2003}.
\begin{figure}
\caption{One of the whispering-gallery resonators described in
\cite{Armani2003}. This particular resonator had a quality factor .
The very high surface quality required for such low losses is achieved by
having surface tension shape the rim of the disk after it has been temporarily
liquefied by a laser pulse; the inset shows the resonator before this
treatment.}
\end{figure}
At the macroscopic scale, astronomical systems consisting of massive bodies
travelling essentially undisturbed through the near-vacuum of space can also
exhibit high factors.
A resonance is particularly useful for science and technology if it is
reproducible by different realizations of the same system, and if it has a
well-understood theoretical connection to fundamental constants. In atomic
physics, quantum mechanics ensures both features: atoms of the same species are
fundamentally identical (although the probing apparatus is not), and the quantum
mechanical description of atomic structure is well understood and highly
accurate, at least for atoms with not too many electrons. The resonance
frequencies of hydrogen, and to a lesser degree helium, are directly tied via
quantum mechanics to fundamental constants such as the Rydberg constant,
Failed to parse (unknown function "\unit"): {\displaystyle R_\infty=\unit{1.0973731568525(73)\times10^7}{\reciprocal\metre}}
\cite{codata2002}, or the fine structure constant
\cite{codata2002}. In fact, the Rydberg constant is the most accurately known
constant in all of physics, and most fundamental constants have been determined
by atomic physics or optical techniques. Additional motivation for measuring
fundamental constants with ever-increasing accuracy has been provided by the
speculation (and claims of evidence for it \cite{Flambaum2004,Reinhold2006}),
that the fundamental constants may not be so constant after all, but that their
value is tied to the evolution (and therefore the age) of the universe.
Furthermore unexpected resonances, or splittings of resonances, have in the past
indicated the need for new theories or modifications of theories. For instance,
"anomalous" effects in the Zeeman structure (magnetic-field dependance) of
atomic lines led to the discovery of spin \cite{Uhlenbeck1926}.
while Lamb's measurement of the splitting between the and
states of atomic hydrogen, on the order of \unit{1000}{\mega\hertz}
instead of 0 as predicted by the Dirac theory, fostered the development of
quantum electrodynamics, the quantum theory of light.
Classical Resonances
A classical harmonic oscillator (HO) is a system
described by the second order differential equation
such as a mass on a spring, or a charge, voltage, or currant in an electric RLC
resonant circuit. For weak damping () the undriven
system decays with an exponential envelope,
with . In the
cases we will consider, so that
. The decay rate constant for the amplitude is
, while for the stored energy it is , i.e. the stored
energy decays exponentially with a time constant .
If the harmonic oscillator is driven at a frequency close to resonance,
, the amplitude response is a
lorentzian:
where is the detuning as shown on the right-hand side
of Figure \ref{fig:example_resonances}. The full width at half maximum (FWHM)
of a lorentzian curve is leading to a quality factor
Note that , , and are measured in angular frequency
units \unit{\radian\per\second}, or \unit{\reciprocal\second} for short, and
should not be confused with frequencies , etc. When quoting values, we will often write
explicitly Failed to parse (unknown function "\unit"): {\displaystyle \omega_0=2\pi\times\unit{1}{\mega\hertz}}
rather than
Failed to parse (unknown function "\unit"): {\displaystyle \omega_0=\unit{6.28\times10^6}{\reciprocal\second}}
to remind ourselves that
the quantity in question is an angular frequency. We will never write
Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \omega_0=\unit{6.28\times10^6}{Hz}}
: although formally dimensionally
consistent, this invites confusion with real (laboratory or Hertzian)
frequencies. For brevity, we will often write or say "frequency" when we mean
angular frequency, but will quote real frequencies as
Failed to parse (unknown function "\unit"): {\displaystyle f_0=\unit{1}{\mega\hertz}}
. Note that the natural unit for decay rate
constants is that of an angular frequency, as in .
Therefore we will express decay rates as inverse times in angular frequency
units: Failed to parse (unknown function "\unit"): {\displaystyle \gamma=\unit{10^4}{\reciprocal\second}}
for instance, but not
Failed to parse (unknown function "\unit"): {\displaystyle \gamma=\unit{10^4}{\hertz}}
, nor Failed to parse (unknown function "\unit"): {\displaystyle \gamma=2\pi\times\unit{1.6}{\kilo\hertz}}
.
Damping time constants are the inverse of decay rate constants,
Failed to parse (unknown function "\unit"): {\displaystyle \tau=1/\gamma=\unit{100}{\micro\second}}
.
Resonance Widths and Uncertainty Relations
From it follows that damping time and the resonance
linewidth of the driven system obey: or,
assuming , : a finite number of frequency
components or energies () is necessary to synthesize a pulse of
finite () width in time.
\begin{figure}
\caption{Measurement in a limited time , modelled as an ideal
monochromatic sine wave of frequency gated by an
observation window of finite width }
\end{figure}
This is quite similar to an uncertainty relation familiar from Fourier
transformation theory, according to which the measurement of a frequency in a
finite time (see Figure \ref{fig:gated_pulse}) results in a frequency
spread obeying .
By using we can further connect this with the usual Heisenberg
uncertainty relation
\QA{
Does the Heisenberg uncertainty relation ,
or rather the frequency uncertainty relation that follows from (classical) Fourier theory hold in classical
systems? Can you measure the angular frequency of a classical harmonic
oscillator in a time with an accuracy better than ?
}{
Yes: if you have a good model for the signal, for instance if you know that it
is a pure sine wave, and if the signal to noise ratio (SNR) of the measurement
is good enough, then you can fit the sine wave's frequency to much better
accuracy than its spectral width (see Fig.
\ref{fig:line_splitting}). As a general rule, the line center can be found to
within an uncertainty . This is
known as splitting the line. Splitting the line by a factor of 100 is fairly
straightforward, splitting it by a factor of a 1000 is a real challenge. As an
extreme example of this, Caesium fountain clocks interrogate a
\unit{9}{\giga\hertz} transition for a typical measurement time of
\unit{1}{\second}, yielding , but
the best ones can nonetheless achieve relative accuracies of
\cite{Santarelli1999}. Of course, this sort of performance requires a very good
understanding of the line shape and of systematics.
}
\begin{figure}
\caption{Splitting the line in time and frequency domains. Given a sufficiently
good model of the signal or line shape, and adequate signal-to-noise, one can
find the center frequency of the underlying signal to much better
than or the line width.}
\end{figure}
\QU{
Can you measure the angular frequency of a quantum mechanical harmonic
oscillator in a time to better than ?
}
\QU{
Can you measure the angular frequency of a laser pulse lasting a time
to better than ?}
If you answered \ref{q:quantum_line_splitting} and
\ref{q:classical_line_splitting} differently, you may have a problem with
\ref{q:laser_line_splitting}. Is a laser pulse quantum or classical? Clearly it
is possible to beat for a laser pulse. For
instance, you can superimpose the laser pulse with a laser of fixed and known
frequency on a photodiode, and fit the observed beatnote. The stronger the
probe pulse, the better the SNR of the beatnote, and the more accurately you can
extract the probe frequency. So how are we to reconcile quantum mechanics and
classical mechanics, and what does the Heisenberg uncertainty really state?
The Heisenberg uncertainty relation makes a statement about predicting the
outcome of a single measurement on a single system. For a single photon, the
limit does indeed hold. However, nothing in quantum
mechanics says that you cannot improve your knowledge about the average values
of the quantities characterizing the system by repeated measurements on
identical copies of it. In the laser example above, the frequency resolution
improves with probe pulse strength because we are measuring many photons - for
the purposes of this discussion we could have measured the frequencies of the
photons sequentially. For independent measurement of uncorrelated photons
the SNR is given by : the signal grows as , while the noise is the
shot noise of the photon number, which grows as . This SNR allows a
frequency uncertainty of , known as the standard
quantum limit. If we allow the use of entangled or correlated states of the
photons, then the uncertainty can be as low as the Heisenberg limit
\cite{Wineland1992,Wineland1994}.
Let us now revisit \ref{q:quantum_line_splitting}. You may have heard that the
quantum mechanical description of electromagnetism, quantum electrodynamics
(QED), represents any single mode of the electromagnetic field by a harmonic
oscillator of the same frequency. The ground state corresponds to no
photons in the mode, the first excited state to one photon and so forth.
This description is valid because photons to a very good approximation do not
interact: the addition of a photon changes the system's energy always by the
same increment. Since the many-photon pulse from \ref{q:laser_line_splitting}
maps onto a quantum harmonic oscillator, it seems to follow that
\ref{q:quantum_line_splitting} must also be answered in the affirmative. On the
other hand, a harmonic oscillator is a single quantum system to which the
Heisenberg limit must apply. The resolution of this apparent contradiction is
that \ref{q:quantum_line_splitting} is asking about a measurement of the
fundamental frequency of the harmonic oscillator, not the energy of a particular
level. Therefore if you measure the energy of the n-th level to , which can be done by exciting the -th level from
the ground state through a nonlinear process, then the uncertainty on the
harmonic oscillator resonance frequency (that corresponds to the laser frequency
in \ref{q:quantum_line_splitting}) is given by . �If the interaction with the oscillator is
restricted to classical fields or forces, then there is an additional
uncertainty of on which particular level of the oscillator is being
measured and so we recover the standard quantum limit
mentioned previously.
Resonances and Two-Level Systems
Resonances and Two-Level Systems
Quantized Spin in a Magnetic Field
Equation of Motion for the Expectation Value
For the system we have been considering, the Hamiltonian is
Recalling the Heisenberg equation of motion for any operator
is
where the last term refers to operators with an explicit time dependence, we
have in this instance
Using with the
Levi-Civita symbol , we have
or in short
These are just like the classical equations of motion
\ref{eq:classical_precession_in_static_field}, but here they describe the
precession of the operator for the magnetic moment or for the
angular momentum about the magnetic field at the (Larmor)
angular frequency .
Note that
\begin{itemize}
\item
Just as in the classical model, these operator equations are
exact; we have not neglected any higher order terms.
\item
Since the equations of motion hold for the operator, they must hold for
the expectation value
\item
We have not made use of any special relations for a spin- system, but
just the general commutation relation for angular momentum. Therefore the
result, precession about the magnetic field at the Larmor frequency, remains
true for any value of angular momentum .
\item
A spin- system has two energy levels, and the two-level problem with
coupling between two levels can be mapped onto the problem for a spin in a
magnetic field, for which we have developed a good classical intuition.
\item
If coupling between two or more angular momenta or spins within an atom
results in an angular momentum , the time evolution of this angular
momentum in an external field is governed by the same physics as for the
two-level system. This is true as long as the applied magnetic field is not
large enough to break the coupling between the angular momenta; a situation
known as the Zeeman regime. Note that if the coupled angular momenta have
different gyromagnetic ratios, the gyromagnetic ratio for the composite angular
momentum is different from those of the constituents.
\item
For large magnetic field the interaction of the individual constituents
with the magnetic field dominates, and they precess separately
about the magnetic field. This is the Paschen-Back regime.
\item
An even more interesting composite angular momentum arises when
two-level atoms are coupled symmetrically to an external
field. In this case we have an effective angular momentum
for the symmetric coupling (see Figure \ref{fig:dicke_states}).
\begin{figure}
\caption{Level structure diagram for two-level atoms in a basis of symmetric
states \cite{Dicke1954}. The leftmost column corresponds to an effective
spin- object. Other columns correspond to manifolds of symmetric states of
the atoms with lower total effective angular momentum.}
\end{figure}
Again the equation of motion for the composite angular momentum
is a precession. This is the problem considered in Dicke's famous paper
\cite{Dicke1954}, in which he shows that this collective precession can give
rise to massively enhanced couplings to external fields ("superradiance") due
to constructive interference between the individual atoms.
\end{itemize}
The Two-Level System: Spin-\texorpdfstring{}{1/2}
Let us now specialize to the two-level system and calculate the time evolution
of the occupation probabilities for the two levels.
\begin{figure}
\caption{Equivalence of two-level system with spin-. Note that for
the spin-up state (spin aligned with field) is the ground state. For
an electron, with , spin-up is the excited state. Be careful, as both
conventions are used in the literature.}
\end{figure}
We have that
where in the last equation we have used the fact that . The signs
are chosen for a spin with , such as a proton (Figure
\ref{fig:two_level_spin_half}). For an electron, or any other spin with
, the analysis would be the same but for the opposite sign of
and the corresponding exchange of and . If the system is
initially in the ground state, (or the spin along
, ), the expectation value obeys the classical
equation of motion \ref{eq:classical_rabi_flopping}:
Equation \ref{eqn:rabi_transition_probability} is the probability to find system
in the excited state at time if it was in ground state at time .
Figure \ref{fig:rabi_signal} shows a real-world example of such an oscillation.
\begin{figure}
\caption{Rabi oscillation signal taken in the Vuleti\'{c} lab shortly after this
topic was covered in lecture in 2008. The amplitude of the oscillations decays
with time due to spatial variations in the strength of the drive field (and
hence of the Rabi frequency), so that the different atoms drift out of phase
with each other.}
\end{figure}
Matrix form of Hamiltonian
With the matrix representation
we can write the Hamiltonian associated with the static
field as
where is the Larmor frequency, and
is a Pauli spin matrix. The eigenstates are , with
eigenenergies . A spin initially
along , corresponding to
evolves in time as
which describes a precession with angluar frequency .
The field , rotating at in the plane corresponds to
where have used the Pauli spin matrices , . The full
Hamiltonian is thus given by
This is the famous "dressed atom" Hamiltonian in the so-called "rotating wave
approximation". Its eigenstates and eigenvalues provide a very elegant, very
intuitive solution to the two-state problem.
Solution of the Schrodinger Equation for Spin-\texorpdfstring{}{1/2} in the Interaction Representation
The interaction representation consists of expanding the state
in terms of the eigenstates , of the Hamiltonian ,
including their known time dependence due to .
That means we write here
Substituting this into the Schrodinger equation
then results in the equations of motion for the coefficients
Where we have used the matrix form of the Hamiltonian,
\ref{eq:dressed_atom_hamiltonian}. Introducing the detuning
, we have
The explicit time dependence can be eliminated by the sustitution
As you will show (or have shown) in the problem set, this leads to solutions for
given by
with two constants that are determined by the initial conditions.
For we find
as already derived from the fact that the expectation value for
the magnetic moment obeys the classical equation.
Atomic Clocks and the Ramsey Method
When comparing the Hamiltonian for a spin- in a magnetic field to that of a
two-level system with a coupling between the two levels characterized by the
strength and frequency , we see that the energy spacing
between and corresponds to the Larmor frequency
in the static field. This spacing can provide a frequency or time reference if
perturbations affecting are sufficiently well controlled. For
instance, the time unit "second" is defined via the transition frequency
between two hyperfine states in the electronic ground state of the caesium atom,
which is near \unit{9.2}{\giga\hertz} in the microwave domain. The task of an
atomic clock is then to measure this frequency accurately by trying to tune a
frequency source (the frequency of the rotating field in the spin
picture) to the atomic frequency . Equivalently, we want to find the
frequency such that the detuning is equal to
zero.
Starting with an atom in (spin along for
), we could try to find the resonance frequency by noting that
according to
the population of the upper state is maximized for (i.e. the
precession of the spin to the direction is only complete on
resonance). This is the so-called Rabi method. It suffers from a number of
drawbacks. For one, the signal is only quadratic in the detuning , i.e.
the method is relatively insensitive near . Furthermore, the optimum
time depends on the strength of the coupling (i.e. the strength
of the rotating field), so fluctuations in can be mistaken for
changes in . Finally the coupling by to other levels can
lead to level shifts that are not intrinsic to the atom, but depend on the
applied drive (Figure \ref{fig:rabi_third_level}).
\begin{figure}
\caption{The drive used for Rabi flopping within the , system can
also off-resonantly couple one or both levels to other states, perturbing the
transition frequency .}
\end{figure}
Norman Ramsey invented an alternative method (the so-called "separated
oscillatory fields method", known for short as the "Ramsey method"
\cite{Ramsey1949,Ramsey1950}, for which he received the Nobel prize), that fixes
all of these problems. It leads to a signal that is linear rather than quadratic
in the detuning , does not require tuning the measurement time to match
the applied field strength , and, most importantly,
eliminates level shifts due to altogether.
The method is as follows. Instead of applying a pulse for a time t that
corresponds to Rabi rotation of the spin by (called a pulse), the
pulse is applied for half that time, corresponding to the Rabi rotation of the
spin by into the plane ( pulse). Then the applied field
is turned off and the system is left to precess in the static field
(or at its natural frequency ) for a measurement time . Finally, a
second pulse, identical to the original one, is applied (see Figure
\ref{fig:ramsey_sequence}).
\begin{figure}
\caption{Ramsey sequence}
\end{figure}
The signal is the component of the spin after the second
interaction. The signal after the second pulse is an oscillating signal
in , depending on how much phase the spin has acquired relative to the
local oscillator (the microwave signal generator at frequency ).
Examples of such curves are shown in Figures \ref{fig:ramsey_signal} and
\ref{fig:ramsey_vs_freq}.
\begin{figure}
\caption{Ramsey oscillation signal as a function of time taken in the
Vuleti\'{c} lab in 2007. The drive field was deliberately detuned from
resonance so that the oscillation at the detuning frequency would be visible.}
\end{figure}
\begin{figure}
\caption{Experimental data from Ramsey's original paper \cite{Ramsey1950},
showing the signal as a function of frequency. Note the narrow oscillation,
whose width is set by the measurement time , superimposed on the much broader
background set up by the inhomogeneously broadened pulses.}
\end{figure}
At the zero crossings we have maximum sensitivity of the signal with respect to
frequency changes. Note that the signal as a function of looks similar to
Rabi flopping. However, there the zero crossing measure the Rabi frequency, not
.
Decoherence Processes, Mixed States, Density Matrix
The purely Hamiltonian evolution described by the Schrodinger Equation
leaves the system in a pure state. However, often we have to deal with
incoherent processes such as the uncontrolled loss or addition of atoms, or
other perturbations that change the system evolution in an uncontrollable way.
If the incoherent process is merely a (state-dependent) loss of atoms to a third
state then we can describe the system by a Hamiltonian with complex eigenstates
The decay of the norm corresponds to decay out of the
, system, as in figure \ref{fig:decay_out}.
\begin{figure}
\caption{Decay out of the system, which can be modelled by a
non-Hermitian Hamiltonian, the imaginary part of the eigenvalue corresponding to
a decay rate.}
\end{figure}
However, other processes, such as spontaneous decay from to
or loss of coherence (well-defined phase relationship) between
and due to uncontrolled level shifts (e.g. collisions,
uncontrolled B-field fluctuations) cannot be dealt with within the
Hamiltonian approach and require the density matrix formalism.
Density Operator
The density operator formalism is necessary when the preparation
process does not prepare a single quantum state , but a
statistical mixture of quantum states with
probabilities . The density operator is the projection
operator for that statistical mixture, or ensemble average.
From the Schrodinger equation it follows that the Hamiltonian evolution of the
density operator is governed by
In the presence of damping and decay processes there are
additional terms, and the time evolution is governed by a
so-called Master equation.
The expectation value of any operator is given by
The expectation value of the unity operator must be 1, so
The expectation value of , , is unity for a pure state , and for a mixed state. In any
basis , is specified in terms of its matrix
elements
and the expectation value of any operator can be written as
The diagonal elements of the density matrix () are called the
probabilities since is the probability to find the system in state
, while the off-diagonal elements are called coherences (
is the coherence between states and ). If we write
with , real then is
the phase between states and , while
. The coherence is maximum when
. Finally note that the density
operator is hermitian, so that , as
we would expect for a meaningfully-defined coherence between two states.
Density Matrix for a Two-Level System and Bloch Vector
We now introduce a slightly different parametrization of the two-level
Hamiltonian \ref{eq:dressed_atom_hamiltonian} and of the corresponding density
matrix:
In the problem set you will show (or have shown) that the Hamiltonian evolution
of the density matrix
implies the equation of motion
for the vectors and
This slightly generalizes our previous result: for a pure state using the
Heisenberg equations of motion we had shown that the spin- and the
corresponding magnetic moment obey
but we have now generalized this result to mixed states, i.e. to ensemble
averages that have less than the maximum possible magnetic moment.
Note that Hamiltonian evolution does not change the purity of a
state: a pure state always remains pure, no matter how violently
it is rotated, and a mixed state retains its degree of mixedness
() Here we can check this explicitly by noting
that
Since , the length of does not change,
and hence is constant in time.