Towards a Minimal Stabilizer ZX-calculus

Abstract : The stabilizer ZX-calculus is a rigorous graphical language for reasoning about quantum mechanics. The language is sound and complete: one can transform a stabilizer ZX-diagram into another one if and only if these two diagrams represent the same quantum evolution or quantum state. We show that the stabilizer ZX-calculus can be simplified, removing unnecessary equations while keeping only the essential axioms which potentially capture fundamental structures of quantum mechanics. We thus give a significantly smaller set of axioms and prove that meta-rules like `only the topology matters', `colour symmetry' and `upside-down symmetry', which were considered as axioms in previous versions of the language, can in fact be derived. In particular, we show that most of the remaining rules of the language are necessary, however leaving as an open question the necessity of two rules. These include, surprisingly, the bialgebra rule, which is an axiomatisation of complementarity, the cornerstone of the ZX-calculus. Furthermore, we show that a weaker ambient category -- a braided autonomous category instead of the usual compact closed category -- is sufficient to recover the topology meta rule.
Type de document :
Pré-publication, Document de travail
13+15 pages. 2017
Liste complète des métadonnées
Contributeur : Simon Perdrix <>
Soumis le : jeudi 28 septembre 2017 - 10:47:20
Dernière modification le : mardi 18 décembre 2018 - 16:48:02

Lien texte intégral


  • HAL Id : hal-01597114, version 1
  • ARXIV : 1709.08903


Miriam Backens, Simon Perdrix, Quanlong Wang. Towards a Minimal Stabilizer ZX-calculus. 13+15 pages. 2017. 〈hal-01597114〉



Consultations de la notice