The ising model: Kramers-Wannier duality and normal factor graphs

In the light of the recent interest in approximating the partition function of the Ising model using the dual normal factor graph, we revisit the classical duality result of Kramers and Wannier, where the dual normal factor graph may be viewed as an intermediate step in establishing such a result.