We present general mappings between classical spin systems and quantum physics. More precisely, we show how to express partition functions and correlation functions of arbitrary classical spin models as inner products between quantum stabilizer states and product states, thereby generalizing mappings for some specific models established in our previous work [M. Van den Nest et al., Phys. Rev. Lett. 98, 117207 (2007)]. For Ising- and Potts-type models with and without external magnetic field, we show how the entanglement features of the corresponding stabilizer states are related to the interaction pattern of the classical model, while the choice of product states encodes the details of the interaction. These mappings establish a link between the fields of classical statistical mechanics and quantum information theory, which we utilize to transfer techniques and methods developed in one field to gain insight into the other. For example, we use quantum information techniques to recover well known duality relations and local symmetries of classical models in a simple way and provide new classical simulation methods to simulate certain types of classical spin models. We show that in this way all inhomogeneous models of q-dimensional spins with pairwise interaction pattern specified by a graph of bounded tree width can be simulated efficiently. Finally, we show relations between classical spin models and measurement-based quantum computation.
We present general mappings between classical spin systems and quantum physics. More precisely, we show how to express partition functions and correlation functions of arbitrary classical spin models as inner products between quantum stabilizer states and product states, thereby generalizing mappings for some specific models established in our previous work [M. Van den Nest et al., Phys. Rev. Lett. 98, 117207 (2007)]. For Ising- and Potts-type models with and without external magnetic field, we show how the entanglement features of the corresponding stabilizer states are related to the interaction pattern of the classical model, while the choice of product states encodes the details of the interaction. These mappings establish a link between the fields of classical statistical mechanics and quantum information theory, which we utilize to transfer techniques and methods developed in one field to gain insight into the other. For example, we use quantum information techniques to recover well known duality relations and local symmetries of classical models in a simple way and provide new classical simulation methods to simulate certain types of classical spin models. We show that in this way all inhomogeneous models of q-dimensional spins with pairwise interaction pattern specified by a graph of bounded tree width can be simulated efficiently. Finally, we show relations between classical spin models and measurement-based quantum computation.
We relate a large class of classical spin models, including the inhomogeneous Ising, Potts, and clock models of q-state spins on arbitrary graphs, to problems in quantum physics. More precisely, we show how to express partition functions as inner products between certain quantum-stabilizer states and product states. This connection allows us to use powerful techniques developed in quantum-information theory, such as the stabilizer formalism and classical simulation techniques, to gain general insights into these models in a unified way. We recover and generalize several symmetries and high-low temperature dualities, and we provide an efficient classical evaluation of partition functions for all interaction graphs with a bounded tree-width.
This is a short review on an interdisciplinary field of quantum information science and statistical mechanics. We first give a pedagogical introduction to the stabilizer formalism, which is an efficient way to describe an important class of quantum states, the so-called stabilizer states, and quantum operations on them. Furthermore, graph states, which are a class of stabilizer states associated with graphs, and their applications for measurement-based quantum computation are also mentioned. Based on the stabilizer formalism, we review two interdisciplinary topics. One is the relation between quantum error correction codes and spin glass models, which allows us to analyze the performances of quantum error correction codes by using the knowledge about phases in statistical models. The other is the relation between the stabilizer formalism and partition functions of classical spin models, which provides new quantum and classical algorithms to evaluate partition functions of classical spin models.
We study mappings between distinct classical spin systems that leave the partition function invariant. As recently shown in [Phys. Rev. Lett. 100, 110501 (2008)], the partition function of the 2D square lattice Ising model in the presence of an inhomogeneous magnetic field, can specialize to the partition function of any Ising system on an arbitrary graph. In this sense the 2D Ising model is said to be "complete". However, in order to obtain the above result, the coupling strengths on the 2D lattice must assume complex values, and thus do not allow for a physical interpretation. Here we show how a complete model with real -and, hence, "physical"- couplings can be obtained if the 3D Ising model is considered. We furthermore show how to map general q-state systems with possibly many-body interactions to the 2D Ising model with complex parameters, and give completeness results for these models with real parameters. We also demonstrate that the computational overhead in these constructions is in all relevant cases polynomial. These results are proved by invoking a recently found cross-connection between statistical mechanics and quantum information theory, where partition functions are expressed as quantum mechanical amplitudes. Within this framework, there exists a natural correspondence between many-body quantum states that allow universal quantum computation via local measurements only, and complete classical spin systems.
We review some connections between quantum information and statistical mechanics. We focus on three sets of results for classical spin models. First, we show that the partition function of all classical spin models (including models in different dimensions, different types of many-body interactions, different symmetries, etc) can be mapped to the partition function of a single model. Second, we give efficient quantum algorithms to estimate the partition function of various classical spin models, such as the Ising or the Potts model. The proofs of these two results are based on a mapping from partition functions to quantum states and to quantum circuits, respectively. Finally, we show how classical spin models can be used to describe certain fluctuating lattices appearing in models of discrete quantum gravity.
We have recently shown that the partition function of any classical spin model, including all discrete standard statistical models and all Abelian discrete lattice gauge theories, can be expressed as the specific instance of the partition function of a four dimensional Ising lattice gauge theory. This unifies models with apparently very different features (global vs. local symmetries, many body interactions, different dimensions, etc) in a single complete model. The proof of the result uses techniques from quantum information. In this talk we review these mappings and discuss recent developments, including quantum algorithms to approximate the partition function.
Classical and quantum spin systems are widely used models in both experimental and theoretical condensed matter physics. In many materials, the electronic interactions can be difficult to model exactly. However, in some insulators (Mott insulators), the magnetic (spin) interactions can be captured well with spin-only models. Several models are studied in this thesis. First, I report the solution of a long-standing issue in a classical frustrated spin model (i.e., where the quantum effects are neglected and the complexity is due to competing interactions): the nature of the thermal phase transition to a stripe state in the two dimensional (2D) J1-J2 model. Here J1 and J2 are nearest- and next-nearest-neighbor couplings. Monte Carlo simulations with single-spin updates are used for the calculations, and an extended-ensemble method, a generalization of the Wang-Landau algorithm, is also developed and tested. I focus on the study of "weak universality" behavior (continuously varying critical exponents, with one of the exponents staying fixed), for which I show a correspondence with a known class of conformal field theories with charge c = 1. Next, moving to quantum spins, to shed light on magnetic systems studied experimentally and to investigate new types of quantum states of interest in developing theories of quantum magnetism, I study the S = 1/2 Heisenberg model on the 2D square lattice with added six-spin interactions (the so-called J-Q3 model) as well as a set of 3D quantum antiferromagnets on dimerized lattices. Here I use the stochastic series expansion quantum Monte Carlo method. In the study of the J-Q3 model, I report on a similar weak-universality behavior as in the classical J1-J2 model, but with a mapping to a different known class of c = 1 conformal field theories. The critical behavior of the system again shows continuously changing exponents, in a way which corresponds to a gradual weakening of Z4 symmetry-breaking to an emergent U(1) symmetry. In the study of dimerized antiferromagnets, I report on a universal behavior of the Néel temperature TN, which can be related to ground state parameters independently of the microscopic interaction details in several different models.