On the structure of categorical duality operators

We systematically study categorical duality operators on spin (and anyon) chains with respect to an internal fusion category symmetry C. We parameterize duality operators on the quasi-local algebra in terms of data dependent on the associated quantum cellular automata (QCA) on the symmetric subalgebra $B$. In particular, a QCA $α$ on $B$ defines an invertible C-C bimodule category $M_α$, and the duality operators extending $α$ form a simplex, with extreme points in bijective correspondence with the simple object of $M_α$. Then we consider the structure of external symmetries generated by a family of duality operators, and show that if the UV models are all defined on tensor product Hilbert spaces, these categories necessarily flow to weakly integral fusion categories in the IR.

💡 Research Summary

This paper presents a systematic, operator-algebraic study of categorical duality operators in one-dimensional quantum spin (or anyon) chains with an internal fusion category symmetry C. The primary aim is to mathematically characterize these non-local, locality-preserving operators, which generalize the well-known Kramers-Wannier duality and can exchange distinct symmetric gapped phases.

The authors establish their framework in the infinite-volume limit, working with the quasi-local C*-algebra A of all local operators. Non-local operators, including duality operators, are formally defined as completely positive (CP) maps on A. A key concept is the identification of the symmetric subalgebra B within A, which consists of operators invariant under the action of the fusion category C. This B is interpreted as the physical boundary algebra in a microscopic SymTFT (Symmetry Topological Field Theory) picture.

The first major result (Theorem 1.1) provides a complete parameterization of duality operators. It states that any duality operator restricts to a quantum cellular automaton (QCA) α on the symmetric subalgebra B. This QCA α, in turn, defines an invertible C-C bimodule category M_α. The set of all (unital) duality operators that restrict to the same α on B forms a simplex, whose extreme points are in bijective correspondence with the simple objects of the bimodule category M_α. This reduces the classification of duality operators (up to symmetric finite-depth circuits) to the classification of QCA on B.

The paper then investigates the structure of “external symmetries” generated by a family of such duality operators, contrasting them with the initial “internal symmetry” C. The authors show that the fusion rules associated with these external symmetry operators in the ultraviolet (UV) are described by a quotient of a universal tensor category, denoted C#F_n, which is an F_n-graded extension of C (Theorem 1.2).

The most significant physical consequence is derived in Corollary 1.3. It proves that if the UV lattice model is defined on a tensor product Hilbert space (like ⊗_ℤ M_d(ℂ)) with an internal fusion category symmetry C, then any fusion category symmetry X that emerges in the infrared (IR) from an RG flow of such duality operators must be “weakly integral.” This means that the squared quantum dimensions of all its simple objects are integers. This result resolves a conjecture in the field, explaining why certain non-integral fusion categories (like the Ising category with quantum dimension √2) cannot appear as internal UV symmetries on a tensor product space but can emerge in the IR through duality mechanisms like Kramers-Wannier.

The paper is structured with a detailed introduction, a formal setup for non-local operators and the SymTFT picture, a motivating example of generalized Kramers-Wannier duality, and a general analysis leading to the main theorems. The arguments heavily utilize the theory of C*-correspondences, DHR bimodules, and the classification of QCA. This work deepens the understanding of categorical dualities and provides a rigorous link between UV lattice operators and IR emergent fusion category symmetries.