A model for crystallization: A variation on the Hubbard model

A quantum mechanical lattice model of fermionic electrons interacting with infinitely massive nuclei is considered. (It can be viewed as a modified Hubbard model in which the spin-up electrons are not allowed to hop.) The electron-nucleus potential is "on-site" only. Neither this potential alone nor the kinetic energy alone can produce long range order. Thus, if long range order exists in this model, it must come from an exchange mechanism. N, the electron plus nucleus number, is taken to be less than or equal to the number of lattice sites. We prove the following: (i) For all dimensions, d, the ground state has long range order; in fact it is a perfect crystal with spacing √2 times the lattice spacing. A gap in the ground state energy always exists at the half-filled band point (N = number of lattices sites). (ii) For small, positive temperature, T, the ordering persists when d ≥ 2. If T is large there is no long range order and there is exponential clustering of all correlation functions.