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.

A two dimensional analog of the three gap theorem

The three gap theorem and the space of lattices

Unbounded Regions of High-Order Voronoi Diagrams of Lines and Line Segments in Higher Dimensions

Algorithms for Computing Topological Invariants in 2D and 3D Digital Spaces

A variational principle in the parametric geometry of numbers

An analog of the Furstenberg-Katznelson-Weiss theorem on triangles in sets of positive density in finite field geometries

Voronoi diagrams of algebraic varieties under polyhedral norms

An $(\aleph_0,k+2)$-Theorem for $k$-Transversals

A version of Hilbert's 16th Problem for 3D polynomial vector fields: Counting isolated invariant tori

Nonisomorphic two‐dimensional algebraically defined graphs over R

No-dimensional Tverberg Theorems and Algorithms

Two-dimensional Anomaly, Orbifolding, and Boundary States

Ramanujan vector field

Geometric and arithmetic aspects of approximation vectors

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

From the Conformal Anomaly to the Virasoro Algebra

Voronoi topology in two dimensions: theory, algorithms, and applications

Divergent geodesics, ambiguous closed geodesics and the binary additive divisor problem

Some remarks on off-diagonal Ramsey numbers for vector spaces over $\mathbb{F}_{2}$

A lozenge triangulation of the plane with integers