Pivoting makes the ZX-calculus complete for real stabilizers

Ross Duncan, Simon Perdrix

Research output: Contribution to journalConference Contribution

14 Citations (Scopus)
145 Downloads (Pure)

Abstract

We show that pivoting property of graph states cannot be derived from the axioms of the ZX-calculus, and that pivoting does not imply local complementation of graph states. Therefore the ZX-calculus augmented with pivoting is strictly weaker than the calculus augmented with the Euler decomposition of the Hadamard gate. We derive an angle-free version of the ZX-calculus and show that it is complete for real stabilizer quantum mechanics.
Original languageEnglish
Pages (from-to)50-62
Number of pages13
JournalElectronic Proceedings in Theoretical Computer Science
Volume171
DOIs
Publication statusPublished - 27 Dec 2014

    Fingerprint

Keywords

  • quantum physics
  • stabilizer quantum mechanics
  • ZX-calculus

Cite this