Reuse & Permissions

It is not necessary to obtain permission to reuse this article or its components as it is available under the terms of the Creative Commons Attribution 4.0 International license. This license permits unrestricted use, distribution, and reproduction in any medium, provided attribution to the author(s) and the published article's title, journal citation, and DOI are maintained. Please note that some figures may have been included with permission from other third parties. It is your responsibility to obtain the proper permission from the rights holder directly for these figures.

Export citation

Export citation

Choose format for download:

Download Citation
  • Open Access

Measurement-Based Quantum Computation in Symmetry-Enriched Topological Phases

Paul Herringer1,2,3,*, Vir B. Bulchandani4,5, Younes Javanmard1, David T. Stephen6,7,†, and Robert Raussendorf1,3

  • *Contact author: paul.herringer@itp.uni-hannover.de
  • †Present Address: Quantinuum, 303 S Technology Ct, Broomfield, Colorado 80021, USA

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.

View figure in article

Physics Subject Headings (PhySH)

Popular Summary

Article Text

References (80)

  1. R. Raussendorf and H. J. Briegel, A one-way quantum computer, Phys. Rev. Lett. 86, 5188 (2001).
  2. R. Raussendorf, D. E. Browne, and H. J. Briegel, Measurement-based quantum computation on cluster states, Phys. Rev. A 68, 022312 (2003).
  3. 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).
  4. 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).
  5. M. Rossi, M. Huber, D. Bruß, and C. Macchiavello, Quantum hypergraph states, New J. Phys. 15, 113022 (2013).
  6. 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).
  7. J. Miller and A. Miyake, Hierarchy of universal entanglement in 2D measurement-based quantum computation, npj Quantum Inf. 2, 16036 (2016).
  8. J. Miller and A. Miyake, Latent computational complexity of symmetry-protected topological order with fractional symmetry, Phys. Rev. Lett. 120, 170503 (2018).
  9. 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).
  10. 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).
  11. 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).
  12. 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).
  13. 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).
  14. X. Chen, Symmetry fractionalization in two dimensional topological phases, Rev. Phys. 2, 3 (2017).
  15. M. Barkeshli, P. Bonderson, M. Cheng, and Z. Wang, Symmetry fractionalization, defects, and gauging of topological phases, Phys. Rev. B 100, 115147 (2019).
  16. 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).
  17. 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).
  18. P.-S. Hsin, D. T. Stephen, A. Dua, and D. J. Williamson, Subsystem symmetry fractionalization and foliated field theory, SciPost Phys. 18, 147 (2025).
  19. Y. You, T. Devakul, F. J. Burnell, and S. L. Sondhi, Subsystem symmetry protected topological order, Phys. Rev. B 98, 035112 (2018).
  20. T. Devakul, Y. You, F. J. Burnell, and S. L. Sondhi, Fractal symmetric phases of matter, SciPost Phys. 6, 007 (2019).
  21. 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).
  22. A. Miyake, Quantum computation on the edge of a symmetry-protected topological order, Phys. Rev. Lett. 105, 040501 (2010).
  23. 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).
  24. 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).
  25. 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).
  26. 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).
  27. 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).
  28. T. Devakul and D. J. Williamson, Universal quantum computation using fractal symmetry-protected cluster phases, Phys. Rev. A 98, 022332 (2018).
  29. 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).
  30. 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).
  31. S. Bravyi and R. Raussendorf, Measurement-based quantum computation with the toric code states, Phys. Rev. A 76, 022304 (2007).
  32. 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).
  33. A. Y. Kitaev, Fault-tolerant quantum computation by anyons, Ann. Phys. (NY) 303, 2 (2003).
  34. J. Yu, S.-P. Kou, and X.-G. Wen, Topological quantum phase transition in the transverse Wen-plaquette model, Europhys. Lett. 84, 17004 (2008).
  35. G. Wachtel and D. Orgad, Confinement transition in a Kitaev-like honeycomb model with bond anisotropy, Phys. Rev. B 99, 115104 (2019).
  36. T. Morimae, Quantum computational tensor network on string-net condensate, Phys. Rev. A 85, 062328 (2012).
  37. P. Herringer and R. Raussendorf, Classification of measurement-based quantum wire in stabilizer PEPS, Quantum 7, 1041 (2023). arXiv:2207.00616.
  38. 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.
  39. S. B. Bravyi and A. Y. Kitaev, Quantum codes on a lattice with boundary, arXiv:quant-ph/9811052.
  40. 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).
  41. J. B. Kogut, An introduction to lattice gauge theory and spin systems, Rev. Mod. Phys. 51, 659 (1979).
  42. A. Kitaev and C. Laumann, Topological phases and quantum computation, arXiv:0904.2771.
  43. Equivalently, one can define the σ and τ operators microscopically as σ(x+12,y)z=∏x′≤xA(x,y) and σ(x+12,y)x=Z(x+12,y) in the electric sector and τ(x,y)z=∏x′<xB(x,y) and τ(x,y)x=X(x,y+12) in the magnetic sector.
  44. P. Pfeuty, The one-dimensional Ising model with a transverse field, Ann. Phys. (NY) 57, 79 (1970).
  45. 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).
  46. 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).
  47. K. Fredenhagen and M. Marcu, Charged states in Z2 gauge theories, Commun. Math. Phys. 92, 81 (1983).
  48. K. Fredenhagen and M. Marcu, Confinement criterion for QCD with dynamical quarks, Phys. Rev. Lett. 56, 223 (1986).
  49. M. Marcu, in Lattice Gauge Theory ’86, edited by H. Satz, I. Harrity, and J. Potvin (Springer US, Boston, Massachusetts, 1987), pp. 223–233.
  50. D. A. Huse and S. Leibler, Are sponge phases of membranes experimental gauge-Higgs systems? Phys. Rev. Lett. 66, 437 (1991).
  51. K. Gregor, D. A. Huse, R. Moessner, and S. L. Sondhi, Diagnosing deconfinement and topological order, New J. Phys. 13, 025009 (2011).
  52. 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).
  53. H. A. Kramers and G. H. Wannier, Statistics of the two-dimensional ferromagnet. Part I, Phys. Rev. 60, 252 (1941).
  54. 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.
  55. B. M. Terhal and D. P. DiVincenzo, Classical simulation of noninteracting-fermion quantum circuits, Phys. Rev. A 65, 032325 (2002).
  56. J. Haah, Classification of translation invariant topological Pauli stabilizer codes for prime dimensional qudits on two-dimensional lattices, J. Math. Phys. 62, 012201 (2021).
  57. 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).
  58. 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).
  59. 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).
  60. 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.
  61. A. Bolt, G. Duclos-Cianci, D. Poulin, and T. M. Stace, Foliated quantum error-correcting codes, Phys. Rev. Lett. 117, 070501 (2016).
  62. B. J. Brown and S. Roberts, Universal fault-tolerant measurement-based quantum computation, Phys. Rev. Res. 2, 033305 (2020).
  63. 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.
  64. N. Nickerson and H. Bombín, Measurement based fault tolerance beyond foliation, arXiv:1810.09621.
  65. S. Roberts and S. D. Bartlett, Symmetry-protected self-correcting quantum memories, Phys. Rev. X 10, 031041 (2020).
  66. G. Brassard, A. Broadbent, and A. Tapp, Quantum pseudo-telepathy, Found. Phys. 35, 1877 (2005).
  67. 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).
  68. V. B. Bulchandani, F. J. Burnell, and S. L. Sondhi, Playing nonlocal games with phases of quantum matter, Phys. Rev. B 107, 045412 (2023).
  69. 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).
  70. 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).
  71. C. Lin, V. B. Bulchandani, and S. L. Sondhi, Quantum tasks assisted by quantum noise, arXiv:2308.10969.
  72. P. Herringer and Y. Javanmard, pherringer/setmbqc_paper: SETMBQC, Zenodo, v1.0.0, https://doi.org/10.5281/zenodo.17175550 (2025).
  73. S. R. White, Density matrix formulation for quantum renormalization groups, Phys. Rev. Lett. 69, 2863 (1992).
  74. U. Schollwöck, The density-matrix renormalization group in the age of matrix product states, Ann. Phys. 326, 96 (2011).
  75. M. Fannes, B. Nachtergaele, and R. F. Werner, Finitely correlated pure states, J. Funct. Anal. 120, 511 (1994).
  76. F. Verstraete and J. I. Cirac, Matrix product states represent ground states faithfully, Phys. Rev. B 73, 094423 (2006).
  77. G. M. Crosswhite and D. Bacon, Finite automata for caching in matrix product algorithms, Phys. Rev. A 78, 012356 (2008).
  78. 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).
  79. I. P. McCulloch, From density-matrix renormalization group to matrix product states, J. Stat. Mech.: Theory Exp. 2007, P10014 (2007).
  80. 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).

Outline

Information

Sign In to Your Journals Account

Filter

Filter

Article Lookup

Enter a citation