Correlation inequalities for classical and quantum XY models

We review correlation inequalities of truncated functions for the classical and quantum XY models. A consequence is that the critical temperature of the XY model is necessarily smaller than that of the Ising model, in both the classical and quantum cases. We also discuss an explicit lower bound on the critical temperature of the quantum XY model.