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

Emmanuel Jeandel 1 Simon Perdrix 1, 2 Renaud Vilmart 1
1 MOCQUA - Designing the Future of Computational Models
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
2 CNRS - Centre National de la Recherche Scientifique
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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [20 references]  Display  Hide  Download
https://hal.archives-ouvertes.fr/hal-01529623
Contributor : Renaud Vilmart <>
Submitted on : Friday, February 23, 2018 - 4:46:54 PM
Last modification on : Tuesday, December 18, 2018 - 4:38:25 PM
Long-term archiving on: Friday, May 25, 2018 - 9:54:14 AM

File

pi_4-completeness-arxiv-v2.pdf
Files produced by the author(s)

Identifiers

Collections

CNRS | INRIA | UNIV-LORRAINE | LORIA | LORIA-FM

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

336

Files downloads

589

Contact

Informations

CCSD