Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Lattice model (physics)
open-in-new
<h2 id="mathematical-description">Mathematical description</h2> <p>A number of lattice models can be described by the following data: </p> <ul><li>A <a href="/facts/Lattice_(group)/2ls9Iv9N">lattice</a> Λ {\displaystyle \Lambda } , often taken to be a lattice in d {\displaystyle d} -dimensional Euclidean space R d {\displaystyle \mathbb {R} ^{d}} or the d {\displaystyle d} -dimensional torus if the lattice is periodic. Concretely, Λ {\displaystyle \Lambda } is often the <a href="/facts/Integer_lattice/h4FP4pjm">cubic lattice</a>. If two points on the lattice are considered 'nearest neighbours', then they can be connected by an edge, turning the lattice into a <a href="/facts/Lattice_graph/4EHMt1b6">lattice graph</a>. The vertices of Λ {\displaystyle \Lambda } are sometimes referred to as sites.</li> <li>A spin-variable space S {\displaystyle S} . The configuration space C {\displaystyle {\mathcal {C}}} of possible system states is then the space of functions σ : Λ → S {\displaystyle \sigma :\Lambda \rightarrow S} . For some models, we might instead consider instead the space of functions σ : E → S {\displaystyle \sigma :E\rightarrow S} where E {\displaystyle E} is the edge set of the graph defined above.</li> <li>An energy functional E : C → R {\displaystyle E:{\mathcal {C}}\rightarrow \mathbb {R} } , which might depend on a set of additional parameters or 'coupling constants' { g i } {\displaystyle \{g_{i}\}} .</li></ul> <h3>Examples</h3> <p>The <a href="/facts/Ising_model/lvBpj2h1">Ising model</a> is given by the usual cubic lattice graph G = ( Λ , E ) {\displaystyle G=(\Lambda ,E)} where Λ {\displaystyle \Lambda } is an infinite cubic lattice in R d {\displaystyle \mathbb {R} ^{d}} or a period n {\displaystyle n} cubic lattice in T d {\displaystyle T^{d}} , and E {\displaystyle E} is the edge set of nearest neighbours (the same letter is used for the <a href="/facts/Energy_functional/2v0ElfB9">energy functional</a> but the different usages are distinguishable based on context). The spin-variable space is S = { + 1 , − 1 } = Z 2 {\displaystyle S=\{+1,-1\}=\mathbb {Z} _{2}} . The energy functional is </p> E ( σ ) = − H ∑ v ∈ Λ σ ( v ) − J ∑ { v 1 , v 2 } ∈ E σ ( v 1 ) σ ( v 2 ) . {\displaystyle E(\sigma )=-H\sum _{v\in \Lambda }\sigma (v)-J\sum _{\{v_{1},v_{2}\}\in E}\sigma (v_{1})\sigma (v_{2}).} <p>The spin-variable space can often be described as a <a href="/facts/Coset/zFgQUTLY">coset</a>. For example, for the Potts model we have S = Z n {\displaystyle S=\mathbb {Z} _{n}} . In the limit n → ∞ {\displaystyle n\rightarrow \infty } , we obtain the XY model which has S = S O ( 2 ) {\displaystyle S=SO(2)} . Generalising the XY model to higher dimensions gives the n {\displaystyle n} -vector model which has S = S n = S O ( n + 1 ) / S O ( n ) {\displaystyle S=S^{n}=SO(n+1)/SO(n)} . </p> <h3>Solvable models</h3> <p>We specialise to a lattice with a finite number of points, and a finite spin-variable space. This can be achieved by making the lattice periodic, with period n {\displaystyle n} in d {\displaystyle d} dimensions. Then the configuration space C {\displaystyle {\mathcal {C}}} is also finite. We can define the <a href="/facts/Partition_function_(statistical_mechanics)/q65sJrrn">partition function</a> </p> Z = ∑ σ ∈ C exp ( − β E ( σ ) ) {\displaystyle Z=\sum _{\sigma \in {\mathcal {C}}}\exp(-\beta E(\sigma ))} <p>and there are no issues of convergence (like those which emerge in field theory) since the sum is finite. In theory, this sum can be computed to obtain an expression which is dependent only on the parameters { g i } {\displaystyle \{g_{i}\}} and β {\displaystyle \beta } . In practice, this is often difficult due to non-linear interactions between sites. Models with a <a href="/facts/Closed-form_expression/y0xCXlSk">closed-form expression</a> for the partition function are known as <a href="/facts/Exactly_solvable/Crgzjw6G">exactly solvable</a>. </p><p>Examples of exactly solvable models are the periodic 1D Ising model, and the periodic 2D Ising model with vanishing external magnetic field, H = 0 , {\displaystyle H=0,} but for dimension d > 2 {\displaystyle d>2} , the Ising model remains unsolved. </p> <h3>Mean field theory</h3> <p>Due to the difficulty of deriving exact solutions, in order to obtain analytic results we often must resort to <a href="/facts/Mean_field_theory/tJrwSURE">mean field theory</a>. This mean field may be spatially varying, or global. </p> <h4>Global mean field</h4> <p>The configuration space C {\displaystyle {\mathcal {C}}} of functions σ {\displaystyle \sigma } is replaced by the <a href="/facts/Convex_hull/D4Id3JDS">convex hull</a> of the spin space S {\displaystyle S} , when S {\displaystyle S} has a realisation in terms of a subset of R m {\displaystyle \mathbb {R} ^{m}} . We'll denote this by ⟨ C ⟩ {\displaystyle \langle {\mathcal {C}}\rangle } . This arises as in going to the mean value of the field, we have σ ↦ ⟨ σ ⟩ := 1 | Λ | ∑ v ∈ Λ σ ( v ) {\displaystyle \sigma \mapsto \langle \sigma \rangle :={\frac {1}{|\Lambda |}}\sum _{v\in \Lambda }\sigma (v)} . </p><p>As the number of lattice sites N = | Λ | → ∞ {\displaystyle N=|\Lambda |\rightarrow \infty } , the possible values of ⟨ σ ⟩ {\displaystyle \langle \sigma \rangle } fill out the convex hull of S {\displaystyle S} . By making a suitable approximation, the energy functional becomes a function of the mean field, that is, E ( σ ) ↦ E ( ⟨ σ ⟩ ) . {\displaystyle E(\sigma )\mapsto E(\langle \sigma \rangle ).} The partition function then becomes </p> Z = ∫ ⟨ C ⟩ d ⟨ σ ⟩ e − β E ( ⟨ σ ⟩ ) Ω ( ⟨ σ ⟩ ) =: ∫ ⟨ C ⟩ d ⟨ σ ⟩ e − N β f ( ⟨ σ ⟩ ) . {\displaystyle Z=\int _{\langle {\mathcal {C}}\rangle }d\langle \sigma \rangle e^{-\beta E(\langle \sigma \rangle )}\Omega (\langle \sigma \rangle )=:\int _{\langle {\mathcal {C}}\rangle }d\langle \sigma \rangle e^{-N\beta f(\langle \sigma \rangle )}.} <p>As N → ∞ {\displaystyle N\rightarrow \infty } , that is, in the <a href="/facts/Thermodynamic_limit/7v2gdVsz">thermodynamic limit</a>, the <a href="/facts/Saddle_point_approximation/C6E59y70">saddle point approximation</a> tells us the integral is asymptotically dominated by the value at which f ( ⟨ σ ⟩ ) {\displaystyle f(\langle \sigma \rangle )} is minimised: </p> Z ∼ e − N β f ( ⟨ σ ⟩ 0 ) {\displaystyle Z\sim e^{-N\beta f(\langle \sigma \rangle _{0})}} <p>where ⟨ σ ⟩ 0 {\displaystyle \langle \sigma \rangle _{0}} is the argument minimising f {\displaystyle f} . </p><p>A simpler, but less mathematically rigorous approach which nevertheless sometimes gives correct results comes from linearising the theory about the mean field ⟨ σ ⟩ {\displaystyle \langle \sigma \rangle } . Writing configurations as σ ( v ) = ⟨ σ ⟩ + Δ σ ( v ) {\displaystyle \sigma (v)=\langle \sigma \rangle +\Delta \sigma (v)} , truncating terms of O ( Δ σ 2 ) {\displaystyle {\mathcal {O}}(\Delta \sigma ^{2})} then summing over configurations allows computation of the partition function. </p><p>Such an approach to the periodic Ising model in d {\displaystyle d} dimensions provides insight into <a href="/facts/Phase_transitions/eLP2BY8R">phase transitions</a>. </p> <h4>Spatially varying mean field</h4> <p>Suppose the <a href="/facts/Continuum_limit/bSDQhaU9">continuum limit</a> of the lattice Λ {\displaystyle \Lambda } is R d {\displaystyle \mathbb {R} ^{d}} . Instead of averaging over all of Λ {\displaystyle \Lambda } , we average over neighbourhoods of x ∈ R d {\displaystyle \mathbf {x} \in \mathbb {R} ^{d}} . This gives a spatially varying mean field ⟨ σ ⟩ : R d → ⟨ C ⟩ {\displaystyle \langle \sigma \rangle :\mathbb {R} ^{d}\rightarrow \langle {\mathcal {C}}\rangle } . We relabel ⟨ σ ⟩ {\displaystyle \langle \sigma \rangle } with ϕ {\displaystyle \phi } to bring the notation closer to field theory. This allows the partition function to be written as a <a href="/facts/Path_integral_formulation/6lt2MHkW">path integral</a> </p> Z = ∫ D ϕ e − β F [ ϕ ] {\displaystyle Z=\int {\mathcal {D}}\phi e^{-\beta F[\phi ]}} <p>where the free energy F [ ϕ ] {\displaystyle F[\phi ]} is a <a href="/facts/Wick_rotated/HDU59Ag0">Wick rotated</a> version of the action in <a href="/facts/Quantum_field_theory/VoewsNJV">quantum field theory</a>. </p> <h2 id="examples">Examples</h2> <h3>Condensed matter physics</h3> <ul><li><a href="/facts/Ising_model/lvBpj2h1">Ising model</a></li> <li><a href="/facts/ANNNI_model/XzMoKB4d">ANNNI model</a></li> <li><a href="/facts/Potts_model/JlSQMYH1">Potts model</a></li> <li><a href="/facts/Chiral_Potts_model/26uzqyvG">Chiral Potts model</a></li> <li><a href="/facts/XY_model/KT2GB1qW">XY model</a></li> <li><a href="/facts/Classical_Heisenberg_model/RpyLfhNX">Classical Heisenberg model</a></li> <li><a href="/facts/N-vector_model/3qQgmD0E">n-vector model</a></li> <li><a href="/facts/Vertex_model/FXvtjREn">Vertex model</a></li> <li><a href="/facts/Toda_lattice/zDEdAjwg">Toda lattice</a></li> <li><a href="/facts/Cellular_automata/6gfkjKAW">cellular automata</a></li></ul> <h3>Polymer physics</h3> <ul><li><a href="/facts/Bond_fluctuation_model/fW2dWtUc">Bond fluctuation model</a></li> <li>2nd model</li></ul> <h3>High energy physics</h3> <ul><li><a href="/facts/QCD_lattice_model/XTlwL4Am">QCD lattice model</a></li></ul> <h2 id="see-also">See also</h2> <ul><li><a href="/facts/Crystal_structure/bJ4bCeHd">Crystal structure</a></li> <li><a href="/facts/Continuum_limit/bSDQhaU9">Continuum limit</a></li> <li><a href="/facts/QCD_matter/vbsPu9rL">QCD matter</a></li> <li><a href="/facts/Lattice_gas/AlUSgkVM">Lattice gas</a></li></ul> <ul><li><a href="/facts/Rodney_Baxter/f4CASSbq">Baxter, Rodney J.</a> (1982), <a href="https://physics.anu.edu.au/theophys/_files/Exactly.pdf"><i>Exactly solved models in statistical mechanics</i></a> (PDF), London: Academic Press Inc. [Harcourt Brace Jovanovich Publishers], <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-12-083180-7, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0690578">0690578</a></li></ul>