Square-lattice Ising model
From Wikipedia, the free encyclopedia
The two-dimensional square-lattice Ising model was solved by Lars Onsager in 1944 for the special case that the external field H = 0. The general case for has yet to be found.
Consider the 2D Ising model on a square lattice Λ with N sites, with periodic boundary conditions in both the horizontal and vertical directions, which effectively reduces the geometry of the model to a torus. In a general case, the horizontal coupling J is not equal to the coupling in the vertical direction, J*. With an equal number of rows and columns in the lattice, there will be N of each. In terms of
- K = βJ
- L = βJ *
where β = 1 / (kT) where T is absolute temperature and k is Boltzmann's constant, the partition function ZN(K,L) is given by
Contents |
[edit] Dual lattice
Consider a configuration of spins {σ} on the square lattice Λ. Let r and s denote the number of unlike neighbours in the vertical and horizontal directions respectively. Then the summand in ZN corresponding to {σ} is given by
- eK(N − 2s) + L(N − 2r)
Construct a dual lattice ΛD as depicted in the diagram. For every configuration {σ}, a polygon is associated to the lattice by drawing a line on the edge of the dual lattice if the spins separated by the edge are unlike. Since by traversing a vertex of λ the spins need to change an even number of times so that one arrives at the starting point with the same charge, every vertex of the dual lattice is connected to an even number of lines in the configuration, defining a polygon.
This reduces the partition function to
summing over all polygons in the dual lattice, where r and s are the number of horizontal and vertical lines in the polygon, with the factor of 2 arising from the inversion of spin configuration.
[edit] Low-temperature expansion
At low temperatures, K, L approach infinity, so that as , so that
defines a low temperature expansion of ZN(K,L).
[edit] High-temperature expansion
Since one has
- eKσσ' = coshK + sinhK(σσ') = coshK(1 + tanhK(σσ')).
Therefore
where v = tanhK and w = tanhL. Since there are N horizontal and vertical edges, there are a total of 22N terms in the expansion. Every term corresponds to a configuration of lines of the lattice, by assocaiting a line connecting i and j if the term vσiσj (or wσiσj) is chosen in the product. Summing over the configurations, using
shows that only configurations with an even number of lines at each vertex (polygons) will contribute to the partition function, giving
where the sum is over all polygons in the lattice. Since tanh K, tanh L as , this gives the high temperature expansion of ZN(K,L).
The two expansions can be related using the Kramers-Wannier duality.
[edit] References
- R.J. Baxter, Exactly solved models in statistical mechanics, London, Academic Press, 1982