In three dimensions, gapped phases can support "fractonic" quasiparticle excitations, which are either completely immobile or can only move within a low-dimensional submanifold, a peculiar topological phenomenon going beyond the conventional framework of topological quantum field theory.In this work we explore fractonic topological phases using three-dimensional coupled wire constructions, which have proven to be a successful tool to realize and characterize topological phases in two dimensions.We find that both gapped and gapless phases with fractonic excitations can emerge from the models.In the gapped case, we argue that fractonic excitations are mobile along the wire direction, but their mobility in the transverse plane is generally reduced.We show that the excitations in general have infinite-order fusion structure, distinct from previously known gapped fracton models.Like the two-dimensional coupled-wire constructions, many models exhibit gapless (or even chiral) surface states, which can be described by infinite-component Luttinger liquids.However, the universality class of the surface theory strongly depends on the surface orientation, thus revealing a different type of bulk-boundary correspondence unique to fracton phases.
We introduce hybrid fracton orders: three-dimensional gapped quantum phases that exhibit the phenomenology of both conventional three-dimensional topological orders and fracton orders. Hybrid fracton orders host both (i) mobile topological quasiparticles and loop excitations, as well as (ii) pointlike topological excitations with restricted mobility, with nontrivial fusion rules and mutual braiding statistics between the two sets of excitations. Furthermore, hybrid fracton phases can realize either conventional three-dimensional topological orders or fracton orders after undergoing a phase transition driven by the condensation of certain gapped excitations. Therefore they serve as parent orders for both long-range-entangled quantum liquid and nonliquid phases. We study the detailed properties of hybrid fracton phases through exactly solvable models in which the resulting orders hybridize a three-dimensional
Z2 topological order with (i) the X-cube fracton order or (ii) Haah's code. The hybrid orders presented here can also be understood as the deconfined phase of a gauge theory whose gauge group is given by an Abelian global symmetry
G and subsystem symmetries of a normal subgroup
N along lower-dimensional subregions.
Given a gapped boundary of a
(3+1)-dimensional [
(3+1)D] topological order (TO), one can stack on it a decoupled
(2+1)D TO to get another boundary theory. Should one view these two boundaries as ``different''? A natural choice would be no. Different classes of gapped boundaries of
(3+1)D TO should be defined modulo the decoupled
(2+1)D TOs. But is this enough? We examine the possibility of coupling the boundary of a
(3+1)D TO to additional
(2+1)D TOs or fractonic systems, which leads to even more possibilities for gapped boundaries. Typically, the bulk pointlike excitations, when touching the boundary, become excitations in the added
(2+1)D phase, while the stringlike excitations in the bulk may end on the boundary but with end points dressed by some other excitations in the
(2+1)D phase. For a good definition of ``class'' for gapped boundaries of
(3+1)D TO, we choose to quotient out the different dressings as well. We characterize a class of gapped boundaries by the stringlike excitations that can end on the boundary, whatever their end points are. A concrete example is the
(3+1)D bosonic toric code. Using group cohomology and category theory, three gapped boundaries have been found previously: rough boundary, smooth boundary, and twisted smooth boundary. We can construct many more gapped boundaries beyond these, which all naturally fall into two classes corresponding to whether the
m-string can or cannot end on the boundary. According to this classification, the previously found three boundaries are grouped as {rough}, {smooth, twisted smooth}. For a
(3+1)D TO characterized by a finite group
G, different classes correspond to different normal subgroups of
G. We illustrate the physical picture from various perspectives including coupled layer construction, Walker-Wang model, and field theory.
We develop an algebraic theory of fusion, mobility, and statistics in abelian gapped fracton orders and topological phases. The framework generalizes the algebraic description of abelian anyons to systems with restricted-mobility and spatially extended excitations. We consider translation-invariant bosonic systems whose pointlike and extended excitations have finite fusion order. The basic objects are braided fusion complexes (BFCs): chain complexes encoding fusion and mobility, equipped with a braiding chain map encoding statistics. Their equivalence classes define braided fusion theories (BFTs). Our framework encompasses arbitrary translation-invariant Pauli codes, as well as all abelian anyon theories in two spatial dimensions, including chiral theories. We give evidence for the conjecture that every nondegenerate BFT can be realized as the excitation theory of a gapped phase and that the BFT describing such a phase is a phase invariant. We derive constraints on pointlike fusion and mobility, showing, for example, that neither the Pauli X nor Z sectors of the X-cube and anisotropic models can occur alone in a nondegenerate BFT. For nondegenerate theories with only pointlike excitations, we extract a simpler theory of mutual statistics, consisting of a fusion module and a map to its statistical dual. This theory of mutual statistics is an invariant of the BFT and, at odd fusion order, gives an equivalent description of the full braided fusion theory. We interpret remote detection as the generalization of mutual statistics to fracton orders. In the BFC setting, we give a precise formulation of the excitation-detector principle: every nontrivial excitation can be detected by an operator supported at spatial infinity, and every nontrivial detector detects some excitation. Assuming a unique infinite-space ground state, we prove that this principle is equivalent to nondegeneracy.
We study novel three-dimensional gapped quantum phases of matter which support quasiparticles with restricted mobility, including immobile ``fracton'' excitations. So far, most existing fracton models may be instructively viewed as generalized Abelian lattice gauge theories. Here, by analogy with Dijkgraaf-Witten topological gauge theories, we discover a natural generalization of fracton models, obtained by twisting the gauge symmetries. Introducing generalized gauge transformation operators carrying an extra phase factor depending on local configurations, we construct a plethora of exactly solvable three-dimensional models, which we dub ``twisted fracton models.'' A key result of our approach is to demonstrate the existence of rich non-Abelian fracton phases of distinct varieties in a three-dimensional system with finite-range interactions. For an accurate characterization of these novel phases, the notion of being inextricably non-Abelian is introduced for fractons and quasiparticles with one-dimensional mobility, referring to their new behavior of displaying braiding statistics that is, and remains, non-Abelian regardless of which quasiparticles with higher mobility are added to or removed from them. We also analyze these models by embedding them on a 3-torus and computing their ground-state degeneracies, which exhibit a surprising and novel dependence on the system size in the non-Abelian fracton phases. Moreover, as an important advance in the study of fracton order, we develop a general mathematical framework which systematically captures the fusion and braiding properties of fractons and other quasiparticles with restricted mobility.
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).