# Hopf-Frobenius Algebras and a Simpler Drinfeld Double

@article{Collins2019HopfFrobeniusAA, title={Hopf-Frobenius Algebras and a Simpler Drinfeld Double}, author={Joseph Collins and Ross Duncan}, journal={Electronic Proceedings in Theoretical Computer Science}, year={2019} }

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…

## 11 Citations

### Braided Frobenius algebras from certain Hopf algebras

- MathematicsJournal of Algebra and Its Applications
- 2021

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

- MathematicsJournal 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

- Mathematics
- 2021

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

- MathematicsICALP
- 2020

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

- Materials Science, MathematicsCommunications 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

- Computer Science
- 2020

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.

- Computer Science
- 2021

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

- MathematicsJournal of Mathematical Physics
- 2022

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

- Mathematics
- 2021

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…

## References

SHOWING 1-10 OF 40 REFERENCES

### Interacting Frobenius Algebras are Hopf

- Mathematics2016 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

- Mathematics
- 2016

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

- Mathematics
- 2004

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

- Mathematics
- 2000

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…

### Quantum field theory meets Hopf algebra

- Mathematics
- 2006

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

- MathematicsQPL
- 2016

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.