Talks
Fall 2016

Completeness and Incompleteness of Quantum Diagram Reasoning

Thursday, December 8th, 2016, 4:40 pm5:00 pm

Add to Calendar

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