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...
| Hlavní autoři: | , |
|---|---|
| Médium: | Conference item |
| Vydáno: |
Schloss Dagstuhl
2016
|