Abstract We generalize the electric-magnetic (EM) duality in the quantum double (QD) models to the extended QD models of topological orders with gapped boundaries. We also map the extended QD models to the extended Levin-Wen (LW) models with gapped boundaries. To this end, we Fourier-transform and rewrite the extended QD model on a trivalent lattice with a boundary, where the bulk gauge group is a finite group G. Gapped boundary conditions of the model before the transformation are known to be characterized by the subgroups K ⊆ G supplying the boundary degrees of freedom. We find that after the transformation, the boundary conditions are then characterized by the Frobenius algebras AG,K in RepG. An AG,K is the dual space of the quotient of the group algebra of G over that of K , and RepG is the category of the representations of G. The EM duality on the boundary is revealed by mapping the K ’s to AG,K ’s. We also show that our transformed extended QD model can be mapped to an extended LW model on the same lattice via enlarging the Hilbert space of the latter. Moreover, our transformed extended QD model elucidates the phenomenon of anyon splitting in anyon condensation.
In this paper, we apply the method of Fourier transform and basis rewriting developed in [H. Wang et al., J. High Energy Phys. 02, 030 (2020)] for the two-dimensional quantum double model of topological orders to the three-dimensional gauge theory model (with a gauge group G G ) of three-dimensional topological orders. We find that the gapped boundary condition of the gauge theory model is characterized by a Frobenius algebra in the representation category Rep(G) R e p ( G ) of G G , which also describes charge splitting and condensation on the boundary. We also show that our Fourier transform maps the three-dimensional gauge theory model with input data G G to the Walker-Wang model with input data Rep(G) R e p ( G ) on a trivalent lattice with dangling edges, after truncating the Hilbert space by projecting all dangling edges to the trivial representation of G G . This Fourier transform also provides a systematic construction of the gapped boundary theory of the Walker-Wang model. This establishes a correspondence between two types of topological field theories: the extended Dijkgraaf-Witten and extended Crane-Yetter theories.
Abstract Kitaev’s quantum double model is a lattice realization of Dijkgraaf–Witten topological quantum field theory. Its topologically protected ground state space has broad applications for topological quantum computation and topological quantum memory. We investigate the Z 2 symmetry enriched generalization of the model for the Abelian group in a categorical framework and present an explicit Hamiltonian construction. This model provides a lattice realization of the Z 2 symmetry of the topological phase. We discuss in detail the categorical symmetry of the phase, for which the electric-magnetic (EM) duality symmetry is a special case. The aspects of symmetry defects are investigated using the G-crossed unitary braided fusion category. By determining the corresponding anyon condensation, the gapped boundaries and boundary-bulk duality are also investigated. In the last part, an explicit lattice realization of EM duality is discussed.
Abstract We derive a partial electric-magnetic (PEM) duality transformation of the twisted quantum double (TQD) model TQD(G, α) — discrete Dijkgraaf-Witten model — with a finite gauge group G, which has an Abelian normal subgroup N , and a three-cocycle α ∈ H3(G, U(1)). Any equivalence between two TQD models, say, TQD(G, α) and TQD(G′, α′), can be realized as a PEM duality transformation, which exchanges the N-charges and N-fluxes only. Via the PEM duality, we construct an explicit isomorphism between the corresponding TQD algebras Dα(G) and Dα′(G′) and derive the map between the anyons of one model and those of the other.
Electric-magnetic self-duality of the
Z2 gauge theory, realized microscopically as a half-lattice-translation exchanging electric charge and magnetic flux, has been an influential example of a duality symmetry with an exact lattice realization. We construct the first non-Abelian generalization of this construction: a lattice model of the
S3 quantum double
D(S3) on a tensor product Hilbert space in which the
Z2em anyon-permutation symmetry, exchanging the non-Abelian chargeon
C and fluxon
F, is realized via lattice translation. Consequently we find that the zigzag boundary termination of the model realizes, without fine-tuning, a gapless critical edge state described by the tetracritical Ising CFT. The bulk admits three independent
Z2em-preserving bosonic perturbations, driving
D(S3) into distinct gapped phases. We analyze these transitions by three independent methods: category-theoretic anyon condensation, microscopic lattice Hamiltonians, and Chern-Simons-Higgs theory, which all agree, yielding a unified picture. These examples motivate a minimal-condensation principle: proliferating a bosonic anyon generically drives condensation of a minimal condensable algebra containing it, with symmetry-related condensates appearing as degenerate vacua that spontaneously break the anyon-permutation symmetry. Our model construction extends to an infinite family of self-dual dihedral quantum doubles
D(D2n). Notably, each model is sign-problem-free, opening the door to large-scale numerical exploration of the phases of non-Abelian Chern-Simons-Higgs theories.
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.
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.