Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:0812.3583 · Physical Review Letters

Unifying All Classical Spin Models in a Lattice Gauge Theory

Gemma De las Cuevas, Wolfgang Dür, Hans J. Briegel, Miguel Angel Martin-Delgado

Published Jun 11, 2009• 32 citations
arXivHTMLPDF

Abstract

The partition function of all classical spin models, including all discrete standard statistical models and all Abelian discrete lattice gauge theories (LGTs), is expressed as a special instance of the partition function of the 4D Z2 LGT. This unifies all classical spin models with apparently very different features in a single complete model. This result is applied to establish a new method to compute the mean-field theory of Abelian discrete LGTs with d > or = 4, and to show that computing the partition function of the 4D Z2 LGT is computationally hard (#P hard). The 4D Z2 LGT is also proved to be approximately complete for Abelian continuous models. The proof uses techniques from quantum information.

DOI
10.1103/physrevlett.102.230502

Related papers

Mapping all classical spin models to a lattice gauge theory

Gemma De las Cuevas, Wolfgang Dür, Hans J. Briegel +1 more

In our recent work [Phys. Rev. Lett. 102, 230502 (2009)] we showed that the partition function of all classical spin models, including all discrete standard statistical models and all Abelian discrete lattice gauge theories (LGTs), can be expressed as a special instance of the partition function of a 4-dimensional pure LGT with gauge group Z_2 (4D Z_2 LGT). This provides a unification of models with apparently very different features into a single complete model. The result uses an equality between the Hamilton function of any classical spin model and the Hamilton function of a model with all possible k-body Ising-type interactions, for all k, which we also prove. Here, we elaborate on the proof of the result, and we illustrate it by computing quantities of a specific model as a function of the partition function of the 4D Z_2 LGT. The result also allows one to establish a new method to compute the mean-field theory of Z_2 LGTs with d > 3, and to show that computing the partition function of the 4D Z_2 LGT is computationally hard (#P hard). The proof uses techniques from quantum information.

arXiv:0911.2096•New Journal of Physics•Apr 8, 2010•17 citations

Unifying Classical Spin Models Using A Quantum Formalism

Gemma De las Cuevas

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.

•Jan 1, 2016•0 citations

Systematic method for unification of various field theories in a two-dimensional classical $\phi^4$ field theory

Mohammad Hossein Zarei, Yahya Khalili

Although creating a unified theory in Elementary Particles Physics is still an open problem, there are a lot of attempts for unifying other fields of physics. Following such unifications, we regard a two dimensional (2D) classical $\Phi^{4}$ field theory model to study several field theories with different symmetries in various dimensions. While the completeness of this model has been already proved by a mapping between statistical mechanics and quantum information theory, here, we take into account a fundamental systematic approach with purely mathematical basis to re-derive such completeness in a general manner. Due to simplicity and generality, we believe that our method leads to a general approach which can be understood by other physical communities as well as quantum information theorists. Furthermore, our proof of the completeness is not only a proof-of-principle, but also an interesting algorithmic proof. We consider a discrete version of a general field theory as an arbitrary polynomial function of fields which is defined on a lattice with arbitrary dimension. Then we give a few specific transformations on such field theories to convert them to a classical $\phi^4$ field theory on a 2D square lattice with the same Partition function. We also extend the results to the $U(1)$ lattice gauge theories in arbitrary dimensions.

•Aug 3, 2016•0 citations

Quantum algorithms for classical lattice models

Gemma De las Cuevas, Wolfgang Dür, M Van den Nest +1 more

We give efficient quantum algorithms to estimate the partition function of (i) the six-vertex model on a two-dimensional (2D) square lattice, (ii) the Ising model with magnetic fields on a planar graph, (iii) the Potts model on a quasi-2D square lattice and (iv) the Z 2 lattice gauge theory on a 3D square lattice.Moreover, we prove that these problems are BQP-complete, that is, that estimating these partition functions is as hard as simulating arbitrary quantum computation.The results are proven for a complex parameter regime of the models.The proofs are based on a mapping relating partition functions to quantum circuits introduced by Van den Nest et al (2009 Phys.Rev. A 80 052334) and extended here.

arXiv:1104.2517•New Journal of Physics•Sep 9, 2011•40 citations

Completeness of classical spin models and universal quantum computation

Gemma De las Cuevas, Wolfgang Dür, Maarten Van den Nest +1 more

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.

arXiv:0812.2368•Journal of Statistical Mechanics Theory and Experiment•Jul 1, 2009•20 citations

Magic of discrete lattice gauge theories

Gianluca Esposito, Simone Cepollaro, Luigi Cappiello +1 more

Simulation of quantum field theories and fundamental interactions are one of the most challenging tasks in modern particle physics. Classical computers generally fail to reproduce accurate results when it comes to strongly coupled theories such as QCD. Recent developments in quantum technologies open up the possibility of simulating such physical regimes by using quantum computers. In this paper, we study the quantum resource related to the simulability of a quantum theory, i.e. non-stabilizerness for Lattice Gauge Theory (LGT) with discrete symmetry gauge groups. We show that enforcing gauge constraints for $\mathbb{Z}_l$ LGTs has no cost in terms of this resource and discuss the relation between non-abelianity of the gauge group with the average non-stabilizerness of the gauge invariant Hilbert space.

hep-latCross-listedarXiv:2601.15842•International Journal of Geometric Methods in Modern Physics•Jan 23, 2026•2 citations
The partition function of all classical spin models, including all discrete standard statistical models and all Abelian discrete lattice gauge theories (LGTs), is expressed as a special instance of the partition function of the 4D Z2 LGT. This unifies all classical spin models with apparently very different features in a single complete model. This result is applied to establish a new method to compute the mean-field theory of Abelian discrete LGTs with d > or = 4, and to show that computing the partition function of the 4D Z2 LGT is computationally hard (#P hard). The 4D Z2 LGT is also proved to be approximately complete for Abelian continuous models. The proof uses techniques from quantum information.
In our recent work [Phys. Rev. Lett. 102, 230502 (2009)] we showed that the partition function of all classical spin models, including all discrete standard statistical models and all Abelian discrete lattice gauge theories (LGTs), can be expressed as a special instance of the partition function of a 4-dimensional pure LGT with gauge group Z_2 (4D Z_2 LGT). This provides a unification of models with apparently very different features into a single complete model. The result uses an equality between the Hamilton function of any classical spin model and the Hamilton function of a model with all possible k-body Ising-type interactions, for all k, which we also prove. Here, we elaborate on the proof of the result, and we illustrate it by computing quantities of a specific model as a function of the partition function of the 4D Z_2 LGT. The result also allows one to establish a new method to compute the mean-field theory of Z_2 LGTs with d > 3, and to show that computing the partition function of the 4D Z_2 LGT is computationally hard (#P hard). The proof uses techniques from quantum information.
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.
Systematic method for unification of various field theories in a two-dimensional classical ϕ4\phi^4ϕ4 field theory
Although creating a unified theory in Elementary Particles Physics is still an open problem, there are a lot of attempts for unifying other fields of physics. Following such unifications, we regard a two dimensional (2D) classical Φ4\Phi^{4}Φ4 field theory model to study several field theories with different symmetries in various dimensions. While the completeness of this model has been already proved by a mapping between statistical mechanics and quantum information theory, here, we take into account a fundamental systematic approach with purely mathematical basis to re-derive such completeness in a general manner. Due to simplicity and generality, we believe that our method leads to a general approach which can be understood by other physical communities as well as quantum information theorists. Furthermore, our proof of the completeness is not only a proof-of-principle, but also an interesting algorithmic proof. We consider a discrete version of a general field theory as an arbitrary polynomial function of fields which is defined on a lattice with arbitrary dimension. Then we give a few specific transformations on such field theories to convert them to a classical ϕ4\phi^4ϕ4 field theory on a 2D square lattice with the same Partition function. We also extend the results to the U(1)U(1)U(1) lattice gauge theories in arbitrary dimensions.
We give efficient quantum algorithms to estimate the partition function of (i) the six-vertex model on a two-dimensional (2D) square lattice, (ii) the Ising model with magnetic fields on a planar graph, (iii) the Potts model on a quasi-2D square lattice and (iv) the Z 2 lattice gauge theory on a 3D square lattice.Moreover, we prove that these problems are BQP-complete, that is, that estimating these partition functions is as hard as simulating arbitrary quantum computation.The results are proven for a complex parameter regime of the models.The proofs are based on a mapping relating partition functions to quantum circuits introduced by Van den Nest et al (2009 Phys.Rev. A 80 052334) and extended here.
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.
Simulation of quantum field theories and fundamental interactions are one of the most challenging tasks in modern particle physics. Classical computers generally fail to reproduce accurate results when it comes to strongly coupled theories such as QCD. Recent developments in quantum technologies open up the possibility of simulating such physical regimes by using quantum computers. In this paper, we study the quantum resource related to the simulability of a quantum theory, i.e. non-stabilizerness for Lattice Gauge Theory (LGT) with discrete symmetry gauge groups. We show that enforcing gauge constraints for Zl\mathbb{Z}_lZl​ LGTs has no cost in terms of this resource and discuss the relation between non-abelianity of the gauge group with the average non-stabilizerness of the gauge invariant Hilbert space.