In the study of three-dimensional gapped models, two-dimensional gapped states should be considered as a free resource. This is the basic idea underlying the notion of foliated fracton order'' proposed in Shirley et al. [Phys. Rev. X 8, 031051 (2018)]. We have found that many of the known type-I fracton models, although they appear very different, have the same foliated fracton order, known as X-cube'' order. In this paper, we identify three-dimensional fracton models with different kinds of foliated fracton order. Whereas the X-cube order corresponds to the gauge theory of a simple paramagnet with subsystem planar symmetry, the different orders correspond to twisted versions of the gauge theory for which the system prior to gauging has nontrivial order protected by the planar subsystem symmetry. We present constructions of the twisted models and demonstrate that they possess nontrivial order by studying their fractional excitation contents.
Based on several previous examples, we summarize explicitly the general procedure to gauge models with subsystem symmetries, which are symmetries with generators that have support within a sub-manifold of the system. The gauging process can be applied to any local quantum model on a lattice that is invariant under the subsystem symmetry. We focus primarily on simple 3D paramagnetic states with planar symmetries. For these systems, the gauged theory may exhibit foliated fracton order and we find that the species of symmetry charges in the paramagnet directly determine the resulting foliated fracton order. Moreover, we find that gauging linear subsystem symmetries in 2D or 3D models results in a self-duality similar to gauging global symmetries in 1D.
We investigate the properties of foliated gauge fields and construct several foliated field theories in 3+1d that describe foliated fracton orders both with and without matter, including the recent hybrid fracton models. These field theories describe Abelian or non-Abelian gauge theories coupled to foliated gauge fields, and they fall into two classes of models that we call the electric models and the magnetic models. We show that these two classes of foliated field theories enjoy a duality. We also construct a model (using foliated gauge fields and an exactly solvable lattice Hamiltonian model) for a subsystem-symmetry protected topological (SSPT) phase, which is analogous to a one-form symmetry protected topological phase, with the subsystem symmetry acting on codimension-two subregions. We construct the corresponding gauged SSPT phase as a foliated two-form gauge theory. Some instances of the gauged SSPT phase are a variant of the X-cube model with the same ground state degeneracy and the same fusion, but different particle statistics.
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.
Abstract This work investigates the gapped interfaces of 3+1d fracton phases of matter using foliated gauge theories and lattice models. We analyze the gapped boundaries and gapped interfaces in X cube model, and the gapped interfaces between the X-cube model and the toric code. The gapped interfaces are either “undecorated” or “decorated”, where the “decorated” interfaces have additional Chern-Simons like actions for foliated gauge fields. We discover many new gapped boundaries and interfaces, such as (1) a gapped boundary for X-cube model where the electric lineons orthogonal to the interface become the magnetic lineons, the latter are the composite of magnetic planons; (2) a Kramers-Wannier-duality type gapped interface between the X-cube model and the toric code model from gauging planar subsystem one-form symmetry; and (3) an electromagnetic duality interface in the X-cube model that exchanges the electric and magnetic lineons.
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 consider fermionic systems in which fermion parity is conserved within rigid subsystems, and describe an explicit procedure for gauging such subsystem fermion parity symmetries to obtain bosonic spin Hamiltonians. We show that gauging planar or fractal subsystem fermion parity symmetry in three spatial dimensions gives rise to a plethora of exactly solvable spin models exhibiting novel gapped fractonic orders characterized by emergent fermionic gauge theory. The low energy excitations of these models include fractional quasiparticles with constrained mobility and emergent fermionic statistics. We illustrate this phenomenon through a series of examples including fermionic analogs of both foliated fracton phases and fractal spin liquids. We find that the foliated analogs actually exhibit the same fractonic order as their bosonic counterparts, while this is not generally the case for fermionic fractal spin liquids.