Monday, July 29, 2013

1307.7048 (Ross Duncan et al.)

Pivoting makes the ZX-calculus complete for real stabilizers    [PDF]

Ross Duncan, Simon Perdrix
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.
View original:

No comments:

Post a Comment