The ZX-calculus and its fragments

Ross Duncan

The ZX-calculus is a formal graphical language for reasoning about quantum computing, based on the theory of monoidal categories. It has a sound interpretation over Hilbert spaces, but is conjectured not to be complete. In this talk, I’ll introduce the calculus with some application from quantum computing, before considering some completeness results for weaker fragments of the whole calculus.