pith. sign in

arxiv: 2410.11942 · v5 · submitted 2024-10-15 · 🪐 quant-ph · cond-mat.str-el· math-ph· math.MP· math.QA

Operator algebra and algorithmic construction of boundaries and defects in (2+1)D topological Pauli stabilizer codes

Zijian Liang , Bowen Yang , Joseph T. Iosue , Yu-An Chen This is my paper

Pith reviewed 2026-05-23 18:39 UTC · model grok-4.3

classification 🪐 quant-ph cond-mat.str-elmath-phmath.MPmath.QA
keywords topological stabilizer codesgapped boundariesanyon condensationoperator algebraPauli codessurface codesLaurent polynomialsfault-tolerant quantum computation
0
0 comments X

The pith

Operator algebra yields a one-to-one mapping that lets computers generate every gapped boundary and defect of 2D Pauli stabilizer codes from bulk anyon data.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper develops an algorithmic method to construct all gapped boundaries and defects in two-dimensional topological Pauli stabilizer codes. It relies on an operator algebra formalism that creates a direct correspondence between the anyon fusion rules and topological spins of the bulk code and the properties of one-dimensional anomalous subsystem codes on the boundary. By representing the codes with Laurent polynomials, the tasks reduce to matrix operations such as computing Hermite normal forms for boundary anyons and Smith normal forms for fusion rules. This enables automatic generation through anyon condensation and topological order completion, and the method extends to Z_d qudits for any d. The approach has been used to enumerate boundaries and defects in multiple codes, including the toric code and color code, which supports analysis of surface codes for fault-tolerant quantum computation.

Core claim

Using the operator algebra formalism, we establish a one-to-one correspondence between the topological data, such as anyon fusion rules and topological spins, of two-dimensional bulk stabilizer codes and one-dimensional boundary anomalous subsystem codes. To make the operator algebra computationally accessible, we adapt Laurent polynomials and convert the tasks into matrix operations, e.g., the Hermite normal form for obtaining boundary anyons and the Smith normal form for determining fusion rules. This approach enables computers to automatically generate all possible gapped boundaries and defects for topological Pauli stabilizer codes through boundary anyon condensation and topologicalorder

What carries the argument

The operator algebra formalism, converted to Laurent polynomial matrix operations (Hermite normal form for boundary anyons, Smith normal form for fusion rules) that generate boundaries via anyon condensation.

If this is right

  • All gapped boundaries and defects of any given 2D Pauli stabilizer code can be listed algorithmically.
  • The construction works for Z_d qudits with both prime and composite d.
  • Explicit lists are obtained for the Z_2 toric code (2 boundaries, 6 defects), Z_4 toric code (3 boundaries, 22 defects), color code (6 boundaries, 270 defects), and other models.
  • Bivariate bicycle codes admit boundaries with large logical dimensions and anyons having long translation periods.
  • Surface-code logical operations for fault-tolerant computation become easier to enumerate and analyze.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The matrix-reduction technique could be applied to enumerate boundaries in families of codes not yet studied in detail.
  • The bulk-boundary correspondence might supply a route to classify possible defects that preserve or break specific symmetries.
  • Automatic generation of boundaries could help test whether certain logical gates remain fault-tolerant when defects are introduced.

Load-bearing premise

The operator algebra supplies a complete one-to-one correspondence that captures every possible gapped boundary and defect without missing cases or requiring extra constraints.

What would settle it

Finding a gapped boundary or defect in the toric code or color code whose anyon data or fusion rules cannot be produced by the Hermite or Smith normal form steps on the corresponding Laurent polynomials.

read the original abstract

Quantum low-density parity-check codes, such as the Kitaev toric code and bivariate bicycle codes, are often defined with periodic boundary conditions, which are difficult to realize in physical systems. In this paper, we present an algorithm for constructing all gapped boundaries and defects of two-dimensional Pauli stabilizer codes. Using the operator algebra formalism, we establish a one-to-one correspondence between the topological data, such as anyon fusion rules and topological spins, of two-dimensional bulk stabilizer codes and one-dimensional boundary anomalous subsystem codes. To make the operator algebra computationally accessible, we adapt Laurent polynomials and convert the tasks into matrix operations, e.g., the Hermite normal form for obtaining boundary anyons and the Smith normal form for determining fusion rules. This approach enables computers to automatically generate all possible gapped boundaries and defects for topological Pauli stabilizer codes through boundary anyon condensation and topological order completion. This streamlines the analysis of surface codes and associated logical operations for fault-tolerant quantum computation. Our algorithm applies to $\mathbb{Z}_d$ qudits for both prime and nonprime $d$, enabling exploration of topological phases beyond the Kitaev toric code. We have applied the algorithm and explicitly demonstrated the lattice constructions of 2 boundaries and 6 defects in the $\mathbb{Z}_2$ toric code, 3 boundaries and 22 defects in the $\mathbb{Z}_4$ toric code, 1 boundary and 2 defects in the double semion code, 1 boundary and 22 defects in the six-semion code, 6 boundaries and 270 defects in the color code, and 6 defects in the anomalous three-fermion code. Finally, we study the boundaries of bivariate bicycle codes, showing that they exhibit large logical dimensions and anyons with long translation periods.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The manuscript presents an algorithm for constructing all gapped boundaries and defects in (2+1)D topological Pauli stabilizer codes. It uses an operator algebra formalism to establish a claimed one-to-one correspondence between the bulk topological data (anyon fusion rules and topological spins) of 2D stabilizer codes and 1D boundary anomalous subsystem codes. The approach converts Laurent polynomials into matrix operations via Hermite and Smith normal forms to enable algorithmic generation through anyon condensation and topological order completion. Explicit constructions and counts are given for several codes (e.g., 2 boundaries/6 defects for Z2 toric code, 3 boundaries/22 defects for Z4 toric code, 6 boundaries/270 defects for color code) and the method is applied to bivariate bicycle codes, with extension to Zd qudits for prime and composite d.

Significance. If the correspondence and algorithmic completeness hold as claimed, the work supplies a systematic, computer-assisted framework for generating boundaries and defects that directly supports analysis of surface codes and logical gates in fault-tolerant quantum computation. Strengths include the explicit numerical demonstrations that match known results for the Z2 toric code, the extension beyond prime d, and the concrete application to bivariate bicycle codes showing large logical dimensions. The reduction to standard matrix normal forms is a positive feature for reproducibility.

minor comments (2)
  1. [abstract and algorithmic section] The description of how the Smith normal form directly yields the fusion rules (mentioned in the abstract) would benefit from an explicit small example with the resulting matrix and the extracted fusion coefficients to improve accessibility for readers implementing the algorithm.
  2. [introduction and results sections] The claim of completeness for all gapped boundaries via the correspondence should include a brief statement on whether the method assumes translation invariance throughout or handles any exceptions for the listed codes.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, significance assessment, and recommendation of minor revision. No specific major comments were provided in the report, so there are no individual points requiring point-by-point response. We are pleased that the explicit demonstrations, extension to composite d, and application to bivariate bicycle codes were noted as strengths.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper's derivation relies on adapting the established operator algebra formalism (Laurent polynomials over the ring of integers) into standard matrix operations via Hermite and Smith normal forms to generate boundaries and defects from anyon condensation. These are independent linear-algebraic tools applied to the input stabilizer code data; the claimed one-to-one correspondence is verified by explicit enumeration that reproduces known counts for the Z2 toric code and other models rather than being defined into existence. No self-citation chain, fitted-parameter prediction, or ansatz smuggling is load-bearing for the central algorithmic claim, and the method is externally falsifiable against lattice constructions and anyon data.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the operator algebra formalism from prior work and standard results in algebra for normal forms; no new free parameters or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption The operator algebra formalism establishes a complete correspondence between bulk topological data and boundary subsystem codes
    This is the foundational mapping used to convert the construction into matrix problems.
  • standard math Laurent polynomials over the ring can represent the translation operators on the lattice
    Adapted to make the tasks into matrix operations.

pith-pipeline@v0.9.0 · 5884 in / 1362 out tokens · 31984 ms · 2026-05-23T18:39:08.099412+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. The Classification of Pauli Stabilizer Codes: A Lattice and Continuum Treatise

    math-ph 2026-04 unverdicted novelty 7.0

    Pauli stabilizer codes are classified via algebraic L-theory, yielding a bulk-boundary map to Clifford QCAs and a structural comparison with continuum framed TQFTs.

  2. Symmetry-enriched topological order and quasifractonic behavior in $\mathbb{Z}_N$ stabilizer codes

    cond-mat.str-el 2025-11 unverdicted novelty 7.0

    Z_N bivariate-bicycle codes have essential topological properties determined by their Z_p prime-factor counterparts, enabling generalization of algebraic-geometric methods to anyon fusion rules and resolution of quasi...

Reference graph

Works this paper leans on

156 extracted references · 156 canonical work pages · cited by 2 Pith papers · 3 internal anchors

  1. [1]

    Shor, P.W.: Scheme for reducing decoherence in quantum computer memory. Phys. Rev. A52, 2493– 2496 (1995) https://doi.org/10.1103/PhysRevA.52.R2493

    work page doi:10.1103/physreva.52.r2493 1995

  2. [2]

    Steane, A.M.: Error correcting codes in quantum theory. Phys. Rev. Lett.77, 793–797 (1996) https: //doi.org/10.1103/PhysRevLett.77.793

    work page doi:10.1103/physrevlett.77.793 1996

  3. [3]

    Knill, E., Laflamme, R.: Theory of quantum error-correcting codes. Phys. Rev. A55, 900–911 (1997) https://doi.org/10.1103/PhysRevA.55.900

    work page doi:10.1103/physreva.55.900 1997

  4. [4]

    Gottesman, D.: Stabilizer Codes and Quantum Error Correction (1997)

    work page 1997

  5. [5]

    Fault-tolerant quantum computation by anyons

    Kitaev, A.Y.: Fault-tolerant quantum computation by anyons. Annals of Physics303(1), 2–30 (2003) https://doi.org/10.1016/S0003-4916(02)00018-0 40

    work page internal anchor Pith review doi:10.1016/s0003-4916(02)00018-0 2003

  6. [6]

    Bravyi and A

    Bravyi, S.B., Kitaev, A.Y.: Quantum codes on a lattice with boundary. arXiv preprint quant- ph/9811052 (1998)

    work page arXiv 1998

  7. [7]

    Foundations of Compu- tational Mathematics1(3), 325–332 (2001) https://doi.org/10.1007/s102080010013

    Freedman, M.H., Meyer, D.A.: Projective plane and planar quantum codes. Foundations of Compu- tational Mathematics1(3), 325–332 (2001) https://doi.org/10.1007/s102080010013

    work page doi:10.1007/s102080010013 2001

  8. [8]

    Journal of Mathemat- ical Physics43(9), 4452–4505 (2002) https://doi.org/10.1063/1.1499754

    Dennis, E., Kitaev, A., Landahl, A., Preskill, J.: Topological quantum memory. Journal of Mathemat- ical Physics43(9), 4452–4505 (2002) https://doi.org/10.1063/1.1499754

    work page doi:10.1063/1.1499754 2002

  9. [9]

    Verresen, R., Lukin, M.D., Vishwanath, A.: Prediction of toric code topological order from rydberg blockade. Phys. Rev. X11, 031005 (2021) https://doi.org/10.1103/PhysRevX.11.031005

    work page doi:10.1103/physrevx.11.031005 2021

  10. [10]

    Nature604(7906), 451–456 (2022) https://doi.org/10.1038/ s41586-022-04592-6

    Bluvstein, D., Levine, H., Semeghini, G., Wang, T.T., Ebadi, S., Kalinowski, M., Keesling, A., Maskara, N., Pichler, H., Greiner, M., Vuleti´ c, V., Lukin, M.D.: A quantum processor based on coher- ent transport of entangled atom arrays. Nature604(7906), 451–456 (2022) https://doi.org/10.1038/ s41586-022-04592-6

    work page 2022

  11. [11]

    Suppressing quantum errors by scaling a surface code logical qubit

    AI, G.Q.: Suppressing quantum errors by scaling a surface code logical qubit. Nature614(7949), 676–681 (2023) https://doi.org/10.1038/s41586-022-05434-1

    work page doi:10.1038/s41586-022-05434-1 2023

  12. [12]

    Nature 618(7964), 264–269 (2023) https://doi.org/10.1038/s41586-023-05954-4

    AI, G.Q., Collaborators: Non-abelian braiding of graph vertices in a superconducting processor. Nature 618(7964), 264–269 (2023) https://doi.org/10.1038/s41586-023-05954-4

    work page doi:10.1038/s41586-023-05954-4 2023

  13. [13]

    Communications Physics7(1), 205 (2024) https://doi.org/10.1038/s42005-024-01698-3

    Iqbal, M., Tantivasadakarn, N., Gatterman, T.M., Gerber, J.A., Gilmore, K., Gresh, D., Hankin, A., Hewitt, N., Horst, C.V., Matheny, M., Mengle, T., Neyenhuis, B., Vishwanath, A., Foss-Feig, M., Verre- sen, R., Dreyer, H.: Topological order from measurements and feed-forward on a trapped ion quantum computer. Communications Physics7(1), 205 (2024) https:/...

    work page doi:10.1038/s42005-024-01698-3 2024

  14. [14]

    Nature626(7999), 505–511 (2024) https://doi.org/10.1038/s41586-023-06934-4

    Iqbal, M., Tantivasadakarn, N., Verresen, R., Campbell, S.L., Dreiling, J.M., Figgatt, C., Gaebler, J.P., Johansen, J., Mills, M., Moses, S.A., Pino, J.M., Ransford, A., Rowe, M., Siegfried, P., Stutz, R.P., Foss-Feig, M., Vishwanath, A., Dreyer, H.: Non-abelian topological order and anyons on a trapped-ion processor. Nature626(7999), 505–511 (2024) https...

    work page doi:10.1038/s41586-023-06934-4 2024

  15. [15]

    Nature Communications15(1), 1527 (2024) https://doi.org/10.1038/s41467-024-45584-6

    Cong, I., Maskara, N., Tran, M.C., Pichler, H., Semeghini, G., Yelin, S.F., Choi, S., Lukin, M.D.: Enhancing detection of topological order by local error correction. Nature Communications15(1), 1527 (2024) https://doi.org/10.1038/s41467-024-45584-6

    work page doi:10.1038/s41467-024-45584-6 2024

  16. [16]

    Communications in Mathematical Physics227(3), 605–622 (2002) https://doi.org/10.1007/ s002200200645

    Freedman, M.H., Larsen, M., Wang, Z.: A modular functor which is universal for quantum compu- tation. Communications in Mathematical Physics227(3), 605–622 (2002) https://doi.org/10.1007/ s002200200645

    work page 2002

  17. [17]

    Levin, M.A., Wen, X.-G.: String-net condensation: A physical mechanism for topological phases. Phys. Rev. B71, 045110 (2005) https://doi.org/10.1103/PhysRevB.71.045110

    work page doi:10.1103/physrevb.71.045110 2005

  18. [18]

    Nayak, C., Simon, S.H., Stern, A., Freedman, M., Das Sarma, S.: Non-abelian anyons and topological quantum computation. Rev. Mod. Phys.80, 1083–1159 (2008) https://doi.org/10.1103/RevModPhys. 80.1083

    work page doi:10.1103/revmodphys 2008

  19. [19]

    Journal of Physics A: Mathematical and Theoretical53(50), 505203 (2020) https://doi.org/10.1088/1751-8121/abc6c0

    Wang, L., Wang, Z.: In and around abelian anyon models. Journal of Physics A: Mathematical and Theoretical53(50), 505203 (2020) https://doi.org/10.1088/1751-8121/abc6c0

    work page doi:10.1088/1751-8121/abc6c0 2020

  20. [20]

    Bombin, H., Martin-Delgado, M.A.: Topological quantum distillation. Phys. Rev. Lett.97, 180501 (2006) https://doi.org/10.1103/PhysRevLett.97.180501

    work page doi:10.1103/physrevlett.97.180501 2006

  21. [21]

    New Journal of Physics17(8), 083026 (2015) https://doi.org/10.1088/1367-2630/17/8/083026

    Kubica, A., Yoshida, B., Pastawski, F.: Unfolding the color code. New Journal of Physics17(8), 083026 (2015) https://doi.org/10.1088/1367-2630/17/8/083026

    work page doi:10.1088/1367-2630/17/8/083026 2015

  22. [22]

    Yoshida, B.: Topological color code and symmetry-protected topological phases. Phys. Rev. B91, 245131 (2015) https://doi.org/10.1103/PhysRevB.91.245131

    work page doi:10.1103/physrevb.91.245131 2015

  23. [23]

    Quantum2, 101 (2018) https: //doi.org/10.22331/q-2018-10-19-101 41

    Kesselring, M.S., Pastawski, F., Eisert, J., Brown, B.J.: The boundaries and twist defects of the color code and their applications to topological quantum computation. Quantum2, 101 (2018) https: //doi.org/10.22331/q-2018-10-19-101 41

    work page doi:10.22331/q-2018-10-19-101 2018

  24. [24]

    Levin, M., Gu, Z.-C.: Braiding statistics approach to symmetry-protected topological phases. Phys. Rev. B86, 115109 (2012) https://doi.org/10.1103/PhysRevB.86.115109

    work page doi:10.1103/physrevb.86.115109 2012

  25. [25]

    PRX Quantum3, 010353 (2022) https://doi.org/10.1103/ PRXQuantum.3.010353

    Ellison, T.D., Chen, Y.-A., Dua, A., Shirley, W., Tantivasadakarn, N., Williamson, D.J.: Pauli stabi- lizer models of twisted quantum doubles. PRX Quantum3, 010353 (2022) https://doi.org/10.1103/ PRXQuantum.3.010353

    work page 2022

  26. [26]

    Nature627(8005), 778–782 (2024) https://doi.org/10.1038/ s41586-024-07107-7

    Bravyi, S., Cross, A.W., Gambetta, J.M., Maslov, D., Rall, P., Yoder, T.J.: High-threshold and low- overhead fault-tolerant quantum memory. Nature627(8005), 778–782 (2024) https://doi.org/10.1038/ s41586-024-07107-7

    work page 2024

  27. [27]

    arXiv preprint arXiv:2408.10001 (2024)

    Wang, M., Mueller, F.: Coprime bivariate bicycle codes and their properties. arXiv preprint arXiv:2408.10001 (2024)

    work page arXiv 2024

  28. [28]

    Communications in Mathematical Physics129(2), 393–429 (1990) https://doi.org/10.1007/BF02096988

    Dijkgraaf, R., Witten, E.: Topological gauge theories and group cohomology. Communications in Mathematical Physics129(2), 393–429 (1990) https://doi.org/10.1007/BF02096988

    work page doi:10.1007/bf02096988 1990

  29. [29]

    Chen, X., Gu, Z.-C., Liu, Z.-X., Wen, X.-G.: Symmetry protected topological orders and the group cohomology of their symmetry group. Phys. Rev. B87, 155114 (2013) https://doi.org/10.1103/ PhysRevB.87.155114

    work page 2013

  30. [30]

    Science338(6114), 1604–1606 (2012) https://doi.org/10.1126/science.1227224

    Chen, X., Gu, Z.-C., Liu, Z.-X., Wen, X.-G.: Symmetry-protected topological orders in interacting bosonic systems. Science338(6114), 1604–1606 (2012) https://doi.org/10.1126/science.1227224

    work page doi:10.1126/science.1227224 2012

  31. [31]

    Hu, Y., Wan, Y., Wu, Y.-S.: Twisted quantum double model of topological phases in two dimensions. Phys. Rev. B87, 125114 (2013) https://doi.org/10.1103/PhysRevB.87.125114

    work page doi:10.1103/physrevb.87.125114 2013

  32. [32]

    Chen, Y.-A., Kapustin, A.: Bosonization in three spatial dimensions and a 2-form gauge theory. Phys. Rev. B100, 245127 (2019) https://doi.org/10.1103/PhysRevB.100.245127

    work page doi:10.1103/physrevb.100.245127 2019

  33. [33]

    Chen, Y.-A.: Exact bosonization in arbitrary dimensions. Phys. Rev. Res.2, 033527 (2020) https: //doi.org/10.1103/PhysRevResearch.2.033527

    work page doi:10.1103/physrevresearch.2.033527 2020

  34. [34]

    Quantum topology1(3), 209–273 (2010)

    Etingof, P., Nikshych, D., Ostrik, V.: Fusion categories and homotopy theory. Quantum topology1(3), 209–273 (2010)

    work page 2010

  35. [35]

    Nuclear Physics B845(3), 393–435 (2011) https://doi.org/10.1016/j.nuclphysb.2010.12.017

    Kapustin, A., Saulina, N.: Topological boundary conditions in abelian chern–simons theory. Nuclear Physics B845(3), 393–435 (2011) https://doi.org/10.1016/j.nuclphysb.2010.12.017

    work page doi:10.1016/j.nuclphysb.2010.12.017 2011

  36. [36]

    Communications in Mathematical Physics306(3), 663–694 (2011) https://doi.org/10

    Beigi, S., Shor, P.W., Whalen, D.: The quantum double model with boundary: Condensations and symmetries. Communications in Mathematical Physics306(3), 663–694 (2011) https://doi.org/10. 1007/s00220-011-1294-x

    work page 2011

  37. [37]

    Communications in Mathe- matical Physics313(2), 351–373 (2012)

    Kitaev, A., Kong, L.: Models for gapped boundaries and domain walls. Communications in Mathe- matical Physics313(2), 351–373 (2012)

    work page 2012

  38. [38]

    Nuclear Physics B886, 436–482 (2014) https: //doi.org/10.1016/j.nuclphysb.2014.07.003

    Kong, L.: Anyon condensation and tensor categories. Nuclear Physics B886, 436–482 (2014) https: //doi.org/10.1016/j.nuclphysb.2014.07.003

    work page doi:10.1016/j.nuclphysb.2014.07.003 2014

  39. [39]

    Lan, T., Wen, X., Kong, L., Wen, X.-G.: Gapped domain walls between 2+1d topologically ordered states. Phys. Rev. Res.2, 023331 (2020) https://doi.org/10.1103/PhysRevResearch.2.023331

    work page doi:10.1103/physrevresearch.2.023331 2020

  40. [40]

    Journal of High Energy Physics2022(3), 26 (2022) https://doi.org/10.1007/JHEP03(2022)026

    Hu, Y., Huang, Z., Hung, L.-Y., Wan, Y.: Anyon condensation: coherent states, symmetry enriched topological phases, goldstone theorem, and dynamical rearrangement of symmetry. Journal of High Energy Physics2022(3), 26 (2022) https://doi.org/10.1007/JHEP03(2022)026

    work page doi:10.1007/jhep03(2022)026 2022

  41. [41]

    SciPost Phys.13, 067 (2022) https://doi.org/10.21468/ SciPostPhys.13.3.067

    Kaidi, J., Komargodski, Z., Ohmori, K., Seifnashri, S., Shao, S.-H.: Higher central charges and topolog- ical boundaries in 2+1-dimensional TQFTs. SciPost Phys.13, 067 (2022) https://doi.org/10.21468/ SciPostPhys.13.3.067

    work page 2022

  42. [42]

    Journal of High Energy Physics2022(7), 88 (2022) https://doi.org/10

    Wang, H., Hu, Y., Wan, Y.: Extend the levin-wen model to two-dimensional topological orders with gapped boundary junctions. Journal of High Energy Physics2022(7), 88 (2022) https://doi.org/10. 1007/JHEP07(2022)088 42

    work page 2022

  43. [43]

    arXiv preprint arXiv:2403.07813 (2024)

    Kong, L., Zhang, Z.-H., Zhao, J., Zheng, H.: Higher condensation theory. arXiv preprint arXiv:2403.07813 (2024)

    work page arXiv 2024

  44. [44]

    arXiv preprint arXiv:2312.04617 (2023)

    Schuster, T., Tantivasadakarn, N., Vishwanath, A., Yao, N.Y.: A holographic view of topological stabilizer codes. arXiv preprint arXiv:2312.04617 (2023)

    work page arXiv 2023

  45. [45]

    Nuclear Physics B 922, 62–76 (2017) https://doi.org/10.1016/j.nuclphysb.2017.06.023

    Kong, L., Wen, X.-G., Zheng, H.: Boundary-bulk relation in topological orders. Nuclear Physics B 922, 62–76 (2017) https://doi.org/10.1016/j.nuclphysb.2017.06.023

    work page doi:10.1016/j.nuclphysb.2017.06.023 2017

  46. [46]

    Ji, W., Wen, X.-G.: Categorical symmetry and noninvertible anomaly in symmetry-breaking and topo- logical phase transitions. Phys. Rev. Res.2, 033417 (2020) https://doi.org/10.1103/PhysRevResearch. 2.033417

    work page doi:10.1103/physrevresearch 2020

  47. [47]

    SciPost Phys.14, 065 (2023) https: //doi.org/10.21468/SciPostPhys.14.4.065

    Barkeshli, M., Chen, Y.-A., Huang, S.-J., Kobayashi, R., Tantivasadakarn, N., Zhu, G.: Codimension- 2 defects and higher symmetries in (3+1)D topological phases. SciPost Phys.14, 065 (2023) https: //doi.org/10.21468/SciPostPhys.14.4.065

    work page doi:10.21468/scipostphys.14.4.065 2023

  48. [48]

    Communications in Mathematical Physics401(3), 3043–3107 (2023) https://doi.org/10.1007/ s00220-023-04706-9

    Roumpedakis, K., Seifnashri, S., Shao, S.-H.: Higher gauging and non-invertible condensation defects. Communications in Mathematical Physics401(3), 3043–3107 (2023) https://doi.org/10.1007/ s00220-023-04706-9

    work page 2023

  49. [51]

    Barkeshli, M., Jian, C.-M., Qi, X.-L.: Theory of defects in abelian topological states. Phys. Rev. B 88, 235103 (2013) https://doi.org/10.1103/PhysRevB.88.235103

    work page doi:10.1103/physrevb.88.235103 2013

  50. [52]

    Emergent quan- tum state designs from individual many- body wave functions

    Zhu, G., Jochym-O’Connor, T., Dua, A.: Topological order, quantum codes, and quantum computa- tion on fractal geometries. PRX Quantum3, 030338 (2022) https://doi.org/10.1103/PRXQuantum. 3.030338

    work page doi:10.1103/prxquantum 2022

  51. [53]

    SciPost Phys.15, 028 (2023) https://doi.org/10.21468/SciPostPhys.15.1.028

    Kobayashi, R.: Fermionic defects of topological phases and logical gates. SciPost Phys.15, 028 (2023) https://doi.org/10.21468/SciPostPhys.15.1.028

    work page doi:10.21468/scipostphys.15.1.028 2023

  52. [54]

    SciPost Phys.16, 089 (2024) https://doi.org/10.21468/SciPostPhys.16.4.089

    Barkeshli, M., Chen, Y.-A., Hsin, P.-S., Kobayashi, R.: Higher-group symmetry in finite gauge theory and stabilizer codes. SciPost Phys.16, 089 (2024) https://doi.org/10.21468/SciPostPhys.16.4.089

    work page doi:10.21468/scipostphys.16.4.089 2024

  53. [55]

    SciPost Phys.16, 122 (2024) https: //doi.org/10.21468/SciPostPhys.16.5.122

    Barkeshli, M., Hsin, P.-S., Kobayashi, R.: Higher-group symmetry of (3+1)D fermionicZ 2 gauge theory: Logical CCZ, CS, and T gates from higher symmetry. SciPost Phys.16, 122 (2024) https: //doi.org/10.21468/SciPostPhys.16.5.122

    work page doi:10.21468/scipostphys.16.5.122 2024

  54. [56]

    PRX Quantum5, 020360 (2024) https://doi.org/10.1103/PRXQuantum.5

    Kobayashi, R., Zhu, G.: Cross-cap defects and fault-tolerant logical gates in the surface code and the honeycomb floquet code. PRX Quantum5, 020360 (2024) https://doi.org/10.1103/PRXQuantum.5. 020360

    work page doi:10.1103/prxquantum.5 2024

  55. [57]

    Cong, I., Cheng, M., Wang, Z.: Universal quantum computation with gapped boundaries. Phys. Rev. Lett.119, 170504 (2017) https://doi.org/10.1103/PhysRevLett.119.170504

    work page doi:10.1103/physrevlett.119.170504 2017

  56. [58]

    arXiv preprint arXiv:2504.08887 (2025)

    Liang, Z., Eberhardt, J.N., Chen, Y.-A.: Planar quantum low-density parity-check codes with open boundaries. arXiv preprint arXiv:2504.08887 (2025)

    work page arXiv 2025

  57. [59]

    Tour de gross: A modular quantum computer based on bivariate bicycle codes

    Yoder, T.J., Schoute, E., Rall, P., Pritchett, E., Gambetta, J.M., Cross, A.W., Carroll, M., Beverland, M.E.: Tour de gross: A modular quantum computer based on bivariate bicycle codes. arXiv preprint arXiv:2506.03094 (2025)

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  58. [60]

    Bravyi, M

    Bravyi, S., Hastings, M.B., Michalakis, S.: Topological quantum order: Stability under local pertur- bations. Journal of Mathematical Physics51(9), 093512 (2010) https://doi.org/10.1063/1.3490195 43

    work page doi:10.1063/1.3490195 2010

  59. [61]

    Communications in mathematical physics307, 609–627 (2011) https://doi.org/10.1007/ s00220-011-1346-2

    Bravyi, S., Hastings, M.B.: A short proof of stability of topological order under local pertur- bations. Communications in mathematical physics307, 609–627 (2011) https://doi.org/10.1007/ s00220-011-1346-2

    work page 2011

  60. [62]

    Communications in Mathematical Physics324(2), 351–399 (2013) https://doi.org/10.1007/s00220-013-1810-2

    Haah, J.: Commuting pauli hamiltonians as maps between free modules. Communications in Mathematical Physics324(2), 351–399 (2013) https://doi.org/10.1007/s00220-013-1810-2

    work page doi:10.1007/s00220-013-1810-2 2013

  61. [63]

    Revista colombiana de matematicas50(2), 299–349 (2016)

    Haah, J.: Algebraic methods for quantum codes on lattices. Revista colombiana de matematicas50(2), 299–349 (2016)

    work page 2016

  62. [64]

    Journal of Mathematical Physics62(1), 012201 (2021) https: //doi.org/10.1063/5.0021068

    Haah, J.: Classification of translation invariant topological Pauli stabilizer codes for prime dimensional qudits on two-dimensional lattices. Journal of Mathematical Physics62(1), 012201 (2021) https: //doi.org/10.1063/5.0021068

    work page doi:10.1063/5.0021068 2021

  63. [65]

    Rowell, E.C.: From Quantum Groups to Unitary Modular Tensor Categories (2006)

    work page 2006

  64. [66]

    Communications in Mathematical Physics292(2), 343–389 (2009) https://doi.org/10.1007/s00220-009-0908-z

    Rowell, E., Stong, R., Wang, Z.: On classification of modular tensor categories. Communications in Mathematical Physics292(2), 343–389 (2009) https://doi.org/10.1007/s00220-009-0908-z

    work page doi:10.1007/s00220-009-0908-z 2009

  65. [67]

    American Mathematical Soc

    Wang, Z.: Topological quantum computation. American Mathematical Soc. (112) (2010)

    work page 2010

  66. [68]

    Barkeshli, M., Bonderson, P., Cheng, M., Wang, Z.: Symmetry fractionalization, defects, and gaug- ing of topological phases. Phys. Rev. B100, 115147 (2019) https://doi.org/10.1103/PhysRevB.100. 115147

    work page doi:10.1103/physrevb.100 2019

  67. [69]

    Barkeshli, M., Chen, Y.-A., Hsin, P.-S., Manjunath, N.: Classification of (2 + 1)d invertible fermionic topological phases with symmetry. Phys. Rev. B105, 235143 (2022) https://doi.org/10.1103/ PhysRevB.105.235143

    work page 2022

  68. [70]

    Transformation Groups (2023) https://doi.org/10.1007/s00031-022-09787-9

    Plavnik, J., Schopieray, A., Yu, Z., Zhang, Q.: Modular tensor categories, subcategories, and galois orbits. Transformation Groups (2023) https://doi.org/10.1007/s00031-022-09787-9

    work page doi:10.1007/s00031-022-09787-9 2023

  69. [71]

    Communications in Mathematical Physics23(3), 199–230 (1971) https://doi.org/10.1007/BF01877742

    Doplicher, S., Haag, R., Roberts, J.E.: Local observables and particle statistics i. Communications in Mathematical Physics23(3), 199–230 (1971) https://doi.org/10.1007/BF01877742

    work page doi:10.1007/bf01877742 1971

  70. [72]

    Communications in Mathematical Physics35(1), 49–85 (1974) https://doi.org/10.1007/BF01646454

    Doplicher, S., Haag, R., Roberts, J.E.: Local observables and particle statistics ii. Communications in Mathematical Physics35(1), 49–85 (1974) https://doi.org/10.1007/BF01646454

    work page doi:10.1007/bf01646454 1974

  71. [73]

    Communications in Mathematical Physics373(1), 219–264 (2020) https://doi.org/10.1007/ s00220-019-03630-1

    Cha, M., Naaijkens, P., Nachtergaele, B.: On the stability of charges in infinite quantum spin sys- tems. Communications in Mathematical Physics373(1), 219–264 (2020) https://doi.org/10.1007/ s00220-019-03630-1

    work page 2020

  72. [74]

    Communications in Mathematical Physics405(5), 126 (2024) https://doi.org/10.1007/s00220-024-04991-y

    Ruba, B., Yang, B.: Homological invariants of pauli stabilizer codes. Communications in Mathematical Physics405(5), 126 (2024) https://doi.org/10.1007/s00220-024-04991-y

    work page doi:10.1007/s00220-024-04991-y 2024

  73. [75]

    Chamon, C.: Quantum glassiness in strongly correlated clean systems: An example of topological overprotection. Phys. Rev. Lett.94, 040402 (2005) https://doi.org/10.1103/PhysRevLett.94.040402

    work page doi:10.1103/physrevlett.94.040402 2005

  74. [76]

    Physical Review A83(4) (2011) https://doi.org/10.1103/physreva.83.042330

    Haah, J.: Local stabilizer codes in three dimensions without string logical operators. Physical Review A83(4) (2011) https://doi.org/10.1103/physreva.83.042330

    work page doi:10.1103/physreva.83.042330 2011

  75. [77]

    Vijay, S., Haah, J., Fu, L.: Fracton topological order, generalized lattice gauge theory, and duality. Phys. Rev. B94, 235157 (2016) https://doi.org/10.1103/PhysRevB.94.235157

    work page doi:10.1103/physrevb.94.235157 2016

  76. [78]

    Shirley, W., Slagle, K., Wang, Z., Chen, X.: Fracton models on general three-dimensional manifolds. Phys. Rev. X8, 031051 (2018) https://doi.org/10.1103/PhysRevX.8.031051

    work page doi:10.1103/physrevx.8.031051 2018

  77. [79]

    Pretko, X

    Pretko, M., Chen, X., You, Y.: Fracton phases of matter. International Journal of Modern Physics A 35(06), 2030003 (2020) https://doi.org/10.1142/s0217751x20300033

    work page doi:10.1142/s0217751x20300033 2020

  78. [80]

    Tantivasadakarn, N., Ji, W., Vijay, S.: Hybrid fracton phases: Parent orders for liquid and nonliquid quantum phases. Phys. Rev. B103, 245136 (2021) https://doi.org/10.1103/PhysRevB.103.245136

    work page doi:10.1103/physrevb.103.245136 2021

  79. [81]

    Tantivasadakarn, N., Ji, W., Vijay, S.: Non-abelian hybrid fracton orders. Phys. Rev. B104, 115117 44 (2021) https://doi.org/10.1103/PhysRevB.104.115117

    work page doi:10.1103/physrevb.104.115117 2021

  80. [82]

    Song, H., Sch¨ onmeier-Kromer, J., Liu, K., Viyuela, O., Pollet, L., Martin-Delgado, M.A.: Optimal thresholds for fracton codes and random spin models with subsystem symmetry. Phys. Rev. Lett.129, 230502 (2022) https://doi.org/10.1103/PhysRevLett.129.230502

    work page doi:10.1103/physrevlett.129.230502 2022

Showing first 80 references.