A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2017

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

Résumé

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.
Fichier principal
Vignette du fichier
pi_4-completeness-arxiv.pdf (556.15 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01529623 , version 1 (31-05-2017)
hal-01529623 , version 2 (23-02-2018)

Identifiants

  • HAL Id : hal-01529623 , version 1

Citer

Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart. A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics. 2017. ⟨hal-01529623v1⟩
565 Consultations
565 Téléchargements

Partager

Gmail Facebook X LinkedIn More