Haag duality is a strong notion of locality for two-dimensional lattice quantum spin systems, requiring that the commutant of the algebra of observables supported in a cone-like region coincides with the algebra of observables in its complement. Originally introduced within algebraic quantum field theory, Haag duality has recently become pivotal in the operator-algebraic analysis of quantum many-body systems. In particular, it plays a key role in the description of anyonic excitations, which are widely believed to classify two-dimensional non-chiral gapped quantum phases of matter. Prior to this work, Haag duality had only been rigorously established for Kitaev's quantum double models with abelian input groups. In this paper, we establish that two-dimensional tensor network states based on biconnected C^*-weak Hopf algebras satisfy Haag duality. These states include as particular cases Kitaev quantum double and Levin-Wen string-net models, and we expect them to encompass representatives of all non-chiral phases. Our proof relies on deriving an operator-algebraic sufficient condition for Haag duality in finite systems, which we verify using tensor-network methods. As part of our analysis, we extend the tensor-network bulk-boundary correspondence, construct explicit commuting parent Hamiltonians for these models, and prove that in the biconnected case they satisfy the local topological quantum order condition.
Ogata et al. (Sun,) studied this question.