Strongly correlated electron systems: Spin-reflection positivity and some rigorous results

Theory of spin-reflection positivity developed in recent years is reviewed. This theory makes use of symmetries in an electron system and theory of matrix to investigate the ground state properties. Existences of anti-and ferromagnetic long-range orders in itinerant electron systems, and of off-diagonal long-range order are two successful applications of the theory. In this article, the author attempt to summarize exact results proved by utilizing this theory and related topics. First a general theory and basic theorems are introduced. Second, based on the band structures of conduction electrons, existences of a singlet state with strongly antiferromagnetic correlation, a state with both anti- and ferromagnetic long-range orders, and a fully saturated ferromagnetic state are proved. The theory is applied to several of the main theoretical models for strongly correlated electron systems, such as the Heisenberg model, the Hubbard model, the Anderson model, the single-and multichannel Kondo model, and the generalized Hubbard model, and a series of rigorous results are found in these models. Third, it is proved that off-diagonal long-range order and charge-density wave exist in the ground states of the attractive Hubbard model and the generalized Hubbard model. A relation between pseudospin symmetry and the uniform density theorem is introduced. Fourth, the theory is applied successfully to explain experimental observations of oscillatory interlayer magnetic coupling in ultrathin magnetic films. Finally several unsolved problems are discussed. All results introduced in this article are mathematically exact.