Fall 2016

Completeness and Incompleteness of Quantum Diagram Reasoning

Thursday, Dec. 8, 2016 4:40 pm5:00 pm PST

Add to Calendar


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