2000 character limit reached
Pivoting makes the ZX-calculus complete for real stabilizers (1307.7048v2)
Published 26 Jul 2013 in quant-ph and cs.LO
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.