We discuss the procedure for gauging on-site Z_2 Z 2 global symmetries of three-dimensional lattice Hamiltonians that permute quasi-particles and provide general arguments demonstrating the non-Abelian character of the resultant gauged theories. We then apply this general procedure to lattice models of several well known fracton phases: two copies of the X-Cube model, two copies of Haah’s cubic code, and the checkerboard model. Where the former two models possess an on-site Z_2 Z 2 layer exchange symmetry, that of the latter is generated by the Hadamard gate. For each of these models, upon gauging, we find non-Abelian subdimensional excitations, including non-Abelian fractons, as well as non-Abelian looplike excitations and Abelian fully mobile pointlike excitations. By showing that the looplike excitations braid non-trivially with the subdimensional excitations, we thus discover a novel gapped quantum order in 3D, which we term a ‘panoptic" fracton order. This points to the existence of parent states in 3D from which both topological quantum field theories and fracton states may descend via quasi-particle condensation. The gauged cubic code model represents the first example of a gapped 3D phase supporting (inextricably) non-Abelian fractons that are created at the corners of fractal operators.
We continue the study of classical and quantum low-density parity check (LDPC) codes from a physical perspective. We focus on constructive approaches and formulate a general framework for systematically constructing codes with various features on generic Euclidean and non-Euclidean graphs. These codes can serve as fixed-point limits for phases of matter. To build our machinery, we unpack various product constructions from the coding literature in terms of physical principles such as symmetries and redundancies, introduce a new cubic product, and combine these products with the ideas of gauging and Higgsing introduced in Part I. We illustrate the usefulness of this approach in finite Euclidean dimensions by showing that using the one-dimensional Ising model as a starting point, we can systematically produce a very large zoo of classical and quantum phases of matter, including type I and type II fractons and SPT phases with generalized symmetries. We also use the balanced product to construct new Euclidean models, including one with topological order enriched by translation symmetry, and another exotic fracton model whose excitations are formed by combining those of a fractal spin liquid with those of a toric code, resulting in exotic mobility constraints. Moving beyond Euclidean models, we give a review of existing constructions of good qLDPC codes and classical locally testable codes and elaborate on the relationship between quantum code distance and classical energy barriers, discussed in Part I, from the perspective of product constructions.
Understanding quantum phases and phase transitions in the presence of symmetries is a central objective of quantum many-body physics. A powerful modern paradigm for investigating this problem is topological holography, which relates symmetries in
k dimensions to "bulk" topological orders in
(k+1) dimensions. While conceptually profound, most existing bulk construction methods rely on sophisticated mathematical formalisms and can be difficult to apply to certain symmetry types. In this work, we propose a physically intuitive and versatile method, termed the layered gauging construction, to systematically generate
(k+1)-dimensional (liquid or fracton) topological orders from
k-dimensional generalized symmetries. Roughly speaking, the prescription is to stack many layers of
k-dimensional quantum systems with certain symmetries into a
(k+1)-dimensional pile, and then sequentially gauge a diagonal symmetry acting on each nearest-neighbor pair of layers. The detailed procedure depends on the specific symmetry types. We have successfully implemented the method in a number of examples in different spatial dimensions, with symmetries that are conventional, higher-form, subsystem, anomalous, nonabelian, or noninvertible. We hence conjecture the method to be very general. For example, from the subsystem symmetry of the
2d plaquette Ising model, we derive the X-cube model and also an anisotropic fracton topological order. Additionally, starting from an anomalous
Z2 symmetry in
1d, we construct a new square lattice model realizing the double semion topological order.
Coupled layer constructions are a valuable tool for capturing the universal properties of certain interacting quantum phases of matter in terms of the simpler data that characterizes the underlying layers. In the study of fracton phases, the X-Cube model in 3+1D can be realized via such a construction by starting with a stack of 2+1D Toric Codes and turning on a coupling which condenses a composite "particle-string" object. In a recent work [Phys. Rev. B 112, 125124 (2025)], we have demonstrated that in fact, the particle-string can be viewed as a symmetry defect of a topological 1-form symmetry. In this paper, we study the result of gauging this symmetry in depth. We unveil a rich gauging web relating the X-Cube model to symmetry protected topological (SPT) phases protected by a mix of subsystem and higher-form symmetries, subsystem symmetry fractionalization in the 3+1D Toric Code, and non-trivial extensions of topological symmetries by subsystem symmetries. Our work emphasizes the importance of topological symmetries in non-topological, geometric phases of matter.
Fracton phases of matter contain quasiparticles that are constrained, not by energetics but by the structure of local operators, to move along lower dimensional submanifolds. Here, the authors present a very general scheme for producing exactly solvable, non-Abelian fracton models by gauging symmetries that permute fractons, exploring several examples in detail. One of the resulting models contains immobile, non-Abelian quasiparticles that can only be created at the corners of operators with fractal support.