Physics:Eight-vertex model

Short description: Generalization of the ice-type (six-vertex) models

In statistical mechanics, the eight-vertex model is a generalisation of the ice-type (six-vertex) models; it was discussed by Sutherland, and Fan & Wu, and solved by Baxter in the zero-field case.

Description

As with the ice-type models, the eight-vertex model is a square lattice model, where each state is a configuration of arrows at a vertex. The allowed vertices have an even number of arrows pointing towards the vertex; these include the six inherited from the ice-type model (1-6), and sinks and sources (7, 8).

Eightvertex2

We consider a [math]\displaystyle{ N\times N }[/math] lattice, with [math]\displaystyle{ N^2 }[/math] vertices and [math]\displaystyle{ 2N^2 }[/math] edges. Imposing periodic boundary conditions requires that the states 7 and 8 occur equally often, as do states 5 and 6, and thus can be taken to have the same energy. For the zero-field case the same is true for the two other pairs of states. Each vertex [math]\displaystyle{ j }[/math] has an associated energy [math]\displaystyle{ \epsilon_j }[/math] and Boltzmann weight [math]\displaystyle{ w_j=e^{-\frac{\epsilon_j}{kT}} }[/math], giving the partition function over the lattice as

[math]\displaystyle{ Z=\sum \exp\left(-\frac{\sum_j n_j\epsilon_j}{kT}\right) }[/math]

where the summation is over all allowed configurations of vertices in the lattice. In this general form the partition function remains unsolved.

Solution in the zero-field case

The zero-field case of the model corresponds physically to the absence of external electric fields. Hence, the model remains unchanged under the reversal of all arrows; the states 1 and 2, and 3 and 4, consequently must occur as pairs. The vertices can be assigned arbitrary weights

[math]\displaystyle{ \begin{align} w_1=w_2&=a\\ w_3=w_4&=b\\ w_5=w_6&=c\\ w_7=w_8&=d. \end{align} }[/math]

The solution is based on the observation that rows in transfer matrices commute, for a certain parametrisation of these four Boltzmann weights. This came about as a modification of an alternate solution for the six-vertex model; it makes use of elliptic theta functions.

Commuting transfer matrices

The proof relies on the fact that when [math]\displaystyle{ \Delta'=\Delta }[/math] and [math]\displaystyle{ \Gamma'=\Gamma }[/math], for quantities

[math]\displaystyle{ \begin{align} \Delta&=\frac{a^2+b^2-c^2-d^2}{2(ab+cd)}\\ \Gamma&=\frac{ab-cd}{ab+cd} \end{align} }[/math]

the transfer matrices [math]\displaystyle{ T }[/math] and [math]\displaystyle{ T' }[/math] (associated with the weights [math]\displaystyle{ a }[/math], [math]\displaystyle{ b }[/math], [math]\displaystyle{ c }[/math], [math]\displaystyle{ d }[/math] and [math]\displaystyle{ a' }[/math], [math]\displaystyle{ b' }[/math], [math]\displaystyle{ c' }[/math], [math]\displaystyle{ d' }[/math]) commute. Using the star-triangle relation, Baxter reformulated this condition as equivalent to a parametrisation of the weights given as

[math]\displaystyle{ a:b:c:d=\operatorname{snh}(\eta-u):\operatorname{snh} (\eta +u):\operatorname{snh} (2\eta): k\operatorname{snh} (2\eta)\operatorname{snh} (\eta-u)\operatorname{snh} (\eta+u) }[/math]

for fixed modulus [math]\displaystyle{ k }[/math] and [math]\displaystyle{ \eta }[/math] and variable [math]\displaystyle{ u }[/math]. Here snh is the hyperbolic analogue of sn, given by

[math]\displaystyle{ \begin{align} \operatorname {snh} (u) &=-i\operatorname {sn} (iu) = i\operatorname {sn} (-iu) \\ \text{where } \operatorname {sn} (u)&= \frac{H(u)}{k^{1/2}\Theta(u)} \end{align} }[/math]

and [math]\displaystyle{ H(u) }[/math] and [math]\displaystyle{ \Theta(u) }[/math] are Theta functions of modulus [math]\displaystyle{ k }[/math]. The associated transfer matrix [math]\displaystyle{ T }[/math] thus is a function of [math]\displaystyle{ u }[/math] alone; for all [math]\displaystyle{ u }[/math], [math]\displaystyle{ v }[/math]

[math]\displaystyle{ T(u)T(v)=T(v)T(u). }[/math]

The matrix function [math]\displaystyle{ Q(u) }[/math]

The other crucial part of the solution is the existence of a nonsingular matrix-valued function [math]\displaystyle{ Q }[/math], such that for all complex [math]\displaystyle{ u }[/math] the matrices [math]\displaystyle{ Q(u), Q(u') }[/math] commute with each other and the transfer matrices, and satisfy

[math]\displaystyle{ \zeta(u)T(u)Q(u)=\phi(u-\eta)Q(u+2\eta)+\phi(u+\eta)Q(u-2\eta) }[/math]

(1)

where

[math]\displaystyle{ \begin{align} \zeta(u)&=[c^{-1}H(2\eta)\Theta(u-\eta)\Theta(u+\eta)]^N\\ \phi(u)&=[\Theta(0)H(u)\Theta(u)]^N. \end{align} }[/math]

The existence and commutation relations of such a function are demonstrated by considering pair propagations through a vertex, and periodicity relations of the theta functions, in a similar way to the six-vertex model.

Explicit solution

The commutation of matrices in (1) allow them to be diagonalised, and thus eigenvalues can be found. The partition function is calculated from the maximal eigenvalue, resulting in a free energy per site of

[math]\displaystyle{ \begin{align} f=\epsilon_5-2kT\sum_{n=1}^\infty \frac{\sinh^2((\tau-\lambda)n)(\cosh(n\lambda)-\cosh(n\alpha))}{n\sinh(2n\tau)\cosh(n\lambda)} \end{align} }[/math]

for

[math]\displaystyle{ \begin{align} \tau&=\frac{\pi K'}{2K}\\ \lambda&=\frac{\pi \eta}{iK}\\ \alpha&=\frac{\pi u}{iK} \end{align} }[/math]

where [math]\displaystyle{ K }[/math] and [math]\displaystyle{ K' }[/math] are the complete elliptic integrals of moduli [math]\displaystyle{ k }[/math] and [math]\displaystyle{ k' }[/math]. The eight vertex model was also solved in quasicrystals.

Equivalence with an Ising model

There is a natural correspondence between the eight-vertex model, and the Ising model with 2-spin and 4-spin nearest neighbour interactions. The states of this model are spins [math]\displaystyle{ \sigma=\pm 1 }[/math] on faces of a square lattice. The analogue of 'edges' in the eight-vertex model are products of spins on adjacent faces:

[math]\displaystyle{ \begin{align} \alpha_{ij}&=\sigma_{ij}\sigma_{i,j+1}\\ \mu_{ij}&=\sigma_{ij}\sigma_{i+1,j}. \end{align} }[/math]

The most general form of the energy for this model is

[math]\displaystyle{ \begin{align} \epsilon&=-\sum_{ij}(J_h\mu_{ij}+J_v\alpha_{ij}+J\alpha_{ij}\mu_{ij}+J'\alpha_{i+1,j}\mu_{ij}+J''\alpha_{ij}\alpha_{i+1,j}) \end{align} }[/math]

where [math]\displaystyle{ J_h }[/math], [math]\displaystyle{ J_v }[/math], [math]\displaystyle{ J }[/math], [math]\displaystyle{ J' }[/math] describe the horizontal, vertical and two diagonal 2-spin interactions, and [math]\displaystyle{ J'' }[/math] describes the 4-spin interaction between four faces at a vertex; the sum is over the whole lattice.

We denote horizontal and vertical spins (arrows on edges) in the eight-vertex model [math]\displaystyle{ \mu }[/math], [math]\displaystyle{ \alpha }[/math] respectively, and define up and right as positive directions. The restriction on vertex states is that the product of four edges at a vertex is 1; this automatically holds for Ising 'edges'. Each [math]\displaystyle{ \sigma }[/math] configuration then corresponds to a unique [math]\displaystyle{ \mu }[/math], [math]\displaystyle{ \alpha }[/math] configuration, whereas each [math]\displaystyle{ \mu }[/math], [math]\displaystyle{ \alpha }[/math] configuration gives two choices of [math]\displaystyle{ \sigma }[/math] configurations.

Equating general forms of Boltzmann weights for each vertex [math]\displaystyle{ j }[/math], the following relations between the [math]\displaystyle{ \epsilon_j }[/math] and [math]\displaystyle{ J_h }[/math], [math]\displaystyle{ J_v }[/math], [math]\displaystyle{ J }[/math], [math]\displaystyle{ J' }[/math], [math]\displaystyle{ J'' }[/math] define the correspondence between the lattice models:

[math]\displaystyle{ \begin{align} \epsilon_1&=-J_h-J_v-J-J'-J'',\quad \epsilon_2=J_h+J_v-J-J'-J''\\ \epsilon_3&=-J_h+J_v+J+J'-J'',\quad \epsilon_4=J_h-J_v+J+J'-J''\\ \epsilon_5&=\epsilon_6=J-J'+J''\\ \epsilon_7&=\epsilon_8=-J+J'+J''. \end{align} }[/math]

It follows that in the zero-field case of the eight-vertex model, the horizontal and vertical interactions in the corresponding Ising model vanish.

These relations gives the equivalence [math]\displaystyle{ Z_I=2Z_{8V} }[/math] between the partition functions of the eight-vertex model, and the 2,4-spin Ising model. Consequently a solution in either model would lead immediately to a solution in the other.

See also

• Six-vertex model
• Transfer-matrix method
• Ising model

References

• Baxter, Rodney J. (1982), Exactly solved models in statistical mechanics, London: Academic Press Inc. [Harcourt Brace Jovanovich Publishers], ISBN 978-0-12-083180-7, http://physics.anu.edu.au/theophys/_files/Exactly.pdf, retrieved 2012-08-12