aiqbench analysis
This paper investigates algebraic locality principles within lattice gauge theories featuring non-invertible symmetries, specifically analyzing how Haag duality holds for "cuspless" regions versus requiring a collar modification in cusped geometries. The study extends these findings to double models and string-net constructions using Hopf algebras, offering rigorous mathematical insights into the constraints imposed by generalized Gauss laws on quantum systems.
Algebraic locality and non-invertible Gauss laws
arXiv:2605.21591v2 Announce Type: replace-cross Abstract: We study algebraic locality principles on a 2+1D closed lattice in the presence of a Gauss law for a non-invertible symmetry. Prior work in arXiv:2509.03589 showed that when enforcing the Gauss law of an invertible symmetry, the principle of "Haag duality" is preserved exactly, and "disjoint additivity" is preserved after appropriate treatment of discreteness artifacts. Here we show that for a large class of non-invertible on-site symmetries, Haag duality is preserved exactly only for sufficiently nice, "cuspless" regions. For cusped regions, we instead have a weak form of Haag duality that requires adding a collar. Our results apply to double models with a purely magnetic constraint, and to the more general framework of constraints induced by the on-site action of a Hopf algebra. In particular, we treat a class of extended string-net models explicitly. We also demonstrate disjoint additivity for double models based on a group, and a weakened form of disjoint additivity in the setting of a general Hopf algebra.
Abstract:We study algebraic locality principles on a 2+1D closed lattice in the presence of a Gauss law for a non-invertible symmetry. Prior work in arXiv:2509.03589 showed that when enforcing the Gauss law of an invertible symmetry, the principle of "Haag duality" is preserved exactly, and "disjoint additivity" is preserved after appropriate treatment of discreteness artifacts. Here we show that for a large class of non-invertible on-site symmetries, Haag duality is preserved exactly only for sufficiently nice, "cuspless" regions. For cusped regions, we instead have a weak form of Haag duality that requires adding a collar. Our results apply to double models with a purely magnetic constraint, and to the more general framework of constraints induced by the on-site action of a Hopf algebra. In particular, we treat a class of extended string-net models explicitly. We also demonstrate disjoint additivity for double models based on a group, and a weakened form of disjoint additivity in the setting of a general Hopf algebra.
High Energy Physics - Theory (hep-th); Strongly Correlated Electrons (cond-mat.str-el); Operator Algebras (math.OA); Quantum Physics (quant-ph)
arXiv:2605.21591 [hep-th]
(or arXiv:2605.21591v2 [hep-th] for this version)
https://doi.org/10.48550/arXiv.2605.21591 Focus to learn more arXiv-issued DOI via DataCite
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
Full text under the publisher's open licence · 266 words
Related coverage
Divisibility of Non-Invertible Quantum Dynamics in the Heisenberg Picture
arXiv · Oct 7, 2026
Quantum cellular automata and invertible phases of matter
arXiv · Aug 28, 2026

Symmetry-enriched topological order in tensor networks: Defects, gauging and anyon condensation
Quantum Journal · Sep 1, 2026
Non-Invertible Symmetries Mixing with Witt Non-Trivial Quantum Cellular Automata
arXiv · Jul 27, 2026