Springer Online Journal Archives 1860-2000
Abstract A general method for proving the existence of phase transitions is presented and applied to six nearest neighbor models, both classical and quantum mechanical, on the two dimensional square lattice. Included are some two dimensional Heisenberg models. All models are anisotropic in the sense that the groundstate is only finitely degenerate. Using our method which combines a Peierls argument with reflection positivity, i.e. chessboard estimates, and the principle of exponential localization we show that five of them have long range order at sufficiently low temperature. A possible exception is the quantum mechanical, anisotropic Heisenberg ferromagnet for which reflection positivity isnot proved, but for which the rest of the proof is valid.
Type of Medium: