Classical XY model

The classical XY model (sometimes also called classical rotor (rotator) model or O(2) model) is a lattice model of statistical mechanics. It is the special case of the n-vector model for n = 2.

Definition

Given a D-dimensional lattice Λ, per each lattice site j ∈ Λ there is a two-dimensional, unit-length vector s_j = (cos θ_j, sin θ_j)

The spin configuration, s = (s_j)_{j ∈ Λ} is an assignment of the angle −π < θ_j ≤ π for each j ∈ Λ.

Given a translation-invariant interaction J_ij = J(i − j) and a point dependent external field $\mathbf {h} _{j}=(h_{j},0)$, the configuration energy is

$H(\mathbf {s} )=-\sum _{i\neq j}J_{ij}\;\mathbf {s} _{i}\cdot \mathbf {s} _{j}-\sum _{j}\mathbf {h} _{j}\cdot \mathbf {s} _{j}=-\sum _{i\neq j}J_{ij}\;\cos(\theta _{i}-\theta _{j})-\sum _{j}h_{j}\cos \theta _{j}$

The case in which J_ij = 0 except for ij nearest neighbor is called nearest neighbor case.

The configuration probability is given by the Boltzmann distribution with inverse temperature β ≥ 0:

$P(\mathbf {s} )={\frac {e^{-\beta H(\mathbf {s} )}}{Z}}\qquad Z=\int _{[-\pi ,\pi ]^{\Lambda }}\prod _{j\in \Lambda }d\theta _{j}\;e^{-\beta H(\mathbf {s} )}.$

where Z is the normalization, or partition function. The notation $\langle A(\mathbf {s} )\rangle$ indicates the expectation of the random variable A(s) in the infinite volume limit, after periodic boundary conditions have been imposed.

General properties

• The existence of the thermodynamic limit for the free energy and spin correlations were proved by Ginibre, extending to this case the Griffiths inequality.

• Using the Griffiths inequality in the formulation of Ginibre, Aizenman and Simon proved that the two point spin correlation of the ferromagnetics XY model in dimension D, coupling J > 0 and inverse temperature β is dominated by (i.e. has an upper bound given by) the two point correlation of the ferromagnetic Ising model in dimension D, coupling J > 0 and inverse temperature Template:Sfrac''β''

$\langle \mathbf {s} _{i}\cdot \mathbf {s} _{j}\rangle _{J,2\beta }\leq \langle \sigma _{i}\sigma _{j}\rangle _{J,\beta }$

Hence the critical β of the XY model cannot be smaller than the double of the critical temperature of the Ising model

$\beta _{c}^{XY}\geq 2\beta _{c}^{\rm {Is}}$

One dimension

• In case of long range interaction, $J_{x,y}\sim |x-y|^{-\alpha },$ the thermodynamic limit is well defined if α > 1; the magnetization remains zero if α ≥ 2; but the magnetization is positive, at low enough temperature, if 1 < α < 2 (infrared bounds).

• As in any 'nearest-neighbor' n-vector model with free boundary conditions, if the external field is zero, there exists a simple exact solution. In the free boundary conditions case, the Hamiltonian is

$H(\mathbf {s} )=-J[\cos(\theta _{1}-\theta _{2})+\cdots +\cos(\theta _{L-1}-\theta _{L})]$

therefore the partition function factorizes under the change of coordinates

$\theta _{j}=\theta _{j}'+\theta _{j-1}\qquad j\geq 2$

That gives

$Z=\int _{-\pi }^{\pi }d\theta _{1}\cdots d\theta _{L}\;e^{\beta J\cos(\theta _{1}-\theta _{2})}\cdots e^{\beta J\cos(\theta _{L-1}-\theta _{L})}=2\pi \prod _{j=2}^{L}\int _{-\pi }^{\pi }d\theta '_{j}\;e^{\beta J\cos \theta '_{j}}=2\pi \left[\int _{-\pi }^{\pi }d\theta '_{j}\;e^{\beta J\cos \theta '_{j}}\right]^{L-1}$

Finally

$f(\beta ,0)=-{\frac {1}{\beta }}\ln \int _{-\pi }^{\pi }d\theta '_{j}\;e^{\beta J\cos \theta '_{j}}=-{\frac {1}{\beta }}\ln[2\pi I_{0}(\beta J)]$

where $I_{0}$ is the modified Bessel function of the first kind.

The same computation for periodic boundary condition (and still h = 0) requires the transfer matrix formalism.

Two Dimensions

• In the case of long range interaction, $J_{x,y}\sim |x-y|^{-\alpha }$, the thermodynamic limit is well defined if α > 2; the magnetization remains zero if α ≥ 4; but the magnetization is positive at low enough temperature if 2 < α < 4 (Kunz and Pfister; alternatively, infrared bounds).

• At high temperature and nearest neighbour interaction, the spontaneous magnetization vanishes:

$M(\beta ):=|\langle \mathbf {s} _{i}\rangle |=0$

Besides, cluster expansion shows that the spin correlations cluster exponentially fast: for instance

$|\langle \mathbf {s} _{i}\cdot \mathbf {s} _{j}\rangle |\leq C(\beta )e^{-c(\beta )|i-j|}$

• At low temperature and nearest neighbour interaction, i.e. β ≫ 1, the spontaneous magnetization remains zero, (Mermin theorem)

$M(\beta ):=|\langle \mathbf {s} _{i}\rangle |=0$

but the decay of the correlations is only power law: Fröhlich and Spencer found the lower bound

$|\langle \mathbf {s} _{i}\cdot \mathbf {s} _{j}\rangle |\geq {\frac {C(\beta )}{1+|i-j|^{\eta (\beta )}}}$

while McBryan and Spencer found the upper bound, for any $\epsilon >0$

$|\langle \mathbf {s} _{i}\cdot \mathbf {s} _{j}\rangle |\leq {\frac {C(\beta ,\epsilon )}{1+|i-j|^{\eta (\beta ,\epsilon )}}}$

The fact that at high temperature correlations decay exponentially fast, while at low temperatures decay with power law, even though in both regimes M(β) = 0, is called Kosterlitz-Thouless transition.

The continuous version of the XY model is often used to model systems that possess order parameters with the same kinds of symmetry, e.g. superfluid helium, hexatic liquid crystals. This is what makes them peculiar from other phase transitions which are always accompanied with a symmetry breaking. Topological defects in the XY model leads to a vortex-unbinding transition from the low-temperature phase to the high-temperature disordered phase.

Three and Higher Dimensions

Independently of the range of the interaction, at low enough temperature the magnetization is positive.

• At high temperature, the spontaneous magnetization vanishes:

$M(\beta ):=|\langle \mathbf {s} _{i}\rangle |=0$

Besides, cluster expansion shows that the spin correlations cluster exponentially fast: for instance

$|\langle \mathbf {s} _{i}\cdot \mathbf {s} _{j}\rangle |\leq C(\beta )e^{-c(\beta )|i-j|}$

• At low temperature, infrared bound shows that the spontaneous magnetization is strictly positive:

$M(\beta ):=|\langle \mathbf {s} _{i}\rangle |>0$

Besides, there exist a 1-parameter family of extremal states, $\langle \;\cdot \;\rangle ^{\theta }$, such that

$\langle \mathbf {s} _{i}\rangle ^{\theta }=M(\beta )(\cos \theta ,\sin \theta )$

but, conjecturally, in each of these extremal states the truncated correlations decay algebraically.

In general, the XY model can be seen as a specialization of Stanley's N-vector model

See also

• Classical Heisenberg model
• Goldstone boson
• Ising model
• Potts model
• N-vector model
• Kosterlitz-Thouless transition
• Topological defect
• Superfluid film

References

• Evgeny Demidov, Vortices in the XY model (2004)

General Literature

• H. E. Stanley, Introduction to Phase Transitions and Critical Phenomena, (Oxford University Press, Oxford and New York 1971);
• H. Kleinert, Gauge Fields in Condensed Matter, Vol. I, " SUPERFLOW AND VORTEX LINES", pp. 1–742, Vol. II, "STRESSES AND DEFECTS", pp. 743–1456, World Scientific (Singapore, 1989); Paperback ISBN 9971-5-0210-0 (also available online: Vol. I and Vol. II)

External links

• Interactive Monte Carlo simulation of the Ising, XY and Heisenberg models with 3D graphics (requires WebGL compatible browser)