HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics

Abstract : We introduce the first complete and approximatively universal diagrammatic language for quantum mechanics. We make the ZX-Calculus, a diagrammatic language introduced by Coecke and Duncan, complete for the so-called Clifford+T quantum mechanics by adding four new axioms to the language. The completeness of the ZX-Calculus for Clifford+T quantum mechanics was one of the main open questions in categorical quantum mechanics. We prove the completeness of the π/4-fragment of the ZX-Calculus using the recently studied ZW-Calculus, a calculus dealing with integer matrices. We also prove that the π/4-fragment of the ZX-Calculus represents exactly all the matrices over some finite dimensional extension of the ring of dyadic rationals.
Complete list of metadata

Cited literature [20 references]  Display  Hide  Download

Contributor : Renaud Vilmart Connect in order to contact the contributor
Submitted on : Friday, February 23, 2018 - 4:46:54 PM
Last modification on : Thursday, April 28, 2022 - 4:12:03 PM
Long-term archiving on: : Friday, May 25, 2018 - 9:54:14 AM


Files produced by the author(s)




Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart. A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics. The 33rd Annual Symposium on Logic in Computer Science, 2018, Jul 2018, Oxford, United Kingdom. pp.559--568, ⟨10.1145/3209108.3209131⟩. ⟨hal-01529623v2⟩



Record views


Files downloads