Abstract:In this paper, we present a computational algorithm for constructing all boundaries and defects of topological generalized Pauli stabilizer codes in two spatial dimensions. Utilizing the operator algebra formalism, we establish a one-to-one correspondence between the topological data-such as anyon types, fusion rules, topological spins, and braiding statistics-of (2+1)D bulk stabilizer codes and (1+1)D 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 $Z_d$ qudits, including both prime and nonprime $d$, thus enabling the exploration of topological quantum codes beyond toric codes. We have applied the algorithm and explicitly demonstrated the lattice constructions of 2 boundaries and 6 defects in the $Z_2$ toric code, 3 boundaries and 22 defects in the $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. In addition, we investigate the boundaries of two specific bivariate bicycle codes within a family of low-density parity-check (LDPC) codes. We demonstrate that their topological orders are equivalent to 8 and 10 copies of $Z_2$ toric codes, with anyons restricted to move by 12 and 1023 lattice sites in the square lattice, respectively.

Defects in the 3-Dimensional Toric Code Model Form a Braided Fusion 2-Category

Fusion 3-Categories for Duality Defects

Condensation Completion and Defects in 2+1D Topological Orders

Fusion of Low-Entanglement Excitations in 2D Toric Code

Ground state degeneracy on torus in a family of ZN toric code

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

Gaining insights on anyon condensation and 1-form symmetry breaking across a topological phase transition in a deformed toric code model

2-Drinfel'd double symmetry of the 4d Kitaev model

The Center of Monoidal Bicategories in 3+1D Dijkgraaf-Witten Theory

The center of monoidal 2-categories in 3+1D Dijkgraaf-Witten theory

On a class of fusion 2-category symmetry: condensation completion of braided fusion category

Multipartite Entanglement of the Topologically Ordered State in a Perturbed Toric Code

Superselection sectors in the 3d Toric Code

Unveiling UV/IR Mixing via Symmetry Defects: A View from Topological Entanglement Entropy

Modified toric code models with flux attachment from Hopf algebra gauge theory

Top Down Approach to Topological Duality Defects

Topological defects in K3 sigma models

An algebraic quantum field theoretic approach to toric code with gapped boundary

A stabilizer code model with non-invertible symmetries: Strange fractons, confinement, and non-commutative and non-Abelian fusion rules