## Pair correlation of atoms scattered from colliding Bose-Einstein quasicondensates

Paweglyph[suppress] l Zin 1 2 , , Tomasz Wasak 3 , Denis Boiron 4 and Christoph I. Westbrook 4 1 National Center for Nuclear Research,ul. Pasteura 7, PL-02-093 Warsaw, Poland 2 Faculty of Physics, University of Warsaw, ul. Pasteura 5, PL-02-093 Warsaw, Poland 3 Max Planck Institute for the Physics of Complex Systems, N¨thnitzer Str. o 38, 01187 Dresden, Germany

4 Laboratoire Charles Fabry, Institut d'Optique Graduate School, CNRS, Universit´ Paris-Saclay 91127 Palaiseau cedex, France e

A collision of Bose-Einstein condensates is a useful source of single nonclassically correlated pairs of atoms. Here, we consider elastic scattering of atoms from elongated clouds taking into account an effective, finite duration of the collision due to the expansion of the condensates. Also, we include the quasicondensate nature of the degenerate quantum gases, due to a finite temperature of the system. We evaluate the pair correlation function measured experimentally in K. V. Kheruntsyan, et. al. Phys. Rev. Lett. 108 , 260401 (2012). We show that the finite duration of the collision is an important factor determining the properties of the correlations. Our analytic calculations are in agreement with the measurements. The analytical model we provide, useful for identifying physical processes that influence the correlations, is relevant for experiments with nonclassical pairs of atoms.

## I. INTRODUCTION

Ultracold atoms offer a promising platform that is relevant for studies of the foundations of quantum mechanics and also for applications that rely on quantum effects. The controlled generation of correlated pairs of atoms is an important method in this context, since such pairs play a similar role in quantum atomic physics as pairs of photons in quantum optics. The latter were employed in demonstration of the violation of Bell's inequalities for photons [1], the photonic Hong-Ou-Mandel effect [2] or the ghost-imaging [3]. In the atomic context, generation of correlated pairs of atoms was reported [4-8], and it was shown theoretically and experimentally that they can be employed for demonstrating, for example, sub-Poissonian statistics of atoms [9, 10], the violation of the atomic Cauchy-Schwarz inequality [11-14], Hong-Ou-Mandel effect for atoms [15, 16], or atomic ghost-imaging [17, 18]. The nonclassicality of the spatially separated, correlated atomic pairs has recently been employed for demonstration of Bell correlations [19], and for 3D magnetic gradiometry [20]. Furthermore, the entangled pairs could find applications for the violation of Bell's inequality for massive particles [21, 22], atomic interferometry [23], study of the quantum signatures of analog Hawking radiation [24], or fundamental experimental tests of quantum mechanics such as Einstein-Podolsky-Rosen gedanken experiment [25].

To further exploit the generated pairs of atoms, a detailed control over the produced state of atomic pairs is required. To certify this control, some preliminary measurements are helpful. A particularly important example is provided by the observation of the correlation functions between pairs of atoms. Such properties of atoms scattered from colliding ultracold clouds was considered in the literature [10, 26-39]. In particular, in the previous paper [32], we described an analytic calculation of pair correlation functions. Some of the results were in insufficient agreement with experimental results.

In our work, we focus on a particular method of generating correlated pairs of atoms. In this scenario, the pairs are emitted from collisions of counter-propagating ultracold degenerate atomic Bose gases [7]. As a result of binary collisions between the particles that constitute the counter-propagating clouds, atomic pairs scatter out from the clouds with opposite velocities. In the spontaneous regime, where bosonic enhancement does not influence single collision events, the direction of velocity of outgoing particles is random. Due to the superposition principle, the quantum state of single atomic pair is entangled in different momentum directions [25].

Since this previous work [32], we have refined and improved both the calculations and the experiment. From the experimental point of view, we have improved the signal to noise ratio, and simplified the collision geometry [11]. On the theory side, we are now able to take into account the expansion of the condensate during the collision, and show that the condensate expansion reduces the atom density and, therefore, also the collision rate. Thus, this effect limits the duration of collision and emission of pairs, and this finite time leads to an energy broadening of the decay products. We show that this broadening significantly improves the agreement between theory and experiment. Also, we take into account the fact that in reduced geometries, when the system is highly elongated, the phase of a degenerate Bose gas fluctuates on a scale shorter than the dimension of the cloud, resulting in a quasi-Bose-Einstein condensate. Finally, we include into the formalism the interaction of the scattered atoms with the mean-field potential of the colliding clouds, a factor that is often neglected. With our analytical treatment, we can identify the physical processes which affect the properties of the correlation functions.

The paper is organized as follows. In Sec. II, we introduce the experimental context, see Sec. II A, and the method used to describe the quasicondensate, see Sec. II B, and calculate its most important properties. In Sec. III, we introduce the theoretical description of the quasicondensate collisions. Here, we introduce the variational ansatz that describes the evolution of the counter-

propagating quasi-condensates. In Sec. IV, we present the description of the scattered atoms based on the Bogoliubov method. There, we give analytical formulas for the pair correlation function. The pair correlation function contains two types of correlations, which we shall label as 'local' and 'opposite'. The local correlation involves atoms with nearly parallel momenta and is directly related to the single particle correlation function. The opposite correlation involves the creation of pairs with nearly antiparallel momenta. In the previous papers [9, 11], we used the labels 'collinear' and 'back to back' instead of 'local' and 'opposite', respectively. In Sec. V, performing a series of controlled approximations, and using a Gaussian variational ansatz, we derive formulas for the single particle correlation function and local part of the pair correlation function. In Sec. VI, proceeding in a similar way as in Sec. V, we derive formulas for the opposite part of the pair correlation function. In Sec. VII, we apply the formulas obtained in the previous sections, and provide theoretical calculations of the normalized pair correlation function that is measured in the experiment. We compare the theoretical and experimental results. We close this paper in Sec. VIII with a summary. The technical calculations are moved to appendices.

## II. QUASICONDENSATE DESCRIPTION

## A. Experimental setup

In the experiment [11], we had approximately N ≈ 10 5 metastable helium atoms at temperature T s ≈ 200 nK placed in a strongly elongated harmonic trapping potential

$$V ( { \mathbf r } ) = \frac { 1 } { 2 } m [ \omega _ { r } ^ { 2 } ( x ^ { 2 } + y ^ { 2 } ) + \omega _ { z } ^ { 2 } z ^ { 2 } ], \quad \ \ ( 1 ) \quad \ \text{ atio}$$

where ω r = 1500 × 2 π Hz and ω z = 7 5 . × 2 π Hz.

After trap switch-off, the cloud is transferred into m F = 0 hyperfine state, and divided equally into momentum wave packets centered at velocities v 0 = 9 2cm/s . and -v 0 . As a result of binary collisions within the counter-propagating cloud, the atoms are scattered out and form a halo in momentum space. After 46 cm of free fall, the atoms fall onto a micro-channel plate (MCP) detector, which records two-dimensional positions and arrival times of individual atoms. This information allows us to determine the pair correlation function of the cloud of scattered particles. The precision of the measurement is limited by a finite resolution of the MCP. The resolution will be taken into account in our comparison between the theoretical estimates and the experimental results.

## B. Bogoliubov method

Since the system is elongated along the z -axis, we need to include the description of the phase fluctuations of the BEC. To this end, we divide the field operator into two parts Ψ = ˆ ˆ Ψ qc + ˆ where Ψ δ ˆ qc describes the quasicondensate and ˆ the scattered atoms. δ We describe the quasicondensate within Bogoliubov method in the densityphase representation [40], where

$$\hat { \Psi } _ { q c } = e ^ { i \hat { \phi } } \sqrt { \hat { n } } = e ^ { i \hat { \phi } } \sqrt { n + \delta \hat { n } }$$

where n ( r ) = 〈 ˆ( n r ) 〉 is the mean density given by the solution of the Gross-Pitaevskii (GP) equation

$$- \, \frac { \hbar { ^ { 2 } } } { 2 m } \frac { \triangle \sqrt { n ( \mathbf r ) } } { \sqrt { n ( \mathbf r ) } } + V ( \mathbf r ) + g ^ { \prime } n ( \mathbf r ) = \mu, \quad ( 3 )$$

supplemented with the normalization condition ∫ d r n ( r ) = N . Here, the coupling strength g ′ = 4 π glyph[planckover2pi1] 2 a ′ m , where a ′ denotes the s -wave scattering length, and the potential V ( r ) is given by Eq. (1). In Eq. (2), ˆ δn and ˆ are the density fluctuation and phase operators, φ respectively, which in the Bogoliubov approximation take the following forms

$$\delta \hat { n } ( { \mathbf r } ) = \sqrt { n ( { \mathbf r } ) } \sum _ { \nu } \left [ \begin{matrix} f _ { \nu } ^ { - } ( { \mathbf r } ) \hat { a } _ { \nu } + \mathbf h. c. \end{matrix} \right ], \quad \quad ( 4 \mathbf a )$$

$$\hat { \phi } ( { \mathbf r } ) = \frac { 1 } { \sqrt { 4 n ( { \mathbf r } ) } } \sum _ { \nu } \left [ - \, i f _ { \nu } ^ { + } ( { \mathbf r } ) \hat { a } _ { \nu } + \mathbf h. c. \right ], \ \ ( 4 \mathbf b )$$

where 'h.c.' stands for the hermitian conjugate. Here, ˆ a ν are quasiparticle annihilation operator and f ± ν are mode functions obtained via solution of Bogoliubov-de Gennes equation. In the case of highly elongated condensates, it turns out that to a very good approximation the phase operator ˆ ( φ r ) depends only on the longitudinal z coordinate [41]. In the regime where the thermal fluctuations dominate, the modes responsible for phase fluctuation are highly populated, and we can approximate the creation and annihilation operators by c -numbers [42], i.e., ˆ a ν → α ν . This is done together with replacing the quantum average over the thermal state by an average over a thermal probability distribution, i.e.,

$$\langle \Phi \rangle \rightarrow \langle \Phi \Phi _ { c l } = \prod _ { \nu } \int { \mathrm d } ^ { 2 } \alpha _ { \nu } \, P ( \alpha _ { \nu } ) \Phi \Phi,$$

where

$$P ( \alpha _ { \nu } ) = \frac { \epsilon _ { \nu } } { k _ { B } T _ { s } \pi } \exp \left ( - \frac { \epsilon _ { \nu } | \alpha _ { \nu } | ^ { 2 } } { k _ { B } T _ { s } } \right ). \quad \ \ ( 5 )$$

As a result, we can replace the operator Ψ ˆ qc with a function ψ qc :

$$\hat { \Psi } = \psi _ { q c } ( { \mathbf r } ) + \hat { \delta } ( { \mathbf r } )$$

where

$$\psi _ { q c } ( { \mathbf r } ) = \sqrt { n + \delta n ( { \mathbf r } ) } e ^ { i \phi ( { \mathbf r } ) }. \quad \quad ( 7 ) \quad \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \$$

Here, the functions δn and φ are calculated from Eqs. (4), with the operators replaced by c -numbers drawn from the distribution given in Eq. (5).

We solve the GP equation (3) using the Gaussian variational ansatz of the form

$$n ( { \mathbf r } ) = \frac { N } { \pi ^ { 3 / 2 } \sigma _ { r } ^ { 2 } \sigma _ { z } } \exp \left ( - \frac { x ^ { 2 } + y ^ { 2 } } { \sigma _ { r } ^ { 2 } } - \frac { z ^ { 2 } } { \sigma _ { z } ^ { 2 } } \right ). \quad ( 8 ) \quad \begin{array} { c } \Psi q c \cdot \end{array} \cdot \\ i \hbar { \delta } \end{array}$$

The solution, described in details in [39], is:

$$\text{uom, use some ueau m } \ e v a n s & \, \lim _ { [ \vartheta ] }, \, \text{s.} \\ \sigma _ { r } & = a _ { h o r } \left ( 1 + \sqrt { \frac { 2 } { \pi } } \frac { N a ^ { \prime } } { \sigma _ { z } } \right ) ^ { 1 / 4 }, \\ \left ( \frac { \sigma _ { r } \sigma _ { z } } { a _ { h o z } ^ { 2 } } \right ) ^ { 2 } = \sqrt { \frac { 2 } { \pi } } \frac { N a ^ { \prime } } { \sigma _ { z } }, \\ \cdot, \quad =. \, \sqrt { \hbar { / } m \cdot }, \quad \text{and} \ a. \quad =. \, \sqrt { \hbar { / } m \cdot }, \quad \text{s.}$$

where a hor = √ glyph[planckover2pi1] /mω r and a hoz = √ glyph[planckover2pi1] /mω z . Substituting the experimental values to the above equations we obtain

$$\sigma _ { r } \simeq 1. 7 \ \mu \text{m}, \ \sigma _ { z } \simeq 0. 3 \text{ m}, \ \sigma _ { r } / a _ { h o r } \simeq 1. 3.$$

Here we have also used the experimentally determined value for the metastable helium s -wave scattering length, i.e., a ′ = 7 51 nm [43]. .

Due to the strong elongation of the cloud and the low temperature only the longitudinal modes are excited. Therefore, we can approximately treat the system as quasi-one-dimensional, and define the one-dimensional density:

$$n _ { 1 d } ( z ) = \int \mathrm d x \mathrm d y \, n ( \mathbf r ) \, \quad \ \ ( 9 ) \, \quad \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \$$

and one dimensional interaction constant

$$g _ { 1 d } = g ^ { \prime } \frac { \int \mathrm d \mathbf r \, n ^ { 2 } ( \mathbf r ) } { \left ( \int \mathrm d \mathbf r n ( \mathbf r ) \right ) ^ { 2 } }. \quad \quad ( 1 0 ) \quad \underset { \text{and} } { \text{as} }$$

Substituting n ( r ) given by Eq. (8) into Eqs. (9) and (10), we obtain n 1 d glyph[similarequal] 2 × 10 8 atoms/m and g 1 d n 1 d / glyph[planckover2pi1] glyph[similarequal] 2 π × 2500 Hz, where n 1 d ( z ) = n 1 d exp( -z 2 /σ 2 z ). Using these values, we find the γ = mg 1 d / glyph[planckover2pi1] 2 n 1 d , which is approximately equal to 2 5 . × 10 -5 , i.e., much smaller than unity. This places us in the weakly interacting regime, and justifies the use of the Bogoliubov method [40]. The thermal density fluctuations and coherence length of a uniform system take the form:

$$\frac { \sqrt { \langle \delta n _ { 1 d } ^ { 2 } \rangle } } { n _ { 1 d } } \simeq \gamma ^ { 1 / 4 } \sqrt { \frac { k _ { B } T _ { s } } { g _ { 1 d } n _ { 1 d } } }, \quad l _ { \phi } = \frac { \hslash ^ { 2 } n _ { 1 d } } { m k _ { B } T _ { s } }. \quad ( 1 1 ) \quad \text{ then } \mathfrak { c } _ { \psi _ { \pm Q } }$$

We estimate the density fluctuations and coherence length of our system using the above formula, and obtain √ 〈 δn 2 1 d 〉 /n 1 d glyph[similarequal] 0 09 and . l φ glyph[similarequal] 120 µ m. Since the ratio √ 〈 δn 2 1 d 〉 /n 1 d is significantly smaller than unity, we neglect the density fluctuations in the further analysis. We emphasize that l φ is smaller than the longitudinal size of the cloud but much larger than the transverse size of the cloud 2 σ r .

## III. QUASICONDENSATE COLLISION

We show below that the number of scattered atoms is much smaller than the number of atoms in the counterpropagating quasicondensates. This allows us to neglect the impact of the scattered atoms on the quasicondensate. In such a case the evolution of the classical field ψ qc ( r , t ) is given by the Gross-Pitaevskii equation

$$i \hbar { \partial } _ { t } \psi _ { q c } ( { \mathbf r }, t ) = \left ( - \frac { \hbar { ^ { 2 } } } { 2 m } \triangle + g | \psi _ { q c } ( { \mathbf r }, t ) | ^ { 2 } \right ) \psi _ { q c } ( { \mathbf r }, t ). \ ( 1 2 )$$

Here, the interaction strength is given by g = 4 π glyph[planckover2pi1] 2 a/m and a = 5 3 nm is the scattering . length between two atoms in the m F = 0 state. The initial state is:

$$\psi _ { q c } ( { \mathbf r }, 0 ) \simeq \frac { 1 } { \sqrt { 2 } } \psi _ { q c } ( { \mathbf r } ) \left ( e ^ { i Q z } + e ^ { - i Q z } \right ) \quad ( 1 3 )$$

and describes a coherent splitting of a single cloud into two components: the function ψ qc ( r ) is given by Eq. (7) and Q = mv / 0 glyph[planckover2pi1] . It is convenient to factor out the rapidly oscillating phases in time and position, and rewrite the quasicondensate wave function in the following form:

$$\psi _ { q c } ( { \mathbf r }, t ) & = \psi _ { + Q } ( { \mathbf r }, t ) \exp \left ( i Q z - i \frac { \hbar { Q } ^ { 2 } } { 2 m } t \right ) \\ & + \psi _ { - Q } ( { \mathbf r }, t ) \exp \left ( - i Q z - i \frac { \hbar { Q } ^ { 2 } } { 2 m } t \right ) \quad ( 1 4 )$$

where ψ ± Q are quasicondensate components moving with mean velocities ± v 0 e z . In our situation, the momentum width of each of the components is much smaller than Q . Therefore, when determining the momentum density with ψ qc , we shall see two separated components. In such a case, the slowly-varying-envelope approximation can be used [44]. Then, the GP equation can be decomposed, and takes the form

$$i \partial _ { t } \psi _ { \pm Q } & = \left ( \mp \frac { \hslash ^ { 2 } } { m } Q \partial _ { z } - \frac { \hslash ^ { 2 } } { 2 m } \triangle \right ) \psi _ { \pm Q } \\ & \quad + g \left ( | \psi _ { \pm Q } | ^ { 2 } + 2 | \psi _ { \mp Q } | ^ { 2 } \right ) \psi _ { \pm Q }.$$

As we shall see below the time on which the density drops substantially is much smaller than the time needed for the wave-packets to cross each other. Therefore during the time important for the collision the motion along the z direction is practically frozen. This allows us to neglect the terms containing derivatives Q∂ z . As the normalization of each of the wave packet is the same and initially ψ ± Q ( r , 0) = 1 √ 2 ψ qc ( r ) the above equations turn into a single one

$$\underset { \text{re} } { \vdash } i \partial _ { t } \psi ( \mathbf r, t ) = \left ( - \frac { \hslash ^ { 2 } } { 2 m } \triangle + \frac { 3 } { 2 } g | \psi ( \mathbf r, t ) | ^ { 2 } \right ) \psi ( \mathbf r, t ), \quad ( 1 5 )$$

where the wave function

$$\frac { 1 } { \sqrt { 2 } } \psi = \psi _ { + Q } = \psi _ { - Q },$$

with the normalization condition ∫ d r | ψ ( r , t ) | 2 = N and initial condition ψ ( r , 0) = ψ qc ( r ).

We have found above that the quasicondensate coherence length is much larger than the transverse size of the cloud. Therefore, we expect that the expansion of the cloud in the transverse directions is practically not affected by its quasicondensate nature. Thus, it is instructive to consider expansion of the condensate, i.e., the solution ψ c ( r , t ) of the above Eq. (15) with the initial condition ψ c ( r , 0) = √ n ( r ). We approach the problem with an approximate variational gaussian ansatz, described in [39], and obtain:

$$& \lfloor \varpi \sigma \rfloor, \, \text{and} \, \upsilon \nu \text{am}. \\ & \psi _ { c } ( \mathbf r, t ) \simeq \sqrt { \frac { N } { \pi ^ { 3 / 2 } \sigma _ { z } ( t ) \sigma _ { r } ^ { 2 } ( t ) } } \exp \left ( - \frac { z ^ { 2 } } { 2 \sigma _ { z } ^ { 2 } ( t ) } - i b _ { z } ( t ) z ^ { 2 } \right ) \quad \text{the m} \\ & \quad \times \exp \left ( - \frac { x ^ { 2 } + y ^ { 2 } } { 2 \sigma _ { r } ^ { 2 } ( t ) } \left ( 1 - i \tilde { \omega } t \frac { \sigma _ { r } ^ { 2 } } { \tilde { a } _ { h o r } ^ { 2 } } \right ) - i \varphi ( t ) \right ), \quad \text{(17)} \quad \text{atoms} \\ & \text{where}$$

where

$$\sigma _ { r } ^ { 2 } ( t ) & = \sigma _ { r } ^ { 2 } ( 1 + \tilde { \omega } ^ { 2 } t ^ { 2 } ), \quad \frac { \tilde { \omega } ^ { 2 } } { \omega _ { r } ^ { 2 } } = \frac { 1 + \sqrt { \frac { 2 } { \pi } } \frac { 3 } { 2 } \frac { N a } { \sigma _ { z } } } { 1 + \sqrt { \frac { 2 } { \pi } } \frac { N a ^ { \prime } } { \sigma _ { z } } }, \\ & \quad \ell = \sigma _ { r } \quad \ell$$

$$\varphi ( t ) = \left ( \frac { 7 } { 4 } \frac { \sigma _ { r } ^ { 2 } } { \tilde { a } _ { h o r } ^ { 2 } } - \frac { 3 } { 4 } \frac { \tilde { a } _ { h o r } ^ { 2 } } { \sigma _ { r } ^ { 2 } } \right ) \arctan ( \tilde { \omega } t ),$$

and ˜ a hor = √ glyph[planckover2pi1] /mω ˜. With the parameters of the experiment, we obtain ˜ ω glyph[similarequal] 1 02 . ω r . This gives us the characteristic time of expansion expansion τ ex = 1 /ω ˜ = 104 µ s. This time allows us to estimate the change of the phase caused by thermal fluctuations. To this end, we consider a one-dimensional uniform system and calculate ∆ φ ≡ √ 〈 ( φ z ( = 0 , τ ex ) -φ z ( = 0 0)) , 2 〉 ; the details of the evaluation are presented in Appendix A. There, we find that ∆ φ glyph[similarequal] 0 14, and since it is significantly smaller . than unity, we expect that the change of phase during the collision, caused by thermal fluctuations, is negligible. Thus, we assume that

$$\psi _ { + Q } ( { \mathbf r }, t ) = \psi _ { - Q } ( { \mathbf r }, t ) = \sqrt { 2 } \psi _ { c } ( { \mathbf r }, t ) e ^ { i \phi ( z ) }. \quad ( 1 8 ) \quad \text{dom}$$

Additionally we find the expansion time τ ex to be much smaller than the time needed for the quasicondensates to cross each other, 2 σ /v z 0 glyph[similarequal] 6 ms. This justifies the use of the approximation which leads to Eq. (15).

We now make one more approximation. From the formulas presented in [39], we find that the phase gradient b z ( τ c ) σ z is much smaller than ∂ φ z z ( ) and thus can be neglected. Additionally, we find that σ z ( τ ex ) glyph[similarequal] σ z . As a result, in what follows, we use ψ c ( r , t ) given by Eq. (17) with σ z ( ) t glyph[similarequal] σ z and b z ( ) t glyph[similarequal] 0. For simplicity of the notation, we express the variational ansatz, given by Eq. (17), decoupling its z dependence:

$$\mu _ { c } ^ { \mu } ( \mathbf r, t ) = \psi _ { \rho } ( x, \underbrace { y, t } _ { \substack { y, t } } ) \exp \left ( - \frac { z ^ { 2 } } { 2 \sigma _ { z } ^ { 2 } } \right ), \quad \quad ( 1 9 ) \quad \text{where}$$

ψ

(

x, y, t

) =

n

√

σ

r

0

exp(

-

iϕ t

( ))

,

r

σ

( )

t

$$\times \exp \left ( - \frac { \dot { x } ^ { 2 } + y ^ { 2 } } { 2 \sigma _ { r } ^ { 2 } ( t ) } \left ( 1 - i \tilde { \omega } t \frac { \sigma _ { r } ^ { 2 } } { \tilde { a } _ { h o r } ^ { 2 } } \right ) \right ),$$

ρ

## IV. THE SCATTERED ATOMS

We now turn our attention to the description of the scattering process. As in the experiment, we consider the scattered atoms with velocities restricted to π 3 &lt; θ &lt; 2 π 3 , where θ is the angle between velocity of the clouds and the z axis. Thus, the average distance traveled by the scattered atom within the cloud is approximately given by 2 σ r glyph[similarequal] 3 4 . µ m. This distance is much smaller than the mean free path equal to 1 / (8 πa ′ 2 n 0 ) glyph[similarequal] 66 µ m. As a result, the system is in the collisionless regime and the use of the Bogoliubov approximation to treat the scattered atoms is adequate. The field operator ˆ , δ describing the scattered atoms, undergoes the time evolution given by

$$i \hbar { \partial } _ { t } \hat { \delta } ( { \mathbf r }, t ) = H _ { 0 } ( { \mathbf r }, t ) \hat { \delta } ( { \mathbf r }, t ) + B ( { \mathbf r }, t ) \hat { \delta } ^ { \dagger } ( { \mathbf r }, t ), \ \ ( 2 0 )$$

where:

$$H _ { 0 } ( { \mathbf r }, t ) = - \frac { \hbar { ^ { 2 } } } { 2 m } \triangle + 2 g | \psi _ { q c } ( { \mathbf r }, t ) | ^ { 2 }, \quad ( 2 1 )$$

$$B ( { \mathbf r }, t ) = g \psi _ { q c } ^ { 2 } ( { \mathbf r }, t ).$$

We assume that the initial state of the noncondensed particles is vacuum [45], i.e.,

$$\hat { \delta } ( { \mathbf r }, 0 ) | 0 \rangle = 0. \text{ \quad \ \ } ( 2 3 )$$

Since the scattered atoms for chosen θ do not overlap with the quasicondensates, the pair correlation function is given by the formula

$$\underset { \ a g l i g i - } { \text{uring} } \quad G ^ { ( 2 ) } \left ( \mathbf r _ { 1 }, \mathbf r _ { 2 }, T \right ) = \langle \langle \hat { \delta } ^ { \dagger } ( \mathbf r _ { 1 }, T ) \hat { \delta } ^ { \dagger } ( \mathbf r _ { 2 }, T ) \hat { \delta } ( \mathbf r _ { 2 }, T ) \hat { \delta } ( \mathbf r _ { 1 }, T ) \rangle \rangle _ { c l }, \\ \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \colon$$

where we deal with quantum average over degrees of freedom described by the ˆ operator and the classical average δ over quasicondensate modes. In the above, T glyph[similarequal] 0 3 s . is the time it takes the atoms to reach the MCP located 46 cm below the trapped cloud.

As the equation of motion for the field operator ˆ , given δ by Eq. (20), is linear, and the quantum state is the vacuum, the Wick theorem can be applied. As a result, the quantum average can be evaluated and it reads

$$\begin{array} { c c c } \text{be} & \quad \cdot & \quad \cdot \\ \text{s a } & \quad \langle \hat { \delta } ^ { \dagger } ( \mathbf r _ { 1 }, T ) \hat { \delta } ^ { \dagger } ( \mathbf r _ { 2 }, T ) \hat { \delta } ( \mathbf r _ { 2 }, T ) \hat { \delta } ( \mathbf r _ { 1 }, T ) \rangle \\ \ddot { \text{ta} } & \quad = G ^ { ( 1 ) } \left ( \mathbf r _ { 1 }, \mathbf r _ { 1 }, T \right ) G ^ { ( 1 ) } \left ( \mathbf r _ { 2 }, \mathbf r _ { 2 }, T \right ) + \left | G ^ { ( 1 ) } \left ( \mathbf r _ { 1 }, \mathbf r _ { 2 }, T \right ) \right | ^ { 2 } \\ & \quad + \left | M \left ( \mathbf r _ { 1 }, \mathbf r _ { 2 }, T \right ) \right | ^ { 2 }, \end{array}$$

where

$$M \left ( { \mathbf r } _ { 1 }, { \mathbf r } _ { 2 }, T \right ) \equiv \langle \hat { \delta } ( { \mathbf r } _ { 1 }, T ) \hat { \delta } ( { \mathbf r } _ { 2 }, T ) \rangle \quad \quad ( 2 6 )$$

is called the anomalous density and

$$G ^ { ( 1 ) } \left ( { \mathbf r } _ { 1 }, { \mathbf r } _ { 2 }, T \right ) \equiv \langle \hat { \delta } ^ { \dagger } ( { \mathbf r } _ { 1 }, T ) \hat { \delta } ( { \mathbf r } _ { 2 }, T ) \rangle. \quad ( 2 7 )$$

is a single particle correlation function of the scattered atoms in a single realization of the quasicondensate field.

In Eq. (25), two terms are responsible for the correlations: | M ( r 1 , r 2 , T ) | 2 and | G (1) ( r 1 , r 2 , T ) | 2 . The term G (1) ( r 1 , r 1 , T ) G (1) ( r 2 , r 2 , T ) is a product of single particle densities and represents uncorrelated particles. In the next sections, we show that the terms | M ( r 1 , r 2 , T ) | 2 and | G (1) ( r 1 , r 2 , T ) | 2 represent the correlation of particles with opposite and collinear velocities, respectively. The appearance of correlations of particles with opposite velocities (which we shall call the 'opposite' correlation) is due to the fact that particles are scattered in pairs of opposite momenta. On the other hand, the correlation of particles with collinear velocities (which we shall call the 'local' correlation) is a bosonic bunching effect. Therefore, we introduce notation G (2) op = | M | 2 and G (2) loc = | G (1) 2 | .

To calculate the correlations, we solve the Heisenberg equation of motion, Eq. (20), with the perturbation approach [39]. Then, the formula for the anomalous density reads

$$M ( { \mathbf r } _ { 1 }, { \mathbf r } _ { 2 }, T ) = \frac { 1 } { i \hbar } \int _ { 0 } ^ { T } { \mathrm d } t \int \mathrm d { \mathbf r } \, K ( { \mathbf r } _ { 1 }, T ; { \mathbf r }, t ) \quad ( 2 8 ) \quad \text{$\text{$space$}$} \quad \text{$\text{$tation$}$} \\ \times K ( { \mathbf r } _ { 2 }, T ; { \mathbf r }, t ) B ( { \mathbf r }, t ),$$

where K ( r 1 , t 1 ; r 2 , t 2 ) is a single body propagator of the Hamiltonian from Eq. (21). Additionally, one obtains a simple relation between one body correlation function and the anomalous density

$$G ^ { ( 1 ) } \left ( { \mathbf r } _ { 1 }, { \mathbf r } _ { 2 }, T \right ) = \, \int { \mathrm d } { \mathbf r } \, M ^ { * } \left ( { \mathbf r } _ { 1 }, { \mathbf r }, T \right ) M \left ( { \mathbf r }, { \mathbf r } _ { 2 }, T \right ). \ \ ( 2 9 )$$

In Ref. [39], we analyzed the case of two colliding condensates. There, we employed a semiclassical approximation for the propagator K that leads to the following formula for the anomalous density in the momentum space:

$$M ( \mathbf K, \Delta \mathbf K ) & = \frac { 1 } { i \hbar { ( } 2 \pi ) ^ { 3 } } \int _ { 0 } ^ { \infty } \mathrm d t \int \mathrm d \mathbf r \quad \begin{pmatrix} \ln \mathbf c \\ \text{sour} \end{pmatrix} \\ e ^ { - i \Delta \mathbf K \mathbf r + i \frac { \hbar { \, } } { m } \left ( K ^ { 2 } + \frac { \Delta K ^ { 2 } } { 4 } \right ) t } \widetilde { B } ( \mathbf e _ { \mathbf K }, \mathbf r, t ), \quad \ ( 3 0 ) \quad \ \text{mout} \quad \\ \text{class} \quad }$$

where

$$\bar { B } ( { \mathbf e } _ { \mathbf K }, { \mathbf r }, t ) = B ( { \mathbf r }, t ) \exp \left ( - i \Phi ( { \mathbf r }, { \mathbf e } _ { \mathbf K }, t ) \right ), \quad ( 3 1 a )$$

$$\Phi ( { \mathbf r }, { \mathbf e } _ { \mathbf K }, t ) = \frac { m } { \hbar { ^ { 2 } } Q } \int _ { - \infty } ^ { \infty } d s \, V _ { e n } ( { \mathbf r } + s { \mathbf e } _ { \mathbf K }, t ), \quad ( 3 1 b )$$

$$V _ { e n } ( { \mathbf r }, t ) = 2 g \left ( | \psi _ { + Q } ( { \mathbf r }, t ) | ^ { 2 } + | \psi _ { - Q } ( { \mathbf r }, t ) | ^ { 2 } \right ), ( 3 1 c ) \quad \text{when}$$

and e K = K K . Here, ψ ± Q are the two counter propagating components of the condensate. The mean-field interaction 2 g ψ | | 2 , present in the Hamiltonian H 0 in Eq. (21), is represented by the potential V en and enters the formulas through the phase Φ given by Eq. (31b). If we omitted the mean-field interaction in the Hamiltonian H 0 , the phase Φ would be zero.

The formulas (31) were derived for two counter propagating condensates. In Appendix B, we show that they also work in the case of quasicondensates. Inserting Eqs. (16) and (18) into Eq. (31c), we arrive at

$$V _ { e n } ( { \mathbf r }, t ) = 2 g | \psi _ { c } ( { \mathbf r }, t ) | ^ { 2 }. \text{ \quad \ \ } ( 3 2 )$$

We now focus on the expression for B ( r , t ). According to Eq. (22), we have B ( r , t ) = gψ 2 qc ( r , t ). Inserting ψ qc , given by Eq. (14), we arrive at an expression with three terms. However, among them there is only one responsible for the scattering of atoms from collision between ± Q components. As we are interested only in this process, we neglect the others arriving at

$$B ( { \mathbf r }, t ) & \simeq 2 g \psi _ { + Q } \psi _ { - Q } ( { \mathbf r }, t ) \exp \left ( - i \frac { \hbar { Q } ^ { 2 } } { m } t \right ) \\ & = g \psi _ { c } ^ { 2 } ( { \mathbf r }, t ) \exp \left ( 2 i \phi ( z ) - i \frac { \hbar { Q } ^ { 2 } } { m } t \right ), \quad ( 3 3 )$$

where we used Eqs. (16) and (18).

Finally, we note that the anomalous density in real space is connected with the momentum space representation via the standard free propagator formula

$$M ( { \mathbf R }, \Delta { \mathbf R }, T ) = \frac { 1 } { ( 2 \pi ) ^ { 3 } } \int _ { \ } d { \mathbf K } \, d \Delta { \mathbf K } \, e ^ { i 2 { \mathbf K } { \mathbf R } } \times \quad ( 3 4 ) \\ \times e ^ { i \frac { \Delta { \mathbf K } \Delta { \mathbf R } } { 2 } - i \frac { h } { m } \left ( { K } ^ { 2 } + \frac { \Delta { K } ^ { 2 } } { 4 } \right ) T } M ( { \mathbf K }, \Delta { \mathbf K } ),$$

where R = ( r 1 -r 2 ) / 2 and ∆ R = r 1 + r 2 .

$$V. \text{ \ } THE \, G ^ { ( 1 ) } \text{ and } G ^ { ( 2 ) } _ { l o c } \text{ FUNCTIONS}$$

We have

$$G _ { l o c } ^ { ( 2 ) } ( { \mathbf r } _ { 1 }, { \mathbf r } _ { 2 }, T ) = \langle \left | G ^ { ( 1 ) } ( { \mathbf r } _ { 1 }, { \mathbf r } _ { 2 }, T ) \right | ^ { 2 } \rangle _ { c l }. \quad ( 3 5 )$$

In order to calculate G (1) , it is convenient to use the source function f description introduced in Ref. [39]. The motivation of introducing such a function comes from classical physics where the single particle phase-space density W ( r k , , T ) of the particles emitted from a source takes the form:

$$W ( { \mathbf r }, { \mathbf k }, T ) = \int _ { 0 } ^ { T } d t \, f \left ( { \mathbf r } - \frac { \hbar { \mathbf k } } { m } ( T - t ), { \mathbf k }, t \right ) \,, \ \ ( 3 6 )$$

where f ( r k , , t ) is the source function describing a density of particles emitted by the source in position r with momentum glyph[planckover2pi1] k and in time t . Now, we use the above equation to define f in a quantum system by assuming that W is the Wigner distribution. Then, using the relation

$$\stackrel { \dots } { \text{the} } } G ^ { ( 1 ) } \left ( { \mathbf r } + \frac { \Delta { \mathbf r } } { 2 }, { \mathbf r } - \frac { \Delta { \mathbf r } } { 2 }, T \right ) = \int { \mathbf d } { \mathbf k } \, e ^ { - i { \mathbf k } \Delta { \mathbf r } } W ( { \mathbf r }, { \mathbf k } ; T ),$$

we arrive at

$$\widetilde { G } ^ { ( 1 ) } \left ( { \mathbf r }, \Delta { \mathbf r }, T \right ) & = \int _ { 0 } ^ { T } { \mathrm d } t \int { \mathbf d } { \mathbf k } \, e ^ { - i { \mathbf k } \Delta { \mathbf r } } \\ & \quad f \left ( { \mathbf r } - \frac { \hbar { \mathbf k } } { m } ( T - t ), { \mathbf k }, t \right ),$$

where we denoted G (1) ( r + ∆ r 2 , r -∆ r 2 , T ) by ˜ G (1) ( r , ∆ r , T ). Moreover, introducing new variables: r ′ = r -glyph[planckover2pi1] m k ( T -t ), k 0 = m r glyph[planckover2pi1] T and ∆ k 0 = m ∆ r glyph[planckover2pi1] T , we obtain

$$\widetilde { G } ^ { ( 1 ) } \left ( \mathbf r, \Delta \mathbf r, T \right ) = \int _ { 0 } ^ { T } \mathrm d t \int \mathrm d \mathbf r ^ { \prime } \, \left ( \frac { m } { \hbar { ( } T - t ) } \right ) ^ { 3 } \quad \text{Cons} \\ e ^ { - i \frac { 1 } { 1 - \frac { 1 } { T } } \left ( \frac { \hbar { \ h } } { m } \mathbf k _ { 0 } T - \mathbf r ^ { \prime } \right ) \Delta \mathbf k _ { 0 } } f \left ( \mathbf r ^ { \prime }, \frac { \mathbf k _ { 0 } - \frac { m \mathbf r ^ { \prime } } { \hbar { T } } } { 1 - \frac { t } { T } }, t \right ) } \,. \quad \text{(37)} \quad \text{parti} \\ \quad \text{core} \\ \quad \text{are} \, \mathbf r \,. \ \,. \ \,.$$

We now analyze the source function. In Ref. [39], we showed that the source function is equal to:

$$f ( { \mathbf r }, { \mathbf k }, t ) & = \frac { 2 } { ( 2 \pi ) ^ { 3 } \hslash ^ { 2 } } \int _ { - t } ^ { t } d \Delta t \, e ^ { - i \frac { 2 \hslash k ^ { 2 } } { m } \Delta t } \times \\ & \times B _ { p } ^ { * } ( { \mathbf r }, { \mathbf k }, t, - \Delta t ) B _ { p } ( { \mathbf r }, { \mathbf k }, t, \Delta t ), \quad ( 3 8 )$$

where

$$B _ { p } ( { \mathbf r }, { \mathbf k }, t, \Delta t ) & = \int \mathrm d \Delta { \mathbf r } \, K _ { f } ( \Delta { \mathbf r }, \Delta t ) \times \\ & \times \widetilde { B } \left ( { \mathbf e } _ { \mathbf k }, { \mathbf r } + \Delta { \mathbf r } + \frac { \hbar { \mathbf k } \Delta t } { m }, t - \Delta t \right ) ( 3 9 )$$

and K f denotes the free propagator. We now analyze the above formulas in the way analogous to that presented in Ref. [39]. It is crucial to note that ˜ B vanishes if | x + ∆ x + glyph[planckover2pi1] k x ∆ t m | is larger than σ r . As k = ( k sin θ, 0 , k cos θ ) and k glyph[similarequal] Q with sin θ &gt; √ 3 / 2, we find that | ∆ t | &lt; ∆ t 0 = 2 σ r v 0 √ 3 glyph[similarequal] 20 µ s. We note that ∆ t 0 is the time the scattered particle leaves the cloud. The characteristic distance ∆ 0 = √ glyph[planckover2pi1] ∆ t 0 /m glyph[similarequal] 0 56 . µ m present in the free propagator K f ( x, t ) ∝ exp ( ix 2 2∆ 2 0 t/t 0 ) is more than three times smaller than σ r . On the distance ∆ 0 and in time ∆ t 0 , the change of the wave function ψ c and the phase Φ is not crucial and can be neglected. As a result, from Eqs. (31a), (33) and (39), we obtain that

$$B _ { p } ( \mathbf r, \mathbf k, t, \Delta t ) \simeq \widetilde { B } \left ( \mathbf e _ { \mathbf k }, \mathbf r + \frac { \hbar { \mathbf k } \Delta t } { m }, t \right ) \exp \left ( i \frac { \hbar { Q } ^ { 2 } } { m } \Delta t \right ). \quad \stackrel { \text{where} } { ( \mathbf s \in \theta, } } \\ \mathbf r \vdots \vdots \vdots \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \bar { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { \mathbf e _ { r } } } } } } } } } } } \vdots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots. \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \ dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \sigma \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \ delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta$$

In the formula describing the source function f , and given by Eq. (38), we notice the presence of the term B ∗ p ( r k , , t, -∆ ) t B p ( r k , , t, ∆ ). t According to the above equation, it is now equal to

$$& \widetilde { B } ^ { * } \left ( \mathbf e _ { \mathbf k }, \mathbf r - \frac { \hbar { \mathbf k } \Delta t } { m }, t \right ) \widetilde { B } \left ( \mathbf e _ { \mathbf k }, \mathbf r + \frac { \hbar { \mathbf k } \Delta t } { m }, t \right ) \times \quad \text{                                                                                                                                                                                                        
                                                                                                                                                                                                        } \text{                                                                                                                                                                                                    
   \times & \exp \left ( i \frac { 2 \hbar { Q } ^ { 2 } } { m } \Delta t \right ) \quad \text{                                                                                                                                                                                                  
     \text{                                                                                                                                                                                                     } \text{\emph{ }                                                                                                                                                                                                        \text{                                                                                                                                                                                                
     \text{\emph{                                                                                                                                                                                                      
\end{array}$$

Substituting here ˜ B , given by Eqs. (31a) and (33), and using the fact that the phase Φ is constant along e k direction, i.e., Φ( r -s e k , e k , t ) = Φ( r e , k , t ), we find a cancellation of the phase Φ in Eq. (41). Additionally, glyph[planckover2pi1] k z ∆ t m is maximally equal to σ r . On that distance, we can neglect the change of the phase φ z ( ) and, as a result, we obtain a cancellation of the phase φ in Eq. (41). As a result, we find that the quantity present in Eq. (41) is equal to

$$g ^ { 2 } \psi _ { c } ^ { 2 * } \left ( { \mathbf r } - \frac { \hbar { \mathbf k } \Delta t } { m }, t \right ) \psi _ { c } ^ { 2 } \left ( { \mathbf r } + \frac { \hbar { \mathbf k } \Delta t } { m }, t \right ). \quad ( 4 2 )$$

Consequently, we find that the source function f does not depend on the phases Φ and φ . Due to the relation given by Eqs. (37) and (35), the same applies to a single particle correlation function G (1) and local part of pair correlation function G (2) loc . It means that these functions are not affected by the presence of the quasicondensate nor by the interaction of the scattered atoms with the atoms of the colliding clouds. Therefore, we can omit the bracket 〈 . . . 〉 cl present in Eq. (35), and arrive at

$$G _ { l o c } ^ { ( 2 ) } ( { \mathbf r } _ { 1 }, { \mathbf r } _ { 2 }, T ) = \left | G ^ { ( 1 ) } ( { \mathbf r } _ { 1 }, { \mathbf r } _ { 2 }, T ) \right | ^ { 2 }. \quad \ \ ( 4 3 )$$

We now continue with the analysis of the source function f . From Eqs. (38), (40) and (42), we find that

$$\Phi _ { \Phi } ( 3 9 ) & = \frac { 2 } { ( 2 \pi ) ^ { 3 } \hslash ^ { 2 } } \int _ { - t } ^ { t } \mathrm d \Delta t \, \exp \left ( - i \frac { 2 \hslash ( k ^ { 2 } - Q ^ { 2 } ) } { m } \Delta t \right ) \times \\ & \quad g ^ { 2 } \psi _ { c } ^ { * 2 } \left ( \mathbf r - \frac { \hslash \mathbf k \Delta t } { m }, t \right ) \psi _ { c } ^ { 2 } \left ( \mathbf r + \frac { \hslash \mathbf$$

To proceed further, we make a series of approximations. First, glyph[planckover2pi1] k z ∆ t m is maximally equal to σ r . As σ r glyph[lessmuch] σ z , we neglect the change of ψ c on that distance. Second, ∆ t 0 is significantly smaller than the collision time. Therefore, we approximate ∫ t -t ≈ ∫ ∞ -∞ . Third, as | k -Q | glyph[lessmuch] Q , we approximate k 2 -Q 2 glyph[similarequal] 2 Qδk , where δk = k -Q , and additionally approximate glyph[planckover2pi1] k ∆ t m glyph[similarequal] glyph[planckover2pi1] Q ∆ t m e k . As a result, the above formula takes the form

$$\mathring { \circ } _ { \mathrm d } & \quad f ( \mathbf r, \mathbf k, t ) = \frac { m g ^ { \prime 2 } } { 4 \pi ^ { 3 } \hbar { 3 } Q } \int \mathrm d \delta r \, \exp \left ( - i 4 \delta k \delta r \right ) \times \\ \mathring { \psi } _ { c } ^ { * 2 } \left ( x - \delta r \sin \theta, y, z, t \right ) \psi _ { c } ^ { \, 2 } \left ( x + \delta r \sin \theta, y, z, t \right ), \\ \quad \quad \quad$$

where we introduced δr = glyph[planckover2pi1] Q ∆ t m and used e k = (sin θ, 0 cos , θ ). Inserting into the above ψ c given by Eq. (19) and performing the integral over δr , we obtain

$$\intertext { d } f ( \mathbf r, \mathbf k, t ) & = \frac { D _ { 1 } } { ( 1 + \tilde { \omega } ^ { 2 } t ^ { 2 } ) ^ { 3 / 2 } \sin \theta } e ^ { - 2 \frac { z ^ { 2 } } { \sigma _ { z } ^ { 2 } } - 2 \frac { x ^ { 2 } + y ^ { 2 } } { \sigma _ { r } ^ { 2 } ( t ) } } \times \\ & \times \exp \left [ - 2 \left ( \frac { \delta k \sigma _ { r } ( t ) } { \sin \theta } - \frac { x } { \sigma _ { r$$

where D 1 = √ πmg n σ 2 2 0 r 4 √ 2 π 3 glyph[planckover2pi1] 3 Q = 2 √ 2 √ π n a σ a 2 0 2 r ˜ 2 hor Q ˜ ω . This formula gives an intuitive understanding of the source function. One might wonder if the above function can be

derived within a classical model, where one considers a collision of two clouds of atoms. It turns out that it is indeed the case, when one takes the Wigner function as the phase-space distribution of the colliding clouds [39].

We find that, if σ r glyph[lessmuch] σ z , mσ z glyph[planckover2pi1] T glyph[lessmuch] 1 σ r and ˜ ωT glyph[greatermuch] 1, the formula for the ˜ G (1) function, given by Eq. (37), can be approximated as:

$$& \dots \\ & \widetilde { G } ^ { ( 1 ) } \left ( \frac { \hbar { \mathbf k } _ { 0 } } { m } T, \frac { \hbar { \Delta } \mathbf k _ { 0 } } { m } T, T \right ) \simeq \left ( \frac { m } { \hbar { T } } \right ) ^ { 3 } \exp \left ( - i \frac { \hbar } { m } \mathbf k _ { 0 } \Delta \mathbf k _ { 0 } T \right ) \\ & \int _ { 0 } ^ { T } \mathrm d t \int \mathrm d \mathbf r ^ { \prime } \, \exp \left ( i \Delta$$

With the experimental parameters, we verify that the conditions given above are satisfied, and this formula can be applied to our system.

Now, we proceed to the analysis of the density of scattered particles. From Eq. (45), we obtain

$$\hat { \varrho } ( { \mathbf k } ) & = \langle \widetilde { G } ^ { ( 1 ) } \left ( \frac { \hbar { \mathbf k } } { m } T, 0, T \right ) \rangle _ { c l } = \widetilde { G } ^ { ( 1 ) } \left ( \frac { \hbar { \mathbf k } } { m } T, 0, T \right ) \\ & \simeq \left ( \frac { m } { \hbar { T } } \right ) ^ { 3 } \int _ { 0 } ^ { \infty } \mathrm d t \int \mathrm d \mathbf r \, f \, ( { \mathbf r }, { \mathbf k }, t ) \,. \quad \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \$$

Inserting f from Eq. (44) into the above, we obtain

$$\varrho ( { \mathbf k } ) = \left ( \frac { m } { \hslash T } \right ) ^ { 3 } \frac { 1 } { \sin \theta } h \left ( \frac { \delta k } { \sin \theta } \right ), \quad \ \ ( 4 6 ) \quad \text{app}$$

where h is given by

$$\text{where $n$ is given by} \\ h ( \delta k ) & = D _ { 2 } \int _ { 0 } ^ { \infty } \frac { d \tilde { t } } { \sqrt { \left ( 1 + \tilde { t } ^ { 2 } \frac { \sigma _ { r } ^ { 4 } } { \tilde { a } _ { h o r } ^ { 4 } } \right ) \left ( 1 + \tilde { t } ^ { 2 } \right ) } } } { \sqrt { \left ( 1 + \tilde { t } ^ { 2 } \frac { \sigma _ { r } ^ { 4 } } { \tilde { a } _ { h o r } ^ { 4 } } \right ) } } \left ( 1 + \tilde { t } ^ { 2 } \right ) } } \quad \text{phase} \\ & \quad \exp \left ( - 2 \frac { \delta k ^ { 2 } \sigma _ { r } ^ { 2 } ( 1 + \tilde { t } ^ { 2 } ) } { \left ( 1 + \tilde { t } ^ { 2 } \frac { \sigma _ { r } ^ { 4 } } { \tilde { a } _ { h o r } ^ { 4 } } \right ) } \right ), \quad \text{(47)} \quad \text{an a} \\ \dots \colon = \colon = \dots \dots + \dots \dots \colon = \colon = \colon = \dots \pi \colon \sum _ { 0 } ^ { 1 \pi \, \vee 3 / 2 } \, - 2 \, - 1 \, \notinfty }.$$

and the parameters D 2 = D 1 ( π 2 ) 3 / 2 σ σ /ω 2 r z ˜ = π Q n a σ a 2 0 2 3 r ˜ 2 hor σ z and ˜ = ˜ . t ωt

Now we turn our attention to the normalized two-body correlation function measured in the experiment, and defined as

$$& g _ { l o c } ^ { ( 2 ) } ( \Delta r, \Delta z ) - 1 = & ( 4 8 ) \\ & = \frac { \int \mathrm d \tilde { \Delta } \mathrm r \, w ( \Delta \mathrm r - \tilde { \Delta } \mathrm r ) \int _ { V } \mathrm d \mathrm r G _ { l o c } ^ { ( 2 ) } ( \mathrm r _ { 1 }, \mathbf r _ { 2 }, T ) } { \int \mathrm d \tilde { \Delta } \mathrm r \, w ( \Delta \mathrm r - \tilde { \Delta } \mathrm r ) \int _ { V } \mathrm d \mathrm r G ^ { ( 1 ) } ( \mathbf r _ { 1 }, \mathbf r _ { 1 }, T ) G ^ { ( 1 ) } ( \mathbf r _ { 2 }, \mathbf r _ { 2 }, T ) }, \quad \text{ where } \text{ on } \text{$\mathrm e_{k}$} \\ & \tilde { \dots } \tilde { \dots } \tilde { \dots } \tilde { \dots } \tilde { \dots } \tilde { \dots } \tilde { \dots } \tilde { \dots } \tilde { \dots } \tilde { \dots } \tilde { \dots } \tilde { \dots } \tilde { \dots } \tilde { \dots } \tilde { \dots } \tilde { \dots } \tilde { \dots } \tilde { \dots } \tilde { \dots } \tilde { \dots } \tilde { \dots } \tilde { \dots } \tilde { \dots } \tilde { \dots } \tilde { \dots } \tilde { \dots \tilde { \dots } \tilde { \dots } \tilde { \dots } \tilde { \dots } \tilde { \dots } \tilde { \dots } \tilde { \dots } \tilde { \dots } \tilde { \dots } \tilde { \dots } \tilde { \dots } \tilde { \dots } \tilde { \dots } \tilde { \dots } \tilde { \dots } \tilde { \dots } \tilde { \dots } \tilde { \dots } \tilde { \dots } \tilde { \dots } \tilde { \dots } \tilde { \dots } \tilde { \dots } \tilde { \dots } \tilde { \dots$$

where r 1 = r + ∆ ˜ r / 2, r 2 = r -˜ ∆ r / 2 and V denotes a volume where the spherical angles r = r (sin θ cos φ, sin θ sin φ, cos θ ) are bounded by π 3 &lt; θ &lt; 2 π 3 . The function w ( r ) is given by

$$w ( \mathbf r ) = \frac { 1 } { ( 2 \pi ) ^ { 3 / 2 } \sigma _ { z d } \sigma _ { r d } ^ { 2 } } e ^ { - \frac { x ^ { 2 } + y ^ { 2 } } { 2 \sigma _ { r d } ^ { 2 } } - \frac { z ^ { 2 } } { 2 \sigma _ { z r } ^ { 2 } } }, \quad ( 4 9 ) \quad \stackrel { \kappa ^ { \dagger } } { \text{that} } \\ \text{in $n$}$$

and describes the detector resolution for two-particle detection. The transverse resolution is known to be σ rd =

350 µ m [46]. The vertical resolution σ zd has never been precisely measured, but from Ref. [4], we can place an upper limit σ zd &lt; 60 µ m. Due to the cylindrical symmetry of the system, g (2) loc depends only on ∆ r = √ ∆ x 2 +∆ y 2 and ∆ . Therefore, we denote it as z g (2) loc (∆ r, ∆ ). z

## VI. THE G (2) op FUNCTION

In this section, we consider the object

$$G _ { o p } ^ { ( 2 ) } \left ( \Delta { \mathbf R }, T \right ) & = \int { \mathbf d } { \mathbf R } \, G _ { o p } ^ { ( 2 ) } \left ( { \mathbf R }, \Delta { \mathbf R }, T \right ) \\ & = \int { \mathbf d } { \mathbf R } \, \langle | M ( { \mathbf R }, \Delta { \mathbf R }, T ) | ^ { 2 } \rangle _ { c l }, \quad ( 5 0 )$$

where

$$G _ { o p } ^ { ( 2 ) } \left ( { \mathbf R }, \Delta { \mathbf R }, T \right ) = \langle | M ( { \mathbf R }, \Delta { \mathbf R }, T ) | ^ { 2 } \rangle _ { c l }, \quad ( 5 1 )$$

with M given by Eq. (34). The analysis of G (2) op is performed in Appendix D. Below, we summarize the main results of our analysis.

The crucial step made in the calculation of G (2) op (∆ R , T ) is the use of ψ c given by the variational approximation and presented in Eq. (19). Due to a Gaussian form of the ansatz and the cylindrical symmetry of the system, B ( r , t ), given by Eq. (33), decomposes into B ( r , t ) = B ρ ( √ x 2 + y , t 2 ) B z ( z ). Additionally, the ansatz allows an analytical formula for the phase Φ( r e , K , t ) in Eq. (31b).

It turns out that the gradient of the quasicondensate phase ∂ φ z z ( ) is much larger than ∂ z Φ. This leads to an approximation where Φ( r e , K , t ) is replaced by its value averaged over z , denoted by Φ( ˜ x, y, e K , t ). As a result, ˜ B ( e K , r , t ), given by Eq. (31a), decomposes into ˜ B ( e K , r , t ) = ˜ B ρ ( e K , √ x 2 + y , t 2 ) B z ( z ). This again allows a decomposition of the G (2) op (∆ R , T ):

$$\stackrel { y } {, } & & G _ { o p } ^ { ( 2 ) } \left ( \Delta \mathbf R, T \right ) \simeq \int _ { 0 } ^ { \infty } \mathrm d t \int \mathrm d \Omega _ { \mathbf K } & G _ { z } ^ { ( 2 ) } ( \Delta Z, T ) \\ & & \times G _ { \rho } ^ { ( 2 ) } ( \Delta R, \mathbf e _ { \mathbf K }, t ), ( 5 2 )$$

where ∆ R = √ ∆ X 2 +∆ Y 2 . Note, G (2) z does not depend on e K or t , which follows directly from the lack of this dependence in the B z function.

For non-interacting particles and after sufficiently long expansion time, the cloud has the shape given by its velocity distribution. As a consequence, all the spatial correlations will be given by their momentum counterparts. Due to a large free-fall time, we might expect that this situation occurs also in our system, i.e., that G (2) op ( R , ∆ R , T ) in position space is proportional to G (2) op in momentum space. Indeed, in Appendix C we show that this is indeed the case for the ∆ X , ∆ Y and R variables. However, for the variable ∆ Z , the time T is not

sufficiently long to obtain the momentum space result. Instead, we arrive at

$$G _ { z } ^ { ( 2 ) } ( \Delta Z, T ) = \int \mathrm d K _ { z } \, G _ { z } ^ { ( 2 ) } \left ( \Delta Z - \frac { \hbar { T } } { m } K _ { z }, 0 \right ) \rho ( K _ { z } ),$$

spatial distribution. The gaussian function fitted to the distribution takes the form

$$G _ { z } ^ { ( 2 ) } ( \Delta Z, T ) \simeq ( 2 \pi ) ^ { 2 } \frac { \sigma _ { z } } { \tilde { \sigma } _ { z } } \exp \left ( - \frac { \Delta Z ^ { 2 } } { 2 \tilde { \sigma } _ { z } ^ { 2 } } \right ) \quad ( 5 3 )$$

where ρ K ( z ) = 2 πl φ 1+( K l z φ / 2) 2 is the velocity distribution directly related to the quasicondensate velocity distribution and G (2) z (∆ Z, 0) = exp ( -∆ Z 2 2 σ 2 z ) is the initial correlation function. Here, we clearly notice the classical formula for the propagation of the initial correlation. For very small T , the correlation function is simply given by the spatial dependence of the cloud exp ( -∆ Z 2 2 σ 2 z ) . For T → ∞ , it will be given by the velocity distribution ρ . For the experimental parameters, we have glyph[planckover2pi1] T ml σ φ z glyph[similarequal] 0 14, . which effectively leads to small broadening of the initial where ˜ σ z glyph[similarequal] 1 17 . σ z . Due to smallness of the parameter glyph[planckover2pi1] T ml σ φ z , we notice practically negligible impact of the presence of the quasicondensate on G (2) op (∆ R , T ).

The ∆ R correlations are related to the ψ ρ function [see Eq. (19)], describing the expansion of the wave function in transverse directions, and to the phase Φ. ˜ These correlations are not affected by the presence of the quasicondensate. The formulas for G (2) ρ (∆ R, e K , t ) are presented in Appendix D.

Finally, we note that the pair correlation function measured in the experiment takes the form

$$g _ { o p } ^ { ( 2 ) } ( \Delta R, \Delta Z ) = \frac { \int d \tilde { \Delta R } \ w ( \Delta R - \tilde { \Delta R } ) G _ { o p } ^ { ( 2 ) } ( \Delta R, T ) } { \int d \tilde { \Delta R } \ w ( \Delta R - \tilde { \Delta R } ) \int _ { V } d R \, G ^ { ( 1 ) } ( r _ { 1 }, r _ { 1 }, T ) G ^ { ( 1 ) } ( r _ { 2 }, r _ { 2 }, T ) }$$

where r 1 = R + ∆ ˜ R / 2, r 2 = -R + ∆ ˜ R / 2, ∆ R = √ ∆ X 2 +∆ Y 2 , and V denotes a volume where the spherical angles r = (sin r θ cos φ, sin θ sin φ, cos θ ) are bounded by π 3 &lt; θ &lt; 2 π 3 . Therefore, we have all the ingredients to calculate the local and oposite correlations.

plot the function h δk ( ) normalized to unity. We find h δk ( ) half-width of about 0 08 . Q . The radial profile was not measured in Ref. [11], but similar experiment, described in Ref. [37], has also found a value 0 08 . Q for this width.

## VII. RESULTS

To make a comparison between theory and experiment, we first examine g (2) op (0 0), the amplitude of the opposite , correlation, given by Eq. (54), and using Eqs. (52), (53), (D9) and (46).

In this case, the resolution, σ zd has a negligible effect on the width and will therefore be ignored. We obtain g (2) op (0) -1 glyph[similarequal] 0 087. . This is in poor agreement with the experimental value, g (2) op (0) -1 = 0 16. However the value . of g (2) op (0 0) , -1 depends crucially on the total number of particles in the quasicondensate, and the experimental value of the total number of particles has an uncertainty of about a factor of 2. Therefore, we seek the value of N which makes the theoretical and experimental g (2) op (0 0) , agree. We find N glyph[similarequal] 7 × 10 , 4 which is within the experimental uncertainty. From this value for N , we can deduce σ /a r hor glyph[similarequal] 1 65 . µ m, σ z glyph[similarequal] 0 26 mm, ˜ . ω glyph[similarequal] 1 02 . ω r , l φ = 92 µ m, ˜ σ z glyph[similarequal] 1 23 . σ z and Φ 0 glyph[similarequal] 0 85. . We remind the reader that a hor = √ glyph[planckover2pi1] /mω r is a harmonic oscillator length.

With the found value of N , we now calculate the other interesting characteristics. We start with the radial density profile, given by Eqs. (46) and (47). In Fig. 1, we

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00264v1-figure-91c2cfb9-cdba-4085-a97b-e91db2572616.jpg)

0

h

k

h

FIG. 1. The radial density profile h δk /h ( ) (0) of the collision sphere as a function of the radial momentum in units of Q . The half width roughly equals 0 08 . Q .

Next, we move to g (2) op (∆ R, ∆ ), the spatial Z dependence of the opposite correlation function. In Fig. 2, we plot g (2) op ( glyph[planckover2pi1] T m ∆ K , R 0 ) and g (2) op (0 , glyph[planckover2pi1] T m ∆ K Z ) together with the experimental points. While leaving the collision volume, the atoms interact with the quasicondensate atoms via the mean-field potential 2 g ψ | qc ( r , t ) | 2 [present in the H 0 ( r , t ) given by Eq. (21)]. To see the influence of this

2

2

FIG. 2. The function g (2) op ( glyph[planckover2pi1] T m ∆ K , R 0 ) (upper panel) and g (2) op ( 0 , glyph[planckover2pi1] T m ∆ K Z ) (lower panel) together with the experimental points as a function of ∆ K /Q R and ∆ K /Q Z , respectively. The red dashed line shows g (2) op with the interaction term 2 g ψ | qc ( r , t ) | 2 present in Eq. (21) neglected.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00264v1-figure-b870fec4-91a3-4974-9df6-74b10468428a.jpg)

interaction on the correlation function, we also plot g (2) op with 2 g ψ | qc ( r , t ) | 2 neglected [red dashed line in the upper panel of Fig. (2)]. The correlation in the radial direction (along ∆ K R ) measured in the experiment is quite close to our calculation, and we obtain slightly better agreement by including the mean-field. The width in the radial direction is given by the width in velocity of the colliding condensates in that direction, that is, proportional to 1 /σ r , the inverse of the radial condensate size.

In the case of the longitudinal (∆ K Z ) correlations, the theoretical width is smaller than the experimental one but not much. Unlike in the radial direction, the longitudinal width is approximately proportional to the size of the condensate in that direction. This is because for this correlation function, the observation does not take place in the far field (see Appendix C). The remaining discrepancies may be due to the use of variational approach. The ∆ K Z correlations are mostly given by the spatial size of the quasicondensate. The variational ansatz decreases the spatial width in the z -direction compared to the true GP solution, and therefore overestimates the

∆ K Z width. Thus, using the GP solution the discussed difference would be smaller.

Finally, we examine the local correlation g (2) loc (∆ r, ∆ ). z From Eqs. (44), (45), (46), (47) and (49) we numerically calculate g (2) loc function. The local correlations are narrower than the opposite ones, and, therefore, the detector resolution is not negligible. The vertical resolution σ zd is not well known, but we can find its value by fitting the data shown in Fig. 3(lower panel). We find σ zd = 41 µ m or approximately 0 0015 . v 0 consistent with the limit set in Ref. [4]. In Fig. (3), we plot g (2) loc ( glyph[planckover2pi1] T m ∆ k , r 0 ) and g (2) loc ( 0 , glyph[planckover2pi1] T m ∆ k z ) together with the experimental measurements.

2

2

FIG. 3. The function g (2) loc ( glyph[planckover2pi1] T m ∆ k , r 0 ) (upper panel) and g (2) loc ( 0 , glyph[planckover2pi1] T m ∆ k z ) (lower panel) together with the experimental points as a function of ∆ k /Q r and ∆ k /Q z , respectively.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00264v1-figure-270634a3-bb15-48b1-91d1-f6e8784ff45d.jpg)

The theoretical correlation function is in good agreement with the experimental result in the longitudinal direction while in the radial direction it is larger by a factor of 1.5. This is a marked improvement over the work of Ref. [32], in which we estimated much smaller radial and longitudinal widths. This improvement is due to the inclusion of the condensate expansion in the problem. As the condensate expands, the density declines to the point where the collision rate becomes negligible. Therefore,

the effective duration of the collision is shorter, and this in turn increases the energy uncertainty of the collision products. The energy uncertainty broadens the correlation function relative to that calculated in Ref. [32], and it is still this uncertainty that determines the radial size of the correlation, rather than the spatial width of the source. In the case of the z -direction, and under the experimental conditions, the correlation width is limited by the inverse of the size of the source, and in part also by the detector resolution. The calculated amplitude g (2) loc (0 , 0) is somewhat smaller than the measured one. As in the opposite correlation case, this may be due to the use of the variational ansatz. The fact that g (2) loc (0 , 0) &lt; 2 comes from the finite detector resolution. In the case of perfect detector resolution, i.e., σ rd = σ zd = 0, we have g (2) loc (0 , 0) = 2.

## VIII. SUMMARY

We have provided an analytical treatment of the production of atom pairs during the collision of two BEC's via four-wave mixing and compared the results to an experiment. The calculation represents a significant improvement over our previous analytical calculation [32], and the agreement with the experiment is as good as an earlier numerical treatment [37]. Compared to the numerical approach, the present calculation has the advantage that we can identify the physical processes which affect the widths and amplitudes of the correlation functions. Compared to the earlier analytic treatment, we are now able to take into account the expansion of the condensate during the collision. The decrease in the density caused by the expansion is the mechanism which governs the collision time. Therefore, the uncertainty in the energy of the pairs is more accurately accounted for especially in the collinear correlation functions.

We are also able to clearly identify the role of the farfield condition, i.e., the condition that the time of flight be longer than 2 ml / 2 glyph[planckover2pi1] , where l is a characteristic size in the collision volume. Using the correlation length in the quasi-condensate as a characteristic size, the experiment is not in the far field for observation is the longitudinal z -direction. Thus, the correlation along z for opposite pairs does not reflect the correlations in momentum, but rather more nearly the spatial correlations. For collinear pairs, the local correlation effect is simply a variant of the Hanbury-Brown-Twiss correlation, and the far field condition plays no role. For example, earth is not in the optical far field of typical stars in our galaxy. We thus find, as expected, that apart from broadening by the detector resolution, the local, longitudinal correlation width is a measure of the size of the source. The local correlation result also allows us to infer the detector resolution, which is in agreement with other upper limits we have already set.

We also took into account the interaction of the scattered atoms with the colliding clouds' mean-field poten- tial. However, this did not affect the results much.

Finally, our treatment has included the fact that, in the experiments, the colliding clouds were quasicondensates, having a correlation length in the longitudinal direction smaller than the condensate itself. This feature, however, has not proved crucial for understanding the observations.

## ACKNOWLEDGMENTS

Paweglyph[suppress] l Zin acknowleges the support of Mobility Plus program. D. Boiron and C. I. Westbrook acknowledge funding by the QuantERA grant 18-QUAN-001201 (CEBBEC) and the ANR grant 15-CE30-0017 (HARALAB).

## Appendix A: Temporal phase diffusion of the quasicondensate

It follows directly from Ref. [40] that

$$\langle ( \phi ( z = 0, t ) - \phi ( z = 0, 0 ) ) ^ { 2 } \rangle$$

caused by the thermal fluctuations read

$$\begin{array} { c c } \mu \\ & \langle ( \phi ( z = 0, t ) - \phi ( z = 0, 0 ) ) ^ { 2 } \rangle \\ & = \frac { 1 } { n _ { 1 d } \pi } \int \mathrm d k \, n _ { k } \frac { \varepsilon _ { k } } { E _ { k } } \sin ^ { 2 } \left ( \frac { \varepsilon _ { k } t } { \hbar } \right ) \end{array}$$

where E k = glyph[planckover2pi1] 2 k / m 2 2 , ε k = √ E k ( E k +2 g 1 d n 1 d ) and n k = (exp( ε k /k B T ) -1) -1 Calculating the above for the parameters of the system considered in the paper and taking the expansion time τ ex = 1 ˜ /ω we obtain √ 〈 ( φ z ( = 0 , τ ex ) -φ z ( = 0 0)) , 2 〉 glyph[similarequal] 0 14. .

## Appendix B: Derivation of the anomalous density formula

In this Appendix we show that the approximate treatment introduced in [39] in the case of collision of condensates applies also for our system The crucial step of the analysis presented in [39] lies in the approximate solution to the single particle scattering problem presented in Appendix C3 of [39]. There we deal with equation

$$\left ( - \frac { \hslash ^ { 2 } } { 2 m } \triangle + V _ { e n } ( { \mathbf r }, t ) - \frac { \hslash ^ { 2 } k ^ { 2 } } { 2 m } \right ) \varphi ( { \mathbf r }, t ) = 0$$

with the boundary condition given by plane wave e i kr . In the above V en is given by Eq. (32). Following [39] we introduce φ through relation ϕ = e i kr + iφ ( r ) . Substituting this form into the above equation and expanding φ in series φ = φ (0) + φ (1) + . . . we obtain

$$\cdot \frac { 2 m } { \kappa 2 } V _ { e }$$

$$\xi ^ { ( 0 ) }$$

$$2 \mathbf k \nabla \phi ^ { ( 0 ) } & = - \frac { 2 m } { \hbar { ^ { 2 } } } V _ { e n } \\ 2 \mathbf k \nabla \phi ^ { ( 1 ) } & = - \left ( \nabla \phi ^ { ( 0 ) } \right ) ^ { 2 } + i \triangle \phi ^ { ( 0 ) }$$

with formal solution

$$\phi ^ { ( j ) } ( { \mathbf r }, t ) = - \frac { 1 } { 2 k } \int _ { - \infty } ^ { 0 } { \mathrm d } s \, W _ { j } \, ( { \mathbf r } + s { \mathbf e } _ { \mathbf k }, t ) \quad \ \ ( B 1 ) \quad \ \ \ M ( ]$$

where W 0 = 2 m glyph[planckover2pi1] 2 V en and W 1 = ( ∇ φ (0) ) 2 - glyph[triangle] i φ (0) . We clearly see that φ (0) depends on the V en potential given by Eq. (32). We substitute to this equation ψ c given by variational ansatz and presented in Eq. (19). As a result in the case e k = e x , t = 0 and z = 0 we obtain

$$\phi ^ { ( 0 ) } ( x, y, 0 ) & = - \frac { 2 m g n _ { 0 } \sigma _ { r } } { \hslash ^ { 2 } Q } \exp \left ( - \frac { y ^ { 2 } } { \sigma _ { r } ^ { 2 } } \right ) \\ & \times \frac { \sqrt { \pi } } { 2 } \left ( 1 + \text{Erf} \left ( \frac { x } { \sigma _ { r } } \right ) \right )$$

where n 0 = N/ π ( 3 / 2 σ σ 2 r z ). Inserting experimental values we obtain φ (0) ( ∞ , 0 0) , glyph[similarequal] 1 5. . We insert the above solution into Eq. (B1) and obtain the analytic form of φ (1) ( x, y, 0). We find that φ (1) ( x, y, 0) increases to infinity with the increase of x . This is well known phenomena in semiclassical approximation caused by the presence of caustics. Anyway as stated in [39] we need the approximate solution only in the space where the cloud is present. This gives us roughly x &lt; 2 σ r . In this part of space we find the maximal value of φ (1) equal to 0 15. . As this value is smaller than unity and also much smaller than φ (0) we neglect it. Thus we have

$$\varphi _ { \mathbf k } \simeq \exp \left ( i \mathbf k \mathbf r + i \phi ^ { ( 0 ) } ( \mathbf r ) \right ).$$

In [39] using the above formula we derived expression for the anomalous density given by Eqs. (30) and (34).

## Appendix C: Far field conditions

In this Appendix we discuss far field conditions for G (2) op function. By far field we mean, that the correlation function in position space is given by the one in momentum space, i.e.

$$G _ { o p } ^ { ( 2 ) } ( { \mathbf r } _ { 1 }, { \mathbf r } _ { 2 }, T ) \in G _ { o p } ^ { ( 2 ) } ( { \mathbf k } _ { 1 }, { \mathbf k } _ { 2 }, T )$$

with k 1 2 , = m glyph[planckover2pi1] T r 1 2 , . This always happens for the freely expanding gas (which is the case analyzed here) for sufficiently long time T . Here we want to find how large T has to be. First we analyze G (2) op = | M | 2 function for the condensate case. We have

$$& M ( { \mathbf r } _ { 1 }, { \mathbf r } _ { 2 }, T ) = \frac { 1 } { ( 2 \pi ) ^ { 3 } } \int { \mathbf d } { \mathbf k } _ { 1 } { \mathbf d } { \mathbf k } _ { 2 } \, \exp \left ( i { \mathbf k } _ { 1 } { \mathbf r } _ { 1 } + i { \mathbf k } _ { 2 } { \mathbf r } _ { 2 } \right ) } \quad \begin{array} { c } \Delta { \mathbf l } \\ i s \\ \end{array} \\ & \exp \left ( - i \frac { \hbar { ^ { 2 } } } { 2 m } ( k _ { 1 } ^ { 2 } + k _ { 2 } ^ { 2 } ) T \right ) M ( { \mathbf k } _ { 1 }, { \mathbf k } _ { 2 }, T ) \quad \begin{array} { c } \Delta { \mathbf l } \\ \end{array} \\ & \quad \underset { \mathbf r e i } { \mathbf r } \end{array}$$

It is convenient to change the variables R = r 1 -r 2 2 , ∆ R = r 1 + r 2 , K = k 1 -k 2 2 , ∆ K = k 1 + k 2 . Notice that | ∆ R | glyph[lessmuch] | R | and | ∆ K | glyph[lessmuch] | K | as we deal here with opposite momentum correlations. Than the above takes the form

$$M ( { \mathbf R }, \Delta { \mathbf R }, T ) = \frac { 1 } { ( 2 \pi ) ^ { 3 } } \int { \mathrm d } { \mathbf K } { \mathrm d } { \Delta } { \mathbf K } \, \exp { ( i 2 { \mathbf K } { \mathbf R } ) } \quad ( C 1 )$$

$$\underset { \text{iven} } { \text{We} } \quad \exp \left ( i \frac { \Delta \mathbf K \Delta \mathbf R } { 2 } - i \frac { \hbar { \, } } { m } \left ( K ^ { 2 } + \frac { \Delta K ^ { 2 } } { 4 } \right ) T \right ) M ( K, \Delta \mathbf K, T )$$

$$\begin{matrix} \end{matrix}$$

Following [39] we take the simple but realistic model of anomalous density

$$M ( K, \Delta \mathbf K, T ) & = M _ { 0 } ( T ) \exp \left ( - \frac { ( K - Q ) ^ { 2 } } { 2 \sigma _ { K } ^ { 2 } } \right ) \\ & \quad \exp \left ( - \frac { \Delta K _ { r } ^ { 2 } } { 2 \sigma _ { K r } ^ { 2 } } + \frac { \Delta K _ { z } ^ { 2 } } { 2 \sigma _ { K z } ^ { 2 } } \right ) \quad ( \mathbf C 2 ) \\ & \quad \varepsilon \quad \varepsilon \quad \hat { \Phi } \quad \hat { \Phi }$$

where we take σ Kr ≈ √ 2 σ r , σ Kz ≈ √ 2 σ z , σ K ≈ ( Qa 2 hor ) -1 . Inserting Eq. (C2) into Eq. (C1) we arrive at

$$\mathfrak { f } \quad M ( \mathbf R, \Delta \mathbf R, T ) = M _ { 0 } M _ { 1 } ( \mathbf R, T ) M _ { 2 } ( \Delta \mathbf R, T ) \quad ( C 3 )$$

$$\cdot \\ \cdot \\ \cdot \\ \cdot \\ \cdot \\ \cdot \\ \cdot \\ \cdot \\ \cdot \\ \cdot \\ \cdot \\ \cdot \\ \cdot \\ \cdot \\ \cdot \\ \cdot \\ \cdot \\ \cdot \\ \cdot \\ \cdot \\ \cdot \\ \cdot \\ \cdot \\ \cdot \\ \cdot \\ \cdot \\ \cdot \\ \cdot \\ \cdot \\ \cdot \\ \cdot \\ \cdot \\ \cdot \\ \cdot \\ \cdot \\ \cdot \\ \cdot \\ \cdot \\ \cdot \\ \cdot \\ \cdot \\ \cdot \\ \cdot \\ \cdot \\ \cdot \\ \cdot \\ \cdot \\ \cdot \\ \cdot \\ \cdot \\ \cdot \\ }$$

$$\begin{array} { c c c } \cdot & \cdot & \cdot \\ \cdot & M _ { 2 } ( \Delta \mathbf R, T ) = \frac { 1 } { ( 2 \pi ) ^ { 3 / 2 } } \int \mathrm d \Delta \mathbf K \, \exp \left ( i \frac { \Delta \mathbf K \Delta \mathbf R } { 2 } \right ) \\ & \times \exp \left ( - i \frac { \hbar { \Delta } K ^ { 2 } } { 4 m } T - \frac { \Delta \mathbf K _ { r } ^ { 2 } } { 2 \sigma _ { K r } ^ { 2 } } + \frac { \Delta \mathbf K _ { z } ^ { 2 } } { 2 \sigma _ { K z } ^ { 2 } } \right ) \\ & \lambda - \lambda - \lambda \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \end{array}$$

As the above integrals are of gaussian form they can be integrated analytically to get

$$\text{mograves many way way } \, \omega \text{s} \\ M _ { 1 } ( \mathbf R, T ) & = \frac { Q \sigma _ { K } } { 2 i R } \frac { 1 } { \sqrt { 1 + i \frac { 2 h \sigma _ { K } ^ { 2 } T } { m } } } \exp \left ( - i \frac { \hbar { Q } ^ { 2 } } { m } T \right ) \\ \text{$-} \\ \text{$-} \\ \text{$-} \text{ and } } & \times \exp \left ( 2 i Q R - \frac { 2 ( R - v _ { 0 } T ) ^ { 2 } \sigma _ { K } ^ { 2 } } { 1 + i \frac { 2 h \sigma _ { K } ^ { 2 } T } { m } } \right ) \\ \text{and}$$

and

$$& \text{and} \\ & M _ { 2 } ( \Delta \mathbf R, T ) = \left ( 1 + i \frac { \hbar { \sigma } _ { K r } ^ { 2 } T } { 2 m } \right ) ^ { - 1 } \left ( 1 + i \frac { \hbar { \sigma } _ { K z } ^ { 2 } T } { 2 m } \right ) ^ { - 1 / 2 } \\ \text{self} \quad & \times \exp \left ( - \frac { ( \Delta X ^ { 2 } + \Delta Y ^ { 2 } ) \sigma _ { K r } ^ { 2 } } { 8 \left ( 1 + i \frac { \hbar { \sigma } _ { K r } ^ { 2 } T } { 2 m } \right ) } - \frac { \Delta Z ^ { 2 } \sigma _ { K z } ^ { 2 } } { 8 \left ( 1 + i \frac { \hbar { \sigma } _ { K z } ^ { 2 } T } { 2 m } \right ) } \right ). \\ & \quad \cdot \quad - \quad \widehat { \sim } \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \hat { \sim }$$

In Eq. (C1) we notice two independent propagators for ∆ R and R . The condition to be in the far field for ∆ K x,y is glyph[planckover2pi1] σ 2 Kr T 2 m glyph[greatermuch] 1. For ∆ K z it is glyph[planckover2pi1] σ 2 Kz T 2 m glyph[greatermuch] 1 and for K is 2 glyph[planckover2pi1] σ 2 K T glyph[greatermuch] 1.

m Analyzing the above derivation we may additionally read the condition to be in the 'near field,' i.e., when glyph[planckover2pi1] σ 2 Kr,Kz,K T 2 m glyph[lessmuch] 1. Then the correlations are T independent. We note that in the case σ Kr glyph[greatermuch] σ Kz the ∆ K x,y correlation may reach the far field, where as ∆ K z may

be still in the near field. If we consider the condensate regime of our system and substitute the approximate values (see [39]) σ Kr ≈ √ 2 σ r , σ Kz ≈ √ 2 σ z , σ K ≈ 1 Qa 2 hor , T = 0 3s we find .

$$\frac { 2 \hbar { \sigma } _ { K } ^ { 2 } T } { m } \simeq 1 0 0 \ \frac { \hbar { \sigma } _ { K r } ^ { 2 } T } { 2 m } \simeq 1. 6 \times 1 0 ^ { 3 } \ \frac { \hbar { \sigma } _ { K z } ^ { 2 } T } { 2 m } \simeq 0. 0 6$$

These results give the above described case.

The above was derived for the condensate collision case. Still we can use it in the quasicondensate case. The σ Kr and σ Kz present in Eq. (C2) are directly connected to the momentum widths of the initial wave packets [39]. In the condensate case it was σ Kr ≈ √ 2 σ r , σ Kz ≈ √ 2 σ z . In the quasicondensate case we can take σ Kz ≈ 1 /l φ . As l φ glyph[greatermuch] a hor this does not change the value of σ K [39]. Therefore in the quasicondensate as in the condensate case the far field is reached for ∆ K x,y and K variables. In the ∆ K z variable we obtain glyph[planckover2pi1] Tσ 2 Kz 2 m glyph[similarequal] 0 16 which shows . that this correlation is not in the far field.

## Appendix D: The calculation of G (2) op function.

In Appendix C we show that in the experiment the far field is reached in the case of ∆ X , ∆ Y and R variables. In such a case the anomalous density given by Eq. (34) takes the form

$$& \text{ takes the form} \\ & M ( \mathbf R, \Delta \mathbf R, T ) = \exp \left ( i \left ( K ^ { 2 } + \frac { \Delta K _ { x } ^ { 2 } + \Delta K _ { y } ^ { 2 } } { 4 } \right ) \frac { \hbar { T } } { m } \right ) \\ & \quad \left ( \frac { m } { i \hbar { T } } \right ) ^ { 5 / 2 } \frac { 1 } { 2 \sqrt { \pi } } \int \mathrm d \Delta K _ { z } \\ & \quad \exp \left ( i \Delta K _ { z } \frac { \Delta Z } { 2 } - i \frac { \hbar { \Delta } K _ { z } ^ { 2 } } { 4 m } T \right ) M ( \mathbf K, \Delta \mathbf K ) \quad \text{$\text{$\text{$D1}$} } \quad \text{$Subst}$$

where ∆ X = glyph[planckover2pi1] ∆ K x m T and ∆ Y = glyph[planckover2pi1] ∆ K y m T , R = glyph[planckover2pi1] K m T . From Eqs. (30), (31a) and (33) we obtain

$$\underset { \text{ion} } { \int } M ( \mathbf K, \Delta \mathbf K ) = \frac { g } { i \hbar { ( } 2 \pi ) ^ { 3 } } \int _ { 0 } ^ { \infty } d t \int \mathbf d \mathbf r \, \psi _ { c } ^ { 2 } ( \mathbf r, t ) \exp \left ( - i \Delta \mathbf K \mathbf r \right )$$

$$\underset { \text{cted} } { \text{The} } \quad \exp \left ( i \frac { \hbar } { m } \left ( K ^ { 2 } - Q ^ { 2 } + \frac { \overset { \mu } { \Delta K } ^ { 2 } } { 4 } \right ) t + 2 i \phi ( z ) - i \Phi \right ).$$

$$& \lim \lim _ { \substack { \text{allision} \\ \text{ected} \\ \text{eced} \text{ } } } M ( \mathbf K, \Delta \mathbf K ) = \frac { g } { i \hbar { ( } 2 \pi ) ^ { 3 } } \int _ { 0 } ^ { \infty } \mathrm d t \int \mathbf d \mathbf r \, \psi _ { c } ^ { 2 } ( \mathbf r, t ) \exp \left ( - i \Delta \mathbf K \mathbf r \right ) \\ & \exp \left ( i \frac { \hbar } { m } \left ( K ^ { 2 } - Q ^ { 2 } + \frac { \Delta \mathbf K ^ { 2 } } { 4 } \right ) t + 2 i \phi ( z ) - i \Phi \right ).$$

As written in the main body of the paper in the experiment the measured quantity is G (2) op ( R , ∆ R , T ) averaged over position R i.e.

$$G _ { o p } ^ { ( 2 ) } \left ( \Delta { \mathbf R }, T \right ) & = \int { \mathrm d } { \mathbf R } \, G _ { o p } ^ { ( 2 ) } \left ( { \mathbf R }, \Delta { \mathbf R }, T \right ) \\ & = \int { \mathrm d } { \mathbf R } \, \langle | M ( { \mathbf R }, \Delta { \mathbf R }, T ) | ^ { 2 } \rangle _ { c l }.$$

Substituting Eqs. (D1) and (D2) into the above we obtain

$$& G _ { o p } ^ { ( 2 ) } \left ( \Delta \mathbf R, T \right ) \simeq \left ( \frac { m } { h T } \right ) ^ { 2 } \frac { m Q } { h ^ { 3 } } \frac { 1 } { 4 ( 2 \pi ) ^ { 6 } } \int _ { 0 } ^ { \infty } \mathrm d t \int \mathrm d \Omega _ { \mathbf K } \\ & \left \langle \left | \int \mathrm d \Delta K _ { z } \, \exp \left ( i \Delta K _ { z } \, \frac { \Delta Z } { 2 } - i \frac { h \Delta K _ { z } ^ { 2 } } { 4 m } T \right ) \int \mathrm d \mathbf r \exp \left ( - i \Delta \mathbf K \mathbf r \right ) g \psi _ { \varepsilon } ^ { 2 } ( \mathbf r, t ) \exp \left ( 2 i \phi ( z ) - i \Phi \right ) \right | ^ { 2 } \rangle _ { c l }$$

where d R = ( glyph[planckover2pi1] T m ) 3 d K and we used the Dirac delta approximation described in [39].

above the variational ansatz solution of ψ c given by Eq. (19) we obtain

To continue with further calculation of the G (2) op function we now analyze the phase Φ. Due to the axial symmetry of the system we may take e K = (sin θ, 0 cos , θ ). As σ r glyph[lessmuch] σ z and sin θ &gt; √ 3 2 we approximate

$$\Phi ( { \mathbf r }, { \mathbf e } _ { \mathbf K }, t ) & \simeq \frac { 1 } { \sin \theta } \Phi ( { \mathbf r }, { \mathbf e } _ { x }, t ) \\ & \quad = \frac { 1 } { \sin \theta } \frac { m } { h ^ { 2 } Q } \int _ { - \infty } ^ { \infty } d s \, 2 g | \psi _ { c } ( x + s, y, z, t ) | ^ { 2 } \\. & \quad. \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \,. \,. \,. \,. \,. \,. \,. \,.$$

where we used Eqs. (31b) and (32). Inserting into the

$$\Phi ( y, z, \theta ) & \simeq \frac { 1 } { \sin \theta } \frac { 2 g m } { \hslash ^ { 2 } Q } \frac { n _ { 0 } \sigma _ { r } ^ { 2 } } { \sigma _ { r } ( t ) } \sqrt { \pi } \exp \left ( - \frac { y ^ { 2 } } { \sigma _ { r } ^ { 2 } ( t ) } - \frac { z ^ { 2 } } { \sigma _ { z } ^ { 2 } } \right ) \\ \intertext { w e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l e d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a l d e d a }$$

We find that the gradient of the phase φ z ( ) is much larger than ∂ z Φ. This makes us to approximate the integral

present in Eq. (D3) as

$$& \int d z \, \exp \left ( - i \Delta K _ { z } z \right ) \exp \left ( - \frac { z ^ { 2 } } { \sigma _ { z } ^ { 2 } } + 2 i \phi ( z ) - i \Phi ( y, z, \theta, t ) \right ) \quad \text{where} \\ & \approx \exp \left ( - i \widetilde { \Phi } ( y, \theta, t ) \right ) \int d z \, \exp \left ( - i \Delta K _ { z } z - \frac { z ^ { 2 } } { \sigma _ { z } ^ { 2 } } + 2 i \phi ( z ) \right ) \quad \text{where} \\ & \quad W ( \Delta Z,.$$

In the above we used the variational ansatz wave-function ψ c given by Eq. (19). We also introduced Φ( ˜ y, θ, t ) which is Φ( y, z, θ, t ) averaged over z with the condensate density exp ( -z 2 σ 2 z ) :

$$\widetilde { \Phi } ( y, \theta, t ) = \frac { \int d z \, \Phi ( y, z, \theta, t ) \exp \left ( - \frac { z ^ { 2 } } { \sigma _ { z } ^ { 2 } } \right ) } { \int d z \, \exp \left ( - \frac { z ^ { 2 } } { \sigma _ { z } ^ { 2 } } \right ) }.$$

Substituting Φ given by Eq. (D4) we obtain:

$$\widetilde { \Phi } ( \theta, y, t ) \simeq \Phi _ { 0 } \frac { 1 } { \sin \theta \sqrt { 1 + \tilde { \omega } ^ { 2 } t ^ { 2 } } } \exp \left ( - \frac { y ^ { 2 } } { \sigma _ { r } ^ { 2 } ( t ) } \right ) \quad ( \text{D} 6 ) \quad \text{The $\i$} } \quad \text{unifol}$$

where Φ 0 = 2 gmn σ 0 r glyph[planckover2pi1] 2 Q √ π 2 glyph[similarequal] 1 07. .

Inserting the approximation given by Eq. (D5) into Eq. (D3) we notice the presence of the function defined as

We notice that the above can be rewritten as

$$\Big ( | M _ { z } ( \Delta Z, T ) | ^ { 2 } \rangle _ { c l } = \int \mathrm d K _ { z } \, W \left ( \Delta Z - \frac { \hbar { T } } { m } K _ { z }, K _ { z } \right ) \\ \Big ) _ { \quad \dots h \dots }$$

where

$$i \phi ( \deg ) & \quad \cdots \cdots \\ & \quad W ( \Delta Z, K _ { z } ) = 2 \pi \int \mathrm d \Delta z \, \exp \left ( - i K _ { z } \Delta z - \frac { \Delta Z ^ { 2 } + \Delta z ^ { 2 } } { 2 \sigma _ { z } ^ { 2 } } \right ) \\ \intertext { \text{action} \\ \text{which} \\ \text{ensit} } & \quad \times \langle \exp \left ( 2 i \phi \left ( \frac { \Delta Z + \Delta z } { 2 } \right ) - 2 i \phi \left ( \frac { \Delta Z - \Delta z } { 2 } \right ) \right ) \rangle _ { c l } \\ \text{ensit} \quad & \quad. \quad \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \colon \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \ddots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots$$

is a Wigner function. Using the local density approximation we have

$$W ( \Delta Z, K _ { z } ) \simeq \exp \left ( - \frac { \Delta Z ^ { 2 } } { 2 \sigma _ { z } ^ { 2 } } \right ) \rho ( K _ { z } ) \quad \text{(D8)}$$

where

$$\ddots \cdots & \rho ( K _ { z } ) = 2 \pi \int \mathrm d \Delta z \, \exp \left ( - i K _ { z } \Delta z \right ) \\ & \times \langle \exp \left ( 2 i \phi \left ( \frac { \Delta z } { 2 } \right ) - 2 i \phi \left ( - \frac { \Delta z } { 2 } \right ) \right ) \rangle _ { c l }.$$

The above can be calculated using the formulas for 1D uniform system [47] arriving at

$$\rho ( K _ { z } ) = \frac { 2 \pi l _ { \phi } } { 1 + ( K _ { z } l _ { \phi } / 2 ) ^ { 2 } } _ { \omega _ { \omega _ { \omega _ { \omega _ { \omega _ { \omega _ { \omega _ { \omega _ { \omega _ { \omega _ { \omega _ { \omega _ { \omega _ { \omega _ { \omega _ { \omega _ { \omega _ { \omega _ { \omega _ { \omega _ { \omega _ { \omega _ { \omega _ { \omega _ { \omega _ { \omega _ { \omega _ { \omega _ { \omega _ { \omega _ { \omega _ { \omega _ { \omega _ { \omega _ { \omega _ { \ome _ { \omega _ { \ome _ { \omega _ { \ome _ { \omega _ { \ome _ { \ome _ { \ome _ { \ome _ { \ome _ { \ome _ { \ome _ { \ome _ { \ome _ { \ome _ { \ome _ { \ome _ { \ome _ { \ome _ { \ome _ { \ome _ { \ome _ { \ome _ { \ome _ { \ome _ { \ome _ { \ome _ { \ome _ { \ome _ { \ome _ { \ome _ { \ome _ { \ome _ { \ome _ { \ome _ { \ome _ { \ome _ { \ome _ { \ome _ { \ome _ { \ome _ { \ome _ { \ome _ { \ome _ { \ome _ { \ome _ { \ome _ { \ome _ { \ome _ { \ome _ { \ome _ { \ome _ { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { | \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \bar { \ } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } ) } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } { } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } \ } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } { \, \, \,$$

where l φ is the thermal coherence length given by Eq. (11). Introducing the function G (2) z (∆ Z, T ) Eq. (D7) can be rewritten as

$$M _ { z } ( \Delta Z, T ) = \int \text{d} \Delta K _ { z } \, \exp \left ( i \Delta K _ { z } \frac { \Delta Z } { 2 } - i \frac { \hbar { \Delta } K _ { z } ^ { 2 } } { 4 m } T \right ) \quad \text{when} \\ \underbrace { \int \text{d} z \exp \left ( - i \Delta K _ { z } z + 2 i \phi ( z ) - \frac { z ^ { 2 } } { \sigma _ { z } ^ { 2 } } \right ). \quad \text{when} } ^ { G }$$

$$G _ { z } ^ { ( 2 ) } ( \Delta Z, T ) = \int \mathrm d K _ { z } \, G _ { z } ^ { ( 2 ) } \left ( \Delta Z - \frac { \hbar { T } } { m } K _ { z }, 0 \right ) \rho ( K _ { z } )$$

where we used Eq. (D8) and G (2) z (∆ Z, 0) = exp ( -∆ Z 2 2 σ 2 z ) . From Eqs. (52), (D5), (19), (D3) and (53) we obtain

$$G _ { \rho } ^ { ( 2 ) } ( \Delta R, e _ { \mathbf K }, t ) & = C \frac { \pi } { ( 1 + \tilde { t } ^ { 2 } ) \sqrt { 1 + \tilde { t } ^ { 2 } \frac { \sigma _ { \tilde { t } ^ { 2 } } } { \tilde { a } _ { h o r } } } } \exp \left ( - \frac { 1 } { 2 } \Delta K ^ { 2 } \cos ^ { 2 } \phi \frac { 1 + \tilde { t } ^ { 2 } } { 1 + \tilde { t } ^ { 2 } \frac { \sigma _ { \tilde { a } _ { h o r } } ^ { 2 } } { \tilde { a } _ { h o r } } } \right ) \\ & \quad \left | \int d \tilde { y } \, \exp \left ( - i \Delta K \sin \phi \tilde { y } - i \Phi ( \theta, \sigma _ { r } \tilde { y }, \tilde { t } / \bar { \omega } ) - \frac { \tilde { y } ^ { 2 } } { 1 + \tilde { t } ^ { 2 } } \left ( 1 - i \tilde { t } \frac { \sigma _ { r } ^ { 2 } } { \tilde { a } _ { h o r } ^ { 2 } } \right ) \right ) \right | ^ { 2 }$$

where ∆ K = mσ r ∆ R glyph[planckover2pi1] T , ˜ = ˜ , ˜ = t ωt y y/σ r and

$$C & = \left ( \frac { m } { \hbar { T } } \right ) ^ { 2 } \frac { m Q } { \hbar { ^ { 3 } } } \frac { 1 } { 4 ( 2 \pi ) ^ { 6 } } \left ( g n _ { 0 } \right ) ^ { 2 } \sigma _ { r } ^ { 4 }. \\ & = \left ( \frac { m } { \hbar { T } } \right ) ^ { 2 } \frac { 1 } { 1 6 \pi ^ { 4 } } \frac { \hbar { Q } } { m } n _ { 0 } ^ { 2 } a ^ { 2 } \sigma _ { r } ^ { 4 } \\. & \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot$$

that in the experiment the averaging over the solid angles Ω K is performed only over part of the sphere i.e. for π 3 &lt; θ &lt; 2 π 3 [11].

In the above we used standard parametrization e K = (sin θ cos φ, sin θ sin φ, cos θ ). It is important to mention

We also calculate the above neglecting the phase Φ.

Than it can be integrated arriving at

$$G _ { \rho } ^ { ( 2 ) } ( \Delta R, \mathbf e _ { \mathbf K }, t ) = \frac { C \pi ^ { 2 } } { \left ( 1 + \tilde { t } ^ { 2 } \frac { \sigma _ { r } ^ { 4 } } { \tilde { a } _ { h o r } ^ { 4 } } \right ) } \exp \left ( - \frac { 1 } { 2 } \Delta K ^ { 2 } \frac { 1 + \tilde { t } ^ { 2 } } { 1 + \tilde { t } ^ { 2 } \frac { \sigma _ { r } ^ { 4 } } { \tilde { a } _ { h o r } ^ { 4 } } } \right )$$

- [1] A. Aspect, Nature 398 , 189 (1999).
- [2] C. K. Hong, Z. Y. Ou, and L. Mandel, Phys. Rev. Lett. 59 , 2044 (1987).
- [3] Baris I. Erkmen and Jeffrey H. Shapiro, Adv. Opt. Photon. 2 , 405 (2010).
- [4] M. Bonneau, J. Ruaudel, R. Lopes, J.-C. Jaskula, A. Aspect, D. Boiron, and C. I. Westbrook, Phys. Rev. A 87 , 061603(R) (2013).
- [5] R. B¨ ucker, J. Grond,S. Manz, T. Berrada, T. Betz, C. Koller, U. Hohenester, T. Schumm, A. Perrin, and J. Schmiedmayer, Nat. Phys. 7 , 608 (2011).
- [6] J. M. Vogels, K. Xu, and W. Ketterle, Phys. Rev. Lett. 89 , 020401 (2002).
- [7] A. Perrin, H. Chang, V. Krachmalnicoff, M. Schellekens, D. Boiron, A. Aspect, and C. I. Westbrook, Phys. Rev. Lett. 99 , 150405 (2007).
- [8] V. Krachmalnicoff, J.-C. Jaskula, M. Bonneau, V. Leung, G. B. Partridge, D. Boiron, C. I. Westbrook, P. Deuar, P. Zi´, M. Trippenbach, and K. V. Kheruntsyan, Phys. n Rev. Lett. 104 , 150402 (2010).
- [9] J.-C. Jaskula, M. Bonneau, G. B. Partridge, V. Krachmalnicoff, P. Deuar, K. V. Kheruntsyan, A. Aspect, D. Boiron, and C. I. Westbrook, Phys. Rev. Lett. 105 , 190402 (2010).
- [10] P. Deuar, T. Wasak, P. Zi´, n J. Chwede´ nczuk, and M. Trippenbach, Phys. Rev. A 88 , 013617 (2013).
- [11] K. V. Kheruntsyan, J.-C. Jaskula, P. Deuar, M. Bonneau, G. B. Partridge, J. Ruaudel, R. Lopes, D. Boiron, and C. I. Westbrook, Phys. Rev. Lett. 108 , 260401 (2012).
- [12] T. Wasak, P. Sza´kowski, P. Zi´, M. Trippenbach, and n n J. Chwede´czuk, Phys. Rev. A n 90 , 033616 (2014).
- [13] T. Wasak, P. Sza´kowski, n M. Trippenbach, and J. Chwedeczuk, Quantum Information Processing 15 , 269 (2015).
- [14] Tomasz Wasak, Augusto Smerzi, and Jan Chwede´czuk, n Scientific Reports 8 , 1777 (2018).
- [15] R. J. Lewis-Swan, and K. V. Kheruntsyan, Nat. Commun. 5 , 3752 (2014).
- [16] R. Lopes, A. Imanaliev, A. Aspect, M. Cheneau, D. Boiron, and C. I. Westbrook, Nature 520 , 66 (2015).
- [17] R. I. Khakimov, B. M. Henson, D. K. Shin, S. S. Hodgman, R. G. Dall, K. G. H. Baldwin, and A. G. Truscott, Nature 540 , 100 (2016).
- [18] S.S. Hodgman, W. Bu, S.B. Mann, R.I. Khakimov, and A.G. Truscott, Phys. Rev. Lett. 122 , 233601 (2019).
- [19] D. K. Shin, B. M. Henson, S. S. Hodgman, T. Wasak, J. Chwedenczuk, A. G. Truscott, arXiv:1811.05681 (2018).
- [20] D. K. Shin, J. A. Ross, B. M. Henson, S. S. Hodgman, A. G. Truscott, arXiv:1906.08958 (2019).
- [21] R. J. Lewis-Swan, K. V. Kheruntsyan, Phys. Rev. A 91 , 052114 (2015).
- [22] T. Wasak, J. Chwede´czuk, Phys. Rev. Lett. n 120 , 140406 (2018).
- [23] T. Wasak, P. Sza´kowski, R. B¨cker, J. Chwede´czuk, n u n and M. Trippenbach, New J. Phys., 16 , 013041 (2014).
- [24] D. Boiron, A. Fabbri, P.- ´ E Larr´ e, N. Pavloff, C. I. Westbrook, and P. Zi´, Phys. Rev. Lett. n 115 , 025301 (2015).
- [25] M. Keller, M. Kotyrba, F. Leupold, M. Singh, M. Ebner, and A. Zeilinger, Phys. Rev. A 90 , 063607 (2014).
- [26] V. A. Yurovsky, Phys. Rev. A 65 , 033605 (2002).
- [27] R. Bach, M. Trippenbach, K. Rz¸ a˙ zewski, Phys. Rev. A 65 , 063605 (2002).
- [28] P. Zi´, n J. Chwede´ nczuk, A. Veitia, K. Rz¸ a˙ zewski, M. Trippenbach, Phys. Rev. Lett. 94 , 200401 (2005).
- [29] P. Zi´, J. Chwede´czuk, M. Trippenbach, Phys. Rev. A n n 73 , 033602 (2006).
- [30] J. Chwede´czuk, P. Zi´, K. Rz¸˙ zewski, M. Trippenbach, n n a Phys. Rev. Lett. 97 , 170404 (2006).
- [31] P. Deuar, and P. D. Drummond, Phys. Rev. Lett. 98 , 120402 (2007).
- [32] J. Chwede´czuk, P. Zi´, M. Trippenbach, A. Perrin, V. n n Leung, D. Boiron, C.I. Westbrook, Phys. Rev. A 78 , 053605 (2008).
- [33] P. Deuar, J. Chwede´czuk, M. Trippenbach, and P. Zi´, n n Phys. Rev. A 83 , 063625 (2011).
- [34] A. A. Norrie, R. J. Ballagh, and C. W. Gardiner, Phys. Rev. Lett. 94 , 040401 (2005).
- [35] A. A. Norrie, R. J. Ballagh, and C. W. Gardiner, Phys. Rev. A 73 , 043617 (2006).
- [36] K. Molmer, A. Perrin, V. Krachmalnicoff, V. Leung, D. Boiron, A. Aspect, C. I. Westbrook, Phys. Rev. A 77 , 033601 (2008).
- [37] A. Perrin, C. M. Savage, D. Boiron, V. Krachmalnicoff, C. I. Westbrook, and K. V. Kheruntsyan, New J. Phys. 10 , 045021 (2008).
- [38] M. Ogren, K. V. Kheruntsyan, Phys. Rev. A 79 , 021606(R) (2009).
- [39] Paweglyph[suppress] l Zi´, n Tomasz Wasak, Phys. Rev. A 97 , 043620 (2018).
- [40] D.S. Petrov, D.M. Gangardt and G.V. Shlyapnikov, J. Phys. IV France 116 , 5-44 (2004)
- [41] F. Gerbier, Eur. Phys. Lett. 66 , 771 (2004)
- [42] T. Wasak, J. Chwede´czuk, P. Zi´, and M. Trippenbach, n n Phys. Rev. A 86 , 043621 (2012).
- [43] S. Moal, M. Portier, J. Kim, J. Dugue, U. D. Rapol, M. Leduc, and C. Cohen-Tannoudji, Phys. Rev. Lett. 96 , 023203 (2006).
- [44] Marek Trippenbach, Y. B. Band, and P. S. Julienne, Phys. Rev. A 62 , 023608 (2000).
- [45] We neglect the quantum depletion of the condensates since we are interested in the scattered particles.
- [46] M. Schellekens, R. Hoppeler, A. Perrin, J. Viana Gomes, D. Boiron, A. Aspect, C. I. Westbrook, Science 310 , 648 (2005).
- [47] I. Bouchoule, M. Arzamasovs, K. V. Kheruntsyan, and D. M. Gangardt, Phys. Rev. A 86 , 033626 (2012)
Pawel Zin Tomasz Wasak Denis Boiron Christoph I. Westbrook
Pair correlation of atoms scattered from colliding Bose-Einstein quasicondensates
A collision of Bose-Einstein condensates is a useful source of single
nonclassically correlated pairs of atoms. Here, we consider elastic scattering
of atoms from elongated clouds taking into account an effective, finite
duration of the collision due to the expansion of the condensates. Also, we
include the quasicondensate nature of the degenerate quantum gases, due to a
finite temperature of the system. We evaluate the pair correlation function
measured experimentally in K. V. Kheruntsyan, et. al. Phys. Rev. Lett. 108,
260401 (2012). We show that the finite duration of the collision is an
important factor determining the properties of the correlations. Our analytic
calculations are in agreement with the measurements. The analytical model we
provide, useful for identifying physical processes that influence the
correlations, is relevant for experiments with nonclassical pairs of atoms.