Pivoting makes the ZX-calculus complete for real stabilizers
arXiv:1307.7048 · doi:10.4204/EPTCS.171.5
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.
In Proceedings QPL 2013, arXiv:1412.7917
References in corpus (4)
Cited by in corpus (22)
- Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus
- There and back again: A circuit extraction tale
- A universal completion of the ZX-calculus
- Optimising Clifford Circuits with Quantomatic
- ZX-calculus for the working quantum computer scientist
- Verifying the Smallest Interesting Colour Code with Quantomatic
- Hypergraph Simplification: Linking the Path-sum Approach to the ZH-calculus
- A ZX-Calculus with Triangles for Toffoli-Hadamard, Clifford+T, and Beyond
- A Simplified Stabilizer ZX-calculus
- Completeness of the ZX-Calculus
- Qutrit Dichromatic Calculus and Its Universality
- Pauli Fusion: a Computational Model to Realise Quantum Transformations from ZX Terms
- SZX-calculus: Scalable Graphical Quantum Reasoning
- Towards a Minimal Stabilizer ZX-calculus
- Y-Calculus: A Language for Real Matrices Derived from the ZX-Calculus
- Generators and Relations for Real Stabilizer Operators
- Shaded Tangles for the Design and Verification of Quantum Programs (Extended Abstract)
- Kindergarden quantum mechanics graduates (...or how I learned to stop gluing LEGO together and love the ZX-calculus)
- Shaded tangles for the design and verification of quantum circuits
- Graphical Calculi and their Conjecture Synthesis
- Covering a Graph with Minimal Local Sets
- Circuit Relations for Real Stabilizers: Towards TOF+H