Quantum Computation in (almost) any Category: an Introduction to the ZX-calculus

Ross Duncan

(University of Strathclyde)

As everyone knows by now, quantum computers are going revolutionise everything. However the features that make them powerful also make them difficult to analyse in our conventional frameworks. Can category theory help? Yes! In this talk I’ll show how quantum theory can be “reconstructed” in any category having certain structural features, and present the ZX-calculus, a graphical presentation of one such category which can be used to verify concrete quantum protocols and algorithms. It is a good demonstration of how an abstract point of view can give a handle on problems which are difficult to treat using standard techniques.
Tuesday 28th October 2014, 15:00
Video Conferencing Room
Department of Computer Science