Lattice systems (Ising, dimer, Potts, etc.) Equilibrium statistical mechanics mathematics