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.
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.
We construct a general gauging procedure of a pure matter theory on a lattice with a mixture of subsystem and global symmetries. This mixed symmetry can be either a semidirect product of a subsystem symmetry and a global symmetry, or a nontrivial extension of them. We demonstrate this gauging procedure on a cubic lattice in three dimensions with four examples: $G={\mathbb{Z}}_{3}^{\text{sub}}\ensuremath{\rtimes}{\mathbb{Z}}_{2}^{\text{glo}}, G=({\mathbb{Z}}_{2}^{\text{sub}}\ifmmode\times\else\texttimes\fi{}{\mathbb{Z}}_{2}^{\text{sub}})\ensuremath{\rtimes}{\mathbb{Z}}_{2}^{\text{glo}}, 1\ensuremath{\rightarrow}{\mathbb{Z}}_{2}^{\text{sub}}\ensuremath{\rightarrow}G\ensuremath{\rightarrow}{\mathbb{Z}}_{2}^{\text{glo}}\ensuremath{\rightarrow}1$, and $1\ensuremath{\rightarrow}{\mathbb{Z}}_{2}^{\text{sub}}\ensuremath{\rightarrow}G\ensuremath{\rightarrow}{K}_{4}^{\text{glo}}\ensuremath{\rightarrow}1$. The former two cases and the last one produce the non-Abelian fracton orders. Our construction provides an identification of the electric charges of these fracton orders with irreducible representations of the symmetry. Furthermore, by constraining the local Hilbert space, the magnetic fluxes with different geometry (tube-like and plaquette-like) satisfy a subalgebra of the quantum double models (QDMs). This algebraic structure leads to an identification of the magnetic fluxes to the conjugacy classes of the symmetry.
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.
Fracton phases are new types of phases of matter characterized by subsystem global symmetry, which is a generalized global symmetry whose symmetry operator is partially topological. Their continuum low-energy effective descriptions admit two different formulations: an exotic quantum field theory (QFT) using exotic tensor gauge fields, and a foliated QFT constructed from a foliation structure and foliated gauge fields. For certain fracton QFTs, these two descriptions are equivalent, which is called the foliated-exotic duality. In this dissertation, we extend the foliated-exotic duality by combining it with the anomaly inflow mechanism for 't Hooft anomalies of subsystem symmetries. This dissertation has two main results. First, we discuss the exotic and foliated
BF theories in 2+1 dimensions, which exhibit the mixed 't Hooft anomaly of
ZN×ZN subsystem symmetry. This anomaly is captured by a subsystem symmetry-protected topological (SSPT) phase for
ZN×ZN subsystem symmetry in one dimension higher. By extending the foliated-exotic duality in the fractonic
BF theory to the SSPT phase, we establish the field correspondences in the SSPT phase and construct the foliated description of the SSPT phase. Second, we discuss the exotic
ϕ-theory in 2+1 dimensions -- a fractonic gapless scalar field theory, which has the 't Hooft anomaly of
U(1)×U(1) subsystem symmetry. The anomaly is captured by an SSPT phase for
U(1)×U(1) subsystem symmetry in 3+1 dimensions via the anomaly inflow mechanism. Extending the foliated-exotic duality to the
ϕ-theory, we establish field correspondences in the
ϕ-theory and construct the foliated
ϕ-theory that is equivalent to the exotic
ϕ-theory. This provides the first example of the foliated-exotic duality in gapless theories.
We demonstrate a general gauging procedure of a pure matter theory on a lattice with a global symmetry, a subsystem symmetry, or a semidirect product of them. By applying the general gauging procedure to a semidirect product of subsystem and global symmetries, we obtain the non-Abelian fracton order. We demonstrate this gauging procedure on a cubic lattice in three dimensions with two symmetries,
(Z2sub×Z2sub)⋊Z2glo and
Z3sub⋊Z2glo. The former case reproduces the non-Abelian fracton by gauging the bilayer X-Cube code, and the latter case is a new non-Abelian fracton order. We further identify the electric charges (including the non-Abelian fractons) with the irreducible representations of the symmetry. The corresponding magnetic fluxes can be obtained from the conjugacy classes of the symmetry.