Pauli topological subsystem codes from Abelian anyon theories

Abstract

We construct Pauli topological subsystem codes characterized by arbitrary two-dimensional Abelian anyon theories--this includes anyon theories with degenerate braiding relations and those without a gapped boundary to the vacuum. Our work both extends the classification of two-dimensional Pauli topological subsystem codes to systems of composite-dimensional qudits and establishes that the classification is at least as rich as that of Abelian anyon theories. We exemplify the construction with topological subsystem codes defined on four-dimensional qudits based on the ${\mathbb{Z}}_4^{(1)}$ anyon theory with degenerate braiding relations and the chiral semion theory--both of which cannot be captured by topological stabilizer codes. The construction proceeds by "gauging out" certain anyon types of a topological stabilizer code. This amounts to defining a gauge group generated by the stabilizer group of the topological stabilizer code and a set of anyonic string operators for the anyon types that are gauged out. The resulting topological subsystem code is characterized by an anyon theory containing a proper subset of the anyons of the topological stabilizer code. We thereby show that every Abelian anyon theory is a subtheory of a stack of toric codes and a certain family of twisted quantum doubles that generalize the double semion anyon theory. We further prove a number of general statements about the logical operators of translation invariant topological subsystem codes and define their associated anyon theories in terms of higher-form symmetries.

67 + 35 pages, single column format, v2 published version

References in corpus (25)

• Surface codes: Towards practical large-scale quantum computation
• Topological Order with a Twist: Ising Anyons from an Abelian Model
• A no-go theorem for a two-dimensional self-correcting quantum memory based on stabilizer codes
• Higher Gauging and Non-invertible Condensation Defects
• Topological boundary conditions in abelian Chern-Simons theory
• Comments on One-Form Global Symmetries and Their Gauging in 3d and 4d
• Twisted Quantum Double Model of Topological Phases in Two--Dimension
• Fault-tolerant conversion between the Steane and Reed-Muller quantum codes
• Dynamically Generated Logical Qubits
• Exact Topological Quantum Order in D=3 and Beyond: Branyons and Brane-Net Condensates
• Fault-tolerant logical gates in quantum error-correcting codes
• Topological invariants for gauge theories and symmetry-protected topological phases
• Floquet codes without parent subsystem codes
• Pauli stabilizer models of twisted quantum doubles
• Topology, criticality, and dynamically generated qubits in a stochastic measurement-only Kitaev model
• Boundaries for the Honeycomb Code
• Adiabatic paths of Hamiltonians, symmetries of topological order, and automorphism codes
• Performance of planar Floquet codes with Majorana-based qubits
• Benchmarking the Planar Honeycomb Code
• Generalized Kitaev Models and Slave Genons
• Three-dimensional quantum cellular automata from chiral semion surface topological order and beyond
• From Symmetries to Commutant Algebras in Standard Hamiltonians
• Exactly Solvable Lattice Hamiltonians and Gravitational Anomalies
• Gravitational anomaly of 3+1 dimensional Z_2 toric code with fermionic charges and fermionic loop self-statistics
• Disentangling modular Walker-Wang models via fermionic invertible boundaries

Cited by in corpus (26)

• Intrinsic Mixed-state Topological Order
• A Noisy Approach to Intrinsically Mixed-State Topological Order
• Towards a classification of mixed-state topological orders in two dimensions
• Quantum computation from dynamic automorphism codes
• Engineering 3D Floquet codes by rewinding
• Topological error correcting processes from fixed-point path integrals
• Symmetries and anomalies of Kitaev spin-$S$ models: Identifying symmetry-enforced exotic quantum matter
• Multipole groups and fracton phenomena on arbitrary crystalline lattices
• Lifting topological codes: Three-dimensional subsystem codes from two-dimensional anyon models
• Extracting topological orders of generalized Pauli stabilizer codes in two dimensions
• XYZ ruby code: Making a case for a three-colored graphical calculus for quantum error correction in spacetime
• Homological invariants of Pauli stabilizer codes
• Intrinsic mixed state topological order in a stabilizer system under stochastic decoherence: Strong-to-weak spontaneous symmetry breaking from percolation point of view
• Generalizations of Kitaev's honeycomb model from braided fusion categories
• The qudit Pauli group: non-commuting pairs, non-commuting sets, and structure theorems
• Single-Shot Quantum Error Correction in Intertwined Toric Codes
• Finite-temperature quantum topological order in three dimensions
• Low-overhead non-Clifford fault-tolerant circuits for all non-chiral abelian topological phases
• Chiral spin liquid in a ${\mathbb{Z}}_3$ Kitaev model
• Subsystem CSS codes, a tighter stabilizer-to-CSS mapping, and Goursat's Lemma
• Subsystem Symmetry Fractionalization and Foliated Field Theory
• Generalized Statistics on Lattices
• Topological stabilizer models on continuous variables
• Competing automorphisms and disordered Floquet codes
• Chiral spin liquid in a generalized Kitaev honeycomb model with ${\mathbb{Z}}_4$ 1-form symmetry
• Wire Codes