The XY model is the O(n) model at , with a planar unit spin represented
by an angle
modulo
. On a finite square lattice,
the standard nearest-neighbor zero-field Gibbs measure
is proportional to
where is inverse temperature and every
bond is counted once. For the free-boundary infinite-volume
state, let
.
Put
and
.