- Open Access
Measurement-Based Quantum Computation in Symmetry-Enriched Topological Phases
PRX Quantum 6, 040314 – Published 21 October, 2025
DOI: https://doi.org/10.1103/j2z3-s6d6
Abstract
We present the first examples of topological phases of matter with uniform power for measurement-based quantum computation (MBQC). This is possible due to a new framework for analyzing the computational properties of phases of matter that is more general than previous constructions, which have been limited to short-range entangled phases in one dimension. We show that ground states of the toric code in an anisotropic magnetic field yield a natural, albeit noncomputationally universal, application of our framework. We then present a new model with topological order the ground states of which are universal resources for MBQC. Both topological models are enriched by subsystem symmetries and these symmetries protect their computational power. Our framework greatly expands the range of physical models that can be analyzed from the computational perspective.
Physics Subject Headings (PhySH)
Popular Summary
Measurement-based quantum computation (MBQC) is a way to perform quantum computations by measuring single particles in an entangled many-particle quantum state. In MBQC, the quantum state being measured is the source of computational power, but understanding the link between this power and the physical properties of quantum states remains a significant challenge. Over the past decade, it has been discovered that the power of MBQC remains constant across certain quantum phases of matter, connecting MBQC with condensed-matter physics. However, these “computational phases” have previously been found only in systems with short-range entanglement, which is limiting because many interesting physical systems feature long-range entanglement, also known as topological order.
In this paper, we have developed a framework that allows us to study computational phases in systems with topological order, significantly widening the range of systems that can be analyzed from the MBQC perspective. Our paper presents the first examples of computational phases in topologically ordered systems, including a “universal” phase in which any quantum circuit can be realized using MBQC. We also explore how computational and topological properties are related and demonstrate that the computational properties of a quantum state tell us more about it than topological properties alone. Our work strengthens the connection between MBQC and condensed-matter physics and expands our understanding of how many-body quantum states can be harnessed for quantum computation.
Article Text
References (80)
- R. Raussendorf and H. J. Briegel, A one-way quantum computer, Phys. Rev. Lett. 86, 5188 (2001).
- R. Raussendorf, D. E. Browne, and H. J. Briegel, Measurement-based quantum computation on cluster states, Phys. Rev. A 68, 022312 (2003).
- I. Affleck, T. Kennedy, E. H. Lieb, and H. Tasaki, Rigorous results on valence-bond ground states in antiferromagnets, Phys. Rev. Lett. 59, 799 (1987).
- G. K. Brennen and A. Miyake, Measurement-based quantum computer in the gapped ground state of a two-body Hamiltonian, Phys. Rev. Lett. 101, 010502 (2008).
- M. Rossi, M. Huber, D. Bruß, and C. Macchiavello, Quantum hypergraph states, New J. Phys. 15, 113022 (2013).
- O. Gühne, M. Cuquet, F. E. S. Steinhoff, T. Moroder, M. Rossi, D. Bruß, B. Kraus, and C. Macchiavello, Entanglement and nonclassical properties of hypergraph states, J. Phys. A: Math. Theor. 47, 335303 (2014).
- J. Miller and A. Miyake, Hierarchy of universal entanglement in 2D measurement-based quantum computation, npj Quantum Inf. 2, 16036 (2016).
- J. Miller and A. Miyake, Latent computational complexity of symmetry-protected topological order with fractional symmetry, Phys. Rev. Lett. 120, 170503 (2018).
- X. Chen, Z.-C. Gu, and X.-G. Wen, Local unitary transformation, long-range quantum entanglement, wave function renormalization, and topological order, Phys. Rev. B 82, 155138 (2010).
- F. Pollmann, A. M. Turner, E. Berg, and M. Oshikawa, Entanglement spectrum of a topological phase in one dimension, Phys. Rev. B 81, 064439 (2010).
- X. Chen, Z.-C. Gu, and X.-G. Wen, Classification of gapped symmetric phases in one-dimensional spin systems, Phys. Rev. B 83, 035107 (2011).
- N. Schuch, D. Pérez-García, and I. Cirac, Classifying quantum phases using matrix product states and projected entangled pair states, Phys. Rev. B 84, 165139 (2011).
- X. Chen, Z.-C. Gu, Z.-X. Liu, and X.-G. Wen, Symmetry protected topological orders and the group cohomology of their symmetry group, Phys. Rev. B 87, 155114 (2013).
- X. Chen, Symmetry fractionalization in two dimensional topological phases, Rev. Phys. 2, 3 (2017).
- M. Barkeshli, P. Bonderson, M. Cheng, and Z. Wang, Symmetry fractionalization, defects, and gauging of topological phases, Phys. Rev. B 100, 115147 (2019).
- D. T. Stephen, J. Garre-Rubio, A. Dua, and D. J. Williamson, Subsystem symmetry enriched topological order in three dimensions, Phys. Rev. Res. 2, 033331 (2020).
- D. T. Stephen, A. Dua, J. Garre-Rubio, D. J. Williamson, and M. Hermele, Fractionalization of subsystem symmetries in two dimensions, Phys. Rev. B 106, 085104 (2022).
- P.-S. Hsin, D. T. Stephen, A. Dua, and D. J. Williamson, Subsystem symmetry fractionalization and foliated field theory, SciPost Phys. 18, 147 (2025).
- Y. You, T. Devakul, F. J. Burnell, and S. L. Sondhi, Subsystem symmetry protected topological order, Phys. Rev. B 98, 035112 (2018).
- T. Devakul, Y. You, F. J. Burnell, and S. L. Sondhi, Fractal symmetric phases of matter, SciPost Phys. 6, 007 (2019).
- A. S. Darmawan, G. K. Brennen, and S. D. Bartlett, Measurement-based quantum computation in a 2D phase of matter, New J. Phys. 14, 013023 (2012).
- A. Miyake, Quantum computation on the edge of a symmetry-protected topological order, Phys. Rev. Lett. 105, 040501 (2010).
- D. V. Else, I. Schwarz, S. D. Bartlett, and A. C. Doherty, Symmetry-protected phases for measurement-based quantum computation, Phys. Rev. Lett. 108, 240505 (2012).
- D. T. Stephen, D.-S. Wang, A. Prakash, T.-C. Wei, and R. Raussendorf, Computational power of symmetry-protected topological phases, Phys. Rev. Lett. 119, 010504 (2017).
- R. Raussendorf, W. Yang, and A. Adhikary, Measurement-based quantum computation in finite one-dimensional systems: String order implies computational power, Quantum 7, 1215 (2023).
- R. Raussendorf, C. Okay, D.-S. Wang, D. T. Stephen, and H. P. Nautrup, Computationally universal phase of quantum matter, Phys. Rev. Lett. 122, 090501 (2019).
- D. T. Stephen, H. P. Nautrup, J. Bermejo-Vega, J. Eisert, and R. Raussendorf, Subsystem symmetries, quantum cellular automata, and computational phases of quantum matter, Quantum 3, 142 (2019).
- T. Devakul and D. J. Williamson, Universal quantum computation using fractal symmetry-protected cluster phases, Phys. Rev. A 98, 022332 (2018).
- A. K. Daniel, R. N. Alexander, and A. Miyake, Computational universality of symmetry-protected topologically ordered cluster phases on 2D Archimedean lattices, Quantum 4, 228 (2020).
- D. T. Stephen, W. W. Ho, T.-C. Wei, R. Raussendorf, and R. Verresen, Universal measurement-based quantum computation in a one-dimensional architecture enabled by dual-unitary circuits, Phys. Rev. Lett. 132, 250601 (2024).
- S. Bravyi and R. Raussendorf, Measurement-based quantum computation with the toric code states, Phys. Rev. A 76, 022304 (2007).
- I. S. Tupitsyn, A. Kitaev, N. V. Prokof’ev, and P. C. E. Stamp, Topological multicritical point in the phase diagram of the toric code model and three-dimensional lattice gauge Higgs model, Phys. Rev. B 82, 085114 (2010).
- A. Y. Kitaev, Fault-tolerant quantum computation by anyons, Ann. Phys. (NY) 303, 2 (2003).
- J. Yu, S.-P. Kou, and X.-G. Wen, Topological quantum phase transition in the transverse Wen-plaquette model, Europhys. Lett. 84, 17004 (2008).
- G. Wachtel and D. Orgad, Confinement transition in a Kitaev-like honeycomb model with bond anisotropy, Phys. Rev. B 99, 115104 (2019).
- T. Morimae, Quantum computational tensor network on string-net condensate, Phys. Rev. A 85, 062328 (2012).
- P. Herringer and R. Raussendorf, Classification of measurement-based quantum wire in stabilizer PEPS, Quantum 7, 1041 (2023). arXiv:2207.00616.
- D. Aharonov, A. Kitaev, and N. Nisan, in Proceedings of the Thirtieth Annual ACM Symposium on Theory of Computing (Association for Computing Machinery, New York, NY, USA, 1998), pp. 20–30.
- S. B. Bravyi and A. Y. Kitaev, Quantum codes on a lattice with boundary, arXiv:quant-ph/9811052.
- S. Bravyi, M. B. Hastings, and F. Verstraete, Lieb-Robinson bounds and the generation of correlations and topological quantum order, Phys. Rev. Lett. 97, 050401 (2006).
- J. B. Kogut, An introduction to lattice gauge theory and spin systems, Rev. Mod. Phys. 51, 659 (1979).
- A. Kitaev and C. Laumann, Topological phases and quantum computation, arXiv:0904.2771.
- Equivalently, one can define the and operators microscopically as and in the electric sector and and in the magnetic sector.
- P. Pfeuty, The one-dimensional Ising model with a transverse field, Ann. Phys. (NY) 57, 79 (1970).
- W.-T. Xu, F. Pollmann, and M. Knap, Critical behavior of Fredenhagen-Marcu string order parameters at topological phase transitions with emergent higher-form symmetries, npj Quantum Inf. 11, 74 (2025).
- J. Bricmont and J. Frölich, An order parameter distinguishing between different phases of lattice gauge theories with matter fields, Phys. Lett. B 122, 73 (1983).
- K. Fredenhagen and M. Marcu, Charged states in gauge theories, Commun. Math. Phys. 92, 81 (1983).
- K. Fredenhagen and M. Marcu, Confinement criterion for QCD with dynamical quarks, Phys. Rev. Lett. 56, 223 (1986).
- M. Marcu, in Lattice Gauge Theory ’86, edited by H. Satz, I. Harrity, and J. Potvin (Springer US, Boston, Massachusetts, 1987), pp. 223–233.
- D. A. Huse and S. Leibler, Are sponge phases of membranes experimental gauge-Higgs systems? Phys. Rev. Lett. 66, 437 (1991).
- K. Gregor, D. A. Huse, R. Moessner, and S. L. Sondhi, Diagnosing deconfinement and topological order, New J. Phys. 13, 025009 (2011).
- G. Semeghini, H. Levine, A. Keesling, S. Ebadi, T. T. Wang, D. Bluvstein, R. Verresen, H. Pichler, M. Kalinowski, R. Samajdar, A. Omran, S. Sachdev, A. Vishwanath, M. Greiner, V. Vuletić, and M. D. Lukin, Probing topological spin liquids on a programmable quantum simulator, Science 374, 1242 (2021).
- H. A. Kramers and G. H. Wannier, Statistics of the two-dimensional ferromagnet. Part I, Phys. Rev. 60, 252 (1941).
- L. G. Valiant, in Proceedings of the Thirty-Third Annual ACM Symposium on Theory of Computing (Association for Computing Machinery, New York, NY, USA, 2001), pp. 114–123.
- B. M. Terhal and D. P. DiVincenzo, Classical simulation of noninteracting-fermion quantum circuits, Phys. Rev. A 65, 032325 (2002).
- J. Haah, Classification of translation invariant topological Pauli stabilizer codes for prime dimensional qudits on two-dimensional lattices, J. Math. Phys. 62, 012201 (2021).
- R. Wiersema, E. Kökcü, A. F. Kemper, and B. N. Bakalov, Classification of dynamical Lie algebras of 2-local spin systems on linear, circular and fully connected topologies, npj Quantum Inf. 10, 1 (2024).
- M. Van den Nest, W. Dür, G. Vidal, and H. J. Briegel, Classical simulation versus universality in measurement-based quantum computation, Phys. Rev. A 75, 012337 (2007).
- D. Gross, S. T. Flammia, and J. Eisert, Most quantum states are too entangled to be useful as computational resources, Phys. Rev. Lett. 102, 190501 (2009).
- R. Raussendorf, J. Harrington, and K. Goyal, Topological fault-tolerance in cluster state quantum computation, New J. Phys. 9, 199 (2007). arXiv:quant-ph/0703143.
- A. Bolt, G. Duclos-Cianci, D. Poulin, and T. M. Stace, Foliated quantum error-correcting codes, Phys. Rev. Lett. 117, 070501 (2016).
- B. J. Brown and S. Roberts, Universal fault-tolerant measurement-based quantum computation, Phys. Rev. Res. 2, 033305 (2020).
- M. Newman, L. A. de Castro, and K. R. Brown, Generating fault-tolerant cluster states from crystal structures, Quantum 4, 295 (2020). arXiv:1909.11817.
- N. Nickerson and H. Bombín, Measurement based fault tolerance beyond foliation, arXiv:1810.09621.
- S. Roberts and S. D. Bartlett, Symmetry-protected self-correcting quantum memories, Phys. Rev. X 10, 031041 (2020).
- G. Brassard, A. Broadbent, and A. Tapp, Quantum pseudo-telepathy, Found. Phys. 35, 1877 (2005).
- A. K. Daniel and A. Miyake, Quantum computational advantage with string order parameters of one-dimensional symmetry-protected topological order, Phys. Rev. Lett. 126, 090505 (2021).
- V. B. Bulchandani, F. J. Burnell, and S. L. Sondhi, Playing nonlocal games with phases of quantum matter, Phys. Rev. B 107, 045412 (2023).
- V. B. Bulchandani, F. J. Burnell, and S. L. Sondhi, A multiplayer multiteam nonlocal game for the toric code, Phys. Rev. B 107, 035409 (2023).
- O. Hart, D. T. Stephen, D. J. Williamson, M. Foss-Feig, and R. Nandkishore, Playing nonlocal games across a topological phase transition on a quantum computer, Phys. Rev. Lett. 134, 130602 (2025).
- C. Lin, V. B. Bulchandani, and S. L. Sondhi, Quantum tasks assisted by quantum noise, arXiv:2308.10969.
- P. Herringer and Y. Javanmard, pherringer/setmbqc_paper: SETMBQC, Zenodo, v1.0.0, https://doi.org/10.5281/zenodo.17175550 (2025).
- S. R. White, Density matrix formulation for quantum renormalization groups, Phys. Rev. Lett. 69, 2863 (1992).
- U. Schollwöck, The density-matrix renormalization group in the age of matrix product states, Ann. Phys. 326, 96 (2011).
- M. Fannes, B. Nachtergaele, and R. F. Werner, Finitely correlated pure states, J. Funct. Anal. 120, 511 (1994).
- F. Verstraete and J. I. Cirac, Matrix product states represent ground states faithfully, Phys. Rev. B 73, 094423 (2006).
- G. M. Crosswhite and D. Bacon, Finite automata for caching in matrix product algorithms, Phys. Rev. A 78, 012356 (2008).
- S. Keller, M. Dolfi, M. Troyer, and M. Reiher, An efficient matrix product operator representation of the quantum chemical Hamiltonian, J. Chem. Phys. 143, 244118 (2015).
- I. P. McCulloch, From density-matrix renormalization group to matrix product states, J. Stat. Mech.: Theory Exp. 2007, P10014 (2007).
- J. Ren, W. Li, T. Jiang, and Z. Shuai, A general automatic method for optimal construction of matrix product operators using bipartite graph theory, J. Chem. Phys. 153, 084118 (2020).
