Reflection Positivity in Heisenberg and Ice-Type Models

This thesis gives a thorough description of the mathematical tool called reflection positivity, which can be used to prove the occurrence of phase transitions in physical models. A major result, although already known, is a theorem that gives tractable conditions on the Hamiltonian such that the Boltzmann functional is reflection positive. In...