Criteria for protected edge modes with ${\mathbb{Z}}_2$ symmetry

Abstract

We derive a necessary and sufficient criterion for when a two dimensional gapped many-body system with Abelian anyons and a unitary ${\mathbb{Z}}_2$ symmetry has a protected gapless edge mode. Our criterion is phrased in terms of edge theories --- or more specifically, chiral boson edge theories with ${\mathbb{Z}}_2$ symmetry --- and it applies to any bosonic or fermionic system whose boundary can be described by such an edge theory. At an operational level, our criterion takes as input a chiral boson edge theory with ${\mathbb{Z}}_2$ symmetry, and then produces as output a prediction as to whether this edge theory can be gapped without breaking the symmetry. Like previous work, much of our derivation involves constructing explicit perturbations that gap chiral boson edge theories. Interestingly, however, we find that the standard class of gapping perturbations --- namely cosine terms constructed from null-vectors --- is not sufficient to gap some edge theories with ${\mathbb{Z}}_2$ symmetry, and thus we are forced to go beyond the usual null-vector analysis to establish our results.

References in corpus (3)

• Topological boundary conditions in abelian Chern-Simons theory
• Anyon condensation and its applications
• Theory of Twist Liquids: Gauging an Anyonic Symmetry

Cited by in corpus (8)

• Fractonic Higher-Order Topological Phases in Open Quantum Systems
• Classification and construction of interacting fractonic higher-order topological phases
• Symmetry-preserving boundary of (2+1)D fractional quantum Hall states
• Edge theories of 2D fermionic symmetry protected topological phases protected by unitary Abelian symmetries
• Holographic View of Mixed-State Symmetry-Protected Topological Phases in Open Quantum Systems
• Interacting Edge States of Fermionic Symmetry-Protected Topological Phases in Two Dimensions
• Boundary conditions and anomalies of conformal field theories in 1+1 dimensions
• Fermionic fractional quantum Hall states: A modern approach to systems with bulk-edge correspondence