## Towards non-invertible anomalies from generalized Ising models

Shang Liu, Wenjie Ji

SciPost Phys. 15, 150 (2023) · published 10 October 2023

- doi: 10.21468/SciPostPhys.15.4.150
- Submissions/Reports

### Abstract

We present a general approach to the bulk-boundary correspondence of noninvertible topological phases, including both topological and fracton orders. This is achieved by a novel bulk construction protocol where solvable $(d+1)$-dimensional bulk models with noninvertible topology are constructed from the so-called generalized Ising (GI) models in $d$ dimensions. The GI models can then terminate on the boundaries of the bulk models. The construction generates abundant examples, including not only prototype ones such as $\mathbb{Z}_2$ toric code models in any dimensions no less than two, and the X-cube fracton model, but also more diverse ones such as the $\mathbb{Z}_2× \mathbb{Z}_2$ topological order, the 4d $\mathbb{Z}_2$ topological order with pure-loop excitations, etc. The boundary of the solvable model is potentially anomalous and corresponds to precisely only sectors of the GI model that host certain total symmetry charges and/or satisfy certain boundary conditions. We derive a concrete condition for such bulk-boundary correspondence. The condition is violated only when the bulk model is either trivial or fracton ordered. A generalized notion of Kramers-Wannier duality plays an important role in the construction. Also, utilizing the duality, we find an example where a single anomalous theory can be realized on the boundaries of two distinct bulk fracton models, a phenomenon not expected in the case of topological orders. More generally, topological orders may also be generated starting with lattice models beyond the GI models, such as those with symmetry protected topological orders, through a variant bulk construction, which we provide in an appendix.

### Cited by 6

### Authors / Affiliations: mappings to Contributors and Organizations

See all Organizations.^{1}University of California, Santa Barbara [UCSB]^{2}Kavli Institute for Theoretical Physics [KITP]