Picturing Quantum Processes
Bob Coecke, Aleks Kissinger
Logic and Computation (Introductory)
Second week, from 11:00 to 12:30
Abstract
We provide a self-contained introduction to quantum theory, with applications in quantum information, computation, and foundations. This course is unique in our use of a diagrammatic language throughout. Far from simple visual aids, the diagrams we use are mathematical objects in their own right, which allow us to develop from first principles a completely rigorous treatment of `textbook' quantum theory. Additionally, the diagrammatic treatment eliminates the need for the typical prerequisites of a standard course on the subject. In fact, the course has no mathematical preliminaries whatsoever; just a bit of common sense suffices.