Topologically ordered quantum spin systems have become an area of great interest, as they may provide a fault-tolerant means of quantum computation. One of the simplest examples of such a spin system is Kitaev’s toric code. Naaijkens made mathematically rigorous the treatment of toric code on an infinite planar lattice (the thermodynamic limit), using an operator algebraic approach via algebraic quantum field theory. We adapt his methods to study the case of toric code with gapped boundary. In particular, we recover the condensation results described in Kitaev and Kong and show that the boundary theory is a module tensor category over the bulk, as expected.
Topologically ordered quantum spin systems have become an area of great interest, as they may provide a fault-tolerant means of quantum computation. One of the simplest examples of such a spin system is Kitaev’s toric code. Naaijkens made mathematically rigorous the treatment of toric code on an infinite planar lattice (the thermodynamic limit), using an operator algebraic approach via algebraic quantum field theory. We adapt his methods to study the case of toric code with gapped boundary. In particular, we recover the condensation results described in Kitaev and Kong and show that the boundary theory is a module tensor category over the bulk, as expected.
Abstract We introduce a set of axioms for locally topologically ordered quantum spin systems in terms of nets of local ground state projections, and we show they are satisfied by Kitaev’s Toric Code and Levin-Wen type models. For a locally topologically ordered spin system on Zk , we define a local net of boundary algebras on Zk−1 , which provides a mathematically precise algebraic description of the holographic dual of the bulk topological order. We construct a canonical quantum channel so that states on the boundary quasi-local algebra parameterize bulk-boundary states without reference to a boundary Hamiltonian. As a corollary, we obtain a new proof of a recent result of Ogata [Oga24] that the bulk cone von Neumann algebra in the Toric Code is of type II , and we show that Levin-Wen models can have cone algebras of type III . Finally, we argue that the braided tensor category of DHR bimodules for the net of boundary algebras characterizes the bulk topological order in (2+1)D, and can also be used to characterize the topological order of boundary states.
The recent article by Jones et al. [arXiv:2307.12552 (2023)] gave local topological order (LTO) axioms for a quantum spin system, showed they held in Kitaev’s Toric Code and in Levin-Wen string net models, and gave a bulk boundary correspondence to describe bulk excitations in terms of the boundary net of algebras. In this article, we prove the LTO axioms for Kitaev’s Quantum Double model for a finite group G. We identify the boundary nets of algebras with fusion categorical nets associated to (Hilb(G),C[G]) or (Rep(G),CG) depending on whether the boundary cut is rough or smooth, respectively. This allows us to make connections to the work of Ogata [Ann. Henri Poincaré 25, 2353–2387 (2024)] on the type of the cone von Neumann algebras in the algebraic quantum field theory approach to topological superselection sectors. We show that the boundary algebras can also be calculated from a trivial G-symmetry protected topological phase (G-SPT), and that the gauging map preserves the boundary algebras. Finally, we compute the boundary algebras for the (3 + 1)D Quantum Double model associated to an Abelian group.
The recent article [arXiv:2307.12552] gave local topological order (LTO) axioms for a quantum spin system, showed they held in Kitaev's Toric Code and in Levin-Wen string net models, and gave a bulk boundary correspondence to describe bulk excitations in terms of the boundary net of algebras. In this article, we prove the LTO axioms for Kitaev's Quantum Double model for a finite group G. We identify the boundary nets of algebras with fusion categorical nets associated to (Hilb(G),C[G]) or (Rep(G),CG) depending on whether the boundary cut is rough or smooth respectively. This allows us to make connections to work of Ogata on the type of the cone von Neumann algebras in the algebraic quantum field theory approach to topological superselection sectors. We show that the boundary algebras can also be calculated from a trivial G-symmetry protected topological phase (G-SPT), and that the gauging map preserves the boundary algebras. Finally, we compute the boundary algebras for the (3+1)D Quantum Double model associated to an abelian group.
The macroscopic theory of anyon condensation, rooted in the categorical structure of topological excitations, provides a complete classification of gapped boundaries in topologically ordered systems, where distinct boundaries correspond to the condensation of different Lagrangian algebras. However, an intrinsic and direct understanding of anyon condensation in lattice models, grounded in the framework of Lagrangian algebras, remains undeveloped. In this paper, we propose a systematic framework for constructing all gapped boundaries of Kitaev's quantum double models directly from the data of Lagrangian algebras. Central to our approach is the observation that bulk interactions in the quantum double models admit two complementary interpretations: the anyon-creating picture and the anyon-probing picture. Generalizing this insight to the boundary, we derive the consistency condition for boundary ribbon operators that respect the mathematical axiomatic structure of Lagrangian algebras. Solving these conditions yields explicit expressions for the local boundary interactions required to realize gapped boundaries. We also provide three families of solutions that cover a broad range of cases. Our construction provides a microscopic characterization of the bulk-to-boundary anyon condensation dynamics via the action of ribbon operators. Moreover, all these boundary terms are supported within a common effective Hilbert space, making further studies on pure boundary phase transitions natural and convenient. Given the broad applicability of anyon condensation theory, we believe that our approach can be generalized to planar topological codes, extended string-net models, or higher-dimensional topologically ordered systems.
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 Zd 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 Z2 toric code, 3 boundaries and 22 defects in the Z4 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.
This paper studies fault-tolerant quantum computation with gapped boundaries. We first introduce gapped boundaries of Kitaev's quantum double models for Dijkgraaf-Witten theories using their Hamiltonian realizations. We classify the elementary excitations on the boundary, and systematically describe the bulk-to-boundary condensation procedure. We also provide a commuting Hamiltonian to realize defects between boundaries in any quantum double model. Next, we present the algebraic/categorical structure of gapped boundaries and boundary defects, which will be used to describe topologically protected operations and obtain quantum gates. To demonstrate a potential physical realization, we provide quantum circuits for surface codes that can perform all basic operations on gapped boundaries. Finally, we show how gapped boundaries of the abelian theory D(Z3) can be used to perform universal quantum computation.