|
|
| Line 1: |
Line 1: |
| In [[quantum field theory]] and [[statistical mechanics]], the '''Mermin–Wagner theorem''' (also known as '''Mermin–Wagner–Hohenberg theorem''' or '''Coleman theorem''') states that continuous symmetries cannot be [[spontaneously broken]] at finite temperature in systems with sufficiently short-range interactions in dimensions ''d'' ≤ 2. Intuitively, this means that long-range fluctuations can be created with little energy cost and since they increase the entropy they are favored.
| | I would like to introduce myself to you, I am Jayson Simcox but I don't like when individuals use my complete name. What me and my family members love is to climb but I'm considering on starting some thing new. Invoicing is what I do. Some time ago she chose to live in Alaska and her parents reside close by.<br><br>Feel free to surf to my website - email psychic readings ([http://www.skullrocker.com/blogs/post/10991 related web-site]) |
| | |
| This is because if such a [[spontaneous symmetry breaking]] occurred, then the corresponding [[Goldstone bosons]], being massless, would have an infrared divergent [[correlation function]].
| |
| | |
| The absence of spontaneous symmetry breaking in ''d'' ≤ 2 dimensional systems was rigorously proved by {{harvs|txt|first=Sidney|last=Coleman|author1-link=Sidney Coleman|year=1973}} in quantum field theory and by [[David Mermin]], [[Herbert Wagner (physicist)|Herbert Wagner]] and [[Pierre Hohenberg]] in statistical physics. That the theorem does not apply to discrete symmetries can be seen in the two-dimensional [[Ising model]].
| |
| | |
| == Introduction ==
| |
| Consider the [[free field|free scalar field]] ''φ'' of mass ''m'' in two Euclidean dimensions. Its [[propagator]] is:
| |
| :<math>
| |
| G(x) = \left\langle \phi (x)\phi (0) \right\rangle = \int {d^2 k \over (2\pi )^2 } {e^{ik \cdot x} \over k^2 + m^2 }.
| |
| </math>
| |
| | |
| For small ''m'', ''G'' is a solution to Laplace's equation with a point source:
| |
| :<math>
| |
| \nabla^2 G = \delta(x).
| |
| </math>
| |
| This is because the propagator is the reciprocal of ∇<sup>2</sup> in ''k'' space. To use [[Gauss's law]], define the electric field analog to be ''E'' = ∇''G''. The divergence of the electric field is zero. In two dimensions, using a large Gaussian ring:
| |
| :<math>
| |
| E = {1\over 2\pi r}.
| |
| </math>
| |
| So that the function ''G'' has a logarithmic divergence both at small and large ''r''.
| |
| :<math>
| |
| G(r) = {1\over 2\pi} \log(r)
| |
| </math>
| |
| | |
| The interpretation of the divergence is that the field fluctuations cannot stay centered around a mean. If you start at a point where the field has the value 1, the divergence tells you that as you travel far away, the field is arbitrarily far from the starting value. This makes a two dimensional massless scalar field slightly tricky to define mathematically. If you define the field by a Monte-Carlo simulation, it doesn't stay put, it slides to infinitely large values with time.
| |
| | |
| This happens in one dimension too, when the field is a one dimensional scalar field, a random walk in time. A random walk also moves arbitrarily far from its starting point, so that a one-dimensional or two-dimensional scalar does not have a well defined average value.
| |
| | |
| If the field is an angle, ''θ'', as it is in the [[Goldstone boson|Mexican hat model]] where the complex field ''A'' = ''R'' ''e''<sup>''i'' ''θ''</sup> has an expectation value but is free to slide in the ''θ'' direction, the angle ''θ'' will be random at large distances. This is the Mermin–Wagner theorem: there is no spontaneous breaking of a continuous symmetry in two dimensions.
| |
| | |
| ==Kosterlitz–Thouless transition==
| |
| | |
| {{main|Kosterlitz–Thouless transition}}
| |
| | |
| Another example is the [[XY model]]. The Mermin–Wagner theorem prevents any spontaneous symmetry breaking of the model's continuous (internal) O(2) symmetry on a spatial lattice of dimension d ≤ 2, i.e. the (spin-)field's expectation value remains zero for any ''finite'' temperature ([[quantum phase transition]]s remain unaffected). However, the theorem does not prevent the existence of a phase transition in the sense of a diverging [[correlation length]] <math>\xi</math>. To this end, the model has two phases: a conventional disordered phase at high temperature with dominating exponential decay of the [[correlation length|correlation function]] <math>G(r)\sim\exp(-r/\xi)</math> for <math>r/\xi\gg1</math>, and a low-temperature phase with [[Long-range order|quasi-long-range order]] where G(r) decays according to some [[power law]] for "sufficiently large", but finite distance r (<math>a\ll r\ll\xi</math> with <math>a</math> the [[lattice spacing]]).
| |
| | |
| == Heisenberg model ==
| |
| We will present an intuitive way<ref>see {{harvtxt|Cardy|2002}}</ref> to understand the mechanism that prevents symmetry breaking in low dimensions, through an application to the [[Heisenberg model]], that is a system of ''n''-component spins '''S'''<sub>''i''</sub> of unit length |'''S'''<sub>''i''</sub>|=1, located at the sites of a ''d''-dimensional square lattice, with nearest neighbor coupling ''J''. Its Hamiltonian is
| |
| :<math>{H = - J\sum\limits_{\left\langle {i,j} \right\rangle } {{\mathbf{S}}_i \cdot {\mathbf{S}}_j } }.</math>
| |
| | |
| The name of this model comes from its rotational symmetry. Let us consider the [[low temperature]] behavior of this system and assume that there exists a spontaneously broken, that is a phase where all spins point in the same direction, e.g. along the ''x''-axis. Then the ''O''(''n'') rotational symmetry of the system is spontaneously broken, or rather reduced to the ''O''(''n''-1) symmetry under rotations around this direction. We can parametrize the field in terms of independent fluctuations ''σ''<sub>''α''</sub> around this direction as follows:
| |
| | |
| :<math>
| |
| {\mathbf{S}} = \left( {\sqrt {1 - \sum\limits_\alpha {\sigma _\alpha ^2 } } ,\{ \sigma _\alpha \} } \right), \,\,\,
| |
| \alpha = 1,2,\dots ,n - 1</math>
| |
| | |
| with |''σ''<sub>''α''</sub>|{{Unicode|≪}}1, and Taylor expand the resulting Hamiltonian. We have
| |
| | |
| :<math>\begin{align}
| |
| {\mathbf{S}}_i \cdot {\mathbf{S}}_j
| |
| &=& \sqrt {\left( {1 - \sum\limits_\alpha {\sigma ^2 _{i\alpha } } } \right)\left( {1 - \sum\limits_\alpha {\sigma ^2 _{j\alpha } } } \right)} + \sum\limits_\alpha {\sigma_{i\alpha } \sigma _{j\alpha } } \\
| |
| &=& 1 - \tfrac{1}{2}
| |
| \sum\limits_\alpha \left({{\sigma ^2 _{i\alpha }} + {\sigma ^2 _{j\alpha } } }\right) + \sum\limits_\alpha {\sigma _{i\alpha } \sigma _{j\alpha } } + \mathcal{O}(\sigma ^4 )\\
| |
| &=&
| |
| 1 - \tfrac{1}
| |
| {2}{\sum\limits_\alpha {(\sigma _{i\alpha } } - \sigma _{j\alpha } )^2 } + \ldots
| |
| \end{align}
| |
| </math>
| |
| | |
| whence
| |
| | |
| :<math>
| |
| H = H_0 + \tfrac{1}
| |
| {2}J\sum\limits_{\left\langle {i,j} \right\rangle } {\sum\limits_\alpha {(\sigma _{i\alpha } } - \sigma _{j\alpha } )^2 } + \ldots.
| |
| </math>
| |
| | |
| Ignoring the irrelevant constant term ''H''<sub>0</sub> = −''JNd'' and passing to the continuum limit, given that we are interested in the low temperature phase where long-wavelength fluctuations dominate, we get
| |
| | |
| :<math>
| |
| H = \tfrac{1}
| |
| {2}J\int {d^d x\sum\limits_\alpha {(\nabla \sigma _\alpha )^2 } } + \ldots.</math>
| |
| | |
| The field fluctuations ''σ''<sub>''α''</sub> are called [[spin wave]]s and can be recognized as Goldstone bosons. Indeed, they are ''n''-1 in number and they have zero mass since there is no mass term in the Hamiltonian.
| |
| | |
| To find if this hypothetical phase really exists we have to check if our assumption is self-consistent, that is if the expectation value of the [[magnetization]], calculated in this framework, is finite as assumed. To this end we need to calculate the first order correction to the magnetization due to the fluctuations. This is the procedure followed in the derivation of the well-known [[Ginzburg criterion]].
| |
| | |
| The model is Gaussian to first order and so the momentum space correlation function is proportional to 1/''k''<sup>2</sup>. Thus the real space two-point correlation function for each of these modes is
| |
| | |
| :<math>\left\langle {\sigma _\alpha (r)\sigma _\alpha (0)} \right\rangle = \frac{1}
| |
| {{\beta J}}\int\limits_{}^{1/a} {\frac{{d^d k}}
| |
| {{(2\pi )^d }}\frac{{e^{i{\mathbf{k}} \cdot {\mathbf{r}}} }}
| |
| {{k^2 }}}</math>
| |
| | |
| where ''a'' is the lattice spacing. The average magnetization is
| |
| | |
| :<math>\left\langle {S_1} \right\rangle =1-\tfrac{1}{2}\sum\limits_\alpha \left\langle {{\sigma_ \alpha ^2 }} \right\rangle + \ldots</math>
| |
| | |
| and the first order correction can now easily be calculated:
| |
| | |
| :<math> \sum\limits_\alpha \left\langle {{\sigma _\alpha ^2 (0) }} \right\rangle = (n-1) \frac{1}
| |
| {{\beta J}}\int\limits_{}^{1/a} {\frac{{d^d k}}
| |
| {{(2\pi )^d }}\frac{1}
| |
| {{k^2 }}}.</math>
| |
| | |
| The integral above is proportional to
| |
| | |
| :<math>\int\limits_{}^{1/a} k^{d-3} dk</math>
| |
| | |
| and so it is finite for ''d''>2, but appears to be logarithmically divergent for ''d'' ≤ 2. However, this is really an artifact of the linear approximation. In a more careful treatment, the average magnetization is zero.
| |
| | |
| We thus conclude that for ''d'' ≤ 2 our assumption that there exists a phase of spontaneous magnetization is incorrect for all ''T''>0, because the fluctuations are strong enough to destroy the spontaneous symmetry breaking. This is a general result and is called ''Mermin–Wagner–Hohenberg theorem'':
| |
| | |
| ''There is no phase with spontaneous breaking of a continuous symmetry for ''T''>0, in ''d'' ≤ 2 dimensions.''
| |
| | |
| The result can also be extended to other geometries, such as Heisenberg films with an arbitrary number of layers, as well as to other lattice systems (Hubbard model, s-f model).<ref>See {{harvtxt|Gelfert|Nolting|2001}}.</ref>
| |
| | |
| == Generalizations ==
| |
| Much stronger results than absence of magnetization can actually be proved, and the setting can be substantially more general. In particular:
| |
| | |
| 1. The Hamiltonian can be invariant under the action of an arbitrary compact, connected Lie group G.
| |
| | |
| 2. Long-range interactions can be allowed (provided that they decay fast enough; necessary and sufficient conditions are known).
| |
| | |
| In this general setting, Mermin–Wagner theorem admits the following strong form (stated here in an informal way): ''All (infinite-volume) Gibbs states associated to this Hamiltonian are invariant under the action of G''.
| |
| | |
| When the assumption that the Lie group be compact is dropped, a similar result holds, but with the conclusion that infinite-volume Gibbs states do not exist.
| |
| | |
| Finally, there are other important applications of these ideas and methods, most notably to the proof that there cannot be non-translation invariant Gibbs states in two-dimensional systems. A typical such example would be the absence of crystalline states in a system of hard disks (with possibly additional attractive interactions).
| |
| | |
| It has been proved however that interactions of hard-core type can lead in general to violations of Mermin–Wagner theorem.
| |
| | |
| ==Notes==
| |
| {{Reflist}}
| |
| | |
| == References ==
| |
| | |
| # {{citation|first=P.C.|last=Hohenberg|title=Existence of Long-Range Order in One and Two Dimensions|url=http://link.aps.org/abstract/PR/v158/p383|journal=Phys. Rev.|volume=158|page=383|year=1967|bibcode = 1967PhRv..158..383H |doi = 10.1103/PhysRev.158.383 }}
| |
| # {{citation|first1=N.D.|last1=Mermin|first2=H.|last2=Wagner|title=Absence of Ferromagnetism or Antiferromagnetism in One- or Two-Dimensional Isotropic Heisenberg Models|url=http://link.aps.org/abstract/PRL/v17/p1133|journal= Phys. Rev. Lett.|volume=17|pages=1133–1136|year=1966|bibcode = 1966PhRvL..17.1133M |doi = 10.1103/PhysRevLett.17.1133 }}
| |
| # {{citation|first=Sidney|last=Coleman|title=There are no Goldstone bosons in two dimensions|url=http://projecteuclid.org/Dienst/UI/1.0/Summarize/euclid.cmp/1103859034|journal=Commun. Math. Phys.|volume=31|pages=259|year=1973|bibcode = 1973CMaPh..31..259C |doi = 10.1007/BF01646487 }}
| |
| # {{citation|first1=Axel|last1=Gelfert|first2=Wolfgang|last2=Nolting|title=The absence of finite-temperature phase transitions in low-dimensional many-body models: a survey and new results|url=http://www.iop.org/EJ/abstract/0953-8984/13/27/201/|journal= J. Phys.: Condens. Matter|volume=13|pages=R505-R524|year=2001}}
| |
| # {{citation|first1=R.L.|last1=Dobrushin|first2=S.B.|last2=Shlosman|title=Absence of breakdown of continuous symmetry in two-dimensional models of statistical physics|url=http://projecteuclid.org/euclid.cmp/1103898965|journal= Comm. Math. Phys.|volume=42|page=31|year=1975}}
| |
| # {{citation|first=C.-E.|last=Pfister|title=On the symmetry of the Gibbs states in two-dimensional lattice systems|url=http://projecteuclid.org/euclid.cmp/1103908962|journal=Comm. Math. Phys.|volume=79|page=181|year=1981}}
| |
| # {{citation|first=J.|last=Fröhlich|first2=C.E.|last2=Pfister|title=On the absence of spontaneous symmetry breaking and of crystalline ordering in two-dimensional systems|url=http://projecteuclid.org/euclid.cmp/1103920246|journal=Comm. Math. Phys.|volume=81|page=277|year=1981}}
| |
| # {{citation | first1=A.|last1=Klein|first2=L.J.|last2=Landau|first3=D.S.|last3=Shucker|title=On the absence of spontaneous breakdown of continuous symmetry for equilibrium states in two dimensions|url=http://www.springerlink.com/content/x33244059r620747|journal= J. Statist. Phys.|volume= 26|page=505|year=1981}}
| |
| # {{citation|first1=C.A.|last1=Bonato|first2=J.F.|last2=Perez|first3=A.|last3=Klein|title=The Mermin-Wagner phenomenon and cluster properties of one- and two-dimensional systems|url=http://www.springerlink.com/content/p7876364465r7823|journal= J. Statist. Phys.|volume= 29|page=159|year=1982}}
| |
| # {{citation|first1=D.|last1=Ioffe|first2=S.B.|last2=Shlosman|first3=Y.|last3=Velenik|title=2D models of statistical physics with continuous symmetry: the case of singular interactions|url=http://www.springerlink.com/content/mttf9c2t0yn0pucw|journal= Comm. Math. Phys.|volume= 226|page=433|year=2002}}
| |
| #{{citation|last=Cardy|first=John|title=Scaling and renormalization in statistical physics|year=2002|publisher=Cambridge University Press|location=[Cambridge]|isbn=978-0-521-49959-0|edition=Reprinted (with corr.)}}
| |
| # {{citation|first=T.|last=Richthammer|title=Translation-invariance of two-dimensional Gibbsian point processes|url=http://www.springerlink.com/content/346pp7j7422p2180|journal= Commun. Math. Phys.|volume= 274|page=81|year=2007|bibcode = 2007CMaPh.274...81R |doi = 10.1007/s00220-007-0274-7 |arxiv = 0706.3637 }}
| |
| #{{scholarpedia|title=Mermin-Wagner Theorem|urlname=Mermin-Wagner_Theorem|curator=Herbert Wagner}}
| |
| | |
| {{DEFAULTSORT:Mermin-Wagner Theorem}}
| |
| [[Category:Quantum field theory]]
| |
| [[Category:Theorems in quantum physics]]
| |
| [[Category:Statistical mechanics theorems]]
| |