Interacting Frobenius algebras are Hopf

DOI10.1145/2933575.2934550MaRDI QIDQ4635913zbMATH OpenOpenAlexFDO

Authors Ross Duncan, Kevin Dunne

Publication date 23 April 2018

Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1601.04964, https://strathprints.strath.ac.uk/56775/

Mathematics Subject Classification ID

Hopf algebras and their applications (16T05) Bialgebras (16T10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Quantum computation (81P68)

Abstract: Theories featuring the interaction between a Frobenius algebra and a Hopf algebra have recently appeared in several areas in computer science: concurrent programming, control theory, and quantum computing, among others. Bonchi, Sobocinski, and Zanasi (2014) have shown that, given a suitable distributive law, a pair of Hopf algebras forms two Frobenius algebras. Here we take the opposite approach, and show that interacting Frobenius algebras form Hopf algebras. We generalise (BSZ 2014) by including non-trivial dynamics of the underlying object---the so-called phase group---and investigate the effects of finite dimensionality of the underlying model. We recover the system of Bonchi et al as a subtheory in the prime power dimensional case, but the more general theory does not arise from a distributive law.

Recommendations

• Interacting bialgebras are Frobenius
• Interacting Hopf algebras
• Some graphical aspects of Frobenius algebras.
• Frobenius monoidal algebras and related topics
• scientific article; zbMATH DE number 4129055

Cited in

(16)

• The algebra of partial equivalence relations
• Kindergarden quantum mechanics graduates \textit{...or how I learned to stop gluing LEGO together and love the ZX-calculus}
• Interacting Hopf algebras
• scientific article; zbMATH DE number 7447789 (Why is no real title available?)
• Optimising Clifford circuits with quantomatic
• A topological perspective on interacting algebraic theories
• scientific article; zbMATH DE number 7453180 (Why is no real title available?)
• Quantum and braided ZX calculus
• scientific article; zbMATH DE number 7561601 (Why is no real title available?)
• Completeness of the ZX-calculus
• Generalised Mermin-type non-locality arguments
• Interacting bialgebras are Frobenius
• Lawvere categories as composed PROPs
• A diagrammatic approach to quantum dynamics
• The Qudit ZH-Calculus: Generalised Toffoli+Hadamard and Universality
• The \textsf{ZX}\&-calculus: a complete graphical calculus for classical circuits using spiders

This page was built for publication: Interacting Frobenius algebras are Hopf

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4635913)