Spin models are used in many studies of complex systems because they exhibit rich macroscopic behavior despite their microscopic simplicity. Here, we prove that all the physics of every classical spin model is reproduced in the low-energy sector of certain "universal models," with at most polynomial overhead. This holds for classical models with discrete or continuous degrees of freedom. We prove necessary and sufficient conditions for a spin model to be universal and show that one of the simplest and most widely studied spin models, the two-dimensional Ising model with fields, is universal. Our results may facilitate physical simulations of Hamiltonians with complex interactions.
Spin models are used in many studies of complex systems because they exhibit rich macroscopic behavior despite their microscopic simplicity. Here, we prove that all the physics of every classical spin model is reproduced in the low-energy sector of certain "universal models," with at most polynomial overhead. This holds for classical models with discrete or continuous degrees of freedom. We prove necessary and sufficient conditions for a spin model to be universal and show that one of the simplest and most widely studied spin models, the two-dimensional Ising model with fields, is universal. Our results may facilitate physical simulations of Hamiltonians with complex interactions.
One of the theoretical pillars that sustain certain machine learning models are universal approximation theorems, which prove that they can approximate all functions from a function class to arbitrary precision. Independently, classical spin models are termed universal if they can reproduce the behavior of any other spin model in their low energy sector. Universal spin models have been characterized via sufficient and necessary conditions, showing that simple models such as the 2d Ising with fields are universal. In this work, we prove that universal spin models are universal approximators of probability distributions. This enables us to leverage the characterization of the former to reveal conditions which are sufficient for universal approximation. Deriving universal approximation theorems thus amounts to verifying these conditions, yielding a unified recipe for universal approximation theorems applicable to a wide range of models. We explicitly test this recipe for restricted and deep Boltzmann machines, as well as for deep belief networks. This work illustrates that independently discovered universality statements may be intimately related, enabling the transfer of results.
Quantum many-body systems exhibit an extremely diverse range of phases and physical phenomena. However, we prove that the entire physics of any quantum many-body system can be replicated by certain simple, "universal" spin-lattice models. We first characterize precisely what it means for one quantum system to simulate the entire physics of another. We then fully classify the simulation power of all two-qubit interactions, thereby proving that certain simple models can simulate all others, and hence are universal. Our results put the practical field of analogue Hamiltonian simulation on a rigorous footing and take a step toward justifying why error correction may not be required for this application of quantum information technology.
The theory of spin models intersects with condensed matter physics, complex systems, graph theory, combinatorial optimization, computational complexity and neural networks. Many ensuing applications rely on transforming complicated spin models to simpler ones. What is the structure of such transformations? Here, we provide a framework to study and construct emulations between spin models. A spin model is a set of spin systems, and emulations are efficiently computable families of simulations with arbitrary energy cut-off, where a source spin system simulates a target system if, below the cut-off, the target Hamiltonian is encoded in the source Hamiltonian. We prove that emulations preserve important properties, as they induce reductions between computational problems such as computing ground states, approximating partition functions and approximate sampling from Boltzmann distributions. Emulations are modular (they can be added, scaled and composed), and allow for universality, i.e., under emulations, certain spin models have maximal reach. We prove that a spin model is universal if and only if it is scalable, closed and functional complete. Because the characterization is constructive, it provides a step-by-step guide to construct emulations. We prove that the 2d Ising model with fields is universal, for which we also provide two new crossing gadgets. Finally, we show that simulations can be computed by linear programs. While some ideas of this work are contained in G. De las Cuevas and T. S. Cubitt, Science 351, 1180 (2016), we provide new definitions and theorems. This framework provides a toolbox for applications involving emulations of spin models.
Envisioned by Richard Feynman in the early 1980s, quantum simulation has received dramatic impetus thanks to the development of a variety of plateforms able to emulate a wide class of quantum Hamiltonians.During the past decade, most of the quantum simulators have implemented rather well-known models, hence permitting a direct comparison with theoretical calculations and a precise benchmarking of their reliability.The field has now reached a maturity such that one can address difficult problems, which cannot be solved efficiently using classical algorithms.These advances provide unprecedented opportunities to explore previously unreachable fields, test theoretical predictions, and inspire novel approaches.This contribution is an elementary introduction to quantum simulation.We discuss the challenges, define both digital and analog quantum simulators, and list the demanding conditions they require.We also provide a brief account of the contributions gathered in the dossier on Quantum simulation in the Compte rendus Physique of the French Academy of Sciences [1][2][3][4][5][6].The latter completes excellent reviews that appeared previously, see for instance . Universal models and the role of simulations in many-body physicsUnderstanding the behavior of macroscopic quantum systems is a major challenge of modern physics.The basic laws of low-energy physics are by now quite well known at the microscopic, say atomic, scale.Conversely, many fundamental questions remain open, and even debated, about the collective dynamics at the macroscopic scale.By "macroscopic scale", here we mean systems made up of a huge number of constituents, or degrees of freedom, say 10 6 , 10 23 , or even more, as relevant in condensed matter physics or in astrophysics, for instance.Such huge systems cannot be treated exactly, be it a the classical level and, even worse, at the quantum level.Yet, it is the main outcome of the thermodynamic approach that the collective behavior of a macroscopic system can drastically differ from that of its elementary constituents.For instance, the elementary interactions between the H 2 O molecules are fundamentally unchanged when a water bucket turns from the liquid phase to the solid phase at zero degree Celsius.Similarly, the interactions between the microscopic magnetic moments do not show any brutal change when a magnetic material gets magnetized underneath the Curie temperature.Hence, the dramatic effects observed in macroscopic systems are governed by large-scale instabilities, without obvious counterparts at the microscopic level.This observation takes a universal character, summarized in the celebrated motto "More is Different" [15].Such so-called emerging phenomena also appear in quantum systems, where new effects that are impossible in the classical world show up below some critical temperature or at zero temperature when some interaction parameter passes through a critical value.Celebrated examples include the superfluid transition in helium or super-conducting transitions and other metal-insulator transitions in electronic systems.Strikingly enough at first sight, while emerging phenomena only appear in very large scale macroscopic systems, their germs are contained in the mutual interactions of their elementary constituents.Hence, local two-body interactions are sufficient to explain a huge class of phase transitions, such as the liquid-solid and magnetic transitions mentioned above.The Boltzmann statistical approach proved particularly successful in describing this connection between the microscopic and macroscopic scales.To understand emerging phenomena on grounds as fundamental as possible, the programme is now well established: One tries to identify the basic microscopic terms that seem to be relevant and disregards all the other microscopic details.One then elaborates a model, as generic as possible, likely to reproduce the main experimental observations.The most usual examples are the Ising and Heisenberg models for magnetic transitions, or the Hubbard model for metal-insulator transitions [16][17][18].Then all is left to do is to check that the phenomenon of interest indeed emerges from the dynamics of the simplified model.The realization of this programme is nothing but a simulation.It consists in building up a simplified system that mimics the main properties of a real system.
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 prove that the 2D Ising model is complete in the sense that the partition function of any classical q-state spin model (on an arbitrary graph) can be expressed as a special instance of the partition function of a 2D Ising model with complex inhomogeneous couplings and external fields. In the case where the original model is an Ising or Potts-type model, we find that the corresponding 2D square lattice requires only polynomially more spins with respect to the original one, and we give a constructive method to map such models to the 2D Ising model. For more general models the overhead in system size may be exponential. The results are established by connecting classical spin models with measurement-based quantum computation and invoking the universality of the 2D cluster states.