We consider a model of $d$-dimensional interacting quantum Bose gas, expressed in terms of an ensemble of interacting Brownian bridges in a large box and undergoing the influence of all the interactions between the legs of each of the Brownian bridges. We study the thermodynamic limit of the system and give an explicit formula for the limiting free energy and a necessary and sufficient criterion for the occurrence of a condensation phase transition. For $d\geq 5$ and sufficiently small interaction, we prove that the condensate phase is not empty. The ideas of proof rely on the similarity of the interaction to that of the self-repellent random walk, and build on a lace expansion method conducive to treating {\it paths} undergoing mutual repellence within each bridge.
We consider a model of d-dimensional interacting quantum Bose gas, expressed in terms of an ensemble of interacting Brownian bridges in a large box and undergoing the influence of all the interactions between the legs of each of the Brownian bridges. We study the thermodynamic limit of the system and give an explicit formula for the limiting free energy and a necessary and sufficient criterion for the occurrence of a condensation phase transition. For d≥5 and sufficiently small interaction, we prove that the condensate phase is not empty. The ideas of proof rely on the similarity of the interaction to that of the self-repellent random walk, and build on a lace expansion method conducive to treating {\it paths} undergoing mutual repellence within each bridge.
We consider N bosons in a box in ℝd with volume N / ρ under the influence of a mutually repellent pair potential. The particle density ρ ∈ (0, ∞) is kept fixed. Our main result is the identification of the limiting free energy, f(β, ρ), at positive temperature 1 / β, in terms of an explicit variational formula, for any fixed ρ if β is sufficiently small, and for any fixed β if ρ is sufficiently small. The thermodynamic equilibrium is described by the symmetrized trace of e−βHN, where HN denotes the corresponding Hamilton operator. The well-known Feynman–Kac formula reformulates this trace in terms of N interacting Brownian bridges. Due to the symmetrization, the bridges are organized in an ensemble of cycles of various lengths. The novelty of our approach is a description in terms of a marked Poisson point process whose marks are the cycles. This allows for an asymptotic analysis of the system via a large-deviations analysis of the stationary empirical field. The resulting variational formula ranges over random shift-invariant marked point fields and optimizes the sum of the interaction and the relative entropy with respect to the reference process. In our proof of the lower bound for the free energy, we drop all interaction involving “infinitely long” cycles, and their possible presence is signalled by a loss of mass of the “finitely long” cycles in the variational formula. In the proof of the upper bound, we only keep the mass on the “finitely long” cycles. We expect that the precise relationship between these two bounds lies at the heart of Bose–Einstein condensation and intend to analyze it further in future.
We study the interacting homogeneous Bose gas in two spatial dimensions in the thermodynamic limit at fixed density. We shall be concerned with some mathematical aspects of this complicated problem in many-body quantum mechanics. More specifically, we consider the dilute limit where the scattering length of the interaction potential, which is a measure for the effective range of the potential, is small compared to the average distance between the particles. We are interested in a setting with positive (i.e., non-zero) temperature. After giving a survey of the relevant literature in the field, we provide some facts and examples to set expectations for the two-dimensional system. The crucial difference to the three-dimensional system is that there is no Bose–Einstein condensate at positive temperature due to the Hohenberg–Mermin–Wagner theorem. However, it turns out that an asymptotic formula for the free energy holds similarly to the three-dimensional case. We motivate this formula by considering a toy model with δ interaction potential. By restricting this model Hamiltonian to certain trial states with a quasi-condensate we obtain an upper bound for the free energy that still has the quasi-condensate fraction as a free parameter. When minimizing over the quasi-condensate fraction, we obtain the Berezinskii–Kosterlitz–Thouless critical temperature for superfluidity, which plays an important role in our rigorous contribution. The mathematically rigorous result that we prove concerns the specific free energy in the dilute limit. We give upper and lower bounds on the free energy in terms of the free energy of the non-interacting system and a correction term coming from the interaction. Both bounds match and thus we obtain the leading term of an asymptotic approximation in the dilute limit, provided the thermal wavelength of the particles is of the same order (or larger) than the average distance between the particles. The remarkable feature of this result is its generality: the correction term depends on the interaction potential only through its scattering length and it holds for all nonnegative interaction potentials with finite scattering length that are measurable. In particular, this allows to model an interaction of hard disks.
Bose-Einstein condensation (BEC) of a noninteracting Bose gas of N particles in a two-dimensional box with Dirichlet boundary conditions is studied. Confirming previous work, we find that BEC occurs at finite N at low temperatures T without the occurrence of a phase transition. The conventionally-defined transition temperature T(E) for an infinite three-dimensional (3D) system is shown to correspond in a 2D system with finite N to a crossover temperature between a slow and rapid increase in the fractional boson occupation N(0)/N of the ground state with decreasing T. We further show that T(E)∼1/logN at fixed area per boson, so in the thermodynamic limit there is no significant BEC in 2D at finite T. Thus, paradoxically, BEC only occurs in 2D at finite N with no phase transition associated with it. Calculations of thermodynamic properties versus T and area A are presented, including Helmholtz free energy, entropy S, pressure p, ratio of p to the energy density U/A, heat capacity at constant volume (area) C(V) and at constant pressure C(p), isothermal compressibility κ(T) and thermal expansion coefficient α(p), obtained using both the grand-canonical ensemble (GCE) and canonical ensemble (CE) formalisms. The GCE formalism gives acceptable predictions for S, p, p/(U/A), κ(T) and α(p) at large N, T and A but fails for smaller values of these three parameters for which BEC becomes significant, whereas the CE formalism gives accurate results for all thermodynamic properties of finite systems even at low T and/or A where BEC occurs.
The fact that two-dimensional interacting trapped systems do not undergo Bose-Einstein Condensation (BEC) in the thermodynamic limit, though rigorously proved, is somewhat mysterious because all relevant limiting cases (zero temperature, small atom numbers, noninteracting particles) suggest otherwise. We study the possibility of condensation in finite trapped two-dimensional systems. We first consider the ideal gas, which incorporates the inhomogeneity and finite size of experimental systems and can be solved exactly. A semiclassical self-consistent approximation gives us a feel for the temperature scales; diagonalization of the one-body density matrix confirms that the condensation is into a single state. We squeeze a three-dimensional system and see how it crosses over into two dimensions. Mean-field theory, our main tool for the study of interacting systems, prescribes coupled equations for the condensate and the thermal cloud: the condensate receives a full quantum-mechanical treatment, while the noncondensate is described by different schemes of varying sophistication. We analyze the T = 0 case and its approach to the thermodynamic limit, finding a criterion for the dimensionality crossover and obtaining the coupling constant of the two-dimensional system that results from squeezing a three-dimensional trap. We next apply a semiclassical Hartree-Fock approximation to purely two-dimensional finite gases and find that they can be described either with or without a condensate; this continues to be true in the thermodynamic limit. The condensed solutions have a lower free energy at all temperatures but neglect the presence of phonons within the system and cease to exist when we allow for this possibility. The uncondensed solutions, in turn, are valid under a more rigorous scheme but have consistency problems of their own. Path-integral Monte Carlo simulations provide an essentially exact description of finite interacting gases and enable us to study highly anisotropic systems at finite temperature. We find that our two-dimensional Hartree-Fock solutions accurately mimic the surface density profile and predict the condensate fraction of these systems; the equivalent interaction parameter is smaller than that dictated by the T = 0 analysis. We conclude that, in two-dimensional isotropic finite trapped systems and in highly compressed three-dimensional gases, there is a phenomenon resembling a condensation into a single state.
Following the experimental observation of bright matter-wave solitons [L. Khaykovich et al., Science v. 296, 1290 (2002); K. E. Strecker et al., Nature (London) v. 417, 150 (2002)], we develop a semi-phenomenological theory for soliton thermodynamics and find the condensation temperature. Under a modified thermodynamic limit, the condensate occupation at the critical temperature undergoes a sudden jump to a nonzero value, indicating a discontinuous phase transition. Treating the condensation as a diffusion over a barrier shows that the condensation time is exponentially long as one approaches the thermodynamic limit, and the longest near the critical temperature.
The analytical theory of Bose–Einstein condensation of an ideal gas in mesoscopic systems has been briefly reviewed in application to traps with arbitrary shapes and dimension. This theory describes the phases of the classical gas and the formed Bose–Einstein condensate, as well as the entire vicinity of the phase transition point. The statistics and thermodynamics of Bose–Einstein condensation have been studied in detail, including their self-similar structure in the critical region, transition to the thermodynamic limit, effect of boundary conditions on the properties of a system, and nonequivalence of the description of Bose–Einstein condensation in different statistical ensembles. The complete classification of universality classes of Bose–Einstein condensation has been given.