The ground state of the Bose gas

The mathematical formalism describing the Bose gas at zero temperature is analysed with the aid of methods that have recently been successful in relativistic quantum field theory. First the spectrum conditions for an infinitely extended system are given and the algebra of observables and the algebra of field operators are defined. General properties of states over these algebras are discussed and theorems are given which connect the linked cluster property, translation invariance and the purity of the states. It is proved that pure states over the algebra of observables have the property of factorisable off-diagonal long range order. The class of quasi free states is defined and of these states those which are translation invariant and possess the linked cluster property are analysed. It is shown that this class of states contains a subclass of pure states of the Bogoliubov type and a subclass of states which are mixtures of non-translationally invariant pure states. The applications of these quasi free states to the interacting Bose gas are summarized.