Current browse context:
quant-ph
Change to browse by:
References & Citations
Quantum Physics
Title: Algebraic complete axiomatisation of ZX-calculus with a normal form via elementary matrix operations
(Submitted on 26 Jul 2020 (v1), last revised 25 Jan 2022 (this version, v3))
Abstract: In this paper we give a complete axiomatisation of qubit ZX-calculus via elementary transformations which are basic operations in linear algebra. This formalism has two main advantages. First, all the operations of the phases are algebraic ones without trigonometry functions involved, thus paved the way for generalising complete axiomatisation of qubit ZX-calculus to qudit ZX-calculus and ZX-calculus over commutative semirings. Second, we characterise elementary transformations in terms of ZX diagrams, so a lot of linear algebra stuff can be done purely diagrammatically.
Submission history
From: Quanlong Wang [view email][v1] Sun, 26 Jul 2020 23:46:15 GMT (688kb)
[v2] Thu, 12 Nov 2020 23:31:34 GMT (688kb)
[v3] Tue, 25 Jan 2022 18:44:43 GMT (693kb)
Link back to: arXiv, form interface, contact.