# Precise statement of Mermin–Wagner theorem

Roughly speaking, Mermin-Wagner theorem states that continuous symmetries cannot be spontaneously broken at finite temperature in systems with sufficiently short-range interactions in dimensions $d\leq 2$.

What is the precise statement of this theorem? In particular:

1. What are the types of systems the theorem applies to?
2. How short-ranged must the interactions be?
3. Do the interactions have to satisfy other conditions, such as being isotropic?

I'll state one version of the theorem, valid for classical systems. I'll not give the most general framework, as things become messy, but this should still give you an idea of how general the result is.

We need the following ingredients:

• Spins: to each vertex of the lattice $\mathbb{Z}^2$, we attach a spin $\phi_x$ taking values in some compact topological space $S$.
• Symmetry group: a compact, connected Lie group $G$ acting on $S$.
• Interaction: a piecewise-continuous function $U:S\times S\to\mathbb{R}$, invariant under the action of $G$: $U(g\phi_x,g\phi_y) = U(\phi_x,\phi_y)$, for each $g\in G$.
• Coupling constants: a collection $(J_x)_{x\in\mathbb{Z}^d}$ of nonnegative real numbers, such that $\sum_{x\neq 0} J_x<\infty$.

We then consider the formal Hamiltonian $$H(\phi) = \sum_{x\neq y\in\mathbb{Z}^2} J_{y-x} U(\phi_x,\phi_y).$$

There is no loss of generality in assuming that $\sum_{x\neq 0} J_x = 1$ (since one can always rescale $U$). With this normalization, we can consider the random walk $X$ on $\mathbb{Z}^2$ with transition probabilities from $x$ to $y$ given by $J_{y-x}$.

The statement then takes the following form: Under the above assumptions, all infinite-volume Gibbs measures associated to the formal Hamiltonian $H$ are invariant under the action of $G$, provided that the random walk $X$ is recurrent.

As an example, consider the case of the $O(N)$ model. In that case, $S=\mathbb{S}^{N-1}$ is the $(N-1)$-sphere, $G=O(N)$ is the group of rotations of $\mathbb{S}^{N-1}$, $U(\phi_x,\phi_y) = -\phi_x \cdot \phi_y$ is minus the scalar product of the two unit vectors. The above result shows that all infinite-volume Gibbs measures associated to the $O(N)$-model are rotation invariant (which implies in particular that there cannot be spontaneous magnetization) as soon as the random walk $X$ is recurrent. Interestingly, it is known, in that case, that there is spontaneous magnetization (and, thus, spontaneous breaking of the rotation symmetry) at low temperatures, as soon as the random walk $X$ is transient. If you prefer a more explicit criterion, restrict your attention to the case $J_x \propto |x|^{-\alpha}$. Then the previous discussion implies that there is spontaneous symmetry breaking at low temperatures in the $O(N)$-model if and only if $\alpha<4$.

[EDIT:] Here's an (very incomplete) list of references for some of the points mentioned above.

Version of the theorem given above:

2D Models of Statistical Physics with Continuous Symmetry: The Case of Singular Interactions, D. Ioffe, S. Shlosman and Y. Velenik, Commun. Math. Phys. 226, 433-454 (2002). arXiv:math/0110127

(The result is actually a bit more general than the one stated above.)

Proof for general graphs (under the assumption that the associated random walk is recurrent and for twice continuously differentiable interaction $U$):

Recurrent random walks and the absence of continuous symmetry breaking on graphs, F. Merkl and H. Wagner, J. Statist. Phys. 75 (1994), no. 1-2, 153–165.

(Again, their results are substantially more general than that: they treat not necessarily ferromagnetic couplings, quantum systems, etc.)

Proof that $O(N)$ models on $\mathbb{Z}^d$ display spontaneous magnetization at low temperatures as soon as the associated random walk is transient:

The Mermin-Wagner phenomenon and cluster properties of one- and two-dimensional systems, C. A. Bonato, J. F. Perez, A. Klein, J. Statist. Phys. 29 (1982), no. 2, 159–175.

You can also check Theorem (20.15) in

Gibbs measures and phase transitions, H.-O. Georgii, de Gruyter Studies in Mathematics, 9. Walter de Gruyter & Co., Berlin, 1988.

There are of course many other relevant references. Please check the bibliography given in these references.

• The discussion in relation to a random walker is insightful. Do you have a reference for further reading? Other references, such as the one suggested by @Norbert above, require the coupling constants to be isotropic. However, this condition seems to be absent in your discussion. Why is this so? – leongz May 22 '13 at 20:32
• Not only is it not necessary to have isotropic coupling constants, but results even apply to a very large class of graphs (which can be extremely irregular). I'll add a couple of references in my post. – Yvan Velenik May 23 '13 at 6:48
• @leongz: as I stumbled again on this question, I realized that I misunderstood your question about isotropy. In the $2d$ n.n. XY model, for example, the interaction between two spins at neighboring vertices $i$ and $j$ takes the form $-J \vec S_i\cdot \vec S_j$ (the spins are unit-vector in $\mathbb{R}^2$) and isotropy is essential in the sense that if we replace the above interaction by $-J_1 S_x(1) S_y(1) - J_2 S_x(2) S_y(2)$, with different constants $J_1$ and $J_2$, then there would be spontaneous magnetization at low temperatures. This is automatic in the settings of the above answer. – Yvan Velenik Aug 1 '14 at 12:40

A short answer to questions 2 and 3:

1. In Mermin-Wagner's paper the short-range condition is stated as $\sum_{\bf R} {\bf R}^2 |J_{\bf R}|<+\infty$. For interactions with (or more precisely majorized by a) power law decay $|J_{\bf R}| \sim R^{-\alpha}$, this requires $\alpha > D+2$, where $D$ is the space dimensionality (i.e., $\alpha >4$ for $D=2$ or $\alpha >3$ for $D=1$). This short-range condition can be made less stringent (and hence Mermin-Wagner's theorem more general): see PRL 87, 137303 (2001) or PRL 107, 107201 (2011) for details.

2. Interactions need not be isotropic, i.e., Heisenberg-like, but the ground state needs to be invariant under a continuous group of symmetry and possess a massless Goldone mode, so that the spin-wave spectrum be gapless. So Mermin-Wagner's theorem holds for the Heisenberg and XY models, but not for the Ising model.