Mapping classical spin models to the graph state formalism - Maarten Van den Nest

We discuss how classical spin models, such as the Ising and Potts models on arbitrary lattices, can be mapped to the stabilizer formalism. In particular, we show how partition functions can be written as overlaps between graph states and product states. These mappings allow to connect concepts in (classical) statistical mechanics with quantum information theory and to obtain a cross-fertilization between both fields. As a main application, we prove that the 2D Ising model is "complete", in the sense that its partition function contains the partition function of any other spin model as a special instance. [joint work with W. Duer and H. Briegel]