Completeness of the ZX-calculus for Pure Qubit Clifford+T Quantum Mechanics
arXiv:1801.07993
Abstract
Recently, we gave a complete axiomatisation of the ZX-calculus for the overall pure qubit quantum mechanics. Based on this result, here we also obtain a complete axiomatisation of the ZX-calculus for the Clifford+T quantum mechanics by restricting the ring of complex numbers to its subring corresponding to the Clifford+T fragment resting on the completeness theorem of the ZW-calculus for arbitrary commutative ring. In contrast to the first complete axiomatisation of the ZX-calculus for the Clifford+T fragment, we have two new generators as features rather than novelties: the triangle can be employed as an essential component to construct a Toffoli gate in a very simple form, while the lambda box can be slightly extended to a generalised phase so that the generalised supplementarity (cyclotomic supplementarity ) is naturally seen as a special case of the generalised spider rule.
arXiv comment26 pages
Cited by in corpus (12)
- ZX-calculus for the working quantum computer scientist
- A ZX-Calculus with Triangles for Toffoli-Hadamard, Clifford+T, and Beyond
- Meaning updating of density matrices
- Algebraic complete axiomatisation of ZX-calculus with a normal form via elementary matrix operations
- Completeness of algebraic ZX-calculus over arbitrary commutative rings and semirings
- AND-gates in ZX-calculus: Spider Nest Identities and QBC-completeness
- Completeness of the ZH-calculus
- Speedy Contraction of ZX Diagrams with Triangles via Stabiliser Decompositions
- On a recipe for quantum graphical languages
- Addition and Differentiation of ZX-diagrams
- Fast Classical Simulation of Quantum Circuits via Parametric Rewriting in the ZX-Calculus
- Circuit Relations for Real Stabilizers: Towards TOF+H