Analytical framework for dynamic light pulse atom

2418
J. Opt. Soc. Am. B / Vol. 28, No. 10 / October 2011
Stoner et al.
Analytical framework for dynamic light pulse atom
interferometry at short interrogation times
Richard Stoner,1,* David Butts,1,2 Joseph Kinast,1 and Brian Timmons1
1
C. S. Draper Laboratory, Inc., 555 Technology Square, Cambridge, Massachusetts 02139, USA
2
Department of Aeronautics and Astronautics, Massachusetts Institute of Technology,
77 Massachusetts Avenue, 33-207, Cambridge, Massachusetts 02139, USA
*Corresponding author: [email protected]
Received May 10, 2011; revised August 5, 2011; accepted August 5, 2011;
posted August 9, 2011 (Doc. ID 147352); published September 13, 2011
High-precision inertial sensing demonstrations with light pulse atom interferometry have typically used
Raman pulses having durations orders of magnitude shorter than the dwell time between interferometer pulses.
Environmentally robust sensors operating at high-bandwidth will be required to operate at short (millisecond
scale) dwell times between Raman pulses. In such an operational mode, the Raman pulse duration becomes
an appreciable fraction of the dwell time between pulses. In addition, high-precision inertial sensing applications
have typically been demonstrated in mildly dynamic or nondynamic environments having low rate of change of
inertial input, ensuring that applied Raman pulses satisfy the Raman resonance condition. Application of nonresonant pulses will be inevitable in sensors registering time-varying inertial input. We present a diagrammatic
technique for calculation of atomic output state populations for multipulse atom optics manipulations that
explicitly account for the effects of finite pulse duration and finite Raman detuning effects on the laser-induced
atomic phase. We analyze several atom interferometer sequences. We report accelerometer and gyroscope phase
evolution for fixed Raman laser frequency difference incorporating corrections in powers of the ratio of pulse
duration to time interval between interferometer pulses. Our accelerometer result agrees with other published
results. © 2011 Optical Society of America
OCIS codes: 020.0020, 020.1335, 120.3180.
1. INTRODUCTION
Raman pulse atom interferometry has been successfully
applied to high-precision inertial sensing applications (see,
e.g., [1–7]). High-precision inertial sensing demonstrations
have typically used Raman pulses with duration orders of
magnitude shorter than the interrogation time between
interferometer pulses. Toward the goal of developing environmentally robust, high-bandwidth sensors, several recent
experiments have comprised Raman pulse atom interferometers operating at short (millisecond scale) interrogation
times [8–10]. In such an operational mode, the Raman pulse
duration becomes an appreciable fraction of the dwell time
between pulses, in the sense that it must be accounted
for in calculating the atomic phase accumulated during an
interferometer pulse sequence. Also, high-precision inertial
sensing applications have typically been demonstrated in
mildly dynamic or nondynamic environments having low rate
of change of inertial input, ensuring that Raman pulses are
applied at the Raman resonance condition. Application of
nonresonant pulses will be inevitable in sensors registering
variable inertial input. Nonresonant Raman pulses in an inertially sensitive interferometer sequence result in loss of interferometer contrast and alterations to interferometer phase.
Theoretical treatments of Raman pulse interferometry have
provided general derivations for the Raman pulse operator,
but descriptions of multiple-pulse interferometer sequences
have been restricted to the short pulse limit, near the Raman
resonance condition [11–13]. In [14], Peters presents a density
matrix treatment of a sequence of two Raman pulses that accounts for finite pulse duration and nonzero Raman detuning
0740-3224/11/102418-12$15.00/0
(evolving linearly in time), to first order in a perturbation
expansion (the solutions are valid for Raman detunings much
smaller than the effective two-state Rabi rate). Peters then
concatenates two such sequences to model a three-pulse
sequence in which the second pulse duration is twice that
of the third and first pulses. The phase evolution under acceleration is calculated for a Doppler sensitive Raman pulse
interferometer operating at fixed Raman laser frequency difference; the result accounts for the effect of finite pulse duration, valid to first order in the ratio of pulse duration to time
interval between pulses.
In this paper, we present a comprehensive extension of
existing analytical frameworks, which enables modeling of
Raman pulse inertial sensors in dynamic environments. Our
analysis employs a simple method for computing interferometer output probability amplitudes using concatenated
scattering diagrams. This technique enables easy formulation
of models comprising many Raman pulses. We will illustrate
the method with two examples: a two-pulse atomic clock and
an inertially sensitive three-pulse atom interferometer using
counterpropagating Raman beams in accelerometer and
gyroscope implementations. We report accelerometer and
gyroscope scale factors (i.e., proportionality of interferometer
phase to inertial input) for interferometers operating with
fixed Raman laser frequency difference that include corrections to second order in the ratio of pulse duration to time
interval between interferometer pulses. Our accelerometer
result agrees with the analysis of Peters [14] to first order in
the ratio of the pulse duration to time interval between pulses.
© 2011 Optical Society of America
Stoner et al.
We preface our treatment with a brief sketch of Raman
pulse physics and a discussion of finite atomic coherence.
The stimulated Raman pulse interaction is a two-photon process that is depicted in Fig. 1 for a simplified three-level atom
(e.g., an atom starting in state jgi absorbs a photon with frequency ωA from Raman laser A and then emits a photon with
frequency ωB via stimulated emission to Raman laser B). It is
assumed that the frequencies ωB and ωA are far detuned from
the quantum transitions jei⇔jii and jgi⇔jii, respectively, so
that the population of excited state jii is small and spontaneous emission from jii can be neglected. In the process,
the internal quantum state of the atom changes from jgi to
a coherent superposition of jgi and jei. The process is coherent in nature, and the jei probability amplitude acquires a
change in momentum proportional to the difference of the
wave vectors associated with the two electric fields: e.g.,
the momentum transfer associated with a Raman light pulse
is ℏkeff ¼ ℏðkA − kB Þ, where kA and kB are the wave vectors
associated with the ωA and ωB electric field frequency components, respectively, and ℏ is the reduced Planck constant.
In the following, we consider the case of lasers tuned to the
cesium D2 transition. For the case of counterpropagating Raman beams (the Doppler sensitive case), the magnitude of the
momentum change is approximately twice the spontaneous
recoil momentum; for copropagating beams (the Dopplerinsensitive case), the momentum change is about five orders
of magnitude smaller. The velocities imparted by co- and
counterpropagating beam Raman light pulses are 92 nm=s
and 7 mm=s, respectively, for Cs atoms. The momentum
change in the counterpropagating Raman beam case provides
the basis for Raman light pulse atom optics. We frequently refer to π and π=2 pulses: for an atom that begins in the pure
state jgi, a π=2 Raman light pulse leaves the atom in an equal
superposition of the jgi and jei states. π=2 pulses act as atom
optics beam splitters, the momentum difference between jgi
and jei probability amplitudes effecting phase separation of
Vol. 28, No. 10 / October 2011 / J. Opt. Soc. Am. B
2419
initially colocated wavefronts. Likewise, applying a π pulse
to a pure state jgi will yield an atom in the pure state jei, with
a corresponding momentum change. π pulses act as mirrors.
We account for a continuum of atomic coherence scenarios. Our model is based on plane wave interferometer theory
[15]. We assume that interferometer input comprises a thermal velocity distribution of plane wave momentum states,
and it is presumed that probability densities will be averaged
over thermal distributions. Although atoms are not localized
in this picture, this approach still provides proper accounting
for interferometer output wavefront coherence for any value
of time delay between interferometer pulses and for both
Doppler-sensitive and non-Doppler-sensitive Raman beam
configurations. This is most readily seen by noting that the
assumption of a thermal plane wave distribution is essentially
equivalent to the assumption of thermally localized atomic
wave packets. We elaborate on issues of atomic coherence
via the examples in Section 4.
Our model interferometer sequences will, of course, account for Raman laser-induced atomic phase. We have chosen
the reference frame comoving with the undeflected ground
state of the atom in which to compute the action of the Raman
lasers. In this frame, only propagation phase associated with
internal state evolution accrues; inertial effects are impressed
upon the laser phase [15]. Use of the comoving frame also
forces the assumption that inertial effects are constant over
wave packet separation distances realized in the interferometer sequence (i.e., no gravity gradients); however, this is an
appropriate assumption for high-bandwidth operation. Assuming zero inertial input spatial variation ensures that interferometer separation phase vanishes [15]. Raman fields are
presumed to be uniform over characteristic wave packet
separation distances, likewise a condition realized at short
interrogation times.
We begin in Section 2 by summarizing the derivation of the
Raman pulse operator; in the derivation, we carefully describe
composition of interferometer pulse sequences. In Section 3,
we use a diagrammatic technique to derive the output probability amplitudes for two- and three-pulse interferometers.
Section 4 presents an analysis of a two-pulse clock, a threepulse accelerometer, and a three-pulse gyroscope, in which
we account for finite Raman pulse duration effects in powers
of the ratio of pulse duration to time interval between pulses.
We show agreement with previous results in the cases of the
clock and accelerometer, and present a new result for the
gyroscope case.
2. DERIVATION OF OPERATORS
Fig. 1. Energy level structure for a simplified three-level atom undergoing a stimulated Raman transition. The magnitude of the detunings
Δ and δ are exaggerated for clarity.
In this section, we derive operators describing the evolution of
a three-level atom in both the presence and absence of a twophoton Raman manipulation. Following the operator derivations, we carefully describe the composition of interferometer
pulse sequences. The derivation of the Raman pulse operator
is provided here for completeness; the simplifying assumptions incorporated into the derivation are consistent with
previous treatments [11–14]. The principal simplifying assumption is that adiabatic elimination can be applied to the
excited state to yield an effective two-state problem. We have
assumed that only a single intermediate excited state is accessible to the ground state atoms. Also, the atom is treated quantum mechanically, but the electric field will be represented
2420
J. Opt. Soc. Am. B / Vol. 28, No. 10 / October 2011
classically. Only electric dipole transitions are permitted, and
we neglect the impact of spontaneous emission, which is assumed to be negligible for conditions of interest. We assume
that there is no cross-coupling between the quantum states
and the two electric field frequency components: i.e., each
electric field is assumed to have a negligible impact on one
of the two allowed electric dipole transitions. Although not
considered here, the inclusion of cross-coupling terms introduces corrections to the effective Rabi rate as well as additional terms accounting for AC Stark shifts arising from
off-resonant electric field components [16]. Finally, we apply
Stoner et al.
the rotating wave approximation in which very high frequency
time dependence is neglected.
We consider a three-state system coupled by two coherent
laser fields, as depicted in Fig. 1. Unless otherwise noted, the
expressions presented below apply to a reference frame corotating with the Raman pulse drive field in which the undeflected atomic ground state is at rest. Parameter definitions
are provided in Table 1. (While a number of parameters are
also defined in the text, the reader is advised that some parameters are defined only in Table 1.) For our three-level
system, the Schrödinger equation takes the form
Table 1. Definitions of Parameters and Variables
Parameter
cc
m
^eA , ^eB
εA , εB
ωA ðtÞ, ωB ðtÞ
~ A ðtÞ, ϕ
~ B ðtÞ
ϕ
ϕA , ϕB
ϕ
ϕj
kA , k B
keff
ΩA , ΩB
q
ωi
δðtÞ
Definition/Description
Complex conjugate of the preceding addend
Atomic mass
Complex polarization vectors for the Raman laser fields
Complex amplitudes of Raman laser fields
Time-dependent optical frequencies for
R lasers A and B 0
R
~ A ðtÞ ¼ t ½ωA ðt0 Þ − kA · zðt
~ B ðtÞ ¼ t ½ωB ðt0 Þ − kB · ℏkeff
_ Þ^ez dt0 þ ϕA , ϕ
Time-dependent laser phases ϕ
0
0
m
0
0
_ Þ^ez dt þ ϕB
− kB · zðt
Laser optical phases (not time-dependent): ϕA ¼ ϕA;o − kA · ^ez zðt ¼ 0Þ, ϕB ¼ ϕB;o − kB · ^ez zðt ¼ 0Þ
Effective Rabi phase: ϕ ≡ ϕA − ϕB ¼ ðϕA;o − ϕB;o Þ − keff · ^ez zðt ¼ 0Þ
Effective Rabi phase for the jth Raman pulse: ϕj ≡ ðϕA − ϕB Þj ¼ ðϕA;o − ϕB;o Þj − keff · ^ez zðt ¼ 0Þ
Propagation vectors of lasers A and B
keff ≡ kA − kB , vector difference of the laser propagation vectors
Complex Rabi frequencies associated with laser fields coupling the lower ground state level to the
excited state and coupling the upper ground state level to the excited state:
ΩA ¼ −qhgj^eA εA · rjii ¼ −jΩA j expðiϕA Þ, ΩB ¼ −qhej^eB εB · rjii ¼ −jΩB j expðiϕB Þ
Elementary charge; the absolute value of the electric charge of a single electron
Energy of the excited state in frequency units
h
i
ℏk2
ℏ
_
Combined Raman laser detuning: δðtÞ ¼ ½ωA ðtÞ − ωB ðtÞ − ωo þ 2meff − 2m
ðk2A − k2B Þ þ keff · ^ez zðtÞ
δj ðtÞ
Combined Raman laser detuning for the jth Raman pulse: δj ðtÞ ¼ ½ωA ðtÞ − ωB ðtÞj
i
h
ℏk2eff;j
ℏ
_
k2A;j − k2B;j þ keff;j · ^ez zðtÞ
− ωo þ 2m
− 2m
Δ
Detuning of the mean laser frequency from the difference between the perturbed ground state energy and
h 2
io
n
ℏk
B ðtÞ
_
the excited state energy: Δ ¼ ωA ðtÞþω
− ωi − 12 2meff − ðkA þ kB Þ · ^ez zðtÞ
2
AC
ΩAC
g , Ωe
δAC
Ωeff
Ωj ðtÞ
θj ðtÞ
2
AC
2
AC Stark shifts of the hyperfine ground states: ΩAC
g ¼ jΩA j =ð4ΔÞ, Ωe ¼ jΩB j =ð4ΔÞ
AC
Differential AC Stark shift: δAC ¼ ΩAC
e − Ωg
Effective Rabi frequency of the Raman transition: Ωeff ¼ ΩA ΩB =ð2ΔÞ ¼ jΩA jjΩB j expðiϕÞ=ð2ΔÞ
Generalized effective Rabi frequency of the jth Raman pulse: Ωj ðtÞ ¼ fjΩeff;j j2 þ ½δAC;j − δj ðtÞ2 g1=2
State space mixing angle parameter of the jth Raman pulse: cos½θj ðtÞ ¼ ½δAC;j − δj ðtÞ=Ωj ðtÞ,
sin½θj ðtÞ ¼ jΩeff;j j=Ωj ðtÞ
^ j ðtÞ ¼ cos½θj ðtÞ^ez þ sin½θj ðtÞ×
Raman pulse operator unit vector for the jth Raman pulse: Ω
ðcos ϕj ^ex þ sin ϕj ^ey Þ
^ j ðtÞ
Raman pulse operator for the jth Raman pulse: Ωj ðtÞ ¼ Ωj ðtÞΩ
C j ≡ cos½τj Ωj ðM j Þ=2 þ i cos½θj ðM j Þ sin½τj Ωj ðM j Þ=2
S j ≡ expðiϕj Þ sin½θj ðM j Þ sin½τj Ωj ðM j Þ=2
0 1
0 −i
1 0
Pauli spin matrix operator: σ ¼ σ x ^ex þ σ y ^ey þ σ z ^ez , σ x ¼
, σy ¼
, σz ¼
1 0
i 0
0 −1
1 0
Identity operator, 1 ¼
0 1
ϕint ≡ Φ2→3 − Φ1→2
ϕloss ≡ Φ2→3 þ Φ1→2
T p ≡ T − τ2 =2
Temporal midpoint of jth pulse: M j ≡ tj þ τj =2
R t þτ
Rt
0
0
Total integrated phase between pulses j and j þ 1: Φj→jþ1 ≡ 0j j dt0 ½δjþ1 ðt0 Þ − δj ðt0 Þ þ tjjþ1
þτj dt δjþ1 ðt Þ
iτ
ð0Þ
Raman pulse evolution operator for the jth pulse: Rj ≡ exp − 2j Ωj · σ
^ j ðtÞ
Ω
Ωj ðtÞ
Cj
Sj
σ
1
ϕint
ϕloss
Tp
Mj
Φj→jþ1
Rj
ð0Þ
Ωj
ð0Þ
Midpulse value of the generalized effective Rabi rate for the jth pulse: Ωj ≡ ½δAC − δðM j Þ^ez þ
Ωeff ðcos ϕ^ex þ sin ϕ^ey Þ
Stoner et al.
Vol. 28, No. 10 / October 2011 / J. Opt. Soc. Am. B
2
3
3
Ψ
Ψ
e
e
6
7
7
∂6
6
7
7
H6
4 Ψi 5 ¼ iℏ ∂t 4 Ψi 5;
Ψg
Ψg
2
ð1Þ
where the Hamiltonian H ¼ H 0 þ H 1 consists of a term (H 0 )
describing rest frame energies arising from hyperfine splitting
and static magnetic fields and an interaction term (H 1 ). In matrix form, the components of the Hamiltonian are given by
ωo =2 0
H0 ¼ ℏ 0
ωi
0
0
2
0
6 H1 ¼ 6
4 H 1B
0
H 1B
0
H 1A
0 ;
0
−ωo =2
0
ð2Þ
7
H 1A 7
5;
ð3Þ
0
where
H 1A ¼
ℏ
~ A ðtÞ;
jΩ j exp½iϕ
2 A
ð4Þ
H 1B ¼
ℏ
~ B ðtÞ:
jΩ j exp½iϕ
2 B
ð5Þ
In the preceding expressions, we have established an energy
origin at the average energy of the ground states (excluding
any recoil energy). Our chosen reference frame falls freely
with the undeflected atomic ground state. In the absence of
gravity gradients, this represents an inertial frame of reference. At the time origin t ¼ 0, the reference frame is coincident with the instrument frame; the laser sources are assumed
to be at rest in the instrument frame. (Note that t ¼ 0 is the
time of atom release into free propagation and not the time at
which the Raman pulse begins.) The classical particle trajectory zðtÞ describes the motion of the origin of the reference
frame relative to the instrument frame. In Eqs. (4) and (5),
we present the phases
~ A ðtÞ ¼
ϕ
Z
t
_ 0 Þ^ez dt0 þ ϕA ;
½ωA ðt0 Þ − kA · zðt
ð6Þ
0
~ B ðtÞ ¼
ϕ
Z t
0
ωB ðt0 Þ − kB ·
ℏkeff
_ 0 Þ^ez dt0 þ ϕB :
− kB · zðt
m
~ B ðtÞ undergoes similar simplification, but also includes a
ϕ
phase contribution proportional to keff , which accounts for
momentum recoil effects. We express the phases more generally as integrals of time-dependent parameters to accommodate scenarios in which the laser frequencies have
time-varying profiles. This generalization is essential, as atomic kinematics are registered as time-dependent Doppler shifts
in laser frequencies for our chosen reference frame. Finally,
we also note that ΩA and ΩB are complex quantities in which
the phases depend on the atom’s initial position and velocity.
We proceed by applying the following transformation:
ð7Þ
The parameters ϕA ≡ ϕA;o − kA · ^ez zðt ¼ 0Þ and ϕB ≡ ϕB;o −
kB · ^ez zðt ¼ 0Þ capture the laser phase at position zðt ¼ 0Þ
at the time t ¼ 0. We emphasize that the trajectory zðtÞ does
not include position variation arising from photon recoil deflections: recoil momentum effects are accounted for in the
Doppler shift of laser B in Eq. (5). The expressions for the
~ A ðtÞ and ϕ
~ B ðtÞ are most readily understood by conphases ϕ
sidering the limit where the laser frequencies are timeinvariant and the wave vectors are parallel to ^ez . In that case,
~ A ðtÞ → ωA t − kA zðtÞ þ ϕA;o reduces to the familiar phase exϕ
pression for a traveling wave. Under the same conditions,
2
n
o3
~ A ðtÞ − ϕ
~ B ðtÞ − ðϕA − ϕB Þ
be ðtÞ exp − 2i ½ϕ
Ψ ðtÞ
6
7
6 e 7 6
n
o7
6
7 6
i
~ A ðtÞ þ ϕ
~ B ðtÞ − ðϕA þ ϕB Þ 7
6 Ψi ðtÞ 7 ¼ 6 bi ðtÞ exp − 2 ½ϕ
7: ð8Þ
4
7
5 6
n
o 5
4
Ψg ðtÞ
~ A ðtÞ − ϕ
~ B ðtÞ − ðϕA − ϕB Þ
bg ðtÞ exp 2i ½ϕ
2
3
2421
3
Following this transformation, the three-level system can
be reduced to an effective two-level system via adiabatic elimination (see, e.g., [17]). Provided that the laser detuning Δ is
much larger than the effective Rabi rate describing the transfer of population between the ground states, we can argue that
b_ i ðtÞ ≈ 0. One can then solve for bi ðtÞ in terms of bg ðtÞ and
be ðtÞ, and eliminate the intermediate excited state from the
equations of motion. We introduce an additional coordinate
transformation
"
be ðtÞ
bg ðtÞ
#
#
"
AC
ce ðtÞ
ΩAC
e þ Ωg
¼ exp −i
;
ðt − tj Þ
2
cg ðtÞ
ð9Þ
2
AC
2
where ΩAC
e ¼ jΩB j =ð4ΔÞ and Ωg ¼ jΩA j =ð4ΔÞ represent the
AC Stark shifts of the upper and lower atomic ground states,
respectively. As noted earlier, these expressions for the AC
Stark shifts neglect energy level shifts due to cross coupling
from the far detuned electric field components. In Eq. (9), we
have included a subscript j in preparation for the treatment of
sequences involving multiple Raman pulses. Throughout this
paper, the j subscript denotes parameters associated with the
jth pulse of multiple-pulse sequences. Following these transformations, the equations of motion can be expressed in
concise form using matrix operators
"
"
#
#
ce ðtÞ
d ce ðtÞ
i
¼ − ΩðtÞ · σ
:
dt cg ðtÞ
2
cg ðtÞ
ð10Þ
In the most general case, the generalized effective Rabi rate
ΩðtÞ, which depends on the Raman detuning,
δðtÞ ¼ ½ωA ðtÞ − ωB ðtÞ
ℏk2
ℏ 2
_
ðkA − k2B Þ þ keff · ^ez zðtÞ
− ωo þ eff −
;
2m 2m
ð11Þ
will be time dependent, and Eq. (10) can be solved numerically or via perturbation theory. We will exhibit a perturbation
expansion and display a solution to first order in that expansion. The zeroth-order solution is obtained by solving Eq. (10)
in the case where ΩðtÞ and δðtÞ are constant, and is simply the
exponentiation of the matrix operator that appears on the
2422
J. Opt. Soc. Am. B / Vol. 28, No. 10 / October 2011
Stoner et al.
right-hand side of the equation [18]. In that case, the system
state at the conclusion of a pulse with duration τj beginning at
time tj is
"
ce ðtj þ τj Þ
#ð0Þ
cg ðtj þ τj Þ
iτj
¼ exp − Ω · σ
2
" c ðt Þ #
e j
cg ðtj Þ
:
Ωj ðtÞ ¼
c ðt ¼ t Þ ð0Þ
e
j
cg ðt ¼ tj Þ
c ðt ¼ t Þ ð1;2;3;…Þ
e
j
ð12Þ
cg ðt ¼ tj Þ
This solution is exact when the Raman detuning is time independent, which occurs in the absence of inertial input, or in
the operational mode in which the laser difference frequency
is chirped to nullify any motional effects.
We now consider an approximate solution to Eq. (10) in the
case where the Raman detuning and Rabi rate are time dependent. We begin by Taylor expanding the generalized effective
Rabi rate about the temporal midpoint of the jth pulse
1 €
ðt − M j Þ^ez − δ
ðt − M j Þ2^ez þ …;
t¼M j
2 t¼M j
− δ_ ð0Þ
Ωj
in which we specify the initial conditions
"
ce ðtÞ
#
cg ðtÞ
"
¼
ce ðtÞ
#ð0Þ
cg ðtÞ
"
þ
ce ðtÞ
#ð1Þ
"
þ
cg ðtÞ
ce ðtÞ
#ð2Þ
cg ðtÞ
þ…
ð14Þ
and substitute Eqs. (13) and (14) into Eq. (10):
("
d
dt
ce ðtÞ
#ð0Þ
"
þ
ce ðtÞ
#ð1Þ
"
þ
ce ðtÞ
#ð2Þ
)
þ…
cg ðtÞ
cg ðtÞ
cg ðtÞ
i
1 €
ð0Þ
_
¼ − Ωj − δ ðt − M j Þ^ez − δ
ðt − M j Þ2^ez þ … · σ
t¼M j
2
2 t¼M j
#ð0Þ "
#ð1Þ "
#
)
("
ce ðtÞ
ce ðtÞ ð2Þ
ce ðtÞ
þ
þ
þ… :
ð15Þ
×
cg ðtÞ
cg ðtÞ
cg ðtÞ
Equation (15) can be expressed as a sum of solutions to the
following equations:
"
#ð0Þ
"
#ð0Þ
ce ðtÞ
d ce ðtÞ
i ð0Þ
¼− Ωj ·σ
;
dt cg ðtÞ
2
cg ðtÞ
"
#ð1Þ
#
"
ce ðtÞ ð1Þ
d ce ðtÞ
i ð0Þ
¼− Ωj ·σ
dt cg ðtÞ
2
cg ðtÞ
"
#
ce ðtÞ ð0Þ
i _ þ δ
ðt−M j Þ^ez ·σ
;
2 t¼M j
cg ðtÞ
"
#ð2Þ
"
#
ce ðtÞ ð2Þ
d ce ðtÞ
i ð0Þ
¼− Ωj ·σ
dt cg ðtÞ
2
cg ðtÞ
"
#
ce ðtÞ ð1Þ
i _ þ δ
ðt−M j Þ^ez ·σ
2 t¼M j
cg ðtÞ
"
#
ce ðtÞ ð0Þ
i €
2^
þ δ
ðt−M j Þ ez ·σ
;etc:;
4 t¼M j
cg ðtÞ
c ðt ¼ t Þ e
j
cg ðt ¼ tj Þ
0
¼
:
0
;
ð17Þ
[We note that the sum of Eqs. (16), with initial conditions (17),
is equivalent to Eq. (15).] Equations (16) are a hierarchical
perturbation expansion in which lower-order solutions
comprise inhomogeneities for equations of higher order. The
solution to the first-order equation is
ce ðtÞ
cg ðtÞ
ð1Þ
Z
t
¼
tj
i
ð0Þ
dt0 exp − ðt − t0 ÞΩj · σ
2
i_
· δðM
ez ðt0 − M j Þ · σ
j Þ^
2
i
ce ðtj Þ
ð0Þ
;
· exp − ðt0 − tj ÞΩj · σ
cg ðtj Þ
2
ð13Þ
where the time derivatives are evaluated at M j ≡ tj þ τj =2 and
we define the midpulse value of the generalized effective Rabi
ð0Þ
rate Ωj ≡ ½δAC − δðM j Þ^ez þ Ωeff ðcos ϕ^ex þ sin ϕ^ey Þ. We now
express the solution of Eq. (10) as a perturbation expansion
¼
ð18Þ
as can be shown by direct substitution of Eq. (18) into the firstorder equation of Eqs. (16). Although we do not undertake it
here, this process can be continued to account for higherorder time derivatives in the expansion of the Raman
detuning.
The output state resulting from application of the jth
Raman pulse to first order in the perturbation expansion is
the sum of results (12) and (18) evaluated at t ¼ tj þ τj :
c ðt þ τ Þ e j
j
cg ðtj þ τj Þ
≃
c ðt þ τ Þ ð0Þ
e j
j
þ
c ðt þ τ Þ ð1Þ
e j
j
cg ðtj þ τj Þ
cg ðtj þ τj Þ
iτj ð0Þ
i
_ t¼M
¼ exp − Ωj · σ
1−
δj
j
ð0Þ
2
2½Ωj 2
^ ð0Þ × ^ez Þ sinðΩð0Þ τj Þ
× σ · ðΩ
j
j
ð0Þ
−
Ωj τ j
2
ð0Þ
½cosðΩj τj Þ − 1
ð0Þ
Ωj τj
ð0Þ
sinðΩj τj Þ
2
c ðt Þ e j
ð0Þ
þ cosðΩj τj Þ − 1
;
ð19Þ
cg ðtj Þ
^ · ^ez Þ − ^ez ^ ðΩ
þ σ · ½Ω
j
j
ð0Þ
ð16Þ
ð0Þ
in which we evaluated the integral in Eq. (18). The bold 1 deð0Þ
^ ð0Þ are the magnitude
notes the identity matrix, and Ωj and Ω
j
ð0Þ
and unit vector operator, respectively, of Ωj . In the limit
ð0Þ
2
2
_
fδðM j Þτj =½2Ωj τj g ≪ 1, operator (19) is unitary, and this limit should be regarded as a condition of validity for Eq. (19).
_ j ÞFor simplicity of presentation, we do not include δðM
proportional terms and consider only the zeroth-order terms
in subsequent analyses; however, inclusion of first-order
terms and derivation of higher-order terms is straightforward.
It remains to transform the solution back to the nonrotating
frame. The solution in the nonrotating frame is
Stoner et al.
Vol. 28, No. 10 / October 2011 / J. Opt. Soc. Am. B
Z t þτ
j
j
iσ
¼ exp − z
½δðt0 Þ þ ωo dt0
2 0
Ψg ðtj þ τj Þ
AC ΩAC
iτj ð0Þ
e þ Ωg
× exp −i
τj × exp − Ωj · σ
2
2
Z
Ψe ðtj Þ
iσ z tj
0
0
× exp
: ð20Þ
½δðt Þ þ ωo dt
2 0
Ψg ðtj Þ
Ψe ðtj þ τj Þ
Z
Φj→jþ1 →
δðtÞ
d be ðtÞ
b ðtÞ
¼i
:
−
σz e
bg ðtÞ
2
dt bg ðtÞ
Z t þτ
d
d
σ
be ðtd þ τd Þ
be ðtd Þ
¼ exp i z
:
dt0 δðt0 Þ
bg ðtd þ τd Þ
bg ðtd Þ
2 td
ð27Þ
The first pulse is followed by evolution in the dark
The action of the second Raman pulse beginning at time t2 and
the second period of evolution in the dark beginning at time
t2 þ τ2 are respectively described by
ð22Þ
As expected, in the absence of external interactions with the
Raman laser fields, atomic evolution is driven solely by the
internal Hamiltonian.
We now compose a sequence of Raman pulses separated by
periods of evolution in the dark. The example will include
three Raman pulses and two dark evolution intervals, but it
will be obvious how to extend the composition method to
an arbitrary number of pulses. We consider a general case that
can accommodate possible multiple Raman laser beam pairs
having different frequencies at any given time. As noted earlier, to accommodate variations in these parameters for different pulses, we enumerate parameters such as the Raman
detuning and generalized effective Rabi rate with a subscript
j that indicates the pulse number. Further, we introduce the
simplifying notation
iτj ð0Þ
Rj ≡ exp − Ωj · σ ;
ð24Þ
2
Φj→jþ1 ≡
0
tj þτj
0
0
0
dt ½δjþ1 ðt Þ − δj ðt Þ þ
Z
tjþ1
tj þτj
dt0 δjþ1 ðt0 Þ;
σ
Ψe ðt2 Þ
Ψe ðt1 þ τ1 Þ
¼ exp −i z ωo ½t2 − ðt1 þ τ1 Þ
:
Ψg ðt2 Þ
Ψg ðt1 þ τ1 Þ
2
ð28Þ
In the nonrotating frame, the operator for evolution in the
dark becomes
σ
Ψe ðtd þ τd Þ
Ψe ðtd Þ
:
ð23Þ
¼ exp −i z ωo τd
Ψg ðtd þ τd Þ DARK
Ψg ðtd Þ
2
Z
ð26Þ
Z
σ z t1 þτ1 0
Ψe ðt1 þ τ1 Þ
0
¼ exp −i
dt ½δ1 ðt Þ þ ωo R1
Ψg ðt1 þ τ1 Þ
2 0
Z t
1
σ
Ψe ðt1 Þ
:
× exp i z
dt0 ½δ1 ðt0 Þ þ ωo Ψg ðt1 Þ
2 0
ð21Þ
Since the Raman field unit vector is independent of time,
we can write the solution in terms of an integral of a timedependent detuning over a dwell time τd , which begins at
time td :
dt0 δðt0 Þ:
In the following, we consider the general case in which each
Raman beam pair is independently generated and, therefore,
has its own detuning profile δj ðtÞ. The first pulse begins at time
t1 and acts as
Atom interferometer sequences utilizing Raman pulses are
composed of two or more pulses separated by dwell times
during which the atom evolves free of any interactions with
the Raman laser beams. The free evolution operator can be
represented as a Raman pulse operator in which the effective
Rabi rate vanishes, i.e., Ωeff ¼ 0. Setting the complex Rabi
frequencies ΩA ¼ ΩB ¼ 0, one can show that in the bðtÞ basis,
the equations of motion become
tjþ1
tj þτj
2423
ð25Þ
where Rj is the Raman pulse operator for the jth pulse and
Φj→jþ1 is the total integrated phase accrued during the dwell
time between pulses j and j þ 1. In the case where all Raman
pulses are produced by the same laser beam pair, the total
integrated phase simplifies to
Z t þτ
2
2
σ
Ψe ðt2 þ τ2 Þ
¼ exp −i z
dt0 ½δ2 ðt0 Þ þ ωo R2
Ψg ðt2 þ τ2 Þ
2 0
Z t
2
σ
Ψe ðt2 Þ
;
× exp i z
dt0 ½δ2 ðt0 Þ þ ωo Ψg ðt2 Þ
2 0
ð29Þ
σ
Ψe ðt3 Þ
Ψe ðt2 þ τ2 Þ
¼ exp −i z ωo ½t3 − ðt2 þ τ2 Þ
:
Ψg ðt3 Þ
Ψg ðt2 þ τ2 Þ
2
ð30Þ
Finally, the third Raman pulse acts according to
Z t þτ
3
3
σ
Ψe ðt3 þ τ3 Þ
dt0 ½δ3 ðt0 Þ þ ωo R3
¼ exp −i z
Ψg ðt3 þ τ3 Þ
2 0
Z t
3
σ
Ψe ðt3 Þ
:
× exp i z
dt0 ½δ3 ðt0 Þ þ ωo Ψg ðt3 Þ
2 0
ð31Þ
Combining Eqs. (27)–(31) yields
Z t þτ
3
3
σ
¼ exp −i z
dt0 ½δ3 ðt0 Þ þ ωo R3
2 0
Ψg ðt3 þ τ3 Þ
iσ z
iσ z
× exp
Φ2→3 R2 × exp
Φ1→2 R1
2
2
Z
σ z t1 0
× exp i
dt ½δ1 ðt0 Þ þ ωo 2 0
Ψe ðt1 Þ
×
:
ð32Þ
Ψg ðt1 Þ
Ψe ðt3 þ τ3 Þ
In Section 4, we also consider a two-pulse interferometer
sequence for use in clock applications. Using the same methodology as for the three-pulse sequence, we can immediately
model a two-pulse Raman sequence using Eqs. (27)–(29):
2424
J. Opt. Soc. Am. B / Vol. 28, No. 10 / October 2011
Stoner et al.
Z t þτ
2
2
σ
¼ exp −i z
dt0 ½δ2 ðt0 Þ þ ωo R2
2 0
Ψg ðt2 þ τ2 Þ
Z t
1
iσ z
σ
× exp
dt0 ½δ1 ðt0 Þ
Φ1→2 R1 × exp i z
2
2 0
Ψe ðt1 Þ
þ ωo :
ð33Þ
Ψg ðt1 Þ
Ψe ðt2 þ τ2 Þ
In nearly all circumstances the initial input amplitudes will
correspond to a pure state in which either Ψe ðt1 Þ or Ψg ðt1 Þ is
unity and the remaining state amplitude is zero. In this case,
Eqs. (32) and (33) can be simplified by noting that the initial
and final rotation operators introduce only trivial phase factors that can be neglected, i.e., for a three-pulse sequence
using pure input states,
iσ z
iσ z
¼ R3 exp
Φ2→3 R2 exp
Φ1→2
2
2
Ψg ðt3 þ τ3 Þ
Ψe ðt1 Þ
;
× R1
Ψg ðt1 Þ PURE
Ψe ðt3 þ τ3 Þ
where
Ψe ðt1 Þ
Ψg ðt1 Þ
¼
PURE
1
0
;
:
0
1
ð34Þ
ð35Þ
Likewise, a two-pulse sequence involving pure input states is
represented by
iσ z
Ψe ðt2 þ τ2 Þ
Ψe ðt1 Þ
¼ R2 exp
: ð36Þ
Φ1→2 R1
Ψg ðt2 þ τ2 Þ
Ψg ðt1 Þ PURE
2
Two- or three-pulse sequence output amplitudes can be calculated by direct multiplication of operators in Eqs. (34) and
(36). Direct multiplication becomes cumbersome for longer
pulse sequences, however. In Section 3, we present a diagrammatic technique for computing probability amplitudes that
enables ready analysis of long pulse sequences.
3. CALCULATION OF PROBABILITY
AMPLITUDES
In this section, we compute output probability amplitudes for
two- and three-pulse interferometer sequences using a novel
diagrammatic approach. The diagrammatic technique is based
on a parsing of Raman pulse action on the two pure basis spinors presented in Eq. (35). It can be shown that the action of a
single Raman pulse operator on the pure basis states yields
Rj
Rj
1
1
0
¼ C j
− iS j
;
0
0
1
ð37Þ
0
0
1
¼ Cj
− iS j
;
1
1
0
ð38Þ
where the parameters S j and C j are defined in Table 1. We
represent these relations graphically in Fig. 2. Quantum states
are represented by solid arrows, horizontal arrows correspond to the lower ground state [the second pure state listed
in Eq. (35)], while arrows with an upward slant correspond to
the upper ground state [the first pure state listed in Eq. (35)].
Fig. 2. Diagrammatic representation of a Raman pulse operator
applied at time t ¼ t1 . An initial state purely in the lower ground state
is shown on the left; a pure state beginning in the upper ground state is
shown on the right.
Vertical dashed lines are associated with Raman pulses. Pure
input states acted upon by Raman pulses emerge with output
amplitudes specified by Eqs. (37) and (38). Figure 2 depicts
this action graphically. In addition to tracking the impact of
Raman pulses, evolution in the dark must also be captured.
By inspection of Eqs. (34) and (36), we find that, during evolution in the dark, a phase exp½iðΦj→jþ1 Þ=2 accrues to the
upper ground state and exp½−iðΦj→jþ1 Þ=2 accrues to the lower state, for a dwell between the end of pulse j and the onset of
pulse j þ 1.
We can then represent a Raman interferometer pulse sequence with a series of diagrams, each constructed around
a vertical line representing the respective Raman pulse.
The first pulse comprises a single node denoting the scattering
of the input state as shown in Fig. 2. If we assume a pure initial
state in which the lower ground level is occupied, the action of
a second pulse on the time-evolved output amplitudes of the
first pulse is shown in Fig. 3. Figure 4 represents the action of
a third Raman pulse on the time-evolved outputs of the second
pulse. This procedure can be repeated ad infinitum to compose 2N output probability amplitudes for an N pulse Raman
sequence with arbitrary detunings separated by evolution in
the dark of arbitrary duration. Figures 3 and 4 comprise a
complete and general derivation of the output amplitudes
for the two- and three-pulse Raman interferometers, respectively. The net probability amplitude for each ground state
is composed as the sum of output probability amplitudes
for that state. The output interferometer probability densities
are composed for the corresponding amplitudes; these densities are then averaged over the initial velocity distribution to
obtain the interferometer response for a thermal atom cloud
or beam.
We now state probability densities for the two- and threepulse interferometer sequences in which the initial state is the
second pure state spinor listed in Eq. (35). The output amplitudes displayed in Fig. 3 are those of the two-pulse interferometer: adding the contributions to each ground state probability
amplitude yields
i
Ψe ðt2 þ τ2 Þj2-pulse ¼ −iC 1 S 2 exp − Φ1→2
2
i
ð39Þ
− iS 1 C 2 exp Φ1→2 ;
2
i
Ψg ðt2 þ τ2 Þj2-pulse ¼ C 1 C 2 exp − Φ1→2
2
i
− S 1 S 2 exp Φ1→2 ;
2
ð40Þ
Stoner et al.
Vol. 28, No. 10 / October 2011 / J. Opt. Soc. Am. B
2425
i
i
Φ1→2 exp Φ2→3
2
2
i
i
− iC 1 C 2 S 3 exp − Φ1→2 exp − Φ2→3 ; ð45Þ
2
2
ðΨe Þloss ¼ −iS 1 C 2 C 3 exp
Ψg ðt3 þ τ3 Þj3-pulse ¼ ðΨg Þint þ ðΨg Þloss ;
Fig. 3. Diagrammatic illustration of the action of a second Raman
pulse on the output amplitudes of a first pulse as shown in Fig. 2.
The lower ground initial state of Fig. 2 is assumed. Input to each node
is scaled as per the rules of Fig. 2 with the resultant output amplitudes
shown. The sum of amplitudes associated with the respective ground
states yields the net probability amplitudes.
i
i
ðΨg Þint ¼ −C 1 S 2 S 3 exp − Φ1→2 exp Φ2→3
2
2
i
i
− S 1 S 2 C 3 exp Φ1→2 exp − Φ2→3 ;
2
2
ð46Þ
ð47Þ
i
i
Φ1→2 exp Φ2→3
2
2
i
i
þ C 1 C 2 C 3 exp − Φ1→2 exp − Φ2→3 : ð48Þ
2
2
ðΨg Þloss ¼ −S 1 C 2 S 3 exp
and the probability densities are
jΨe ðt2 þ τ2 Þj2-pulse j2 ¼ jC 1 j2 jS 2 j2 þ jS 1 j2 jC 2 j2
þ 2Re½C 1 S 1 C 2 S 2 expðiΦ1→2 Þ;
ð41Þ
jΨg ðt2 þ τ2 Þj2-pulse j2 ¼ jC 1 j2 jC 2 j2 þ jS 1 j2 jS 2 j2
− 2Re½C 1 S 1 C 2 S 2 expðiΦ1→2 Þ:
ð42Þ
The sum of the probabilities in Eqs. (41) and (42) is easily
shown to be unity. In Section 4, we examine these results
in greater detail.
The output amplitudes displayed in Fig. 4 are those of the
three-pulse interferometer. It is convenient to break up the
output probability amplitudes into the sum of two terms as
follows:
Ψe ðt3 þ τ3 Þj3-pulse ¼ ðΨe Þint þ ðΨe Þloss ;
ðΨe Þint
i
i
¼ −iC 1 S 2 C 3 exp − Φ1→2 exp Φ2→3
2
2
i
i
þ iS 1 S 2 S 3 exp Φ1→2 exp − Φ2→3 ;
2
2
ð43Þ
We note that, in the preceding expressions, “loss” terms feature sums of integrated phases Φj→jþ1 in the exponentials
while “int” terms are characterized by differences of the integrated phases. The output probability densities on a per atom
basis prior to thermal averaging are
jΨe ðt3 þ τ3 Þj3-pulse j2 ¼ jS 1 j2 jS 2 j2 jS 3 j2 þ jC 1 j2 jS 2 j2 jC 3 j2
− 2Re½expðiϕint ÞC 1 S 1 ðS 2 Þ2 C 3 S 3 þ jS 1 j2 jC 2 j2 jC 3 j2 þ jC 1 j2 jC 2 j2 jS 3 j2
þ 2Re½expðiϕloss ÞC 1 S 1 ðC 2 Þ2 C 3 S 3 þ 2Re½expðiϕint =2Þ
× expð−iϕloss =2ÞC 1 S 1 C 2 S 2 ðjC 3 j2 − jS 3 j2 Þ
þ 2Re½expðiϕint =2Þ expðiϕloss =2Þ
× C 2 S 2 C 3 S 3 ðjC 1 j2 − jS 1 j2 Þ;
ð44Þ
ð49Þ
jΨg ðt3 þ τ3 Þj3-pulse j2 ¼ jC 1 j2 jS 2 j2 jS 3 j2 þ jS 1 j2 jS 2 j2 jC 3 j2
þ 2Re½expðiϕint ÞC 1 S 1 ðS 2 Þ2 C 3 S 3 þ jS 1 j2 jC 2 j2 jS 3 j2 þ jC 1 j2 jC 2 j2 jC 3 j2
− 2Re½expðiϕloss ÞC 1 S 1 ðC 2 Þ2 C 3 S 3 − 2Re½expðiϕint =2Þ expð−iϕloss =2Þ
× C 1 S 1 C 2 S 2 ðjC 3 j2 − jS 3 j2 Þ
− 2Re½expðiϕint =2Þ expðiϕloss =2Þ
× C 2 S 2 C 3 S 3 ðjC 1 j2 − jS 1 j2 Þ:
Fig. 4. Diagrammatic illustration of the action of a third Raman pulse
on the output amplitudes of a second pulse as shown in Fig. 3. The
output amplitudes shown are the output probability amplitudes for the
three-pulse interferometer.
ð50Þ
The sum of the upper and lower state probability densities can
be readily shown to be unity. At this point, these results are
completely general and describe both Doppler-insensitive and
Doppler-sensitive cases. In application of thermal averaging,
we note that certain terms will be aggressively suppressed in
the Doppler sensitive case. This is because the phases ϕloss
and (ϕloss ϕint ) contain dependence on initial atom velocity,
as shown in Section 4.
2426
J. Opt. Soc. Am. B / Vol. 28, No. 10 / October 2011
Stoner et al.
4. EXAMPLES
We first consider the application of a two-pulse Dopplerinsensitive interferometer pulse sequence to a timing application. Microwave-based interrogation of the ground state
hyperfine splitting has long provided a basis for atomic timekeeping. However, Doppler-insensitive Raman transitions can
also be used, and they offer particular advantages for clocks
using laser-cooled atoms. Optical interrogation possesses inherent advantages for reduced device size and power consumption. Additionally, optical methods afford much more
localized addressing of atom clouds than would be possible
with RF interrogation.
In general, the interference term in Eqs. (41) and (42) is
zero after thermal averaging for the Doppler-sensitive case
(where jkeff j ¼ jkA j þ jkB j) for dwell times longer than a
few microseconds. (We discuss this claim more thoroughly
in the context of three-pulse interferometer sequences later.)
We therefore restrict the discussion of the two-pulse sequence
to the Doppler-insensitive case, using a single pair of Raman
beams. Both pulses are π=2 pulses.
Neglecting the position dependent contribution, the phase
term of Eqs. (41) and (42) has the form
Z
Φ1→2 ¼
t2
t1 þτ1
dt0 δðt0 Þ ¼
Z
t2
t1 þτ1
f½ωA ðt0 Þ − ωB ðt0 Þ − ωo gdt0 : ð51Þ
Additional phases arising from the Raman pulse physics can
also be estimated. We first note that the two copropagating
Raman beams are derived from the same seed laser, so that
S 1 S 2 ¼ jS 1 jjS 2 j; also, the factor C 1 C 2 contributes to the net
phase. In the absence of AC Stark shifts, for a π=2 pulse,
C j
δðM j Þ
δðM j Þτj
1
1
≅ pffiffiffi 1 þ i
≅ pffiffiffi exp i
ΩðM j Þ
ΩðM j Þτj
2
2
1
2
≅ pffiffiffi exp i δðM j Þτj ;
π
2
ð52Þ
where we have set ΩðM j Þτj ¼ π=2 and introduced the exponential by invoking the approximation δðM j Þ ≪ ΩðM j Þ. We
can then express the factor C 1 C 2 as
1
2
π
C 1 C 2 ¼ exp i ½δðM 1 Þτ1 þ δðM 2 Þτ2 for ΩðM j Þτj ¼ :
2
π
2
ð53Þ
For the example of small, constant detuning δ ≪ Ωeff and zero
AC Stark shift,
1
4
C 1 C 2 ≅ exp i δτ
for τ1 ¼ τ2 ¼ τ;
2
π
ð54Þ
so that the total phase shift is
4τ
δT 1 þ
;
πT
ð55Þ
where T ¼ t2 − ðt1 þ τ1 Þ is the dwell time between the Raman
pulses (see Fig. 5). Equation (55) is the integrated discrepancy
between the Raman frequency difference and the hyperfine
transition frequency, with a scale factor correction term to
first order in τ=T. Stabilization of the interferometer phase
locks the Raman difference frequency to the hyperfine transition. For a sequence of two near-resonant π=2 pulses at fixed
Raman difference frequency, the output probabilities are
jΨe ðt2 þ τ2 Þj2-pulse j2 ¼ jC 1 j2 jS 2 j2 þ jS 1 j2 jC 2 j2
4τ
;
þ 2jC 1 S 1 C 2 S 2 j cos δT 1 þ
πT
ð56Þ
jΨg ðt2 þ τ2 Þj2-pulse j2 ¼ jC 1 j2 jC 2 j2 þ jS 1 j2 jS 2 j2
4τ
:
− 2jC 1 S 1 C 2 S 2 j cos δT 1 þ
πT
ð57Þ
This result, including the scale factor modification [Eq. (55)]
to first order in τ=T, agrees with results previously obtained
for clocks based on direct microwave excitation [19].
We now examine both Doppler-sensitive and Dopplerinsensitive implementations of three-pulse Raman interferometers comprising a single Raman beam pair. Before starting,
we briefly note that the three-pulse π=2 − π − π=2 sequence
is conceptually analogous to the spin echo effect [20]. In nuclear magnetic resonance applications, the inclusion of a π
pulse following a π=2 pulse permits the rephasing of an ensemble of protons that have experienced dephasing due to
magnetic field inhomogeneities. In the context of Raman
pulse-based interferometers, the π pulse facilitates rephasing
of an atomic ensemble that has experienced dephasing due to
the effective spread in detuning that arises from the thermal
velocity distribution of the atom cloud.
We begin by exhibiting the initial velocity dependence of
ϕloss . Recall that ϕloss ≡ Φ2→3 þ Φ1→2 :
_ ¼ 0Þ½t2 − ðt1 þ τ1 Þ þ t3 − ðt2 þ τ2 Þ
ϕloss ¼ −keff · ^ez zðt
Z t 3
ℏk2eff
0
0
ωA ðt Þ − ωB ðt Þ − ωo þ
þ
dt0
2m
t2 þτ2
Z t 2
ℏk2eff
0
0
ωA ðt Þ − ωB ðt Þ − ωo þ
þ
dt0
2m
t1 þτ1
Z t Z t0
2
−
keff · ^ez €zðt00 Þdt00 dt0
Z
−
t1 þτ1
t3
t2 þτ2
0
Z
t0
keff · ^ez €zðt00 Þdt00
dt0 ;
ð58Þ
0
in which the velocity dependence of the detuning is written in
integral form. This initial velocity may include a deliberately
imposed launch or beam velocity, but it must also contain a
thermal velocity contribution. Even for a 0:5 μK thermal sample and a 1 msp
dwell
time T,
ffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffi
ffi in the Doppler-sensitive case, we
_ ¼ 0Þ2 iT ≈ 1:4 × 102 . The integration of the
obtain keff · ^ez hzðt
sinusoid with the velocity-dependent phase over the velocity
distribution is thus heavily suppressed. On the other hand,
even for a 120 μK sample and a 100 ms dwell
time, in ffi the
pffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffi
_ ¼ 0Þ2 iT ≈
Doppler-insensitive case, we obtain keff · ^ez hzðt
1:9 × 10−3 . Here, the sinusoid with the velocity-dependent
phase is nearly constant over the integration. Thus, we
approximate the Doppler-insensitive case with results (49)
and (50) in which we set keff ≅ 0 and all of the phasedependent terms contribute, even when there is a mismatch
Stoner et al.
Vol. 28, No. 10 / October 2011 / J. Opt. Soc. Am. B
2427
This phase is either constant or zero and does not depend on
initial atom position. There are also phases associated with
the C j in the various interference terms. As in the clock case,
we consider small detunings, zero AC Stark shifts, and nearideal pulses in order to draw a correspondence with previous
results. Using Eq. (52), we can write,
1
2
C 1 C 3 ¼ exp i ½δðM 3 Þτ3 − δðM 1 Þτ1 2
π
Fig. 5. Timing diagrams for (a) two and (b) three Raman pulse
sequences.
between the first and second dwell times. For the Doppler
sensitive case, we drop all phase-dependent terms that carry
initial velocity dependence; in fact, there is no interference at
all except for closely matched dwell times. Then
jΨe ðt3 þ τ3 Þj3-pulse;DS j2 ¼ jS 1 j2 jS 2 j2 jS 3 j2 þ jC 1 j2 jS 2 j2 jC 3 j2
þ jS 1 j2 jC 2 j2 jC 3 j3 þ jC 1 j2 jC 2 j2 jS 3 j2
− ½expðiϕint ÞC 1 S 1 ðS 2 Þ2 C 3 S 3 þ cc;ð59Þ
jΨg ðt3 þ τ3 Þj3-pulse;DS j2 ¼ jC 1 j2 jS 2 j2 jS 3 j2 þ jS 1 j2 jS 2 j2 jC 3 j2
For the example of small constant detuning and zero AC Stark
shift, C 1 C 3 ≅ 1=2 for τ1 ¼ τ3 . This implies that the net total
interferometer phase for small constant detuning is zero [or
at least constant, in light of Eq. (62)].
Another scenario of interest is considered in [14], which examines the case of constant difference frequency in the presence of constant acceleration, and calculates the resultant
interferometer output. Let us compare with [14] the results
obtained from our framework. For constant acceleration,
_ ¼ zðt
_ ¼ 0Þ þ ao t] and constant
a0 along the ^ez axis [i.e., zðtÞ
difference frequency,
ℏk2
_ 3Þ
δðM 3 Þ − δðM 1 Þ ¼ ðωA − ωB Þ − ωo þ eff − keff · ^ez zðM
2m
ℏk2
_ 1Þ
− ðωA − ωB Þ þ ωo þ eff þ keff · ^ez zðM
2m
¼ −keff ao ðτ þ 2TÞ:
þ jS 1 j2 jC 2 j2 jS 3 j3 þ jC 1 j2 jC 2 j2 jC 3 j2
þ ½expðiϕint ÞC 1 S 1 ðS 2 Þ2 C 3 S 3 þ cc;ð60Þ
in which we also insist that the dwell time mismatch j½t3 −
ðt2 þ τ2 Þ − ½t2 − ðt1 þ τ1 Þj ≤ μsec time scale in order for the
interference term in ϕint to be included unaltered. Any
term containing dependence on ϕloss disappears from the
Doppler-sensitive final state probability, hence the name.
The phase terms require further discussion in order to
compare the present results with previous work [18]. We first
consider terms containing ϕint dependence only
expðiϕint ÞC 1 S 1 ðS 2 Þ2 C 3 S 3 þ cc ¼ expðiϕint Þ exp½iðϕ1 − 2ϕ2 þ ϕ3 Þ
× jS 1 jjS 2 j2 jS 3 jC 1 C 3 þ cc:
π
for ΩðM j Þτj ¼ :
2
ð63Þ
ð61Þ
ð64Þ
The detunings are evaluated at midpulse, which is equivalent
to time-averaged values in the present case of linearly varying
δðtÞ. In obtaining Eq. (64), we assumed that τ1 ¼ τ3 . Using
Eqs. (52) and (64), we obtain
C 1 C 3
1
2
¼ exp −i ½keff ao ðτ þ 2TÞτ :
2
π
ð65Þ
Also, for this case,
Z
ϕint ¼ −keff
t3
t2 þτ2
_ 0 Þdt0 −
zðt
τ2
¼ −keff ao T 2 − 2 :
4
Z
t2
t1 þτ1
_ 0 Þdt0
zðt
ð66Þ
The interference term is then
Recall that the Raman phases are ϕj ≡ ðϕA;o − ϕB;o Þj − keff ·
^ez zðt ¼ 0Þ; where the terms ðϕA;o − ϕB;o Þj are the same for
all pulses j when the Raman pulses are all produced by the
same beam pair as would be the case for an accelerometer
and are, in general, different if each pulse is produced by a
different beam pair as would be the case for a gyroscope.
Then,
ϕ1 − 2ϕ2 þ ϕ3 ¼ ðϕA;o − ϕB;o Þ1 − keff · ^ez zðt ¼ 0Þ
¼ 2Refexpðiϕint Þ exp½iðϕ1 − 2ϕ2 þ ϕ3 ÞjS 1 jjS 2 j2 jS 3 jC 1 C 3 g
1
4τ
τ2 2 τ22
2
þ
−
¼ cos keff ao T 1 þ
2
πT T 2 π 4τ2
1
4τ
τ2 2
þ 2
−1
; for τ2 ¼ 2τ;
⇒ cos keff ao T 2 1 þ
2
πT T π
ð67Þ
− 2½ðϕA;o − ϕB;o Þ2 − keff · ^ez zðt ¼ 0Þ
þ ðϕA;o − ϕB;o Þ3 − keff · ^ez zðt ¼ 0Þ
¼ ðϕA;o − ϕB;o Þ1 − 2ðϕA;o − ϕB;o Þ2
þ ðϕA;o − ϕB;o Þ3 :
2Re½expðiϕint ÞC 1 S 1 ðS 2 Þ2 C 3 S 3 þ cc
ð62Þ
where we have retained phase corrections to second order in
τ=T. In the general case, computing the second-order phase
correction requires using the first-order perturbation result
for the Raman pulse operator: the first-order perturbation
2428
J. Opt. Soc. Am. B / Vol. 28, No. 10 / October 2011
Stoner et al.
theory result of Eq. (19) contributes phase correction terms
_ 2 . However, it can be shown that, in the
proportional to δτ
special case of linear variation in δ, those terms sum to zero.
Thus, Eq. (67) is valid to second order in τ=T in the constant
acceleration case. The interference phase of Peters [14] is
cos ϕPeters ¼ cos½keff ao ðT p þ 2τÞT p −
ϕPeters
2keff ao ðT p þ 2τÞ
Ωeff
× sin½keff ao ðT p þ 2τÞT p 4τ
⇒
≅ cos keff ao ðT p þ 2τÞ T p þ
π
4τ
τ2 4
þ 2
−1 ;
¼ keff ao T 2 1 þ
πT T π
ð68Þ
where T p ≡ T − τ2 =2 and we have retained phase correction
terms to second order in τ=T. Additionally, we used the fact
that Ωeff τ ¼ π=2. To first order in τ=T, the present treatment
yields the same scale factor correction as was calculated
in Peters; the second-order scale factor corrections are
discrepant.
We now determine the scale factor (proportionality between rotation rate and interferometer phase) of a Raman
pulse gyroscope comprising three Raman beam pairs operated with the same difference frequency. These beams are applied to discrete clouds of atoms propagating through a
rotating interaction region, such that atoms are exposed only
to a single beam pair at a time. Thus, laser pulse timing is the
same for all atoms, unlike a gyro implementation using a continuous thermal beam of atoms.
As opposed to the single beam pair analysis, we must now
specify a detuning function for each Raman laser beam pair.
For simplicity, we consider only rotation input as per Fig. 6.
The inertial sensitivity of a beam-based atom interferometer
arises from relative instrument motion with respect to the
atom beam when the instrument is rotated or accelerated
along an axis normal to the initial particle direction (see
Fig. 6). Rotation shifts the Raman difference frequencies of
the beams as seen by the propagating atoms; these frequency
shifts register the rate of rotation.
We now determine the rotation sensitivity of the Raman
laser gyroscope. Refer to Fig. 6 for definition of system parameters. The launch point of the atoms is taken to be fixed (rate
of rotation is low enough that centrifugal forces are negligible:
thus, we are free to place the center of rotation in a convenient
location). The time-dependent detuning associated with each
beam is due to the velocity at which the beam is rotating about
the center of rotation (a constant value); we are in the reference frame in which the undeflected atomic wave is stationary. The atoms are launched at a mean velocity vl with a
thermal (random) velocity component vt , where vl is normal
in direction to keff , vl · keff ¼ 0, subjected to a constant rate of
rotation Ωo normal to both keff and vl (see Fig. 6). We also
assume that jvl j ≫ jvt j. The laser beams are moving with respect to a particular atom’s trajectory at a rate
vj ¼ −Ωo ðvo · ^ex ÞM j ^ez ;
ð69Þ
where we represent the total velocity of the atom as
vo ¼ vl þ vt . The time-dependent detuning for beam pair j
for a single atom moving at velocity vo is then
Fig. 6. Rotating interferometer (not to scale): atoms (black dot) are
launched on a linear trajectory at t ¼ 0 and propagate with mean velocity vl . The instrument is taken to be rotating about the point of atom
launch. The rotation induces relative motion of the Raman beams with
respect to the atom trajectory. L is the distance between Raman beam
pairs as shown, d is the diameter of the Raman beam pairs, Ωo is the
rate of rotation. The vector direction of rotation is along þy (points
out of the page). The initial velocity of launch is in the þx direction.
keff is directed from top to bottom in the figure (along z).
δj ðtÞ ¼ ½ωA ðtÞ − ωB ðtÞj − ωo −
ℏk2eff
ℏ 2
ðk − k2B Þ
þ
2m A
2m
− keff Ωo ðvo · ^ex ÞM j :
ð70Þ
We now consider the ensemble average of the interferometer
phase, in which contributions from the random thermal velocity components vt for individual atoms are suppressed.
It is straightforward to show that, for constant laser difference
frequency and the symmetric timing sequence displayed in
Fig. 6, the mean interferometer phase is
τ
ϕint ¼ Φ2→3 − Φ1→2 ¼ −2keff Ωo ðvl · ^ex Þ T þ T:
2
ð71Þ
It is important to note that, in order to eliminate phase dependence on the time of the first pulse t1 , it is necessary to set
τ1 ¼ τ3 ¼ τ to obtain Eq. (71).
We now consider open loop scale factor, i.e., the observed
interferometer phase dependence on rotation rate when the
frequency difference is maintained at a constant value. As
with the calculation of the open loop scale factor for the
accelerometer, we consider midpulse values of the detuning.
For convenience, let us choose a fixed laser frequency difference such that δðM 1 Þ ¼ 0 (the difference in detunings does not
depend on the choice of value for δðM 1 Þ ¼ 0, however): in that
case,
ðωA − ωB Þ1 ¼ ωo þ
δðM 1 Þ ¼ 0:
ℏk2eff
ℏ 2
ðk − k2B Þ þ keff Ωo vl M 1^ez ;
−
2m 2m A
for
ð72Þ
A straightforward argument then shows that δðM 3 Þ ¼
−keff Ωo vl ð2T þ τÞ. Using Eq. (52), we write
Stoner et al.
Vol. 28, No. 10 / October 2011 / J. Opt. Soc. Am. B
1
2
C 1 C 3 ¼ exp i τ½δðM 3 Þ − δðM 1 Þ
2
π
1
2
¼ exp −i keff Ωo vl ð2T þ τÞτ
2
π
REFERENCES
1.
ð73Þ
2.
so that the total open loop phase is
3.
2
ϕint þ τ½δðM 3 Þ − δðM 1 Þ
π
τ
2τ 1 τ 2
:
þ
þ
≅ −2keff Ωo vl T 2 1 þ
2T πT π T
2429
4.
ð74Þ
It can also be shown in the gyro case that the phase contributions arising from the first-order perturbation theory portion
of the Raman pulse operator vanish; thus, Eq. (74) is valid to
second order in τ=T. While the corrections up to second order
in τ=T are small for Raman pulse durations on the order of
microseconds and dwell times on the order of hundreds of
milliseconds, they can be substantial for high-bandwidth interferometer operation, where millisecond or submillisecond
dwell times may be required. We note that, for τ ¼ 10 μs and
T ¼ 1 ms, corrections up to second order in τ=T in Eq. (74)
alter the open loop phase by roughly 1%. If T ¼ 100 μs, the
phase correction is on the order of 10%.
5. CONCLUSION
In this paper, we have presented an analytical framework for
Raman pulse interferometry in dynamic environments. The
framework is applicable to atom optics manipulations that
feature off-resonant light pulses and brief interrogation times
and accounts for finite Raman pulse duration and partial
coherence effects that can become important at very short interrogation times. We have presented a diagrammatic method
for calculating interferometer output probability amplitudes,
which enables ready modeling of sequences comprising a
large number of Raman pulses. We analyzed two- and threepulse atom interferometers, including a two-pulse clock and
three-pulse accelerometer and gyroscope sequences. We reported clock, accelerometer, and gyroscope phase evolution
for fixed Raman laser frequency difference incorporating corrections in powers of the ratio of pulse duration to time interval between interferometer pulses. Our clock result and
accelerometer result agree with other published results
([19,14], respectively). Late in the publication process, the
authors became aware of related calculations [21,22] that address modeling of atom interferometer sequences and phase
evolution corrections in the finite pulse duration regime.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
21.
22.
T. L. Gustavson, P. Bouyer, and M. A. Kasevich, “Precision rotation measurements with an atom interferometer gyroscope,”
Phys. Rev. Lett. 78, 2046–2049 (1997).
M. J. Snadden, J. M. McGuirk, P. Bouyer, K. G. Haritos, and M. A.
Kasevich, “Measurement of the Earth’s gravity gradient with an
atom interferometer-based gravity gradiometer,” Phys. Rev.
Lett. 81, 971–974 (1998).
T. L. Gustavson, A. Landragin, and M. A. Kasevich, “Rotation
sensing with a dual atom interferometer Sagnac gyroscope,”
Class. Quant. Gravity 17, 2385–2398 (2000).
A. Peters, K. Y. Chung, and S. Chu, “High-precision gravity
measurements using atom interferometry,” Metrologia 38, 25–61
(2001).
J. M. McGuirk, G. T. Foster, J. B. Fixler, M. J. Snadden, and
M. A. Kasevich, “Sensitive absolute-gravity gradiometry using
atom interferometry,” Phys. Rev. A 65, 033608 (2002).
D. S. Durfee, Y. K. Shaham, and M. A. Kasevich, “Long-term
stability of an area-reversible atom-interferometer sagnac gyroscope,” Phys. Rev. Lett. 97, 240801 (2006).
H. Müller, A. Peters, and S. Chu, “A precision measurement of
the gravitational redshift by the interference of matter waves,”
Nature 463, 926–929 (2010).
T. Müller, M. Gilowski, M. Zaiser, P. Berg, C. Schubert, T.
Wendrich, W. Ertmer, and E. M. Rasel, “A compact dual atom
interferometer gyroscope based on laser-cooled rubidium,”
Eur. Phys. J. D 53, 273–281 (2009).
Q. Bodart, S. Merlet, M. Malossi, F. Pereira Dos Santos, P.
Bouyer, and A. Landragin, “A cold atom pyramidal gravimeter
with a single laser beam,” Appl. Phys. Lett. 96, 134101 (2010).
D. L. Butts, J. M. Kinast, B. P. Timmons, and R. E. Stoner, “Light
pulse atom interferometry at short interrogation times,” J. Opt.
Soc. Am. B 28, 416–421 (2011).
K. Moler, D. S. Weiss, M. Kasevich, and S. Chu, “Theoretical analysis of velocity-selective Raman transitions,” Phys. Rev. A 45,
342–348 (1992).
D. S. Weiss, B. C. Young, and S. Chu, “Precision measurement of
ℏ=mCs based on photon recoil using laser-cooled atoms and
atomic interferometry,” Appl. Phys. B 59, 217–253 (1994).
B. Young, M. Kasevich, and S. Chu, “Precision atom interferometry with light pulses,” Atom Interferometry, P. Berman, ed.
(Academic, 1997), pp. 363–406.
A. Peters, “High precision gravity measurements using atom
interferometry,” Ph.D. thesis (Stanford University, 1998).
P. Storey and C. Cohen-Tannoudji, “The Feynman path integral
approach to atomic interferometry. A tutorial,” J. Phys. II
(France) 4, 1999–2027 (1994).
D. A. Steck, “Quantum and atom optics,” http://steck.us/
teaching (2006).
J. K. Stockton, “Continuous quantum measurement of cold
alkali-atom spins,” Ph.D. thesis (California Institute of Technology, 2007).
G. Baym, Lectures on Quantum Mechanics (Benjamin/
Cummings Publication, 1969).
J. Vanier and C. Audoin, The Quantum Physics of Atomic
Frequency Standards, Vol. II (Adam Hilger, 1989).
E. L. Hahn, “Spin echoes,” Phys. Rev. 80, 580–594 (1950).
C. Antoine, “Matter wave beam splitters in gravito-inertial and
trapping potentials: generalized ttt scheme for atom interferometry,” Appl. Phys. B 84, 585–597 (2006).
C. Antoine, “Rotating matter-wave beam splitters and consequences for atom gyrometers,” Phys. Rev. A 76, 033609 (2007).