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 
.
