Abstract:We consider the non-interacting Bose gas of $N$ bosons in dimension $d\geq 3$ in a trap in a mean-field setting with a vanishing factor $a_N$ in front of the kinetic energy. The choice $a_N=N^{-2/d}$ is the semi-classical setting and was analysed in great detail in a special, interacting case in Deuchert and Seiringer (2021). Using a version of the well-known Feynman--Kac representation and a further representation in terms of a Poisson point process, we derive precise asymptotics for the reduced one-particle density matrix, implying off-diagonal long-range order (ODLRO, a well-known criterion for Bose--Einstein condensation) for $a_N$ above a certain threshold and non-occurrence of ODLRO for $a_N$ below that threshold. In particular, we relate the condensate and its total mass to the amount of particles in long loops in the Feynman--Kac formula, the order parameter that Feynman suggested in Feynman (1953). For $a_N\ll N^{-2/d}$, we prove that all loops have the minimal length one, and for $a_N\gg N^{-2/d}$ we prove 100 percent condensation and identify the distribution of the long-loop lengths as the Poisson--Dirichlet distribution.

What problem does this paper attempt to address?

### Problems the paper attempts to solve This paper aims to study the condensation phenomenon of non - interacting Bose gases in a specific mean - field setting. Specifically, the main objectives of the paper are as follows: 1. **Derive new physically relevant results**: For a specific version of the mean - field Bose gas, derive new, physically relevant Bose - condensation results. 2. **Rigorously prove the strong relationship between the condensate and long cycles**: Provide rigorous evidence of the relationship between the condensate and long cycles through the well - known Feynman - Kac representation. 3. **Provide new probabilistic proofs**: Use the language and toolbox of probability theory to attract the attention of the probability theory community to this fascinating topic. ### Background and main contributions - **Background**: Since Feynman proposed in 1953 that the number of particles in long cycles may be an important order parameter for describing Bose - Einstein condensation, Bose gases have also become a mathematically interesting research object in the field of probability theory. However, most current probability theory research has not yet had practical physical significance. - **Main contributions**: - This paper focuses on physically relevant problems while establishing and developing the probability theory toolbox. - It studies the condensation phase transition of Bose gases in a specific mean - field setting. - Using the Feynman - Kac representation and the Poisson point process representation, it derives the exact asymptotic behavior of the one - particle reduced density matrix, thereby proving the existence and non - existence of off - diagonal long - range order (ODLRO). - It describes the distribution of the condensate as the total mass of long cycles in the Feynman - Kac formula and determines the limiting distribution of the long - cycle length. ### Specific problems and methods - **Model**: Consider $N$ non - interacting bosons in $d\geq3$ dimensions in a mean - field setting in a trap, with a vanishing factor $a_N$ in front of the kinetic energy. - **Key parameter**: Choose $a_N = N^{- 2/d}$ for the semi - classical setting. This setting is particularly interesting because it exhibits a condensation phase transition at a fixed positive temperature. - **Methods**: - Use the Feynman - Kac representation and the Poisson point process representation. - Derive the exact asymptotic behavior of the one - particle reduced density matrix. - Prove the existence and non - existence of the condensate by analyzing the distribution of long cycles. ### Main results - **Supercritical case** ($\chi>\rho_w$): - The one - particle reduced density matrix behaves as $\gamma(a_N)_N(x,y)=N\left(1 - \frac{\rho_w}{\chi}\right)\phi_1^{(w/a_N)}(x)\phi_1^{(w/a_N)}(y)(1 + o(1))$ in the weak $L^2$ sense. - The distribution of the long - cycle length converges to the Poisson - Dirichlet distribution. - The expression for the free energy is $f_{\text{MF}}(\beta,\chi)=-\frac{p(0)}{\beta\chi}+\lambda_1(W)\left(1 - \frac{\rho_w}{\chi}\right)\lim_{N\rightarrow\infty}a_N$. - **Subcritical case** ($\chi<\rho_w$): - The upper bound of the one - particle reduced density matrix is $\gamma(a_N)_N(x,y)=O\left(a_N^{-d/2}e^{-c|x - y|a_N^{-1/2}}\right)$. - The distribution of the long - cycle length weakly converges to $\alpha(\chi)$. - The expression for the free energy is $f_{\text{MF}}(\beta,\chi)=\begin{cases}-\frac{p(u_\chi)}{\beta\chi}+u_\chi, &\text{if }\chi>0,\\-\infty, &\text{if }\chi = 0.\end{cases}$ ### Conclusion - **Off - diagonal long - range order**

Proof of off-diagonal long-range order in a mean-field trapped Bose gas via the Feynman--Kac formula

Off-diagonal long-range order for the free Bose gas via the Feynman--Kac formula

Correlation Effects in Ultracold Two-Dimensional Bose Gases

Bose-Einstein condensation of interacting bosons: A two-step proof

On one-dimensional Bose gases with two- and (critical) attractive three-body interactions

The Euclidean $ϕ^4_2$ theory as a limit of an interacting Bose gas

A Rigorous Theorem on Off-Diagonal Long-Range Order of Boson Systems

On Bose-Einstein condensation in interacting Bose gases in the Kac-Luttinger model

Dynamical formation of correlations in a Bose-Einstein condensate

Theory of Bose-Einstein condensation in trapped gases

A Short Proof of Bose-Einstein Condensation in the Gross-Pitaevskii Regime and Beyond

On the spectral gap in the Kac-Luttinger model and Bose-Einstein condensation

The Second Order 2D Behaviors of a 3D Bose Gases in the Gross-Pitaevskii Regime

Stabilization against collapse of 2D attractive Bose-Einstein condensates with repulsive, three-body interactions

Trapped Bose gases with large positive scattering length

Exponential decay of the number of excitations in the weakly interacting Bose gas

On One-Dimensional Bose Gases with Two-Body and (Critical) Attractive Three-Body Interactions

Mean-field Regime of Trapped Dipolar Bose-Einstein Condensates in One and Two Dimensions

Interacting loop ensembles and Bose gases

Higher order corrections to the mean-field description of the dynamics of interacting bosons

One-body correlations and momentum distributions of trapped 1D Bose gases at finite temperature