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

Algorithmic Construction of Gapped Boundaries for Topological Stabilizer Codes: A Route to Low-Overhead Planar qLDPC Codes

Zijian Liang (梁子健)1,†, Bowen Yang (杨博闻)2,†, Joseph T. Iosue3, and Yu-An Chen (陳昱安)1,*

  • *Contact author: yuanchen@pku.edu.cn
  • †These authors contributed equally to this work.

PRX Quantum 7, 043016 – Published 23 October, 2026

DOI: https://doi.org/10.1103/989h-xjqv

Abstract

Quantum low-density parity-check (qLDPC) codes promise low-overhead fault-tolerant quantum memory, but many leading constructions are naturally defined on periodic lattices, whereas scalable quantum hardware favors planar architectures with open boundaries. In this work, we develop a general operator-algebraic framework and computational algorithms for constructing all gapped boundaries and defects of two-dimensional topological Pauli stabilizer codes. Starting from a truncated bulk code, our method identifies boundary gauge operators, boundary anyons, and their string operators, and then constructs microscopic boundary Hamiltonians through anyon condensation and topological-order completion, thereby eliminating local logical operators near the boundary. We establish a one-to-one bulk-boundary correspondence between bulk anyons and excitations of the anomalous boundary subsystem code, enabling fusion rules, topological spins, and braiding statistics to be extracted directly from the boundary operator algebra. For translation-invariant codes, Laurent-polynomial representations reduce these tasks to finite matrix computations based on Hermite and Smith normal forms, enabling automated constructions for Zd qudits of both prime and composite dimension. We demonstrate the framework on toric, color, double-semion, six-semion, and anomalous three-fermion codes, and apply it to bivariate bicycle codes, revealing large logical dimensions and unusually long translation periods for anyon strings. By systematically converting bulk topological data into explicit boundary and defect Hamiltonians, our framework can serve as a foundation for constructing low-overhead planar qLDPC codes with open boundaries and for engineering fault-tolerant logical operations.

View figure in article

Physics Subject Headings (PhySH)

Popular Summary

Article Text

References (124)

  1. N. P. Breuckmann and J. N. Eberhardt, Quantum low-density parity-check codes, PRX Quantum 2, 040101 (2021).
  2. P. Panteleev and G. Kalachev, Asymptotically good Quantum and locally testable classical LDPC codes, in Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing, STOC ’22 (ACM, 2022), pp. 375–388.
  3. I. Dinur, M.-H. Hsieh, T.-C. Lin, and T. Vidick, Good Quantum LDPC Codes with Linear Time Decoders, in Proceedings of the 55th Annual ACM Symposium on Theory of Computing, STOC ’23 (ACM, 2023), pp. 905–918.
  4. S. Bravyi, A. W. Cross, J. M. Gambetta, D. Maslov, P. Rall, and T. J. Yoder, High-threshold and low-overhead fault-tolerant quantum memory, Nature (London) 627, 778 (2024).
  5. M. Wang and F. Mueller, Coprime bivariate bicycle codes and their layouts on cold atoms, Quantum 10, 2009 (2026).
  6. S. B. Bravyi and A. Y. Kitaev, Quantum codes on a lattice with boundary, arXiv:quant-ph/9811052.
  7. M. H. Freedman and D. A. Meyer, Projective plane and planar quantum codes, Found. Comput. Math. 1, 325 (2013).
  8. E. Dennis, A. Kitaev, A. Landahl, and J. Preskill, Topological quantum memory, J. Math. Phys. 43, 4452 (2002).
  9. Google Quantum AI, Suppressing quantum errors by scaling a surface code logical qubit, Nature (London) 614, 676 (2023).
  10. T. J. Yoder, E. Schoute, P. Rall, E. Pritchett, J. M. Gambetta, A. W. Cross, M. Carroll, and M. E. Beverland, Tour de gross: A modular quantum computer based on bivariate bicycle codes, arXiv:2506.03094.
  11. M. S. Kesselring, F. Pastawski, J. Eisert, and B. J. Brown, The boundaries and twist defects of the color code and their applications to topological quantum computation, Quantum 2, 101 (2018).
  12. I. Cong, M. Cheng, and Z. Wang, Universal quantum computation with gapped boundaries, Phys. Rev. Lett. 119, 170504 (2017).
  13. M. S. Kesselring, J. C. Magdalena de la Fuente, F. Thomsen, J. Eisert, S. D. Bartlett, and B. J. Brown, Anyon condensation and the color code, PRX Quantum 5, 010342 (2024).
  14. R. Kobayashi and G. Zhu, Cross-cap defects and fault-tolerant logical gates in the surface code and the honeycomb Floquet code, PRX Quantum 5, 020360 (2024).
  15. P. Etingof, D. Nikshych, and V. Ostrik, Fusion categories and homotopy theory, Quantum Topol. 1, 209 (2010).
  16. A. Kapustin and N. Saulina, Topological boundary conditions in Abelian Chern–Simons theory, Nucl. Phys. B845, 393 (2011).
  17. S. Beigi, P. W. Shor, and D. Whalen, The quantum double model with boundary: Condensations and symmetries, Commun. Math. Phys. 306, 663 (2011).
  18. A. Kitaev and L. Kong, Models for gapped boundaries and domain walls, Commun. Math. Phys. 313, 351 (2012).
  19. L. Kong, Anyon condensation and tensor categories, Nucl. Phys. B886, 436 (2014).
  20. T. Lan, X. Wen, L. Kong, and X.-G. Wen, Gapped domain walls between 2 + 1D topologically ordered states, Phys. Rev. Res. 2, 023331 (2020).
  21. Y. Hu, Z. Huang, L.-Y. Hung, and Y. Wan, Anyon condensation: Coherent states, symmetry enriched topological phases, Goldstone theorem, and dynamical rearrangement of symmetry, J. High Energy Phys. 2022, 026 (2022).
  22. J. Kaidi, Z. Komargodski, K. Ohmori, S. Seifnashri, and S.-H. Shao, Higher central charges and topological boundaries in 2 + 1-dimensional TQFTs, SciPost Phys. 13, 067 (2022).
  23. H. Wang, Y. Hu, and Y. Wan, Extend the Levin-Wen model to two-dimensional topological orders with gapped boundary junctions, J. High Energy Phys. 07, 088 (2022).
  24. L. Kong, Z.-H. Zhang, J. Zhao, and H. Zheng, Higher condensation theory, arXiv:2403.07813.
  25. L. Kong, X.-G. Wen, and H. Zheng, Boundary-bulk relation in topological orders, Nucl. Phys. B922, 62 (2017).
  26. W. Ji and X.-G. Wen, Categorical symmetry and noninvertible anomaly in symmetry-breaking and topological phase transitions, Phys. Rev. Res. 2, 033417 (2020).
  27. M. Barkeshli, Y.-A. Chen, S.-J. Huang, R. Kobayashi, N. Tantivasadakarn, and G. Zhu, Codimension-2 defects and higher symmetries in (3 + 1)D topological phases, SciPost Phys. 14, 065 (2023).
  28. K. Roumpedakis, S. Seifnashri, and S.-H. Shao, Higher Gauging and non-invertible condensation defects, Commun. Math. Phys. 401, 3043 (2023).
  29. T. Schuster, N. Tantivasadakarn, A. Vishwanath, and N. Y. Yao, A holographic view of topological stabilizer codes, arXiv:2312.04617.
  30. Z. Liang, Y. Xu, J. T. Iosue, and Y.-A. Chen, Extracting topological orders of generalized Pauli stabilizer codes in two dimensions, PRX Quantum 5, 030328 (2024).
  31. Z. Liang, J. N. Eberhardt, and Y.-A. Chen, Planar quantum low-density parity-check codes with open boundaries, PRX Quantum 6, 040330 (2025).
  32. V. Steffan, S. H. Choe, N. P. Breuckmann, F. R. F. Pereira, and J. N. Eberhardt, Tile codes: High-efficiency quantum codes on a lattice with boundary, Phys. Rev. Lett. 135, 170601 (2025).
  33. S. Bravyi, M. B. Hastings, and S. Michalakis, Topological quantum order: Stability under local perturbations, J. Math. Phys. 51, 093512 (2010).
  34. S. Bravyi and M. B. Hastings, A short proof of stability of topological order under local perturbations, Commun. Math. Phys. 307, 609 (2011).
  35. J. Haah, Commuting Pauli Hamiltonians as maps between free modules, Commun. Math. Phys. 324, 351 (2013).
  36. J. Haah, Algebraic methods for quantum codes on lattices, Rev. Colomb. Mat. 50, 299 (2016).
  37. J. Haah, Classification of translation invariant topological Pauli stabilizer codes for prime dimensional qudits on two-dimensional lattices, J. Math. Phys. 62, 012201 (2021).
  38. E. C. Rowell, From quantum groups to unitary modular tensor categories, in Representations of Algebraic Groups, Quantum Groups, and Lie Algebras, Contemporary Mathematics (American Mathematical Society, Providence, 2006), Vol. 413, pp. 215–230.
  39. E. Rowell, R. Stong, and Z. Wang, On classification of modular tensor categories, Commun. Math. Phys. 292, 343 (2009).
  40. Z. Wang, Topological Quantum Computation, CBMS Regional Conference Series in Mathematics (American Mathematical Society, Providence, RI, 2010), Vol. 112, p. xiv+115.
  41. M. Barkeshli, P. Bonderson, M. Cheng, and Z. Wang, Symmetry fractionalization, defects, and Gauging of topological phases, Phys. Rev. B 100, 115147 (2019).
  42. L. Wang and Z. Wang, In and around Abelian anyon models, J. Phys. A 53, 505203 (2020).
  43. M. Barkeshli, Y.-A. Chen, P.-S. Hsin, and N. Manjunath, Classification of (2+1)D invertible fermionic topological phases with symmetry, Phys. Rev. B 105, 235143 (2022).
  44. J. Plavnik, A. Schopieray, Z. Yu, and Q. Zhang, Modular tensor categories, subcategories, and Galois orbits, Transform. Groups 29, 1623 (2024).
  45. S. Doplicher, R. Haag, and J. E. Roberts, Local observables and particle statistics I, Commun. Math. Phys. 23, 199 (1971).
  46. S. Doplicher, R. Haag, and J. E. Roberts, Local observables and particle statistics II, Commun. Math. Phys. 35, 49 (1974).
  47. M. Cha, P. Naaijkens, and B. Nachtergaele, On the stability of charges in infinite quantum spin systems, Commun. Math. Phys. 373, 219 (2020).
  48. B. Ruba and B. Yang, Homological invariants of Pauli stabilizer codes, Commun. Math. Phys. 405, 126 (2024).
  49. C. Chamon, Quantum glassiness in strongly correlated clean systems: An example of topological overprotection, Phys. Rev. Lett. 94, 040402 (2005).
  50. J. Haah, Local stabilizer codes in three dimensions without string logical operators, Phys. Rev. A 83, 042330 (2011).
  51. S. Vijay, J. Haah, and L. Fu, Fracton topological order, generalized lattice Gauge theory, and duality, Phys. Rev. B 94, 235157 (2016).
  52. W. Shirley, K. Slagle, Z. Wang, and X. Chen, Fracton models on general three-dimensional manifolds, Phys. Rev. X 8, 031051 (2018).
  53. M. Pretko, X. Chen, and Y. You, Fracton phases of matter, Int. J. Mod. Phys. A 35, 2030003 (2020).
  54. N. Tantivasadakarn, W. Ji, and S. Vijay, Hybrid fracton phases: Parent orders for liquid and nonliquid quantum phases, Phys. Rev. B 103, 245136 (2021).
  55. N. Tantivasadakarn, W. Ji, and S. Vijay, Non-Abelian hybrid fracton orders, Phys. Rev. B 104, 115117 (2021).
  56. H. Song, J. Schönmeier-Kromer, K. Liu, O. Viyuela, L. Pollet, and M. A. Martin-Delgado, Optimal thresholds for fracton codes and random spin models with subsystem symmetry, Phys. Rev. Lett. 129, 230502 (2022).
  57. M. Levin and X.-G. Wen, Quantum ether: Photons and electrons from a rotor model, Phys. Rev. B 73, 035122 (2006).
  58. J. Alicea, Y. Oreg, G. Refael, F. von Oppen, and M. P. A. Fisher, Non-Abelian statistics and topological quantum information processing in 1D wire networks, Nat. Phys. 7, 412 (2011).
  59. K. Kawagoe and M. Levin, Microscopic definitions of anyon data, Phys. Rev. B 101, 115113 (2020).
  60. Y.-A. Chen, T. D. Ellison, and N. Tantivasadakarn, Disentangling supercohomology symmetry-protected topological phases in three spatial dimensions, Phys. Rev. Res. 3, 013056 (2021).
  61. L. Fidkowski, J. Haah, and M. B. Hastings, Gravitational anomaly of (3+1)-dimensional Z2 toric code with fermionic charges and fermionic loop self-statistics, Phys. Rev. B 106, 165135 (2022).
  62. J. Haah, L. Fidkowski, and M. B. Hastings, Nontrivial quantum cellular automata in higher dimensions, Commun. Math. Phys. 398, 469 (2023).
  63. L. Fidkowski, X. Chen, and A. Vishwanath, Non-Abelian topological order on the surface of a 3D topological superconductor from an exactly solved model, Phys. Rev. X 3, 041016 (2013).
  64. D. V. Else and C. Nayak, Classifying symmetry-protected topological phases through the anomalous action of the symmetry on the edge, Phys. Rev. B 90, 235137 (2014).
  65. X. Chen, L. Fidkowski, and A. Vishwanath, Symmetry enforced non-Abelian topological order at the surface of a topological insulator, Phys. Rev. B 89, 165132 (2014).
  66. C. Wang and T. Senthil, Interacting fermionic topological insulators/superconductors in three dimensions, Phys. Rev. B 89, 195124 (2014).
  67. X. Chen, F. J. Burnell, A. Vishwanath, and L. Fidkowski, Anomalous symmetry fractionalization and surface topological order, Phys. Rev. X 5, 041013 (2015).
  68. C. Wang, C.-H. Lin, and M. Levin, Bulk-boundary correspondence for three-dimensional symmetry-protected topological phases, Phys. Rev. X 6, 021015 (2016).
  69. Q.-R. Wang, Y. Qi, and Z.-C. Gu, Anomalous symmetry protected topological states in interacting fermion systems, Phys. Rev. Lett. 123, 207003 (2019).
  70. Q.-R. Wang and Z.-C. Gu, Construction and classification of symmetry-protected topological phases in interacting fermion systems, Phys. Rev. X 10, 031055 (2020).
  71. T. D. Ellison, Y.-A. Chen, A. Dua, W. Shirley, N. Tantivasadakarn, and D. J. Williamson, Pauli topological subsystem codes from Abelian anyon theories, Quantum 7, 1137 (2023).
  72. X. G. Wen and A. Zee, Classification of Abelian quantum Hall states and matrix formulation of topological fluids, Phys. Rev. B 46, 2290 (1992).
  73. Y.-M. Lu and A. Vishwanath, Theory and classification of interacting integer topological phases in two dimensions: A Chern-Simons approach, Phys. Rev. B 86, 125119 (2012).
  74. Y.-M. Lu and A. Vishwanath, Classification and properties of symmetry-enriched topological phases: Chern-Simons approach with applications to Z2 spin liquids, Phys. Rev. B 93, 155121 (2016).
  75. M. Levin, Protected edge modes without symmetry, Phys. Rev. X 3, 021009 (2013).
  76. T. D. Ellison, Y.-A. Chen, A. Dua, W. Shirley, N. Tantivasadakarn, and D. J. Williamson, Pauli stabilizer models of twisted quantum doubles, PRX Quantum 3, 010353 (2022).
  77. W. Shirley, Y.-A. Chen, A. Dua, T. D. Ellison, N. Tantivasadakarn, and D. J. Williamson, Three-dimensional quantum cellular automata from chiral semion surface topological order and beyond, PRX Quantum 3, 030326 (2022).
  78. B. Ruba and B. Yang, Witt groups and bulk-boundary correspondence for stabilizer states, arXiv:2509.10418.
  79. A. Dua, I. H. Kim, M. Cheng, and D. J. Williamson, Sorting topological stabilizer models in three dimensions, Phys. Rev. B 100, 155137 (2019).
  80. N. Tantivasadakarn, Jordan-Wigner dualities for translation-invariant Hamiltonians in any dimension: Emergent fermions in fracton topological order, Phys. Rev. Res. 2, 023353 (2020).
  81. Y.-A. Chen, A. V. Gorshkov, and Y. Xu, Error-correcting codes for fermionic quantum simulation, SciPost Phys. 16, 033 (2024).
  82. R. W. Chien and J. Klassen, Optimizing fermionic encodings for both Hamiltonian and hardware, arXiv:2210.05652.
  83. Y.-A. Chen and S. Tata, Higher cup products on hypercubic lattices: Application to lattice models of topological phases, J. Math. Phys. 64, 091902 (2023).
  84. B. Yoshida, Gapped boundaries, group cohomology and fault-tolerant logical gates, Ann. Phys. 377, 387 (2017).
  85. Y. Li, Z. Song, A. Kubica, and I. H. Kim, Domain walls from SPT-sewing, arXiv:2411.11967.
  86. H. Watanabe, M. Cheng, and Y. Fuji, Ground state degeneracy on torus in a family of ZN toric code, J. Math. Phys. 64, 051901 (2023).
  87. A. Dua, D. J. Williamson, J. Haah, and M. Cheng, Compactifying fracton stabilizer models, Phys. Rev. B 99, 245135 (2019).
  88. M. Barkeshli, Y.-A. Chen, P.-S. Hsin, and R. Kobayashi, Higher-group symmetry in finite Gauge theory and stabilizer codes, SciPost Phys. 16, 089 (2024).
  89. Y.-A. Chen, A. Kapustin, and Ð. Radičević, Exact bosonization in two spatial dimensions and a new class of lattice gauge theories, Ann. Phys. 393, 234 (2018).
  90. Y.-A. Chen and Y. Xu, Equivalence between fermion-to-qubit mappings in two spatial dimensions, PRX Quantum 4, 010326 (2023).
  91. A. Kubica, B. Yoshida, and F. Pastawski, Unfolding the color code, New J. Phys. 17, 083026 (2015).
  92. J. Haah, Invertible subalgebras, Commun. Math. Phys. 403, 661 (2023).
  93. Y.-A. Chen and P.-S. Hsin, Exactly solvable lattice Hamiltonians and gravitational anomalies, SciPost Phys. 14, 089 (2023).
  94. Z. Liang, K. Liu, H. Song, and Y.-A. Chen, Generalized toric codes on twisted tori for quantum error correction, PRX Quantum 6, 020357 (2025).
  95. J. N. Eberhardt and V. Steffan, Logical operators and fold-transversal gates of bivariate bicycle codes, IEEE Trans. Inf. Theory 71, 1140 (2025).
  96. S. Wolanski and B. Barber, Ambiguity clustering: An accurate and efficient decoder for qLDPC codes, arXiv:2406.14527.
  97. N. Berthusen, D. Devulapalli, E. Schoute, A. M. Childs, M. J. Gullans, A. V. Gorshkov, and D. Gottesman, Toward a 2D local implementation of quantum low-density parity-check codes, PRX Quantum 6, 010306 (2025).
  98. A. Gong, S. Cammerer, and J. M. Renes, Toward low-latency iterative decoding of QLDPC codes under circuit-level noise, arXiv:2403.18901.
  99. A. S. Maan and A. Paler, Machine learning message-passing for the scalable decoding of QLDPC codes, npj Quantum Inf. 11, 78 (2025).
  100. A. Cowtan, SSIP: Automated surgery with quantum LDPC codes, arXiv:2407.09423.
  101. M. H. Shaw and B. M. Terhal, Lowering connectivity requirements for bivariate bicycle codes using morphing circuits, Phys. Rev. Lett. 134, 090602 (2025).
  102. C. Poole, T. M. Graham, M. A. Perlin, M. Otten, and M. Saffman, Architecture for fast implementation of quantum low-density parity-check codes with optimized Rydberg gates, Phys. Rev. A 111, 022433 (2025).
  103. H. Sayginel, S. Koutsioumpas, M. Webster, A. Rajput, and D. E. Browne, Fault-tolerant logical Clifford gates from code automorphisms, PRX Quantum 6, 030343 (2025).
  104. A. W. Cross, Z. He, P. J. Rall, and T. J. Yoder, Improved QLDPC surgery: Logical measurements and bridging codes, arXiv:2407.18393.
  105. A. deMarti iOlius and J. E. Martinez, The closed-branch decoder for quantum LDPC codes, arXiv:2402.01532.
  106. X. Ni, O. Buerschaper, and M. Van den Nest, A non-commuting stabilizer formalism, J. Math. Phys. 56, 052201 (2015).
  107. M. A. Webster, B. J. Brown, and S. D. Bartlett, The XP stabiliser formalism: A generalisation of the Pauli stabiliser formalism with arbitrary phases, Quantum 6, 815 (2022).
  108. R. Shen, Y. Wang, and C. J. Cao, Quantum lego and XP stabilizer codes, Quantum 9, 1876 (2025).
  109. A. Couvreur, N. Delfosse, and G. Zemor, A construction of quantum LDPC codes from Cayley graphs, in Proceedings of the 2011 IEEE International Symposium on Information Theory Proceedings (2011), pp. 643–647.
  110. N. P. Breuckmann and J. N. Eberhardt, Balanced product quantum codes, IEEE Trans. Inf. Theory 67, 6653 (2021).
  111. N. Tantivasadakarn, Dimensional reduction and topological invariants of symmetry-protected topological phases, Phys. Rev. B 96, 195101 (2017).
  112. K. Walker and Z. Wang, (3 + 1)-TQFTs and topological insulators, Front. Phys. 7, 150 (2012).
  113. D. Poulin, Stabilizer formalism for operator quantum error correction, Phys. Rev. Lett. 95, 230504 (2005).
  114. H. Bombín, Structure of 2D topological stabilizer codes, Commun. Math. Phys. 327, 387 (2014).
  115. M. L. Liu, N. Tantivasadakarn, and V. V. Albert, Subsystem CSS codes, a tighter stabilizer-to-CSS mapping, and Goursat’s Lemma, Quantum 8, 1403 (2024).
  116. M. B. Hastings and J. Haah, Dynamically generated logical qubits, Quantum 5, 564 (2021).
  117. D. Aasen, Z. Wang, and M. B. Hastings, Adiabatic paths of Hamiltonians, symmetries of topological order, and automorphism codes, Phys. Rev. B 106, 085122 (2022).
  118. M. Davydova, N. Tantivasadakarn, and S. Balasubramanian, Floquet codes without parent subsystem codes, PRX Quantum 4, 020341 (2023).
  119. T. D. Ellison, J. Sullivan, and A. Dua, Floquet codes with a twist, arXiv:2306.08027.
  120. A. Dua, N. Tantivasadakarn, J. Sullivan, and T. D. Ellison, Engineering 3D Floquet codes by rewinding, PRX Quantum 5, 020305 (2024).
  121. M. F. Atiyah and I. G. Macdonald, Introduction to Commutative Algebra (CRC Press, Boca Raton, FL, USA, 2018).
  122. A. Davydov and D. Simmons, On Lagrangian algebras in group-theoretical braided fusion categories, J. Algebra 471, 149 (2017).
  123. G. Yue, L. Wang, and T. Lan, Condensation completion and defects in 2 + 1D topological orders, Phys. Rev. B 112, 104106 (2025).
  124. D. Gaiotto and J. Kulp, Orbifold groupoids, J. High Energy Phys. 02, 132 (2021).

Outline

Information

Sign In to Your Journals Account

Filter

Filter

Article Lookup

Enter a citation