A Near-Minimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics - Archive ouverte HAL
Communication Dans Un Congrès Année : 2019

A Near-Minimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics

Renaud Vilmart

Résumé

Recent developments in the ZX-Calculus have resulted in complete axiomatisations first for an approximately universal restriction of the language, and then for the whole language. The main drawbacks were that the axioms that were added to achieve completeness were numerous, tedious to manipulate and lacked a physical interpretation. We present in this paper two complete axiomatisations for the general ZX-Calculus, that we believe are optimal, in that all their equations are necessary and moreover have a nice physical interpretation.
Fichier principal
Vignette du fichier
euler.pdf (666.89 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01963426 , version 1 (21-12-2018)

Identifiants

Citer

Renaud Vilmart. A Near-Minimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics. LICS 2019 - 34th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2019, Vancouver, Canada. ⟨10.1109/LICS.2019.8785765⟩. ⟨hal-01963426⟩
219 Consultations
293 Téléchargements

Altmetric

Partager

More