Hopf Algebras in Kitaev's Quantum Double Models: Mathematical Connections from Gauge Theory to Topological Quantum Computing and Categorical Quantum Mechanics
I will explain a general strategy to lift (2+1)D topological phases, in particular string nets, to (3+1)D models with line defects. This allows a systematic construction of (3+1)D topological theories with defects, including an improved version of the Walker-Wang Model. It has also an interesting application to quantum gravity as it leads to quantum geometry realizations for which all geometric operators have discrete and bounded spectra. I will furthermore comment on some interesting (self-) duality relations that emerge in these constructions.
Ground state degeneracy is an important characteristic of topological order. It is a natural question under what conditions such topological degeneracy extends to higher energy states or even to the full energy spectrum of a model, in such a way that the degeneracy is preserved when the Hamiltonian of the system is perturbed. It appears that Ising/Majorana wires have this property due to the presence of robust edge zero modes.
It is well known that commutative Frobenius algebras can be represented as topological surfaces, using the graphical calculus of dualizable objects in monoidal 2-categories. We build on related ideas to show that the interacting Frobenius algebras of Duncan and Dunne, which have a Hopf algebra structure, arise naturally in a similar way, by requiring a single 3-morphism in a 3-category to be invertible. We show that this gives a purely geometrical proof of Mueger's version of Tannakian reconstruction of Hopf algebras from fusion categories equipped with a fibre functor.
The Turaev-Viro invariant for a closed 3-manifold is defined as the contraction of a certain tensor network. The tensors correspond to tetrahedra in a triangulation of the manifold, with values determined by a fixed spherical category. For a manifold with boundary, the tensor network has free indices that can be associated to qudits, and its contraction gives the coefficients of a quantum error-correcting code. The code has local stabilizers determined by Levin and Wen.
The quantum double models are parametrized by a finite-dimensional semisimple Hopf algebra (over $\mathbb{C}$). I will introduce the graphical calculus of these Hopf algebras and sketch how it is equivalent to the calculus of two interacting symmetric Frobenius algebras. Since symmetric Frobenius algebras are extended 2D TQFTs, this suggests that there is a canonical way to 'lift' a compatible pair of 2D TQFTs to a 3D TQFT.
We present a general scheme for constructing topological lattice models in any space dimension using tensor networks. Our approach relies on finding "simplex tensors" that satisfy a finite set of tensor equations. Given any such tensor, we construct a discrete topological quantum field theory (TQFT) and local commuting projector Hamiltonians on any lattice. The ground space degeneracy of these models is a topological invariant that can be computed via the TQFT, and the ground states are locally indistinguishable when the ground space is nondegenerate on the sphere.
The interaction of Hopf monoids and Frobenius monoids is the productive nucleus of the ZX calculus, where famously each Frobenius monoid-comonoid pair corresponds to a complementary basis and the Hopf structure describes the interaction between the bases. The theory of Interacting Hopf monoids (IH), introduced by Bonchi, Sobocinski and Zanasi, features essentially the same Hopf-Frobenius interaction pattern.
Categorical quantum mechanics is a research programme which aims to axiomatise (finite dimensional) quantum theory as an algebraic theory inside an abstract symmetric monoidal category. The central idea is that quantum observables can be
axiomatised as certain Frobenius algebras, and that two observables are (strongly) complementary when their Frobenius algebras jointly form a Hopf algebra. The resulting theory is surprisingly powerful, especially when combined with its graphical notation. In this talk
Kitaev originally constructed his quantum double model based on finite groups and anticipated the extension based on Hopf algebras, which was achieved later by Buerschaper, etc. In this talk, we will present the work on the generalization of Kitaev model for quantum groupoids and discuss its ground states.
I will describe a framework for the study of symmetry-enriched topological order using graded matrix product operator algebras. The approach is based upon an explicit construction of the extrinsic symmetry defects, which facilitates the extraction of their physical properties. This allows for a simple analysis of dual phase transitions, induced by gauging a global symmetry, and condensation of a bosonic subtheory.