Supplementarity is necessary for quantum diagram reasoning
The ZX-calculus is a powerful diagrammatic language for quantum mechanics and quantum information processing. We prove that itsπ4-fragment is not complete, in other words the ZXcalculus is not complete for the so called "Clifford+T quantum mechanics". The completeness of this fragment was...
| Main Authors: | , |
|---|---|
| Format: | Conference item |
| Published: |
Schloss Dagstuhl
2016
|