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:1207.6891 · Physical Review A

Algorithmic proof for the completeness of the two-dimensional Ising model

Vahid Karimipour, Mohammad Hossein Zarei

Published Nov 2, 2012• 13 citations
arXivHTMLPDF

Abstract

We show that the two-dimensional (2D) Ising model is complete, in the sense that the partition function of any lattice model on any graph is equal to the partition function of the 2D Ising model with complex coupling. The latter model has all its spin-spin coupling equal to $i\frac{\ensuremath{\pi}}{4}$ and all parameters of the original model are contained in the local magnetic fields of the Ising model. This result has already been derived by using techniques from quantum information theory and by exploiting the universality of cluster states. Here we do not use the quantum formalism and hence make the completeness result accessible to a wide audience. Furthermore, our method has the advantage of being algorithmic in nature so that, by following a set of simple graphical transformations, one is able to transform any discrete lattice model to an Ising model defined on a (polynomially) larger 2D lattice.

DOI
10.1103/physreva.86.052303

Related papers

Completeness of the Classical 2D Ising Model and Universal Quantum Computation

M. Van den Nest, Wolfgang Dür, Hans J. Briegel

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.

arXiv:0708.2275•Physical Review Letters•Mar 17, 2008•63 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

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

An exact solution to the partition function of the finite-size Ising Model

Rong Wei

There is no an exact solution to three-dimensional (3D) finite-size Ising model (referred to as the Ising model hereafter for simplicity) and even two-dimensional (2D) Ising model with non-zero external field to our knowledge. Here by using an elementary but rigorous method, we obtain an exact solution to the partition function of the Ising model with $N$ lattice sites. It is a sum of $2^N$ exponential functions and holds for $D$-dimensional ($D=1,2,3,...$) Ising model with or without the external field. This solution provides a new insight into the problem of the Ising model and the related difficulties, and new understanding of the classic exact solutions for one-dimensional (1D) (Kramers and Wannier, 1941) or 2D Ising model (Onsager, 1944). With this solution, the specific heat and magnetisation of a simple 3D Ising model are calculated, which are consistent with the results from experiments and/or numerical simulations. Furthermore, the solution here and the related approaches, can also be available to other models like the percolation and/or the Potts model.

arXiv:1805.01366•May 2, 2018•1 citation

An empirical partition function for two-dimensional Ising Model in an external magnetic field

Rong Wei

There is no an accepted exact partition function (PF) for the two-dimensional (2D) Ising model with a non-zero external magnetic field to our knowledge. Here we infer an empirical PF for such an Ising model. We compare the PFs for two finite-size Ising lattices ($4\times 4$ and $4\times 6$) from this empirical PF with those from Wei (2018) (Wei, R.Q., 2018. An exact solution to the partition function of the finite-size Ising Model, arXiv: General Physics: 1805.01366.), and find that they are consistent very well. Based on this empirical PF, we further analyze and calculate the thermodynamic functions (heat capacity, magnetization, susceptibility) of this 2D Ising model and discuss the model's singularity semiquantitatively. Analysis and calculations from this PF show that they are coincident with those from other related studies; Especially the 2D Ising model in an external magnetic field has spontaneous magnetization (SM) calling the phenomenon at the critical temperature a phase transition, and the SM decreases with the increasing temperature. However, the decreasing variation of the SM here is different from that obtained by Yang (1952) from the 2D Ising model in a weak magnetic field.

arXiv:1905.04295•May 10, 2019•2 citations

Completeness of classical φ4 theory on two-dimensional lattices

Vahid Karimipour, Mohammad Hossein Zarei

We formulate a quantum formalism for the statistical mechanical models of discretized field theories on lattices and then show that the discrete version of ${\ensuremath{\varphi}}^{4}$ theory on 2D square lattice is complete in the sense that the partition function of any other discretized scalar field theory on an arbitrary lattice with arbitrary interactions can be realized as a special case of the partition function of this model. To achieve this, we extend the recently proposed quantum formalism for the Ising model [M. Van den Nest, W. Dur, and H. J. Briegel, Phys. Rev. Lett. 98, 117207 (2007)] and its completeness property [M. Van den Nest, W. Dur, and H. J. Briegel, Phys. Rev. Lett. 100, 110501 (2008)] to the continuous variable case.

arXiv:1201.4558•Physical Review A•Mar 14, 2012•10 citations
We show that the two-dimensional (2D) Ising model is complete, in the sense that the partition function of any lattice model on any graph is equal to the partition function of the 2D Ising model with complex coupling. The latter model has all its spin-spin coupling equal to i\ensuremathπ4i\frac{\ensuremath{\pi}}{4}i4\ensuremathπ​ and all parameters of the original model are contained in the local magnetic fields of the Ising model. This result has already been derived by using techniques from quantum information theory and by exploiting the universality of cluster states. Here we do not use the quantum formalism and hence make the completeness result accessible to a wide audience. Furthermore, our method has the advantage of being algorithmic in nature so that, by following a set of simple graphical transformations, one is able to transform any discrete lattice model to an Ising model defined on a (polynomially) larger 2D lattice.
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.
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 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.
There is no an exact solution to three-dimensional (3D) finite-size Ising model (referred to as the Ising model hereafter for simplicity) and even two-dimensional (2D) Ising model with non-zero external field to our knowledge. Here by using an elementary but rigorous method, we obtain an exact solution to the partition function of the Ising model with NNN lattice sites. It is a sum of 2N2^N2N exponential functions and holds for DDD-dimensional (D=1,2,3,...D=1,2,3,...D=1,2,3,...) Ising model with or without the external field. This solution provides a new insight into the problem of the Ising model and the related difficulties, and new understanding of the classic exact solutions for one-dimensional (1D) (Kramers and Wannier, 1941) or 2D Ising model (Onsager, 1944). With this solution, the specific heat and magnetisation of a simple 3D Ising model are calculated, which are consistent with the results from experiments and/or numerical simulations. Furthermore, the solution here and the related approaches, can also be available to other models like the percolation and/or the Potts model.
There is no an accepted exact partition function (PF) for the two-dimensional (2D) Ising model with a non-zero external magnetic field to our knowledge. Here we infer an empirical PF for such an Ising model. We compare the PFs for two finite-size Ising lattices (4×44\times 44×4 and 4×64\times 64×6) from this empirical PF with those from Wei (2018) (Wei, R.Q., 2018. An exact solution to the partition function of the finite-size Ising Model, arXiv: General Physics: 1805.01366.), and find that they are consistent very well. Based on this empirical PF, we further analyze and calculate the thermodynamic functions (heat capacity, magnetization, susceptibility) of this 2D Ising model and discuss the model's singularity semiquantitatively. Analysis and calculations from this PF show that they are coincident with those from other related studies; Especially the 2D Ising model in an external magnetic field has spontaneous magnetization (SM) calling the phenomenon at the critical temperature a phase transition, and the SM decreases with the increasing temperature. However, the decreasing variation of the SM here is different from that obtained by Yang (1952) from the 2D Ising model in a weak magnetic field.
We formulate a quantum formalism for the statistical mechanical models of discretized field theories on lattices and then show that the discrete version of ${\ensuremath{\varphi}}^{4}$ theory on 2D square lattice is complete in the sense that the partition function of any other discretized scalar field theory on an arbitrary lattice with arbitrary interactions can be realized as a special case of the partition function of this model. To achieve this, we extend the recently proposed quantum formalism for the Ising model [M. Van den Nest, W. Dur, and H. J. Briegel, Phys. Rev. Lett. 98, 117207 (2007)] and its completeness property [M. Van den Nest, W. Dur, and H. J. Briegel, Phys. Rev. Lett. 100, 110501 (2008)] to the continuous variable case.