This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Near-resonant optical forces beyond the two-level approximation for a continuous source of spin-polarized cold atoms

T. Vanderbruggen thomas.vanderbruggen@icfo.es ICFO - Institut de Ciencies Fotoniques, Mediterranean Technology Park, 08860 Castelldefels (Barcelona), Spain    M. W. Mitchell ICFO - Institut de Ciencies Fotoniques, Mediterranean Technology Park, 08860 Castelldefels (Barcelona), Spain ICREA - Institució Catalana de Recerca i Estudis Avançats, 08015 Barcelona, Spain
(July 30, 2025)
Abstract

We propose a method to generate a source of spin-polarized cold atoms which are continuously extracted and guided from a magneto-optical trap using an atom-diode effect. We show that it is possible to create a pipe-like potential by overlapping two optical beams coupled with the two transitions of a three-level system in a ladder configuration. With alkali-metal atoms, and in particular with 87Rb, a proper choice of transitions enables both the potential generation and optical pumping, thus polarizing the sample in a given Zeeman state. We extend the Dalibard and Cohen-Tannoudji dressed-atom model of radiative forces to the case of a three-level system. We derive expressions for the average force and the different sources of momentum diffusion in the resonant, non-perturbative regime. We show using numerical simulations that a significant fraction of the atoms initially loaded can be guided over several centimeters with output velocities of a few meters per second. This would produce a collimated continuous source of slow spin-polarized atoms suitable for atom interferometry.

pacs:
37.10.Gh, 37.20.+j, 32.70.Jz, 05.40.-a

I Introduction

The achievement of laser cooling Chu (1998); *cohen1998; *phillips1998 resulted in an unprecedented control of atomic ensembles, which led to a dramatic evolution of atom-based sensors such as atomic clocks, inertial sensors, and magnetometers Kitching et al. (2011). These sensors are today state-of-the-art devices and their improvement is a major technological issue.

However, the cold atom cloud as the source of the sensors needs to be reloaded after each measurement cycle. This limits the maximum repetition rate of the sensor and creates a sampling of the measured variable. It is, for example, responsible for the Dick effect that is nowadays limiting optical lattice clocks Lodewyck et al. (2009). The development of continuous cold atomic sources can thus lead to important improvements and new designs of atom interferometers. Continuous atomic sources are often associated with an atomic guide that is usually realized with a magnetic potential Roos et al. (2003); Falkenau et al. (2011) and loaded from a cold atomic source. Nevertheless, the presence of a magnetic field may be a limitation for interferometric applications, and particularly for magnetometers.

Here we propose an all-optical method to create a continuous source of guided cold atoms loaded directly from a magneto-optical trap (MOT), as shown in Fig. 1 (a). It relies on an atom-diode effect Thorn et al. (2008); Bannerman et al. (2009) that permits the atoms to enter into the guide but forbids them to escape. The method uses optical pumping to both keep the atoms in the guided state after loading and spin-polarize the sample in a given Zeeman sublevel. The guide thus provides a collimated and continuous source of polarized cold atoms suitable for atomic sensors.

Refer to caption
Figure 1: (Color online) (a) Concept: A pipe-like potential is generated all-optically. It continuously extracts atoms from a magneto-optical trap and guides them. (b) The 780 nm and 1529 nm beams are coaxial, with the 780 nm beam being slightly larger. (c) Relevant atomic levels of 87Rb versus the transverse direction. The 1529 nm beam induces a position-dependent differential light-shift on the transition at 780 nm. The detuning of the 780 nm beam is chosen to generate a state-dependent dipole force which implements the atom diode. For an atom in |F=2\left|F=2\right\rangle, the potential in the transverse direction is a double barrier, that is, a pipe, due to the cylindrical symmetry of the problem.

The article analyses the main physical processes involved in the proposal implementation and is organized as follows. In a brief presentation of the method we explain how light-shift engineering in a three-level system leads to the continuous extraction of atoms from a MOT into an optical guide. We then model the forces for a three-level atomic system in a ladder configuration (Ξ\Xi-system): from the master equation in the Lindblad form, we derive the optical Bloch equations and introduce the dressed state picture which simplifies the description of the internal state dynamics to rate equations. Since the guide performance is limited by the heating rates, we quantify the various diffusion processes that an atom experiences when it propagates along the guide. We exhibit a possible implementation with 87Rb atoms, but the method can be generalized to any alkali-metal atom. We finally use the theoretical results previously obtained to simulate the stochastic trajectories of atoms in the guide solving Langevin-like equations. From these simulations we estimate the performance of the guide and show that the proposed method is viable.

II Principle of the method

We now give a brief overview of how the guide is generated and continuously loaded, exhibit the various physical effects involved, and explain how they combine.

The main idea is to coaxially overlap two beams [Fig. 1 (b)] to engineer the internal state light-shifts and design the guiding potential. As shown in Fig. 1 (c) for 87Rb atoms, the first beam at 780 nm is tuned to the blue of the |52S1/2,F=2|52P3/2\left|5^{2}\mathrm{S}_{1/2},F=2\right\rangle\rightarrow\left|5^{2}\mathrm{P}_{3/2}\right\rangle transition, and to the red of the |52S1/2,F=1|52P3/2\left|5^{2}\mathrm{S}_{1/2},F=1\right\rangle\rightarrow\left|5^{2}\mathrm{P}_{3/2}\right\rangle transition. The 780 nm field then realizes a state-dependent dipole potential: repulsive for atoms in |F=2\left|F=2\right\rangle and attractive for atoms in |F=1\left|F=1\right\rangle. The second beam, placed on the red of the 52P3/242D5/25^{2}\mathrm{P}_{3/2}\rightarrow 4^{2}\mathrm{D}_{5/2} transition at 1529 nm, induces a differential light-shift on the transition at 780 nm Brantut et al. (2008); Bertoldi et al. (2010). Therefore, the 780 nm radiation is far-detuned at the center of the beams, resulting in a strong reduction of the dipole potential. As a consequence, the potential is created only at the periphery of the beam, producing a state-selective barrier with a pipe shape due to the cylindrical symmetry of the problem. Moreover, the differential light-shift also strongly lowers the spontaneous emission rate inside the guide, reducing the heating rate and thus increasing the guided distance of the atoms.

Due to the differential light-shift, the 780 nm light is resonant (or nearly resonant) with atoms in |F=1\left|F=1\right\rangle at some position inside the guide. Therefore, atoms in |F=1\left|F=1\right\rangle from the MOT can pass through the guide barrier before being repumped into the barrier-sensitive state |F=2\left|F=2\right\rangle by the 780 nm light. In other words, an atom can enter the guide but cannot leave it: this is the atom-diode effect which continuously extracts atoms from the MOT and fills the guide. We will see in Sec. V.1 that a proper choice of polarizations for the optical beams drives closed transitions that maintain the atoms in the guided state |F=2\left|F=2\right\rangle while optically pumping and polarizing the atomic sample.

For the atom-diode effect to occur the 780 nm radiation is not far-detuned from the 52S1/252P3/25^{2}\mathrm{S}_{1/2}\rightarrow 5^{2}\mathrm{P}_{3/2} transition and spontaneous emission will play an important role in the dynamics of the system. The scattering induces a heating of the sample that limits the guided distance for a given transport velocity. Moreover, the occupation of the excited states is not negligible near the barrier so that the dipole force of the 1529 nm light contributes to the overall potential. These effects may modify the naïve description introduced above. Therefore, to verify whether the method is viable and what performance to expect, we developed a comprehensive model of the problem, expanding the Dalibard and Cohen-Tannoudji dressed-atom approach (Dalibard and Cohen-Tannoudji, 1985). The following sections present a detailed study of the optical forces and diffusion coefficients for a three-level atomic system driven near resonance.

III Dipole forces in a three-level atomic system

We estimate the dipole force and the related momentum dispersion coefficients in a Ξ\Xi-system (Fig. 2). To solve this problem, we derive the optical Bloch equations for such a configuration and introduce the dressed-atom picture, providing a simplified description of the system when the secular approximation is valid.

Refer to caption
Figure 2: Three-level system in a Ξ\Xi configuration. The system is doubly-driven with electromagnetic fields: the |1|2\left|1\right\rangle\leftrightarrow\left|2\right\rangle transition at ω0(1)\omega_{0}^{(1)} is driven with a detuning Δ1=ω0(1)ωL(1)\Delta_{1}=\omega_{0}^{(1)}-\omega_{L}^{(1)} (note that with this sign convention Δ<0\Delta<0 corresponds to blue detuned light) and a Rabi frequency Ω1\Omega_{1}, whereas the |2|3\left|2\right\rangle\leftrightarrow\left|3\right\rangle transition at ω0(2)\omega_{0}^{(2)} is driven with a detuning Δ2=ω0(2)ωL(2)\Delta_{2}=\omega_{0}^{(2)}-\omega_{L}^{(2)} and a Rabi frequency Ω2\Omega_{2}. An atom in |2\left|2\right\rangle can decay to |1\left|1\right\rangle at a rate Γ1\Gamma_{1} and an atom in |3\left|3\right\rangle can decay to |2\left|2\right\rangle at a rate Γ2\Gamma_{2}. We assume there is no decay from |3\left|3\right\rangle to |1\left|1\right\rangle.

III.1 Optical Bloch equations

According to the notations in Fig. 2, the Hamiltonian of the atom in the rotating frame is, in the {|1,|2,|3}\left\{\left|1\right\rangle,\left|2\right\rangle,\left|3\right\rangle\right\} basis,

Hat=(0000Δ1000Δ2).H_{\rm at}=\hbar\left(\begin{array}[]{ccc}0&0&0\\ 0&\Delta_{1}&0\\ 0&0&\Delta_{2}\end{array}\right). (1)

By introducing the jump operators σ12=|12|\sigma_{12}=\left|1\right\rangle\left\langle 2\right| and σ23=|23|\sigma_{23}=\left|2\right\rangle\left\langle 3\right|, the atom-light interaction can be modeled with the following Hamiltonian:

Hint=Ω12(σ12+σ12)+Ω22(σ23+σ23),H_{\rm int}=\frac{\hbar\Omega_{1}}{2}\left(\sigma_{12}+\sigma_{12}^{\dagger}\right)+\frac{\hbar\Omega_{2}}{2}\left(\sigma_{23}+\sigma_{23}^{\dagger}\right), (2)

where the optical phases are assumed to be constant in time so that the Rabi frequencies Ω1\Omega_{1} and Ω2\Omega_{2} are real numbers. The Hamiltonian that describes the internal energy of an atom coupled to the two optical fields is thus V=Hat+HintV=H_{\rm at}+H_{\rm int}.

The internal state evolution of the system is governed by the following master equation:

tρ=i[V,ρ]+Γ1[σ12]ρ+Γ2[σ23]ρ,\partial_{t}\rho=-\frac{i}{\hbar}\left[V,\rho\right]+\Gamma_{1}\mathcal{L}\left[\sigma_{12}\right]\rho+\Gamma_{2}\mathcal{L}\left[\sigma_{23}\right]\rho, (3)

where the Lindblad superoperators that model the spontaneous emission processes are

[σ]ρ=σρσ12{σσ,ρ},\mathcal{L}\left[\sigma\right]\rho=\sigma\rho\sigma^{\dagger}-\frac{1}{2}\left\{\sigma\sigma^{\dagger},\rho\right\}, (4)

and {A,B}=AB+BA\left\{A,B\right\}=AB+BA is the anticommutator. Using this master equation, the optical Bloch equations for a Ξ\Xi-system are derived in App. A.1.

In the end, we are interested in the external motion of the atom which occurs at timescales much larger than the internal state evolution. We thus assume that the internal atomic state is always in the steady state ρlimtρ\rho_{\infty}\equiv\lim_{t\rightarrow\infty}\rho. The steady state satisfies tρ=0\partial_{t}\rho_{\infty}=0 and its value is derived in App. A.2.

III.2 Dressed-atom picture

The dressed states are defined as the eigenstates of the Hamiltonian VV, which admits the following eigendecomposition:

V=UV~U,V=U^{\dagger}\widetilde{V}U, (5)

where V~=diag(E~α,E~β,E~γ)\widetilde{V}=\mathrm{diag}(\widetilde{E}_{\alpha},\widetilde{E}_{\beta},\widetilde{E}_{\gamma}) is diagonal in the basis {|α,|β,|γ}\left\{\left|\alpha\right\rangle,\left|\beta\right\rangle,\left|\gamma\right\rangle\right\} called the dressed states basis. UU is the unitary transformation between the bare and dressed states basis {|1,|2,|3}{|α,|β,|γ}\left\{\left|1\right\rangle,\left|2\right\rangle,\left|3\right\rangle\right\}\leftrightarrow\left\{\left|\alpha\right\rangle,\left|\beta\right\rangle,\left|\gamma\right\rangle\right\} Whitley and Stroud (1976).

A knowledge of the unitary transformation UU allows us to define the jump operators for the dressed states as σ~=UσU\widetilde{\sigma}^{\dagger}=U\sigma^{\dagger}U^{\dagger}. Similarly, the density matrix in the dressed basis can be obtained from the solution ρ\rho of the Bloch equations in the bare basis: ρ~=UρU\widetilde{\rho}=U\rho U^{\dagger}.

The main advantage of the dressed-atom description is that when the system is strongly driven, the secular approximation applies and the equation of motion for the internal degrees of freedom reduce to rate equations, as shown in App. B.1. The decay rate between the dressed states |k\left|k\right\rangle and |k\left|k^{\prime}\right\rangle is

Γkk=Γ1|(σ~12)kk|2+Γ2|(σ~23)kk|2.\Gamma_{k\rightarrow k^{\prime}}=\Gamma_{1}\left|\left(\widetilde{\sigma}_{12}\right)_{kk^{\prime}}\right|^{2}+\Gamma_{2}\left|\left(\widetilde{\sigma}_{23}\right)_{kk^{\prime}}\right|^{2}. (6)

The rate equations are

t𝝆~+𝚪𝝆~=𝟎,\partial_{t}\widetilde{\bm{\rho}}+\bm{\Gamma}\widetilde{\bm{\rho}}=\mathbf{0}, (7)

where 𝝆~=(ρ~αα,ρ~ββ,ρ~γγ)T\widetilde{\bm{\rho}}=\left(\widetilde{\rho}_{\alpha\alpha},\widetilde{\rho}_{\beta\beta},\widetilde{\rho}_{\gamma\gamma}\right)^{T} is the vector of the dressed state populations and the rate matrix is

𝚪=(Γαβ+ΓαγΓαβΓαγΓβαΓβα+ΓβγΓβγΓγαΓγβΓγα+Γγβ).\bm{\Gamma}=\left(\begin{smallmatrix}\Gamma_{\alpha\rightarrow\beta}+\Gamma_{\alpha\rightarrow\gamma}&-\Gamma_{\alpha\rightarrow\beta}&-\Gamma_{\alpha\rightarrow\gamma}\\ -\Gamma_{\beta\rightarrow\alpha}&\Gamma_{\beta\rightarrow\alpha}+\Gamma_{\beta\rightarrow\gamma}&-\Gamma_{\beta\rightarrow\gamma}\\ -\Gamma_{\gamma\rightarrow\alpha}&-\Gamma_{\gamma\rightarrow\beta}&\Gamma_{\gamma\rightarrow\alpha}+\Gamma_{\gamma\rightarrow\beta}\end{smallmatrix}\right). (8)

The stationary populations 𝝆~\widetilde{\bm{\rho}}^{\infty} are obtained by solving the system 𝚪𝝆~=𝟎\bm{\Gamma}\widetilde{\bm{\rho}}^{\infty}=\mathbf{0} with 𝝆~1=1\left\|\widetilde{\bm{\rho}}^{\infty}\right\|_{1}=1.

III.3 Dipole force

If the Rabi frequencies Ω1\Omega_{1} and Ω2\Omega_{2} are functions of the spatial position coordinates 𝐫\mathbf{r}, as expected for Gaussian optical beams, then the overall Hamiltonian of the atom, including both the internal and external degrees of freedom, is

H=𝐩22m+V(𝐫),H=\frac{\mathbf{p}^{2}}{2m}+V(\mathbf{r}), (9)

where 𝐩\mathbf{p} is the atomic momentum operator and mm is the mass of a single atom.

The dipole force operator can be defined from the Heisenberg equation of motion for the momentum operator Dalibard and Cohen-Tannoudji (1985):

𝐅=ddt𝐩=i[H,𝐩]=V(𝐫).\mathbf{F}=\frac{d}{dt}\mathbf{p}=\frac{i}{\hbar}\left[H,\mathbf{p}\right]=-\nabla V(\mathbf{r}). (10)

Over a time interval long compared to the lifetimes 1/Γ11/\Gamma_{1} and 1/Γ21/\Gamma_{2}, the mean force experienced by an atom at position 𝐫\mathbf{r} is obtained from the average for the steady internal state,

𝐅(𝐫)=Tr[𝐅(𝐫)ρ(𝐫)]=Tr[(V(𝐫))ρ(𝐫)].\left\langle\mathbf{F}(\mathbf{r})\right\rangle=\mathrm{Tr}\left[\mathbf{F}(\mathbf{r})\rho_{\infty}(\mathbf{r})\right]=-\mathrm{Tr}\left[\left(\nabla V(\mathbf{r})\right)\rho_{\infty}(\mathbf{r})\right]. (11)

Note that 𝐅(𝐫)V(𝐫)\left\langle\mathbf{F}(\mathbf{r})\right\rangle\neq-\nabla\left\langle V(\mathbf{r})\right\rangle since the density operator ρ\rho_{\infty} depends on the position 𝐫\mathbf{r}.

Since the trace of an operator is independent of the basis choice, the mean dipole force can be written using the steady state density matrix in the dressed states basis: 𝐅=Tr(𝐅ρ)=Tr(U𝐅UUρU)=Tr(𝐅~ρ~)=𝐅~\left\langle\mathbf{F}\right\rangle=\mathrm{Tr}\left(\mathbf{F}\rho_{\infty}\right)=\mathrm{Tr}\left(U\mathbf{F}U^{\dagger}U\rho_{\infty}U^{\dagger}\right)=\mathrm{Tr}(\widetilde{\mathbf{F}}\widetilde{\rho}_{\infty})=\langle\widetilde{\mathbf{F}}\rangle. In that case, a dipole force can be associated with each dressed state,

𝐅~=𝐅~α+𝐅~β+𝐅~γ,\left\langle\widetilde{\mathbf{F}}\right\rangle=\left\langle\widetilde{\mathbf{F}}_{\alpha}\right\rangle+\left\langle\widetilde{\mathbf{F}}_{\beta}\right\rangle+\left\langle\widetilde{\mathbf{F}}_{\gamma}\right\rangle, (12)

where 𝐅~k=ρ~kkE~k\left\langle\widetilde{\mathbf{F}}_{k}\right\rangle=-\widetilde{\rho}^{\infty}_{kk}\nabla\widetilde{E}_{k}. The potential can then be obtained by integrating the force.

IV Heating rates

As we will see in Sec. V.2, the doubly driven Ξ\Xi-system can create a double barrier potential in exchange for a non-negligible spontaneous emission rate near the barrier position. Those spontaneous emission events are a source of heating. It is thus necessary to quantify the various heating processes to estimate whether the proposed method is viable.

The stochastic fluctuations of the atomic momentum result in a random walk of the trajectory in momentum space that increases the kinetic energy of an atom in the guide. This phenomena limits the atomic lifetime and thus the guided distance for a given mean velocity of the atoms. Two stochastic processes are responsible for this effect:

  • the radiation pressure due to the discrete nature of the spontaneous scattering events and the random direction in which the photon is emitted;

  • the dipole force fluctuation due to the random variation of the internal atomic state Gordon and Ashkin (1980); Dalibard and Cohen-Tannoudji (1985).

The velocity dispersion induced by a given process is characterized by a diffusion coefficient DD. It is defined so that an infinitesimal variation of the velocity during a time interval dtdt satisfies

d𝐯=Dd𝐖t,d\mathbf{v}=\sqrt{D}d\mathbf{W}_{t}, (13)

where d𝐖t=𝜻dtd\mathbf{W}_{t}=\bm{\zeta}\sqrt{dt} is the increment of a Wiener noise process, and 𝜻\bm{\zeta} is a random vector with a normally distributed norm of unitary variance (|𝜻|𝒩(0,1)\left|\bm{\zeta}\right|\in\mathcal{N}(0,1)) and a random direction.

It must be noted that all the heating processes result from the same stochastic source: the spontaneous emission. As a consequence, the processes are not only correlated but synchronized since the change of the recoil and dipolar forces occurs simultaneously. This effect may modify the resulting diffusion coefficient compared to the unsynchronized case where the two processes are uncorrelated. Nevertheless, in the following we assume that the processes are independent and do not consider any synchronization effect.

We will now determine the diffusion coefficients associated with both the radiation pressure and the dipole force fluctuation.

IV.1 Radiation pressure fluctuation

The diffusion coefficient associated with the radiation pressure at the wavelength λk\lambda_{k} (k=1,2k=1,2) is

Dk(𝐫)=(kRm)2ΓS(k)(𝐫),D_{k}(\mathbf{r})=\left(\frac{\hbar k_{R}}{m}\right)^{2}\Gamma_{S}^{(k)}(\mathbf{r}), (14)

where kRk_{R} is the single photon recoil momentum at λk\lambda_{k}, mm is the atomic mass, and the scattering rate is proportional to the decay rate and to the population in the bare state |k\left|k\right\rangle: ΓS(k)(𝐫)=Γkρkk(𝐫)\Gamma_{S}^{(k)}(\mathbf{r})=\Gamma_{k}\rho^{\infty}_{kk}(\mathbf{r}).

If the diffusion coefficient in a given spatial direction is desired, a prefactor must be applied depending on the polarization of the considered transition. For example, for the isotropic diffusion due to ss-wave scattering the prefactor is 1/31/3 for all directions, whereas for a σ+/\sigma^{+/-} transition a factor of 1/41/4 must be applied for the two directions orthogonal to the dipole axis and a factor of 1/21/2 for the last direction.

IV.2 Dipole force fluctuation

Since the internal atomic state changes at random times, the dipole force fluctuates around its mean value [Eq. (12)]. From the rate equations of the dressed states populations [Eq. (7)], we see that the stochastic evolution of the dipole force {𝐅~t,t0}\{\widetilde{\mathbf{F}}_{t},t\geq 0\} is a continuous time Markovian process with infinitesimal generator 𝚪\mathbf{\Gamma} given by Eq. (8).

The diffusion coefficient is given by Ref. Dalibard and Cohen-Tannoudji (1985):

Ddip=limt1m20(𝐅~t𝐅~t+τ𝐅~t2)𝑑τ.D_{\rm dip}=\lim_{t\rightarrow\infty}\frac{1}{m^{2}}\int_{0}^{\infty}\left(\left\langle\widetilde{\mathbf{F}}_{t}\widetilde{\mathbf{F}}_{t+\tau}\right\rangle-\left\langle\widetilde{\mathbf{F}}_{t}\right\rangle^{2}\right)\;d\tau. (15)

Since the process is Markovian, we show in App. B.2 that the diffusion coefficient along a direction ε{x,y,z}\varepsilon\in\{x,y,z\} satisfies the following relation:

Ddip(ε)=1m2𝐅~(ε),𝚪𝐅~(ε),D_{\rm dip}^{(\varepsilon)}=\frac{1}{m^{2}}\left\langle\widetilde{\mathbf{F}}^{(\varepsilon)},\bm{\Gamma}^{\sharp}\widetilde{\mathbf{F}}^{(\varepsilon)}\right\rangle, (16)

where 𝐅~(ε)=(𝐅~α(ε),𝐅~β(ε),𝐅~γ(ε))T\widetilde{\mathbf{F}}^{(\varepsilon)}=(\widetilde{\mathbf{F}}^{(\varepsilon)}_{\alpha},\widetilde{\mathbf{F}}^{(\varepsilon)}_{\beta},\widetilde{\mathbf{F}}^{(\varepsilon)}_{\gamma})^{T} is the vector of the forces in the different dressed states with 𝐅~k(ε)=(E~k)ε\widetilde{\mathbf{F}}^{(\varepsilon)}_{k}=-(\nabla\widetilde{E}_{k})_{\varepsilon}, 𝚪\mathbf{\Gamma}^{\sharp} is the group inverse of 𝚪\mathbf{\Gamma}, and the scalar product is defined as 𝐱,𝐲=iρ~iixiyi\left\langle\mathbf{x},\mathbf{y}\right\rangle=\sum_{i}\widetilde{\rho}^{\infty}_{ii}x_{i}y_{i}. This formula allows us to calculate the diffusion coefficient of any system described by a set of rate equations (Markovian process). Moreover, it provides an efficient way to perform a numerical estimation.

V Implementation with Rubidium 87 atoms

We now present how to implement the guided continuous source with 87Rb atoms. We first show how an effective Ξ\Xi-system can be realized within the complicated structure of 87Rb transitions using a proper choice of polarizations for the optical fields. We then use the previous results to determine the parameters for a suitable configuration and analyze the atom loading process into the guide based on the atom-diode effect. We also explain how the transport velocity along the guide can be controlled using counter-propagating beams. Finally, we simulate atom trajectories along the guide using stochastic Langevin-like differential equations to quantify the expected performance in terms of guided efficiency along a given distance and output velocity.

V.1 Doubly-closed transitions

A closed Ξ\Xi-system within the 87Rb structure is realized using the 52S1/252P3/25^{2}\mathrm{S}_{1/2}\rightarrow 5^{2}\mathrm{P}_{3/2} transition at 780.24 nm and the 52P3/242D5/25^{2}\mathrm{P}_{3/2}\rightarrow 4^{2}\mathrm{D}_{5/2} transition at 1529.37 nm Lee et al. (2007). Therefore, it realizes a very good approximation of the theoretical model developed above. Note that this idea can be generalized to other alkali-metal atoms since they have analogous structures. Furthermore, the choice of the 1529 nm wavelength is appealing since laser technologies developed for optical telecommunications can be used.

Refer to caption
Figure 3: (Color online) Cycling transitions in 87Rb. (a) The use of σ+\sigma^{+} polarized light allows us to drive a doubly closed transition while providing optical pumping. (b) The decay from the 42D5/24^{2}\mathrm{D}_{5/2} state to the 52P1/25^{2}\mathrm{P}_{1/2} state is forbidden.

The use of σ+\sigma^{+} polarized electromagnetic fields both optically pumps the sample and drives closed transitions between the Zeeman substates |F=2,mF=2|F=3,mF=3\left|F=2,m_{F}=2\right\rangle\rightarrow\left|F^{\prime}=3,m^{\prime}_{F}=3\right\rangle and |F=3,mF=3|F′′=4,mF′′=4\left|F^{\prime}=3,m^{\prime}_{F}=3\right\rangle\rightarrow\left|F^{\prime\prime}=4,m^{\prime\prime}_{F}=4\right\rangle, as depicted in Fig. 3 (a). Note also that, with this choice of hyperfine states, a decay into the 52P1/25^{2}\mathrm{P}_{1/2} state is forbidden (ΔF>1\Delta F>1), as shown in Fig. 3 (b). Such a configuration is thus equivalent to the Ξ\Xi system sought for. Moreover, since an atom in |F=2\left|F=2\right\rangle loaded inside the guide cannot decay into |F=1\left|F=1\right\rangle after a spontaneous emission event the atom will remain in the guided state, thus avoiding its loss during propagation.

Refer to caption
Figure 4: (Color online) Dipole trap properties vs transverse position at the waist of the beams. (a) Dipole potential for an atom in |F=2\left|F=2\right\rangle (blue) and |F=1\left|F=1\right\rangle (red). The potential in |F=1\left|F=1\right\rangle is represented only in a region where the scattering rate is low since |F=1\left|F=1\right\rangle is not a stationary state of the system. (b) Scattering rates at 780 nm (blue) and 1529 nm (black) for an atom in |F=2\left|F=2\right\rangle (solid line) and |F=1\left|F=1\right\rangle (dashed line). (c) Diffusion coefficient for an atom in |F=2\left|F=2\right\rangle due to the recoil at 780 nm (blue), at 1529 nm (black) and to the fluctuations of the dipole force (brown).

V.2 A possible configuration

We analyze the properties of the guide obtained in the following specific configuration. The 780 nm beam has a waist of 1 mm and an intensity of 10001000 mW/cm2 (the optical power is thus 16 mW), blue detuned by Δ1=2π×485\Delta_{1}=-2\pi\times 485 MHz from the |F=2|F=3\left|F=2\right\rangle\rightarrow\left|F^{\prime}=3\right\rangle transition and Γ1=2π×6.065\Gamma_{1}=2\pi\times 6.065 MHz Steck (2001).

The beam at 1529 nm has a waist of 300 μ\mum and thus a Rayleigh range of 18 cm. Its intensity is 3×1053\times 10^{5} mW/cm2 (a power of 420 mW), and the detuning is Δ2=+2π×133\Delta_{2}=+2\pi\times 133 MHz to the red of the |F=3|F′′=4\left|F^{\prime}=3\right\rangle\rightarrow\left|F^{\prime\prime}=4\right\rangle transition. The transition linewidth is Γ2=2π×2\Gamma_{2}=2\pi\times 2 MHz Heavens (1961); Moon et al. (2007).

From these parameters, we determine the steady state density matrix versus spatial position using the results in App. A.2, and estimate the dipole potential after integrating the dipole force [Eq. (12)]. The results are presented in Fig. 4.

V.3 Loading of the guide

We see in Fig. 4 (a) that, for an atom in |F=2\left|F=2\right\rangle, the potential has a double barrier shape, creating a pipe-like potential due to the cylindrical symmetry of the problem. The guide depth is 365 μ\muK. Conversely, for an atom in |F=1\left|F=1\right\rangle, the potential is flat at the barrier position. The proposed configuration thus implements the state-dependent potential necessary to obtain the atom-diode effect.

Nevertheless, for the atom-diode effect to occur an atom in |F=1\left|F=1\right\rangle must first pass through the barrier and then be repumped into |F=2\left|F=2\right\rangle, after passing the barrier maximum. In other words, an atom in |F=1\left|F=1\right\rangle should not scatter more than a few photons between the moment when it enters the 780 nm beam and the moment when it reaches the position of the barrier maximum. From Fig. 4 (b), we see that the barrier width is about 0.1 mm wide and the scattering rate is below 1 kHz before the barrier maximum. As a consequence, an atom with a velocity of \sim 10 cm/s scatters less than one photon while crossing the barrier, resulting in a low probability for the atom to be repumped. Conversely, the scattering rate of an atom in |F=1\left|F=1\right\rangle strongly increases at the guide center and the atom will be pumped into the trap sensitive state, thus realizing the atom-diode based loading. This effect is studied in details using a numerical simulation in Sec. V.6.2.

V.4 Heating rates

By creating a differential light-shift, the 1529 nm radiation not only creates the guide barriers but also reduces the scattering rates, and thus the diffusion coefficients due to photon recoil, at 780 nm and 1529 nm by about two orders of magnitude [Fig. 4 (c)]. This effect strongly lowers the heating rate of the guided sample.

Nevertheless, the heating rate due to the recoils cannot be made arbitrarily small. The reason is that the diffusion due to the dipole force fluctuation increases with the intensity at 1529 nm because of the enhanced light-shift. A compromise must thus be found between the spontaneous emission rate and the dipole force diffusion. In the present configuration, the parameters are adjusted so that the diffusion due to the recoil is of the same order as the one induced by the dipole force fluctuation.

V.5 Transport along the guide

To transport the atoms, an extra force must be applied along the guide axis. By counterpropagating the beams at 780 nm and at 1529 nm, the scattering imbalance between the two beams pushes the atoms in a given direction with a force

𝐅push(𝐫)=t𝐤=(ΓS(1)(𝐫)kR(1)ΓS(2)(𝐫)kR(2))𝐮z,\mathbf{F}_{\rm push}(\mathbf{r})=\hbar\partial_{t}\mathbf{k}=\hbar\left(\Gamma_{S}^{(1)}(\mathbf{r})k_{R}^{(1)}-\Gamma_{S}^{(2)}(\mathbf{r})k_{R}^{(2)}\right)\mathbf{u}_{z}, (17)

where kR(k)k_{R}^{(k)} is the single-photon recoil impulsion at the wavelength λk\lambda_{k} and 𝐮z\mathbf{u}_{z} is the unit vector in the zz direction. The spatial distribution of the pushing force is depicted in Fig. 5. The velocity of an atom inside the guide is almost constant whereas the atom accelerates near the barrier.

Refer to caption
Figure 5: Pushing acceleration vs the transverse position resulting from the counterpropagation of the 780 and 1529 nm beams (g=9.81g=9.81 m/s2).

V.6 Numerical simulation

Refer to caption
Figure 6: Trajectory of an atom along the guide obtained by numerical integration of the system of stochastic differential equations [Eqs. (18)]. The simulation includes the loading of the atom inside the guide. The atom is initially in |F=1|F=1\rangle and placed at 1.5 mm from the guide axis. It is launched towards the guide with a velocity distributed according to a Maxwell-Boltzmann law with temperature T0=50μT_{0}=50\;\muK. (a) Trajectory along the guide. The atom is reflected off the guide barrier until it escapes the guide when the transverse kinetic energy is higher than the height of the barrier. (b) Evolution of the velocities along the three directions. When a reflection occurs, the transverse velocities exhibit sudden sign changes and the longitudinal velocity increases due to the higher spontaneous emission rate near the barrier. (c) The Brownian motion of the transverse velocities responsible for the heating of the sample by increasing the radial kinetic energy.

Since the heating processes limit the lifetime of the guided sample, a compromise must be found between the transport velocity and the guided length: the atomic sample at the guide output should be cold – meaning that the output velocity and its dispersion should be of the order of a few meters per second – while the sample should be guided along a few centimeters. This distance is sufficient, for instance, to deliver atoms inside the magnetic shield required for any kind of high-performance atom interferometer, particularly since the MOT magnetic field is continuously operated.

To validate that the proposed configuration satisfies these requirements we numerically simulate the trajectories of atoms along the guide, solving a set of Langevin equations. The statistical analysis of the behavior over a large number of trajectories allows us to estimate the expected performances of the system in terms of guided distance and output velocity distribution. Moreover, the loading process is included in the simulation to consider its influence on the guided sample.

V.6.1 Langevin equations

The simulation relies on the fact that the internal degrees of freedom of an atom evolve on a much shorter time-scale (limited by the lifetime of the excited states to submicroseconds) than the external ones (\sim ms). This allows us to employ a semi-classical description of the problem, describing the internal state evolution according to quantum mechanics while modeling the external dynamics with Langevin-like equations (Newton equations with stochastic velocity increments).

The momentum diffusion of the atoms generates a random walk of their velocities in the transverse direction, inducing stochastic heating. This random walk can be modelled from the diffusion coefficients derived in Sec. IV and with a Wiener increment [Eq. (13)] in the differential equation of motion. Explicitly, the velocity vector 𝐯=(vx,vy,vz)\mathbf{v}=\left(v_{x},v_{y},v_{z}\right) evolution is governed by the following system of stochastic differential equations:

dvx(t)\displaystyle dv_{x}(t) =\displaystyle= 1mFx(𝐫(t))dt+D1(𝐫(t))dWx,t(1)\displaystyle\frac{1}{m}F_{x}\left(\mathbf{r}(t)\right)dt+\sqrt{D_{1}\left(\mathbf{r}(t)\right)}dW^{(1)}_{x,t}
+D2(𝐫(t))dWx,t(2)+Ddip(x)(𝐫(t))dWx,t(dip),\displaystyle+\sqrt{D_{2}\left(\mathbf{r}(t)\right)}dW^{(2)}_{x,t}+\sqrt{D_{\rm dip}^{(x)}\left(\mathbf{r}(t)\right)}dW^{(\mathrm{dip})}_{x,t},
dvy(t)\displaystyle dv_{y}(t) =\displaystyle= 1mFy(𝐫(t))dt+D1(𝐫(t))dWy,t(1)\displaystyle\frac{1}{m}F_{y}\left(\mathbf{r}(t)\right)dt+\sqrt{D_{1}\left(\mathbf{r}(t)\right)}dW^{(1)}_{y,t}
+D2(𝐫(t))dWy,t(2)+Ddip(y)(𝐫(t))dWy,t(dip),\displaystyle+\sqrt{D_{2}\left(\mathbf{r}(t)\right)}dW^{(2)}_{y,t}+\sqrt{D_{\rm dip}^{(y)}\left(\mathbf{r}(t)\right)}dW^{(\mathrm{dip})}_{y,t},
dvz(t)\displaystyle dv_{z}(t) =\displaystyle= 1m[Fz(𝐫(t))+Fpush(𝐫(t))]dt\displaystyle\frac{1}{m}\left[F_{z}\left(\mathbf{r}(t)\right)+F_{\rm push}\left(\mathbf{r}(t)\right)\right]dt (18c)
+D1(𝐫(t))dWz,t(1)+D2(𝐫(t))dWz,t(2)\displaystyle+\sqrt{D_{1}\left(\mathbf{r}(t)\right)}dW^{(1)}_{z,t}+\sqrt{D_{2}\left(\mathbf{r}(t)\right)}dW^{(2)}_{z,t}
+Ddip(z)(𝐫(t))dWz,t(dip).\displaystyle+\sqrt{D_{\rm dip}^{(z)}\left(\mathbf{r}(t)\right)}dW^{(\mathrm{dip})}_{z,t}.

We solve this system using a Monte-Carlo method to simulate atom trajectories along the guide and employ the Runge-Kutta method Sauer (2012) to perform the numerical integration of the system.

V.6.2 Initial conditions and loading of the guide

We first describe the initial conditions of the simulation and use the simulation to analyze the loading efficiency – that is, the probability for an atom to enter the guide – and the velocity distribution of the loaded atoms.

The atom is initially in the |F=1|F=1\rangle state and located along the yy axis at a distance of 3 mm from the guide axis. Since the atoms in the MOT are far from degeneracy, the initial velocity v0v_{0} is distributed according to a Maxwell-Boltzmann law

f(v)=2πv2δv3exp(v22δv2),f\left(v\right)=\sqrt{\frac{2}{\pi}}\frac{v^{2}}{\delta v^{3}}\exp\left(-\frac{v^{2}}{2\delta v^{2}}\right), (19)

for a temperature T0=50μT_{0}=50\;\muK corresponding to a velocity dispersion δv=kBT0/m7\delta v=\sqrt{k_{B}T_{0}/m}\sim 7 cm/s, and the initial velocity vector is 𝐯0=(v0,0,0)\mathbf{v}_{0}=(v_{0},0,0). Moreover, the Doppler frequency shift (ΔνD=v/λ\Delta\nu_{D}=-v/\lambda) is included in the simulation.

During the propagation of the atom towards the guide, we estimate at each step of the simulation the probability for the atom to be pumped into the stable state |F=2,mF=+2|F=2,m_{F}=+2\rangle and then randomly determine whether the atom is pumped or not. More precisely, we use the knowledge of the scattering rate at each position ΓS(1)(𝐫)\Gamma_{S}^{(1)}(\mathbf{r}) and the fact that on average 2.4 photons must be scattered to pump the atom. We consider that an atom is loaded inside the guide when it is pumped at less than 0.5 mm from the guide center (which corresponds to the guide radius defined from the position of the barrier maximum). From the simulation of 10410^{4} stochastic trajectories, we find that about 21% of the atoms are loaded into the guide.

After selecting the trajectories that lead to loaded atoms, we analyze the velocity distribution of the atoms before their further transport along the guide. We define the loaded velocity as that when the atom first reaches the plane y=0y=0. From a large number of loading simulations we estimate the velocity distribution and the result is presented in Fig. 7. The resulting distribution is well described by the initial Maxwell-Boltzmann distribution [Eq. (19)] for T0=50μT_{0}=50\;\muK shifted by 2.3 cm/s, and the mean velocity of the loaded atoms is 13.4 cm/s. This deterministic increase of kinetic energy has two contributions: first the |F=1|F=1\rangle potential is slightly attractive, and secondly the atom rolls down the barrier potential after being pumped into |F=2|F=2\rangle. However, it is interesting to note that the velocity dispersion of the loaded atoms remains that of the atoms in the MOT.

Refer to caption
Figure 7: (Color online) Velocity distribution of the loaded atoms. The histogram is the distribution obtained from the simulation of 2132 Monte-Carlo trajectories, the solid green line is the initial Maxwell-Boltzmann distribution with T0=50μT_{0}=50\;\muK and the solid blue line is the initial distribution shifted by 2.3 cm/s.

V.6.3 Transport along the guide

We now analyze the transport of the atoms along the guide. An example of a simulated trajectory is presented in Fig. 6. We see that the atom is guided along the beam axis by reflections off the potential barrier. During the reflections, the transverse velocities reverse while the longitudinal velocity increases due to the higher scattering rate near the guide barrier. This demonstrates the effect of the pushing force (discussed in Sec. V.5), which is nondeterministic since it depends on the stochastic atomic trajectory.

Refer to caption
Figure 8: (Color online) Statistical properties obtained from the simulation of 2132 atomic trajectories. (a) Probability for an atom to be guided over a given distance. Inset: The distribution for the lifetime of an atom in the guide. (b) Longitudinal velocity distribution at a guided distance of 5 cm.

Simulating a large number of atomic trajectories allows us to estimate the guide performance. The distribution of the guided distances – an atom is lost when it is further than 0.5 mm from the guide axis – shows that a significant fraction of the loaded atoms (\sim 16 %) have been guided over at least 5 cm [Fig. 8 (a)]. Moreover, from the velocity distribution at the guided distance of 5 cm [Fig. 8 (b)] we determine that the mean velocity is 3.9 m/s with a dispersion of 2.1 m/s, corresponding to a temperature of about 25 mK. Note that transverse cooling could be added Aghajani-Talesh et al. (2010): either to maintain a given propagation distance while reducing the longitudinal velocity, or to increase the propagation distance for a given velocity. A better control of the longitudinal velocity could be achieved by retropropagating the beams at 780 nm and 1529 nm and precisely tuning the power ratios between the forward and backward directions; in that case, a grating would be generated and sub-Doppler cooling mechanisms could be exploited.

VI Conclusion

We proposed and theoretically analyzed an all-optical method to produce a continuous source of cold atoms in a spin-polarizing guide. The resulting system is a combination of several physical effects, and notably an atom-diode effect based on light-shift engineering in a three-level atom.

To engineer the system, we modeled the dipole forces in a doubly-driven Ξ\Xi-system and provided a deep description of the diffusion processes responsible for the heating of the atomic sample. These results constitute a general theoretical framework which can be used to design other atom control methods based on Ξ\Xi-systems.

We finally presented and studied in detail a possible implementation with 87Rb. In particular, we isolated a closed three-level transition which can be driven with reliable optical sources based on diode laser and telecommunication technologies. Since the guide consists in overlapping two optical beams, the experimental implementation should be compact and simple to operate which are interesting features for embedded applications. We showed with numerical simulations that a guiding distance of several centimeters is achievable and compatible with slow velocities of a few meters per second.

Acknowledgments

We thank S. Palacios and N. Martinez de Escobar for comments. This work was supported by the Spanish MINECO project MAGO (FIS2011-23520), by the European Research Council project AQUMET and by Fundació Privada Cellex.

Appendix A Optical Bloch equations and steady state solution

A.1 Optical Bloch equations

In the {|1,|2,|3}\left\{\left|1\right\rangle,\left|2\right\rangle,\left|3\right\rangle\right\} basis, the density operator can be written as

ρ=(ρ11ρ12ρ13ρ12ρ22ρ23ρ13ρ23ρ33),\rho=\left(\begin{array}[]{ccc}\rho_{11}&\rho_{12}&\rho_{13}\\ \rho_{12}^{*}&\rho_{22}&\rho_{23}\\ \rho_{13}^{*}&\rho_{23}^{*}&\rho_{33}\end{array}\right), (20)

and Eq. (3) provides the optical Bloch equations for a Ξ\Xi-system:

tρ11\displaystyle\partial_{t}\rho_{11} =\displaystyle= iΩ12(ρ12ρ12)+Γ1ρ22,\displaystyle i\frac{\Omega_{1}}{2}\left(\rho_{12}-\rho_{12}^{*}\right)+\Gamma_{1}\rho_{22}, (21a)
tρ22\displaystyle\partial_{t}\rho_{22} =\displaystyle= iΩ12(ρ12ρ12)+iΩ22(ρ23ρ23)\displaystyle-i\frac{\Omega_{1}}{2}\left(\rho_{12}-\rho_{12}^{*}\right)+i\frac{\Omega_{2}}{2}\left(\rho_{23}-\rho_{23}^{*}\right) (21b)
+Γ2ρ33Γ1ρ22,\displaystyle\;\;\;\;\;+\Gamma_{2}\rho_{33}-\Gamma_{1}\rho_{22},
tρ33\displaystyle\partial_{t}\rho_{33} =\displaystyle= iΩ22(ρ23ρ23)Γ2ρ33,\displaystyle-i\frac{\Omega_{2}}{2}\left(\rho_{23}-\rho_{23}^{*}\right)-\Gamma_{2}\rho_{33}, (21c)
tρ12\displaystyle\partial_{t}\rho_{12} =\displaystyle= (Γ12+iΔ1)ρ12iΩ12(ρ22ρ11)\displaystyle\left(-\frac{\Gamma_{1}}{2}+i\Delta_{1}\right)\rho_{12}-i\frac{\Omega_{1}}{2}\left(\rho_{22}-\rho_{11}\right) (21d)
+iΩ22ρ13,\displaystyle\;\;\;\;\;+i\frac{\Omega_{2}}{2}\rho_{13},
tρ13\displaystyle\partial_{t}\rho_{13} =\displaystyle= (Γ22+iΔ2)ρ13+iΩ22ρ12iΩ12ρ23,\displaystyle\left(-\frac{\Gamma_{2}}{2}+i\Delta_{2}\right)\rho_{13}+i\frac{\Omega_{2}}{2}\rho_{12}-i\frac{\Omega_{1}}{2}\rho_{23},
tρ23\displaystyle\partial_{t}\rho_{23} =\displaystyle= [12(Γ1+Γ2)+i(Δ2Δ1)]ρ23\displaystyle\left[-\frac{1}{2}\left(\Gamma_{1}+\Gamma_{2}\right)+i\left(\Delta_{2}-\Delta_{1}\right)\right]\rho_{23} (21f)
iΩ22(ρ33ρ22)iΩ12ρ13.\displaystyle\;\;\;\;\;-i\frac{\Omega_{2}}{2}\left(\rho_{33}-\rho_{22}\right)-i\frac{\Omega_{1}}{2}\rho_{13}.

A.2 Steady state of the density matrix

The steady state solution of the optical Bloch equations is obtained for tρ=0\partial_{t}\rho_{\infty}=0. Since Tr(ρ)=1\mathrm{Tr}(\rho)=1, one has the following relation between the populations: ρ11+ρ22+ρ33=1\rho_{11}+\rho_{22}+\rho_{33}=1. Moreover, ρijρij=2iImρij\rho_{ij}-\rho_{ij}^{*}=2i\mathrm{Im}\rho_{ij} and the steady state thus obeys the following system of equations:

Ω1Imρ12+Γ1ρ22=0,\displaystyle-\Omega_{1}\mathrm{Im}\rho_{12}+\Gamma_{1}\rho_{22}=0, (22a)
Ω2Imρ23Γ2ρ33=0,\displaystyle\Omega_{2}\mathrm{Im}\rho_{23}-\Gamma_{2}\rho_{33}=0, (22b)
(Γ12+iΔ1)ρ12iΩ12(2ρ22+ρ331)\displaystyle\left(-\frac{\Gamma_{1}}{2}+i\Delta_{1}\right)\rho_{12}-i\frac{\Omega_{1}}{2}\left(2\rho_{22}+\rho_{33}-1\right)
+iΩ22ρ13=0,\displaystyle\;\;\;\;+i\frac{\Omega_{2}}{2}\rho_{13}=0, (22c)
(Γ22+iΔ2)ρ13+iΩ22ρ12iΩ12ρ23=0,\displaystyle\left(-\frac{\Gamma_{2}}{2}+i\Delta_{2}\right)\rho_{13}+i\frac{\Omega_{2}}{2}\rho_{12}-i\frac{\Omega_{1}}{2}\rho_{23}=0, (22d)
[12(Γ1+Γ2)+i(Δ2Δ1)]ρ23\displaystyle\left[-\frac{1}{2}\left(\Gamma_{1}+\Gamma_{2}\right)+i\left(\Delta_{2}-\Delta_{1}\right)\right]\rho_{23}
iΩ22(ρ33ρ22)iΩ12ρ13=0.\displaystyle\;\;\;\;-i\frac{\Omega_{2}}{2}\left(\rho_{33}-\rho_{22}\right)-i\frac{\Omega_{1}}{2}\rho_{13}=0. (22e)

Note that the second equation has been removed since it can be obtained from a linear combination of the first and the third equations.

To solve this system, we split the density matrix components into real and imaginary parts: ρij=ρijR+iρijI\rho_{ij}=\rho_{ij}^{R}+i\rho_{ij}^{I}. From Eqs. (22a) and (22b) we obtain the relationship between the coherences and the populations in |2\left|2\right\rangle and |3\left|3\right\rangle:

ρ22\displaystyle\rho_{22} =\displaystyle= Ω1Γ1ρ12I,\displaystyle\frac{\Omega_{1}}{\Gamma_{1}}\rho_{12}^{I}, (23a)
ρ33\displaystyle\rho_{33} =\displaystyle= Ω2Γ2ρ23I.\displaystyle\frac{\Omega_{2}}{\Gamma_{2}}\rho_{23}^{I}. (23b)

The real parts of Eqs. (22c), (22d) and (22e) provide the following relations between the real and imaginary parts of the coherence terms:

(ρ12Rρ13Rρ23R)=(2Δ1/Γ1Ω2/Γ10Ω2/Γ22Δ2/Γ2Ω1/Γ20Ω1Γ1+Γ22Δ2Δ1Γ1+Γ2)(ρ12Iρ13Iρ23I).\left(\begin{array}[]{c}\rho_{12}^{R}\\ \rho_{13}^{R}\\ \rho_{23}^{R}\end{array}\right)=\left(\begin{array}[]{ccc}-2\Delta_{1}/\Gamma_{1}&-\Omega_{2}/\Gamma_{1}&0\\ -\Omega_{2}/\Gamma_{2}&-2\Delta_{2}/\Gamma_{2}&\Omega_{1}/\Gamma_{2}\\ 0&\frac{\Omega_{1}}{\Gamma_{1}+\Gamma_{2}}&-2\frac{\Delta_{2}-\Delta_{1}}{\Gamma_{1}+\Gamma_{2}}\end{array}\right)\left(\begin{array}[]{c}\rho_{12}^{I}\\ \rho_{13}^{I}\\ \rho_{23}^{I}\end{array}\right). (24)

From this relation and the imaginary parts of Eqs. (22c), (22d), and (22e), we show that the imaginary parts of the coherences are solutions of the following system:

𝐌(ρ12Iρ13Iρ23I)=(Γ1Ω100),\mathbf{M}\left(\begin{array}[]{c}\rho_{12}^{I}\\ \rho_{13}^{I}\\ \rho_{23}^{I}\end{array}\right)=\left(\begin{array}[]{ccc}\Gamma_{1}\Omega_{1}\\ 0\\ 0\end{array}\right),\\ (25)

where

𝐌=(Γ12+4Δ12+2Ω12+Γ1Γ2Ω222Ω2(Δ1+Γ1Γ2Δ2)02Ω2(Δ2+Γ2Γ1Δ1)Γ22+4Δ22+Γ2Γ1Ω22+Γ2Γ1+Γ2Ω122Γ2Γ1+Γ2Ω1(Δ2Δ1)Ω1Ω2(1+Γ2Γ1)2Ω1(Δ2+Γ2Γ1+Γ2(Δ2Δ1))Ω12Ω224Γ2Γ1+Γ2(Δ2Δ1)2Γ2(Γ1+Γ2)).\mathbf{M}=\left(\begin{array}[]{ccc}\Gamma_{1}^{2}+4\Delta_{1}^{2}+2\Omega_{1}^{2}+\frac{\Gamma_{1}}{\Gamma_{2}}\Omega_{2}^{2}&2\Omega_{2}\left(\Delta_{1}+\frac{\Gamma_{1}}{\Gamma_{2}}\Delta_{2}\right)&0\\ 2\Omega_{2}\left(\Delta_{2}+\frac{\Gamma_{2}}{\Gamma_{1}}\Delta_{1}\right)&\Gamma_{2}^{2}+4\Delta_{2}^{2}+\frac{\Gamma_{2}}{\Gamma_{1}}\Omega_{2}^{2}+\frac{\Gamma_{2}}{\Gamma_{1}+\Gamma_{2}}\Omega_{1}^{2}&-2\frac{\Gamma_{2}}{\Gamma_{1}+\Gamma_{2}}\Omega_{1}\left(\Delta_{2}-\Delta_{1}\right)\\ \Omega_{1}\Omega_{2}\left(1+\frac{\Gamma_{2}}{\Gamma_{1}}\right)&2\Omega_{1}\left(\Delta_{2}+\frac{\Gamma_{2}}{\Gamma_{1}+\Gamma_{2}}\left(\Delta_{2}-\Delta_{1}\right)\right)&-\Omega_{1}^{2}-\Omega_{2}^{2}-4\frac{\Gamma_{2}}{\Gamma_{1}+\Gamma_{2}}\left(\Delta_{2}-\Delta_{1}\right)^{2}-\Gamma_{2}\left(\Gamma_{1}+\Gamma_{2}\right)\end{array}\right). (26)

As a consequence, the determination of the inverse matrix 𝐌1\mathbf{M}^{-1} allows us to solve the system (25), and thus to fully determine the steady state density matrix ρ\rho_{\infty} using the relations (24) and (23).

Appendix B Calculation of the diffusion coefficient of the dipole force fluctuation

Here we calculate the diffusion coefficient associated with the dipole force fluctuation. Using the master equation in the dressed state basis we show that, in the secular approximation, the dressed state populations obey rate equations. This means that the stochastic internal state evolution is a continuous time Markov process. We then derive a general expression for the diffusion coefficient associated with a Markov process. This result is finally applied in the case of the dipole force diffusion.

B.1 Evolution of the dressed states populations

The master equation (3) can be written for the operators in the dressed state basis as

tρ~=i[V~,ρ~]+Γ1[σ~12]ρ~+Γ2[σ~23]ρ~.\partial_{t}\widetilde{\rho}=-\frac{i}{\hbar}\left[\widetilde{V},\widetilde{\rho}\right]+\Gamma_{1}\mathcal{L}\left[\widetilde{\sigma}_{12}\right]\widetilde{\rho}+\Gamma_{2}\mathcal{L}\left[\widetilde{\sigma}_{23}\right]\widetilde{\rho}. (27)

Following Cohen-Tannoudji et al. (1992), we project Eq. (27) on a given dressed state |i\left|i\right\rangle. Since V~|i=Ei|i\widetilde{V}\left|i\right\rangle=E_{i}\left|i\right\rangle, one has i|[V~,ρ~]|i=0\left\langle i\right|[\widetilde{V},\widetilde{\rho}]\left|i\right\rangle=0, the only contribution to the population evolution of the dressed states is thus provided by the projection of the Lindblad terms:

i|[σ~]ρ~|i=i|σ~ρ~σ~|i12i|σ~σ~ρ~|i12i|ρ~σ~σ~|i.\left\langle i\right|\mathcal{L}\left[\widetilde{\sigma}\right]\widetilde{\rho}\left|i\right\rangle=\left\langle i\right|\widetilde{\sigma}\widetilde{\rho}\widetilde{\sigma}^{\dagger}\left|i\right\rangle-\frac{1}{2}\left\langle i\right|\widetilde{\sigma}\widetilde{\sigma}^{\dagger}\widetilde{\rho}\left|i\right\rangle-\frac{1}{2}\left\langle i\right|\widetilde{\rho}\widetilde{\sigma}\widetilde{\sigma}^{\dagger}\left|i\right\rangle. (28)

From the decomposition of the density matrix in the dressed states basis,

ρ~=j,lρ~jl|jl|,\widetilde{\rho}=\sum_{j,l}\widetilde{\rho}_{jl}\left|j\right\rangle\left\langle l\right|, (29)

we obtain

i|σ~ρ~σ~|i=j,lρ~jli|σ~|jl|σ~|i.\left\langle i\right|\widetilde{\sigma}\widetilde{\rho}\widetilde{\sigma}^{\dagger}\left|i\right\rangle=\sum_{j,l}\widetilde{\rho}_{jl}\left\langle i\right|\widetilde{\sigma}\left|j\right\rangle\left\langle l\right|\widetilde{\sigma}^{\dagger}\left|i\right\rangle. (30)

We now assume that we are in the limit Ω1Γ1\Omega_{1}\gg\Gamma_{1} and Ω2Γ2\Omega_{2}\gg\Gamma_{2}, in which case the coherences evolve fast compared to the populations. We can thus perform the secular approximation where the coherences are replaced by their mean value – that is, for jlj\neq l, ρ~jl0\left\langle\widetilde{\rho}_{jl}\right\rangle\sim 0 – and thus obtain

i|σ~ρ~σ~|i=jρ~jj|(σ~)ij|2.\left\langle i\right|\widetilde{\sigma}\widetilde{\rho}\widetilde{\sigma}^{\dagger}\left|i\right\rangle=\sum_{j}\widetilde{\rho}_{jj}\left|\left(\widetilde{\sigma}\right)_{ij}\right|^{2}. (31)

Decomposing again the density operator in the dressed state basis, we have

i|σ~σ~ρ~|i\displaystyle\left\langle i\right|\widetilde{\sigma}\widetilde{\sigma}^{\dagger}\widetilde{\rho}\left|i\right\rangle =\displaystyle= j,lρ~jli|σ~σ~|jl|i\displaystyle\sum_{j,l}\widetilde{\rho}_{jl}\left\langle i\right|\widetilde{\sigma}\widetilde{\sigma}^{\dagger}\left|j\right\rangle\left\langle l\right|\left.i\right\rangle (32)
=\displaystyle= jρ~jii|σ~σ~|j\displaystyle\sum_{j}\widetilde{\rho}_{ji}\left\langle i\right|\widetilde{\sigma}\widetilde{\sigma}^{\dagger}\left|j\right\rangle (33)
\displaystyle\sim ρ~iii|σ~σ~|i\displaystyle\widetilde{\rho}_{ii}\left\langle i\right|\widetilde{\sigma}\widetilde{\sigma}^{\dagger}\left|i\right\rangle (34)

where the last line is obtained using the secular approximation again. From the resolution of unity j|jj|=𝟙\sum_{j}\left|j\right\rangle\left\langle j\right|=\mathds{1}, we finally obtain

i|σ~σ~ρ~|i\displaystyle\left\langle i\right|\widetilde{\sigma}\widetilde{\sigma}^{\dagger}\widetilde{\rho}\left|i\right\rangle =\displaystyle= ρ~iii|σ~(j|jj|)σ~|i\displaystyle\widetilde{\rho}_{ii}\left\langle i\right|\widetilde{\sigma}\left(\sum_{j}\left|j\right\rangle\left\langle j\right|\right)\widetilde{\sigma}^{\dagger}\left|i\right\rangle (35)
=\displaystyle= ρ~iij|(σ~)ij|2.\displaystyle\widetilde{\rho}_{ii}\sum_{j}\left|\left(\widetilde{\sigma}\right)_{ij}\right|^{2}. (36)

Combining these results according to the master equation (27), the evolution of the populations finally reduces to the following rate equations:

tρ~ii=(jΓij)ρ~ii+jΓijρ~jj,\partial_{t}\widetilde{\rho}_{ii}=-\left(\sum_{j}\Gamma_{i\rightarrow j}\right)\widetilde{\rho}_{ii}+\sum_{j}\Gamma_{i\rightarrow j}\widetilde{\rho}_{jj}, (37)

where the transition rates are:

Γij=Γ1|(σ~12)ij|2+Γ2|(σ~23)ij|2.\Gamma_{i\rightarrow j}=\Gamma_{1}\left|\left(\widetilde{\sigma}_{12}\right)_{ij}\right|^{2}+\Gamma_{2}\left|\left(\widetilde{\sigma}_{23}\right)_{ij}\right|^{2}. (38)

Introducing the dressed states populations vector 𝝆~=(ρ~αα,ρ~ββ,ρ~γγ)T\widetilde{\bm{\rho}}=\left(\widetilde{\rho}_{\alpha\alpha},\widetilde{\rho}_{\beta\beta},\widetilde{\rho}_{\gamma\gamma}\right)^{T}, the population equations (37) can be written as

t𝝆~+𝚪𝝆~=𝟎,\partial_{t}\widetilde{\bm{\rho}}+\bm{\Gamma}\widetilde{\bm{\rho}}=\mathbf{0}, (39)

where

𝚪=(Γαβ+ΓαγΓαβΓαγΓβαΓβα+ΓβγΓβγΓγαΓγβΓγα+Γγβ).\bm{\Gamma}=\left(\begin{smallmatrix}\Gamma_{\alpha\rightarrow\beta}+\Gamma_{\alpha\rightarrow\gamma}&-\Gamma_{\alpha\rightarrow\beta}&-\Gamma_{\alpha\rightarrow\gamma}\\ -\Gamma_{\beta\rightarrow\alpha}&\Gamma_{\beta\rightarrow\alpha}+\Gamma_{\beta\rightarrow\gamma}&-\Gamma_{\beta\rightarrow\gamma}\\ -\Gamma_{\gamma\rightarrow\alpha}&-\Gamma_{\gamma\rightarrow\beta}&\Gamma_{\gamma\rightarrow\alpha}+\Gamma_{\gamma\rightarrow\beta}\end{smallmatrix}\right). (40)

It is important to note that det𝚪=0\det\bm{\Gamma}=0, which means that 𝚪\bm{\Gamma} is singular.

The populations thus evolve according to:

𝝆~(t)=e𝚪t𝝆~(0).\widetilde{\bm{\rho}}(t)=e^{-\bm{\Gamma}t}\widetilde{\bm{\rho}}(0). (41)

This relation allows us to determine the transition probability 𝐏ij(τ)=P(j,τ|i,0)\mathbf{P}_{ij}\left(\tau\right)=P\left(j,\tau|i,0\right), that is, the probability to be in the state |j\left|j\right\rangle at time t=τt=\tau given that it was in state |i\left|i\right\rangle at time t=0t=0. In other words, this is the population ρ~jj(τ)\widetilde{\rho}_{jj}(\tau) given that initially ρ~ii(0)=1\widetilde{\rho}_{ii}(0)=1. The relation (41) thus provides the transition probability matrix

𝐏(τ)=e𝚪τ.\mathbf{P}\left(\tau\right)=e^{-\bm{\Gamma}\tau}. (42)

The internal state evolution is a homogeneous continuous time Markov process associated with the transition matrix 𝐏(τ)\mathbf{P}\left(\tau\right). The Markov process is characterized by 𝚪\bm{\Gamma} which is the infinitesimal generator of this process: it is the generator of the semi-group {𝐏(τ),τ0}\left\{\mathbf{P}\left(\tau\right),\tau\geq 0\right\} and forward time translation is mapped onto this semi-group though the Chapman-Kolmogorov relation τ2τ1,𝐏(τ1+τ2)=𝐏(τ1)𝐏(τ2)\forall\tau_{2}\geq\tau_{1},\;\mathbf{P}\left(\tau_{1}+\tau_{2}\right)=\mathbf{P}\left(\tau_{1}\right)\mathbf{P}\left(\tau_{2}\right).

B.2 Diffusion coefficient of the dipole force fluctuation

We have shown that the stochastic evolution of the internal state is a homogeneous continuous time Markov process with generator 𝚪\mathbf{\Gamma}. Since for each dressed state |k\left|k\right\rangle there corresponds a given dipole force 𝐅~k=E~k\widetilde{\mathbf{F}}_{k}=-\nabla\widetilde{E}_{k}, the stochastic dipole force evolution {𝐅~t,t0}\{\widetilde{\mathbf{F}}_{t},t\geq 0\} is also a homogeneous continuous time Markov process with generator 𝚪\mathbf{\Gamma}. The transition graph associated with this Markov chain is depicted in Fig. 9.

Refer to caption
Figure 9: (Color online) Transition graph of the Markov chain that follows the dipole force in the dressed states basis.

Since there is a unique stationary population distribution 𝝆~\widetilde{\bm{\rho}}^{\infty}, the Prop. 2 in App. B.3 gives the diffusion coefficient for the momentum dispersion associated with the stochastic evolution of the dipole force,

Ddip=1m2𝐅~,𝚪𝐅~,D_{\rm dip}=\frac{1}{m^{2}}\left\langle\widetilde{\mathbf{F}},\bm{\Gamma}^{\sharp}\widetilde{\mathbf{F}}\right\rangle, (43)

where 𝐅~=(𝐅~α,𝐅~β,𝐅~γ)T\widetilde{\mathbf{F}}=(\widetilde{\mathbf{F}}_{\alpha},\widetilde{\mathbf{F}}_{\beta},\widetilde{\mathbf{F}}_{\gamma})^{T}, 𝚪\mathbf{\Gamma}^{\sharp} is the group inverse of 𝚪\mathbf{\Gamma}, and the scalar product is defined as 𝐱,𝐲=iρ~iixiyi\left\langle\mathbf{x},\mathbf{y}\right\rangle=\sum_{i}\widetilde{\rho}^{\infty}_{ii}x_{i}y_{i}.

B.3 Diffusion coefficient of a Markov process

Generalizing the definition of the diffusion coefficient for the dipole force [Eq. (15)], we define here the diffusion coefficient associated with a homogeneous continuous time Markov chain (HCTMC) and show that it can be efficiently calculated using the group inverse of the infinitesimal generator of the process.

A HCTMC {Xt,t0}\left\{X_{t},t\geq 0\right\} is characterized by its transition matrix 𝐏(τ)\mathbf{P}\left(\tau\right) with elements 𝐏ij(τ)=P(Xτ=xj|X0=xi)\mathbf{P}_{ij}\left(\tau\right)=P\left(X_{\tau}=x_{j}|X_{0}=x_{i}\right). It is a stochastic matrix: i𝐏ij(τ)=1\sum_{i}\mathbf{P}_{ij}\left(\tau\right)=1, which obeys the Kolmogorov forward equation

ddτ𝐏(τ)+𝐆𝐏(τ)=𝟎,\frac{d}{d\tau}\mathbf{P}\left(\tau\right)+\mathbf{G}\mathbf{P}\left(\tau\right)=\mathbf{0}, (44)

where 𝐆\mathbf{G} is called the infinitesimal generator of the HCTMC. Since the initial condition 𝐏(0)=𝟙\mathbf{P}(0)=\mathds{1} must be verified, the solution of this differential equation is 𝐏(τ)=exp(𝐆τ)\mathbf{P}\left(\tau\right)=\exp\left(-\mathbf{G}\tau\right). The generator satisfies i𝐆ij=0\sum_{i}\mathbf{G}_{ij}=0 and all the off-diagonal elements must be negative.

The analysis of the long-term behavior of the Markov process makes use of the stationary probability vector 𝚷\bm{\Pi}^{\infty} which is the probability to be in a given state of the chain after an infinite time. It satisfies 𝚷𝐆=𝟎\bm{\Pi}^{\infty}\mathbf{G}=\mathbf{0} with 𝚷1=1\|\bm{\Pi}^{\infty}\|_{1}=1. To quantify the fluctuations of the stochastic variable around the stationary distribution we define the diffusion coefficient:

Definition 1.

Let X={Xt,t0}X=\left\{X_{t},t\geq 0\right\} be an irreducible HCTMC over the countable state space 𝒮={xi}\mathcal{S}=\left\{x_{i}\right\} with transition matrix 𝐏(τ)\mathbf{P}\left(\tau\right). If a stationary distribution 𝚷\bm{\Pi}^{\infty} exists, then the diffusion coefficient of XX is defined as

DX=0(XXτX2)𝑑τ,D_{X}=\int_{0}^{\infty}\left(\left\langle X_{\infty}X_{\tau}\right\rangle-\left\langle X_{\infty}\right\rangle^{2}\right)\;d\tau, (45)

where

XXτ\displaystyle\left\langle X_{\infty}X_{\tau}\right\rangle =\displaystyle= i,j𝒮xixjΠi𝐏ij(τ),\displaystyle\sum_{i,j\in\mathcal{S}}x_{i}x_{j}\Pi^{\infty}_{i}\mathbf{P}_{ij}\left(\tau\right), (46)
X\displaystyle\left\langle X_{\infty}\right\rangle =\displaystyle= i𝒮xiΠi.\displaystyle\sum_{i\in\mathcal{S}}x_{i}\Pi^{\infty}_{i}. (47)

The transition matrix elements must satisfy limτ𝐏ij(τ)<\lim_{\tau\rightarrow\infty}\mathbf{P}_{ij}(\tau)<\infty, which means that any eigenvalue of 𝐆\mathbf{G} must be positive. Moreover, if all the eigenvalues are strictly positive then limτ𝐏(τ)=𝟎\lim_{\tau\rightarrow\infty}\mathbf{P}(\tau)=\mathbf{0} which is not a stochastic matrix. As a consequence the generator must have at least one eigenvalue equal to zero, meaning that 𝐆\mathbf{G} is singular.

These properties – which are a consequence of the Perron-Frobenius theorem – allow us to relate the diffusion coefficient to the generator of the Markov chain. More specifically, the diffusion coefficient is the quadratic form involving the states of the chain and associated with the group inverse (a special kind of pseudoinverse) of 𝐆\mathbf{G}. This result is particularly useful for the numerical calculation of the diffusion coefficient.

Proposition 2.

Let X={Xt,t0}X=\left\{X_{t},t\geq 0\right\} be an irreducible HCTMC over the countable state space 𝒮={xi}\mathcal{S}=\left\{x_{i}\right\} which has a stationary distribution 𝚷\bm{\Pi}^{\infty}. If 𝐆\mathbf{G} is the infinitesimal generator of XX, then the diffusion coefficient is

DX=𝐱,𝐆𝐱,D_{X}=\left\langle\mathbf{x},\mathbf{G}^{\sharp}\mathbf{x}\right\rangle, (48)

where 𝐱=(xi)\mathbf{x}=\left(x_{i}\right) is the column vector of the Markov chain states, 𝐆\mathbf{G}^{\sharp} is the group inverse of 𝐆\mathbf{G}, and the scalar product is defined as 𝐱,𝐲=i𝒮Πixiyi\left\langle\mathbf{x},\mathbf{y}\right\rangle=\sum_{i\in\mathcal{S}}\Pi_{i}^{\infty}x_{i}y_{i}.

Proof.

Since X2=i,j𝒮xixjΠiΠj\left\langle X_{\infty}\right\rangle^{2}=\sum_{i,j\in\mathcal{S}}x_{i}x_{j}\Pi_{i}^{\infty}\Pi_{j}^{\infty}, it follows that

XXτX2=i,j𝒮xixjΠi(𝐏ij(τ)Πj).\left\langle X_{\infty}X_{\tau}\right\rangle-\left\langle X_{\infty}\right\rangle^{2}=\sum_{i,j\in\mathcal{S}}x_{i}x_{j}\Pi_{i}^{\infty}\left(\mathbf{P}_{ij}(\tau)-\Pi_{j}^{\infty}\right). (49)

Moreover, XX is irreducible and has a stationary distribution, and therefore the theorem of convergence to invariant distribution for a continuous time Markov chain is satisfied, and 𝐏ij()limτ𝐏ij(τ)=Πj\mathbf{P}_{ij}(\infty)\equiv\lim_{\tau\rightarrow\infty}\mathbf{P}_{ij}(\tau)=\Pi_{j}^{\infty}, which results in

DX=i,j𝒮xixjΠi𝐙ij=𝐱,𝐙𝐱,D_{X}=\sum_{i,j\in\mathcal{S}}x_{i}x_{j}\Pi_{i}^{\infty}\mathbf{Z}_{ij}=\langle\mathbf{x},\mathbf{Z}\mathbf{x}\rangle, (50)

where 𝐙=0[𝐏(τ)𝐏()]𝑑τ\mathbf{Z}=\int_{0}^{\infty}\left[\mathbf{P}(\tau)-\mathbf{P}(\infty)\right]d\tau. Finally, Lemma 51 provides the relation between the fundamental matrix and the generator of the chain: 𝐙=𝐆\mathbf{Z}=\mathbf{G}^{\sharp}. As a result the diffusion coefficient is DX=𝐱,𝐆𝐱D_{X}=\langle\mathbf{x},\mathbf{G}^{\sharp}\mathbf{x}\rangle. ∎

The calculation of the diffusion coefficient results from the calculation of the so-called fundamental matrix or deviation matrix 𝐙\mathbf{Z} Coolen-Schrijner and van (2002); Ham et al. (2004), which is related to the expected time spent in state jj starting from ii. It is equal to the group inverse of the Markov chain generator.

Lemma 3.
𝐙0[𝐏(τ)𝐏()]𝑑τ=𝐆.\mathbf{Z}\equiv\int_{0}^{\infty}\left[\mathbf{P}(\tau)-\mathbf{P}(\infty)\right]\;d\tau=\mathbf{G}^{\sharp}. (51)
Proof.

By the Perron-Frobenius theorem, the generator admits the following eigendecomposition:

𝐆=𝐕[𝟎𝚫]𝐕1,\mathbf{G}=\mathbf{V}\left[\mathbf{0}\oplus\bm{\Delta}\right]\mathbf{V}^{-1}, (52)

with 𝚫=diag(λ1,,λn)\bm{\Delta}=\mathrm{diag}\left(\lambda_{1},\dots,\lambda_{n}\right), nn being the number of nonzero eigenvalues and λi>0\lambda_{i}>0. It results in

𝐏(τ)=e𝐆τ=𝐕[𝟙e𝚫τ]𝐕1,\mathbf{P}(\tau)=e^{-\mathbf{G}\tau}=\mathbf{V}\left[\mathds{1}\oplus e^{-\bm{\Delta}\tau}\right]\mathbf{V}^{-1}, (53)

and since λi>0\lambda_{i}>0,

𝐏()=limτ𝐕[𝟙e𝚫τ]𝐕1=𝐕[𝟙𝟎]𝐕1.\mathbf{P}(\infty)=\lim_{\tau\rightarrow\infty}\mathbf{V}\left[\mathds{1}\oplus e^{-\bm{\Delta}\tau}\right]\mathbf{V}^{-1}=\mathbf{V}\left[\mathds{1}\oplus\mathbf{0}\right]\mathbf{V}^{-1}. (54)

The deviation from the stationary probability is thus

𝐏(τ)𝐏()=𝐕[𝟎e𝚫τ]𝐕1.\mathbf{P}(\tau)-\mathbf{P}(\infty)=\mathbf{V}\left[\mathbf{0}\oplus e^{-\bm{\Delta}\tau}\right]\mathbf{V}^{-1}. (55)

We can now evaluate the integral

𝐙ij\displaystyle\mathbf{Z}_{ij} =\displaystyle= 0(𝐕[𝟎e𝚫τ]𝐕1)ij𝑑τ\displaystyle\int_{0}^{\infty}\left(\mathbf{V}\left[\mathbf{0}\oplus e^{-\bm{\Delta}\tau}\right]\mathbf{V}^{-1}\right)_{ij}\;d\tau (56)
=\displaystyle= 0ll𝐕il[𝟎e𝚫τ]ll𝐕lj1dτ\displaystyle\int_{0}^{\infty}\sum_{ll^{\prime}}\mathbf{V}_{il}\left[\mathbf{0}\oplus e^{-\bm{\Delta}\tau}\right]_{ll^{\prime}}\mathbf{V}^{-1}_{l^{\prime}j}\;d\tau (57)
=\displaystyle= ll𝐕il[𝟎0e𝚫τ𝑑τ]ll𝐕lj1.\displaystyle\sum_{ll^{\prime}}\mathbf{V}_{il}\left[\mathbf{0}\oplus\int_{0}^{\infty}e^{-\bm{\Delta}\tau}\;d\tau\right]_{ll^{\prime}}\mathbf{V}^{-1}_{l^{\prime}j}. (58)

Using again the fact that λi>0\lambda_{i}>0, it follows that

0e𝚫τ𝑑τ=𝚫1=diag(λ11,,λn1),\int_{0}^{\infty}e^{-\bm{\Delta}\tau}\;d\tau=\bm{\Delta}^{-1}=\mathrm{diag}\left(\lambda_{1}^{-1},\dots,\lambda_{n}^{-1}\right), (59)

and finally

𝐙ij=ll𝐕il[𝟎𝚫1]ll𝐕lj1=(𝐕[𝟎𝚫1]𝐕1)ij.\mathbf{Z}_{ij}=\sum_{ll^{\prime}}\mathbf{V}_{il}\left[\mathbf{0}\oplus\bm{\Delta}^{-1}\right]_{ll^{\prime}}\mathbf{V}^{-1}_{l^{\prime}j}=\left(\mathbf{V}\left[\mathbf{0}\oplus\bm{\Delta}^{-1}\right]\mathbf{V}^{-1}\right)_{ij}. (60)

Writing 𝚺=𝟎𝚫\bm{\Sigma}=\mathbf{0}\oplus\bm{\Delta} and 𝚺=𝟎𝚫1\bm{\Sigma}^{\sharp}=\mathbf{0}\oplus\bm{\Delta}^{-1} we have 𝐆=𝐕𝚺𝐕1\mathbf{G}=\mathbf{V}\bm{\Sigma}\mathbf{V}^{-1} and 𝐙=𝐕𝚺𝐕1\mathbf{Z}=\mathbf{V}\bm{\Sigma}^{\sharp}\mathbf{V}^{-1}. Clearly 𝚺𝚺𝚺=𝚺\bm{\Sigma}\bm{\Sigma}^{\sharp}\bm{\Sigma}=\bm{\Sigma}, 𝚺𝚺𝚺=𝚺\bm{\Sigma}^{\sharp}\bm{\Sigma}\bm{\Sigma}^{\sharp}=\bm{\Sigma}^{\sharp} and 𝚺𝚺=𝚺𝚺\bm{\Sigma}^{\sharp}\bm{\Sigma}=\bm{\Sigma}\bm{\Sigma}^{\sharp}, therefore

𝐆𝐙𝐆=𝐕𝚺𝚺𝚺𝐕1=𝐕𝚺𝐕1=𝐆,\displaystyle\mathbf{G}\mathbf{Z}\mathbf{G}=\mathbf{V}\bm{\Sigma}\bm{\Sigma}^{\sharp}\bm{\Sigma}\mathbf{V}^{-1}=\mathbf{V}\bm{\Sigma}\mathbf{V}^{-1}=\mathbf{G}, (61)
𝐙𝐆𝐙=𝐕𝚺𝚺𝚺𝐕1=𝐕𝚺𝐕1=𝐙,\displaystyle\mathbf{Z}\mathbf{G}\mathbf{Z}=\mathbf{V}\bm{\Sigma}^{\sharp}\bm{\Sigma}\bm{\Sigma}^{\sharp}\mathbf{V}^{-1}=\mathbf{V}\bm{\Sigma}^{\sharp}\mathbf{V}^{-1}=\mathbf{Z}, (62)
𝐆𝐙=𝐕𝚺𝚺𝐕1=𝐕𝚺𝚺𝐕1=𝐙𝐆.\displaystyle\mathbf{G}\mathbf{Z}=\mathbf{V}\bm{\Sigma}\bm{\Sigma}^{\sharp}\mathbf{V}^{-1}=\mathbf{V}\bm{\Sigma}^{\sharp}\bm{\Sigma}\mathbf{V}^{-1}=\mathbf{Z}\mathbf{G}. (63)

In other words, 𝐙\mathbf{Z} has all the properties of the group inverse of 𝐆\mathbf{G}, and a matrix that satisfies this properties is unique: 𝐙=𝐆\mathbf{Z}=\mathbf{G}^{\sharp}. ∎

As an example, we can use this result to calculate the diffusion coefficient associated with the dipole force fluctuation in a two-level atom.

Example 4.

In the case of the dipolar force on a two-level system, one as 𝒮={+F,F}\mathcal{S}=\left\{+F,-F\right\} where F=Ω/2F=\hbar\nabla\Omega/2 and the transitions between the dressed states are described by the following generator Dalibard and Cohen-Tannoudji (1985):

𝐆=Γ(cos4θcos4θsin4θsin4θ),\mathbf{G}=\Gamma\left(\begin{array}[]{cc}\cos^{4}\theta&-\cos^{4}\theta\\ -\sin^{4}\theta&\sin^{4}\theta\end{array}\right), (64)

where the angle θ\theta satisfies tan2θ=Ω/Δ\tan 2\theta=\Omega/\Delta. The stationary population vector is

𝚷=ΓΓpop(sin4θcos4θ),\bm{\Pi}^{\infty}=\frac{\Gamma}{\Gamma_{\rm pop}}\left(\begin{array}[]{c}\sin^{4}\theta\\ \cos^{4}\theta\end{array}\right), (65)

where Γpop=Γ(cos4θ+sin4θ)\Gamma_{\rm pop}=\Gamma\left(\cos^{4}\theta+\sin^{4}\theta\right). The generator has the following eigendecomposition: 𝐆=𝐕𝚫𝐕1\mathbf{G}=\mathbf{V}\bm{\Delta}\mathbf{V}^{-1} with 𝚫=diag(0,Γpop)\bm{\Delta}=\mathrm{diag}\left(0,\Gamma_{\rm pop}\right) and

𝐕=(1cot4θ11),𝐕1=ΓΓpop(sin4θcos4θsin4θsin4θ).\mathbf{V}=\left(\begin{array}[]{cc}1&-\cot^{4}\theta\\ 1&1\end{array}\right),\;\mathbf{V}^{-1}=\frac{\Gamma}{\Gamma_{\rm pop}}\left(\begin{array}[]{cc}\sin^{4}\theta&\cos^{4}\theta\\ -\sin^{4}\theta&\sin^{4}\theta\end{array}\right). (66)

The group inverse of the generator is thus

𝐆=ΓΓpop2(cos4θcos4θsin4θsin4θ).\mathbf{G}^{\sharp}=\frac{\Gamma}{\Gamma_{\rm pop}^{2}}\left(\begin{array}[]{cc}\cos^{4}\theta&-\cos^{4}\theta\\ -\sin^{4}\theta&\sin^{4}\theta\end{array}\right). (67)

The diffusion coefficient is finally obtained from Eq. (48) with 𝐱=(+F,F)T\mathbf{x}=(+F,-F)^{T}:

Ddip=𝐱,𝐆𝐱=4F2Γsin4θcos4θ(sin4θ+cos4θ)3.D_{\rm dip}=\left\langle\mathbf{x},\mathbf{G}^{\sharp}\mathbf{x}\right\rangle=\frac{4F^{2}}{\Gamma}\frac{\sin^{4}\theta\cos^{4}\theta}{\left(\sin^{4}\theta+\cos^{4}\theta\right)^{3}}. (68)

In the high-intensity limit (ΩΔ\Omega\gg\Delta), the angle is θ=π/4\theta=\pi/4 and the diffusion coefficient becomes Ddip=2|Ω|2/2ΓD_{\rm dip}=\hbar^{2}|\nabla\Omega|^{2}/2\Gamma. Conversely, in the low-intensity regime (ΩΔ\Omega\ll\Delta) the angle is small (θ0\theta\sim 0) and the diffusion coefficient vanishes.

References

  • Chu (1998) S. Chu, Rev. Mod. Phys. 70, 685 (1998).
  • Cohen-Tannoudji (1998) C. Cohen-Tannoudji, Rev. Mod. Phys. 70, 707 (1998).
  • Phillips (1998) W. D. Phillips, Rev. Mod. Phys. 70, 721 (1998).
  • Kitching et al. (2011) J. Kitching, S. Knappe,  and E. A. Donley, IEEE Sensors Journal 11, 1749 (2011).
  • Lodewyck et al. (2009) J. Lodewyck, P. G. Westergaard,  and P. Lemonde, Phys. Rev. A 79, 061401 (2009).
  • Roos et al. (2003) C. F. Roos, P. Cren, J. Dalibard,  and D. Guérin-Odelin, Physica Scripta T105, 19 (2003).
  • Falkenau et al. (2011) M. Falkenau, V. V. Volchkov, J. Rührig, A. Griesmaier,  and T. Pfau, Phys. Rev. Lett. 106, 163002 (2011).
  • Thorn et al. (2008) J. J. Thorn, E. A. Schoene, T. Li,  and D. A. Steck, Phys. Rev. Lett. 100, 240407 (2008).
  • Bannerman et al. (2009) S. T. Bannerman, G. N. Price, K. Viering,  and M. G. Raizen, New J. Phys. 11, 063044 (2009).
  • Brantut et al. (2008) J.-P. Brantut, J.-F. Clément, M. Robert de Saint Vincent, G. Varoquaux, R. A. Nyman, A. Aspect, T. Bourdel,  and P. Bouyer, Phys. Rev. A 78, 031401(R) (2008).
  • Bertoldi et al. (2010) A. Bertoldi, S. Bernon, T. Vanderbruggen, A. Landragin,  and P. Bouyer, Opt. Lett. 35, 3769 (2010).
  • Whitley and Stroud (1976) R. M. Whitley and C. R. Stroud, Phys. Rev. A 14, 1498 (1976).
  • Dalibard and Cohen-Tannoudji (1985) J. Dalibard and C. Cohen-Tannoudji, J. Opt. Soc. Am. B 2, 1707 (1985).
  • Gordon and Ashkin (1980) J. P. Gordon and A. Ashkin, Phys. Rev. A 21, 1606 (1980).
  • Lee et al. (2007) L. Lee, H. S. Moon,  and H. S. Suh, Opt. Lett. 32, 2810 (2007).
  • Steck (2001) D. A. Steck, “Rubidium 87 d line data,”  (2001).
  • Heavens (1961) O. S. Heavens, J. Opt. Soc. Am. 51, 1058 (1961).
  • Moon et al. (2007) H. S. Moon, L. Lee,  and J. B. Kim, J. Opt. Soc. Am. B 24, 2157 (2007).
  • Sauer (2012) T. Sauer, in Handbook of Computational Finance, Springer Handbooks of Computational Statistics, edited by J.-C. Duan, W. K. Härdle,  and J. E. Gentle (2012) pp. 529–550.
  • Aghajani-Talesh et al. (2010) A. Aghajani-Talesh, M. Falkenau, V. V. Volchkov, L. E. Trafford, T. Pfau,  and A. Griesmaier, New J. Phys. 12, 065018 (2010).
  • Cohen-Tannoudji et al. (1992) C. Cohen-Tannoudji, J. Dupont-Roc,  and G. Grynberg, Atom-Photon Interactions: Basic Processes and Applications, edited by N. Y. Wiley (1992).
  • Coolen-Schrijner and van (2002) P. Coolen-Schrijner and E. A. D. van, Probability in the Engineering and Informational Sciences 16, 351 (2002).
  • Ham et al. (2004) J. Ham, D. D. Lee, S. Mika,  and B. Schölkopf, in Proceedings of the twenty-first international conference on Machine learning, ICML ’04 (2004) p. 47.