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.
Abstract A realistic material may possess defects, which often bring the material new properties that have practical applications. The boundary defects of a two-dimensional topologically ordered system are thought of as an alternative way of realizing topological quantum computation. To facilitate the study of such boundary defects, in this paper, we construct an exactly solvable Hamiltonian model of topological orders with gapped boundary junctions, where the boundary defects reside, by placing the Levin-Wen model on a disk, whose gapped boundary is separated into multiple segments by junctions. We derive a formula of the ground state degeneracy and an explicit ground-state basis of our model. We propose the notion of mobile and immobile charges on the boundary and find that they are quantum observables and label the ground-state basis. Our model is computation friendly.
Defects between gapped boundaries provide a possible physical realization of projective non-Abelian braid statistics. A notable example is the projective Majorana/parafermion braid statistics of boundary defects in fractional quantum Hall/topological insulator and superconductor heterostructures. In this paper, we develop general theories to analyze the topological properties and projective braiding of boundary defects of topological phases of matter in two spatial dimensions. We present commuting Hamiltonians to realize defects between gapped boundaries in any (2+1)D untwisted Dijkgraaf-Witten theory, and use these to describe their topological properties such as their quantum dimension. By modeling the algebraic structure of boundary defects through multifusion categories, we establish a bulk-edge correspondence between certain boundary defects and symmetry defects in the bulk. Even though it is not clear how to physically braid the defects, this correspondence elucidates the projective braid statistics for many classes of boundary defects, both amongst themselves and with bulk anyons. Specifically, three such classes of importance to condensed matter physics/topological quantum computation are studied in detail: (1) a boundary defect version of Majorana and parafermion zero modes, (2) a similar version of genons in bilayer theories, and (3) boundary defects in D(S3).