We study Abelian planon-only fracton orders: a class of three-dimensional (3d) gapped quantum phases in which all fractional excitations are Abelian particles restricted to move in planes with a common normal direction. In such systems, the mathematical data encoding fusion and statistics comprises a finitely generated module over a Laurent polynomial ring \mathbb{Z}[t^±] ℤ [ t ± ] equipped with a quadratic form giving the topological spin. The principle of remote detectability requires that every planon braids nontrivially with another planon. While this is a necessary condition for physical realizability, we observe – via a simple example – that it is not sufficient. This leads us to propose the excitation-detector principle as a general feature of gapped quantum matter. For planon-only fracton orders, the principle requires that every detector – defined as a string of planons extending infinitely in the normal direction – braids nontrivially with some finite excitation. We prove this additional constraint is satisfied precisely by perfect theories of excitations – those whose quadratic form induces a perfect Hermitian form. To justify the excitation-detector principle, we consider the 2d Abelian anyon theory obtained by spatially compactifying a planon-only fracton order in a transverse direction. We prove the compactified 2d theory is modular if and only if the original 3d theory is perfect, showing that the excitation-detector principle gives a necessary condition for physical realizability that we conjecture is also sufficient. A key ingredient is a structure theorem for finitely generated torsion-free modules over \mathbb{Z}_{p^k} [t^±] ℤ p k [ t ± ] , where p p is prime and k k a natural number. Finally, as a first step towards classifying perfect theories of excitations, we prove that every theory of prime fusion order is equivalent to decoupled layers of 2d Abelian anyon theories.
We study Abelian planon-only fracton orders: a class of three-dimensional (3d) gapped quantum phases in which all fractional excitations are Abelian particles restricted to move in planes with a common normal direction. In such systems, the mathematical data encoding fusion and statistics comprises a finitely generated module over a Laurent polynomial ring \mathbb{Z}[t^±] ℤ [ t ± ] equipped with a quadratic form giving the topological spin. The principle of remote detectability requires that every planon braids nontrivially with another planon. While this is a necessary condition for physical realizability, we observe – via a simple example – that it is not sufficient. This leads us to propose the excitation-detector principle as a general feature of gapped quantum matter. For planon-only fracton orders, the principle requires that every detector – defined as a string of planons extending infinitely in the normal direction – braids nontrivially with some finite excitation. We prove this additional constraint is satisfied precisely by perfect theories of excitations – those whose quadratic form induces a perfect Hermitian form. To justify the excitation-detector principle, we consider the 2d Abelian anyon theory obtained by spatially compactifying a planon-only fracton order in a transverse direction. We prove the compactified 2d theory is modular if and only if the original 3d theory is perfect, showing that the excitation-detector principle gives a necessary condition for physical realizability that we conjecture is also sufficient. A key ingredient is a structure theorem for finitely generated torsion-free modules over \mathbb{Z}_{p^k} [t^±] ℤ p k [ t ± ] , where p p is prime and k k a natural number. Finally, as a first step towards classifying perfect theories of excitations, we prove that every theory of prime fusion order is equivalent to decoupled layers of 2d Abelian anyon theories.
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.
There are now many examples of gapped fracton models, which are defined by the presence of restricted-mobility excitations above the quantum ground state. However, the theory of fracton orders remains in its early stages, and the complex landscape of examples is far from being mapped out. Here we introduce the class of planon-modular (p-modular) fracton orders, a relatively simple yet still rich class of quantum orders that encompasses several well-known examples of type I fracton order. The defining property is that any non-trivial point-like excitation can be detected by braiding with planons. From this definition, we uncover a significant amount of general structure, including the assignment of a natural number (dubbed the weight) to each excitation of a p-modular fracton order. We identify simple new phase invariants, some of which are based on weight, which can easily be used to compare and distinguish different fracton orders. We also study entanglement renormalization group (RG) flows of p-modular fracton orders, establishing a close connection with foliated RG. We illustrate our general results with an analysis of several exactly solvable fracton models that we show to realize p-modular fracton orders, including Z_n versions of the X-cube, anisotropic, checkerboard, 4-planar X-cube and four color cube (FCC) models. We show that each of these models is p-modular and compute its phase invariants. We also show that each example admits a foliated RG at the level of its non-trivial excitations, which is a new result for the 4-planar X-cube and FCC models. We show that the Z_2 FCC model is not a stack of other better-studied models, but predict that the Z_n FCC model with n odd is a stack of 10 4-planar X-cubes, possibly plus decoupled layers of 2d toric code. We also show that the Z_n checkerboard model for n odd is a stack of three anisotropic models.
We introduce a class of gapped three-dimensional models, dubbed "cage-net fracton models," which host immobile fracton excitations in addition to non-Abelian particles with restricted mobility.Starting from layers of two-dimensional string-net models, whose spectrum includes non-Abelian anyons, we condense extended one-dimensional "flux strings" built out of pointlike excitations.Flux-string condensation generalizes the concept of anyon condensation familiar from conventional topological order and allows us to establish properties of the fracton-ordered (equivalently, flux-string-condensed) phase, such as its groundstate wave function and spectrum of excitations.Through the examples of doubled-Ising and SUð2Þ k cagenet models, we demonstrate the existence of strictly immobile Abelian fractons and of non-Abelian particles restricted to move only along one dimension.In the doubled-Ising cage-net model, we show that these restricted-mobility non-Abelian excitations are a fundamentally three-dimensional phenomenon, as they cannot be understood as bound states among two-dimensional non-Abelian anyons and Abelian particles.We further show that the ground-state wave function of such phases can be understood as a fluctuating network of extended objects-cages-and strings, which we dub a cage-net condensate.Besides having implications for topological quantum computation in three dimensions, our work may also point the way towards more general insights into quantum phases of matter with fracton order.
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.
We introduce lattice gauge theories which describe three-dimensional, gapped quantum phases exhibiting the phenomenology of both conventional three-dimensional topological orders and fracton orders, starting from a finite group G, a choice of an Abelian normal subgroup N, and a choice of foliation structure. These hybrid fracton orders, examples of which were introduced in a previous paper [Tantivasadakarn et al., Phys. Rev. B 103, 245136 (2021)], can also host immobile, pointlike excitations that are non-Abelian, and therefore give rise to a protected degeneracy. We construct solvable lattice models for these orders which interpolate between a conventional, three-dimensional G gauge theory and a pure fracton order, by varying the choice of normal subgroup N. We demonstrate that certain universal data of the topological excitations and their mobilities are directly related to the choice of G and N, and also present complementary perspectives on these orders: certain orders may be obtained by gauging a global symmetry which enriches a particular fracton order, by either fractionalizing on or permuting the excitations with restricted mobility, while certain hybrid orders can be obtained by condensing excitations in a stack of initially decoupled, two-dimensional topological orders.
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.