Generalized Kramers-Wannier Self-Duality in Hopf-Ising Models

The Kramers-Wannier transformation of the 1+1d transverse-field Ising model exchanges the paramagnetic and ferromagnetic phases and, at criticality, manifests as a non-invertible symmetry. Extending such self-duality symmetries beyond gauging of abelian groups in tensor-product Hilbert spaces has, however, remained challenging. In this work, we construct a generalized 1+1d Ising model based on a finite-dimensional semisimple Hopf algebra $H$ that enjoys an anomaly-free non-invertible symmetry $\mathrm{Rep}(H)$. We provide an intuitive diagrammatic formulation of both the Hamiltonian and the symmetry operators using a non-(co)commutative generalization of ZX-calculus built from Hopf-algebraic data. When $H$ is self-dual, we further construct a generalized Kramers-Wannier duality operator that exchanges the paramagnetic and ferromagnetic phases and becomes a non-invertible symmetry at the self-dual point. This enlarged symmetry mixes with lattice translation and, in the infrared, flows to a weakly integral fusion category given by a $\mathbb{Z}_2$ extension of $\mathrm{Rep}(H)$. Specializing to the Kac-Paljutkin algebra $H_8$, the smallest self-dual Hopf algebra beyond abelian group algebras, we numerically study the phase diagram and identify four of the six $\mathrm{Rep}(H_8)$-symmetric gapped phases, separated by Ising critical lines and meeting at a multicritical point. We also realize all six $\mathrm{Rep}(H_8)$-symmetric gapped phases on the lattice via the $H$-comodule algebra formalism, in agreement with the module-category classification of $\mathrm{Rep}(H_8)$. Our results provide a unified Hopf-algebraic framework for non-invertible symmetries, dualities, and the tensor product lattice models that realize them.

💡 Research Summary

The paper presents a comprehensive framework for constructing and analyzing 1+1‑dimensional lattice models that generalize the classic transverse‑field Ising chain by replacing the underlying Z₂ group structure with a finite‑dimensional semisimple Hopf algebra H. The authors begin by reviewing the algebraic data of a Hopf C*‑algebra H, its dual H*, and the additional Frobenius structure needed for a diagrammatic calculus. They then introduce a non‑(co)commutative extension of the ZX‑calculus, in which multiplication, comultiplication, unit, counit, and antipode are represented by colored spiders and wires. This graphical language allows all subsequent derivations to be performed by local diagram rewrites rather than explicit tensor contractions, greatly simplifying the manipulation of Hopf‑valued operators.

Using this calculus, the authors define “Hopf Pauli operators” acting on a tensor‑product Hilbert space whose local degrees of freedom are copies of the Hopf algebra (so‑called Hopf qudits). These operators generate matrix‑product‑operator (MPO) representations of two non‑invertible symmetries: Rep(H) and Rep(H*). The former is realized by MPOs that copy the Hopf algebra via its comultiplication, while the latter uses the dual algebra’s structure. Both symmetries are anomaly‑free in the sense that they admit a fiber functor to vector spaces, guaranteeing that they can be gauged.

The central technical achievement is the construction of a generalized Kramers‑Wannier (KW) duality defect when H is self‑dual (i.e., H ≅ H* as Hopf algebras). The authors first gauge the Rep(H*) symmetry using a lattice gauging map that introduces gauge degrees of freedom on the links and enforces a flatness constraint. They then apply a Hopf Hadamard gate—a Fourier‑type transform that exchanges H and H*—to obtain a non‑invertible defect line D_KW. This defect intertwines the original Rep(H) symmetry with lattice translation, forming a Z₂‑graded fusion category C = C₀ ⊕ C₁ where C₀ = Rep(H) and C₁ = {D_KW}. The fusion rules are D_KW × D_KW = ⊕_{a∈Irr(H)} d_a a, reproducing the familiar Ising order‑disorder fusion when H = ℂ