Difference between revisions of "Resonances"
imported>Ichuang |
|||
(139 intermediate revisions by 19 users not shown) | |||
Line 1: | Line 1: | ||
− | + | <!-- {{:units_tex}} --> | |
− | + | ||
− | = Resonances | + | == Classical Resonances == |
− | == Introduction | + | === Introduction === |
+ | <categorytree mode=pages style="float:right; clear:right; margin-left:1ex; border:1px solid gray; padding:0.7ex; background-color:white;" hideprefix=auto>8.421</categorytree> | ||
+ | |||
Classically, a resonance is a system where one or more variables | Classically, a resonance is a system where one or more variables | ||
change periodically such that when the system is no longer driven | change periodically such that when the system is no longer driven | ||
Line 11: | Line 13: | ||
frequency corresponding to the maximum response of the system is | frequency corresponding to the maximum response of the system is | ||
called the resonance frequency (<math>f_0</math>) | called the resonance frequency (<math>f_0</math>) | ||
− | + | ||
<blockquote> | <blockquote> | ||
− | : | + | <figure id="fig:example_resonances"> |
− | + | [[Image:resonances-example-resonances.png|thumb|400px|none|]] | |
− | time domain picture shows the (decaying) oscillation in some variable of the | + | <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 <math>f_0 = \omega_0 / 2 \pi = 1</math> while the quality factor is <math>Q = 10</math>. |
− | undriven system, while the frequency-domain pictures shows the steady-state | + | </caption> |
− | response amplitude of the driven system. The time units are chosen such that | + | </figure> |
− | <math>f_0 = \omega_0 / 2 \pi = 1</math> while the quality factor is <math>Q = 10</math>. | ||
− | |||
</blockquote> | </blockquote> | ||
− | + | ||
The simplest resonance systems have a single resonance frequency, corresponding | The simplest resonance systems have a single resonance frequency, corresponding | ||
to the harmonic motion of the variable. Some form of dissipation (damping) | to the harmonic motion of the variable. Some form of dissipation (damping) | ||
Line 30: | Line 30: | ||
superposition of different frequency components, giving the resonance curve a | superposition of different frequency components, giving the resonance curve a | ||
finite width in frequency space. Low dissipation results in a long decay time | finite width in frequency space. Low dissipation results in a long decay time | ||
− | <math>\Delta t</math>, and a narrow frequency width <math> | + | <math>\Delta t</math>, and a narrow frequency width <math>\Delta f</math>. The ratio of frequency width |
<math>\Delta f</math> to resonance frequency <math>f_0</math> is called the quality factor <math>Q</math>. | <math>\Delta f</math> to resonance frequency <math>f_0</math> is called the quality factor <math>Q</math>. | ||
:<math> | :<math> | ||
Line 42: | Line 42: | ||
:<math> | :<math> | ||
\frac{f_0}{\Delta f} | \frac{f_0}{\Delta f} | ||
− | \sim \frac{ | + | \sim \frac{{10^{15}}{\rm Hz}}{{{10^9}\,{{\rm Hz}}}} |
\sim 10^6 | \sim 10^6 | ||
</math> | </math> | ||
Line 48: | Line 48: | ||
temperatures: typical <math>Q</math> factors of mechanical or electrical | temperatures: typical <math>Q</math> factors of mechanical or electrical | ||
systems are <math>\sim 10^3</math> at room temperature and <math>\sim 10^6</math> at | systems are <math>\sim 10^3</math> at room temperature and <math>\sim 10^6</math> at | ||
− | <math>\lesssim | + | <math>\lesssim {{1}\,{{\rm K}}}</math> temperatures. |
− | + | ||
− | modes of spheres or cylinders of high-purity glass | + | High Q values are obtained in solids acting as optical resonators: <math>Q\gtrsim 10^8</math> has been achieved in the whispering gallery modes of spheres or cylinders of high-purity glass <ref name="Armani2003">D. K. Armani, T. J. Kippenberg, S. M. Spillane, and K. J. Vahala. Ultra-high-Q toroid microcavity on a chip. Nature, 421:925–928, Feb 2003.</ref>. |
− | + | ||
<blockquote> | <blockquote> | ||
− | ::[[Image:resonances-whispering-gallery|thumb| | + | ::[[Image:resonances-whispering-gallery.png|thumb|400px|none|]] |
− | + | One of the whispering-gallery resonators described in | |
− | + | <ref name="Armani2003">D. K. Armani, T. J. Kippenberg, S. M. Spillane, and K. J. Vahala. Ultra-high-Q toroid microcavity on a chip. Nature, 421:925–928, Feb 2003.</ref>. This particular resonator had a quality factor <math>Q=10^8</math>. | |
− | + | 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. | |
− | |||
</blockquote> | </blockquote> | ||
− | + | ||
At the macroscopic scale, astronomical systems consisting of massive bodies | At the macroscopic scale, astronomical systems consisting of massive bodies | ||
travelling essentially undisturbed through the near-vacuum of space can also | travelling essentially undisturbed through the near-vacuum of space can also | ||
− | exhibit high <math>Q</math> factors. | + | exhibit high <math>Q</math> factors. The rotation of the earth has a <math>Q</math> value of <math>10^7</math>, and pulsars of <math>10^{10}</math>. |
+ | |||
A resonance is particularly useful for science and technology if it is | 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 | reproducible by different realizations of the same system, and if it has a | ||
Line 75: | Line 75: | ||
frequencies of hydrogen, and to a lesser degree helium, are directly tied via | frequencies of hydrogen, and to a lesser degree helium, are directly tied via | ||
quantum mechanics to fundamental constants such as the Rydberg constant, | quantum mechanics to fundamental constants such as the Rydberg constant, | ||
− | <math>R_\infty= | + | <math>R_\infty={{1.0973731568525(73)\times10^7}\,{{\rm m}^{-1}}}</math> |
− | + | <ref name="codata2002">Peter J. Mohr, Barry N. Taylor, and David B. Newell. CODATA recommended values of the fundamental physical constants: 2002. Rev. Mod. Phys., 77, Jan 2005. Available online at http://physics.nist.gov/constants.</ref>, or the fine structure constant <math>\alpha=1/137.03599911(46)</math> | |
− | + | <ref name="codata2002">Peter J. Mohr, Barry N. Taylor, and David B. Newell. CODATA recommended values of the fundamental physical constants: 2002. Rev. Mod. Phys., 77, Jan 2005. Available online at http://physics.nist.gov/constants.</ref>. In fact, the Rydberg constant is the most accurately known | |
constant in all of physics, and most fundamental constants have been determined | constant in all of physics, and most fundamental constants have been determined | ||
by atomic physics or optical techniques. Additional motivation for measuring | by atomic physics or optical techniques. Additional motivation for measuring | ||
fundamental constants with ever-increasing accuracy has been provided by the | fundamental constants with ever-increasing accuracy has been provided by the | ||
− | speculation (and claims of evidence for it | + | speculation (and claims of evidence for it <ref name="Flambaum2004">V. V. Flambaum, D. B. Leinweber, A. W. Thomas, and R. D. Young. Limits on variations of the quark masses, QCD scale, and fine structure constant. Phys. Rev. D, 69(11):115006, 2004.</ref><ref name="Reinhold2006">E. Reinhold, R. Buning, U. Hollenstein, A. Ivanchik, P. Petitjean, and W. Ubachs. Indication of a cosmological variation of the proton-electron mass ratio based on laboratory measurement and reanalysis of h2 spectra. Phys. Rev. Lett., 96:151101, 2006.</ref>), |
that the fundamental constants may not be so constant after all, but that their | 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. | value is tied to the evolution (and therefore the age) of the universe. | ||
Line 87: | Line 87: | ||
indicated the need for new theories or modifications of theories. For instance, | indicated the need for new theories or modifications of theories. For instance, | ||
"anomalous" effects in the Zeeman structure (magnetic-field dependance) of | "anomalous" effects in the Zeeman structure (magnetic-field dependance) of | ||
− | atomic lines led to the discovery of spin | + | atomic lines led to the discovery of spin <ref name="Uhlenbeck1926">G. E. Uhlenbeck and S. Goudsmit. Spinning electrons and the structure of spectra. Nature, 117(2938):264, Feb 1926.</ref>. |
while Lamb's measurement of the splitting between the <math>^2S_{1/2}</math> and | while Lamb's measurement of the splitting between the <math>^2S_{1/2}</math> and | ||
− | <math>^2P_{1/2}</math> states of atomic hydrogen, on the order of | + | <math>^2P_{1/2}</math> states of atomic hydrogen, on the order of 1000MHz instead of 0 as predicted by the Dirac theory, fostered the development of quantum electrodynamics, the quantum theory of light. |
− | instead of 0 as predicted by the Dirac theory, fostered the development of | + | |
− | quantum electrodynamics, the quantum theory of light. | + | <!-- comment --> |
− | == Classical | + | |
+ | === Classical Harmonic Oscillator === | ||
A classical harmonic oscillator (HO) is a system | A classical harmonic oscillator (HO) is a system | ||
described by the second order differential equation | described by the second order differential equation | ||
Line 98: | Line 99: | ||
\ddot{q}+\gamma \dot{q}+\omega_0^2 q = 0 | \ddot{q}+\gamma \dot{q}+\omega_0^2 q = 0 | ||
</math> | </math> | ||
− | such as a mass on a spring, or a charge, voltage, or | + | such as a mass on a spring, or a charge, voltage, or current in an electric RLC |
resonant circuit. For weak damping (<math>\gamma^2 < 4\omega_0^2</math>) the undriven | resonant circuit. For weak damping (<math>\gamma^2 < 4\omega_0^2</math>) the undriven | ||
system decays with an exponential envelope, | system decays with an exponential envelope, | ||
Line 110: | Line 111: | ||
energy decays exponentially with a time constant <math>\tau=1/\gamma</math>. | energy decays exponentially with a time constant <math>\tau=1/\gamma</math>. | ||
If the harmonic oscillator is driven at a frequency <math>\omega</math> close to resonance, | If the harmonic oscillator is driven at a frequency <math>\omega</math> close to resonance, | ||
− | <math> \ | + | <math> \left| \omega_0-\omega\right| \ll\omega_0</math>, the amplitude response <math>q_0</math> is a |
lorentzian: | lorentzian: | ||
:<math> | :<math> | ||
Line 117: | Line 118: | ||
</math> | </math> | ||
where <math>\Delta=\omega-\omega_0</math> is the detuning as shown on the right-hand side | where <math>\Delta=\omega-\omega_0</math> is the detuning as shown on the right-hand side | ||
− | of | + | of <xr id="fig:example_resonances"/>. The full width at half maximum (FWHM) |
of a lorentzian curve is <math>\Delta \omega=\gamma</math> leading to a quality factor | of a lorentzian curve is <math>\Delta \omega=\gamma</math> leading to a quality factor | ||
:<math> | :<math> | ||
Line 126: | Line 127: | ||
should not be confused with frequencies <math>f_0=\omega_0/2\pi</math>, <math>\Delta | should not be confused with frequencies <math>f_0=\omega_0/2\pi</math>, <math>\Delta | ||
f=\Delta \omega/2\pi</math> etc. When quoting values, we will often write | f=\Delta \omega/2\pi</math> etc. When quoting values, we will often write | ||
− | explicitly <math>\omega_0=2\pi\times | + | explicitly <math>\omega_0=2\pi\times{{1}\,{{\rm MHz}}}</math> rather than |
− | <math>\omega_0= | + | <math>\omega_0={{6.28\times10^6}\,{{\rm s}^{-1}}}</math> to remind ourselves that |
the quantity in question is an angular frequency. We will never write | the quantity in question is an angular frequency. We will never write | ||
− | <math>\omega_0= | + | <math>\omega_0={{6.28\times10^6}\,{{\rm Hz}}}</math>: although formally dimensionally |
consistent, this invites confusion with real (laboratory or Hertzian) | consistent, this invites confusion with real (laboratory or Hertzian) | ||
frequencies. For brevity, we will often write or say "frequency" when we mean | frequencies. For brevity, we will often write or say "frequency" when we mean | ||
angular frequency, but will quote real frequencies as | angular frequency, but will quote real frequencies as | ||
− | <math>f_0= | + | <math>f_0={{1}\,{{\rm MHz}}}</math>. Note that the natural unit for decay rate |
constants is that of an angular frequency, as in <math>e^{-i\omega_0 t-\gamma t}</math>. | constants is that of an angular frequency, as in <math>e^{-i\omega_0 t-\gamma t}</math>. | ||
Therefore we will express decay rates as inverse times in angular frequency | Therefore we will express decay rates as inverse times in angular frequency | ||
− | units: <math>\gamma= | + | units: <math>\gamma={{10^4}\,{{\rm s}^{-1}}}</math> for instance, but not |
− | <math>\gamma= | + | <math>\gamma={{10^4}\,{{\rm Hz}}}</math>, nor <math>\gamma=2\pi\times{{1.6}\,{{\rm kHz}}}</math>. |
Damping time constants are the inverse of decay rate constants, | Damping time constants are the inverse of decay rate constants, | ||
− | <math>\tau=1/\gamma= | + | <math>\tau=1/\gamma={{100}\,{{\mu \rm s}}}</math>. |
− | == Resonance Widths and Uncertainty Relations == | + | |
+ | === Resonance Widths and Uncertainty Relations === | ||
From <math>\Delta\omega=\gamma</math> it follows that damping time <math>\tau</math> and the resonance | From <math>\Delta\omega=\gamma</math> it follows that damping time <math>\tau</math> and the resonance | ||
− | linewidth <math>\Delta\omega</math> of the driven system obey: <math>\Delta\omega\tau=1</math> or, | + | linewidth <math>\Delta\omega</math> of the driven system obey: <math>\Delta\omega\cdot\tau=1</math> or, |
assuming <math>E=\hbar\omega</math>, <math>\Delta E\tau=\hbar</math>: a finite number of frequency | assuming <math>E=\hbar\omega</math>, <math>\Delta E\tau=\hbar</math>: a finite number of frequency | ||
components or energies (<math>\Delta\omega>0</math>) is necessary to synthesize a pulse of | components or energies (<math>\Delta\omega>0</math>) is necessary to synthesize a pulse of | ||
finite (<math>\tau<\infty</math>) width in time. | finite (<math>\tau<\infty</math>) width in time. | ||
− | + | ||
<blockquote> | <blockquote> | ||
− | : | + | <figure id="fig:gated_pulse"> |
− | + | [[Image:resonances-gated-pulse.png|thumb|400px|none|]] | |
+ | <caption> | ||
+ | Measurement in a limited time <math>\Delta t</math>, modelled as an ideal | ||
monochromatic sine wave of frequency <math>\omega_0 / 2 \pi = 1</math> gated by an | monochromatic sine wave of frequency <math>\omega_0 / 2 \pi = 1</math> gated by an | ||
− | observation window of finite width <math>\Delta t</math> | + | observation window of finite width <math>\Delta t</math> |
− | + | </caption> | |
+ | </figure> | ||
</blockquote> | </blockquote> | ||
− | + | ||
This is quite similar to an uncertainty relation familiar from Fourier | This is quite similar to an uncertainty relation familiar from Fourier | ||
transformation theory, according to which the measurement of a frequency in a | transformation theory, according to which the measurement of a frequency in a | ||
− | finite time <math>\Delta t</math> (see | + | finite time <math>\Delta t</math> (see <xr id="fig:gated_pulse"/>) results in a frequency spread <math>\Delta\omega</math> obeying <math>\Delta \omega \Delta t \geq 1/2</math>. |
− | spread <math>\Delta\omega</math> obeying <math>\Delta \omega \Delta t \geq 1/2</math>. | ||
By using <math>E=\hbar\omega</math> we can further connect this with the usual Heisenberg | By using <math>E=\hbar\omega</math> we can further connect this with the usual Heisenberg | ||
uncertainty relation | uncertainty relation | ||
Line 164: | Line 168: | ||
\Delta E \Delta t \geq \hbar / 2 | \Delta E \Delta t \geq \hbar / 2 | ||
</math> | </math> | ||
− | + | ||
− | Does the Heisenberg uncertainty relation <math>\Delta E\Delta t\geq \hbar/2</math>, | + | '''Question:''' <definition id="q:classical_line_splitting" noautocaption noblock><caption>(Q%i)</caption></definition> Does the Heisenberg uncertainty relation <math>\Delta E\Delta t\geq \hbar/2</math>, or rather the frequency uncertainty relation <math>\Delta \omega\Delta |
− | or rather the frequency uncertainty relation <math>\Delta \omega\Delta | ||
t\geq 1/2</math> that follows from (classical) Fourier theory hold in classical | t\geq 1/2</math> that follows from (classical) Fourier theory hold in classical | ||
systems? Can you measure the angular frequency of a classical harmonic | systems? Can you measure the angular frequency of a classical harmonic | ||
oscillator in a time <math>\Delta t</math> with an accuracy better than <math>\Delta | oscillator in a time <math>\Delta t</math> with an accuracy better than <math>\Delta | ||
\omega=1/2\Delta t</math>? | \omega=1/2\Delta t</math>? | ||
− | + | ||
− | Yes | + | '''Answer:''' 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 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 | is good enough, then you can fit the sine wave's frequency to much better | ||
accuracy than its spectral width <math>\Delta\omega</math> (see Fig. | accuracy than its spectral width <math>\Delta\omega</math> (see Fig. | ||
− | + | <xr id="fig:line_splitting"/>). As a general rule, the line center can be found to | |
− | within an uncertainty <math>\delta\omega\approx\Delta\ | + | within an uncertainty <math>\delta\omega\approx\Delta\omega/\text{SNR}</math>. This is |
known as splitting the line. Splitting the line by a factor of 100 is fairly | 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 | straightforward, splitting it by a factor of a 1000 is a real challenge. As an | ||
extreme example of this, Caesium fountain clocks interrogate a | extreme example of this, Caesium fountain clocks interrogate a | ||
− | + | 9 GHz transition for a typical measurement time of | |
− | + | 1 s, yielding <math>\Delta\omega/\omega\approx 10^{-10}</math>, but | |
the best ones can nonetheless achieve relative accuracies of <math>10^{-16}</math> | the best ones can nonetheless achieve relative accuracies of <math>10^{-16}</math> | ||
− | + | <ref name="Santarelli1999">G. Santarelli, Ph. Laurent, P. Lemonde, A. Clairon, A. G. Mann, S. Chang, A. N. Luiten, and C. Salomon. Quantum projection noise in an atomic fountain: A high-stability cesium frequency standard. Phys. Rev. Lett., 82:4619, 1999.</ref>. Of course, this sort of performance requires a very good | |
understanding of the line shape and of systematics. | understanding of the line shape and of systematics. | ||
− | + | ||
− | + | ||
+ | |||
<blockquote> | <blockquote> | ||
− | : | + | <figure id="fig:line_splitting"> |
− | + | [[Image:resonances-line-splitting.png|thumb|500px|none|]] | |
+ | <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 | good model of the signal or line shape, and adequate signal-to-noise, one can | ||
find the center frequency <math>\omega_0</math> of the underlying signal to much better | find the center frequency <math>\omega_0</math> of the underlying signal to much better | ||
− | than <math>1 \text{ cycle}/\Delta t</math> or the line width. | + | than <math>1 \text{ cycle}/\Delta t</math> or the line width. |
− | + | </caption> | |
+ | </figure> | ||
</blockquote> | </blockquote> | ||
− | + | ||
− | + | '''Question:''' <definition id="q:quantum_line_splitting" noautocaption noblock><caption>(Q%i)</caption></definition> Can you measure the angular frequency of a quantum mechanical harmonic oscillator in a time <math>\Delta t</math> to better than <math>\Delta \omega=1/2\Delta t</math>? | |
− | Can you measure the angular frequency of a quantum mechanical harmonic | + | |
− | oscillator in a time <math>\Delta t</math> to better than <math>\Delta \omega=1/2\Delta | + | '''Question:''' <definition id="q:laser_line_splitting" noautocaption noblock><caption>(Q%i)</caption></definition> Can you measure the angular frequency of a laser pulse lasting a time <math>\Delta t</math> to better than <math>\Delta \omega=1/2\Delta t</math>? |
− | t</math>? | + | |
− | + | If you answered <xr id="q:quantum_line_splitting"/> and | |
− | + | <xr id="q:classical_line_splitting"/> differently, you may have a problem with | |
− | Can you measure the angular frequency of a laser pulse lasting a time <math>\Delta t</math> | + | <xr id="q:laser_line_splitting"/>. Is a laser pulse quantum or classical? Clearly it |
− | to better than <math>\Delta \omega=1/2\Delta t</math>? | ||
− | If you answered | ||
− | |||
− | |||
is possible to beat <math>\Delta\omega=1/2\Delta t</math> for a laser pulse. For | is possible to beat <math>\Delta\omega=1/2\Delta t</math> for a laser pulse. For | ||
instance, you can superimpose the laser pulse with a laser of fixed and known | instance, you can superimpose the laser pulse with a laser of fixed and known | ||
− | frequency on a photodiode, and fit the observed | + | frequency on a photodiode, and fit the observed beat note. The stronger the |
− | probe pulse, the better the SNR of the | + | probe pulse, the better the SNR of the beat note, and the more accurately you can |
extract the probe frequency. So how are we to reconcile quantum mechanics and | extract the probe frequency. So how are we to reconcile quantum mechanics and | ||
classical mechanics, and what does the Heisenberg uncertainty really state? | classical mechanics, and what does the Heisenberg uncertainty really state? | ||
+ | |||
The Heisenberg uncertainty relation makes a statement about predicting the | The Heisenberg uncertainty relation makes a statement about predicting the | ||
outcome of a single measurement on a single system. For a single photon, the | outcome of a single measurement on a single system. For a single photon, the | ||
Line 222: | Line 225: | ||
improves with probe pulse strength because we are measuring many photons - for | 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 | the purposes of this discussion we could have measured the frequencies of the | ||
− | photons sequentially. For independent measurement of <math>n</math> uncorrelated photons | + | photons sequentially. |
+ | |||
+ | For independent measurement of <math>n</math> uncorrelated photons | ||
the SNR is given by <math>\sqrt{n}</math>: the signal grows as <math>n</math>, while the noise is the | the SNR is given by <math>\sqrt{n}</math>: the signal grows as <math>n</math>, while the noise is the | ||
shot noise of the photon number, which grows as <math>\sqrt{n}</math>. This SNR allows a | shot noise of the photon number, which grows as <math>\sqrt{n}</math>. This SNR allows a | ||
Line 228: | Line 233: | ||
quantum limit. If we allow the use of entangled or correlated states of the | 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 | photons, then the uncertainty can be as low as the Heisenberg limit | ||
− | <math>1/2\Delta t n</math> | + | <math>1/2\Delta t n</math> <ref name="Wineland1992">D. J. Wineland, J. J. Bollinger, W. M. Itano, F. L. Moore, and D. J. Heinzen. Spin squeezing and reduced quantum noise in spectroscopy. Phys. Rev. A, 46(11):R6797–R6800, Dec 1992.</ref><ref name="Wineland1994">D. J. Wineland, J. J. Bollinger, W. M. Itano, and D. J. Heinzen. Squeezed atomic states and projection noise in spectroscopy. Phys. Rev. A, 50(1):67–88, Jul 1994.</ref>. |
− | Let us now revisit | + | |
+ | Let us now revisit <xr id="q:quantum_line_splitting"/>. You may have heard that the | ||
quantum mechanical description of electromagnetism, quantum electrodynamics | quantum mechanical description of electromagnetism, quantum electrodynamics | ||
(QED), represents any single mode of the electromagnetic field by a harmonic | (QED), represents any single mode of the electromagnetic field by a harmonic | ||
Line 236: | Line 242: | ||
This description is valid because photons to a very good approximation do not | 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 | interact: the addition of a photon changes the system's energy always by the | ||
− | same increment. Since the many-photon pulse from | + | same increment. Since the many-photon pulse from <xr id="q:laser_line_splitting"/> |
maps onto a quantum harmonic oscillator, it seems to follow that | maps onto a quantum harmonic oscillator, it seems to follow that | ||
− | + | <xr id="q:quantum_line_splitting"/> must also be answered in the affirmative. | |
− | other hand, a harmonic oscillator is a single quantum system to which the | + | |
+ | 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 | Heisenberg limit must apply. The resolution of this apparent contradiction is | ||
− | that | + | that <xr id="q:quantum_line_splitting"/> is asking about a measurement of the |
fundamental frequency of the harmonic oscillator, not the energy of a particular | 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 <math>\Delta | level. Therefore if you measure the energy of the n-th level to <math>\Delta | ||
Line 247: | Line 254: | ||
the ground state through a nonlinear process, then the uncertainty on the | the ground state through a nonlinear process, then the uncertainty on the | ||
harmonic oscillator resonance frequency (that corresponds to the laser frequency | harmonic oscillator resonance frequency (that corresponds to the laser frequency | ||
− | in | + | in <xr id="q:quantum_line_splitting"/>) is given by <math>\Delta \omega_0=\Delta |
− | E/n=1/n2\Delta t</math>. | + | E/n=1/n2\Delta t</math>. |
− | restricted to classical fields or forces, then there is an additional | + | |
+ | If the interaction with the oscillator is restricted to classical fields or forces, then there is an additional | ||
uncertainty of <math>\sqrt{n}</math> on which particular level of the oscillator is being | uncertainty of <math>\sqrt{n}</math> on which particular level of the oscillator is being | ||
measured and so we recover the standard quantum limit <math>1/2\Delta t\sqrt{n}</math> | measured and so we recover the standard quantum limit <math>1/2\Delta t\sqrt{n}</math> | ||
mentioned previously. | mentioned previously. | ||
− | == | + | |
+ | == Magnetic Resonance: The Classical Magnetic Moment in a Spatially Uniform Field == | ||
+ | |||
+ | === Harmonic oscillator versus two-level systems === | ||
+ | |||
Now, unlike in classical mechanics, most resonances studied in atomic physics | Now, unlike in classical mechanics, most resonances studied in atomic physics | ||
are not harmonic oscillators, but two-level systems. Unlike harmonic | are not harmonic oscillators, but two-level systems. Unlike harmonic | ||
Line 260: | Line 272: | ||
oscillator amplitude can become arbitrarily large. In contrast, the amplitude | 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 | of oscillation in a two-level system is limited to one half in the appropriate | ||
− | dimensionless units. | + | dimensionless units.(An analogous dimensionless amplitude for the |
harmonic oscillator would be the amplitude measured in units of the oscillator | harmonic oscillator would be the amplitude measured in units of the oscillator | ||
− | ground state size. | + | ground state size.) |
+ | |||
Why, and under what conditions, do classical harmonic oscillator models of a | 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 | two-level system work? A two-level system of energy difference <math>E</math> can be | ||
Line 273: | Line 286: | ||
many linear atomic properties (for instance the refractive index) very well. | many linear atomic properties (for instance the refractive index) very well. | ||
See "The origin of the refractive index" in chapter 31 of the Feynman | See "The origin of the refractive index" in chapter 31 of the Feynman | ||
− | Lectures on Physics | + | Lectures on Physics <ref name="Feynman1963">Richard Feynman, Robert B. Leighton, and Matthew L. Sands. The Feynman Lectures on Physics. Addison-Wesley, 1963. 3 volumes.</ref>. |
+ | |||
When saturation comes into play, i.e. when the initial ground state is | 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 | appreciably depleted, the harmonic oscillator ceases to be a good model. The | ||
Line 281: | Line 295: | ||
the motion of a classical magnetic moment in a uniform field provides a model | 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, | that captures almost all features of the quantum-mechanical two-level system, | ||
− | the exception | + | the exception being the projection onto one of the two possible outcomes in a measurement. |
− | measurement. | + | |
− | |||
− | |||
=== Magnetic Moment in a Static Field === | === Magnetic Moment in a Static Field === | ||
− | The interaction energy of a magnetic moment <math>{{\mu}}</math> with a magnetic field | + | The interaction energy of a magnetic moment <math> {\bf{\mu}} </math> with a magnetic field |
<math> {\bf{B}} </math> is given by | <math> {\bf{B}} </math> is given by | ||
:<math> | :<math> | ||
Line 300: | Line 312: | ||
</math> | </math> | ||
does not. For an angular momentum <math> {\bf{L}} </math> the equation of motion is then | does not. For an angular momentum <math> {\bf{L}} </math> the equation of motion is then | ||
− | :<math> | + | <equation id="eq:classical_precession_in_static_field" noautocaption> |
+ | <span style="float:right; display:block;"><caption>(%i)</caption></span> | ||
+ | <math> | ||
\dot{ {\bf{L}} } | \dot{ {\bf{L}} } | ||
= {\bf{T}} | = {\bf{T}} | ||
Line 307: | Line 321: | ||
</math> | </math> | ||
+ | </equation> | ||
where we have introduced the gyromagnetic ratio <math>\gamma</math> as the proportionality | where we have introduced the gyromagnetic ratio <math>\gamma</math> as the proportionality | ||
constant between angular momentum and magnetic moment, as shown in Figure | constant between angular momentum and magnetic moment, as shown in Figure | ||
− | + | <xr id="fig:static_precession"/>. | |
− | + | ||
<blockquote> | <blockquote> | ||
− | : | + | <figure id="fig:static_precession"> |
− | + | ||
− | about a static field <math> {\bf{B}} </math>. | + | [[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>. | ||
+ | </caption> | ||
+ | </figure> | ||
</blockquote> | </blockquote> | ||
− | + | ||
This describes the precession of the magnetic moment about the magnetic field | This describes the precession of the magnetic moment about the magnetic field | ||
with angular frequency | with angular frequency | ||
Line 324: | Line 344: | ||
</math> | </math> | ||
<math>\Omega_L</math> is known as the Larmor frequency. | <math>\Omega_L</math> is known as the Larmor frequency. | ||
− | For electrons we have <math>\gamma_e=2\pi\times | + | For electrons we have <math>\gamma_e=2\pi\times{{2.8}\,{{\rm MHz/G}}}</math>, |
− | for protons <math>\ | + | for protons <math>\gamma_p=2\pi\times{{4.2}\,{{\rm KHz/G}}}</math>. |
− | === | + | === Transformation to a Rotating Coordinate System === |
A vector <math> {\bf{A}} </math> rotating at constant angular velocity <math> {\bf{\Omega}} </math> is | A vector <math> {\bf{A}} </math> rotating at constant angular velocity <math> {\bf{\Omega}} </math> is | ||
described by | described by | ||
Line 337: | Line 357: | ||
:<math> | :<math> | ||
\dot{ {\bf{A}} }_\text{in} = | \dot{ {\bf{A}} }_\text{in} = | ||
− | \dot{ {\bf{A}} }_\text{rot}+ {\bf{\Omega}} \times {\bf{A}} _\text{in} | + | \dot{ {\bf{A}} }_\text{rot} + {\bf{\Omega}} \times {\bf{A}} _\text{in} |
</math> | </math> | ||
This follows immediately from the following facts: | This follows immediately from the following facts: | ||
− | + | ||
− | + | * 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>. | |
− | <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. | |
− | <math>\dot{ {\bf{A}} }_\text{in}=\dot{ {\bf{A}} }_\text{rot}</math>. | + | |
− | |||
− | |||
This transformation is sometimes abbreviated as the schematic rule | This transformation is sometimes abbreviated as the schematic rule | ||
− | :<math> | + | <equation id="eq:rot_frame_transformation" noautocaption> |
+ | <span style="float:right; display:block;"><caption>(%i)</caption></span> | ||
+ | <math> | ||
\left(\frac{d}{dt}\right)_\text{rot}= | \left(\frac{d}{dt}\right)_\text{rot}= | ||
\left(\frac{d}{dt}\right)_\text{in}- {\bf{\Omega}} \times\big(\big)_\text{in} | \left(\frac{d}{dt}\right)_\text{in}- {\bf{\Omega}} \times\big(\big)_\text{in} | ||
− | + | ||
</math> | </math> | ||
+ | </equation> | ||
It follows that the angular momentum | It follows that the angular momentum | ||
in a rotating frame obeys | in a rotating frame obeys | ||
Line 367: | Line 388: | ||
=== Larmor's Theorem for a Charged Particle in a Magnetic Field === | === 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 | The vanishing of the torque on a magnetic moment when viewed in the correct | ||
− | rotating frame is reminiscent of Larmor's | + | rotating frame is reminiscent of Larmor's theorem for the motion of a charged |
particle in a magnetic field, which we now present. | particle in a magnetic field, which we now present. | ||
+ | |||
+ | According to answers.com, Lamor's theorem can be stated as | ||
+ | |||
+ | For a system of charged particles, all having the same ratio of charge to mass, moving in a central field of force, the motion in a uniform magnetic induction B is, to first order in B, the same as a possible motion in the absence of B except for the superposition of a common precession of angular frequency equal to the Larmor frequency. | ||
+ | |||
+ | This is also nicely discussed in the Feynman Lectures of Physics Vol. 2, 34-5 (https://www.feynmanlectures.caltech.edu/II_34.html). | ||
+ | |||
If the Lorentz force acts in an inertial frame, | If the Lorentz force acts in an inertial frame, | ||
:<math> | :<math> | ||
Line 374: | Line 402: | ||
</math> | </math> | ||
then in the rotating frame, according to the rule | then in the rotating frame, according to the rule | ||
− | + | <xr id="eq:rot_frame_transformation"/> we have | |
− | \begin{align | + | :<math>\begin{align} |
− | \dot{ | + | \dot{ {\bf{r}} }_\text{rot} |
− | &= \dot{ | + | &= \dot{ {\bf{r}} }_\text{in} - {\bf{\Omega}} \times {\bf{r}} _\text{in} \\ |
− | \ddot{ | + | \ddot{ {\bf{r}} }_\text{rot} |
− | &= \ddot{ | + | &= \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) | \right) | ||
− | \end{align | + | \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 | resulting in a force <math> {\bf{F}} _\text{rot}=m\ddot{ {\bf{r}} }_\text{rot}</math> in the rotating frame given by | ||
− | \begin{align | + | :<math>\begin{align} |
− | + | {\bf{F}} _\text{rot} | |
− | &= q | + | &= 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 | + | &= q {\bf{v}} _\text{in} \times \left( {\bf{B}} + 2 \frac{m}{q} {\bf{\Omega}} |
− | \right) + m | + | \right) + m {\bf{\Omega}} \times \left( {\bf{\Omega}} \times |
− | + | {\bf{r}} _\text{in} \right) | |
− | \end{align | + | \end{align}</math> |
where we have used | where we have used | ||
<math>m\ddot{r}_\text{in}= {\bf{F}} _\text{in}=q {\bf{v}} _\text{in}\times {\bf{B}} </math>. | <math>m\ddot{r}_\text{in}= {\bf{F}} _\text{in}=q {\bf{v}} _\text{in}\times {\bf{B}} </math>. | ||
Line 402: | Line 430: | ||
:<math> | :<math> | ||
{\bf{F}} _\text{rot} | {\bf{F}} _\text{rot} | ||
− | =\frac{q^2}{4m}B^2 {\bf{\hat e}} _z\times\left(\ | + | =\frac{q^2}{4m}B^2 {\bf{\hat e}} _z\times\left( {\bf{\hat e}} _z\times {\bf{r}} _\text{in}\right)\approx 0 |
− | e}_z\times {\bf{r}} _\text{in}\right)\approx 0 | ||
</math> | </math> | ||
if the <math>B</math> field is not too large. Thus the Lorentz force approximately | if the <math>B</math> field is not too large. Thus the Lorentz force approximately | ||
− | disappears in the rotating frame. | + | disappears in the rotating frame. |
− | + | ||
− | + | Although Larmor's theorem is suggestive of the rotating co-ordinate transformation, | |
+ | it is important to realize that the two transformations, though identical in form, | ||
+ | apply to fundamentally different systems. A magnetic moment is not necessarily charged- | ||
+ | for example a neutral atom can have a net magnetic moment, and the neutron possesses a | ||
+ | magnetic moment in spite of being neutral - and it experiences no net force in a uniform | ||
+ | magnetic field. Furthermore, the rotating co-ordinate transformation is exact for a magnetic moment, whereas Larmor's theorem for the motion of a charged particle is only valid when the <math> B^2 </math> term is neglected. | ||
+ | |||
+ | Note: A breakdown of Larmor's theorem occurs for free electrons. Free electrons orbit in a magnetic field at the cyclotron frequency <math>\omega_c=qB/m</math> which is ''twice'' Larmor's frequency. The reason is that the orbiting velocity is now given by <math>v=\omega_c r </math>. As can be seen in the equation above, in this case, the centrifugal force equals minus one half of the Coriolis force, and therefore twice the frequency of the rotating frame is needed to cancel the effects of the applied magnetic field. | ||
+ | |||
+ | The reason why Larmor's theorem breaks down for free electrons is that the total velocity of the electron IS the rotational cyclotron motion. In contrast, in a composite system of positive and negative charges, you have Coulomb forces and orbital motion with high velocities, much higher than those due to the rotational motion. | ||
+ | |||
=== Rotating Magnetic Field on Resonance === | === Rotating Magnetic Field on Resonance === | ||
− | + | ||
<blockquote> | <blockquote> | ||
− | : | + | <figure id="fig:rotating_frame"> |
− | + | [[Image:resonances-rotating-frame.png|thumb|400px|none|]] | |
− | of resonant drive. | + | <caption>Field and moment vectors in the static and rotating frames for the case |
+ | of resonant drive.</caption> | ||
+ | </figure> | ||
</blockquote> | </blockquote> | ||
− | + | ||
Consider a magnetic moment <math> {\bf{\mu}} </math> precessing about a field | 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> | <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 | + | in spherical coordinates, where <math>\omega_0=-\gamma B_0</math> (as shown in fig:rotating_frame/>). Assume that we now |
apply an additional field <math> {\bf{B}} _1</math>, in the <math>xy</math>-plane rotating at | 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 | <math>\omega_0</math>. To solve the resulting problem it is simplest to go into the | ||
− | rotating frame ( | + | rotating frame (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 | 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 | field <math> {\bf{B}} _\text{fict}= {\bf{\omega_0}} /\gamma=- {\bf{B}} _0</math> which | ||
Line 434: | Line 473: | ||
A magnetic moment initially along the <math>- {\bf{\hat e}} _z</math> axis will point along | 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 | 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> | + | magnetic moment parallel or antiparallel to the applied magnetic field <math> {\bf{B}} _1</math> |
does not precess in the rotating frame. | does not precess in the rotating frame. | ||
− | + | ||
− | Assume the magnetic moment is initially pointing | + | '''Question:''' <definition id="q:rabi_freq_blue_detuned" noautocaption noblock><caption>(Q%i)</caption></definition> 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 | 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>, | applied, but that it rotates at a frequency <math>\omega_1>\omega_0</math>, | ||
Line 443: | Line 482: | ||
Compared to the on-resonant case, <math>\omega_1=\omega_0</math>, is the oscillation frequency of | Compared to the on-resonant case, <math>\omega_1=\omega_0</math>, is the oscillation frequency of | ||
the magnetic moment. | the magnetic moment. | ||
− | + | * larger | |
− | + | * the same | |
− | + | * smaller | |
− | + | ||
− | + | '''Question:''' Same question as <xr id="q:rabi_freq_blue_detuned"/> but for <math>\omega_1<\omega_0</math>. | |
− | + | ||
− | |||
− | Same question as | ||
− | |||
=== Rotating Magnetic Field Off-Resonance === | === Rotating Magnetic Field Off-Resonance === | ||
If the rotation frequency | If the rotation frequency | ||
Line 470: | Line 506: | ||
and is of magnitude | and is of magnitude | ||
:<math> | :<math> | ||
− | \ | + | \left| B_\text{eff}\right| =\sqrt{B_1^2+\left(B_0-\frac{\omega}{\gamma}\right)^2} |
</math> | </math> | ||
The magnetic moment precesses around it with an effective (sometimes called | The magnetic moment precesses around it with an effective (sometimes called | ||
Line 482: | Line 518: | ||
<math>\delta=\omega-\omega_0</math> is the detuning from resonance with the Larmor | <math>\delta=\omega-\omega_0</math> is the detuning from resonance with the Larmor | ||
frequency <math>\omega_0=\gamma B_0</math>. | frequency <math>\omega_0=\gamma B_0</math>. | ||
− | + | ||
− | Rotating Fields | + | ==== Geometrical Solution for the Classical Magnetic Moment in Static and Rotating Fields ==== |
− | + | ||
<blockquote> | <blockquote> | ||
− | : | + | <figure id="fig:rotating_coord_construction"> |
− | + | ||
− | + | [[Image:resonances-classical-rabi-construction.png|thumb|600px|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. | ||
+ | </caption> | ||
+ | </figure> | ||
</blockquote> | </blockquote> | ||
− | + | ||
− | Referring to | + | Referring to <xr id="fig:rotating_coord_construction"/>, we have |
− | \begin{align | + | :<math>\begin{align} |
\phi | \phi | ||
&= \Omega_R t \\ | &= \Omega_R t \\ | ||
Line 506: | Line 546: | ||
\Rightarrow \cos \alpha | \Rightarrow \cos \alpha | ||
&= 1 - \frac{A^2}{2 \mu^2} | &= 1 - \frac{A^2}{2 \mu^2} | ||
− | \end{align | + | \end{align}</math> |
On the other hand | On the other hand | ||
− | \begin{align | + | :<math>\begin{align} |
\frac{A}{2} | \frac{A}{2} | ||
&= \mu \sin \theta \sin \frac{\phi}{2} \\ | &= \mu \sin \theta \sin \frac{\phi}{2} \\ | ||
A | A | ||
&= 2 \mu \sin \theta \sin \frac{\Omega_R t}{2} | &= 2 \mu \sin \theta \sin \frac{\Omega_R t}{2} | ||
− | \end{align | + | \end{align}</math> |
so that | so that | ||
− | \begin{align} | + | <equation id="eq:classical_rabi_flopping" noautocaption> |
+ | <span style="float:right; display:block;"><caption>(%i)</caption></span> | ||
+ | <math>\begin{align} | ||
\cos \alpha | \cos \alpha | ||
&= 1 - \frac{4 \mu^2 \sin^2 \theta \sin^2 \frac{\Omega_R t}{2}}{2 \mu^2} | &= 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} | + | &= 1 - 2 \sin^2 \theta \sin^2 \frac{\Omega_R t}{2} \\ |
\mu_z(t) | \mu_z(t) | ||
− | &= \mu \cos \alpha | + | &= \mu \cos \alpha \\ |
&= \mu \left( 1 - 2 \frac{\omega_R^2}{\delta^2 + \omega_R^2} \sin^2 | &= \mu \left( 1 - 2 \frac{\omega_R^2}{\delta^2 + \omega_R^2} \sin^2 | ||
− | \frac{\Omega_R t}{2} \right) | + | \frac{\Omega_R t}{2} \right) \\ |
\mu_z(t) | \mu_z(t) | ||
&= \mu \left( 1 - 2 \frac{\omega_R^2}{\Omega_R^2} \sin^2 \frac{\Omega_R t}{2} | &= \mu \left( 1 - 2 \frac{\omega_R^2}{\Omega_R^2} \sin^2 \frac{\Omega_R t}{2} | ||
\right) | \right) | ||
− | \end{align} | + | \end{align}</math> |
+ | </equation> | ||
With <math>\omega_0 = \gamma B_0</math> the Larmor frequency of the static field, | 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>\delta=\omega-\omega_0</math> the detuning, <math>\omega_R=\gamma B_1</math> the resonant and | ||
Line 535: | Line 578: | ||
field than for the resonant case. The above result is also the correct | field than for the resonant case. The above result is also the correct | ||
quantum-mechanical result. | quantum-mechanical result. | ||
− | === "Rapid" Adiabiatic Passage === | + | |
+ | If we define the quantity <math> P= \frac{\mu_z(t)-\mu_z(0)}{2\mu_z(0)} </math>, we obtain | ||
+ | |||
+ | <math> P= \frac{\omega_R^2}{\Omega_R^2} \sin^2 \frac{\Omega_R t}{2} </math> | ||
+ | |||
+ | In the quantum mechanical treatment (see below), <math> P </math> is the probability to find the system in the second state, or the spin flip probability. | ||
+ | |||
+ | === "Rapid" Adiabiatic Passage (Classical Treatment) === | ||
Rapid adiabatic passage is a technique for inverting a spin by (slowly) sweeping | Rapid adiabatic passage is a technique for inverting a spin by (slowly) sweeping | ||
the detuning of a drive field through resonance. "Slowly" means slowly | 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 | compared to the Larmor frequency <math>\gamma B_\text{eff}</math> about the effective | ||
− | static field in the rotating frame for all times. | + | static field in the rotating frame for all times ("Rapid" means fast compared to relaxation processes which we neglect here). |
− | follows. Assume the detuning is initially negative (<math>\delta<0</math>, | + | |
− | <math>\ | + | 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> | :<math> | ||
\tan\theta=\frac{B_1}{B_0-\frac{\omega}{\gamma}}=\frac{\omega_R}{\omega_0-\omega}=-\frac{\omega_R}{\delta} | \tan\theta=\frac{B_1}{B_0-\frac{\omega}{\gamma}}=\frac{\omega_R}{\omega_0-\omega}=-\frac{\omega_R}{\delta} | ||
Line 550: | Line 601: | ||
precess tightly around <math> {\bf{B}} _\text{eff}</math>, which for <math>\delta=0</math> points | 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 | along the x axis, and for <math>\delta\gg\omega_R</math> along the <math>- {\bf{\hat e}} _z</math> axis | ||
− | (see | + | (see <xr id="fig:rapid_adiabatic_passage"/>). |
− | + | ||
<blockquote> | <blockquote> | ||
− | : | + | <figure id="fig:rapid_adiabatic_passage"> |
− | + | [[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 | 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> | 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. | + | as the frequency is swept through resonance. |
− | + | </caption> | |
+ | </figure> | ||
</blockquote> | </blockquote> | ||
− | + | ||
Thus the magnetic moment, starting out along <math> {\bf{B}} _0=B_0 {\bf{\hat e}} _z</math>, | 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 | ends up pointing along <math>- {\bf{B}} _0=B_0 {\bf{\hat e}} _z</math>. Note that in the | ||
− | rotating frame <math>\ | + | rotating frame <math> {\bf{\mu}} </math> remains always (almost) parallel to the |
effective field <math> {\bf{B}} _\text{eff}</math>. | effective field <math> {\bf{B}} _\text{eff}</math>. | ||
A similar precess is used in magnetic traps for atoms, but there | A similar precess is used in magnetic traps for atoms, but there | ||
Line 573: | Line 626: | ||
smallest and equal to the resonant Rabi frequency <math>\omega_R</math> at <math>\delta=0</math>, the | 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>. | 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- | + | Near <math>\theta=\pi/2</math> we have, with <math>B_z=B_0-\omega(t)/\gamma</math>, |
:<math> | :<math> | ||
− | \ | + | \left| \dot\theta\right| =\frac{ \left| \dot{B}_z\right| }{B_1}=\frac{ \left| \dot\omega\right| }{\gamma B_1} |
− | =\frac{ \ | + | =\frac{ \left| \dot\omega\right| }{\omega_R}\overset{!}{\ll}\omega_R |
</math> | </math> | ||
where the exclamation point in <math>\overset{!}{\ll}</math> indicates a requirement which | 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 | we impose. Consequently, if the evolution is to be adiabatic, we must have | ||
− | <math> \ | + | <math> \left| \dot{\omega}\right| \ll\omega_R^2</math>. |
This means that the change <math>\Delta\omega</math> of rotation frequency | 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>\omega</math> per Rabi period <math>T=2\pi/\omega_R</math>, | ||
− | <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>. | + | must be small compared to the Rabi frequency <math>\omega_R</math>. |
− | + | ||
− | + | Note that the inversion of the spin is independent of whether <math>\omega</math> is swept up or down through the resonance. | |
− | + | ||
− | |||
− | </math> | ||
− | |||
== 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 === | ||
For the system we have been considering, the Hamiltonian is | For the system we have been considering, the Hamiltonian is | ||
Line 616: | Line 667: | ||
Using <math>\left[\hat{L}_k,\hat{L}_l\right]=i\hbar\epsilon_{klm}\hat{L}_m</math> with the | Using <math>\left[\hat{L}_k,\hat{L}_l\right]=i\hbar\epsilon_{klm}\hat{L}_m</math> with the | ||
Levi-Civita symbol <math>\epsilon_{klm}</math>, we have | Levi-Civita symbol <math>\epsilon_{klm}</math>, we have | ||
− | \begin{align | + | :<math>\begin{align} |
\frac{d}{dt} \hat{\mu}_x | \frac{d}{dt} \hat{\mu}_x | ||
&= - \frac{i \gamma^2}{\hbar} B_0 i \hbar \hat{L}_y | &= - \frac{i \gamma^2}{\hbar} B_0 i \hbar \hat{L}_y | ||
Line 625: | Line 676: | ||
\frac{d}{dt} \hat{\mu}_z | \frac{d}{dt} \hat{\mu}_z | ||
&= 0 | &= 0 | ||
− | \end{align | + | \end{align}</math> |
or in short | or in short | ||
− | \begin{align} | + | :<math>\begin{align} |
− | \frac{d}{dt} | + | \frac{d}{dt} {\bf{\hat\mu}} |
− | &= \gamma | + | &= \gamma {\bf{\hat\mu}} \times {\bf{B}} \\ |
− | \frac{d}{dt} | + | \frac{d}{dt} {\bf{\hat L}} |
− | &= \gamma | + | &= \gamma {\bf{\hat L}} \times {\bf{B}} |
− | \end{align} | + | \end{align}</math> |
These are just like the classical equations of motion | These are just like the classical equations of motion | ||
− | + | <xr id="eq:classical_precession_in_static_field"/>, but here they describe the | |
precession of the operator for the magnetic moment <math> {\bf{\hat\mu}} </math> or for the | precession of the operator for the magnetic moment <math> {\bf{\hat\mu}} </math> or for the | ||
angular momentum <math> {\bf{\hat L}} </math> about the magnetic field at the (Larmor) | angular momentum <math> {\bf{\hat L}} </math> about the magnetic field at the (Larmor) | ||
angular frequency <math>\omega_L=\gamma B_0</math>. | angular frequency <math>\omega_L=\gamma B_0</math>. | ||
− | Note that | + | |
− | + | Note that: | |
− | + | ||
− | Just as in the classical model, these operator equations are | + | * Just as in the classical model, these operator equations are exact; we have not neglected any higher order terms. |
− | exact; we have not neglected any higher order terms. | + | |
− | + | * Since the equations of motion hold for the operator, they must hold for the expectation value | |
− | Since the equations of motion hold for the operator, they must hold for | ||
− | the expectation value | ||
:<math> | :<math> | ||
− | \ | + | \langle{\dot{ {\bf{\hat L}} }}\rangle =\gamma\langle{ {\bf{\hat L}} }\rangle\times {\bf{B}} |
</math> | </math> | ||
− | + | ||
− | We have not made use of any special relations for a spin-<math>1/2</math> system, but | + | * We have not made use of any special relations for a spin-<math>1/2</math> 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 <math>l</math>. |
− | just the general commutation relation for angular momentum. Therefore the | + | |
− | result, precession about the magnetic field at the Larmor frequency, remains | + | * A spin-<math>1/2</math> 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. |
− | true for any value of angular momentum <math>l</math>. | + | |
− | + | * If coupling between two or more angular momenta or spins within an atom results in an angular momentum <math>F>1/2</math>, 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. | |
− | A spin-<math>1/2</math> 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 | + | * 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. |
− | magnetic field, for which we have developed a good classical intuition. | + | |
− | + | * An even more interesting composite angular momentum arises when <math>N</math> two-level atoms are coupled symmetrically to an external field. In this case we have an effective angular momentum <math>L=N/2</math> for the symmetric coupling: | |
− | If coupling between two or more angular momenta or spins within an atom | + | |
− | results in an angular momentum <math>F>1/2</math>, the time evolution of this angular | + | <blockquote> |
− | momentum in an external field is governed by the same physics as for the | + | ::[[Image:resonances-Dicke-states.png|thumb|600px|none|]] |
− | two-level system. This is true as long as the applied magnetic field is not | + | Level structure diagram for <math>n</math> two-level atoms in a basis of symmetric states <ref name="Dicke1954">R. H. Dicke. Coherence in spontaneous radiation processes. Phys. Rev., 93(1):99, Jan 1954.</ref>. The leftmost column corresponds to an effective spin-<math>n/2</math> object. Other columns correspond to manifolds of symmetric states of the <math>n</math> atoms with lower total effective angular momentum. |
− | large enough to break the coupling between the angular momenta; a situation | + | </blockquote> |
− | known as the Zeeman regime. Note that if the coupled angular momenta have | + | : Again the equation of motion for the composite angular momentum <math> {\bf{\hat L}} </math> is a precession. This is the problem considered in Dicke's famous paper <ref name="Dicke1954">R. H. Dicke. Coherence in spontaneous radiation processes. Phys. Rev., 93(1):99, Jan 1954.</ref>, 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. |
− | different gyromagnetic ratios, the gyromagnetic ratio for the composite angular | + | |
− | momentum is different from those of the constituents. | + | === The Two-Level System: Spin-1/2 === |
− | + | ||
− | 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. | ||
− | |||
− | An even more interesting composite angular momentum arises when | ||
− | <math>N</math> two-level atoms are coupled symmetrically to an external | ||
− | field. In this case we have an effective angular momentum | ||
− | <math>L=N/2</math> for the symmetric coupling | ||
− | |||
− | ::[[Image:resonances-Dicke-states.png|thumb| | ||
− | |||
− | states | ||
− | spin-<math>n/2</math> object. Other columns correspond to manifolds of symmetric states of | ||
− | the <math>n</math> atoms with lower total effective angular momentum. | ||
− | |||
− | |||
− | Again the equation of motion for the composite angular momentum <math> {\bf{\hat L}} </math> | ||
− | is a precession. This is the problem considered in Dicke's famous paper | ||
− | |||
− | rise to massively enhanced couplings to external fields ("superradiance") due | ||
− | to constructive interference between the individual atoms. | ||
− | |||
− | === The Two-Level System: Spin- | ||
Let us now specialize to the two-level system and calculate the time evolution | Let us now specialize to the two-level system and calculate the time evolution | ||
of the occupation probabilities for the two levels. | of the occupation probabilities for the two levels. | ||
− | + | ||
<blockquote> | <blockquote> | ||
− | : | + | <figure id="fig:two_level_spin_half"> |
− | + | [[Image:resonances-two-level.png|thumb|500px|none|]] | |
− | <math>\gamma>0</math> the spin-up state (spin aligned with field) is the ground state. For | + | <caption> Equivalence of two-level system with spin-<math>1/2</math>. Note that for |
− | an electron, with <math>\gamma<0</math>, spin-up is the excited state. Be careful, as both | + | <math>\gamma>0</math> the spin-up state (spin aligned with field) is the ground state. For an electron, with <math>\gamma<0</math>, spin-up is the excited state. Be careful, as both conventions are used in the literature. |
− | conventions are used in the literature. | + | </caption> |
− | + | </figure> | |
</blockquote> | </blockquote> | ||
− | + | ||
We have that | We have that | ||
:<math> | :<math> | ||
− | \left | + | \left\langle S_z\right\rangle |
=\frac{\hbar}{2}\left(P_\uparrow-P_\downarrow\right) | =\frac{\hbar}{2}\left(P_\uparrow-P_\downarrow\right) | ||
=\frac{\hbar}{2}\left(P_g-P_e\right) | =\frac{\hbar}{2}\left(P_g-P_e\right) | ||
Line 712: | Line 738: | ||
where in the last equation we have used the fact that <math>P_e+P_g=1</math>. The signs | where in the last equation we have used the fact that <math>P_e+P_g=1</math>. The signs | ||
are chosen for a spin with <math>\gamma>0</math>, such as a proton (Figure | are chosen for a spin with <math>\gamma>0</math>, such as a proton (Figure | ||
− | + | <xr id="fig:two_level_spin_half"/>). For an electron, or any other spin with | |
<math>\gamma<0</math>, the analysis would be the same but for the opposite sign of <math>S_z</math> | <math>\gamma<0</math>, the analysis would be the same but for the opposite sign of <math>S_z</math> | ||
and the corresponding exchange of <math>\uparrow</math> and <math>\downarrow</math>. If the system is | and the corresponding exchange of <math>\uparrow</math> and <math>\downarrow</math>. If the system is | ||
− | initially in the ground state, <math>P_g(t=0)=1</math> (or the spin along <math>+\ | + | initially in the ground state, <math>P_g(t=0)=1</math> (or the spin along |
− | e}_z</math>, <math>S_z(0)=+\hbar/2</math>), the expectation value obeys the classical | + | <math>+ {\bf{\hat e}} _z</math>, <math>S_z(0)=+\hbar/2</math>), the expectation value obeys the classical |
− | equation of motion | + | equation of motion <xr id="eq:classical_rabi_flopping"/>: |
− | \begin{align} | + | <equation id="eq:rabi_transition_probability" noautocaption> |
+ | <span style="float:right; display:block;"><caption>(%i)</caption></span> | ||
+ | <math>\begin{align} | ||
P_e(t) | P_e(t) | ||
− | &= \frac{1}{2} - \frac{1}{\hbar} | + | &= \frac{1}{2} - \frac{1}{\hbar} \left\langle S_z\right\rangle |
= \frac{1}{2} | = \frac{1}{2} | ||
− | - \frac{ | + | - \frac{ \left\langle S_z(0)\right\rangle }{\hbar} |
\left(1 - 2 \frac{\omega_R^2}{\Omega_R^2} \sin^2 | \left(1 - 2 \frac{\omega_R^2}{\Omega_R^2} \sin^2 | ||
− | \frac{\Omega_R t}{2}\right) | + | \frac{\Omega_R t}{2}\right) \\ |
P_e(t) | P_e(t) | ||
&= \frac{\omega_R^2}{\Omega_R^2} sin^2 \left(\frac{\Omega_R t}{2}\right) | &= \frac{\omega_R^2}{\Omega_R^2} sin^2 \left(\frac{\Omega_R t}{2}\right) | ||
− | \end{align} | + | \end{align}</math> |
− | Equation | + | </equation> |
+ | |||
+ | Equation <xr id="eq:rabi_transition_probability"/> is the probability to find system | ||
in the excited state at time <math>t</math> if it was in ground state at time <math>t=0</math>. | in the excited state at time <math>t</math> if it was in ground state at time <math>t=0</math>. | ||
− | + | <xr id="fig:rabi_signal"/> shows a real-world example of such an oscillation. | |
− | + | ||
<blockquote> | <blockquote> | ||
− | : | + | <figure id="fig:rabi_signal"> |
− | + | [[Image:resonances-Rabi.png|thumb|400px|none|]] | |
+ | <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 | 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 | 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 | hence of the Rabi frequency), so that the different atoms drift out of phase | ||
− | with each other. | + | with each other. |
− | + | </caption> | |
+ | </figure> | ||
</blockquote> | </blockquote> | ||
− | + | ||
=== Matrix form of Hamiltonian === | === Matrix form of Hamiltonian === | ||
With the matrix representation | With the matrix representation | ||
− | \begin{align | + | :<math>\begin{align} |
− | + | \left|e\right\rangle | |
− | &= | + | &= \left|S_z = - \frac{1}{2}\right\rangle |
= \begin{pmatrix} 1 \\ 0 \end{pmatrix} \\ | = \begin{pmatrix} 1 \\ 0 \end{pmatrix} \\ | ||
− | + | \left|g\right\rangle | |
− | &= | + | &= \left|S_z = + \frac{1}{2}\right\rangle |
= \begin{pmatrix} 0 \\ 1 \end{pmatrix} | = \begin{pmatrix} 0 \\ 1 \end{pmatrix} | ||
− | \end{align | + | \end{align}</math> |
we can write the Hamiltonian <math>H_0</math> associated with the static | we can write the Hamiltonian <math>H_0</math> associated with the static | ||
field <math> {\bf{B}} _0 = B_0 {\bf{\hat e}} _z</math> as | field <math> {\bf{B}} _0 = B_0 {\bf{\hat e}} _z</math> as | ||
Line 759: | Line 791: | ||
= - {\bf{\hat\mu}} \cdot {\bf{B}} _0 | = - {\bf{\hat\mu}} \cdot {\bf{B}} _0 | ||
= - \gamma \hat{S}_z B_0 | = - \gamma \hat{S}_z B_0 | ||
− | = | + | = \hbar \omega_0 \frac{\hat{S}_z}{\hbar} |
= \frac{1}{2} \hbar \omega_0 | = \frac{1}{2} \hbar \omega_0 | ||
\begin{pmatrix} | \begin{pmatrix} | ||
Line 767: | Line 799: | ||
= \frac{1}{2} \hbar \omega_0 \hat{\sigma}_z | = \frac{1}{2} \hbar \omega_0 \hat{\sigma}_z | ||
</math> | </math> | ||
− | where <math>\omega_0=\gamma B_0</math> is the Larmor frequency, and | + | where <math>\omega_0=-\gamma B_0</math> is the Larmor frequency (recall that <math> \gamma </math> is negative for an electron, making <math>\omega_0</math> positive), and |
:<math> | :<math> | ||
\hat{\sigma}_z= | \hat{\sigma}_z= | ||
Line 775: | Line 807: | ||
\end{pmatrix} | \end{pmatrix} | ||
</math> | </math> | ||
− | is a Pauli spin matrix. The eigenstates are <math> \left|e\right | + | is a Pauli spin matrix. The eigenstates are <math> \left|e\right\rangle </math>, <math> \left|g\right\rangle </math> with |
eigenenergies <math>\pm\hbar\omega_0/2</math>. A spin initially | eigenenergies <math>\pm\hbar\omega_0/2</math>. A spin initially | ||
along <math> {\bf{\hat e}} _x</math>, corresponding to | along <math> {\bf{\hat e}} _x</math>, corresponding to | ||
:<math> | :<math> | ||
− | \left|\psi(t=0)\right | + | \left|\psi(t=0)\right\rangle |
− | =\frac{1}{\sqrt{2}}\left( \left|e\right | + | =\frac{1}{\sqrt{2}}\left( \left|e\right\rangle + \left|g\right\rangle \right) |
− | =\frac{1}{\sqrt{2}}\left( \left|-\frac{1}{2}\right | + | =\frac{1}{\sqrt{2}}\left( \left|-\frac{1}{2}\right\rangle + \left|+\frac{1}{2}\right\rangle \right) |
</math> | </math> | ||
evolves in time as | evolves in time as | ||
:<math> | :<math> | ||
− | \left|\psi(t)\right | + | \left|\psi(t)\right\rangle |
=\frac{1}{\sqrt{2}} | =\frac{1}{\sqrt{2}} | ||
− | \left(e^{-i\omega_0 t / 2} \left|e\right | + | \left(e^{-i\omega_0 t / 2} \left|e\right\rangle +e^{+i\omega_0 t / 2} \left|g\right\rangle \right) |
− | =\frac{e^{-i\omega_0 t/2}}{\sqrt{2}}\left( \left|e\right | + | =\frac{e^{-i\omega_0 t/2}}{\sqrt{2}}\left( \left|e\right\rangle +e^{i\omega_0 t} \left|g\right\rangle \right) |
</math> | </math> | ||
which describes a precession with angluar frequency <math>\omega_0</math>. | which describes a precession with angluar frequency <math>\omega_0</math>. | ||
The field <math> {\bf{B}} _1</math>, rotating at <math>\omega</math> in the <math>X-Y</math> plane corresponds to | The field <math> {\bf{B}} _1</math>, rotating at <math>\omega</math> in the <math>X-Y</math> plane corresponds to | ||
− | \begin{align} | + | :<math>\begin{align} |
\hat{H}_1 | \hat{H}_1 | ||
− | &= - | + | &= - {\bf{\hat\mu}} \cdot {\bf{B}} _1(t) |
− | =- | + | =- {\bf{\hat\mu}} \cdot\frac{\omega_R}{\gamma} |
− | \left(- | + | \left(- {\bf{\hat e}} _x \cos\omega t- {\bf{\hat e}} _y \sin\omega t\right) |
− | + | \\ | |
− | &= \omega_R\left(\hat{S}_x \cos\omega t + \hat{S}_y \sin\omega t\right) | + | &= \omega_R\left(\hat{S}_x \cos\omega t + \hat{S}_y \sin\omega t\right) |
\\ | \\ | ||
&= \frac{\hbar\omega_R}{2} | &= \frac{\hbar\omega_R}{2} | ||
\left(\hat{\sigma}_x \cos\omega t + \hat{\sigma}_y \sin\omega t\right) | \left(\hat{\sigma}_x \cos\omega t + \hat{\sigma}_y \sin\omega t\right) | ||
− | + | \\ | |
&= \frac{\hbar\omega_R}{2} | &= \frac{\hbar\omega_R}{2} | ||
\left( | \left( | ||
\begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix}\cos\omega t | \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix}\cos\omega t | ||
+ \begin{pmatrix} 0 & -i \\ i & 0 \end{pmatrix}\sin\omega t | + \begin{pmatrix} 0 & -i \\ i & 0 \end{pmatrix}\sin\omega t | ||
− | \right) | + | \right) \\ |
\hat{H}_1 | \hat{H}_1 | ||
&= \frac{\hbar\omega_R}{2} | &= \frac{\hbar\omega_R}{2} | ||
Line 814: | Line 846: | ||
e^{i\omega t} & 0 | e^{i\omega t} & 0 | ||
\end{pmatrix} | \end{pmatrix} | ||
− | \end{align} | + | \end{align}</math> |
where have used the Pauli spin matrices <math>\sigma_x</math>, <math>\sigma_y</math>. The full | where have used the Pauli spin matrices <math>\sigma_x</math>, <math>\sigma_y</math>. The full | ||
Hamiltonian is thus given by | Hamiltonian is thus given by | ||
− | :<math> | + | |
+ | :<equation id="eq:dressed_atom_hamiltonian" noautocaption> | ||
+ | <span style="float:right; display:block;"><caption>(%i)</caption></span> | ||
+ | <math> | ||
\hat{H}=\frac{\hbar}{2} | \hat{H}=\frac{\hbar}{2} | ||
\begin{pmatrix} | \begin{pmatrix} | ||
+\omega_0 & \omega_R e^{-i \omega t} \\ | +\omega_0 & \omega_R e^{-i \omega t} \\ | ||
− | \omega_R e^{ | + | \omega_R e^{i \omega t} & - \omega_0 |
\end{pmatrix} | \end{pmatrix} | ||
</math> | </math> | ||
+ | </equation> | ||
This is the famous "dressed atom" Hamiltonian in the so-called "rotating wave | This is the famous "dressed atom" Hamiltonian in the so-called "rotating wave | ||
− | approximation". Its eigenstates and eigenvalues provide a very elegant, very | + | approximation". However, note that in the treatment here there are no approximations; it is exact. Its eigenstates and eigenvalues provide a very elegant, very |
intuitive solution to the two-state problem. | intuitive solution to the two-state problem. | ||
− | === Solution of the | + | |
− | + | === Solution of the Schrodinger Equation for Spin-1/2 in the Rotating Frame === | |
− | The interaction representation consists of expanding the state <math> \left|\psi(t)\right | + | The time-dependence of the above Hamiltonian can be eliminated by applying a unitary transformation to the system. Namely, a rotation about the z-axis accomplishes this. Call this rotation operator <math>\bf{R}</math>, which can be expressed |
− | in terms of the eigenstates <math> \left|e\right | + | :<math>\begin{align} |
+ | {\bf{R}} | ||
+ | &= e^{i S_z \theta/\hbar} \\ | ||
+ | &= | ||
+ | \begin{pmatrix} | ||
+ | e^{i \omega t/2} & 0 \\ | ||
+ | 0 & e^{-i \omega t/2} | ||
+ | \end{pmatrix}, | ||
+ | \end{align}</math> | ||
+ | where we let <math>\theta = \omega t</math>. Then the transformed Hamiltonian | ||
+ | :<math>\begin{align} | ||
+ | H' = {\bf{R}}H\,{\bf{R}}^{\dagger}-i\hbar\,{\bf{R}}\frac{d\bf{R}^{\dagger}}{dt}, | ||
+ | \end{align}</math> | ||
+ | is | ||
+ | :<math>\begin{align} | ||
+ | H' | ||
+ | &= \frac{\hbar}{2} | ||
+ | \begin{pmatrix} | ||
+ | -\delta & \omega_{\rm{R}} \\ | ||
+ | \omega_{\rm{R}} & \delta | ||
+ | \end{pmatrix}, | ||
+ | \end{align}</math> | ||
+ | where <math>\delta = \omega - \omega_0</math>. This time-independent Hamiltonian can be diagonalized exactly to obtain the eigenenergies and eigenstates. The general solution has the form, | ||
+ | :<math>\begin{align} | ||
+ | \psi(t) = a_g(t) | g \rangle + a_e(t) | e \rangle. | ||
+ | \end{align}</math> | ||
+ | In particular, the case <math>a_g(0) = 1</math> and <math>a_e(0) = 0</math> leads to the probability of finding the atom in the excited state to be | ||
+ | :<math>\begin{align} | ||
+ | P_e(t) = |a_e(t)|^2 = \frac{\omega^2_{\rm R}}{\Omega^2_{\rm R}} \sin^2 \left( \frac{\Omega_{\rm R} t}{2} \right), | ||
+ | \end{align}</math> | ||
+ | where <math>\Omega_{\rm R} = \sqrt{\delta^2 + \omega^2_{\rm R}}</math> is the generalized Rabi frequency. This form is identical to the one obtained in the classical picture. | ||
+ | |||
+ | === Solution of the Schrodinger Equation for Spin-1/2 in the Interaction Representation === | ||
+ | |||
+ | The same system can be solved by a more brute-force method by isolating the "bare" time-dependence first and then using substitutions. The interaction representation consists of expanding the state <math> \left|\psi(t)\right\rangle </math> | ||
+ | in terms of the eigenstates <math> \left|e\right\rangle </math>, <math> \left|g\right\rangle </math> of the Hamiltonian <math>H_0</math>, | ||
including their known time dependence <math>e^{iH_0 t/\hbar}</math> due to <math>H_0</math>. | including their known time dependence <math>e^{iH_0 t/\hbar}</math> due to <math>H_0</math>. | ||
That means we write here | That means we write here | ||
:<math> | :<math> | ||
− | \left|\psi(t)\right | + | \left|\psi(t)\right\rangle =a_e(t) \left|e\right\rangle e^{-i\omega_0t/2}+a_g(t) \left|g\right\rangle e^{i\omega_0t/2} |
</math> | </math> | ||
− | Substituting this into the | + | Substituting this into the Schrodinger equation |
:<math> | :<math> | ||
− | i\hbar\frac{d}{dt} \left|\psi(t)\right | + | i\hbar\frac{d}{dt} \left|\psi(t)\right\rangle =\left(H_0+H_1\right) \left|\psi(t)\right\rangle |
</math> | </math> | ||
then results in the equations of motion for the coefficients | then results in the equations of motion for the coefficients | ||
− | \begin{align | + | :<math>\begin{align} |
− | i\dot{a} | + | i\dot{a}_g&= \frac{\omega_R}{2}e^{i\left(\omega-\omega_0\right)t}a_e \\ |
− | i\dot{a} | + | i\dot{a}_e&= \frac{\omega_R}{2}e^{-i\left(\omega-\omega_0\right)t}a_g |
− | \end{align | + | \end{align}</math> |
Where we have used the matrix form of the Hamiltonian, | Where we have used the matrix form of the Hamiltonian, | ||
− | + | <xr id="eq:dressed_atom_hamiltonian"/>. Introducing the detuning | |
<math>\delta=\omega-\omega_0</math>, we have | <math>\delta=\omega-\omega_0</math>, we have | ||
− | \begin{align | + | :<math>\begin{align} |
i\dot{a}_g&= \frac{\omega_R}{2}e^{i\delta t}a_e \\ | i\dot{a}_g&= \frac{\omega_R}{2}e^{i\delta t}a_e \\ | ||
i\dot{a}_e&= \frac{\omega_R}{2}e^{-i\delta t}a_g | i\dot{a}_e&= \frac{\omega_R}{2}e^{-i\delta t}a_g | ||
− | \end{align | + | \end{align}</math> |
− | The explicit time dependence can be eliminated by the | + | The explicit time dependence can be eliminated by the substitution |
− | \begin{align | + | :<math>\begin{align} |
b_g&= e^{-i\delta t/2}a_g \\ | b_g&= e^{-i\delta t/2}a_g \\ | ||
b_e&= e^{i\delta t/2}a_e | b_e&= e^{i\delta t/2}a_e | ||
− | \end{align | + | \end{align}</math> |
As you will show (or have shown) in the problem set, this leads to solutions for | As you will show (or have shown) in the problem set, this leads to solutions for | ||
<math>b_{g,e}</math> given by | <math>b_{g,e}</math> given by | ||
− | \begin{align | + | :<math>\begin{align} |
b_g(t)&= e^{i\Omega_R t/2}B_1+e^{-i\Omega_R t/2}B_2 \\ | b_g(t)&= e^{i\Omega_R t/2}B_1+e^{-i\Omega_R t/2}B_2 \\ | ||
− | b_e(t)&= \frac{\omega_R}{\delta-\Omega_R}e^{i\ | + | b_e(t)&= \frac{\omega_R}{\delta-\Omega_R}e^{i\Omega_R t/2}B_1 |
+\frac{\omega_R}{\delta+\Omega_R}e^{-i\Omega_R t/2}B_2 | +\frac{\omega_R}{\delta+\Omega_R}e^{-i\Omega_R t/2}B_2 | ||
− | \end{align | + | \end{align}</math> |
with two constants that are determined by the initial conditions. | with two constants that are determined by the initial conditions. | ||
For <math>a_g(t=0)=1</math> we find | For <math>a_g(t=0)=1</math> we find | ||
:<math> | :<math> | ||
− | \ | + | \left| a_e(t)\right| ^2=\frac{\omega_R^2}{\Omega_R^2}\sin^2\frac{\Omega_R t}{2} |
</math> | </math> | ||
as already derived from the fact that the expectation value for | as already derived from the fact that the expectation value for | ||
the magnetic moment obeys the classical equation. | the magnetic moment obeys the classical equation. | ||
− | === | + | |
− | + | === "Rapid" Adiabiatic Passage (Quantum Treatment) === | |
− | + | ||
− | + | Quantum mechanically, we have seen that the Hamiltonian of an interacting two-level system can be written as | |
− | + | :<math>\begin{align} | |
− | + | H' | |
− | + | &= \frac{\hbar}{2} | |
− | + | \begin{pmatrix} | |
− | + | -\delta & \omega_{\rm{R}} \\ | |
− | which is | + | \omega_{\rm{R}} & \delta |
− | + | \end{pmatrix}, | |
− | + | \end{align}</math> | |
− | + | where <math>\delta \equiv \omega - \omega_0</math>. Let us call the "bare" i.e. unperturbed, eigenstates of the Hamiltonian as <math>|\uparrow \rangle</math> and <math>|\downarrow \rangle</math>. If you examine the eigenstates of this Hamiltonian, you will realize that by changing the frequency of your coupling, the eigenstates will "evolve" from e.g. <math>|\uparrow \rangle</math> to <math>|\downarrow \rangle</math>, or vice versa. This can be accomplished by sweeping <math>\omega</math> at a rate <math>\dot{\omega}</math>. This leads to the Landau-Zener problem of a sweep through an avoided crossing. | |
− | + | ||
− | + | <blockquote> | |
− | + | ::[[Image:Landau-zener-new.PNG|thumb|400px|none|]] | |
− | <math>\ | + | An avoided crossing. A system on one level can jump to the other if the parameter <math>q</math> that governs the energy levels is swept sufficiently rapidly. |
− | + | </blockquote> | |
+ | |||
+ | Whether or not the system follows an energy level adiabatically | ||
+ | depends on how rapidly the energy is changed, compared to the | ||
+ | minimum energy separation. To cast the problem in quantum | ||
+ | mechanical terms, imagine two non-interacting states whose energy | ||
+ | separation, <math>\omega</math>, depends on some parameter <math>x</math> which varies | ||
+ | linearly in time, and vanishes for some value <math>x_0</math>. Now add a | ||
+ | perturbation having an off-diagonal matrix element <math>V</math> which is | ||
+ | independent of <math>x</math>, so that the energies at <math>x_0</math> are <math>\pm~V | ||
+ | =\pm \hbar \omega_{\rm R}/2</math>. The probability that the system will | ||
+ | "jump" from one adiabatic level to the other after passing | ||
+ | through the "avoided crossing" (i.e., the probability of | ||
+ | non-adiabatic behavior) | ||
+ | is | ||
+ | :<math> | ||
+ | P_\text{na} =e^{-2\pi\Gamma} | ||
+ | </math> | ||
+ | where | ||
+ | :<math> | ||
+ | \Gamma = \frac{| \omega_{\rm R} | ^2}{4 \dot\omega}, | ||
+ | </math> | ||
+ | and <math>\dot\omega \equiv d\omega /dt</math>. This result was originally obtained by Landau and Zener. The jumping of | ||
+ | a system as it travels across an avoided crossing is called the | ||
+ | Landau-Zener effect. Inserting the parameters for our | ||
+ | magnetic field problem, we have | ||
+ | |||
+ | :<math> | ||
+ | P_{\rm na} = \exp \left( -\frac{\pi}{2} \frac{\omega_R^2} {\left| \dot\omega\right|}\right) | ||
+ | </math> | ||
+ | |||
+ | Note that when <math>\omega^2_{\rm R} \gg \left| \dot\omega\right|</math> is satisfied, the probability of non-adiabatic behavior is | ||
+ | exponentially small. This agrees with our classical analysis. | ||
+ | |||
+ | Let us now consider a diabatic sweep, where the probability to make a transition across the crossing is non-negligible, but small. This process can be described by the Schroedinger equation in a coherent way. In particular, | ||
+ | :<math> | ||
+ | \dot{a}_2 = i \frac{H_{12}}{\hbar} a_1 \Rightarrow a_2 = \frac{1}{2}\omega_{\rm R} t \Rightarrow P \approx |a_2|^2 \approx \omega^2_{\rm R} t^2_{\rm eff}, | ||
+ | </math> | ||
+ | where <math>t_{\rm eff}</math> is the effective sweep duration, or the dephasing time <math>\Delta t</math>. This is determined by | ||
:<math> | :<math> | ||
− | + | \Delta \omega \Delta t \approx \pi, | |
− | |||
</math> | </math> | ||
− | + | where <math>\Delta \omega = \dot{\omega} \Delta t</math>. This then gives us <math>\Delta t \approx \sqrt{1/\dot{\omega}}</math>. Then we get | |
− | + | :<math> | |
− | + | P \approx \omega^2_{\rm R} t^2_{\rm eff} = \omega^2_{\rm R}/\dot{\omega}. | |
− | + | </math> | |
− | + | Note that the sum of the probability to undergo a transition and the probability to not undergo a transition must equal one. This means <math>P = 1 - P_{\rm na}</math>. Using our expression for <math>P_{\rm na}</math> we obtained above, we find | |
− | + | :<math> | |
− | + | P = 1 - P_{\rm na} = 2 \pi \Gamma \approx \frac{\omega^2_{\rm R}}{\dot{\omega}}. | |
− | + | </math> | |
− | + | Therefore we've determined the probability to undergo a diabatic transition two different ways and see that they agree. | |
− | + | ||
− | \ | + | Incidentally the "rapid" in adiabatic rapid passage is something of a |
− | + | misnomer. The technique was originally developed in nuclear magnetic | |
− | + | resonance in which thermal relaxation effects destroy the spin | |
− | + | polarization if one does not invert the population sufficiently rapidly. | |
− | \ | + | In the absence of such relaxation processes one can take as long as one |
− | + | pleases to traverse the anticrossings, and the slower the crossing the | |
− | + | less the probability of jumping. | |
− | + | ||
− | + | == Decoherence Processes, Mixed States, Density Matrices == | |
− | + | ||
− | + | The purely Hamiltonian evolution described by the Schrodinger Equation | |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | \ | ||
− | \ | ||
− | |||
− | |||
− | \ | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | resonance | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | == Decoherence Processes, Mixed States, Density | ||
− | The purely Hamiltonian evolution described by the | ||
leaves the system in a pure state. However, often we have to deal with | 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 | incoherent processes such as the uncontrolled loss or addition of atoms, or | ||
Line 973: | Line 1,030: | ||
E_{g,e}\rightarrow E_{g,e}+i\frac{\Gamma_{g,e}t}{2} | E_{g,e}\rightarrow E_{g,e}+i\frac{\Gamma_{g,e}t}{2} | ||
</math> | </math> | ||
− | The decay of the norm <math> \left | + | The decay of the norm <math> \left\langle \psi\vert\psi\right\rangle </math> corresponds to decay out of the |
− | <math> \left|g\right | + | <math> \left|g\right\rangle </math>, <math> \left|e\right\rangle </math> system, as in <xr id="fig:decay_out"/>. |
− | + | ||
<blockquote> | <blockquote> | ||
− | : | + | <figure id="fig:decay_out"> |
− | + | [[Image:resonances-decay-out.png|thumb|400px|none|]] | |
+ | <caption> Decay out of the <math>\left|e\right\rangle</math> <math>\left|g\right\rangle</math> system, which can be modelled by a | ||
non-Hermitian Hamiltonian, the imaginary part of the eigenvalue corresponding to | non-Hermitian Hamiltonian, the imaginary part of the eigenvalue corresponding to | ||
− | a decay rate. | + | a decay rate. |
− | + | </caption> | |
+ | </figure> | ||
</blockquote> | </blockquote> | ||
− | + | ||
− | However, other processes, such as spontaneous decay from <math> \left|e\right | + | However, other processes, such as spontaneous decay from <math> \left|e\right\rangle </math> to <math> \left|g\right\rangle </math> |
− | or loss of coherence (well-defined phase relationship) between <math> \left|e\right | + | or loss of coherence (well-defined phase relationship) between <math> \left|e\right\rangle </math> |
− | and <math> \left|g\right | + | and <math> \left|g\right\rangle </math> due to uncontrolled level shifts (e.g. collisions, |
uncontrolled B-field fluctuations) cannot be dealt with within the | uncontrolled B-field fluctuations) cannot be dealt with within the | ||
Hamiltonian approach and require the density matrix formalism. | Hamiltonian approach and require the density matrix formalism. | ||
=== Density Operator === | === Density Operator === | ||
− | |||
The density operator formalism is necessary when the preparation | The density operator formalism is necessary when the preparation | ||
− | process does not prepare a single quantum state <math> \left|\psi\right | + | process does not prepare a single quantum state <math> \left|\psi\right\rangle </math>, but a |
− | statistical mixture of quantum states <math> \left|\psi_i\right | + | statistical mixture of quantum states <math> \left|\psi_i\right\rangle </math> with |
probabilities <math>P_i</math>. The density operator is the projection | probabilities <math>P_i</math>. The density operator is the projection | ||
operator for that statistical mixture, or ensemble average. | operator for that statistical mixture, or ensemble average. | ||
:<math> | :<math> | ||
− | \hat{\rho}=\Sigma P_i \left|\psi_i\right | + | \hat{\rho}=\Sigma P_i \left|\psi_i\right\rangle \left\langle \psi_i\right| =\overline{ \left|\psi\right\rangle \left\langle \psi\right| } |
</math> | </math> | ||
− | From the | + | From the Schrodinger equation it follows that the Hamiltonian evolution of the |
density operator is governed by | density operator is governed by | ||
:<math> | :<math> | ||
Line 1,009: | Line 1,067: | ||
The expectation value of any operator is given by | The expectation value of any operator is given by | ||
:<math> | :<math> | ||
− | \left | + | \left\langle \hat O\right\rangle = Tr \left(\hat O\hat \rho\right)= Tr \left(\hat \rho\hat O\right) |
</math> | </math> | ||
The expectation value of the unity operator must be 1, so | The expectation value of the unity operator must be 1, so | ||
<math> Tr \left(\hat\rho\right)=1</math> The expectation value of <math>\hat\rho</math>, <math> Tr \left(\hat | <math> Tr \left(\hat\rho\right)=1</math> The expectation value of <math>\hat\rho</math>, <math> Tr \left(\hat | ||
\rho^2\right)</math>, is unity for a pure state , and <math><1</math> for a mixed state. In any | \rho^2\right)</math>, is unity for a pure state , and <math><1</math> for a mixed state. In any | ||
− | basis <math>\left\{ \left|n\right | + | basis <math>\left\{ \left|n\right\rangle \right\}</math>, <math>\hat\rho</math> is specified in terms of its matrix |
elements | elements | ||
:<math> | :<math> | ||
− | \rho_{n^\prime n}= \left | + | \rho_{n^\prime n}= \left\langle n^\prime\right| \hat \rho \left|n\right\rangle |
</math> | </math> | ||
and the expectation value of any operator can be written as | and the expectation value of any operator can be written as | ||
− | \begin{align | + | :<math>\begin{align} |
− | + | \left\langle \hat O\right\rangle | |
&= Tr \left(\hat O\hat\rho\right) | &= Tr \left(\hat O\hat\rho\right) | ||
− | =\Sigma_n | + | =\Sigma_n \left\langle n\right| \hat O\hat \rho \left|n\right\rangle |
− | =\Sigma_{n^\prime n} | + | =\Sigma_{n^\prime n} \left\langle n\right| \hat O \left|n^\prime\right\rangle \left\langle n^\prime\right| \hat \rho \left|n\right\rangle \\ |
− | + | \left\langle \hat O\right\rangle | |
− | \text{ with } O_{nn^\prime}= | + | &= \Sigma_{nn^\prime}O_{nn^\prime}\rho_{n^\prime n} |
− | \end{align | + | \text{ with } O_{nn^\prime}= \left\langle n\right| \hat O \left|n^\prime\right\rangle |
+ | \end{align}</math> | ||
The diagonal elements of the density matrix (<math>\rho_{n^\prime n}</math>) are called the | The diagonal elements of the density matrix (<math>\rho_{n^\prime n}</math>) are called the | ||
probabilities since <math>\rho_{nn}</math> is the probability to find the system in state | probabilities since <math>\rho_{nn}</math> is the probability to find the system in state | ||
Line 1,036: | Line 1,095: | ||
<math>A\leq\sqrt{\rho_{nn}\rho_{n^\prime n^\prime}}</math>. The coherence is maximum when | <math>A\leq\sqrt{\rho_{nn}\rho_{n^\prime n^\prime}}</math>. The coherence is maximum when | ||
<math>A=\sqrt{\rho_{nn}\rho_{n^\prime n^\prime}}</math>. Finally note that the density | <math>A=\sqrt{\rho_{nn}\rho_{n^\prime n^\prime}}</math>. Finally note that the density | ||
− | operator is hermitian, so that <math>\rho_{n^\prime n} = { | + | operator is hermitian, so that <math>\rho_{n^\prime n} = \rho_{nn^\prime}^\star</math>, as |
we would expect for a meaningfully-defined coherence between two states. | we would expect for a meaningfully-defined coherence between two states. | ||
=== Density Matrix for a Two-Level System and Bloch Vector === | === Density Matrix for a Two-Level System and Bloch Vector === | ||
We now introduce a slightly different parametrization of the two-level | We now introduce a slightly different parametrization of the two-level | ||
− | Hamiltonian | + | Hamiltonian <xr id="eq:dressed_atom_hamiltonian"/> and of the corresponding density |
matrix: | matrix: | ||
− | \begin{align | + | :<math>\begin{align} |
H&= \frac{\hbar}{2} | H&= \frac{\hbar}{2} | ||
\begin{pmatrix} | \begin{pmatrix} | ||
Line 1,068: | Line 1,127: | ||
&= \frac{1}{2} | &= \frac{1}{2} | ||
\left(r_0\hat 1 + r_1\hat\sigma_x + r_2\hat\sigma_y + r_3 \hat\sigma_z\right) | \left(r_0\hat 1 + r_1\hat\sigma_x + r_2\hat\sigma_y + r_3 \hat\sigma_z\right) | ||
− | \end{align | + | \end{align}</math> |
In the problem set you will show (or have shown) that the Hamiltonian evolution | In the problem set you will show (or have shown) that the Hamiltonian evolution | ||
of the density matrix | of the density matrix | ||
Line 1,088: | Line 1,147: | ||
but we have now generalized this result to mixed states, i.e. to ensemble | but we have now generalized this result to mixed states, i.e. to ensemble | ||
averages that have less than the maximum possible magnetic moment. | averages that have less than the maximum possible magnetic moment. | ||
+ | |||
+ | We have just derived the theorem by Feynman, Vernon and Hellwarth (1957) which states that the time evolution of the density matrix for the most general two-level system is isomorphic to the behavior of a classical moment in a suitable time-dependent magnetic field. | ||
+ | |||
Note that Hamiltonian evolution does not change the purity of a | Note that Hamiltonian evolution does not change the purity of a | ||
state: a pure state always remains pure, no matter how violently | state: a pure state always remains pure, no matter how violently | ||
Line 1,096: | Line 1,158: | ||
Tr \rho^2 | Tr \rho^2 | ||
=\frac{1}{2}\left(r_0^2+r_1^2+r_2^2+r_3^2\right) | =\frac{1}{2}\left(r_0^2+r_1^2+r_2^2+r_3^2\right) | ||
− | =\frac{1}{2}\left(r_0^2+ \ | + | =\frac{1}{2}\left(r_0^2+ \left| {{\bf{r}}} \right| ^2\right) |
</math> | </math> | ||
Since <math>\dot{ {\bf{r}} }\perp {\bf{r}} </math>, the length of <math> {\bf{r}} </math> does not change, | Since <math>\dot{ {\bf{r}} }\perp {\bf{r}} </math>, the length of <math> {\bf{r}} </math> does not change, | ||
and hence <math> Tr \rho^2</math> is constant in time. | and hence <math> Tr \rho^2</math> is constant in time. | ||
− | \ | + | |
+ | === Phenomenological Treatment of Relaxation: Bloch Equations === | ||
+ | |||
+ | Statistical mechanics tells us the form which the density matrix will | ||
+ | ultimately take, but it does not tell us how the system will get there or | ||
+ | how long it will take. All we know is that ultimately the density matrix | ||
+ | will thermalize to | ||
+ | :<math> | ||
+ | \rho^T = \frac{1}{Z} e ^{-H_0/kT}, | ||
+ | </math> | ||
+ | where Z is the partition function. | ||
+ | |||
+ | Since the interactions which ultimately bring thermal equilibrium are | ||
+ | incoherent processes, the density matrix formulation seems like a | ||
+ | natural way to treat them. Unfortunately in most cases these | ||
+ | interactions are sufficiently complex that this is done | ||
+ | phenomenologically. For example, the equation of motion for the density | ||
+ | matrix might be modified by the addition of a damping term: | ||
+ | :<math> | ||
+ | \dot{\rho} = \frac{1}{i\hbar} [H, \rho ] - (\rho - \rho^T)/T_e | ||
+ | </math> | ||
+ | |||
+ | which would (in the absence of a source of non-equilibrium interactions) | ||
+ | drive the system to equilibrium with time constant <math>T_e</math>. | ||
+ | |||
+ | This equation is not sufficiently general to describe the behavior of most | ||
+ | systems studied in resonance physics, which exhibit different decay | ||
+ | times for the energy and phase coherence, called <math>T_1</math> and <math>T_2</math> | ||
+ | respectively. | ||
+ | |||
+ | * <math>T_1</math> - decay time for population differences between non-degenerate levels, e.g. for <math>r_3</math> (also called the energy decay time). | ||
+ | * <math>T_2</math> - decay time for coherences (between either degenerate or non-degenerate states), i.e. for <math>r_1</math> or <math>r_2</math>. | ||
+ | |||
+ | The reason is that, in general, it requires a weaker interaction to destroy | ||
+ | coherence (the relative phase of the coefficients of different states) than | ||
+ | to destroy the population difference, so some relaxation processes | ||
+ | will relax only the phase, resulting in <math>T_2 < T_1</math>. (caution: certain | ||
+ | types of collisions violate this generality.) | ||
+ | |||
+ | The effects of thermal relaxation with the two decay times | ||
+ | described above are easily incorporated into the vector model for | ||
+ | the 2-level system since the z-component of the population vector | ||
+ | <math>\mathbf{r}</math> represents the population difference | ||
+ | and <math>r_x</math> and <math>r_y</math> represent coherences (i.e. off-diagonal | ||
+ | matrix elements of <math>\rho</math>): The results are | ||
+ | :<math> | ||
+ | \dot{\mathbf{r}}_z = {\left( \mathbf{\omega}\times \mathbf{r} | ||
+ | \right)_z} - {\left( r_z - r_z^T \right)}/T_1 | ||
+ | </math> | ||
+ | :<math> | ||
+ | \dot{\mathbf{r}}_{x,y} = {\left( \mathbf{\omega}\times | ||
+ | \mathbf{r}\right)_{x,y}} - {\left(r_{x,y} - r_{x,y}^T\right)}/T_2 | ||
+ | </math> | ||
+ | |||
+ | For a magnetic spin system <math>\mathbf{r}</math> corresponds directly to the magnetic | ||
+ | moment <math>{\vec \mu}</math>. The above equations were first introduced | ||
+ | by Bloch in this context and are known as the Bloch | ||
+ | equations. | ||
+ | |||
+ | The addition of phenomenological decay times does not generalize the | ||
+ | density matrix enough to cover situations where atoms (possibly | ||
+ | state-selected) are added or lost to a system. This situation can be | ||
+ | covered by the addition of further terms to <math>\dot{\rho}</math>. Thus a | ||
+ | calculation on a resonance experiment in which state-selected atoms | ||
+ | are added to a two-level system through a tube which also permits atoms to | ||
+ | leave (e.g. a hydrogen maser) might look like | ||
+ | |||
+ | :<math>\begin{align} | ||
+ | \dot{\rho} &= \frac{1}{i\hbar} [H, \rho] - | ||
+ | \begin{pmatrix} (\rho_{11} - \rho_{11T})/T_1 & \rho_{12}/T_2 \\ | ||
+ | \rho_{21}/T_2 & (\rho_{22}- \rho_{22T})/T_1 | ||
+ | \end{pmatrix} | ||
+ | +R \begin{pmatrix} 0 & 0 \\ | ||
+ | 0 & 1 | ||
+ | \end{pmatrix} | ||
+ | - \rho /T_{\rm escape} - | ||
+ | \rho /T_{\rm collision} | ||
+ | \end{align} | ||
+ | </math> | ||
+ | where R is the rate of addition of state-selected atoms. The last two terms express effects of atom escape from the system and of | ||
+ | collisions (e.g. spin exchange) that can't easily be incorporated in <math>T_1</math> and <math>T_2</math>. | ||
+ | |||
+ | The terms representing addition or loss of atoms will not have zero | ||
+ | trace, and consequently will not maintain Tr<math> ( \rho ) = 1</math>. | ||
+ | Physically this is reasonable for systems which gain or lose atoms; | ||
+ | the application of the density matrix to this case shows its power to | ||
+ | deal with complicated situations. In most applications of the above | ||
+ | equation, one looks for a steady state solution (with <math>\dot{\rho} = 0</math>), | ||
+ | so this does not cause problems. | ||
+ | |||
+ | == References == | ||
+ | |||
+ | * Armani2003: D. K. Armani, T. J. Kippenberg, S. M. Spillane, and K. J. Vahala. Ultra-high-Q toroid microcavity on a chip. Nature, 421:925–928, Feb 2003. | ||
+ | * codata2002: Peter J. Mohr, Barry N. Taylor, and David B. Newell. CODATA recommended values of the fundamental physical constants: 2002. Rev. Mod. Phys., 77, Jan 2005. Available online at http://physics.nist.gov/constants. | ||
+ | * Dicke1954: R. H. Dicke. Coherence in spontaneous radiation processes. Phys. Rev., 93(1):99, Jan 1954. | ||
+ | * Feynman1963: Richard Feynman, Robert B. Leighton, and Matthew L. Sands. The Feynman Lectures on Physics. Addison-Wesley, 1963. 3 volumes. | ||
+ | * Flambaum2004: V. V. Flambaum, D. B. Leinweber, A. W. Thomas, and R. D. Young. Limits on variations of the quark masses, QCD scale, and fine structure constant. Phys. Rev. D, 69(11):115006, 2004. | ||
+ | * Ramsey1949: Norman F. Ramsey. A new molecular beam resonance method. Phys. Rev., 76(7):996, Oct 1949. | ||
+ | * Ramsey1950: Norman F. Ramsey. A molecular beam resonance method with separated oscillating fields. Phys. Rev., 78(6):695–699, Jun 1950. | ||
+ | * Reinhold2006: E. Reinhold, R. Buning, U. Hollenstein, A. Ivanchik, P. Petitjean, and W. Ubachs. Indication of a cosmological variation of the proton-electron mass ratio based on laboratory measurement and reanalysis of h2 spectra. Phys. Rev. Lett., 96:151101, 2006. | ||
+ | * Santarelli1999: G. Santarelli, Ph. Laurent, P. Lemonde, A. Clairon, A. G. Mann, S. Chang, A. N. Luiten, and C. Salomon. Quantum projection noise in an atomic fountain: A high-stability cesium frequency standard. Phys. Rev. Lett., 82:4619, 1999. | ||
+ | * Uhlenbeck1926: G. E. Uhlenbeck and S. Goudsmit. Spinning electrons and the structure of spectra. Nature, 117(2938):264, Feb 1926. | ||
+ | * Wineland1992: D. J. Wineland, J. J. Bollinger, W. M. Itano, F. L. Moore, and D. J. Heinzen. Spin squeezing and reduced quantum noise in spectroscopy. Phys. Rev. A, 46(11):R6797–R6800, Dec 1992. | ||
+ | * Wineland1994: D. J. Wineland, J. J. Bollinger, W. M. Itano, and D. J. Heinzen. Squeezed atomic states and projection noise in spectroscopy. Phys. Rev. A, 50(1):67–88, Jul 1994. | ||
+ | |||
+ | == Notes == | ||
+ | |||
+ | [[Category:8.421]] |
Latest revision as of 02:46, 22 May 2020
Contents
- 1 Classical Resonances
- 2 Magnetic Resonance: The Classical Magnetic Moment in a Spatially Uniform Field
- 2.1 Harmonic oscillator versus two-level systems
- 2.2 Magnetic Moment in a Static Field
- 2.3 Transformation to a Rotating Coordinate System
- 2.4 Larmor's Theorem for a Charged Particle in a Magnetic Field
- 2.5 Rotating Magnetic Field on Resonance
- 2.6 Rotating Magnetic Field Off-Resonance
- 2.7 "Rapid" Adiabiatic Passage (Classical Treatment)
- 3 Quantized Spin in a Magnetic Field
- 3.1 Equation of Motion for the Expectation Value
- 3.2 The Two-Level System: Spin-1/2
- 3.3 Matrix form of Hamiltonian
- 3.4 Solution of the Schrodinger Equation for Spin-1/2 in the Rotating Frame
- 3.5 Solution of the Schrodinger Equation for Spin-1/2 in the Interaction Representation
- 3.6 "Rapid" Adiabiatic Passage (Quantum Treatment)
- 4 Decoherence Processes, Mixed States, Density Matrices
- 5 References
- 6 Notes
Classical Resonances
Introduction
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 ()
<figure id="fig:example_resonances">
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 . </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
In contrast, high factors in solids typically require cryogenic temperatures: typical factors of mechanical or electrical systems are at room temperature and at temperatures.
High Q values are obtained in solids acting as optical resonators: has been achieved in the whispering gallery modes of spheres or cylinders of high-purity glass [1].
One of the whispering-gallery resonators described in [1]. 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.
At the macroscopic scale, astronomical systems consisting of massive bodies travelling essentially undisturbed through the near-vacuum of space can also exhibit high factors. The rotation of the earth has a value of , and pulsars of .
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, [2], or the fine structure constant [2]. 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 [3][4]), 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 [5]. while Lamb's measurement of the splitting between the and states of atomic hydrogen, on the order of 1000MHz instead of 0 as predicted by the Dirac theory, fostered the development of quantum electrodynamics, the quantum theory of light.
Classical Harmonic Oscillator
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 current 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 <xr id="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 rather than to remind ourselves that the quantity in question is an angular frequency. We will never write : 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 . 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: for instance, but not , nor . Damping time constants are the inverse of decay rate constants, .
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.
<figure id="fig:gated_pulse">
Measurement in a limited time , modelled as an ideal monochromatic sine wave of frequency gated by an observation window of finite width </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 <xr id="fig:gated_pulse"/>) results in a frequency spread obeying . By using we can further connect this with the usual Heisenberg uncertainty relation
Question: <definition id="q:classical_line_splitting" noautocaption noblock>(Q%i)</definition> 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 ?
Answer: 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. <xr id="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 9 GHz transition for a typical measurement time of 1 s, yielding , but the best ones can nonetheless achieve relative accuracies of [6]. Of course, this sort of performance requires a very good understanding of the line shape and of systematics.
<figure id="fig:line_splitting">
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. </figure>
Question: <definition id="q:quantum_line_splitting" noautocaption noblock>(Q%i)</definition> Can you measure the angular frequency of a quantum mechanical harmonic oscillator in a time to better than ?
Question: <definition id="q:laser_line_splitting" noautocaption noblock>(Q%i)</definition> Can you measure the angular frequency of a laser pulse lasting a time to better than ?
If you answered <xr id="q:quantum_line_splitting"/> and <xr id="q:classical_line_splitting"/> differently, you may have a problem with <xr id="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 beat note. The stronger the probe pulse, the better the SNR of the beat note, 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 [7][8].
Let us now revisit <xr id="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 <xr id="q:laser_line_splitting"/> maps onto a quantum harmonic oscillator, it seems to follow that <xr id="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 <xr id="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 <xr id="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.
Magnetic Resonance: The Classical Magnetic Moment in a Spatially Uniform Field
Harmonic oscillator versus two-level systems
Now, unlike in classical mechanics, most resonances studied in atomic physics are not harmonic oscillators, but two-level systems. Unlike harmonic 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.(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 can be approximated by a harmonic oscillator of frequency 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: . 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 [9].
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 being the projection onto one of the two possible outcomes in a measurement.
Magnetic Moment in a Static Field
The interaction energy of a magnetic moment with a magnetic field is given by
In a uniform field the force
vanishes, but the torque
does not. For an angular momentum the equation of motion is then <equation id="eq:classical_precession_in_static_field" noautocaption> (%i) </equation> where we have introduced the gyromagnetic ratio as the proportionality constant between angular momentum and magnetic moment, as shown in Figure <xr id="fig:static_precession"/>.
<figure id="fig:static_precession">
Precession of a the magnetic moment and associated angular momentum about a static field .
</figure>
This describes the precession of the magnetic moment about the magnetic field with angular frequency
is known as the Larmor frequency. For electrons we have , for protons .
Transformation to a Rotating Coordinate System
A vector rotating at constant angular velocity is described by
Then the rates of change of measured in a coordinate system rotating at and in an inertial system are related by
This follows immediately from the following facts:
- If is constant in the rotating system then .
- If then .
- Coordinate rotation is a linear transformation.
This transformation is sometimes abbreviated as the schematic rule <equation id="eq:rot_frame_transformation" noautocaption> (%i) </equation> It follows that the angular momentum in a rotating frame obeys
If we choose , then is constant in the rotating frame. Often it is useful to think of a fictitious magnetic field 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 theorem for the motion of a charged particle in a magnetic field, which we now present.
According to answers.com, Lamor's theorem can be stated as
For a system of charged particles, all having the same ratio of charge to mass, moving in a central field of force, the motion in a uniform magnetic induction B is, to first order in B, the same as a possible motion in the absence of B except for the superposition of a common precession of angular frequency equal to the Larmor frequency.
This is also nicely discussed in the Feynman Lectures of Physics Vol. 2, 34-5 (https://www.feynmanlectures.caltech.edu/II_34.html).
If the Lorentz force acts in an inertial frame,
then in the rotating frame, according to the rule <xr id="eq:rot_frame_transformation"/> we have
resulting in a force in the rotating frame given by
where we have used . Choosing
yields
if the field is not too large. Thus the Lorentz force approximately disappears in the rotating frame.
Although Larmor's theorem is suggestive of the rotating co-ordinate transformation, it is important to realize that the two transformations, though identical in form, apply to fundamentally different systems. A magnetic moment is not necessarily charged- for example a neutral atom can have a net magnetic moment, and the neutron possesses a magnetic moment in spite of being neutral - and it experiences no net force in a uniform magnetic field. Furthermore, the rotating co-ordinate transformation is exact for a magnetic moment, whereas Larmor's theorem for the motion of a charged particle is only valid when the term is neglected.
Note: A breakdown of Larmor's theorem occurs for free electrons. Free electrons orbit in a magnetic field at the cyclotron frequency which is twice Larmor's frequency. The reason is that the orbiting velocity is now given by . As can be seen in the equation above, in this case, the centrifugal force equals minus one half of the Coriolis force, and therefore twice the frequency of the rotating frame is needed to cancel the effects of the applied magnetic field.
The reason why Larmor's theorem breaks down for free electrons is that the total velocity of the electron IS the rotational cyclotron motion. In contrast, in a composite system of positive and negative charges, you have Coulomb forces and orbital motion with high velocities, much higher than those due to the rotational motion.
Rotating Magnetic Field on Resonance
<figure id="fig:rotating_frame">
Field and moment vectors in the static and rotating frames for the case of resonant drive. </figure>
Consider a magnetic moment precessing about a field with in spherical coordinates, where (as shown in fig:rotating_frame/>). Assume that we now apply an additional field , in the -plane rotating at . To solve the resulting problem it is simplest to go into the rotating frame (fig:rotating_frame/>). Then is stationary, say along , and there is an additional fictitious field which cancels the field . So in the rotating frame we are left just with the static field , and the magnetic moment precesses about at the Rabi frequency
A magnetic moment initially along the axis will point along the axis at a time given by , while a magnetic moment parallel or antiparallel to the applied magnetic field does not precess in the rotating frame.
Question: <definition id="q:rabi_freq_blue_detuned" noautocaption noblock>(Q%i)</definition> Assume the magnetic moment is initially pointing along the axis. Assume that a rotating field is applied, but that it rotates at a frequency , where is the Larmor frequency for the static field . Compared to the on-resonant case, , is the oscillation frequency of the magnetic moment.
- larger
- the same
- smaller
Question: Same question as <xr id="q:rabi_freq_blue_detuned"/> but for .
Rotating Magnetic Field Off-Resonance
If the rotation frequency of does not equal the Larmor frequency associated with the static field , then in the frame rotating with at frequency the static field is not completely cancelled by the fictitious field , but a difference along remains, giving rise to a total effective field in the rotating frame
The effective field is static, lies at an angle with the z
and is of magnitude
The magnetic moment precesses around it with an effective (sometimes called generalized) Rabi frequency
where is the Rabi frequency associated with , and is the detuning from resonance with the Larmor frequency .
Geometrical Solution for the Classical Magnetic Moment in Static and Rotating Fields
<figure id="fig:rotating_coord_construction">
Geometrical relations for the spin in combined static and rotating magnetic fields, viewed in the frame co-rotating with the drive field . At lower right is a view looking straight down the axis.
</figure>
Referring to <xr id="fig:rotating_coord_construction"/>, we have
On the other hand
so that <equation id="eq:classical_rabi_flopping" noautocaption> (%i) </equation> With the Larmor frequency of the static field, the detuning, the resonant and 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.
If we define the quantity , we obtain
In the quantum mechanical treatment (see below), is the probability to find the system in the second state, or the spin flip probability.
"Rapid" Adiabiatic Passage (Classical Treatment)
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 about the effective static field in the rotating frame for all times ("Rapid" means fast compared to relaxation processes which we neglect here).
The physical picture is as follows. Assume the detuning is initially negative (, ). Since
the effective magnetic field initially points of a small angle relative to the axis. If the detuning is increased slowly compared to the Larmor frequency, the spin will continue to precess tightly around , which for points along the x axis, and for along the axis (see <xr id="fig:rapid_adiabatic_passage"/>).
<figure id="fig:rapid_adiabatic_passage">
{Motion of the spin during rapid adiabatic passage, viewed in the frame rotating with . The spin's rapid precession locks it to the direction of and thus it is dragged through an angle as the frequency is swept through resonance. </figure>
Thus the magnetic moment, starting out along , ends up pointing along . Note that in the rotating frame remains always (almost) parallel to the effective field . A similar precess is used in magnetic traps for atoms, but there 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 at , the adiabatic requirement is most severe there, i.e. near . Near we have, with ,
where the exclamation point in indicates a requirement which we impose. Consequently, if the evolution is to be adiabatic, we must have . This means that the change of rotation frequency per Rabi period , , must be small compared to the Rabi frequency .
Note that the inversion of the spin is independent of whether is swept up or down through the resonance.
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 <xr id="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:
- Just as in the classical model, these operator equations are exact; we have not neglected any higher order terms.
- Since the equations of motion hold for the operator, they must hold for the expectation value
- 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 .
- 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.
- 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.
- 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.
- 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:
Level structure diagram for two-level atoms in a basis of symmetric states [10]. 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.
- Again the equation of motion for the composite angular momentum is a precession. This is the problem considered in Dicke's famous paper [10], 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.
The Two-Level System: Spin-1/2
Let us now specialize to the two-level system and calculate the time evolution of the occupation probabilities for the two levels.
<figure id="fig:two_level_spin_half">
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. </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 <xr id="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 <xr id="eq:classical_rabi_flopping"/>: <equation id="eq:rabi_transition_probability" noautocaption> (%i) </equation>
Equation <xr id="eq:rabi_transition_probability"/> is the probability to find system in the excited state at time if it was in ground state at time . <xr id="fig:rabi_signal"/> shows a real-world example of such an oscillation.
<figure id="fig:rabi_signal">
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. </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 (recall that is negative for an electron, making positive), 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
- <equation id="eq:dressed_atom_hamiltonian" noautocaption>
(%i) </equation> This is the famous "dressed atom" Hamiltonian in the so-called "rotating wave approximation". However, note that in the treatment here there are no approximations; it is exact. Its eigenstates and eigenvalues provide a very elegant, very intuitive solution to the two-state problem.
Solution of the Schrodinger Equation for Spin-1/2 in the Rotating Frame
The time-dependence of the above Hamiltonian can be eliminated by applying a unitary transformation to the system. Namely, a rotation about the z-axis accomplishes this. Call this rotation operator , which can be expressed
where we let . Then the transformed Hamiltonian
is
where . This time-independent Hamiltonian can be diagonalized exactly to obtain the eigenenergies and eigenstates. The general solution has the form,
In particular, the case and leads to the probability of finding the atom in the excited state to be
where is the generalized Rabi frequency. This form is identical to the one obtained in the classical picture.
Solution of the Schrodinger Equation for Spin-1/2 in the Interaction Representation
The same system can be solved by a more brute-force method by isolating the "bare" time-dependence first and then using substitutions. 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, <xr id="eq:dressed_atom_hamiltonian"/>. Introducing the detuning , we have
The explicit time dependence can be eliminated by the substitution
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.
"Rapid" Adiabiatic Passage (Quantum Treatment)
Quantum mechanically, we have seen that the Hamiltonian of an interacting two-level system can be written as
where . Let us call the "bare" i.e. unperturbed, eigenstates of the Hamiltonian as and . If you examine the eigenstates of this Hamiltonian, you will realize that by changing the frequency of your coupling, the eigenstates will "evolve" from e.g. to , or vice versa. This can be accomplished by sweeping at a rate . This leads to the Landau-Zener problem of a sweep through an avoided crossing.
An avoided crossing. A system on one level can jump to the other if the parameter that governs the energy levels is swept sufficiently rapidly.
Whether or not the system follows an energy level adiabatically depends on how rapidly the energy is changed, compared to the minimum energy separation. To cast the problem in quantum mechanical terms, imagine two non-interacting states whose energy separation, , depends on some parameter which varies linearly in time, and vanishes for some value . Now add a perturbation having an off-diagonal matrix element which is independent of , so that the energies at are . The probability that the system will "jump" from one adiabatic level to the other after passing through the "avoided crossing" (i.e., the probability of non-adiabatic behavior) is
where
and . This result was originally obtained by Landau and Zener. The jumping of a system as it travels across an avoided crossing is called the Landau-Zener effect. Inserting the parameters for our magnetic field problem, we have
Note that when is satisfied, the probability of non-adiabatic behavior is exponentially small. This agrees with our classical analysis.
Let us now consider a diabatic sweep, where the probability to make a transition across the crossing is non-negligible, but small. This process can be described by the Schroedinger equation in a coherent way. In particular,
where is the effective sweep duration, or the dephasing time . This is determined by
where . This then gives us . Then we get
Note that the sum of the probability to undergo a transition and the probability to not undergo a transition must equal one. This means . Using our expression for we obtained above, we find
Therefore we've determined the probability to undergo a diabatic transition two different ways and see that they agree.
Incidentally the "rapid" in adiabatic rapid passage is something of a misnomer. The technique was originally developed in nuclear magnetic resonance in which thermal relaxation effects destroy the spin polarization if one does not invert the population sufficiently rapidly. In the absence of such relaxation processes one can take as long as one pleases to traverse the anticrossings, and the slower the crossing the less the probability of jumping.
Decoherence Processes, Mixed States, Density Matrices
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 <xr id="fig:decay_out"/>.
<figure id="fig:decay_out">
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. </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 <xr id="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.
We have just derived the theorem by Feynman, Vernon and Hellwarth (1957) which states that the time evolution of the density matrix for the most general two-level system is isomorphic to the behavior of a classical moment in a suitable time-dependent magnetic field.
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.
Phenomenological Treatment of Relaxation: Bloch Equations
Statistical mechanics tells us the form which the density matrix will ultimately take, but it does not tell us how the system will get there or how long it will take. All we know is that ultimately the density matrix will thermalize to
where Z is the partition function.
Since the interactions which ultimately bring thermal equilibrium are incoherent processes, the density matrix formulation seems like a natural way to treat them. Unfortunately in most cases these interactions are sufficiently complex that this is done phenomenologically. For example, the equation of motion for the density matrix might be modified by the addition of a damping term:
which would (in the absence of a source of non-equilibrium interactions) drive the system to equilibrium with time constant .
This equation is not sufficiently general to describe the behavior of most systems studied in resonance physics, which exhibit different decay times for the energy and phase coherence, called and respectively.
- - decay time for population differences between non-degenerate levels, e.g. for (also called the energy decay time).
- - decay time for coherences (between either degenerate or non-degenerate states), i.e. for or .
The reason is that, in general, it requires a weaker interaction to destroy coherence (the relative phase of the coefficients of different states) than to destroy the population difference, so some relaxation processes will relax only the phase, resulting in . (caution: certain types of collisions violate this generality.)
The effects of thermal relaxation with the two decay times described above are easily incorporated into the vector model for the 2-level system since the z-component of the population vector represents the population difference and and represent coherences (i.e. off-diagonal matrix elements of ): The results are
For a magnetic spin system corresponds directly to the magnetic moment . The above equations were first introduced by Bloch in this context and are known as the Bloch equations.
The addition of phenomenological decay times does not generalize the density matrix enough to cover situations where atoms (possibly state-selected) are added or lost to a system. This situation can be covered by the addition of further terms to . Thus a calculation on a resonance experiment in which state-selected atoms are added to a two-level system through a tube which also permits atoms to leave (e.g. a hydrogen maser) might look like
where R is the rate of addition of state-selected atoms. The last two terms express effects of atom escape from the system and of collisions (e.g. spin exchange) that can't easily be incorporated in and .
The terms representing addition or loss of atoms will not have zero trace, and consequently will not maintain Tr. Physically this is reasonable for systems which gain or lose atoms; the application of the density matrix to this case shows its power to deal with complicated situations. In most applications of the above equation, one looks for a steady state solution (with ), so this does not cause problems.
References
- Armani2003: D. K. Armani, T. J. Kippenberg, S. M. Spillane, and K. J. Vahala. Ultra-high-Q toroid microcavity on a chip. Nature, 421:925–928, Feb 2003.
- codata2002: Peter J. Mohr, Barry N. Taylor, and David B. Newell. CODATA recommended values of the fundamental physical constants: 2002. Rev. Mod. Phys., 77, Jan 2005. Available online at http://physics.nist.gov/constants.
- Dicke1954: R. H. Dicke. Coherence in spontaneous radiation processes. Phys. Rev., 93(1):99, Jan 1954.
- Feynman1963: Richard Feynman, Robert B. Leighton, and Matthew L. Sands. The Feynman Lectures on Physics. Addison-Wesley, 1963. 3 volumes.
- Flambaum2004: V. V. Flambaum, D. B. Leinweber, A. W. Thomas, and R. D. Young. Limits on variations of the quark masses, QCD scale, and fine structure constant. Phys. Rev. D, 69(11):115006, 2004.
- Ramsey1949: Norman F. Ramsey. A new molecular beam resonance method. Phys. Rev., 76(7):996, Oct 1949.
- Ramsey1950: Norman F. Ramsey. A molecular beam resonance method with separated oscillating fields. Phys. Rev., 78(6):695–699, Jun 1950.
- Reinhold2006: E. Reinhold, R. Buning, U. Hollenstein, A. Ivanchik, P. Petitjean, and W. Ubachs. Indication of a cosmological variation of the proton-electron mass ratio based on laboratory measurement and reanalysis of h2 spectra. Phys. Rev. Lett., 96:151101, 2006.
- Santarelli1999: G. Santarelli, Ph. Laurent, P. Lemonde, A. Clairon, A. G. Mann, S. Chang, A. N. Luiten, and C. Salomon. Quantum projection noise in an atomic fountain: A high-stability cesium frequency standard. Phys. Rev. Lett., 82:4619, 1999.
- Uhlenbeck1926: G. E. Uhlenbeck and S. Goudsmit. Spinning electrons and the structure of spectra. Nature, 117(2938):264, Feb 1926.
- Wineland1992: D. J. Wineland, J. J. Bollinger, W. M. Itano, F. L. Moore, and D. J. Heinzen. Spin squeezing and reduced quantum noise in spectroscopy. Phys. Rev. A, 46(11):R6797–R6800, Dec 1992.
- Wineland1994: D. J. Wineland, J. J. Bollinger, W. M. Itano, and D. J. Heinzen. Squeezed atomic states and projection noise in spectroscopy. Phys. Rev. A, 50(1):67–88, Jul 1994.
Notes
- ↑ 1.0 1.1 D. K. Armani, T. J. Kippenberg, S. M. Spillane, and K. J. Vahala. Ultra-high-Q toroid microcavity on a chip. Nature, 421:925–928, Feb 2003.
- ↑ 2.0 2.1 Peter J. Mohr, Barry N. Taylor, and David B. Newell. CODATA recommended values of the fundamental physical constants: 2002. Rev. Mod. Phys., 77, Jan 2005. Available online at http://physics.nist.gov/constants.
- ↑ V. V. Flambaum, D. B. Leinweber, A. W. Thomas, and R. D. Young. Limits on variations of the quark masses, QCD scale, and fine structure constant. Phys. Rev. D, 69(11):115006, 2004.
- ↑ E. Reinhold, R. Buning, U. Hollenstein, A. Ivanchik, P. Petitjean, and W. Ubachs. Indication of a cosmological variation of the proton-electron mass ratio based on laboratory measurement and reanalysis of h2 spectra. Phys. Rev. Lett., 96:151101, 2006.
- ↑ G. E. Uhlenbeck and S. Goudsmit. Spinning electrons and the structure of spectra. Nature, 117(2938):264, Feb 1926.
- ↑ G. Santarelli, Ph. Laurent, P. Lemonde, A. Clairon, A. G. Mann, S. Chang, A. N. Luiten, and C. Salomon. Quantum projection noise in an atomic fountain: A high-stability cesium frequency standard. Phys. Rev. Lett., 82:4619, 1999.
- ↑ D. J. Wineland, J. J. Bollinger, W. M. Itano, F. L. Moore, and D. J. Heinzen. Spin squeezing and reduced quantum noise in spectroscopy. Phys. Rev. A, 46(11):R6797–R6800, Dec 1992.
- ↑ D. J. Wineland, J. J. Bollinger, W. M. Itano, and D. J. Heinzen. Squeezed atomic states and projection noise in spectroscopy. Phys. Rev. A, 50(1):67–88, Jul 1994.
- ↑ Richard Feynman, Robert B. Leighton, and Matthew L. Sands. The Feynman Lectures on Physics. Addison-Wesley, 1963. 3 volumes.
- ↑ 10.0 10.1 R. H. Dicke. Coherence in spontaneous radiation processes. Phys. Rev., 93(1):99, Jan 1954.