Conference item icon

Conference item

Supplementarity is necessary for quantum diagram reasoning

Abstract:

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 one of the main open problems in categorical quantum mechanics, a programme initiated by Abramsky and Coecke. The ZX-calculus was known to be incomplete for quantum mechanics. On the other hand, itsπ2-fragme...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Files:
Publisher copy:
10.4230/LIPIcs.MFCS.2016.76

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS Division
Department:
Computer Science
Department:
Unknown
Role:
Author
Publisher:
Schloss Dagstuhl Publisher's website
Journal:
41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016) Journal website
Host title:
41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016)
Publication date:
2016-08-19
Acceptance date:
2016-06-05
DOI:
ISSN:
1868-8969
Source identifiers:
683920
ISBN:
9783959770163
Keywords:
Pubs id:
pubs:683920
UUID:
uuid:a1cab443-74b1-48ab-a88a-66085a5b1ce5
Local pid:
pubs:683920
Deposit date:
2018-09-05

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP