Systems of spin 1 have a rich phase diagram that includes ferromagnetic, antiferromagnetic, and spin nematic phases (in dimensions three and higher). They can be studied with the help of graphical (random loop) representations, introduced by Tóth and Aizenman-Nachtergaele. The existence of phase transitions can be proved using the method of reflection positivity and infrared bounds.
I will explain a recent conjecture about the joint distribution of the lengths of long loops ("Poisson-Dirichlet") and how this conjecture helps to identify the extremal Gibbs states.