Journal of Statistical Physics, Vol. 116, Nos. 1/4, August 2004. p. 629-680.
In this paper, we discuss the spin-reflection-positivity method introduced by Lieb [E. H. Lieb, Phys. Rev. Lett. 62:1201 (1989)] and its applications to strongly correlated electron systems in a pedagogical manner. We emphasize the important role played by the sign rule of the ground-state wave function in studying a many-body system. To make our explanation more readable, we shall first review some well-known one-dimensional examples and recall the Lieb—Mattis theorem on the Heisenberg localized spin models. Then, after introducing the general theory of spin-reflection positivity, we show in detail how to use it to overcome the sign problem caused by the fermion characteristics of itinerant electrons in strongly correlated models. Finally, we establish several rigorous results on the Hubbard model, the periodic Anderson model and the Kondo lattice model.