A rigorous theorem on off-diagonal long-range order of boson systems
Guang-Shan Tian
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. The author checks the validity of this proposition from another point of view. He rigorously shows 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 his theorem, he shows some interesting properties of the antiferromagnetic Heisenberg model, which can be taken as a hard-core lattice-boson system.
Journal of Physics A Mathematical and General•May 21, 1992•5 citations