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

GS TIAN
DOI: https://doi.org/10.1088/0305-4470/25/10/025
1992-01-01
Abstract:For a strongly interacting boson system, it has been proposed that the concept of off-diagonal long-range ordering (ODLRO) is equivalent to Bose-Einstein condensation for a free boson system. Therefore, the existence Of ODLRO in the ground state implies superfluidity. In this article, we check the validity of this proposition from another point of view. We shall rigorously show that, for a hard-core lattice-boson system with a short-ranged interaction, ODLRO is suppressed when a charged excitation gap develops and, hence, the boson system becomes a Mott-insulator. Finally, by using our theorem, we show some interesting properties of the antiferromagnetic Heisenberg model, which can be taken as a hard-core lattice-boson system.
What problem does this paper attempt to address?