Local topological order and boundary algebras
arXiv:2307.12552 · doi:10.1017/fms.2025.16
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 , we define a local net of boundary algebras on , 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 [Ann. H. Poincaré 25, 2024] that the bulk cone von Neumann algebra in the Toric Code is of type , and we show that Levin-Wen models can have cone algebras of type . 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.
44 pages, many figures. This version includes an appendix by Masaki Izumi further analyzing the type of the cone algebras
References in corpus (36)
- Fault-tolerant quantum computation by anyons
- Anyons in an exactly solved model and beyond
- String-net condensation: A physical mechanism for topological phases
- Local unitary transformation, long-range quantum entanglement, wave function renormalization, and topological order
- Models for gapped boundaries and domain walls
- Topological quantum order: stability under local perturbations
- A short proof of stability of topological order under local perturbations
- On the classification of topological orders
- Mapping Kitaev's quantum double lattice models to Levin and Wen's string-net models
- Dualities in one-dimensional quantum lattice models: symmetric Hamiltonians and matrix product operator intertwiners
- Matrix Product Density Operators: Renormalization Fixed Points and Boundary Theories
- Anyonic Chains, Topological Defects, and Conformal Field Theory
- Symmetry as a shadow of topological order and a derivation of topological holographic principle
- A statistical mechanics view on Kitaev's proposal for quantum memories
- Operator algebras in rigid C*-tensor categories
- Kitaev's quantum double model as an error correcting code
- Numerical evidence for a Haagerup conformal field theory
- A critical lattice model for a Haagerup conformal field theory
- Localized endomorphisms in Kitaev's toric code on the plane
- Representation theory for subfactors, -lattices and C*-tensor categories
- Quantum Chains of Hopf Algebras with Quantum Double Cosymmetry
- Haag duality for Kitaev's quantum double model for abelian groups
- Mapping between Morita equivalent string-net states with a constant depth quantum circuit
- A derivation of braided -tensor categories from gapped ground states satisfying the approximate Haag duality
- The complete set of infinite volume ground states for Kitaev's abelian quantum double models
- Composing topological domain walls and anyon mobility
- Tannaka-Krein duality for compact quantum homogeneous spaces. II. Classification of quantum homogeneous spaces for quantum SU(2)
- Mathematical open problems in Projected Entangled Pair States
- Locality at the boundary implies gap in the bulk for 2D PEPS
- Enriched string-net models and their excitations
- Two-dimensional topological order and operator algebras
- Ground Subspaces of Topological Phases of Matter as Error Correcting Codes
- An entropic invariant for 2D gapped quantum phases
- Anyonic Chains -- -Induction -- CFT -- Defects -- Subfactors
- -theory of AF-algebras from braided C*-tensor categories
- An algebraic quantum field theoretic approach to toric code with gapped boundary