1: %revised 22 may 1:09 pm

2: %Jens's typos been corrected 9.April

3: %revised 19.march.2003

4: %sent to PRA and cond-mat

5: \documentclass[pra,aps,twocolumn,showpacs,tightenlines]{revtex4}

6: \usepackage{graphics,bm}

7: \usepackage{graphicx}

8: \newcommand{\beq}{\begin{equation}}

9: \newcommand{\eeq}{\end{equation}}

10: \newcommand{\bqa}{\begin{eqnarray}}

11: \newcommand{\eqa}{\end{eqnarray}}

12: \protect

13: 

14: 

15: \begin{document}

16: 

17: \title{Dimensional and Temperature Crossover in Trapped Bose Gases}

18: \author{U. Al Khawaja$,^1$\footnote{Present Address: Physics Department,

19: United Arab Emirates University, P.O. Box 17551, Al-Ain, United

20: Arab Emirates.} N.P. Proukakis,$^{2}$ J.O.

21: Andersen$,^1$\footnote{Present Address: Nordita, Blegdamsvej 17,

22: 2100 Copenhagen, Denmark. } M. W. J. Romans,$^1$ and H.T.C.

23: Stoof$^1$} \affiliation{ \it $^1$Institute for Theoretical

24: Physics, University of Utrecht, Leuvenlaan 4, 3584 CE Utrecht, The

25: Netherlands

26: \\$^{2}$Department of Physics, University of Durham,

27: South Road, Durham DH1 3LE, United Kingdom.}

28: 

29: \date{\today}

30: 

31: 

32: \begin{abstract}

33: We investigate the long-range phase coherence of homogeneous and

34: trapped Bose gases as a function of the geometry of the trap, the

35: temperature, and the mean-field interactions in the weakly

36: interacting limit. We explicitly take into account the

37: (quasi)condensate depletion due to quantum and thermal

38: fluctuations, i.e., we include the effects of both phase and

39: density fluctuations. In particular, we determine the phase

40: diagram of the gas by calculating the off-diagonal one-particle

41: density matrix and discuss the various crossovers that occur in

42: this phase diagram and the feasibility of their experimental

43: observation in trapped Bose gases.

44: \end{abstract}

45: 

46: 

47: \pacs{03.75.Fi, 67.40.-w, 32.80.Pj}

48: 

49: %\begin{multicols}{2}

50: \maketitle

51: 

52: \section{Introduction}

53: \label{into}

54: 

55: The weakly-interacting Bose gas in three dimensions has been

56: studied in great detail over the past 50 years~\cite{grif}. Below

57: a critical temperature $T_c\simeq({2\pi\hbar^2/mk_B})

58: \left[n/\zeta(3/2)\right]^{2/3}$, where $n$ is the total density,

59: the gas is in a Bose-Einstein condensed state. As with almost all

60: thermodynamic phase transitions in three dimensions, a

61: Bose-Einstein condensate leads to long-range order in the system.

62: In this particular case, the long-range order is determined by the

63: behavior of the off-diagonal one-particle density matrix

64: $\langle\psi^{\dagger}({\bf x})\psi({\bf 0})\rangle$. If the

65: one-particle density matrix goes to a constant $n_c$ in the limit

66: $|{\bf x}|\rightarrow\infty$, a Bose-Einstein condensate is present

67: and $n_c$ is the condensate density.

68: 

69: The physics of one and two-dimensional Bose gases is very

70: different from that of the three-dimensional one, which makes

71: these low-dimensional systems very interesting. From a theoretical

72: point of view, this difference is caused by the enhanced

73: importance of the phase fluctuations~\cite{mullin,jason,1d,2d}. In

74: fact, the phase fluctuations are so large that in a homogeneous

75: one-dimensional Bose gas at all temperatures and in a homogeneous

76: two-dimensional Bose gas at any nonzero temperature, Bose-Einstein

77: condensation cannot take place. This is the content of the

78: Mermin-Wagner-Hohenberg theorem~\cite{mermin,hohen}.

79: 

80: A natural question then arises: What happens if we have a large

81: three-dimensional box with a Bose-Einstein condensed gas and

82: squeeze two of the sides so as to obtain a one-dimensional system?

83: Similarly, what happens if we take the same box containing a

84: Bose-Einstein condensed gas at a nonzero temperature and squeeze

85: one of the sides so that a two-dimensional system results? These

86: are questions that we would like to address in the present paper.

87: Until recently, these questions could not be discussed on the

88: basis of a microscopic theory, since no accurate equation of state

89: existed for one and two-dimensional Bose gases. However, we have

90: recently developed an improved many-body T-matrix theory for

91: partially Bose-Einstein condensed atomic gases by treating the

92: phase fluctuations exactly~\cite{jh,jhun}. This mean-field theory

93: is valid in arbitrary dimensions and accounts also for the

94: (quasi)condensate depletion. It is therefore very suitable for

95: describing the crossovers mentioned above.

96: 

97: Low-dimensional Bose gases are presently receiving a large amount

98: of attention due to the recent experimental realization of one-

99: and two-dimensional condensates in

100: traps~\cite{exp100,lowdketterle} as well as one-dimensional gases

101: on microchips~\cite{{exp200},{exp500},{exp300}}. Because these

102: experiments deal with trapped, and therefore inhomogeneous, Bose

103: gases it is important to consider this situation as well. The

104: Mermin-Wagner-Hohenberg theorem~\cite{mermin,hohen} theorem is

105: valid only in the thermodynamic limit, and so does not immediately

106: apply to trapped Bose gases. In the trapped case, it turns out

107: that under certain conditions the phase is coherent over a

108: distance of the order of the size of the system and a ``true''

109: condensate is present. Under other conditions, the phase is

110: coherent over a distance less than the size of the system and only

111: a so-called ``quasicondensate''~\cite{popov} is

112: present~\cite{mullin,jason,2d,1d}. In fact, this situation can

113: even occur in elongated three-dimensional Bose gases

114: \cite{{petrov22},new,orsay1,{aspect},hannover1,walraven1}. As a

115: result, similar questions as above arise: What happens to the

116: phase fluctuations in a one-dimensional trapped Bose gas as we

117: vary the temperature and the trap frequency? This is another

118: question that we consider here.

119: 

120: The paper is organized as follows. In Sec.~\ref{sec1}, we briefly

121: discuss the modified Popov theory presented in

122: Refs.~\cite{jh,jhun}. In Sec.~\ref{sec2}, we discuss dimensional

123: crossovers and finite-size effects in a homogeneous Bose gas. In

124: Sec.~\ref{sec3}, the temperature crossover in both homogeneous and

125: trapped Bose gases in one dimension is examined. Finally, we

126: summarize and conclude in Sec.~\ref{conc}.

127: 

128: 

129: 

130: 

131: \begin{figure}[htb]

132: %\epsfysize=5cm

133: \begin{center}

134: \includegraphics[width=8cm]{fig1.eps}

135: \end{center}

136: \caption[a]{%\narrowtext

137: Illustration of the geometry for a) the dimensional crossover from

138: a three-dimensional to a one-dimensional Bose gas, and b) the

139: dimensional crossover from a three-dimensional to a

140: two-dimensional Bose gas.} \label{fig1}

141: \end{figure}

142: 

143: 

144: 

145: 

146: \section{Modified Popov Theory}

147: \label{sec1}

148: 

149: It is well known that the usual Popov theory for partially

150: Bose-Einstein condensed gases suffers from infrared divergences in

151: the equation of state at all temperatures in one dimension and at

152: any nonzero temperature in two dimensions. These infrared problems

153: arise because only quadratic fluctuations around the mean field

154: have been taken into account. Specifically, the annihilation

155: operator for the field is written as $\hat{\psi}({\bf

156: x})=\sqrt{n_0}+\hat{\psi}^{\prime}({\bf x})$ and terms in the

157: Hamiltonian that are of third order or higher in the fluctuating

158: field $\hat{\psi}^{\prime}({\bf x})$ are neglected. In

159: Refs.~\cite{jh,jhun}, it was shown that the problem of infrared

160: divergences in the equation of state can be solved by taking into

161: account phase fluctuations exactly and not only up to second

162: order. The quadratic contribution to the density from the phase

163: fluctuations is $n_0\langle\hat{\chi}({\bf x})\hat{\chi}({\bf

164: x})\rangle$, while an exact result would give no contribution at

165: all. This follows from the identity $n_0\langle

166: e^{-i\hat{\chi}({\bf x})} e^{i\hat{\chi}({\bf x})} \rangle =

167: n_0\left(1 + \langle \hat{\chi}({\bf x})\hat{\chi}({\bf x})

168: \rangle + \dots\right) =1$. In order to obtain the correct result,

169: we must therefore subtract the quadratic contribution from the

170: phase fluctuations. This ultimately results in the following

171: expressions for the density $n$ and chemical potential $\mu$

172: \begin{eqnarray}\nonumber

173: n&=&n_0+{1\over V}\sum_{\bf k}

174: \Bigg[

175: {\epsilon_{\bf k}-\hbar\omega_{\bf k}\over2\hbar\omega_{\bf k}}

176: +{n_0T^{\rm 2B}(-2\mu)\over2\epsilon_{\bf k}+2\mu}

177: %\right.

178: \\&&

179: +{\epsilon_{\bf k}\over\hbar\omega_{\bf k}} N(\hbar\omega_{\bf k})

180: \Bigg] \;, \label{h1} \\

181: \mu&=&(2n-n_0)T^{\rm 2B}(-2\mu) \label{h2} =(2n'+n_0)T^{\rm

182: 2B}(-2\mu) \;,

183: \end{eqnarray}

184: where $n_0$ is the (quasi)condensate density and $n'=n-n_0$

185: represents the depletion of the (quasi)condensate due to quantum

186: and thermal fluctuations. It is important to point out that this

187: theory takes the (quasi)condensate depletion into account, and can

188: thus work even in the limit of $n_0/n \ll 1$, as will become

189: apparent in subsequent sections. The Bogoliubov quasiparticle

190: dispersion relation is given by $\hbar\omega_{\bf k}

191: =\left[\epsilon_{\bf k}^2+2n_0T^{\rm 2B}(-2\mu)\epsilon_{\bf

192: k}\right]^{1/2}$, where $\epsilon_{\bf k}=\hbar^2{\bf k}^2/2m$.

193: Note also that the energy argument of the $T$-matrix is $-2\mu$,

194: because this is precisely the energy it costs to excite two atoms

195: from the condensate~\cite{schick,fisher}.

196: 

197: 

198: The Bose distribution function is given by

199: $N(\varepsilon)=1/[\exp(\varepsilon/k_BT)-1]$, where $k_B$ is the

200: Boltzmann constant and $T$ is the temperature. In addition,

201: $T^{\rm 2B}$ is the two-body $T$-matrix and $V$ is the volume of

202: the system. The two-body $T$ matrix takes into account successive

203: two-particle scattering in the vacuum, but neglects many-body

204: effects of the medium. These many-body effects can be taken into

205: account by using the many-body $T$ matrix instead of the two-body

206: $T$-matrix~\cite{jhun}. For simplicity we shall use the two-body

207: $T$-matrix for the most part of this work. However, in Sec. IV B

208: we will actually use the many-body T-matrices to make the

209: calculations for the trapped case as accurate as possible.

210: 

211: 

212: It is important to realize that the momentum sum on the right-hand

213: side of Eq.~(\ref{h1}) includes the term with ${\bf k}={\bf 0}$.

214: This is a result of the fact that if we include fluctuations we

215: have that $\langle\hat{\psi}_{\bf 0}^{\dagger}\hat{\psi}_{\bf

216: 0}\rangle$, where ${\hat\psi}_{\bf 0}=\int{d{\bf x

217: }({\hat\psi}({\bf x})/V)}$, is not exactly equal to $n_0$. This

218: difference is most important at nonzero temperatures and by taking

219: the limit ${\bf k}\rightarrow{\bf 0}$ in Eq.~(\ref{h1}), we find

220: that the contribution from the zero-momentum state to the density

221: equals $n_0+(1/V)(k_BT/2n_0T^{2B})$. This result can be physically

222: understood by realizing that $\langle\hat{\psi}_{\bf

223: 0}^{\dagger}\hat{\psi}_{\bf 0}\rangle$ can be found by calculating

224: the average of $|\psi_0|^2$ with a probability distribution that

225: obeys \bqa P(|\psi_0|)=e^{-{VT^{2B}\over k_BT}

226: \left(-n_0|\psi_0|^2+{1\over2}|\psi_0|^4\right)}\;. \eqa To be

227: consistent, the above calculation has to be performed in the

228: Bogoliubov approximation as well.

229: 

230: 

231: 

232: 

233: 

234: 

235: 

236: 

237: We define the normalized  first-order

238: correlation function $g({\bf x})$ by

239: \begin{equation}

240: \langle{\hat\psi}^\dagger({\bf x}){\hat\psi({\bf0})}\rangle=

241: \sqrt{n_0({\bf x})n_0({\bf 0})}\;g({\bf x})\;.

242: \label{nfi}

243: \end{equation}

244: In the large-$|{\bf x}|$ limit, it thus takes the form

245: \begin{equation}

246: g({\bf x})\simeq e^{-{1\over2}\langle\left[\hat{\chi}({\bf

247: x})-\hat{\chi}({\bf 0})\right]^2 \rangle}\;. \label{d11}

248: \end{equation}

249: For a homogeneous Bose gas, the phase fluctuations are determined

250: by~\cite{jh,jhun} \bqa\nonumber \langle\left[\hat{\chi}({\bf

251: x})-\hat{\chi}({\bf 0})\right]^2\rangle &=&{T^{\rm 2B}(-2\mu)\over

252: V}\sum_{\bf k}\Bigg[ {1\over\hbar\omega_{\bf k}}

253: \left[1+2N(\hbar\omega_{\bf k})\right]

254: \\&&

255: -{1\over\epsilon_{\bf k}+\mu}\Bigg] \left[1-\cos({\bf

256: k}\!\cdot\!{\bf x})\right] \;. \label{usa1} \eqa The analogous

257: expression for the one-dimensional harmonically confined

258: condensate has also been calculated. In the Thomas-Fermi limit and

259: neglecting quantum fluctuations, it reads \cite{jhun}

260: \begin{eqnarray}\nonumber

261: &&\langle \left[ \hat{\chi}(z)-\hat{\chi}(0) \right]^2 \rangle

262: ={4\pi \kappa l_z^4\over R_{\rm TF}^3} \sum_{j=0}N(\hbar\omega_j)

263: \\ \nonumber

264: &\times&\Bigg[ A_j^2\left(P_j(z/R_{\rm TF})-P_j(0)\right)^2

265: \\

266: &-&B_j^2\left({P_j(z/R_{\rm TF})\over 1-(z/R_{\rm

267: TF})^2}-P_j(0)\right)^2 \Bigg]\;, \label{chifinal}

268: \end{eqnarray}

269: where $A_j=\sqrt{(j+1/2)\mu^\prime/\hbar\omega_j}$,

270: $B_j=\sqrt{(j+1/2)\hbar\omega_j/\mu^\prime}$, and $P_j(z)$ is the

271: Legendre polynomial of order $j$. Here $\mu^\prime=\mu-2\kappa

272: n^\prime(0)$, $n^\prime(0)$ is depletion in the center of the

273: trap, and the coupling constant $\kappa=a/2\pi\ell_\perp^2$

274: results from averaging the three-dimensional two-body $T$-matrix, which is

275: equal to $4\pi a \hbar^2/m$ with $a$ the $s$-wave scattering

276: length, over the cross-sectional area of the one-dimensional

277: condensate. Furthermore, $\ell_\perp$ is the harmonic oscillator

278: length in the radial direction. In the axial direction, the trap

279: length is $\ell_z=\sqrt{\hbar/m\omega_z}$ where $\omega_z$ is the

280: harmonic oscillator frequency in the $z$-direction. The quantity

281: $R_{\rm TF}$ denotes the temperature-dependent Thomas-Fermi

282: radius, defined by the point at which the quasicondensate density

283: $n_0(z)=(\mu^\prime-V^{\rm trap}(z))$ vanishes. Here $V^{\rm

284: trap}(z)$ is the harmonic trapping potential in the axial

285: direction. The frequencies $\omega_j$ are given by

286: $\omega_j=\sqrt{j(j+1)/2}\;\omega_z$.

287: 

288: If the function $g({\bf x})$ aproaches a constant in the

289: large-$|{\bf x}|$ limit, the system contains a true Bose-Einstein

290: condensate. If $g({\bf x})$ goes to zero algebraically in the

291: limit $|{\bf x}|\rightarrow\infty$, the system is said to contain a

292: quasicondensate. Finally, if $g({\bf x})$ goes to zero

293: exponentially fast, the system is in the normal state. In the

294: following, we calculate the correlation function $g({\bf x})$ for

295: various situations.

296: 

297: 

298: 

299: 

300: 

301: 

302: \section{Dimensional Crossover in a Homogeneous Bose Gas}

303: \label{sec2} In this section, we investigate the dimensional

304: crossover from three to one dimension at zero temperature, as well

305: as the dimensional crossover from three to two dimensions at

306: nonzero temperature. The relevant geometry is illustrated in

307: Fig.~\ref{fig1}.

308: 

309: \subsection{Crossover from three dimensions to one dimension at zero temperature}

310: We consider a uniform Bose gas in a box with lengths $L_x$, $L_y$,

311: and $L_z$ and impose

312: periodic boundary conditions.

313: Due to the boundary conditions, the three components of the wave vector

314: $\bf k$ take on discrete values, i.e.,

315: $k_i=2\pi n_i/L_i$, where $i=x$, $y$, $z$ and $n_i$ is an integer.

316: Substituting this into Eq.~(\ref{usa1}), we obtain

317: \begin{eqnarray}\nonumber

318: \langle \left[\hat{\chi}(z)-

319:              \hat{\chi}({0}) \right]^2 \rangle&=&

320:  {1\over2N_0}\sum_{n_x,n_y,n_z}

321: \left[{1\over\sqrt{\left(k\xi\right)^4

322: +\left(k\xi\right)^2}}\right.

323: \\ &&

324: \left.-{1\over \left(k\xi\right)^2+{1\over2}}\right]

325: \left[1-\cos\left({n_z z\over \lambda_z\xi}\right)\right]\;.

326:  \label{gen1}

327: \end{eqnarray}

328: where $N_0$ is the number of atoms in the (quasi)condensate,

329: $\lambda_z=L_z/2\pi\xi$, and

330: $\xi=\hbar/[4mn_0T^{\rm 2B}(-2\mu)]^{1/2}$ is the correlation

331: length. Note that we have neglected the contribution from

332: $n^{\prime}$ to the chemical potential, which is a good

333: approximation in the weak-coupling limit we are considering. Note

334: that the argument of the cosine has been simplified by choosing

335: the direction of $\bf x$ to be along the $z$-axis.

336: 

337: For very elongated systems, one side of the box, is much larger

338: than the other two, and we choose $L_z\gg L_x,L_y$. If we

339: also take $L_z$ to be much larger than the correlation length, we

340: can approximate the sum over $n_z$ by an integral. In the limit

341: $z/\xi\gg1$, we obtain

342: \begin{eqnarray}

343: \langle \left[\hat{\chi}(z)-

344:              \hat{\chi}({0}) \right]^2 \rangle&

345: %\stackrel{z/\xi\longrightarrow\infty}\longrightarrow

346: =& {\lambda_z\over N_0}

347: \Bigg[\gamma-{\pi\over\sqrt{2}}+\ln{2}+\ln{\left({z\over\xi}\right)}

348: \nonumber\\

349: &&\hspace{-2cm}

350: +\sum_{n_x,n_y}\!\!^{\prime}\left[

351: {K_0\left(-{1\over t_{x,y}}\right)\over\sqrt{t_{x,y}}}

352: %-{1\over\left({n_x\over\lambda_x}\right)^2

353: %+\left({n_y\over\lambda_y}\right)^2}

354: %\right)

355: %\left({n_x\over\lambda_x}\right)^2

356: %+\left({n_y\over\lambda_y}\right)^2}}

357: -{\pi\over2\sqrt{t_{x,y}}+{1\over2}}

358: %\left({n_x\over\lambda_x}\right)^2

359: %+\left({n_y\over\lambda_y}\right)^2+{1\over2}}}

360: \right]\Bigg]\;, \label{gen2}

361: \end{eqnarray}

362: where \bqa t_{x,y}=

363: \left({n_x\over\lambda_x}\right)^2+\left({n_y\over\lambda_y}\right)^2

364: \eqa and the prime on the sum indicates that the term where

365: $n_x=n_y=0$ is omitted. Here $K_0(z)$ is a modified Bessel

366: function of the second kind, $\lambda_{x,y}=L_{x,y}/2\pi\xi$, and

367: $\gamma\simeq 0.5772$ is Euler's constant.

368: 

369: The one-dimensional limit is obtained by letting

370: $L_{x,y}\rightarrow0$. This is equivalent to keeping only the

371: first term in the right-hand side of Eq.~(\ref{gen2}), thus

372: \bqa\nonumber \langle \left[\hat{\chi}(z)-

373:              \hat{\chi}({0}) \right]^2 \rangle

374: %&\stackrel{z/\xi\longrightarrow\infty}\longrightarrow&

375: &=&

376:              {1\over2\pi{n_0}\xi}

377: \left[\gamma-{\pi\over\sqrt{2}}+\ln2\right.

378: \\

379: &&\left.

380: +\ln{\left({z\over\xi}\right)}\right]\;,

381:              \label{gen3}

382: \eqa where $n_0=N_0/L_z$ is the one-dimensional quasicondensate

383: density. The result~(\ref{gen3}) shows that the correlation

384: function $g(z)$ at large distances falls off algebraically with

385: the exponent $\eta=1/4\pi n_0\xi$. In the weakly-interacting limit

386: $4\pi n\xi\gg1$ the depletion is small, so that we indeed have

387: that $n_0\simeq n$. Keeping this in mind, Eq.~(\ref{gen3}) is in

388: complete agreement with the exact result obtained by

389: Haldane~\cite{haldane}.

390: 

391: 

392: The three-dimensional limit it obtained by letting $L_{x,y}\rightarrow\infty$.

393: The discrete sums in Eq.~(\ref{gen2}) then become integrals.

394: Performing the integrations, we obtain in the limit $z/\xi\rightarrow\infty$

395: \begin{equation}

396: \langle \left[\hat{\chi}(z)-

397:              \hat{\chi}({0}) \right]^2 \rangle=

398:              {\sqrt{2}\pi-4\over16\pi^2\;{n_0\xi^3}}

399:              \label{gen4}\;,

400: \end{equation}

401: where $n_0=N_0/L_xL_yL_z$ is now the three-dimensional

402: quasicondensate density. Eq.~(\ref{gen4}) shows that the

403: correlation function in three dimensions goes to a constant, so we

404: have a ``true'' condensate. Note, however, that in three

405: dimensions the exponent in Eq.~(\ref{d11}) does not vanish and

406: therefore that $n_0$ appearing in Eqs.~(\ref{h1}) and (\ref{h2})

407: is not exactly equal to the condensate density $n_c$. In fact,

408: Eq.~(\ref{gen4}) shows that the condensate density $n_c$ is given

409: by \bqa\nonumber

410: n_c&=&n_0\exp\left({4-\sqrt{2}\pi\over32\pi^2\;{n_0\xi^3}}\right)\\

411: &=&n\left[1-{8\over3}\sqrt{{na^3}\over\pi}+O(na^3)\right]\;, \eqa

412: where $n$ is the total density of the gas. This result is in full

413: agreement with that of the Popov or Bogoliubov theory.

414: 

415: 

416: The dimensional crossover behavior can be investigated in detail from

417: Eq.~(\ref{gen2}) by calculating the phase fluctuations $\langle

418: \left[\hat{\chi}(z)-\hat{\chi}({0}) \right]^2 \rangle$ for

419: different finite values of $\lambda_x$ and $\lambda_y$. Comparing

420: Eqs.~(\ref{gen3}) and~(\ref{gen4}), it follows that the phase

421: fluctuations scale with the product $\lambda_x\lambda_y$ in the

422: three-dimensional limit. In order to plot the phase fluctuations

423: for different sizes of the box, it is therefore convenient to

424: multiply $\langle \left[\hat{\chi}(z)-\hat{\chi}({0})

425: \right]^2\rangle$ by a scaling function $f(\lambda_x,\lambda_y)$

426: that goes to $1/\lambda_x\lambda_y$ in the three-dimensional

427: limit. Moreover, it follows from Eq~(\ref{gen3}), that

428: $f(\lambda_x,\lambda_y)$ must approach unity in the one-dimensinal

429: limit. A simple choice for a scaling function that has these

430: properties is \bqa

431: f(\lambda_x,\lambda_y)&=&{1\over(\lambda_x+1)(\lambda_y+1)}\;.

432: \eqa In the following, we take $\lambda_x=\lambda_y=\lambda$ for

433: simplicity.

434: 

435: 

436: \begin{figure}[htb]

437: %\epsfysize=5cm

438: \begin{center}

439: \includegraphics[width=8cm]{fig2.eps}

440: \end{center}

441: \caption[a]{%\narrowtext

442: Zero-temperature crossover behavior in the phase fluctuations of a

443: three-dimensional homogeneous Bose-Einstein condensate. The three

444: full lines show the phase fluctuations $\langle

445: \left[\hat{\chi}(z)-\hat{\chi}({0}) \right]^2 \rangle N_0

446: /(2\pi)^3(1+\lambda)^2\lambda_z$ as a function of $\ln{(z/\xi)}$,

447: for three values of $\lambda$. The dotted lines are calculated from

448: Eq.~(\ref{gen2}). } \label{fig2}

449: \end{figure}

450: 

451: In Fig.~\ref{fig2}, we plot $\langle

452: \left[\hat{\chi}(z)-\hat{\chi}({0}) \right]^2 \rangle N_0

453: /(2\pi)^3(1+\lambda)^2\lambda_z$ as a function of $\ln{(z/\xi)}$

454: for three values of $\lambda$. In the three-dimensional limit

455: $\lambda\rightarrow\infty$, the phase fluctuations are independent of

456: $z$ for large $z/\xi$. For finite values of $\lambda$, the curves

457: deviate from the $\ln{(z/\xi)}$ behavior due to contributions from

458: the sum in Eq~(\ref{gen2}). It should be noted that convergence of

459: the sum in the left-hand side of Eq.~(\ref{gen1}) depends on the

460: value of $\lambda$. For large $\lambda$, we included more terms in

461: the sum to obtain convergence. The summations were terminated when

462: the error is less than 0.1$\%$ of the three-dimensional

463: result.

464: 

465: 

466: \subsection{Crossover from three dimensions to two dimensions at a

467: nonzero temperature} The nonzero-temperature part of the phase

468: fluctuations is given by \bqa

469: %{T^{\rm 2B}\over V}\sum_{\bf k}

470: %{2N(\hbar\omega_{\bf k})\over\hbar\omega_{\bf k}}\times

471: %\left[1-cos{{\bf k}\!\cdot\!{\bf x}}\right]\;.

472: {1\over N_0}\sum_{n_x,n_y,n_z}{

473: 1-\cos\left({{n_zz\over\lambda_z\xi}}\right) \over

474: k\xi\sqrt{(k\xi)^2+1} \left(e^{2n_0T^{\rm

475: 2B}k\xi\sqrt{(k\xi)^2+1}/k_BT}-1\right)}\;. \nonumber\\

476: \label{phaset} \eqa The first step consists of taking the limit

477: $L_y=L_z\rightarrow\infty$. The sums over $n_y$ and $n_z$ then

478: become integrals. The two-dimensional limit is obtained by letting

479: $L_x\rightarrow0$, which is equivalent to keeping only the $n_x=0$

480: term in the above sum. After going to polar coordinates, this

481: gives \bqa\nonumber &&{\lambda^2\over N_0}

482: \int_{0}^{\infty}\int_{0}^{2\pi} {d(k\xi)d\phi

483: \over\sqrt{(k\xi)^2+1}\left(e^{2n_0T^{\rm

484: 2B}k\xi\sqrt{(k\xi)^2+1}/k_BT}-1\right)}

485: \\ \nonumber

486: && \times \left[1-\cos\left({kz}\cos\phi\right)\right] \eqa with

487: $\lambda_y=\lambda_x=\lambda$. Integration over $\phi$ leads to

488: \bqa\nonumber &&{2\pi\lambda^2\over N_0}\int_{0}^{\infty} d(k\xi){

489: 1-J_0(kz)\over\sqrt{(k\xi)^2+1}\left(e^{2n_0T^{\rm

490: 2B}k\xi\sqrt{(k\xi)^2+1}/k_BT}-1\right)}\;, \eqa where $J_0(z)$ is

491: a Bessel function of the first kind. The integral behaves as

492: $k_BT\ln(z/\xi)/2n_0T^{\rm 2B}$ in the limit $z/\xi\gg1$. Thus the

493: first-order correlation function obeys \bqa\nonumber

494: g(z)\simeq{1\over({z/\xi})^{1/n_0\Lambda^2}}\;, \eqa where

495: $\Lambda=\sqrt{2\pi\hbar^2/mk_BT}$ is the thermal de Broglie

496: wavelength.

497: 

498: 

499: 

500: 

501: 

502: 

503: 

504: The three-dimensional limit is obtained by letting

505: $L_x=L_y=L_z\rightarrow\infty$ in Eq.~(\ref{phaset}). The sums

506: over $n_x$, $n_y$, and $n_z$ then become integrals. Going to polar

507: coordinates and integrating over angles, we obtain \bqa\nonumber

508: &&\frac{2 \pi \lambda^3}{N_0}\int_{0}^{\infty}

509: {d(k\xi)\;k\xi\over\sqrt{(k\xi)^2+1}} {1\over(e^{2n_0T^{\rm

510: 2B}k\xi\sqrt{(k\xi)^2+1}/k_BT}-1)}

511: \\\nonumber

512: &&\left[1-{\sin\left({kz}\right)\over kz}\right]\;. \label{3df}

513: \eqa The first term is a constant, independent of $z$. The second

514: term is oscillating and goes to zero in the limit

515: $z/\xi\rightarrow\infty$. This shows that the total integral, and

516: thus the phase fluctuations, go to a nonzero constant and that

517: Bose-Einstein condensation is possible in three dimensions at

518: nonzero temperature. For low temperatures, where the phonons give

519: the main contribution to the above integral, this constant is

520: proportional to $1/n_0\xi\Lambda^2 \ll 1$. Combining, the above result

521: we see that the crossover behavior is therefore qualitatively very

522: similar to the one presented in Fig.~\ref{fig2}.

523: 

524: 

525: 

526: 

527: 

528: \section{Temperature Crossover in a finite one-dimensional Bose gas}

529: \label{sec3} In this section, we first study the temperature

530: crossover in a homogeneous one-dimensional Bose gas. The aim is to

531: capture the essential crossover physics and to find the relevant

532: parameters. Having established the relevant parameters, we examine

533: a harmonically trapped one-dimensional Bose gas.

534: 

535: 

536: 

537: \subsection{Homogeneous Bose gas}

538: In this subsection we calculate the nonzero-temperature

539: correlation function of a homogeneous Bose gas in one dimension.

540: We construct the phase diagram by plotting this function versus

541: the temperature $T$ and the length $L$ of the system.

542: In detail the procedure is as follows.

543: 

544: We first solve the two coupled Eqs.~(\ref{h1}) and (\ref{h2}) for

545: the (quasi)condensate density $n_0$ at a fixed temperature, system

546: size $L$, and for a total density $n=N/L$, where $N$ is the fixed

547: total number of atoms. Then we use this solution in

548: Eq.~(\ref{usa1}) to calculate the correlation function. To obtain

549: a universal phase diagram, we need to scale $T$ and $L$ to some

550: characteristic temperature and length in the system. In the

551: present case our homogeneous system is characterized by its

552: correlation length $\xi$. The correlation length is normally

553: defined in terms of the condensate density. However, above the

554: Bose-Einstein transition temperature, the normal state cannot be

555: characterized by this length. Therefore we define the correlation

556: length in terms of the total density, rather than the condensate

557: density, namely $\xi=1/\sqrt{8\pi\kappa n}$. As a result, we scale

558: lengths to $\xi$ and temperature to $T_0=\hbar^2/8\pi m\xi^2$. The

559: scaled temperature $T/T_0$ is equivalent to $(\xi/\Lambda)^2$,

560: where $\Lambda=\sqrt{2\pi\hbar^2/ m k_{\rm B}T}$ is the de Broglie

561: wavelength.

562: 

563: In Fig.~\ref{fig3} we plot the correlation function at $z=0.9L$

564: versus the dimensionless variables $L/\xi$ and $(\xi/\Lambda)^2$

565: for a fixed number of atoms.

566: \begin{figure}[htb]

567: %\epsfysize=7cm

568: \begin{center}

569: \includegraphics[width=8cm]{fig3.eps}

570: \end{center}

571: \caption[a]{\narrowtext The correlation function of a homogeneous

572: one-dimensional condensate as a function of $L/\xi$ and

573: $(\xi/\Lambda)^2$. The correlation function is calculated at

574: $z=0.9L$ and for a total number of atoms $N=2000$. } \label{fig3}

575: \end{figure}

576: \begin{figure}[htb]

577: %\epsfysize=7cm

578: \begin{center}

579: \includegraphics[width=8cm]{fig4.eps}

580: \end{center}

581: \caption[a]{\narrowtext The contour plot corresponding to

582: Fig.~\ref{fig3}. The value of $g$ along each contour line is

583: indicated on the right vertical axis.} \label{fig4}

584: \end{figure}

585: This displays clearly the crossover from a condensate near the

586: origin and near the axes, where $g \simeq 1$, to a quasicondensate

587: in the regions away from the origin and the axes. Fig.~\ref{fig4}

588: is a two-dimensional contour plot that is equivalent to

589: Fig.~\ref{fig3}. The contour lines in this figure show the

590: relation between $L/\xi$ and $(\xi/\Lambda)^2$ for a fixed value

591: of $g$. Note that when quantum fluctuations can be neglected, we

592: expect that $-\ln [g(0.9L)] \propto (L/N_0\xi)(\xi/\Lambda)^2

593: (0.9L/\xi)$, which shows that for a fixed value of $g$ we have

594: that $(\xi/\Lambda)^2 \propto (L/\xi)^{-2}$. This relation is

595: indeed borne out by a detailed inspection of Fig.~\ref{fig4}. The

596: theory discussed in this paper is only valid in the

597: weakly-interacting limit $4\pi n\xi\gg1$ and therefore does not

598: include the Tonks regime \cite{{tonks1},{tonks2}}. Nonetheless, it

599: is instructive to indicate at what region of the phase diagram

600: such a regime may exist. The criteria for the Tonks gas limit is

601: $N<4\pi\kappa L$ \cite{2d,maxim}. Upon using the above-mentioned

602: scaling, this limit reads $L/\xi>\sqrt{2}N$. Since Fig.~\ref{fig3}

603: was generated with $N=2000$, it is clear that in order to be in

604: the Tonks gas limit, the condition $L/\xi>2800$ must be satisfied.

605: %For $^{23}$Na

606: %with $\omega_{\perp}=2\pi\times5000$ the temperatures at which the

607: %correlation function $g$ acquires values that are close to one are

608: %of the order $10^{-13}nK$ and less. To achieve the Tonks gas limit

609: %in the nK temperature range, the number of atoms has to be as

610: %small as 10 for $L/\xi\simeq2800$.

611: 

612: 

613: \subsection{Trapped Bose gas}

614: 

615: Next, we construct the phase diagram of a one-dimensional Bose gas

616: confined by a harmonic potential, in order to investigate the

617: effect of the induced density inhomogeneity. Our treatment is

618: based on the local-density approximation for the calculation of

619: the density profile, and is performed within the many-body

620: T-matrix approximation for the interatomic interactions (as

621: opposed to the two-body limit used in the preceeding homogeneous

622: calculations). The calculation of the correlation function is

623: again performed for a fixed number of atoms, but using now

624: Eq.~(\ref{chifinal}). In the trapped case, a measure of the size

625: of the system can be determined by the

626:  Thomas-Fermi radius $R_{\rm TF}$,

627: which is, in general, a function of both temperature and trapping

628: frequency. To plot a universal phase diagram, however, the axis

629: corresponding to the system size should be independent of the

630: other axis representing the temperature. This argument is

631: strengthened by the fact that the temperature-dependent

632: Thomas-Fermi radius $R_{\rm TF}(T)$ does not increase

633: monotonically with increasing confinement at fixed temperature and

634: total number of atoms. Such an effect is a direct consequence of

635: two competing mechanisms which have a different dependence on the

636: confinement: As the trap frequency increases, one would in first

637: instance expect the size of the (quasi)condensate to decrease

638: monotonically. However, due to the constraint on the total number

639: of atoms, the number of atoms in the (quasi)condensate tends to

640: increase simultaneously. This can lead to an increase in $R_{\rm

641: TF}(T)$, in particular at higher temperatures.

642: \begin{figure}[htb]

643: %\epsfysize=7cm

644: \begin{center}

645: \includegraphics[width=8cm]{fig5.eps}%3D_Grey_Trap.eps

646: \end{center}

647: \caption[a]{%\narrowtext

648: Universal phase diagram of a pure one-dimensional trapped atomic

649: Bose gas with constant number of atoms.

650:  Greyscale indicates the value of $g(0,z=0.9 R_{TF}(T))$

651: with lighter regions corresponding to maximum coherence $g \simeq

652: 1$. This figure probes the entire region from the

653: normal-to-(quasi)condensate crossover (where the (quasi)condensate

654: depletion approaches 100\%, curved region away from origin), to

655: the presence of true Bose-Einstein condensation, for which the

656: quasi-condensate depletion becomes negligible near the origin. The

657: entire phase diagram plotted here remains well within the validity

658: of our Thomas-Fermi approximation, with $\gamma = N_{0} \kappa

659: l_{z} \gg 1$ and $N_{0}$ the number of (quasi)condensate atoms.

660: For a $^{23}Na$ condensate with $N=2000$ atoms under

661:  very tight transverse confinement of

662: $\omega_{\perp}/2 \pi = 5$ KHz, the above phase diagram would

663: correspond to temperatures in the range $0.2 nK - 12 \mu K$ and

664: longitudinal frequencies $\omega_{z} /2 \pi$ from 0.05 to 45000

665: Hz. } \label{fig5}

666: \end{figure}

667: 

668: To obtain a universal phase diagram in the case of a fixed total

669: number of atoms, we hence use the zero-temperature Thomas-Fermi

670: radius  $R_{\rm TF}(T=0)$ as a measure of the size of the system.

671: This is again scaled to the zero-temperature correlation length

672: $\xi(T=0)$. The latter is evaluated in terms of the central

673: density $n(0)$ via $\xi(T=0)=1/\sqrt{8 \pi \kappa n(0)} = \hbar

674: /\sqrt{2 \pi \mu m}$ where the one-dimensional chemical potential

675: at zero temperature in the Thomas-Fermi approximation is given by

676: $\mu = (3 \pi /\sqrt{2})^{2/3} (N \kappa l_{z})^{2/3} \hbar

677: \omega_{z}$ \cite{jhun}. Note that the actual size of the

678: (quasi)condensate is given by the temperature-dependent

679: $R_{TF}(T)$, so a good measure of the macroscopic coherence of the

680: system is obtained by measuring the correlation function at $0.9

681: R_{TF}(T)$ \cite{jhun}.

682: 

683: Fig.~\ref{fig5} shows the value of the normalized correlation

684: function of Eq.~(\ref{d11}) evaluated at $z = 0.9 R_{TF}(T)$ as a

685: function of $R_{TF}(T=0)/\xi(T=0)$ and $(\xi(T=0)/\Lambda)^{2}$

686: for fixed coupling constant $\kappa$ and total number of atoms $N$

687: in the system. Light color indicates the presence of a pure

688: condensate and black color indicates the absence of universal

689: phase coherence across the system. As expected, the coherence is

690: found to increase when decreasing the size of the system, i.e.,

691: increasing the trap frequency $\omega_{z}$ at fixed temperature,

692: or decreasing the temperature in a fixed trap. This is similar to

693: the homogeneous case, with $g$ becoming close to one as

694: $R_{TF}(T=0)/\xi(T=0)$ or $(\xi(T=0)/\Lambda)^{2}$ become small.

695: Note that the quasicondensate depletion due to interactions and

696: nonzero temperatures can be very significant, and this figure

697: covers the entire range of (quasi)condensate fractions, ranging

698: from one at the origin, where we essentially deal with a pure

699: condensate, to approximately zero near the transition to the

700: normal state sufficiently far from the origin. In particular, the

701: characteristic curved shape away from the origin marks a sharp

702: transition from a quasi-condensate to the normal phase. Note that

703: we find a sharp transition due to the use of the local-density

704: approximation, whereas in reality this would be a smooth

705: crossover. To study now the crossover between regions of different

706: degree of coherence within the (quasi)condensate regime,

707: Fig.~\ref{fig6}(a) shows the corresponding contour plot, focusing

708: on a small region near the origin, where the crossover takes

709: place. In this figure, white regions correspond to true

710: Bose-Einstein condensation, whereas the darkest region on the top

711: right corner of the figure corresponds to complete absence of

712: phase coherence across the size of the system. The corresponding

713: contour lines with both axes plotted on logarithmic scale is shown

714: in Fig.~\ref{fig6}(b).

715: 

716: %\begin{math}\begin{array}{cc}

717: %&\\

718: \begin{figure}[htb]

719: %\epsfysize=7cm

720: \begin{center}

721: \begin{math}

722: \begin{array}{cc}

723: \includegraphics[width=7.cm]{fig6a.eps}%2D_Lin_Grey_Trap.eps

724: &\\

725: \includegraphics[width=7.cm]{fig6b.eps}%2D_Log_Grey_Trap.eps

726: &

727: \end{array}

728: \end{math}

729: \end{center}

730: \caption[a]{%\narrowtext

731: Contour plot corresponding to Fig.~\ref{fig5}, with both axes

732: plotted on (a) linear and (b) logarithmic scale. As in

733: Fig.~\ref{fig4}, each contour corresponds to a value of $g$

734: ranging from $0.1$ (leftmost contour) to $0.9$ (rightmost

735: contour). White regions correspond to true Bose-Einstein

736: condensation, and darkest regions to the absence of phase

737: coherence over the system size. Note that greyscale in this figure

738: is not the same as in Fig.~\ref{fig5}. Note also that we have not

739: explicitly computed for $R_{\rm TF}(T=0) / \xi(T=0) < 7$, where

740: there is essentially true Bose-Einstein condensation, as this

741: requires extremely high temperatures and large longitudinal

742: trapping frequencies.

743:  The condition of validity of the Thomas-Fermi

744: approximation will also break down in this limit. } \label{fig6}

745: \end{figure}

746: %

747: %\begin{figure}[htb]

748: %%\epsfysize=7cm

749: %\begin{center}

750: %\includegraphics[width=8cm]{fig7.eps}%2D_Log_Grey_Trap.eps

751: %\end{center}

752: %\caption[b]{%\narrowtext

753: %As above, with both axes plotted on logarithmic scale. }

754: %\label{fig7}

755: %\end{figure}

756: %%&\end{array}\end{math}

757: The above phase diagram corresponds to the limit of a pure 1D Bose

758: gas. In trying to probe this experimentally by means of the

759: recently produced quasi-1D Bose gases

760: \cite{lowdketterle,exp100,exp200,exp300,exp500}, there are certain

761: constraints which must be taken into consideration. First, the

762: temperature must be low enough that transverse thermal excitations

763: are suppressed, i.e., $ k T < \hbar \omega_{\perp}$.

764:  Second, the chemical potential must not exceed

765: the transverse energy, i.e., $\mu < \hbar \omega_{\perp}$ thus

766: restricting the maximum longitudinal frequencies for which the

767: system remains kinematically one dimensional, to some fraction of

768: the transverse confinement. The exact fraction depends on the

769: atomic species, the scattering length, the number of atoms and the

770: temperature. Finally, the longitudinal confinement cannot be made

771: arbitrarily weak, as it will then be essentially impossible to

772: trap the atoms. All above constraints require a very large

773: transverse confinement, since the experimentally-accessible region

774: of such a phase diagram increases with increasing transverse

775: confinement. The experimental constraint of minimum longitudinal

776: frequency does not pose much of a limitation since the low

777: frequency regions correspond to the outmost points of

778: Fig.~\ref{fig5}, for which the macroscopic coherence has already

779: been completely lost. Of the other two constraints, which is more

780: restrictive depends on the details of the particular experiment,

781: since they exclude different regions of the phase diagram.

782: 

783: \begin{figure}[htb]

784: %\epsfysize=7cm

785: \begin{center}

786: \begin{math}

787: \begin{array}{cc}

788: \includegraphics[width=7.cm]{fig7a.eps}%2D_Lin_Grey_Trap.eps

789: &\\

790: \includegraphics[width=7.cm]{fig7b.eps}%2D_Log_Grey_Trap.eps

791: &

792: \end{array}

793: \end{math}

794: \end{center}

795: \caption[a]{%\narrowtext

796: (a) Same contour plot as in Fig.~\ref{fig6}(a) indicating clearly

797: the regions experimentally accessible for $N=2,000$ $^{23}Na$

798: atoms with $\omega_{\perp}/2 \pi = 5$ KHz. The solid line

799: corresponds to the condition $\mu = \hbar \omega_{\perp}$, whereas

800: the dashed line indicates the regime where $ k T = \hbar

801: \omega_{\perp}$.

802:  Experimentally accessible regions due to

803: actual quasi-1D constraints are located to the right of each of

804: these lines. (b) Corresponding contour plot of quasi-condensate

805: fraction. Each contour corresponds to a change in $N_0/N = 0.05$,

806: with the leftmost contour indicating the region where

807: $N_0/N=0.95$, and the rightmost contour in the plotted region

808: corresponding to $N_0/N=0.5$. It is thus evident that the

809: quasi-condensate depletion becomes significant very rapidly, as

810: one moves away from the origin of the figure. } \label{fig7}

811: \end{figure}

812: To illustrate this, Fig.~\ref{fig7}(a) indicates the

813: experimentally accessible regions for the case of $N=2000$

814: $^{23}Na$ condensate atoms under a transverse confinement of

815: $\omega_{\perp}/2 \pi = 5$ KHz \cite{Hannover}.

816:  The

817: chemical potential constraint generally excludes a region to the

818: left of Fig.~\ref{fig6}(a), and so large coherences are best

819: probed by restricting the condensate to a very small number of

820: atoms. For the case studied here, this translates to the

821: approximate condition $R_{\rm TF}(T=0) / \xi(T=0) > 40$. The

822: temperature constraint on the other hand prohibits a large part of

823: the top left of Fig.~\ref{fig6}(a), which requires the experiments

824: to be performed at sufficiently low temperatures (here $T << 240

825: nK$). We see that for low enough temperatures and small enough

826: atom numbers, it is possible to probe experimentally the entire

827: phase coherence regime (from $g=0$ to roughly $g=0.99$). Although

828: the coherence decreases with increasing scattering length, for

829: example by tuning around a Feshbach resonance \cite{ket55,car55},

830: or central density, this can further restrict the region of

831: accessibility due to the chemical potential constraint.

832: 

833: Fig.7(b) gives the corresponding contour plot of the

834: (quasi)condensate fraction. It is evident that the

835: (quasi)condensate depletion becomes important even within the

836: range of this figure, with the furthermost points here

837: corresponding to more than $50\%$ depletion. In our analysis, we

838: have chosen to monitor the loss of phase coherence by looking at

839: the amount of decrease of the normalized two-point

840:  correlation function near the edge of the system (at $z=0.9R_{TF}$). However, it

841: may be experimentally easier to look at the decay of this

842: correlation function at a point somewhat closer to the centre.

843: This would then lead to a slower decay of phase coherence across

844: the measured distance, and a sufficiently small amount of phase

845: coherence across such a region would then occur for even larger

846: (quasi)condensate depletions. Therefore, we believe that a

847: quantitative study of the phase-coherence crossover problem

848: requires a theory which takes into account this depletion.

849: 

850: 

851: 

852: 

853: 

854: 

855: 

856: 

857: 

858: 

859: 

860: 

861: 

862: 

863: 

864: 

865: 

866: 

867: 

868: \section{Conclusions}

869: \label{conc}

870: 

871: 

872: 

873: We have obtained a detailed universal picture of the coherence

874: properties of a Bose gas as a function of the dimensionality, the

875: temperature and the interaction strength, paying particular

876: attention to the crossover from quasicondensation to true

877: Bose-Einstein condensation. In a finite homogeneous system at zero

878: temperature, the long-range coherence is lost when the dimension

879: of the system is reduced to one dimension. This dimensional

880: reduction leads to the appearance of a quasicondensate, whose

881: coherence

882:  extends over a range that is much larger than the coherence

883: length but much smaller than the size of the system. Similar

884: results were obtained when the effects of temperature and the

885: strength of the mean-field interaction were investigated. In a

886: homogeneous one-dimensional system, a true condensate is located

887: in a region in the phase diagram where both the length of the

888: system and its temperature are small. Away from this region, a

889: quasicondensate is present covering a wider region of the phase

890: diagram.

891: 

892: A similar phase diagram was obtained for a harmonically confined

893: system in one dimension, where a change in the confining potential

894: at fixed temperature leads to a change in the size of the

895: (quasi)condensate. It is important to note that our theory covers

896: the entire temperature range, from zero temperature up to the

897: crossover to the normal phase, where the (quasi)condensate becomes

898: fully depleted. Since our work takes the (quasi)condensate

899: depletion into account, the presented results extend beyond

900: existing treatments which have been limited to the regime of

901: negligible depletion \cite{1d,2d,petrov22}. Note also that the

902: phase diagram presented in Sec. IV corresponds to the pure

903: one-dimensional limit. Nonetheless, a large part of this, ranging

904: from, complete absence of, to complete coherence over the system,

905: can be probed experimentally with existing technology, as

906: discussed by a particular example based on typical parameters.

907: 

908: 

909: 

910: 

911: 

912: 

913: 

914: \section*{Acknowledgments}

915: This work was supported by the Stichting voor

916: Fundamenteel Onderzoek der Materie

917: (FOM), which is supported by the Nederlandse Organisatie voor Wetenschappelijk

918: Onderzoek (NWO).

919: N.P.P. acknowledges funding from the U.K. EPSRC and the hospitality of the ITP.

920: 

921: 

922: 

923: 

924: 

925: 

926: 

927: 

928: 

929: \begin{thebibliography}{99}

930: \bibitem{grif}H. Shi and A. Griffin, Phys. Rep. {\bf 304}, 1 (1998).

931: 

932: 

933: \bibitem{mullin} W. J. Mullin, J. Low. Temp. Phys. {\bf 106}, 615 (1997).

934: 

935: \bibitem{jason} T-L. Ho and M. Ma, J. Low Temp. Phys. {\bf 115}, 61 (1999).

936: 

937: \bibitem{1d} D. S. Petrov, G.V. Shlyapnikov, and J.T.M. Walraven,

938: Phys. Rev. Lett. {\bf 85}, 3745 (2000).

939: 

940: \bibitem{2d} D. S. Petrov, M. Holzmann, and G.V. Shlyapnikov,

941: Phys. Rev. Lett. {\bf 84}, 2551 (2000).

942: 

943: \bibitem{mermin} N.D. Mermin and H. Wagner, Phys. Rev. Lett. {\bf 22}, 1133

944: (1966)

945: 

946: \bibitem{hohen} P.C. Hohenberg, Phys. Rev. {\bf 158}, 383 (1967).

947: 

948: \bibitem{jh}J. O. Andersen, U. Al Khawaja,

949: and H. T. C. Stoof, Phys. Rev. Lett. {\bf 88}, 070407 (2002).

950: 

951: \bibitem{jhun}U. Al Khawaja, J. O. Andersen, N.P. Proukakis,

952: and H. T. C. Stoof, Phys. Rev. {\bf A66}, 013615 (2002); Phys.

953: Rev. A {\bf 66}, 059902(E) (2002).

954: 

955: \bibitem{lowdketterle} A. G\"orlitz, J.M. Vogels, A.E. Leanhardt,

956: C. Raman, T.L. Gustavson, J.R. Abo-Shaeer, A.P. Chikkatur, S.

957: Gupta, S. Inouye, T.P. Rosenband, D.E. Pritchard, and W. Ketterle,

958: Phys. Rev. Lett. {\bf 87}, 130402 (2001).

959: 

960: \bibitem{exp100} F. Schreck, L. Khaykovich, K. L. Corwin, G. Ferrari,

961: T. Bourdel, J. Cobizolles, and C. Salomon, Phys. Rev. Lett. {\bf 87},

962: 080403 (2001).

963: 

964: \bibitem{exp200} H. Ott, J. Fortagh, G. Schlotterbeck, A. Grossmann,

965: and C. Zimmermann, Phys. Rev. Lett. {\bf 87},

966: 230401 (2001).

967: 

968: \bibitem{exp300} W. H\"ansel, P. Hommelhoff, T. W. H\"ansch,

969: and J. Reichel, Nature {\bf 413}, 501 (2001).

970: 

971: \bibitem{exp500} S. Schneider, A. Kasper, Ch. vom Hagen, M. Bartenstein,

972: B. Engeser, T. Schumm, I. Bar-Joseph, R. Folman, L. Feenstra, and

973: J. Schmiedmayer, Phys. Rev. A {\bf 67}, 023612 (2003).

974: \bibitem{popov} V.N. Popov, Theor. Math. Phys. {\bf 11}, 565 (1972);

975: {\it Functional Integrals in Quantum Field Theory and Statistical

976: Physics}, (Reidel, Dordrecht, 1983), Chap. 6.

977: 

978: \bibitem{petrov22} D.S. Petrov, G.V. Shlyapnikov, and J.T.M.

979: Walraven, Phys. Rev. Lett. {\bf 87}, 050404 (2001).

980: 

981: \bibitem{new} S. Dettmer, D. Hellweg, P. Ryytty, J. J. Arlt, W.

982: Ertmer, K. Sengstock, D. S. Petrov, G. V. Shlyapnikov, H.

983: Kreutzmann, L. Santos, and M. Lewenstein, Phys. Rev. Lett. {\bf

984: 87}, 160406 (2001)

985: 

986: \bibitem{orsay1} F. Gerbier, J.H. Thywissen, S. Richard, M. Hugbart,

987: P. Bouyer amd A. Aspect, cond-mat/0211094 (to appear in Phys. Rev. A).

988: \bibitem{aspect}S. Richard, F. Gerbier, J.H. Thywissen, M. Hugbart, P. Bouyer

989: and A. Aspect, cond-mat/0303137 (2003).

990: 

991: \bibitem{hannover1} D. Hellweg, L. Cacciapuoti, M. Kottke, T. Schulte, K. Sengstock,

992: W. Ertmer and J.J. Arlt, cond-mat/0303308 (2003).

993: \bibitem{walraven1} I. Shvarchuck, Ch. Buggle, D.S. Petrov, K. Dieckmann,

994: M. Zielonkowski, M. Kemmann, T.G. Tiecke, W. von Klitzing, G.V. Shlyapnikov

995: and J.T.M. Walraven, Phys. Rev. Lett. {\bf 89}, 270404 (2002).

996: 

997: %\bibitem{hansel} W. H{\"a}nsel, P. Hommelhoff, W. H{\"a}nsch, and J. Reichel,

998: %Nature {\bf 413}, 498 (2001).

999: \bibitem{schick} M. Schick, Phys. Rev. A {\bf 3}, 1067 (1971).

1000: \bibitem{fisher} D.S. Fisher and P.C. Hohenberg, Phys. Rev. B

1001: {\bf 37}, 4936 (1988).

1002: 

1003: \bibitem{haldane} F.D.M. Haldane, Phys. Rev. Lett. {\bf 47}, 1840 (1981).

1004: 

1005: \bibitem{tonks1}L. Tonks, Phys. Rev. {\bf 50}, 955 (1936)

1006: 

1007: \bibitem{tonks2}M. Girardeau, J. Math. Phys. (N.Y.) {\bf 1}, 516 (1960)

1008: 

1009: \bibitem{maxim} M. Olshanii, Phys. Rev. Lett. {\bf 81}, 938 (1998).

1010: 

1011: \bibitem{Hannover} K. Bongs, S. Burger, S. Dettmer, D. Hellweg, J. Arlt, W. Ertmer, and K. Sengstock,

1012: Phys. Rev. A {\bf 63}, 031692(R) (2001).

1013: 

1014: \bibitem{ket55} S. Inouye, M. R. Andrews, J. Stenger, H.-J. Miesner, D. M. Stamper-Kurn, and W. Ketterle,

1015: Nature {\bf 392}, 151 (1998).

1016: 

1017: \bibitem{car55} S. L. Cornish, N. R. Claussen, J. L. Roberts, E. A. Cornell,

1018: C. E. Wieman, Phys. Rev. Lett. {\bf 85}, 1795 (2000).

1019: 

1020: 

1021: \end{thebibliography}

1022: 

1023: 

1024: 

1025: %\end{multicols}

1026: 

1027: 

1028: 

1029: 

1030: \end{document}

1031: 

1032: 

1033: 

1034: 

1035: 

1036: 

1037: 

1038: 

1039: 

1040: 

1041: 

1042: 

1043: \bibitem{mermin} N.D. Mermin and H. Wagner, Phys. Rev. Lett.{\bf 22}, 1133

1044: (1966)

1045: \bibitem{hohen} P.C. Hohenberg, Phys. Rev. {\bf 158}, 383 (1967).

1046: 

1047: \bibitem{2d} D.S. Petrov, M. Holzmann, and G.V. Shlyapnikov,

1048: Phys. Rev. Lett. {\bf 84}, 2551 (2000).

1049: \bibitem{jh}J. O. Andersen, U. Al Khawaja, and H. T. C. Stoof,

1050: Phys. Rev. Lett. {\bf 88}, 070407 (2001).

1051: \bibitem{jhun}J. O. Andersen, U. Al Khawaja, N.P. Proukakis,

1052: and H. T. C. Stoof, Phys. Rev. {\bf A66}, 013615 (2002).

1053: \bibitem{schick} M. Schick, Phys. Rev. A {\bf 3}, 1067 (1971).

1054: \bibitem{fisher} D.S. Fisher and P.C. Hohenberg, Phys. Rev. B

1055: {\bf 37}, 4936 (1988).

1056: 

1057: \bibitem{olshanii} M. Olshanii, Phys. Rev. Lett. {\bf 81}, 938 (1998).

1058: \bibitem{GW} M.D. Girardeau and E. M. Wright,

1059: Phys. Rev. Lett. {\bf 84}, 5239 (2000).

1060: 

1061: \bibitem{henk1} H.T.C. Stoof and M. Bijlsma, Phys. Rev. E {\bf 47}, 939 (1993).

1062: \bibitem{henk2}H.T.C. Stoof and M. Bijlsma, Phys. Rev. B {\bf 49}, 422 (1994).

1063: \bibitem{leeyang} T.D. Lee and C.N. Yang, Phys. Rev. {\bf 105}, 1119 (1957).

1064: \bibitem{amit} D.J. Amit, Y.Y Goldschimdt, and G. Grinstein, J. Phys. A,

1065: {\bf 13}, 585 (1980).

1066: \bibitem{minn1}P. Minnhagen and M. Nyl\'en, Phys. Rev. B {\bf 31}, 5768 (1985).

1067: \bibitem{henk3} H.T.C. Stoof, L.P.H. de Goey, W.M.H.M. Rovers,

1068: P.S.M. Kop Jansen, and B.J. Verhaar,  Phys. Rev. A {\bf 38},

1069: 1248 (1988).

1070: \bibitem{degennes} P. G. de Gennes,

1071: {\it Superconductivity of Metals an Alloys}, (Benjamin, New York 1966).\

1072: \bibitem{fetterusa} A. L. Fetter and D. Rokhsar, Phys. Rev. A {\bf 57},

1073: 1191 (1998).

1074: \bibitem{stringari} S. Stringari, Phys. Rev. Lett. {\bf 77}, 2360 (1996).

1075: \bibitem{ghora}D. S. Petrov, G. V. Shlyapnikov, and J. T. M. Walraven,

1076: Phys. Rev. Lett. {\bf 85}, 3745 (2000).

1077: \bibitem{Stoof_Booklet} H.T.C. Stoof, J. Low Temp. Phys. {\bf 114}, 11 (1999).

1078: 

1079: \bibitem{Stoof_Noisy} M.J. Bijlsma and H.T.C. Stoof, J. Low Temp. Phys.

1080: {\bf 124}, 431 (2001).

1081: %\bibitem{minn2}P. Minnhagen, Rev. Mod. Phys, {\bf 59}, 1001 (1987).

1082: \bibitem{knelson} D.R. Nelson and J.M Kosterlitz, Phys. Rev. Lett. {\bf 39},

1083: 1201 (1977).

1084: \bibitem{henk3} H.T.C. Stoof, L.P.H. de Goey, W.M.H.M. Rovers,

1085: P.S.M. Kop Jansen, and B.J. Verhaar,  Phys. Rev. A {\bf 38},

1086: 1248 (1988).

1087: \bibitem{priv} S. Jaakola and A.I. Safonov, private communication.

1088: \bibitem{nick}N.P. Proukakis and H.T.C Stoof, unpublished.

1089: 

1090: %\bibitem{koster} J.M. Kosterlitz and D.J. Thouless,

1091: %J. Phys. C {\bf 6}, 1181 (1973).

1092: 

1093: %\bibitem{koster2} J.M. Kosterlitz, J. Phys. C {\bf 7}, 1046 (1974).

1094: 

1095: %\bibitem{saf} A.I. Safonov, S.A. Vasilyev, I.S. Yasnikov,

1096: %I.I. Lukashevich, and S. Jaakkola, Phys. Rev. Lett. {\bf 81}, 4545 (1998).

1097: 

1098: %\bibitem{kagan} Yu. Kagan, B.V. Svistunov, and G.V. Shlyapnikov,

1099: %Sov. Phys. JETP {\bf 66}, 314 (1987).

1100: 

1101: