Hopf-Frobenius algebras and a simpler Drinfeld double

Research output: Contribution to journalArticle

5 Downloads (Pure)

Abstract

The ZX-calculus and related theories are based on so-called interacting Frobenius algebras, where a pair of $\dag$-special commutative Frobenius algebras jointly form a pair of Hopf algebras. In this setting we introduce a generalisation of this structure, Hopf-Frobenius algebras, starting from a single Hopf algebra which is not necessarily commutative or cocommutative. We provide the necessary and sufficient condition for a Hopf algebra to be a Hopf-Frobenius algebra, and show that every Hopf algebra in FVect is a Hopf-Frobenius algebra. Hopf-Frobenius algebras provide a notion of duality, and give us a "dual" Hopf algebra that is isomorphic to the usual dual Hopf algebra in a compact closed category. We use this isomorphism to construct a Hopf algebra isomorphic to the Drinfeld double that is defined on $H \otimes H$ rather than $H \otimes H^*$.
Original languageEnglish
Number of pages26
JournalElectronic Proceedings in Theoretical Computer Science
Early online date10 Jun 2019
Publication statusE-pub ahead of print - 10 Jun 2019
Event16th International Conference on Quantum Physics and Logic 2019 - Chapman University, Orange, United States
Duration: 10 Jun 201914 Jun 2019
Conference number: 16th

Keywords

  • quantum mathematics
  • quantum computation
  • quantum software

Fingerprint Dive into the research topics of 'Hopf-Frobenius algebras and a simpler Drinfeld double'. Together they form a unique fingerprint.

Cite this