Arxiv:0904.0936V1 [Cond-Mat.Dis-Nn] 6 Apr 2009 Tm Omv Ysyoewvlnt,Ie Ytiiltime Trivial by the I.E

arXiv:0904.0936v1 [cond-mat.dis-nn] 6 Apr 2009 tm omv ysyoewvlnt,ie ytiiltime trivial by the i.e. for wavelength, waiting one say just by move by to automatically atoms re- fixed sig- done disorder at a is different pinned with alizations over us were averaging provides atoms advantage: even nificant the motion if can Residual 6] as positions. [5, observed, backscattering be coherent co- still and as modify photon such not scattered effects does a herent atoms of frequency the the of significantly motion residual the [5]. large, localization strong observe and to weak possible as then by such is effect adjusted It coherent continuously frequency. laser be scat- the can the tuning the path and through monochromatic mean-free propagation remains tering light its the during system, Thus, colli- remains scattering atom-atom elastic. the fully neglected, for be density to the broadening low resonant of sional for sufficiently saturation intensity low light and of low light) limit at the illuminated (e.g. in system transition and atomic dilute beam a laser For sys- a resonant by understood. and well scattering is a in tem photons of trapping the absorption. and defects scat- of point realize free resonant to manipu- terers, strongly particular of be in ensemble control can monodisperse of atoms a degree Cold high a very atoms. with A lated cold [3]. of phenomena system fundamental composed these a sys- is with such deal complex in to a medium understood in good be embedded to emitter have fluorescence single tem or a [2] of photons features lifetime of key localization of in Lots Anderson applications like [1]. many imaging mesoscopic its biomedical in of in research because particular of years few field for active physics very a become has ∗ lcrncades [email protected] address: Electronic nacmn frdaintapn o us-eoatscat quasi-resonant for trapping radiation of Enhancement tvr o eprtr n ftesse snttoo not is system the if and temperature low very At [4], Kenty of work pioneering the and thirties the Since system scattering a in propagation light of study The 3 aigit con h oino h tm.Teotie equ obtained M The original an ge atoms. by a numerically the solved on is of based It motion is equation. derivation the transfer The account into temperature. taking low at gas atomic ASnmes 22.d 32.80.-t 42.25.Dd, pa numbers: different PACS In slightly is redistribution. factor) frequency (escape ins complete intensity density of specific energy case the the the and system in t the than by outside caused flux redistribution emitted the frequency partial The geometry. etefrQatmTcnlge,Ntoa nvriyo Si of University National Technologies, Quantum for Centre epeetatasoteuto o h noeetpropagat incoherent the for equation transport a present We .INTRODUCTION I. oanPierrat, Romain 2 PL NS uinplsWy igpr 362 Singapor 138632, Singapore Way, Fusionopolis 1 CNRS; IPAL, 1 aoaor ate-rse,UiestePer tMarie et Université Pierre Kastler-Brossel, Laboratoire N,CR;4PaeJsiu -50 ai,France Paris, F-75005 Jussieu, Place 4 CNRS; ENS, 1 Benoˆıt Grémaud, Dtd etme ,2021) 6, September (Dated: n h ult atro h tmcrsnne number a 10 resonance, of order atomic the the of of typically factor quality the ing h htni utpysatrdabout scattered multiply is photon the o ako h htni h eimwt step with medium the ran- in a photon as the viewed of be walk can dom path scattering multiple typical a rtro n oecrflaayi snee.E.(1) Eq. needed. ¯ rough is as very analysis a rewritten only careful be is can more this a following, the and in criterion seen be will As ahcnb o elgbe hsdpnso oreon course of depends global This the thickness negligible. small, optical non the scattering is be multiple Doppler event can a the path along scattering accumulated if single shift Even frequency a be escapes. of can photon events shift a scattering before many chained medium, large ficiently atomic cold requires explains effects and gases. coherent m/s, 1 of of observation order why the of velocity, atomic the on rs-eto aisrpdyaon naoi resonance atomic an frequency at scattering around The rapidly photon ones. varies incoming scattered cross-section the like the rescattered that be prop- can meaning the modify properties, not does agation change frequency the if glected averaging. enfe aho h htni h eim tlarge At medium. the in photon the of path free mean where ind iodri ece when: reached is disorder pinned” nes ftelftm fteaoi xie tt.Thus, state. excited atomic the of if lifetime the of inverse fe cteigeetis event scatteting a after v saig steDplrsitdpnso h relative the on depends shift Doppler the As escaping. ¯ ,2 3 2, 1, k h yia tmcvlct,tetpcaDplrshift Doppler typicla the velocity, atomic typical the oee,ee ftetmeauei o,frasuf- a for low, is temperature the if even However, h ope hf ftesatrdpoo a ene- be can photon scattered the of shift Doppler The eoe h aefco fteicmn htn and photons incoming the of factor wave the denotes rmteHlti prediction. Holstein the from n oiiu Delande Dominique and neCroapoc ntecs faslab a of case the in approach Carlo onte L esalvlct ftesatrr make scatterers the of velocity small he o frdainisd quasi-resonant a inside radiation of ion gpr,3SineDie2 Singapore 2, Drive Science 3 ngapore, tclr h ogtm eedneof dependence time long the rticular, stesz ftemdu and medium the of size the is d h eimt eaedifferently behave to medium the ide eaie eh-aptrequation Bethe-Salpeter neralized ω to ssmlrt h radiative the to similar is ation 0 vrafeunyrneΓ range frequency a over eesa o temperature low at terers v/c b Curie, : ∗ ≪ k b v ¯ 8 = k . ω ≪ e v ¯ hstu usasvr limit severe a puts thus This 0 L ℓ / n h eieo “quasi- of regime the and (1) Γ 1 Γ , h atrqatt be- quantity latter the ℓ , b 2 hr sthe is Γ where h scattering the ie before times ℓ. Thus (2) b , 2 orientation of the atomic velocity and the incoming and the optical wavelength. We will also treat atoms as clas- outgoing wave vectors of the photon, it is on average a sical point scatterers. This assumption certainly fails at random variable with zero average and about (kv¯)2 vari- very low temperature where the atomic de Broglie wave- ance. If successive scattering events are statistically inde- length becomes comparable to the optical wavelength: pendent, the photon frequency performs itself a random in this regime, the recoil effect induced by the scattering walk with step about kv,¯ and the typical accumulated of a single photon significantly affects the motion of the Doppler shift after N scattering events is of the order of center of mass of the atom. We thus exclude ultra-cold √Nkv.¯ As N b2, a rough criterion for neglecting this atomic gases. Properly taking into account the quantum effect becomes:∼ nature of the external atomic motion is a much more complicated problem, see e.g. [17] for the simple case of bkv¯ Γ. (3) ≪ two atoms. For usual atoms like Rubidium, the recoil velocity is of the order of few mm/s, and one can easily Some theoretical works has been done previously in have cold atoms faster than the recoil velocity, but still particular in rather dense atomic vapors typical of in- obeying Eq. (1). We also exclude collective quantum ef- terstellar atmospheres, when collisional broadening is fects such as Bose-Einstein condensation, taking place larger than the natural linewidth of the atomic reso- when the atomic de Broglie wavelength is comparable to nance. In such a regime, the scattering process is in- the inter-atomic distance. coherent and inelastic: the frequency of the scattered We are interested in typically an atomic cloud in a photon is essentially decorrelated from the incoming fre- magneto-optical trap (MOT), scattering photons from a quency. This is the complete frequency redistribution laser beam. We will thus assume a thermal distribution of (CFR) regime [7, 8, 9]. Depending on parameters such as the atomic velocities. In such a system, the radiation felt the optical thickness and the Doppler broadening, several deep in the medium is quasi-isotropic such that atoms regimes can be obtained, leading to various decay rate are not significantly pushed by incoming photons. On equations such as the Holstein’s equation [10]. In that the other handm, in a real experiment, if the laser beam case, the photon frequency can be Doppler shifted very is sufficiently intense, the accumulated recoil effect may far from resonance, so that the medium becomes almost significantly disturb the atomic velocity distribution. For transparent: this is a regime where photons trajectories simplicity, we neglect this effect, although taking it into can be Lévy flights [11]. account would be easy in the present framework. The present work deals with the case of low tempera- The paper is organized as follows: in Sect. II, we ture (or slow atoms) for which we cannot assume a com- start from first principles to obtain a generalized form of plete frequency redistribution. The partial frequency re- the well-known Dyson (for the average field) and Bethe- distribution (PFR) is then due to Doppler effect. This is Salpeter (for the field correlations, including the aver- an interesting new regime where the radiation transport age intensity) equations. Then, some assumptions are has both coherent (the individual scattering event) and done in Sect. III to derive the transport equation which incoherent (because of randomization due to the atomic is the main result of this paper. This equation is solved motion) aspects. Moreover, the study of such a system is numerically in Sect. IV using an original Monte Carlo of primary importance to design new high capacity quan- scheme. Finally, Sect. V is devoted to the modal study tum memories using cold atoms, in particular to give a of the transport equation to explicitly derive the spectral reliable expression of the escape factor (i.e. exponential and temporal behaviors at large scales. In particular, we time decay rate at long times). The main idea is to derive show that, although the spatial motion of the photons is a transport equation for the incoherent radiation from in general not diffusive, it is possible to derive equations first principles in the case of moving atoms, taking into of the Fokker-Planck type, which govern the evolution of account the resonant character of the scatterers. This is the intensity distribution as a function of position and very different from e.g. diffusing-wave spectroscopy the- frequency. This section ends up with the simple picture ory [12, 13] or electron transport [14]. It is also expected story of photons migration valid at large scales. that the dynamics of the atoms affect the coherent properties of the system as shown experimentally [15]. Theo- ritical and numerical works are in progress in particular to describe the thermal decoherence of the backscattering II. DYSON AND BETHE-SALPETER EQUATIONS FOR MOVING SCATTERERS cone. More precisely, we deal with systems composed of a cloud of two-level atoms: this is a very good approxima- A. Scattering operator tion for quasi-resonant atomic scatterers as e.g. Rubid- ium atoms used in experiments. As we consider here only Starting with first principles means that we have to de- the incoherent transport of radiation, the existence of an rive a generalized form of the scattering operator taking internal hyperfine structure which leads to considerable into account the Doppler effect. It will be the funda- modifications of the coherent transport such as coherent mental quantity of our derivation. As mentioned above, back scattering [16], is irrelevant. We assume a dilute gas the recoil is not taken into account in this derivation where the scattering mean free path is much larger than because the recoil-induced drift of the frequency distri- 3 bution is usually much smaller than the Doppler-induced The latter expresses a strong correlation between the in- −3 −2 spreading (vrecoil/v¯ 10 10 ). Note that going be- coming and the outgoing frequency, in strong contrast yond this approximation∼ is far− from trivial. We denote by with the usual complete frequency redistribution hypoth- ′ t k, k ,ω the scattering operator for a single fixed atom. esis [7, 8]. ′ k and k are the incident and scattered wave-vectors respectively and ω is the frequency. The reader will find in Appendix A the conventions used for the spatio-temporal B. Two-levels atom polarizability Fourier transforms of all quantities. For the sake of simplicity, we assume that all the scattering atoms are iden- The scalar scattering operator for pinned point scat- tical. Let us consider an atom moving at velocity v con- terers is related to the polarizability by stant during the whole scattering process. We denote by ′ ′ 2 v k k ′ ω tm , ,ω,ω the scattering operator for this moving t k, k ,ω = α (ω) atom (subscript m means moving). Thus, the incident − c2 0 (Einc) and scattered (Esca) fields are related by where c0 is the light velocity in vacuum. The system is ′ ′ composed of two-level atoms with resonant frequency ω . E (k,ω)= G (k,ω) tv k, k ,ω,ω 0 sca 0 m Γ is the spontaneous emission decay rate. The incoming Z ′ 3 ′ photons are quasi-resonant, such that δ = ω ω0 ω0. ′ ′ d k dω − ≪ Einc k ,ω The two-level atom scalar polarizability is then given by × 8π3 2π in the scalar approximation (polarization effects ne- 4π Γ/2 α (ω)= 3 (7) glected), where G0 is the Green function in the vacuum. − k0 δ + iΓ/2 Note that taking into account polarization effects is a straightforward extension of the present analysis. Indeed, where k0 = ω0/c0 is the wave-vector in vacuum at fre- Doppler effect acts similarly on all polarization compo- quency ω0. We thus have nents. It is thus sufficient to add the angular dependence ′ 4π Γ/2 of the scattering cross-section in all formulas. We drop t k, k ,ω . (8) this dependence for simplicity and focus on the main fea- ∼ k0 δ + iΓ/2 tures related to the motion of the scatterers. Thus, the generalized scattering operator is obtained by Considering now this expression in the atom frame, we plugging Eq. (8) in Eq. (6). The main differences between have this equation and the expression of the scattering operator for fixed atoms are the Dirac δ function representing (k,ω)= G (k,ω + k v) (4) Esca 0 · the Doppler frequency shift. Z ′ ′ ′ tv k, k ,ω + k v,ω + k v × m · · 3 ′ ′ ′ ′ d k dω C. Dyson equation k ,ω ×Einc 8π3 2π where is the field in the atom frame in which the atom The Dyson equation is a closed equation for the field E E averaged over an ensemble of realization of the scat- is fixed. The relation between the incident and the scat- h i tered fields can be written in the form tering medium [18, 19]. For the case of fixed atoms, the average is performed over the positions of the scatterers. 3 ′ ′ ′ d k For moving atoms, the average is performed over the ini- (k,ω)= G (k,ω) t k, k ,ω k ,ω . Esca 0 Einc 8π3 tial positions, times and velocities of the scatterers. In Z (5) this case, the generalized form of the Dyson equation is By identifying equations (4) and (5) and taking into ac- given by count that the velocity of the atom is weak enough to ′ ′ ′ ′′ ′ ′′ have k v ω in the Green operator, we have E (r,t)= E (r,t)+ G (r r ,t t ) M (r , r ,t ,t ) · ≪ h i inc 0 − − m ′ ′ ′ v Z ′′ ′′ ′ ′′ ′ ′′ tm k, k ,ω,ω =2πt k, k ,ω k v E (r ,t ) d3r d3r dt dt , ′ − ·′ × h i δ ω ω k k v , (6) (9) × − − − · which is the expression of the generalized scattering oper- where Mm is called the mass operator. It essentially ator, a fundamental quantity in our derivation. δ denotes describes the extinction phenomenon due to scattering. the Dirac-delta function. The physical interpretation of In particular, it contains the expression of the scatter- tm is straightforward: the modification of frequency in ing mean-free path depicting the exponential decay of the t operator corresponds to the Doppler shifted fre- the averaged (or coherent) field. The mass operator quency in the atomic frame, while the δ function ex- is the equivalent of the self-energy for the Schrödinger presses that the scattering is elastic in the atomic frame. equation for matter waves in a random potential [14]. 4

For ﬁxed scatterers, one usually considers a statistically where P (r, t, v) is the probability density to have a translationally invariant inﬁnite medium. In our case, we scatterer of velocity v at position r and at time t. also assume that the atom velocity distribution is time- For our translationally invariant medium, P (r, t, v) = independent and uncorrelated with the position, so that g (v) / (VT ) where V is the volume of the system and

′ ′′ ′ ′′ ′ ′′ ′ ′′ T the time window. In the large V,T limit, the mass Mm (r , r ,t ,t )= Mm (r r ,t t ) . operator in the Fourier domain reads − − This expression allows us to rewrite the Dyson equation ρ v in term of a Fourier transform: Mm (k,ω) = lim tm (k, k,ω,ω) g (v) dv T →∞ T Z E (k,ω)= E (k,ω)+ G (k,ω) M (k,ω) E (k,ω) . h i inc 0 m h i (10) where ρ = N/V is the density of scatterers. This leads Writing the same equation for the averaged Green func- to the final expression of the mass operator if we remark tion, we obtain that lim →∞ 2πδ (ω ω) /T = 1: T − G (k,ω)= G (k,ω)+ G (k,ω) M (k,ω) G (k,ω) h i 0 0 m h i Mm (k,ω)= ρ t (k, k,ω k v) g (v) dv. (13) which gives the expression − · Z 1 G (k,ω)= (11) For a thermal distribution, this gives a standard Voigt h i ω2/c2 k2 M (k,ω) 0 − − m profile for absorption [21], which itself reduces to a usual Doppler Gaussian profile in the limit kv¯ Γ. In the lat- considering that G (k,ω)=1/ ω2/c2 k2 . Then we ≫ 0 0 − ter case, the averaging over the atomic velocity makes can define a wave-vector in the effective homogeneous the correlation between the incoming and scattered fre- medium k2 = ω2/c2 M (k ,ω), the real and imag- eff 0 − m eff quencies much smaller than for slow atoms. inary part of which give the effective wavelength and D. Bethe-salpeter equation the scattering mean-free path respectively. To derive the expression of the mass operator we assume that the system is dilute enough for the first order diagram- The Bethe-Salpeter equation is a closed equation for ∗ matic expansion of the operator to be valid. This is the the field autocorrelation function EE [22, 23, 24]. It h i Foldy-Twersky approximation (or the Born approxima- contains an operator K depending on four space variables tion) [20]. In that case, the mass operator is the sum over called the intensity (or vertex) operator and describing all the N scatterers of the averaged scattering operator the correlation between two scattering processes. As for for all accessible positions, times and velocities: the Dyson equation, the idea is to generalize this equation to the case of moving scatterers. This leads to a new N ′ ′ ′ ′ vertex operator Km depending on four space variables M (r r ,t t )= tvi (r r , r r ,t t ,t t ) m − − m − i − i − i − i and four time variables. We assume that no source is i=1 Z present (the incident current densities associated with X 3 3 P (ri,ti, vi) d ridtid vi the coherent term are missing). Thus the generalized × (12) Bethe-Salpeter equation writes:

′ ′ ∗ ′ ′ ′ ′ ∗ ′ ′ E (r ,t ) E (r ,t ) = G (r , r ,t ,t ) G (r , r ,t ,t ) K (r , r , r , r ,t ,t ,t ,t ) h 1 1 2 2 i h 1 1 1 1 i h 2 2 2 2 i m 1 3 2 4 1 3 2 4 Z ∗ E (r ,t ) E (r ,t ) d3r d3r d3r d3r dt dt dt dt , (14) × h 3 3 4 4 i 1 2 3 4 1 2 3 4 where the symbol ∗ denotes the conjugate quantity. The global translational invariance in space and time for the averaged quantities leads to a factorization of the vertex operator as follows

K (k , k , k , k ,ω ,ω ,ω ,ω ) =8π3δ (k k k + k ) 2πδ (ω ω ω + ω ) m 1 3 2 4 1 3 2 4 1 − 3 − 2 4 × 1 − 3 − 2 4 K (k , k , k , k ,ω ,ω ,ω ,ω ) . (15) × m 1 3 2 4 1 3 2 4 e 5

This leads to the following expression of the Fourier transform of the Bethe-Salpeter equation for an inﬁnite medium:

q Ω ∗ q Ω f (k, q, ω, Ω) = G k + ,ω + G k ,ω 2 2 − 2 − 2 Z 3 ′ ′ q ′ q q ′ q Ω ′ Ω Ω ′ Ω ′ ′ d k dω K k + , k + , k , k ,ω + ,ω + ,ω ,ω f k , q,ω , Ω × m 2 2 − 2 − 2 2 2 − 2 − 2 8π3 2π (16) e where the function f is the Fourier form of the spatio-temporal correlation function of the electric ﬁeld (i.e. f (k, q, , ω, Ω) = E (k + q/2,ω +Ω/2) E∗ (k q/2,ω Ω/2) ). As for the massh operator, we only keep the− ﬁrst term− of thei diagrammatic expansion of the vertex operator (Ladder approximation valid for a dilute gas) which leads to a sum over all scatterers, and an averaging over all accessible positions, times and velocities of the scattering operator correlation function. In Fourier space, we obtain:

ρ v v∗ Km (k1, k3, k2, k4,ω1,ω3,ω2,ω4) = lim tm (k1, k3,ω1,ω3) tm (k2, k4,ω2,ω4) g (v) dv. T →∞ T Z v v∗ The averaginge over the atomic velocity is performed over the product tmtm to take into account the fact that the scattering process occurs on the same atom for the ﬁeld and its conjugate. Using this expression of the scattering operator in Eq. (6), the intensity operator becomes

q ′ q q ′ q Ω ′ Ω Ω ′ Ω q ′ q Ω q K k + , k + , k , k ,ω + ,ω + ,ω ,ω ρ t k + , k + ,ω + k + v m 2 2 − 2 − 2 2 2 − 2 − 2 2 2 2 − 2 · Z ∗ q ′ q Ω q ′ ′ e t k , k ,ω k v 2πδ ω ω k k v g (v) dv. (17) × − 2 − 2 − 2 − − 2 · − − − ·

III. TRANSPORT EQUATION

The transport equation we will obtain is an equation governing the specific intensity I (r, u,t,ω) inside the system. This is a local (r) and directional (u) radiative flux at time t and frequency ω. This quantity will be defined using the field autocorrelation function. So the root of the derivation is the Bethe-Salpeter equation in the form obtained in Eq. (16). To exhibit the spatio-temporal derivatives of the specific intensity, we can transform the product of the averaged Green functions in a difference: 1/(AB) = (1/A 1/B)/(B A), and use the averaged Green function in Eq. (11). We obtain: − −

q Ω ∗ q Ω G k + ,ω + G k ,ω q Ω ∗ q Ω 2 2 − − 2 − 2 G k + ,ω + G k ,ω = . 2 2 − 2 − 2 2Ωω q Ω ∗ q Ω +2k q + M k + ,ω + M k ,ω − c2 · m 2 2 − m − 2 − 2 0 (18)

The effective wave-vector in the medium is given by find 2 2 2 k = ω /c Mm (keff,ω). By replacing the mass op- eff 0 ′ 2π ω erator by its− approximate expression, Eq. (13) and the k = [k2 ]= , (19) ℜ eff λ ∼ c polarizability by Eq. (7), we obtain eff 0 q 2 ′′ k 1 ′ k = ℑ eff = k ω2 4πρ Γ/2 (δ k v) 2 [k2 ] 2ℓ ≪ k2 = − · g (v) dv, eff eff 2 2 2 ℜ ℜ c0 − k0 (δ k v) +Γ /4 Z − · where λeff is the effectivep wavelength (close to the vac- 4πρ Γ2/4 2 v v uum wavelength in a dilute medium) and ℓ λ0 the keff = 2 g ( ) d . ≫ ℑ k0 (δ k v) +Γ2/4 scattering mean-free path. Physically, this means that Z − · the spatial variations of the specific intensity take place 3 In a dilute medium such that ρλ0 1 where λ0 =2π/k0 on a scale much longer than the wavelength. We can ≪ ′ is the wavelength in the vacuum at frequency ω0, we have thus restrict ourselves to q k, k in Eq. (16). Similarly, k2 k2 ω2/c2. Writing k = k′ + ik′′ we the temporal variations of≪ the specific intensity are slow ℑ eff ≪ ℜ eff ∼ 0 eff 6

(typically of the order of Γ−1) compared to the tempo- ever that we do NOT assume Ω Γ — meaning that we −1 ≪ −1 ral variations of the wave (on a time scale ω0 ). This keep the full dynamics on the time scale Γ — and that allows to deﬁne properly the speciﬁc intensity with two because the polarizability varies around the resonance on independent spatial variables (position r and direction a scale Γ, we must keep explicitly this dependence. Us- u) and two independent temporal variables (time t and ing these approximations coupled to Eqs. (13), (17) and frequency ω) and assume Ω ω in Eq. (16). Note how- (18), the Bethe-Salpeter equation (16) reduces to ≪

2Ωω Ω ∗ Ω +2k q ρ t k, k,ω k v + t k, k,ω k v g (v) dv f (k, q, ω, Ω)=2i [ G (k,ω) ] − c2 · − − · 2 − − · − 2 ℑ h i 0 Z 3 ′ ′ Ω ∗ ′ Ω ′ ′ ′ ′ ′ d k ρ t k, k ,ω k v + t k, k ,ω k v δ ω ω k k v g (v) f k , q,ω , Ω dω dv . × − · 2 − · − 2 − − − · 8π3 Z (20)

δ 2 2 2 We can glimpse in this equation the role of each term in π ω /c0 k . As ω is closed to ω0, we can replace − ′ − the coming transport equation. The first two ones corre- k and k by k0. Finally, defining the specific intensity I spond respectively to the temporal and spatial evolution as the Fourier transform of the autocorrelation function of the specific intensity. The term t t∗ is related to the of the field (i.e. the so-called Wigner transform of the extinction coefficient and the integral− on the right side field) [25] of the equation with the term tt∗ refers to the scattering process. f (k, q, ω, Ω) = δ (k0 k) I (u, q, δ, Ω) (21) In a dilute system, the imaginary part of the av- − eraged Green function is peaked and can be written where we recall that δ = ω ω0, we obtain the Fourier (this is the “on-shell” approximation) [ G (k,ω) ] form of the transport equation− ℑ h i ≈

∞ iΩ 1 ′ ′ + iu q + µe (δ k0u v, Ω) g (v) dv I (u, q, δ, Ω) = µs (δ k0u v, Ω) δ [δ δ k0 (u u) v] − c0 · v − · 4π 4π v −∞ − · − − − · Z Z Z Z ′ ′ ′ ′ g (v) I (u , q,δ , Ω) dvdu dδ (22) × where

iρ Ω ∗ Ω µ (δ k u v, Ω) = t ω k u v + t ω k u v (23) e − 0 · 2k − 0 · 2 − − 0 · − 2 0 ρ Ω ∗ Ω and µ (δ k u v, Ω) = t ω k u v + t ω k u v s − 0 · 4π − 0 · 2 − 0 · − 2 ′ where we have written t k, k ,ω t (ω) for the sake of simplicity. The coefficients µe and µs are like extinction and scattering coefficients respectively≡ but depending on time and frequency. The form of the previous equation in real space is ∞ 1 ∂ ′ ′ ′ + u ∇r I (u, r,δ,t)= µê (t ,δ k0u v) g (v) I (u, r,δ,t t ) dvdt c0 ∂t · − t′=0 − · − ∞ ∞ Z 1 ′ ′ ′ ′ ′ ′ ′ ′ ′ + µˆ (t ,δ k0u v) δ [δ δ k0 (u u) v] g (v) I (u , r,t t ,δ ) dvdu dδ dt (24) 4π ′ −∞ − · − − − · − Zt =0 Z4π Zv Z

whereµ ˆe andµ ˆs are the inverse temporal Fourier trans- In the following, we suppose that we have a Maxwell- forms of µe and µs respectively. Boltzmann distribution of velocities given by

1 v2 g (v)= exp , (25) 3 −2¯v2 v¯√2π 7 that is a gaussian distribution with vanishing mean and No absorption is present in the system: the extinction standard deviationv ¯. Eq. (24) is the main result of this phenomena is only due to scattering. More precisely, the paper. It is valid whateverv ¯. But in the following, we photon flux is conserved but not exactly the energy flux. focus on k0v¯ Γ (Eq. (1)). It has the same structure This is because we neglected the recoil effect: when the as the well-known≪ radiative transfer equation (RTE) as frequency of the scattered photon is different from the derived by Chandrasekhar [26] except that it exhibits a incoming frequency, the energy difference is in fact trans- frequency coupling and temporal convolution products. ferred to the atomic scatterer whose velocity is slightly Note also that the phase function p (u, u′) (part of an modified. In our case, the violation of energy conserva- ′ incident beam in the direction u scattered into the di- tion is of the order of Γ/ω0 and can be safely forgotten. rection u) is constant and equal to 1/4π because of the isotropic scattering assumption. As already mentioned, polarization effects can be easily taken into account by The steady-state transport equation for pinned atoms inserting in Eq. (24) the full phase function of e.g. a makes it possible to define the scattering mean-free path Rayleigh or a Mie scatterer. as The coupling between the components at various detunings δ is due to the motion of the scatterers: the Doppler shift at each scattering event produces a change of frequency for the scattered photon. For a pinned system,v ¯ 0, the Gaussian becomes a Dirac-delta func- → 1 4δ2 tion, and the components at various detunings δ become ℓ (δ) = lim = = ℓ0 1+ (26) Ω→0 µ (δ, Ω) Γ2 uncoupled. For each component, one recovers the well- e known RTE. The convolution products in time describes the fact that resonances can be responsible for a drastic reduc- tion of the velocity of energy propagation in the medium. This is developed in Sect. V. Far from resonance, the where ℓ = k2/ (4πρ) is the scattering mean-free path at extinction and scattering coefficients do not depend on 0 0 resonance. frequency and, again, we recover the well-known RTE. IV. NUMERICAL SIMULATIONS The optical theorem (or the Ward identity) is verified in Eq. (24). Indeed, we have

∞ 1 µe (δ k0u v, Ω) = µs (δ k0u v, Ω) A. A Monte-Carlo scheme v − · 4π 4π v −∞ − · Z Z Z Z ′ ′ g (v) dv δ [δ δ k0 (u u) v] × × − − ′ ′ − · g (v) dvdu dδ . × By integrating over the frequency δ′, the structure of Losses Gains Eq. (22) is similar to the usual RTE. We have | {z } | {z }

iΩ 1 + iu q + µe (δ k0u v, Ω) g (v) dv I (u, q, δ, Ω) = µs (δ k0u v, Ω) g (v) − c0 · v − · 4π 4π v − · Z Z Z ′ ′ ′ I (u , q,δ + k0 (u u) v, Ω) dvdu . × − · (27)

This specific form explains why it is possible to solve it we could find to work in this case and should be used using a Monte-Carlo scheme, the only complication be- whenever resonances are present in the system. ing that we have to deal with complex probability density. The details of the computation are given in appendix B. In a word, our original approach consists in solving the B. Slab geometry temporal Fourier transform of the transport equation and not directly the transport equation itself. This allows us to avoid the problem of the temporal convolution prod- We numerically study a cold atomic medium whose ucts. This Monte-Carlo scheme is the only one which shape is a slab, infinite along the x and y directions, but extending along the z direction in the range 0 z L. ≤ ≤ 8

Parameters and numerical values 14 6 ω0/2π = 3.85 × 10 Hz Γ/2π = 5.9 × 10 Hz −2 −1 17 3 v¯ = 9.17 × 10 m.s ρ = 2.12 × 10 m T1/2 −7 T1/2 = 1.00 × 10 s L = 40ℓ0 or L = 10ℓ0

TABLE I: Numerical values of the parameters which are chosen such that all assumptions made to derive the transport 3 equation are fulﬁlled in particular ρλ0 ≪ 1, k0v¯ ≪ Γ and Γ ≪ ω0. These parameters correspond to the Rubidium atom. T (t, δ)

This system is chosen for its simplicity andPSfrag does not replacements R (t, δ) represent a real atomic cloud released from a standard magneto-optical trap. Nevertheless, this is a true three dimensional geometry. The slab is illuminated at nor- mal incidence from the left by a gaussian pulse of tem- L poral FWHM T1/2 at frequency ωL, detuned from the atomic resonance by δL = ωL ω0 ω0. We have FIG. 1: (Color online). Geometry of the system studied nu- − ≪ merically. The transmitted and reflected fluxes are integrated T1/2 2π/ωL so that the incident pulse is well-defined and its≫ temporal and spectral evolutions are indepen- over all directions. dent. We are interested in the expression of the energy −3 density and the reflected and transmitted fluxes denoted x 10 by U (z,t,δ), R (t,δ) and T (t,δ) respectively. The sys- 5 tem and the notations are clarified in Fig. 1 and all the Γt = 10 numerical parameters are given in Table I. The compu- 4 Γt = 20 tations are done in a cluster of 96 Intel Xeon processors Γt = 40 at 3.0 GHz. Γt = 80 The most important parameter is the ratio of the 3 Doppler shift to the natural linewidth. As discussed above, we choose it much smaller than unity: 2 k v¯ 1 PSfrag replacements 0 = (28)

Γ 50 Relative transmission 1 The optical thickness at resonance is chosen as: 0 L −1.5 −1 −0.5 0 0.5 1 1.5 b = =10or 40 (29) δ/Γ ℓ0 The first value is chosen so that Eq. (3) is satisfied so FIG. 2: (Color online). Spectral distribution of the trans- that the effect of the atomic velocity is expected to be mitted photons for five different times in the case of a thin small and the temporal behavior similar to the one for slab of optical thickness b = 10. The spectral broadening is pinned atoms. In the second case, important effects are due to the accumulation along a multiple scattering path of expected. The atomic density is chosen such that: small Doppler shifts (here typically 0.02 Γ at each scattering event). At short time, the broadening is small compared to ρλ3 =0.1 1 (30) the natural linewidth Γ, resulting in a Gaussian lineshape. 0 ≪ At long times, the spectral distribution broadening saturates, with an approximate Gaussian lineshape. Note that the total so that the medium is dilute and its index of refraction transmitted flux is larger at Γt = 20 than at Γt = 10, because very close to unity. the photons has to be multiply scattered before escaping in This specific choice of parameters for the calculation the forward direction. The decay at longer time is due to the is such that the results depend only on the physically finite trapping time in the medium. important parameters: k0v/¯ Γ, b and δ/Γ.

expect the photon to escape before the frequency broad- C. Numerical results ening induced by Doppler effect becomes important. The result is shown in Fig. 2. At short time, one observes dis- 1. Quadratic regime tinctly a Gaussian lineshape with linewidth Γ. This is the regime where the photon frequency performs≪ a ran- When a system with sufficiently small optical thick- dom walk, and thus a global diffusive behaviour is seen ness b = 10 is illuminated at resonance (i.e. δL = 0), we in frequency space. Most photons escape the medium 9

−5 −4 x 10 10 8 Γt = 160 v¯ = 0 7 δ/Γ = 0 Γt = 320 PSfrag replacements δ/Γ = 0.40 6 Γt = 490 δ/Γ = 0.80 Γt = 810 5

−5 10 4

3 Relative transmission

Relative transmission 2

−6 10 0 0 500 1000 1500 −2 −1 0 1 2 Γt δ/Γ

FIG. 3: (Color online). Transmission T (t, δ) versus time for three different frequencies (left plot) and transmission versus frequency for four different times (right plot). We have also plotted the temporal behavior of the transmission for a pinned system (i.e.v ¯ = 0). The incoming pulse is at resonance δL = 0, the optical thickness of the medium is b = 40 and kv/¯ Γ = 0.02. Note that the time scale which governs the temporal evolution is large compared to Γ−1 while the spectral scale is of the order of Γ−1. This validates the independence of the temporal and spectral variables in the specific intensity.

before their frequency is significantly shifted. At longer Doppler shifts, populating the other frequencies. On the time, the frequency dependence of the scattering mean- contrary, far detuned photons most likely escape without free path cannot be ignored. The width of the spectral any frequency shift. At a certain frequency, these two ef- distribution tends to saturate and the lineshape flattens fects are balancing each other, giving rise to a maximum at the center. This is the quadratic regime where the photon population, hence, a two peak structure in the decay rate τ is quadratic in L as for pinned atoms [27]. transmission. Note that the symmetry observed in the spectrum of the transmitted flux is due to the fact that the illumination is at δL = 0 and all the properties of the 2. Doppler regime system are even functions of δ. This would be no longer exactly true if recoil effects were taken into account. We now study a larger system — optical thickness The time dependence of the energy density at the cen- b = 40 — for which the Doppler shift is important. The ter of the slab (i.e. for z = L/2) plotted in Fig. 4 is similar numerical results for the transmitted flux at various fre- to the one of the transmitted flux. In particular, the ex- quencies are given in Fig. 3. The temporal behavior is ponential decay at long times is the same. Concerning an exponential decay at long times. Importantly, the de- the spectral dependence, we also see two peaks which are cay rate is identical τ = 262Γ−1 for all frequency compo- nevertheless attenuated at very long times. The reason nents, although each component has a different scattering is the same as for the transmitted flux: trapping of pho- mean free path in the medium and consequently a differ- tons is more efficient at resonance. The spectrum at long ent optical thickness (it varies by a factor 3.5 between times is also studied in detail in Sect. V using a modal δ = 0 and δ = 0.8Γ.) However, the time for this regime approach. to settle depends on the frequency. More precisely, since If we continue to increase the optical thickness of many scattering events are needed to create photons in the system, the exponential decay becomes lower (i.e. τ + when L + ) and the spacing between the the system with large detunings, this time increases with → ∞ → ∞ δ. This regime is studied in details in Sect. V. The spec- peaks increases. In any case, the decay rate is very different from the one τ (L/ℓ )2Γ−1 for pinned atoms tral behavior exhibits two peaks which is very surprising ∝ 0 at first glance. This comes from the interplay between and also different from the one deduced from the Hol- −1 the variation of the scattering mean-free path with the stein equation (i.e. τ (L/ℓ0) log [L/(2ℓ0)]Γ [7, 9]). We call this the Doppler∝ regime. frequency (characterized by Γ) and the frequency redis- p tribution due to the Doppler shift (characterized by the If the temperature of the cold atomic gas is increased width of the Gaussian shapev ¯). More precisely, since (at fixed optical thickness), the temporal decay becomes the mean free-path increases with the detuning, for ex- faster (i.e. τ 0 whenv ¯ + ) and the spacing be- → → ∞ ample, ℓ(δ = Γ) = 5ℓ0, a resonant photon is quite ef- tween the two peaks in the spectral distribution increases. ficiently trapped, whereas a far detuned photon escapes Figure 5 gives an example of calculation for a detuned rapidly. Therefore, resonant photons undergo a lot of excitation at δL = Γ. One observes at short time a 10

−3 −2 x 10 10 5 v¯ = 0 Γt = 160

δ/Γ = 0 4 Γt = 320 δ/Γ = 0.40 PSfrag replacements −3 Γt = 490 10 δ/Γ = 0.80 3 Γt = 810

2 −4 10

1 Density of photons (arbitrary units) Density of photons (arbitrary units) 0 0 500 1000 1500 −2 −1 0 1 2 Γt δ/Γ

FIG. 4: (Color online). Density of photons U (L/2, t, δ) at the center of the slab versus time for three different frequencies (left plot) and energy density versus frequency for fiour different times (right plot). We have also plot the temporal behavior of the transmission for a pinned system (i.e.v ¯ = 0). The optical thickness of the system is b = 40.

−2 V. TEMPORAL AND SPECTRAL BEHAVIOR 10 AT LONG TIMES Γt = 40 −3 10 Γt = 120 Γt = 240 Analysing analytically the temporal and spectral shape −4 10 Γt = 810 at long times and for large systems usually ends up with the derivation of a diﬀusion equation which describes the −5 10 evolution of the energy density. The main advantage of a transport equation compared to a diﬀusion equation −6 PSfrag replacements 10 is that it contains all transport regimes of photons from

Relative transmission ballistic to diﬀusive [28]. Despite these drawbacks, the −7 10 diﬀusion approximation is widely used, in particular in biological imaging [29, 30, 31] because of its simplicity.

−8 In this section, we first derive the diffusion approxima- 10 −2 −1 0 1 2 tion from the transport equation for the cases of pinned δ/Γ and moving atoms. To achieve this goal, we use a modal decomposition of the specific intensity to obtain a disper- FIG. 5: (Color online). Relative transmission T (t, δ) versus sion relation which leads to the expression of the diffusion frequency for four different times in the case of a detuned coefficient. excitation δL =Γ. The spectral behavior at long time tends to be symmetric, as in the resonant case. The optical thickness of the system at resonance is 40.

A. Fokker-Planck equation broadening of the spectral distribution. Soon, this broadening becomes asymmetric, photons being “attracted” towards resonance, simply because there are more effi- As mentioned above, the residual Doppler broadening ciently trapped near resonance. In addition, the height is usually much smaller (by about two orders of magni- of the peak on the other side of the resonance increases. tude) than the natural width Γ in the MOT regime, so Finally, at long times, the spectral shape becomes iden- that Eq. (1) is valid. Thus, we can perform a second order tical to the one of Fig. 4, independently of the initial Taylor expansion in kv/¯ Γ of the extinction and scatter- detuning: there, multiple Doppler shifts have erased the ing coefficients, and of the specific intensity. We cannot memory of the initial spectral distribution. restrict the expansion to the first order because of the 11 symmetry of g (v). This gives where the symbols ′ and ′′ denote ∂/∂δ and ∂2/∂δ2 re-

′ spectively. By integrating over the velocity of the atoms, µe,s (δ k0u v, Ω) µe,s (δ, Ω) k0u vµ (δ, Ω) the transport equation (i.e. Eq. (27)) becomes a Fokker- − · ∼ − · e,s 2 2 Planck type equation which reads in the Fourier space k (u v) ′′ + 0 · µ (δ, Ω) 2 e,s ′ I (u, q,δ k u v, Ω) I (u, q, δ, Ω) k u vI (u, q, δ, Ω) − 0 · ∼ − 0 · 2 2 k (u v) ′′ + 0 · I (u, q, δ, Ω) 2

2 iΩ (k v¯) ′′ 1 ′ ′ + iu q + µ (δ, Ω)+ 0 µ (δ, Ω) I (u, q, δ, Ω) = µ (δ, Ω) I (u , q, δ, Ω) u (u u) (k v¯)2 − c · e 2 e 4π s − · − 0 " 0 # Z4π " 2 ′ 2 2 ′ ′ ′ (k0v¯) ′′ ′ u u (k0v¯) ′′ ′ ′ µs (δ, Ω) I (u , q, δ, Ω)+ µs (δ, Ω) I (u , q, δ, Ω)+ k − k µs (δ, Ω) I (u , q, δ, Ω) du . (31) × 2 2 #

For the sake of simplicity, we consider the slab geome- angle. So we have try mentioned in Sect. IV. This choice does not reduce ′ ′ the generality of the derivation, the system being a true u (u u) = cosΘ 1 and u u = 2 (1 cosΘ). three dimensional geometry. This permits a simpliﬁca- · − − k − k − tion of the Fokker-Planck equation given in Eq. (31) by For large systems and at long times, manyp scattering integrating over x and y (invariance of the problem by events occur. So we can replace the cosine of the scatter- translation along x and y) and ϕ (invariance of the prob- ing angle by its average given by the so-called anisotropy lem by rotation around z) where θ and ϕ are the usual factor. In our case, the scattering being isotropic (the spherical angles. To obtain an analytical derivation, the phase function is constant), the anisotropy factor van- terms u (u′ u) and u u′ have to be approximated. ishes. Thus we write u (u′ u) 1 and u u′ √2 We denote· by− cos Θ =ku −u′ thek cosine of the scattering and the Fokker-Planck· equation− ∼− reduces tok − k∼ ·

2 +1 iΩ (k0v¯) ′′ 1 ′ 2 ′ ′ ′ + iµq + µe (δ, Ω)+ µe (δ, Ω) I (µ, q, δ, Ω) = µs (δ, Ω) I (µ , q, δ, Ω)+(k0v¯) µs (δ, Ω) I (µ , q, δ, Ω) − c 2 2 − " 0 # Z 1 " 2 (k0v¯) ′′ ′ 2 ′′ ′ ′ + µs (δ, Ω) I (µ , q, δ, Ω)+(k0v¯) µs (δ, Ω) I (µ , q, δ, Ω) dµ . (32) 2 #

where µ = cos θ is the direction. This equation can be in vacuum is infinite. In other words, the propagation simplified assuming that we are looking for large systems of energy in the system is hugely reduced by radiation such that L ℓ0 (i.e. q π/ℓ0 and Ω Γ). At de- trapping — an effect enhanced by the resonant charac- tuning δ, the≫ propagating≪ time between two≪ scattering ter of the interaction with the atomic scatterers — so events is of the order of τprop = ℓ (δ) /c0. On the other that free propagation in the vacuum can be considered hand, the Wigner time delay characteristic of the scat- as instantaneous. Using these approximations, Eq. (32) −1 tering process is about τsca =Γ . Then we can assume rewrites that τ τ and consider that the speed of light prop ≪ sca

+1 Ω 1 ′ ′ ′ ′′ ′ ′ iµq + 1 i β (δ) I (µ, q, δ, Ω) = [β (δ) I (µ , q, δ, Ω)+ γ (δ) I (µ , q, δ, Ω)+ η (δ) I (µ , q, δ, Ω)] dµ (33) − Γ 2 − Z 1 12 where we have deﬁned ′′ 1 (k v¯)2 1 1 k v¯ 2 1 12δ2/Γ2 β (δ)= + 0 = 1 4 0 − , ℓ (δ) 2 ℓ (δ) ℓ (1+4δ2/Γ2) − Γ 2 2 2 0 " (1+4δ /Γ ) # ′ 2 2 1 k0v¯ δ γ (δ) = (k0v¯) = 8 , ℓ (δ) − Γ 2 2 2 ℓ0 (1+4δ /Γ ) 2 2 (k0v¯) (k0v¯) η (δ)= = 2 2 . ℓ (δ) ℓ0 (1+4δ /Γ ) Eq (33) reads in the real space

∂ 1 ∂ µ + β (δ) I (µ,z,δ,t)= β (δ) I (µ,z,δ,t) ∂z Γ ∂t − +1 2 1 ′ ∂ ′ ∂ ′ ′ + β (δ) I (µ ,z,δ,t)+ γ (δ) I (µ ,z,δ,t)+ η (δ) I (µ ,z,δ,t) dµ . 2 − ∂δ ∂δ2 Z 1 (34)

The first two terms on the left hand side of Eq. (34) rep- Eq. (33) leads to resent the spatio-temporal evolution of the specific inten- +1 sity. The first term on the right hand side describes losses s 1 ′ iµq + 1+ β (δ) gq,s (µ,δ)= [β (δ) gq,s (µ ,δ) due to scattering. The integral term over the direction Γ 2 −1 and the second derivative in frequency represent gains by h ′ ′ i ′′ ′ Z ′ +γ (δ) g (µ ,δ)+ η (δ) g (µ ,δ) dµ . (36) scattering in the real and frequency spaces respectively. q,s q,s Finally the first derivative in frequency is a consequence Thus the eigenvector is given by of a drift in the Doppler process which tends to shift the +1 frequency towards the resonance. 1 ′ gq,s (µ,δ)= [β (δ) gq,s (µ ,δ) 2 [iqµ +(1+ s/Γ) β (δ)] −1 ′ ′ ′′ Z′ ′ +γ (δ) g (µ ,δ)+ η (δ) g (µ ,δ) dµ . B. Modal approach q,s q,s By integrating over the direction, µ, we obtain We now expand the specific intensity in the form 1 q gq,s (δ)= arctan [β (δ) gq,s (δ) +∞ q (1 + s/Γ) β (δ) dq I (z,µ,t,δ)= gq,s (µ,δ) exp [iqz + s (q) t] . ′ ′′ −∞ 2π +γ (δ) gq,s (δ)+ η (δ) gq,s (δ) . (37) Z Xs(q) (35) This linear second order differential equation can be seen as a generalized Schrödinger problem. Note that this is To obtain this expression, we have performed a spatial not exactly an eigenvalue problem since the eigenvalue is Fourier transform of the specific intensity. For each q, not in front of the associated eigenvector. there exist several eigenvalues s (q) , which may be complex or real, whose spectrum may be discrete or contin- uous. gq,s is the associated eigenvector which depends C. Pinned atoms on direction and frequency only. This decomposition is a generalized form of the one used to derive the diffu- For pinned atoms,v ¯ is equal to zero. Eq. (37) de- sion approximation starting from the standard RTE [28]. couples in an independent equation for each frequency For a system of size L, the dominant q is given by δ, with the following dispersion relation for the lowest q = π/ (L +2z ) , where z is the so-called extrapolation 0 0 eigenvalue s0: length [32], of the order of the mean-free path, account- ing for the effects at the interface between the medium 1 qℓ (δ) arctan =1 and the vacuum. For an optically thick medium, b 1, qℓ (δ) 1+ s /Γ ≫ 0 one has z0 L. Therefore, the mode surviving at large time, i.e. having≪ the longest lifetime in the system, cor- In an experiment, the relevant δ value is fixed by the responds to the eigenvalue s0 (π/L) with the lowest (in frequency of the excitation δL. For sufficiently large sys- magnitude) negative real part. Inserting Eq. (35) into tems — larger than the mean-free path at frequency δ, 13 see Eq. (26) — we have qℓ (δ) 1 which corresponds to the diffusion approximation regime.≪ A Taylor expansion 2000 in the dispersion relation leads to Full Monte Carlo simulation Dispersion relation q2ℓ2 (δ)Γ s = . 1500 Quadratic behavior 0 3 − Holstein prediction The q2, i.e. 1/L2, dependence is a characteristic of the 1000 quadratic diffusion regime [27]. This leads to the defi- Γ nition of the diffusion coefficient and the velocity of τ D energy transport ctr by PSfrag replacements 500 s c (δ) ℓ (δ) = 0 = tr D −q2 3 with 0 20 40 60 80 100 3 2 Γ k0 4δ L/ℓ0 ctr = ℓ (δ)Γ= c0 1+ 2 . (38) ω0 4πρ Γ FIG. 6: (Color online). Temporal decay rate τ of the outgoing The first expression of ctr has a simple physical interpre- flux and the energy density versus the system size. Crosses tation: a single scattering event followed by propagation correspond to the full Monte-Carlo simulations (i.e. resolu- on a mean-free path takes time Γ−1. Note that this is true tion of Eq. (27)), the solid line is related to the numerical whatever the detuning is, a highly non-trivial property: resolution of the dispersion relation (Eq. (37)). For small L it turns out that both the Wigner time delay at scattering (but large enough to be in the diffusive regime), the behavior and the time delay during propagation (at the group ve- is quadratic as for pinned scatterers (dotted line). This is the quadratic regime, which extends roughly up to L/ℓ0 ≈ 30, as locity) depend on the detuning, but not their sum. This predicted by Eq. (40). For very large systems, the behavior property has been used in [33] for simple Monte-Carlo is completely different from the Holstein prediction (dashed simulations. The present, more rigorous approach, justi- line). This is the Doppler regime. The agreement between fies these simple simulations. the two numerical methods is very good, the small difference The second expression for ctr is simply the product of coming from approximating the cosine of the scattering angle the vacuum light velocity c0 by the inverse of the qual- by its average (anisotropy factor). ity factor of the atomic resonance, by (up to a numerical factor) the number of atoms per cubic wavelength, and finally by a factor being unity at resonance. Because the quality factor ω0/Γ of an atomic resonance can be very high, typically 108, the velocity can be strongly dimin- cannot hold for all δ, ruling out an approach based on a 3 Taylor expansion. Physically, it means that for large de- ished even in a dilute medium where ρ/k0 1. In typical experimental situations, it can be reduced≪ by 4 orders of tunings, the mean-free path is larger than the system magnitude [33]. This is the main characteristic of radi- size, invalidating the diffusion approximation. As a con- ation trapping by resonant scatterers. These results are sequence, it is not possible to define a global diffusion in perfect agreement with literature [34, 35, 36, 37, 38]. constant in such a system and the evolution of the en- The temporal exponential decay rate at long times is ergy density cannot be described with a diffusion equa- then given by tion. The same situation occurs for the CFR case and was underlined in [4, 9]. This explains in particular the 1 3L2 necessity to write an integro-differential transport equa- τ = = 2 , −s0 π2ℓ (δ) Γ tion [7]. a result also in complete agreement with literature [9, To the best of our knowledge, it is not possible to ob- 33]. In a word, defining a diffusion coefficient for fixed tain an analytical form of the eigenvalues s from Eq. (37). scatterers is possible and is even well-understood. The In order to make some comparisons with the results given atomic nature of the scatterers induces a strong decrease by the numerical resolution of Eq. (27), we have nu- of the velocity of energy propagation inside the system. merically solved Eq. (37) by a straightforward shooting This property could be used to design new high capacity technique. The results are shown in Fig. 6. The agree- quantum memories. ment is excellent, only small deviations being visible for extremely large systems. Note that the results deviate very significantly from the quadratic behaviour and from D. Moving atoms the Holstein prediction using the CFR assumption. This proves that resonant cold atomic media are fundamen- In the case of moving atoms, the detuning δ may range tally different from usual hot gases as far as radiation from to + ., such that the inequality qℓ δ2/Γ2 1 trapping is concerned. −∞ ∞ 0 ≪ 14

1. “Diﬀusion equation” 2. Energy density and outgoing ﬂuxes

For large systems such that the optical thickness at Knowing the expression of the eigenvalue, it is possi- resonance is large, qℓ0 1 and if we look at times longer ble to obtain analytically the behavior of the eigenvector than Γ−1, we can use≪ directly on Eq. (24) the same ap- close to resonance (i.e. for δ 0). By using a Taylor → proximation used for deriving Eq. (33) to perform the expansion of gq,s at second order in Eq. (37), we obtain integration over t′. We obtain the following simpliﬁed the second derivative of the eigenvector at the resonant transport equation: frequency given by

2 2 1 ∂ g (v) dv ′′ 1 s0 π ℓ0 u ∇r + 1+ I (u, r,δ,t) gπ/L,s0 (δ) 2 + . · Γ ∂t ℓ (δ k0u v) δ→∼0 k v¯2 Γ 3L2 Zv − · 0 1 g (v) ′ ′ = I (u , r,δ + k0 (u u) v,t) Using the previous results on the modal approach for 4π 4π v ℓ (δ k0u v) − · Z Z − ′ · the specific intensity for large systems at long times, we dvdu (39) × can easily deduce the expressions of the energy density and the outgoing fluxes close to resonance. Keeping only Thus this transport equation is what we can call the “dif- the lowest mode, the specific intensity writes fusion equation” for the system at finite temperature. A simple physical picture can then be extracted from this π I (z,µ,t,δ)= g (µ,δ) sin z exp [s t] . (41) approximation in term of a Monte-Carlo scheme. Note π/L,s0 L 0 that Eq. (39) is valid whateverv ¯. It is exactly the same h i as the standard time-dependent RTE except that the Thus, the energy density is given by Doppler broadening is present and the energy velocity gπ/L,s0 π depends on frequency. The Monte-Carlo method is then U (z,t,δ)= (δ) sin z exp [s0t] . ctr (δ) L the same. When a photon enters the system at the fre- h i quency δ , it propagates over a distance whose average L Using the expression of the energy velocity, Eq. (38), and is 1/ g (v) dv/ℓ (δ k u v) (this is the first term v L 0 the expression of the second derivative of the eigenvector on the right hand side).− Then· it is scattered isotropically near resonance, we obtain the spectrum of the energy (the lastR term with the double integral) and undergoes density near the resonance in the form a Doppler drift (from δ + k (u′ u) v to δ). Next, it 0 − · propagates again with a new scattering mean-free path. 2 2 1 s0 π ℓ 4 Each scattering process takes about Γ−1. The implemen- U (δ) 1+ + 0 δ2. δ→∝0 2k2v¯2 Γ 3L2 − Γ2 tation of this method is easier than the one detailed in 0 Sect. B and gives reliable results at large scales only. This expression shows that it is impossible to have two This simple picture can be used to find a quantita- peaks in the spectrum of the energy density for large tive criterion to discriminate between the Doppler and systems at long times, because the second derivative re- the quadratic regimes too. As explained in the introduc- mains negative whatever the size of the system. This tion, at large b, a typical multiple scattering path can be is in complete agreement with the full Monte Carlo nu- viewed as a random walk of the photon in the medium merical simulations. To derive the same result for the with step ℓ approximately. Thus the photon is multiply 2 outgoing fluxes, we have to integrate over the directional scattered about b times before escaping. The Doppler and the space variables the Fokker-Planck equation (i.e. shift is on average a random variable with zero average Eq. (34)) which gives and about (kv¯)2 variance. If successive scattering events are statistically independent, the photon frequency per- +1 1 ∂ forms itself a random walk with step about kv,¯ and µ [I (µ,L,δ,t) I (µ, 0,δ,t)] dµ = 1+ β (δ) − − Γ ∂t the typical accumulated Doppler shift after N scatter- Z 1 ing events is of the order of √Nkv.¯ As N b2 = L2/ℓ2, +1 L +1 L ∼ 0 I (µ,z,δ,t) dzdµ + [β (δ) the key parameter is thus −1 0 −1 0 Z Z ′ ′ Z′ Z I (µ ,z,δ,t)+ γ (δ) I (µ ,z,δ,t) k0v¯ L = . (40) × ′′ ′ ′ A Γ ℓ0 +η (δ) I (µ ,z,δ,t)] dzdµ . (42) If 1, we are in the quadratic regime and the tem- At long times, the entering flux vanishes. So the first poralA ≪ decay rate τ is given by the diffusion approxima- term of Eq. (42) is the total outgoing flux denoted by tion prediction (as for fixed atoms). This is nothing but φ (t,δ). This is the sum of the reflected (R (t,δ)) and the inequality (3) derived in the introduction using hand transmitted (T (t,δ)) fluxes. Actually, at long times, a waving arguments. For 1, we are in the Doppler dynamical equilibrium is reached inside the system and regime where the expressionA ≫ of the temporal decay rate the spectra of the reflected and transmitted fluxes are is no longer quadratic in L. identical. Inserting the expression of the specific intensity 15 reduced to the lowest mode, Eq. (41), and using the dis- APPENDIX A: SPATIO-TEMPORAL FOURIER persion relation, Eq. (37), the total outgoing flux writes TRANSFORMS OF RELEVANT QUANTITIES

−1 Here is the list of all conventions used for the spatio- π φ (t,δ) =2 arctan temporal Fourier transforms of the Green functions G0, L (1 + s /Γ) β (δ) ( 0 G , G (respectively in the vacuum, in the scattering sys- h i L (1 + s /Γ) β (δ) tem on average or not, all denoted by G in the following), 0 g (δ)exp(s t) . − π π/L,s0 0 of the mass operator Mm, of the intensity operator Km v (43) and of the scattering operator tm. d3k dω G (r,t)= G (k,ω) exp [ik r iωt] , Using the same result as for the energy density, we ob- · − 8π3 2π tain the second order approximation in frequency of the Z d3k dω outgoing flux as M (r,t)= M (k,ω) exp [ik r iωt] , m m · − 8π3 2π Z 1 s π2ℓ2 4 φ (δ) 1+ 0 + 0 + δ2. δ→∝0 2k2v¯2 Γ 3L2 Γ2 K (r , r , r , r ,t ,t ,t ,t )= 0 m 1 3 2 4 1 3 2 4 K (k , k , k , k ,ω ,ω ,ω ,ω ) The sign of the second derivative of the flux may change m 1 3 2 4 1 3 2 4 and become positive for very large systems (i.e. L Z exp [ik1 r1 ik3 r3 ik2 r2 + ik4 r4] and s 0) which is at the root of the observation→ ∞ of × · − · − · · 0 → exp [ iω t + iω t + iω t iω t ] two peaks on the reflected and transmitted fluxes. This × − 1 1 3 3 2 2 − 4 4 is also in complete agreement with the numerical results. d3k d3k d3k d3k dω dω dω dω 1 2 3 4 1 2 3 4 , The physical picture is quite clear: far detuned photons × 8π3 8π3 8π3 8π3 2π 2π 2π 2π are relatively rare in the medium, because they are less trapped and escape more rapidly: this is why they man- ifest themselves in the transmitted and reflected fluxes tm (r1, r2,t1,t2)= tm (k1, k2,ω1,ω2) more strongly than in the energy density in the bulk. Z exp [ik r ik r iω t + iω t ] × 1 · 1 − 2 · 2 − 1 1 2 2 d3k d3k dω dω 1 2 1 2 . × 8π3 8π3 2π 2π VI. CONCLUSION The signs in the exponentials are chosen such that the vertex operator K describes correctly the correlation In this paper, we have derived a transport equation for m between the following two scattering processes: the incoherent radiation propagating in a cold atomic gas at finite temperature. The derivation is based on first k3,ω3 k1,ω1 k4,ω4 k2,ω2 (A1) principles generalized to the case of moving scatterers. → → This equation, valid for the case of partial frequency re- where k3, k4 and k1, k2 are the incident and emergent distribution, is fully justified by microscopic arguments. wave-vectors respectively. ω3,ω4 and ω1,ω2 are the inci- It is solved numerically by an original and fully justi- dent and emergent frequencies respectively. fied Monte-Carlo scheme which gives reliable results on the outgoing fluxes and the energy density for all optical thicknesses and incident beams. A modal approach APPENDIX B: MONTE CARLO SCHEME is used to obtain information on the spectral and temporal behaviors at long times. The main result is that the The temporal dependence of Eq. (24) does not allow us temporal behavior is a single exponential decay for all fre- to use a Monte-Carlo scheme to solve it numerically. Nev- quency components and the outgoing fluxes can exhibit ertheless, its spatio-temporal Fourier transform as writ- two spectral peaks for very large systems. The velocity ten in Eq. (27) has the same structure as the standard of energy propagation in the system is also affected by RTE in the steady-state regime. This is the reason why the motion of the atoms but is still reduced by typically we are using a Monte-Carlo type simulation. In prac- four orders of magnitude compared to its velocity in vac- tice the implementation is the same as for the standard uum. This is an important result if we think of quantum RTE [39, 40] except that the probability densities are memory applications for such systems. different and a Fourier transform is needed. Defining an We would like to thank the French Centre National effective extinction coefficient by de la Recherche Scientifique (CNRS) for financial sup- port. CPU time was provided by the Institut Francilien iΩ µ (δ, Ω) = µ (δ k u v, Ω) g (v) dv , de Recherche sur les Atomes Froids (IFRAF). e,eff e − 0 · − c Zv 0 16 this equation writes To compute it, we use a Gauss-Hermite quadrature. Then, we perform the Monte-Carlo simulation The prob- 1 ′ ability densities used to compute the integrals are the I (q, u, Ω,δ)= µs (δ k0u v, Ω) 4π 4π v − · following: ′ Z Z ′ I (q, u , Ω,δ + k (u u) v) ′ g (v) 0 − · dvdu . (B1) × iu q + µ (δ, Ω) · e,eff To go back to the real space for the space variable, we the probability density to have an extinction pro- remark that [µe,eff (δ, Ω)] is strictly positive for all Ω • cess (in the sense of the coefficient µ ) at the po- and δ which impliesℜ that e,eff sition s without having one from 0 to s is ps (s)= ∞ 1 µe,eff (δ, Ω) exp [ µe,eff (δ, Ω) s]; = exp [ (iq u + µ ) s] ds (B2) − iq u + µ − · e,eff · e,eff Z0 and then ∞ 1 FTq = δ (r us) exp [ µe,effs] ds the probability density for a photon to be scattered iq u + µ − − • ′ e,eff Z0 in the direction u coming from the direction u is · (B3) ′ pu (u, u )=1/ (4π); where FTq denotes the Fourier transform operator over q. Finally, the integral form of the transport equation writes ∞ 1 + I (r, u, Ω,δ)= µe,eff (δ, Ω) exp [ µe,eff (δ, Ω) s] µe,eff (δ, Ω) s=0 − the probability density for an atom to have the ve- Z • locity v is given by g (v). Thus, the new frequency 1 ′ ′ µs (δ k0u v, Ω) is given by δ = δ k0 (u u) v. × 4π 4π v − · − − · Z Z ′ ′ ′ The main difficulty is that the probability density ps is I (r su, u , Ω,δ + k0 (u u) v) dvdu ds. complex. In that case, we have to deal with the modulus × − − · (B4) of ps as follows This form fully justifies the use of a Monte-Carlo scheme. First, we have to compute the extinction coefficient for all frequencies Ω and detunings δ. This coefficient is given n 1 ps (sj ) by Eq. (23) (Voigt profile): ps (s) f (s) ds = lim f (sj ) . (B5) n→∞ n p (s ) j=1 s j Z X | | 4iπρ Γ/2 µ (δ, Ω) = e,eff 2k2 δ k u v +Ω/2+ iΓ/2 0 Z − 0 · Γ/2 where f : R C. The elements s are distributed in → j −δ k0u v Ω/2 iΓ/2 respect of the probability density p . Note that the − · − − | s| 1 v2 iΩ error bars on I (r, u, Ω,δ) in the Monte-Carlo simulation exp dv . have to be sufficiently small for the Fourier transform to × 3 −2¯v2 − c v¯√2π 0 give reliable results on I (r, u,t,δ).

[1] P. Sebbah, Waves and Imaging through Complex Media [9] A. F. Molisch and B. P. Oehry, Radiation Trapping in (Kluwer Academic, Dordrecht, 2001). Atomic Vapours (Clarendon Press, Oxford, 1998). [2] P. Anderson, Phys. Rev. 109, 1492 (1958). [10] M. G. Payne, J. E. Talmage, G. S. Hurst, and E. B. [3] L. S. Froufe-P´erez and R. Carminati, Phys. Rev. A 76, Wagner, Phys. Rev. A 9, 1050 (1974). 013835 (2007). [11] E. Pereira, J. Martinho, and M. Berberan-Santos, Phys. [4] C. Kenty, Phys. Rev. 42, 823 (1932). Rev. Lett. 93, 120201 (2004). [5] G. Labeyrie, F. de Tomasi, J.-C. Bernard, C. M¨uller, [12] D. J. Pine, J. X. Weitz, J. X. Zhu, and E. Herbolzheimer, C. Miniatura, and R. Kaiser, Phys. Rev. Lett. 83, 5266 J. Phys. 51, 2101 (1990). (1999). [13] B. J. Ackerson, R. L. Dougherty, N. M. Reguigui, and [6] D. Kupriyanov and I. Sokolov, Phys. Rev. A 67, 013814 U. Nobbman, J. Thermophys. and Heat Transfer 6, 577 (2003). (1992). [7] T. Holstein, Phys. Rev. 72, 1212 (1947). [14] E. Akkermans and G. Montambaux, Mesoscopic Physics [8] T. Holstein, Phys. Rev. 83, 1159 (1951). of Electrons and Photons (Cambridge University Press, 17

2007). Lett. 91, 223904 (2003). [15] G. Labeyrie, D. Delande, R. Kaiser, and C. Miniatura, [28] R. Pierrat, J.-J. Greffet, and R. Carminati, J. Opt. Soc. Phys. Rev. Lett. 97, 013004 (2006). Am. A 23, 1106 (2006). [16] C. A. Müller, T. Jonckheere, C. Miniatura, and D. De- [29] A. Ishimaru, Wave Propagation and Scattering in Ran- lande, Phys. Rev. A 64, 053804 (2001). dom Media (IEEE Press, Oxford, 1997). [17] C. Wickles and C. A. Müller, Europhys. Lett. 74, 240 [30] A. Yodh and B. Chance, Phys. Today 48, 34 (1995). (2006). [31] S. K. Gayen and R. R. Alfano, Opt. Photon. News pp. [18] F. Dyson, Phys. Rev. 75, 486 (1949). 17–22 (1996). [19] F. Dyson, Phys. Rev. 75, 1736 (1949). [32] M. C. W. Rossum and T. M. Nieuwenhuizen, Rev. Mod. [20] L. Foldy, Phys. Rev. 67, 107 (1945). Phys. 71, 313 (1999). [21] See Eq. (7.4.13) of M. Abramowitz and I. A. Stegun, [33] G. Labeyrie, R. Kaiser, and D. Delande, Appl. Phys. B Handbook of Mathematical Functions (National Bureau 81, 1001 (2005). of Standards, Washington, 1964) for a definition of the [34] M. P. van Albada, B. A. van Tiggelen, A. Lagendijk, and Voigt profile. A. Tip, Phys. Rev. Lett. 66, 3132 (1991). [22] S. M. Rytov, Y. A. Kravtsov, and V. I. Tatarskii, Prin- [35] B. v. Tiggelen, A. Lagendijk, M. P. v. Albada, and ciples of Statistical Radiophysics, vol. 4 (Springer-Verlag, A. Tip, Phys. Rev. B 45, 12233 (1992). Berlin, 1989). [36] Y. N. Barabanenkov and V. D. Ozrin, Phys. Rev. Lett. [23] L. A. Apresyan and Y. A. Kravtsov, Radiation Trans- 69, 1364 (1992). fer - Statistical and Wave Aspects (Gordon and Breach [37] B. A. van Tiggelen and A. Lagendijk, Europhys. Lett. Publishers, Amsterdam, 1996). 23, 311 (1993). [24] U. Frisch, Wave Propagation in Random Media (Volume [38] C. A. Müller and C. Miniatura, J. Phys. A: Math. Gen. 1. In Bharuch-Reid, editor, in Probabilistic Methods in 35, 10163 (2002). Applied Mathematics, Academic Press, 1968). [39] J. M. Hammersley and D. C. Handscomb, Monte Carlo [25] A. Walther, J. Opt. Soc. Am. 58, 1256 (1968). Methods (Chapman and Hall, London, 1964). [26] S. Chandrasekhar, Radiative Transfer (Dover, New-York, [40] G. S. Fishman, Monte Carlo Concepts, Algorithms and 1950). Applications (Springer Verlag, Berlin, 1996). [27] G. Labeyrie, E. Vaujour, C. A. Müller, D. Delande, C. Miniatura, D. Wilkowski, and R. Kaiser, Phys. Rev.