Quantum and braided ZX calculus

DOI10.1088/1751-8121/AC631FMaRDI QIDQ6362722arXivFDO

Authors Shahn Majid

Publication date 11 March 2021

Published in arXiv

Full work available at URL https://doi.org/10.1088/1751-8121/AC631F

Mathematics Subject Classification ID

Quantum computation (81P68) Quantum groups and related algebraic methods applied to problems in quantum theory (81R50)

arXiv classification

math.QA

Abstract: We revisit the notion of interacting Frobenius Hopf algebras for ZX-calculus in quantum computing, with focus on allowing the algebras to be noncommutative and coalgebras to be noncocommutative. We introduce the notion of *-structures in ZX-calculus at this algebraic level and construct examples based on the quantum group u_q(sl_2) at a root of unity. We provide an abstract formulation of the Hadamard gate at this level and clarify its relationship to Hopf algebra self-duality. We then solve the problem of extending the notion of interacting Hopf algebras and ZX-calculus to take place in a braided tensor category. In the ribbon case, the Hadamard gate coming from braided self-duality obeys a modular identity. We give the example of b_q(sl_2), the self-dual braided version of u_q(sl_2).

This page was built for publication: Quantum and braided ZX calculus

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