Fracton models, a collection of exotic gapped lattice Hamiltonians recently discovered in three spatial dimensions, contain some 'topological' features: they support fractional bulk excitations (dubbed fractons), and a ground state degeneracy that is robust to local perturbations. However, because previous fracton models have only been defined and analyzed on a cubic lattice with periodic boundary conditions, it is unclear to what extent a notion of topology is applicable. In this paper, we demonstrate that the X-cube model, a prototypical type-I fracton model, can be defined on general three-dimensional manifolds. Our construction revolves around the notion of a singular compact total foliation of the spatial manifold, which constructs a lattice from intersecting stacks of parallel surfaces called leaves. We find that the ground state degeneracy depends on the topology of the leaves and the pattern of leaf intersections. We further show that such a dependence can be understood from a renormalization group transformation for the X-cube model, wherein the system size can be changed by adding or removing 2D layers of topological states. Our results lead to an improved definition of fracton phase and bring to the fore the topological nature of fracton orders. arXiv:1712.05892v2 [cond-mat.str-el] 30 Dec 2018

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. Contents arXiv:1806.08679v2 [cond-mat.str-el] 15 Jan 2019 4.2.1 2D paramagnet/symmetry breaking state with linear symmetry 16 4.2.2 2D linear symmetry protected topological model 17 4.2.3 3D models with linear subsystem symmetry 18 5 Discussion 19 A 3D scalar charge tensor gauge theory by gauging the U (1) symmetry 20 B Gauging global symmetry in 1D systems 21 References 22

Fracton models exhibit a variety of exotic properties and lie beyond the conventional framework of gapped topological order. In Ref.[1], we generalized the notion of gapped phase to one of foliated fracton phase by allowing the addition of layers of gapped two-dimensional resources in the adiabatic evolution between gapped three-dimensional models. Moreover, we showed that the X-cube model is a fixed point of one such phase. In this paper, according to this definition, we look for universal properties of such phases which remain invariant throughout the entire phase. We propose multi-partite entanglement quantities, generalizing the proposal of topological entanglement entropy designed for conventional topological phases. We present arguments for the universality of these quantities and show that they attain nonzero constant value in non-trivial foliated fracton phases. arXiv:1803.10426v3 [cond-mat.str-el]

Fractional excitations in fracton models exhibit novel features not present in conventional topological phases: their mobility is constrained, there are an infinitude of types, and they bear an exotic sense of 'braiding'. Hence, they require a new framework for proper characterization. Based on our definition of foliated fracton phases in which equivalence between models includes the possibility of adding layers of gapped 2D states, we propose to characterize fractional excitations in these phases up to the addition of quasiparticles with 2D mobility. That is, two quasiparticles differing by a set of quasiparticles that move along 2D planes are considered to be equivalent; likewise, 'braiding' statistics are measured in a way that is insensitive to the attachment of 2D quasiparticles. The fractional excitation types and statistics defined in this way provide a universal characterization of the underlying foliated fracton order which can subsequently be used to establish phase relations. We demonstrate as an example the equivalence between the X-cube model and the semionic X-cube model both in terms of fractional excitations and through an exact mapping. Contents

In this work, we show that the checkerboard model exhibits the phenomenon of foliated fracton order. We introduce a renormalization group transformation for the model that utilizes toric code bilayers as an entanglement resource, and show how to extend the model to general threedimensional manifolds. Furthermore, we use universal properties distilled from the structure of fractional excitations and ground-state entanglement to characterize the foliated fracton phase and find that it is the same as two copies of the X-cube model. Indeed, we demonstrate that the checkerboard model can be transformed into two copies of the X-cube model via an adiabatic deformation.

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 classify subsystem symmetry-protected topological (SSPT) phases in 3 + 1D protected by planar subsystem symmetries, which are dual to abelian fracton topological orders. We distinguish between weak SSPTs, which can be constructed by stacking 2 + 1D SPTs, and strong SSPTs, which cannot. We identify signatures of strong phases, and show by explicit construction that such phases exist. A classification of strong phases is presented for an arbitrary finite abelian group. Finally, we show that fracton orders realizable via p-string condensation are dual to weak SSPTs, while strong SSPTs do not admit such a realization. arXiv:1910.01630v1 [cond-mat.str-el]

No abstract