Abstract
We show that pivoting property of graph states cannot be derived from the axioms of the ZXcalculus, and that pivoting does not imply local complementation of graph states. Therefore the ZXcalculus augmented with pivoting is strictly weaker than the calculus augmented with the Euler decomposition of the Hadamard gate. We derive an anglefree version of the ZXcalculus and show that it is complete for real stabilizer quantum mechanics.
Original language  English 

Pages (fromto)  5062 
Number of pages  13 
Journal  Electronic Proceedings in Theoretical Computer Science 
Volume  171 
DOIs  
Publication status  Published  27 Dec 2014 
Keywords
 quantum physics
 stabilizer quantum mechanics
 ZXcalculus
Fingerprint Dive into the research topics of 'Pivoting makes the ZXcalculus complete for real stabilizers'. Together they form a unique fingerprint.
Profiles

Ross Duncan
 Computer And Information Sciences  Senior Research Fellow
 SICSA
Person: Academic, Research Only