Classical Spin Models and the Quantum-Stabilizer Formalism
Open accessAbstract
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.
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Integrity signals
Registry
Cites
Statistics
Claims the paper makes
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Claims other papers make about this one
Each is checked against this paper’s own text: does it say what the citing paper says it does?
The Ising model on an arbitrary lattice L can be mapped to an MQC model in which the entangled resource is determined by the geometry of L.
“The connection between MQC and the Ising model is given by a mapping of the Ising model on an arbitrary lattice L to an MQC model where the entangled resource is determined by the geometry of L ,”
From Measurement-based quantum computation (2009) · cites this paper as [96]
These connections enable one to phrase statistical physics problems naturally in a quantum mechanical setting.
“For one, these connections enable one to phrase statistical physics problems naturally in a quantum mechanical setting 87,92,95,96,99-102 .”
From Measurement-based quantum computation (2009) · cites this paper as [96]
The efficient classical simulation of MQC on stabilizer states with bounded tree-width yields a novel classical algorithm to efficiently calculate the partition function on (inhomogeneous) q-state spin models on tree-like graphs with or without magnetic fields.
“In turn, the efficient classical simulation of MQC on stabilizer states with bounded tree-width 94 , as demonstrated in 91 , yields a novel classical algorithm to efficiently calculate the partition function on (inhomogenous) q -state spin models on tree-like-graphs with or without magnetic fields 95,96 .”
From Measurement-based quantum computation (2009) · cites this paper as [96]
The partition function Z_L is identified with a quantum mechanical amplitude obtained as an overlap between two quantum states.
“This expression states that the partition function Z L is identified with a quantum mechanical amplitude which is obtained as an overlap between two quantum states 92,95,96 (see also 99 ).”
From Measurement-based quantum computation (2009) · cites this paper as [96]
Self-check
Percentages, sums and reported differences re-computed from the paper’s own numbers.
The self-check needs the paper’s full text.
Cites
Godsil, C., & Royle, G. (2001) · Graduate Texts in Mathematics · doi:10.1007/978-1-4613-0163-9 · Cited by 8,154 · see citing works
Fault-tolerant quantum computation by anyons
Kitaev, A. Y. (2003) · Annals of Physics · doi:10.1016/s0003-4916(02)00018-0 · Cited by 7,238 · see citing works
Raussendorf, R., & Briegel, H. J. (2001) · Physical Review Letters · doi:10.1103/physrevlett.86.5188 · Cited by 4,477 · see citing works
Self-citationWu, F. Y. (1982) · Reviews of Modern Physics · doi:10.1103/revmodphys.54.235 · Cited by 3,570 · see citing works
On the computational complexity of Ising spin glass models
Barahona, F. (1982) · Journal of Physics A Mathematical and General · doi:10.1088/0305-4470/15/10/028 · Cited by 1,303 · see citing works
Graph minors. III. Planar tree-width
Robertson, N., & Seymour, P. D. (1984) · Journal of Combinatorial Theory Series B · doi:10.1016/0095-8956(84)90013-3 · Cited by 729 · see citing works
Classical simulation of quantum many-body systems with a tree tensor network
Shi, Y.-Y., Duan, L.-M., & Vidal, G. (2006) · Physical Review A · doi:10.1103/physreva.74.022320 · Cited by 577 · see citing works
Stabilizer states and Clifford operations for systems of arbitrary dimensions and modular arithmetic
Hostens, E., Dehaene, J., & Moor, B. D. (2005) · Physical Review A · doi:10.1103/physreva.71.042315 · Cited by 137 · see citing works
Quantum Computers, Algorithms and Chaos
Casati, G., Zoller, P., Benenti, G., & Shepelyansky, D. L. (2006) · HAL · Cited by 124 · see citing works
Simulating Ising spin glasses on a quantum computer
Lidar, D. A., & Biham, O. (1997) · Physical review. E, Statistical physics, plasmas, fluids, and related interdisciplinary topics · doi:10.1103/physreve.56.3661 · Cited by 119 · see citing works
Classical simulation versus universality in measurement-based quantum computation
Van den Nest, M., Dür, W., Vidal, G., & Briegel, H. J. (2007) · Physical Review A · doi:10.1103/physreva.75.012337 · Cited by 95 · see citing works
Self-citationAn algorithm for the Tutte polynomials of graphs of bounded treewidth
Andrzejak, A. (1998) · Discrete Mathematics · doi:10.1016/s0012-365x(98)00113-7 · Cited by 61 · see citing works
Lidar, D. A. (2004) · New Journal of Physics · doi:10.1088/1367-2630/6/1/167 · Cited by 33 · see citing works
Hliněný, P., & Whittle, G. (2006) · European Journal of Combinatorics · doi:10.1016/j.ejc.2006.06.005 · Cited by 29 · see citing works
Flagged first, then by citations
1 of the 15 references couldn’t be matched to a known paper.
Cited by
Sorted by citations
Gühne, O., & Tóth, G. (2009) · Physics Reports · doi:10.1016/j.physrep.2009.02.004 · Cited by 2,401 · see citing works
Measurement-based quantum computation
Briegel, H. J., Browne, D. E., Dür, W., Raussendorf, R., & Van den Nest, M. (2009) · Nature Physics · doi:10.1038/nphys1157 · Cited by 1,090 · see citing works
Self-citationExplicit tensor network representation for the ground states of string-net models
Buerschaper, O., Aguado, M., & Vidal, G. (2009) · Physical Review B · doi:10.1103/physrevb.79.085119 · Cited by 139 · see citing works
Ancilla-driven universal blind quantum computation
Sueki, T., Koshiba, T., & Morimae, T. (2013) · Physical Review A · doi:10.1103/physreva.87.060301 · Cited by 76 · see citing works
Quantum Computation and the Evaluation of Tensor Networks
Arad, I., & Landau, Z. A. (2010) · SIAM Journal on Computing · doi:10.1137/080739379 · Cited by 72 · see citing works
Measurement-based quantum computation with the toric code states
Bravyi, S., & Raussendorf, R. (2007) · Physical Review A · doi:10.1103/physreva.76.022304 · Cited by 69 · see citing works
Completeness of the Classical 2D Ising Model and Universal Quantum Computation
Van den Nest, M., Dür, W., & Briegel, H. J. (2008) · Physical Review Letters · doi:10.1103/physrevlett.100.110501 · Cited by 63 · see citing works
Self-citationSimulating quantum computers with probabilistic methodsPreprint
den Nest, M. V. (2016) · doi:10.14288/1.0103166 · Cited by 57 · see citing works
Commuting quantum circuits and complexity of Ising partition functions
Fujii, K., & Morimae, T. (2017) · New Journal of Physics · doi:10.1088/1367-2630/aa5fdb · Cited by 47 · see citing works
Statistical mechanical models and topological color codes
Bombin, H., & Martin-Delgado, M. A. (2008) · Physical Review A · doi:10.1103/physreva.77.042322 · Cited by 39 · see citing works
Quantum algorithms for spin models and simulable gate sets for quantum computation
den Nest, M. V., Dür, W., Raussendorf, R., & Briegel, H. J. (2009) · Physical Review A · doi:10.1103/physreva.80.052334 · Cited by 35 · see citing works
Self-citationOn the Exact Evaluation of Certain Instances of the Potts Partition Function by Quantum Computers
Geraci, J., & Lidar, D. A. (2008) · Communications in Mathematical Physics · doi:10.1007/s00220-008-0438-0 · Cited by 34 · see citing works
Unifying All Classical Spin Models in a Lattice Gauge Theory
Cuevas, G. D. L., Dür, W., Briegel, H. J., & Martin-Delgado, M. A. (2009) · Physical Review Letters · doi:10.1103/physrevlett.102.230502 · Cited by 29 · see citing works
Self-citationMeasurement-Based Quantum Computation
Wei, T.-C. (2021) · Oxford University Press eBooks · doi:10.1093/acrefore/9780190871994.013.31 · Cited by 35 · see citing works
Topological color codes and two-body quantum lattice Hamiltonians
Kargarian, M., Bombín, H., & Martin-Delgado, M. A. (2010) · New Journal of Physics · doi:10.1088/1367-2630/12/2/025018 · Cited by 25 · see citing works
Classical Ising model test for quantum circuits
Geraci, J., & Lidar, D. A. (2010) · New Journal of Physics · doi:10.1088/1367-2630/12/7/075026 · Cited by 20 · see citing works
Measuring complex-partition-function zeros of Ising models in quantum simulators
Krishnan, A., Schmitt, M., Moessner, R., & Heyl, M. (2019) · Physical Review A · doi:10.1103/physreva.100.022125 · Cited by 19 · see citing works
Completeness of classical spin models and universal quantum computation
Cuevas, G. D. L., Dür, W., den Nest, M. V., & Briegel, H. J. (2009) · Journal of Statistical Mechanics Theory and Experiment · doi:10.1088/1742-5468/2009/07/p07001 · Cited by 20 · see citing works
Self-citationTwins Percolation for Qubit Losses in Topological Color Codes
Vodola, D., Amaro, D., Martin-Delgado, M. A., & Müller, M. (2018) · Physical Review Letters · doi:10.1103/physrevlett.121.060501 · Cited by 17 · see citing works
Xu, Y., Cuevas, G. D. L., Dür, W., Briegel, H. J., & Martin-Delgado, M. A. (2011) · Journal of Statistical Mechanics Theory and Experiment · doi:10.1088/1742-5468/2011/02/p02013 · Cited by 18 · see citing works
Self-citationGlobal entanglement in a topological quantum phase transition
Samimi, E., Zarei, M. H., & Montakhab, A. (2022) · Physical Review A · doi:10.1103/physreva.105.032438 · Cited by 17 · see citing works
Mapping all classical spin models to a lattice gauge theory
Cuevas, G. D. L., Dür, W., Briegel, H. J., & Martin-Delgado, M. A. (2010) · New Journal of Physics · doi:10.1088/1367-2630/12/4/043014 · Cited by 16 · see citing works
Self-citationQuantum algorithm for an additive approximation of Ising partition functions
Matsuo, A., Fujii, K., & Imoto, N. (2014) · Physical Review A · doi:10.1103/physreva.90.022304 · Cited by 17 · see citing works
Acausal measurement-based quantum computing
Morimae, T. (2014) · Physical Review A · doi:10.1103/physreva.90.010101 · Cited by 15 · see citing works
Dual correspondence between classical spin models and quantum Calderbank-Shor-Steane states
Zarei, M. H., & Montakhab, A. (2018) · Physical Review A · doi:10.1103/physreva.98.012337 · Cited by 15 · see citing works
Fundamental thresholds of realistic quantum error correction circuits from classical spin models
Vodola, D., Rispler, M., Kim, S., & Müller, M. (2022) · Quantum · doi:10.22331/q-2022-01-05-618 · Cited by 14 · see citing works
Perfect many-to-one teleportation with stabilizer states
Wang, G., & Ying, M. (2008) · Physical Review A · doi:10.1103/physreva.77.032324 · Cited by 14 · see citing works
Algorithmic proof for the completeness of the two-dimensional Ising model
Karimipour, V., & Zarei, M. H. (2012) · Physical Review A · doi:10.1103/physreva.86.052303 · Cited by 13 · see citing works
2D multipartite valence bond states in quantum anti-ferromagnets
Rico, E., & Briegel, H. J. (2008) · Annals of Physics · doi:10.1016/j.aop.2008.03.006 · Cited by 12 · see citing works
Self-citationCompleteness of classical φ4 theory on two-dimensional lattices
Karimipour, V., & Zarei, M. H. (2012) · Physical Review A · doi:10.1103/physreva.85.032316 · Cited by 10 · see citing works
Measurement-based quantum simulation of Abelian lattice gauge theories
Sukeno, H., & Okuda, T. (2023) · SciPost Physics · doi:10.21468/scipostphys.14.5.129 · Cited by 11 · see citing works
Topological Color Codes and Two-Body Quantum Lattice HamiltoniansPreprint
Kargarian, M., Bombín, H., & Martin-delgado, M. A. (2009) · Cited by 10 · see citing works
Phase transition in a noisy Kitaev toric code model
Zarei, M. H., & Montakhab, A. (2019) · Physical Review A · doi:10.1103/physreva.99.052312 · Cited by 9 · see citing works
Analytical percolation theory for topological color codes under qubit loss
Amaro, D., Bennett, J., Vodola, D., & Müller, M. (2020) · Physical Review A · doi:10.1103/physreva.101.032317 · Cited by 8 · see citing works
A quantum information approach to statistical mechanics
Cuevas, G. D. L. (2013) · Journal of Physics B Atomic Molecular and Optical Physics · doi:10.1088/0953-4075/46/24/243001 · Cited by 8 · see citing works
Classical criticality establishes quantum topological order
Zarei, M. H., & Montakhab, A. (2020) · Physical review. B./Physical review. B · doi:10.1103/physrevb.101.205118 · Cited by 8 · see citing works
Okuda, T., Mana, A. P., & Sukeno, H. (2024) · Physical Review Research · doi:10.1103/physrevresearch.6.043018 · Cited by 8 · see citing works
Quantum Approach to Classical Thermodynamics and Optimization
Somma, R. D., & Ortíz, G. (2010) · Lecture notes in physics · doi:10.1007/978-3-642-11470-0_1 · Cited by 7 · see citing works
Deterministic distributed dense coding with stabilizer states
Wang, G., & Ying, M. (2008) · Physical Review A · doi:10.1103/physreva.77.032306 · Cited by 7 · see citing works
Classical spin systems and the quantum stabilizer formalism: General mappings and applications
Hübener, R., den Nest, M. V., Dür, W., & Briegel, H. J. (2009) · Journal of Mathematical Physics · doi:10.1063/1.3190486 · Cited by 6 · see citing works
Self-citationNoisy Toric code and random-bond Ising model: The error threshold in a dual picture
Zarei, M. H., & Ramezanpour, A. (2019) · Physical Review A · doi:10.1103/physreva.100.062313 · Cited by 4 · see citing works
Systematic study of the completeness of two-dimensional classical ϕ4 theory
Zarei, M. H., & Khalili, Y. (2017) · International Journal of Quantum Information · doi:10.1142/s0219749917500514 · Cited by 3 · see citing works
Kosterlitz-Thouless phase and Zd topological quantum phase
Zarei, M. H. (2020) · Physical review. B./Physical review. B · doi:10.1103/physrevb.101.235126 · Cited by 3 · see citing works
Exponentially improved classical and quantum algorithms for three-body Ising models
den Nest, M. V., & Dür, W. (2014) · Physical Review A · doi:10.1103/physreva.89.012334 · Cited by 2 · see citing works
Self-citationQuantum Information and Statistical Mechanics: An Introduction to Frontier
Fujii, K. (2013) · Interdisciplinary Information Sciences · doi:10.4036/iis.2013.1 · Cited by 2 · see citing works
Fundamental thresholds of realistic quantum error correction circuits from classical spin modelsPreprint
Vodola, D., Rispler, M., Kim, S., & Müller, M. (2021) · arXiv (Cornell University) · doi:10.18154/rwth-2021-06920 · Cited by 2 · see citing works
Classical simulation of measurement-based quantum computation on higher-genus surface-code states
Goff, L., & Raussendorf, R. (2012) · Physical Review A · doi:10.1103/physreva.86.042301 · Cited by 1 · see citing works
Measurement-based quantum simulation of Abelian lattice gauge theories
Okuda, T., & Sukeno, H. (2024) · International Symposium on Lattice Field Theory (LATTICE) · doi:10.22323/1.453.0232 · Cited by 1 · see citing works
Characterization and implementation of robust quantum information processing
Fernandez, D. (2020) · doi:10.23889/suthesis.56913 · Cited by 1 · see citing works
Ising-like models on arbitrary graphs: The Hadamard way
Mosseri, R. (2015) · Physical Review E · doi:10.1103/physreve.91.012142
Minimum heat dissipation in measurement-based quantum computation
Morimae, T. (2015) · Physical Review A · doi:10.1103/physreva.91.042335
Parameterized Algorithms to Compute Ising Partition Function
Hiraishi, H., Hiroshi, I. M. A. I., Iwata, Y., & Lin, B. (2018) · IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences · doi:10.1587/transfun.e101.a.1398
(2023) · SciPost Physics · doi:10.21468/scipost.report.6517
(2022) · SciPost Physics · doi:10.21468/scipost.report.6262
Spin stiffness and resilience phase transition in a noisy toric-rotor code
Anonymous, & Zarei, M. H. (2026) · Physical Review A · doi:10.1103/q4zh-9wr4
Quantum Algorithms Beyond the Jones Polynomial
Eban, E., & Aharonov, D. (2007)
- Authors
- den Nest, M. V., Dür, W., & Briegel, H. J.
- Affiliations
- Austrian Academy of Sciences (AT)
- Venue
- Physical Review Letters
- Publisher
- American Physical Society (APS)
- Published
- 2007-03-16
- Volume
- 98
- Issue
- 11
- Pages
- 117207-117207
- ISSN
- 0031-9007 (ISSN-L)
- 1079-7114
- OpenAlex
- W1993557942
- Cited by
- 56
- References
- 15
- Citations by year
- 2026: 1 · 2024: 2 · 2023: 2 · 2022: 3 · 2021: 2 · 2020: 4 · 2019: 3 · 2018: 3 · 2017: 2 · 2016: 1 · 2015: 2 · 2014: 3 · 2013: 3 · 2012: 3
- FWCI
- 8.29
- Type
- journal article
- Language
- en
- Open access
- green
- arxiv.org
- Locations
- Physical Review Letters (publishedVersion)
- PubMed (publishedVersion)
- arXiv (Cornell University) (submittedVersion)
- CERN Document Server (European Organization for Nuclear Research) (submittedVersion)
- arXiv (Cornell University)
- Topics
- Physical Sciences › Computer Science › Artificial Intelligence › Quantum Computing Algorithms and Architecture
- Physical Sciences › Physics and Astronomy › Atomic and Molecular Physics, and Optics › Quantum many-body systems
- Physical Sciences › Physics and Astronomy › Condensed Matter Physics › Theoretical and Computational Physics
- Keywords
- classical spin systems, partition function, Potts model, clock model, quantum-classical correspondence
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review