References & Citations
Quantum Physics
Title: An Algebraic Axiomatisation of ZX-calculus
(Submitted on 15 Nov 2019 (v1), last revised 6 Sep 2021 (this version, v3))
Abstract: ZX-calculus is a graphical language for quantum computing which is complete in the sense that calculation in matrices can be done in a purely diagrammatic way. However, all previous universally complete axiomatisations of ZX-calculus have included at least one rule involving trigonometric functions such as sin and cos which makes it difficult for application purpose. In this paper we give an algebraic complete axiomatisation of ZX-calculus instead such that there are only ring operations involved for phases. With this algebraic axiomatisation of ZX-calculus, we are able to establish for the first time a simple translation of diagrams from another graphical language called ZH-calculus and to derive all the ZX-translated rules of ZH-calculus. As a consequence, we have a great benefit that all techniques obtained in ZH-calculus can be transplanted to ZX-calculus, which can't be obtained by just using the completeness of ZX-calculus.
Submission history
From: EPTCS [view email][v1] Fri, 15 Nov 2019 17:09:31 GMT (480kb)
[v2] Sun, 24 Jan 2021 17:23:42 GMT (487kb)
[v3] Mon, 6 Sep 2021 01:02:38 GMT (81kb)
Link back to: arXiv, form interface, contact.