We discuss several bosonic topological phases in (3+1) dimensions enriched by a global $\mathbb{Z}_2$ symmetry, and gauging the $\mathbb{Z}_2$ symmetry. More specifically, following the spirit of the bulk-boundary correspondence, expected to hold in topological phases of matter in general, we consider boundary (surface) field theories and their orbifold. From the surface partition functions, we extract the modular $\mathcal{S}$ and $\mathcal{T}$ matrices and compare them with $(2+1)$d toplogical phase after dimensional reduction. As a specific example, we discuss topologically ordered phases in $(3+1)$ dimensions described by the BF topological quantum field theories, with abelian exchange statistics between point-like and loop-like quasiparticles. Once the $\mathbb{Z}_2$ charge conjugation symmetry is gauged, the $\mathbb{Z}_2$ flux becomes non-abelian excitation. The gauged topological phases we are considering here belong to the quantum double model with non-abelian group in $(3+1)$ dimensions.
To study gapped phases of $4$d gauge theories, we introduce the temporal gauging of $\mathbb{Z}_N$ $1$-form symmetry in $4$d quantum field theories (QFTs), thereby defining effective $3$d QFTs with $\widetilde{\mathbb{Z}}_N\times \mathbb{Z}_N$ $1$-form symmetry. In this way, spatial fundamental Wilson and 't Hooft loops are simultaneously genuine line operators. Assuming a mass gap and Lorentz invariant vacuum of the $4$d QFT, the $\widetilde{\mathbb{Z}}_N\times \mathbb{Z}_N$ symmetry must be spontaneously broken to an order-$N$ subgroup $H$, and we can classify the $4$d gapped phases by speci…
We study the gauging of a global U(1) symmetry in a gapped system in (2+1)d. The gauging procedure has been well-understood for a finite global symmetry group, which leads to a new gapped phase with emergent gauge structure and can be described algebraically using the mathematical framework of modular tensor category (MTC). We develop a categorical description of U(1) gauging in an MTC, taking into account the dynamics of U(1) gauge field absent in the finite group case. When the ungauged system has a non-zero Hall conductance, the gauged theory remains gapped and we determine the complete set…
There and Back Again: A Gauging Nexus between Topological and Fracton Phases
University of Chicago（芝加哥大学）；Princeton University（普林斯顿大学）；Okinawa Institute of Science and Technology Graduate University（冲绳科学技术大学院大学）；Bard College（巴德学院）；Institute for Advanced Study（高等研究院）；Stony Brook University（石溪大学）；California Institute of Technology（加州理工学院）；The University of Sydney（悉尼大学）
The objective of the present work -- a literature review on both gapped and gapless fractonic theories -- is to pedagogically fill in the gaps between the research on fractons, and an undergraduate physics education (particularly quantum and statistical mechanics). Some familiarity with classical field theory is assumed. We will begin this work by reviewing the gauging of the Ising model to obtain the toric code. Then, following the chronological order of fracton research, we will establish the gauged spin model picture of gapped fracton theories. Next (after introducing lattice gauge theory) …
Boundary theories of static bulk topological phases of matter are obstructed in the sense that they cannot be realized on their own as isolated systems. The obstruction can be quantified/characterized by quantum anomalies, in particular when there is a global symmetry. Similarly, topological Floquet evolutions can realize obstructed unitary operators at their boundaries. In this paper, we discuss the characterization of such obstructions by using quantum anomalies. As a particular example, we discuss time-reversal symmetric boundary unitary operators in one and two spatial dimensions, where th…
We gauge the fermion parity symmetry of the Kitaev chain. While the bulk of the model becomes an Ising chain of gauge-invariant spins in a tilted field, near the boundaries the global fermion parity symmetry survives gauging, leading to local gauge-invariant Majorana operators. In the absence of vortices, the Higgs phase exhibits fermionic symmetry-protected topological (SPT) order distinct from the Kitaev chain. Moreover, the deconfined phase can be stable even in the presence of vortices. We also undertake a comprehensive study of a gently gauged model which interpolates between the ordinary…
Gauging in superconductors and other electronic systems
Karlstad University（卡尔斯特德大学）；Nordita, KTH Royal Institute of Technology and Stockholm University（诺迪塔，皇家理工学院和斯德哥尔摩大学）；INFN, Sezione di Firenze（意大利国家核物理研究所佛罗伦萨分部）
Gauging Modulated Symmetries via Multiple Gauge Symmetry Operators and Adaptive Quantum Circuits
Sungkyunkwan University（成均馆大学）；Institute of Basic Science, Sungkyunkwan University（成均馆大学基础科学研究院）；University of Illinois at Urbana-Champaign（伊利诺伊大学厄巴纳-香槟分校）
We discuss the procedure for gauging on-site $\mathbb{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 $\mathbb{Z}_2$ layer exchange symmetry, that of the latter is generated by the Hadamard gate. For each of these mo…
We examine the interplay of symmetry and topological order in $2+1$ dimensional topological phases of matter. We present a definition of the \it topological symmetry \rm group, which characterizes the symmetry of the emergent topological quantum numbers of a topological phase, and we describe its relation with the microscopic symmetry of the underlying physical system. We derive a general framework to characterize and classify symmetry fractionalization in topological phases, including phases that are non-Abelian and symmetries that permute the quasiparticle types and/or are anti-unitary. We d…
We study Galois actions on $2+1$D topological quantum field theories (TQFTs), characterizing their interplay with theory factorization, gauging, the structure of gapped boundaries and dualities, 0-form symmetries, 1-form symmetries, and 2-groups. In order to gain a better physical understanding of Galois actions, we prove sufficient conditions for the preservation of unitarity. We then map out the Galois orbits of various classes of unitary TQFTs. The simplest such orbits are trivial (e.g., as in various theories of physical interest like the Toric Code, Double Semion, and 3-Fermion Model), an…
It is well-known that gauging a finite 0-form symmetry in a quantum field theory leads to a dual symmetry generated by topological Wilson line defects. These are described by the representations of the 0-form symmetry group which form a 1-category. We argue that for a d-dimensional quantum field theory the full set of dual symmetries one obtains is in fact much larger and is described by a (d-1)-category, which is formed out of lower-dimensional topological quantum field theories with the same 0-form symmetry. We study in detail a 2-categorical piece of this (d-1)-category described by 2d topo…
Non-Abelian qLDPC: TQFT Formalism, Addressable Gauging Measurement and Application to Magic State Fountain on 2D Product Codes
IBM Quantum, IBM T.J. Watson Research Center（IBM量子，IBM托马斯·J·沃森研究中心）；School of Natural Sciences, Institute for Advanced Study（自然科学院，高等研究院）；Department of Mathematics, King’s College London（数学系，伦敦国王学院）
In this paper, we explore the interplay between symmetry and fracton order, motivated by the analogous close relationship for topologically ordered systems. Specifically, we consider models with 3D planar subsystem symmetry, and show that these can realize subsystem symmetry protected topological phases with gapless boundary modes. Gauging the planar subsystem symmetry leads to a fracton order in which particles restricted to move along lines exhibit a new type of statistical interaction that is specific to the lattice geometry. We show that both the gapless boundary modes of the ungauged theo…
Gauging or extending bulk and boundary conformal field theories: Application to bulk and domain wall problem in topological matter and their descriptions by (mock) modular covariant
Fracton phases are recent entrants to the roster of topological phases in three dimensions. They are characterized by subextensively divergent topological degeneracy and excitations that are constrained to move along lower dimensional subspaces, including the eponymous fractons that are immobile in isolation. We develop correlation function diagnostics to characterize Type I fracton phases which build on their exhibiting {\it partial deconfinement}. These are inspired by similar diagnostics from standard gauge theories and utilize a generalized gauging procedure that links fracton phases to cl…
The study of gapped quantum many-body systems in three spatial dimensions has uncovered the existence of quantum states hosting quasiparticles that are confined, not by energetics but by the structure of local operators, to move along lower dimensional submanifolds. These so-called "fracton" phases are beyond the usual topological quantum field theory description, and thus require new theoretical frameworks to describe them. Here we consider coupling fracton models to topological quantum field theories in (3+1) dimensions by starting with two copies of a known fracton model and gauging the $\m…
We present an effective field theory approach to the Fracton phases. The approach is based the notion of a multipole algebra. It is an extension of space(-time) symmetries of a charge-conserving matter that includes global symmetries responsible for the conservation of various components of the multipole moments of the charge density. We explain how to construct field theories invariant under the action of the algebra. These field theories generally break rotational invariance and exhibit anisotropic scaling. We further explain how to partially gauge the multipole algebra. Such gauging makes t…
