Quantum and braided ZX calculus

Abstract

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 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 related 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).