<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>https://en.formulasearchengine.com/index.php?action=history&amp;feed=atom&amp;title=Code_%28set_theory%29</id>
	<title>Code (set theory) - Revision history</title>
	<link rel="self" type="application/atom+xml" href="https://en.formulasearchengine.com/index.php?action=history&amp;feed=atom&amp;title=Code_%28set_theory%29"/>
	<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Code_(set_theory)&amp;action=history"/>
	<updated>2026-04-17T04:22:10Z</updated>
	<subtitle>Revision history for this page on the wiki</subtitle>
	<generator>MediaWiki 1.43.0-wmf.28</generator>
	<entry>
		<id>https://en.formulasearchengine.com/index.php?title=Code_(set_theory)&amp;diff=13843&amp;oldid=prev</id>
		<title>en&gt;JRSpriggs: italicize variables; standardize appearance of formulas; some rewording; link &quot;pairing function&quot;</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Code_(set_theory)&amp;diff=13843&amp;oldid=prev"/>
		<updated>2010-08-01T11:04:18Z</updated>

		<summary type="html">&lt;p&gt;italicize variables; standardize appearance of formulas; some rewording; link &amp;quot;pairing function&amp;quot;&lt;/p&gt;
&lt;p&gt;&lt;b&gt;New page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;The &amp;#039;&amp;#039;&amp;#039;Rabi problem&amp;#039;&amp;#039;&amp;#039; concerns the response of an [[atom]] to an applied [[normal mode|harmonic]] [[electric field]], with an applied [[frequency]] very close to the atom&amp;#039;s [[natural frequency]].  It provides a simple and generally solvable example of light-atom interactions.&lt;br /&gt;
&lt;br /&gt;
== Classical Rabi Problem ==&lt;br /&gt;
&lt;br /&gt;
In the classical approach, the Rabi problem can be represented by the solution to the [[harmonic oscillator|driven, damped harmonic oscillator]] with the electric part of the [[Lorentz force]] as the driving term:&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt;\ddot{x}_a + \frac{2}{\tau_0}\dot{x}_a + \omega_a^2 x_a = \frac{e}{m} E(t,\mathbf{r}_a)&amp;lt;/math&amp;gt;,&lt;br /&gt;
&lt;br /&gt;
where it has been assumed that the atom can be treated as a charged particle (of charge &amp;#039;&amp;#039;e&amp;#039;&amp;#039;) oscillating about its equilibrium position around a neutral atom.  Here, &amp;#039;&amp;#039;x&amp;lt;sub&amp;gt;a&amp;lt;/sub&amp;gt;&amp;#039;&amp;#039; is its instantaneous magnitude of oscillation, &amp;lt;math&amp;gt;\omega_a&amp;lt;/math&amp;gt; its natural oscillation frequency, and &amp;lt;math&amp;gt;\tau_0&amp;lt;/math&amp;gt; its [[natural lifetime]]:&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt;\frac{2}{\tau_0} = \frac{2 e^2 \omega_a^2}{3 m c^3}&amp;lt;/math&amp;gt;,&lt;br /&gt;
&lt;br /&gt;
which has been calculated based on the [[dipole]] oscillator&amp;#039;s energy loss from electromagnetic radiation.&lt;br /&gt;
&lt;br /&gt;
To apply this to the Rabi problem, one assumes that the electric field &amp;#039;&amp;#039;E&amp;#039;&amp;#039; is oscillatory in time and constant in space:&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt;E = E_0[e^{i\omega t} + e^{-i\omega t}]&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
and &amp;#039;&amp;#039;x&amp;lt;sub&amp;gt;a&amp;lt;/sub&amp;gt;&amp;#039;&amp;#039; is decomposed into a part &amp;#039;&amp;#039;u&amp;lt;sub&amp;gt;a&amp;lt;/sub&amp;gt;&amp;#039;&amp;#039; that is in-phase with the driving &amp;#039;&amp;#039;E&amp;#039;&amp;#039; field (corresponding to dispersion), and a part &amp;#039;&amp;#039;v&amp;lt;sub&amp;gt;a&amp;lt;/sub&amp;gt;&amp;#039;&amp;#039; that is out of phase (corresponding to absorption):&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt;x_a = x_0 (u_a \cos \omega t + v_a \sin \omega t)&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
Here, &amp;#039;&amp;#039;x&amp;lt;sub&amp;gt;0&amp;lt;/sub&amp;gt;&amp;#039;&amp;#039; is assumed to be constant, but &amp;#039;&amp;#039;u&amp;lt;sub&amp;gt;a&amp;lt;/sub&amp;gt;&amp;#039;&amp;#039; and &amp;#039;&amp;#039;v&amp;lt;sub&amp;gt;a&amp;lt;/sub&amp;gt;&amp;#039;&amp;#039;are allowed to vary in time.  However, if we assume we are very close to resonance (&amp;lt;math&amp;gt;\omega \approx \omega_a&amp;lt;/math&amp;gt;), then these values will be slowly varying in time, and we can make the assumption that &amp;lt;math&amp;gt;\dot{u}_a \ll \omega u_a&amp;lt;/math&amp;gt;, &amp;lt;math&amp;gt;\dot{v}_a \ll \omega v_a&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;\ddot{u}_a \ll \omega^2 u_a&amp;lt;/math&amp;gt;, &amp;lt;math&amp;gt;\ddot{v}_a \ll \omega^2 v_a&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
With these assumptions, the Lorentz force equations for the in-phase and out-of-phase parts can be rewritten as,&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt;\dot{u} = -\delta v - \frac{u}{T}&amp;lt;/math&amp;gt;&lt;br /&gt;
:&amp;lt;math&amp;gt;\dot{v} = \delta u - \frac{v}{T} + \kappa E_0&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
where we have replaced the natural lifetime &amp;lt;math&amp;gt;\tau_0&amp;lt;/math&amp;gt; with a more general &amp;#039;&amp;#039;effective&amp;#039;&amp;#039; lifetime &amp;#039;&amp;#039;T&amp;#039;&amp;#039; (which could include other interactions such as collisions), and have dropped the subscript &amp;#039;&amp;#039;a&amp;#039;&amp;#039; in favor of the newly defined [[laser detuning|detuning]] &amp;lt;math&amp;gt;\delta = \omega - \omega_a&amp;lt;/math&amp;gt;, which serves equally well to distinguish atoms of different resonant frequencies.  Finally, the constant &amp;lt;math&amp;gt;\kappa&amp;lt;/math&amp;gt; has been defined:&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt;\kappa \ \stackrel{\mathrm{def}}{=}\   \frac{e}{m \omega x_0}&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
These equations can be solved as follows:&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt;u(t;\delta) = [u_0 \cos \delta t - v_0 \sin \delta t]e^{-t/T} + \kappa E_0 \int_0^t dt&amp;#039; \sin \delta(t-t&amp;#039;)e^{-(t-t&amp;#039;)/T}&amp;lt;/math&amp;gt;&lt;br /&gt;
:&amp;lt;math&amp;gt;v(t;\delta) = [u_0 \cos \delta t + v_0 \sin \delta t]e^{-t/T} - \kappa E_0 \int_0^t dt&amp;#039; \cos \delta(t-t&amp;#039;)e^{-(t-t&amp;#039;)/T}&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
After all [[Transient state|transients]] have died away, the steady state solution takes the simple form,&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt;x_a(t) = \frac{e}{m} E_0 \left(\frac{e^{i\omega t}}{\omega_a^2 - \omega^2 + 2i\omega/T} + \mathrm{c.c.}\right)&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
where &amp;quot;c.c.&amp;quot; stands for the [[complex conjugate]] of the opposing term.&lt;br /&gt;
&lt;br /&gt;
== Two-level atom ==&lt;br /&gt;
&lt;br /&gt;
===Semiclassical approach===&lt;br /&gt;
:See also [[optical Bloch equations]]&lt;br /&gt;
The classical Rabi problem gives some basic results and a simple to understand picture of the issue, but in order to understand phenomena such as [[Population inversion|inversion]], [[spontaneous emission]], and the [[Bloch-Siegert shift]], a fully [[quantum mechanics|quantum mechanical]] treatment is necessary.&lt;br /&gt;
&lt;br /&gt;
The simplest approach is through the [[two-state quantum system|two-level atom]] approximation, in which one only treats two energy levels of the atom in question.  No atom with only two energy levels exists in reality, but a transition between, for example, two [[hyperfine splitting|hyperfine states]] in an atom can be treated, to first approximation, as if only those two levels existed, assuming the drive is not too far off resonance.&lt;br /&gt;
&lt;br /&gt;
The convenience of the two-level atom is that any two-level system evolves in essentially the same way as a [[spin-1/2]] system, in accordance to the [[Bloch equations]], which define the dynamics of the [[pseudo-spin vector]] in an electric field:&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt;\dot{u} = -\delta v&amp;lt;/math&amp;gt;&lt;br /&gt;
:&amp;lt;math&amp;gt;\dot{v} = \delta u + \kappa E w&amp;lt;/math&amp;gt;&lt;br /&gt;
:&amp;lt;math&amp;gt;\dot{w} = -\kappa E v&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
where we have made the [[rotating wave approximation]] in throwing out terms with high angular velocity (and thus small effect on the total spin dynamics over long time periods), and [[Coordinate rotation|transformed]] into a set of coordinates rotating at a frequency &amp;lt;math&amp;gt;\omega&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
There is a clear analogy here between these equations and those that defined the evolution of the in-phase and out-of-phase components of oscillation in the classical case.  Now, however, there is a third term &amp;#039;&amp;#039;w&amp;#039;&amp;#039; which can be interpreted as the population difference between the excited and ground state (varying from -1 to represent completely in the ground state to +1, completely in the excited state).  Keep in mind that for the classical case, there was a continuous energy spectra that the atomic oscillator could occupy, while for the quantum case (as we&amp;#039;ve assumed) there are only two possible (eigen)states of the problem.&lt;br /&gt;
&lt;br /&gt;
These equations can be also be stated in matrix form:&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt;\frac{d}{dt} \begin{bmatrix}&lt;br /&gt;
u \\&lt;br /&gt;
v \\&lt;br /&gt;
w \\&lt;br /&gt;
\end{bmatrix} = &lt;br /&gt;
\begin{bmatrix}&lt;br /&gt;
0 &amp;amp; -\delta &amp;amp; 0 \\&lt;br /&gt;
\delta &amp;amp; 0 &amp;amp; \kappa E \\&lt;br /&gt;
0 &amp;amp; -\kappa E &amp;amp; 0&lt;br /&gt;
\end{bmatrix}&lt;br /&gt;
\begin{bmatrix}&lt;br /&gt;
u \\&lt;br /&gt;
v \\&lt;br /&gt;
w \\&lt;br /&gt;
\end{bmatrix}&lt;br /&gt;
&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
It is noteworthy that these equations can be written as a vector precession equation:&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt;\frac{d\mathbf{\rho}}{dt} = \mathbf{\Omega}\times\mathbf{\rho}&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
where &amp;lt;math&amp;gt;\mathbf{\rho}=(u,v,w)&amp;lt;/math&amp;gt; is the pseudo-spin vector and &amp;lt;math&amp;gt;\mathbf{\Omega} = (-\kappa E, 0, \delta)&amp;lt;/math&amp;gt; acts as an effective torque.&lt;br /&gt;
&lt;br /&gt;
As before, the Rabi problem is solved by assuming the electric field &amp;#039;&amp;#039;E&amp;#039;&amp;#039; is oscillatory with constant magnitude &amp;#039;&amp;#039;E&amp;lt;sub&amp;gt;0&amp;lt;/sub&amp;gt;&amp;#039;&amp;#039;: &amp;lt;math&amp;gt;E = E_0 (e^{i\omega t} + \mathrm{c.c.})&amp;lt;/math&amp;gt;.  In this case, the solution can be found by applying two successive rotations to the matrix equation above, of the form&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt;\begin{bmatrix}&lt;br /&gt;
u \\ v \\ w \end{bmatrix} = &lt;br /&gt;
\begin{bmatrix} \cos \chi &amp;amp; 0 &amp;amp; \sin\chi \\&lt;br /&gt;
0 &amp;amp; 1 &amp;amp; 0 \\&lt;br /&gt;
-\sin\chi &amp;amp; 0 &amp;amp; \cos\chi&lt;br /&gt;
\end{bmatrix}&lt;br /&gt;
\begin{bmatrix}&lt;br /&gt;
u&amp;#039; \\ v&amp;#039; \\ w&amp;#039;&lt;br /&gt;
\end{bmatrix}&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
and&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt;\begin{bmatrix}&lt;br /&gt;
u&amp;#039; \\ v&amp;#039; \\ w&amp;#039; \end{bmatrix} = &lt;br /&gt;
\begin{bmatrix}&lt;br /&gt;
1 &amp;amp; 0 &amp;amp; 0 \\&lt;br /&gt;
0 &amp;amp; \cos \Omega t &amp;amp; \sin\Omega t \\&lt;br /&gt;
0 &amp;amp; -\sin\Omega t &amp;amp; \cos\Omega t&lt;br /&gt;
\end{bmatrix}&lt;br /&gt;
\begin{bmatrix}&lt;br /&gt;
u&amp;#039;&amp;#039; \\ v&amp;#039;&amp;#039; \\ w&amp;#039;&amp;#039;&lt;br /&gt;
\end{bmatrix}&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
where&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt;\tan \chi = \frac{\delta}{\kappa E_0}&amp;lt;/math&amp;gt;&lt;br /&gt;
:&amp;lt;math&amp;gt;\Omega(\delta) = \sqrt{\delta^2 + (\kappa E_0)^2}&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
Here, the frequency &amp;lt;math&amp;gt;\Omega(\delta)&amp;lt;/math&amp;gt; is known as the [[generalized Rabi frequency]], which gives the rate of [[precession]] of the pseudo-spin vector about the transformed &amp;#039;&amp;#039;u&amp;#039; &amp;#039;&amp;#039;-axis (given by the first coordinate transformation above).  As an example, if the electric field (or [[laser]]) is exactly on resonance (such that &amp;lt;math&amp;gt;\delta = 0&amp;lt;/math&amp;gt;), then the psedo-spin vector will precess about the &amp;#039;&amp;#039;u&amp;#039;&amp;#039; axis at a rate of &amp;lt;math&amp;gt;\kappa E_0&amp;lt;/math&amp;gt;.  If this (on-resonance) pulse is shone on a collection of atoms originally all in their ground state (&amp;#039;&amp;#039;w = -1&amp;#039;&amp;#039;) for a time &amp;lt;math&amp;gt;\Delta t = \pi/\kappa E_0&amp;lt;/math&amp;gt;, then after the pulse, the atoms will now all be in their &amp;#039;&amp;#039;excited&amp;#039;&amp;#039; state (&amp;#039;&amp;#039;w = 1&amp;#039;&amp;#039;) because of the &amp;lt;math&amp;gt;\pi&amp;lt;/math&amp;gt; (or 180 degree) rotation about the &amp;#039;&amp;#039;u&amp;#039;&amp;#039; axis.  This is known as a &amp;lt;math&amp;gt;\pi&amp;lt;/math&amp;gt;-pulse, and has the result of a complete inversion.&lt;br /&gt;
&lt;br /&gt;
The general result is given by,&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt;\begin{bmatrix}&lt;br /&gt;
u\\v\\w&lt;br /&gt;
\end{bmatrix} =&lt;br /&gt;
\begin{bmatrix}&lt;br /&gt;
\frac{(\kappa E_0)^2 + \delta^2 \cos \Omega t}{\Omega^2} &amp;amp; -\frac{\delta}{\Omega} \sin{\Omega t} &amp;amp; -\frac{\delta \kappa E_0}{\Omega^2} (1-\cos \Omega t) \\&lt;br /&gt;
\frac{\delta}{\Omega}\sin\Omega t &amp;amp; \cos \Omega t &amp;amp; \frac{\kappa E_0}{\Omega}\sin \Omega t \\&lt;br /&gt;
\frac{\delta \kappa E_0}{\Omega^2} (1-\cos \Omega t) &amp;amp;  -\frac{\kappa E_0}{\Omega} \sin{\Omega t} &amp;amp; \frac{\delta^2 + (\kappa E_0)^2 \cos \Omega t}{\Omega^2}&lt;br /&gt;
\end{bmatrix}&lt;br /&gt;
\begin{bmatrix}&lt;br /&gt;
u_0 \\ v_0 \\ w_0&lt;br /&gt;
\end{bmatrix}&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
The expression for the inversion &amp;#039;&amp;#039;w&amp;#039;&amp;#039; can be greatly simplifed if the atom is assumed to be initially in its ground state (&amp;#039;&amp;#039;w&amp;lt;sub&amp;gt;0&amp;lt;/sub&amp;gt; = -1&amp;#039;&amp;#039;) with &amp;#039;&amp;#039;u&amp;lt;sub&amp;gt;0&amp;lt;/sub&amp;gt; = v&amp;lt;sub&amp;gt;0&amp;lt;/sub&amp;gt; = 0&amp;#039;&amp;#039;, in which case,&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt;w(t;\delta) = -1 + \frac{2(\kappa E_0)^2}{(\kappa E_0)^2 + \delta^2} \sin^2 \left(\frac{\Omega t}{2}\right)&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&amp;lt;!-- TODO: Treat two-level atom with phenomenonlogical decay constants and general QED case.  Give brief explanation of implications of results. --&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==== Multimedia ====&lt;br /&gt;
A Java applet that visualizes Rabi Cycles of two-state systems (laser driven):&lt;br /&gt;
* http://www.itp.tu-berlin.de/menue/lehre/owl/quantenmechanik/zweiniveau/parameter/en/&lt;br /&gt;
&lt;br /&gt;
===Quantum field theory approach===&lt;br /&gt;
In Bloch&amp;#039;s approach, the field is not quantumized, and neither the resulting coherence nor the resonnance is well explained.&lt;br /&gt;
&lt;br /&gt;
Need work for the QFT approach, mainly Jaynes-Cummings model.&lt;br /&gt;
&lt;br /&gt;
== References ==&lt;br /&gt;
&lt;br /&gt;
* L. Allen and J. H. Eberly, &amp;#039;&amp;#039;Optical Resonance and Two-Level Atoms&amp;#039;&amp;#039;, (Dover: New York, 1987).&lt;br /&gt;
&lt;br /&gt;
==See also==&lt;br /&gt;
* [[Rabi cycle]]&lt;br /&gt;
* [[Rabi frequency]]&lt;br /&gt;
* [[Vacuum Rabi oscillation]]&lt;br /&gt;
* [[Jaynes-Cummings model]]&lt;br /&gt;
&lt;br /&gt;
[[Category:Atomic physics]]&lt;/div&gt;</summary>
		<author><name>en&gt;JRSpriggs</name></author>
	</entry>
</feed>