Talks
Fall 2016

Completeness and Incompleteness of Quantum Diagram Reasoning
Thursday, December 8th, 2016, 4:40 pm–5:00 pm
Event:
Speaker:
Location:
Calvin Lab Auditorium
The ZX-calculus, introduced by Coecke and Duncan, is a powerful diagrammatic language for quantum mechanics and quantum information processing. We will present a family of equations — including the so-called supplementarity and its generalizations — which cannot be derived in the ZX-calculus. Adding the generalized supplementarity to the axioms of the ZX-calculus is a step towards a complete and universal diagrammatic language for quantum mechanics