Conference Papers Year : 2019

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

Renaud Vilmart

Abstract

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) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

Cite

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⟩
229 View
305 Download

Altmetric

Share

More