A simplified stabilizer zx-calculus

Miriam Backens, Simon Perdrix, Quanlong Wang

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 Citations (Scopus)
108 Downloads (Pure)


The stabilizer ZX-calculus is a rigorous graphical language for reasoning about quantum mechanics.The language is sound and complete: a stabilizer ZX-diagram can be transformed 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 '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 the additional symbol and one of the rules which had been recently introduced to keep track of scalars (diagrams with no inputs or outputs) are not necessary.
Original languageEnglish
Title of host publication Proceedings 13th International Conference on Quantum Physics and Logic (QPL 2016)
EditorsRoss Duncan, Chris Heunen
PublisherOpen Publishing Association
Number of pages20
Publication statusPublished - 1 Jan 2017
Event13th International Conference on Quantum Physics and Logic (QPL 2016) - Glasgow, United Kingdom
Duration: 6 Jun 201610 Jun 2016

Publication series

NameElectronic Proceedings in Theoretical Computer Science
PublisherOpen Publishing Association
ISSN (Electronic)2075-2180


Conference13th International Conference on Quantum Physics and Logic (QPL 2016)
Country/TerritoryUnited Kingdom


Dive into the research topics of 'A simplified stabilizer zx-calculus'. Together they form a unique fingerprint.

Cite this