Based on the paper "Fourier formula for quantum partition functions", arXiv:2106.10032 [math-ph], we show that in an infinite system of identical bosons interacting via a positive-type pair potential there is off-diagonal long-range order if and only if a nonzero fraction of the particles form infinite permutation cycles. In particular, there is Bose-Einstein condensation if and only if the diverging cycle lengths increase at least as fast with
N, the number of particles, as
N2/d in
d≥3 dimensions. This extends a similar result known for the ideal Bose gas.
We discuss the relationship between the cycle probabilities in the path-integral representation of the ideal Bose gas, off-diagonal long-range order, and Bose-Einstein condensation. Starting from the Landsberg recursion relation for the canonic partition function, we use elementary considerations to show that in a box of size L3 the sum of the cycle probabilities of length k>>L2 equals the off-diagonal long-range order parameter in the thermodynamic limit. For arbitrary systems of ideal bosons, the integer derivative of the cycle probabilities is related to the probability of condensing k bosons. We use this relation to derive the precise form of the pik in the thermodynamic limit. We also determine the function pik for arbitrary systems. Furthermore, we use the cycle probabilities to compute the probability distribution of the maximum-length cycles both at T=0, where the ideal Bose gas reduces to the study of random permutations, and at finite temperature. We close with comments on the cycle probabilities in interacting Bose gases.
We consider the non-interacting Bose gas of
N bosons in dimension
d≥3 in a trap in a mean-field setting with a vanishing factor
aN in front of the kinetic energy. The choice
aN=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
aN above a certain threshold and non-occurrence of ODLRO for
aN 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
aN≪N−2/d, we prove that all loops have the minimal length one, and for
aN≫N−2/d we prove 100 percent condensation and identify the distribution of the long-loop lengths as the Poisson--Dirichlet distribution.
We consider the non-interacting Bose gas of N bosons in dimension d≥3 in a trap in a mean-field setting with a vanishing factor aN in front of the kinetic energy. The choice aN=N−2∕d is the semi-classical setting and was analysed in great detail in a special, interacting case in [DS21]. 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 aN above a certain threshold and non-occurrence of ODLRO for aN 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 [Fe53]. For aN≪N−2∕d, we prove that all loops have the minimal length one, and for aN≫N−2∕d we prove 100 percent condensation and identify the distribution of the long-loop lengths as the Poisson–Dirichlet distribution.
In this paper we study the relation between long cycles and Bose–Einstein condensation in the infinite-range Bose–Hubbard model. We obtain an expression for the cycle density involving the partition function for a Bose–Hubbard Hamiltonian with a single-site correction. Inspired by the approximating Hamiltonian method we conjecture a simplified expression for the short cycle density as a ratio of single-site partition functions. In the absence of condensation we prove that this simplification is exact and use it to show that in this case the long cycle density vanishes. In the presence of condensation we can justify this simplification when a gauge-symmetry breaking term is introduced in the Hamiltonian. Assuming our conjecture is correct, we compare numerically the long cycle density with the condensate and find that although they coexist, in general, they are not equal.