Kramers–Wannier duality

The 2-dimensional Ising model exists on a lattice, which is a collection of squares in a chessboard pattern. With the finite lattice, the edges can be connected to form a torus. In theories of this kind, one constructs an involutive transform. For instance, Lars Onsager suggested that the Star-Triangle transformation could be used for the triangular lattice.[1] Now the dual of the discrete torus is itself. Moreover, the dual of a highly disordered system (high temperature) is a well-ordered system (low temperature). This is because the Fourier transform takes a high bandwidth signal (more standard deviation) to a low one (less standard deviation). So one has essentially the same theory with an inverse temperature.

When one raises the temperature in one theory, one lowers the temperature in the other. If there is only one phase transition, it will be at the point at which they cross, at which the temperature is equal. Because the 2D Ising model goes from a disordered state to an ordered state, there is a near one-to-one mapping between the disordered and ordered phases.

The theory has been generalized, and is now blended with many other ideas. For instance, the square lattice is replaced by a circle,[2] random lattice,[3] nonhomogeneous torus,[4] triangular lattice,[5] labyrinth,[6] lattices with twisted boundaries,[7] chiral Potts model,[8] and many others.

Define these variables. The low temperature expansion for (K^*,L^*) is

${\displaystyle Z_{N}(K^{*},L^{*})=2e^{N(K^{*}+L^{*})}\sum _{P\subset \Lambda _{D}}(e^{-2L^{*}})^{r}(e^{-2K^{*}})^{s}}$

which by using the transformation

${\displaystyle \tanh K=e^{-2L^{*}},\ \tanh L=e^{-2K^{*}}}$

gives

${\displaystyle Z_{N}(K^{*},L^{*})=2(\tanh K\;\tanh L)^{-N/2}\sum _{P}v^{r}w^{s}}$

${\displaystyle =2(\sinh 2K\;\sinh 2L)^{-N/2}Z_{N}(K,L)}$

where v = tanh K and w = tanh L. This yields a relation with the high-temperature expansion. The relations can be written more symmetrically as

${\displaystyle \,\sinh 2K^{*}\sinh 2L=1}$

${\displaystyle \,\sinh 2L^{*}\sinh 2K=1}$

With the free energy per site in the thermodynamic limit

${\displaystyle f(K,L)=\lim _{N\rightarrow \infty }f_{N}(K,L)=-kT\lim _{N\rightarrow \infty }{\frac {1}{N}}\log Z_{N}(K,L)}$

the Kramers–Wannier duality gives

${\displaystyle f(K^{*},L^{*})=f(K,L)+{\frac {1}{2}}kT\log(\sinh 2K\sinh 2L)}$

In the isotropic case where K = L, if there is a critical point at K = K_c then there is another at K = K^*_c. Hence, in the case of there being a unique critical point, it would be located at K = K^* = K^*_c, implying sinh 2K_c = 1, yielding kT_c = 2.2692J.

• Ising model
• S-duality
• Z N model

• H. A. Kramers and G. H. Wannier (1941). "Statistics of the two-dimensional ferromagnet". Physical Review. 60: 252–262. Bibcode:1941PhRv...60..252K. doi:10.1103/PhysRev.60.252.
• J. B. Kogut (1979). "An introduction to lattice gauge theory and spin systems". Reviews of Modern Physics. 51 (4): 659–713. Bibcode:1979RvMP...51..659K. doi:10.1103/RevModPhys.51.659.