In itinerant systems, electron-electron interactions may lead to the formation of local magnetic moments and their effective exchange coupling, which in turn gives rise to long-range magnetic order. Therefore, when moment formation is weakened, such as in the single-band Hubbard model on a square lattice with the on-site repulsion being randomly switched off on a fraction
x of sites, magnetic order is suppressed beyond some critical
xc, which was found to lie below the classical percolation threshold
xc(perc,sq). Here we study dilute magnetism in flat band systems, namely, in the Hubbard model on a ``Lieb'' lattice. Interestingly, we show that magnetic order persists to
x almost twice as large as the classical percolation threshold for the lattice, thus emphasizing the central role of electron itinerancy to the magnetic response. The analysis of the orbital-resolved order parameters reveals that the contribution of the fourfold coordinated ``
d'' sites to magnetism is dramatically affected by dilution, while the localized ``
p'' states of the flat band provide the dominant contribution to long-range correlations. We also examine the transport properties, which suggest the existence of an insulator-to-metal transition in the same range of the critical magnetic dilution.
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.