Hopf-Frobenius Algebras and a Simpler Drinfeld Double

  title={Hopf-Frobenius Algebras and a Simpler Drinfeld Double},
  author={Joseph Collins and Ross Duncan},
  journal={Electronic Proceedings in Theoretical Computer Science},
The ZX-calculus and related theories are based on so-called interacting Frobenius algebras, where a pair of $†$-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… 

Figures from this paper

Braided Frobenius algebras from certain Hopf algebras

A braided Frobenius algebra is a Frobenius algebra with a Yang–Baxter operator that commutes with the operations, that are related to diagrams of compact surfaces with boundary expressed as ribbon

Quantum and braided ZX calculus

  • S. Majid
  • Mathematics
    Journal of Physics A: Mathematical and Theoretical
  • 2022
We apply quantum group methods to quantum computing, starting with the notion of interacting Frobenius Hopf algebras for ZX calculus with noncommutative algebra and noncocommutative coalgebra. We

Quantum invariants of framed links from ternary self-distributive cohomology

The ribbon cocycle invariant is defined by means of a partition function using ternary cohomology of self-distributive structures (TSD) and colorings of ribbon diagrams of a framed link, following

A Recipe for Quantum Graphical Languages

It is shown that Z*-algebras up to isomorphism in two dimensional Hilbert spaces and linear relations are all variations of the aforementioned calculi, and that the calculus of [2] is essentially the unique one.

Kitaev’s Stabilizer Code and Chain Complex Theory of Bicommutative Hopf Algebras

  • Minkyu Kim
  • Materials Science, Mathematics
    Communications in Mathematical Physics
  • 2021
In this paper, we give a generalization of Kitaev’s stabilizer code based on chain complex theory of bicommutative Hopf algebras. Due to the bicommutativity, the Kitaev’s stabilizer code extends to a

ZX-calculus for the working quantum computer scientist

This review discusses Clifford computation and graphically prove the Gottesman-Knill theorem, a recently introduced extension of the ZX-calculus that allows for convenient reasoning about Toffoli gates, and the recent completeness theorems that show that, in principle, all reasoning about quantum computation can be done using Zx-diagrams.

When Only Topology Matters.

This paper defines three precise aspects of the OTM paradigm, namely flexsymmetry, flexcyclicity and flexibility of Frobenius algebras, and investigates how this new framework can simplify the presentation of known graphical languages based on Frobenii algebraes.

Quantum double aspects of surface code models

We revisit the Kitaev model for fault tolerant quantum computing on a square lattice with underlying quantum double D( G) symmetry, where G is a finite group. We provide projection operators for its

Quantum Double Aspects of Surface Code Models QUANTUM DOUBLE ASPECTS OF SURFACE CODE MODELS

We revisit the Kitaev model for fault tolerant quantum computing on a square lattice with underlying quantum double D(G) symmetry, where G is a finite group. We provide projection operators for its



When Hopf algebras are Frobenius algebras

Interacting Frobenius Algebras are Hopf

  • R. DuncanKevin Dunne
  • Mathematics
    2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
  • 2016
Theories featuring the interaction between a Frobenius algebra and a Hopf algebra are shown to form Hopf algebras, and the system of Bonchi et al as a subtheory in the prime power dimensional case is recovered.

Kitaev Lattice Models as a Hopf Algebra Gauge Theory

We prove that Kitaev’s lattice model for a finite-dimensional semisimple Hopf algebra H is equivalent to the combinatorial quantisation of Chern–Simons theory for the Drinfeld double D(H). This shows

Frobenius Algebras and 2-D Topological Quantum Field Theories

This 2003 book describes a striking connection between topology and algebra, namely that 2D topological quantum field theories are equivalent to commutative Frobenius algebras. The precise

Quantum doubles in monoidal categories

Let H be a Hopf algebra in a rigid symmetric monoidal category C then the evaluation map τis a convolution-invertible skew pairing. In the previous paper, we constructed a Hopf algebra D(H)=H ⋈ r H

Integrals for braided Hopf algebras

Quantum field theory meets Hopf algebra

This paper provides a primer in quantum field theory (QFT) based on Hopf algebra and describes new Hopf algebraic constructions inspired by QFT concepts. The following QFT concepts are introduced:

Infinite-dimensional Categorical Quantum Mechanics

Non-standard analysis is used to define a category suitable for categorical quantum mechanics in arbitrary separable Hilbert spaces, and it is shown that standard bounded operators can be suitably embedded in it.

Interacting Hopf Algebras