A universal completion of the ZX-calculus
arXiv:1706.09877
Abstract
In this paper, we give a universal completion of the ZX-calculus for the whole of pure qubit quantum mechanics. This proof is based on the completeness of another graphical language: the ZW-calculus, with direct translations between these two graphical systems.
arXiv comment29 pages
References in corpus (3)
Cited by in corpus (22)
- There and back again: A circuit extraction tale
- ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity
- The algebra of entanglement and the geometry of composition
- Universal MBQC with generalised parity-phase interactions and Pauli measurements
- Optimising Clifford Circuits with Quantomatic
- ZX-calculus for the working quantum computer scientist
- Graphical Structures for Design and Verification of Quantum Error Correction
- Relating Measurement Patterns to Circuits via Pauli Flow
- A ZX-Calculus with Triangles for Toffoli-Hadamard, Clifford+T, and Beyond
- Completeness of the ZX-Calculus
- Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying calculus
- Graphical Fourier Theory and the Cost of Quantum Addition
- Algebraic complete axiomatisation of ZX-calculus with a normal form via elementary matrix operations
- AKLT-states as ZX-diagrams: diagrammatic reasoning for quantum states
- AND-gates in ZX-calculus: Spider Nest Identities and QBC-completeness
- Completeness of the ZH-calculus
- When Only Topology Matters
- Completeness of the Phase-free ZH-calculus
- Complete ZX-calculi for the stabiliser fragment in odd prime dimensions
- Kindergarden quantum mechanics graduates (...or how I learned to stop gluing LEGO together and love the ZX-calculus)
- A diagrammatic calculus of fermionic quantum circuits
- Quantum Theory from Principles, Quantum Software from Diagrams