**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]