We show that a finite Hubbard-phonon interacting system exhibits phonon BEC at sufficiently low temperature. We also have the gauge symmetry breaking for phonons. The key tools are a unitary transformation introduced by Arai and Hirokawa \protect{\cite{AH1}} and the Araki-Woods representation. This system is essentially the same as a free system or the van Hove model.
We show that a finite Hubbard-phonon interacting system exhibits phonon BEC at sufficiently low temperature. We also have the gauge symmetry breaking for phonons. The key tools are a unitary transformation introduced by Arai and Hirokawa \protect{\cite{AH1}} and the Araki-Woods representation. This system is essentially the same as a free system or the van Hove model.
In this paper we develop a gapless theory of Bose-Einstein condensation (BEC) which can be applied to both trapped and homogeneous gases at zero and finite temperature. The starting point for the theory is the second quantized, many-body Hamiltonian for a system of structureless bosons with pairwise interactions. A number-conserving approach is used to rewrite this Hamiltonian in a form which is approximately quadratic with higher-order cubic and quartic terms. The quadratic part of the Hamiltonian can be diagonalized exactly by transforming to a quasiparticle basis, while requiring that the condensate satisfy the Gross-Pitaevskii equation. The non-quadratic terms are assumed to have a small effect and are dealt with using first- and second-order perturbation theory. The conventional treatment of these terms, based on factorization approximations, is shown to be inconsistent. Infrared divergences can appear in individual terms of the perturbation expansion, but we show analytically that the total contribution beyond quadratic order is finite. The resulting excitation spectrum is gapless and the energy shifts are small for a dilute gas away from the critical region, justifying the use of perturbation theory. Ultraviolet divergences can appear if a contact potential is used to describe particle interactions. We show that the use of this potential as an approximation to the two-body T -matrix leads naturally to a high-energy renormalization. The theory developed in this paper is therefore well defined at both low and high energy and provides a systematic description of BEC in dilute gases. It can therefore be used to calculate the energies and decay rates of the excitations of the system at temperatures approaching the phase transition.
We discuss a no-go theorem for Bose-Einstein condensation (BEC) of quasiparticles (phonons) from the viewpoint of operator algebras, using the van Hove model. The β-KMS states of the van Hove model satisfy the self-consistency condition of arXiv:1207.4621. However, the self-consistency condition is a constraint concerning the definition of the field, and is insufficient to establish the no-go theorem for BEC. In this paper, we prove the no-go theorem for BEC via two routes. First, imposing time cluster properties on the β-KMS states precludes BEC. Second, under nonlinear dispersion with s>2, the treatment of infrared divergences automatically reduces the algebra of physical observables, and BEC is mathematically excluded on the reduced algebra. In particular, the latter property admits an interpretation in terms of the ideal theory of the resolvent algebra.
We present a topical review of the development of finite-temperature field theories of Bose-Einstein condensation in weakly interacting atomic gases. We highlight the difficulties in obtaining a consistent finite-temperature theory that has a gapless excitation spectrum in accordance with Goldstone's theorem and which is free from both ultraviolet and infrared divergences. We present results from the two consistent theories developed so far. These are the Hartree-Fock-Bogoliubov theory within the Popov approximation and a many-body T -matrix approach which we have termed gapless-Hartree-Fock-Bogoliubov (GHFB). Comparison with the available experimental results is made and the remaining difficulties are highlighted.
We present a systematic description of the structure of Bose-Einstein condensation (BEC) in the free Bose gas from the viewpoint of the correspondence between the operator-algebraic formulation based on the resolvent algebra and the functional integral representation. By clarifying the representation-theoretic structure of finite-temperature BEC states and rigorously analyzing the correspondence between their direct integral decomposition and the ergodic decomposition of the associated probability measures, we provide a framework in which general features of phase transitions-such as the emergence of order parameters, the decomposition of states, and clustering properties-are explicitly described using BEC in the free Bose gas as a concrete example. Furthermore, we construct in detail the correspondence between the decomposition of measures in the functional integral approach and that of operator-algebraic representations, thereby establishing the equivalence between the probabilistic and algebraic aspects, and providing a guiding principle for isolating the essential structures by disentangling the additional mathematical complications arising from the treatment of infrared singularities in interacting systems. These results lay a foundation for the rigorous analysis of phase transitions in non-relativistic constructive quantum field theory and quantum statistical mechanics, and serve as a starting point for extensions to interacting models.
The fundamental problem is analyzed, the relation between Bose-Einstein condensation and spontaneous gauge symmetry breaking. This relation is largerly misunderstood in physics community. Numerous articles and books contain the statement that, though gauge symmetry breaking helps for describing Bose-Einstein condensation, but the latter, in principle, does not require any symmetry breaking. This, however, is not correct. The analysis is based on the known mathematical theorems. But in order not to overcomplicate the presentation and to make it accessible to all readers, technical details are often omitted here. The emphasis is made on the following basic general facts: Spontaneous breaking of gauge symmetry is the necessary and sufficient condition for Bose-Einstein condensation. Condensate fluctuations, in thermodynamic limit, are negligible. Their catastrophic behavior can arise only as a result of incorrect calculations, when a Bose-condensed system is described without gauge symmetry breaking. It is crucially important to employ the representative statistical ensembles equipped with all conditions that are necessary for a unique and mathematically correct description of the given statistical system. Only then one is able to develop a self-consistent theory, free of paradoxes.
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.