Categorical Quantum Mechanics: 2019-2020
Lecturer | |
Degrees | Schedule C1 (CS&P) — Computer Science and Philosophy Schedule C1 — Computer Science Schedule C1 — Mathematics and Computer Science |
Term | Hilary Term 2020 (16 lectures) |
Overview
This course gives an introduction to the theory of monoidal categories, and investigates their application to quantum computer science. We will cover the following topics, illustrating applications throughout to quantum computation:
- Monoidal categories, the graphical calculus, coherence
- Linear structure on categories, biproducts, dagger-categories
- Dual objects, traces, entangled states
- Monoids and comonoids, copying and deleting
- Frobenius structures, normal forms, characterizing bases
- Complementarity, bialgebras, Hopf algebras
- Bicategories and their graphical calculus
To complement the theoretical side, we will also learn about the proof assistant homotopy.io, which makes it easy to build and manipulate composite terms in free ∞-categories, and use it to formalize some of the results of the course. The lectures for this course are recorded, and the recordings will be released at the end of term.
Book
The notes for this course have recently been published by OUP as the textbook Categories for Quantum Theory: An Introduction, by Chris Heunen and Jamie Vicary. Students may wish to obtain a copy of this book to follow during the course. However, full notes are also available for download in PDF form.
Lectures and practicals
The lectures take place in LTA, and the practicals take place in 379, according to the following schedule. Note that this is a slight modification to the schedule announced in the lectures.
- Week 1, Monday, 3pm, LTA - Lecture
- Week 1, Wednesday, 3pm, LTA - Lecture
- Week 2, Monday, 3pm, LTA - Lecture
- Week 2, Wednesday, 3pm, LTA - Lecture
- Week 3, Monday, 3pm, 379 - Practical
- Week 3, Wednesday, 3pm, LTA - Lecture
- Week 4, Monday, 3pm, LTA - Lecture
- Week 4, Monday, 4pm, 379 - Practical (note unusual timing)
- Week 4, Wednesday, 3pm, LTA - Lecture
- Week 5, Monday, 3pm, LTA - Lecture
- Week 5, Wednesday, 3pm, LTA - Lecture
- Week 6, Monday, 3pm, 379 - Practical
- Week 6, Wednesday, 3pm, LTA - Lecture
- Week 7, Monday, 3pm, LTA - Lecture
- Week 7, Wednesday, 3pm, LTA - Lecture
- Week 8, Monday, 3pm, LTA - Lecture
- Week 8, Wednesday, 3pm, LTA - Lecture
For those who cannot attend the practical at 4pm on Monday of Week 4, send Jamie an email and we will try to schedule an additional practical.
The lectures for this course are recorded, and the recordings released at the end of each week of term. Please click here to access the recordings.
The practical sessions will give you you an opportunity to work with the proof assistant homotopy.io to formalize proofs from the course. The worksheet for the practical is available for download in the course materials section.
Assessment
This course will be assessed by take-home exam (70%), and by submission of coursework formalized during term in the proof assistant (30%).
Materials
The notes and slides for the entire course will be available for download after login.
Classes
Classes will take place in even weeks. The teaching assistants are Lukas Heidemann and Nick Hu. The assigned problems are a subset of the exercises given in the lecture notes, as follows:
- Week 2: Exercises 1.4.1, 1.4.2, 1.4.3, 1.4.4, 1.4.6, 1.4.7, 1.4.13.
- Week 4: Exercises 2.5.1, 2.5.2, 2.5.3, 2.5.4, 2.5.5, 2.5.9
- Week 6: Exercises 3.5.1, 3.5.2, 3.5.3, 3.5.4, 3.5.5, 3.5.7, 3.5.8
- Week 8: Exercises 4.4.3, 5.7.5, 5.7.6, 6.6.4, 6.6.5, 6.6.6
Learning outcomes
After studying this course, students will be able to:
- Understand and prove basic results about monoidal categories.
- Fluently manipulate the graphical calculus for compact categories.
- Model quantum protocols categorically and prove their correctness graphically.
- Appreciate differences between categories modeling classical and quantum theory.
- Work with Frobenius algebras in monoidal categories.
- Manipulate quantum algorithms in the ZX-calculus.
- Explore graphical theories using the software tool homotopy.io.
- Be ready to tackle current research topics studied by the quantum group.
Prerequisites
An ideal foundation for this course is given by the Michaelmas term course Categories, Proofs and Processes. The Michaelmas term course Quantum Computer Science also covers some of the same ideas as this course, in a less mathematical way.
The necessary background for this course is basic topics from category theory and linear algebra, including categories, functors, natural transformations, vector spaces, Hilbert spaces and the tensor product. Chapter zero in the lecture notes briefly covers this background material.
Students wishing to do their dissertation with the Quantum Group are generally expected to take this course, as well as the two mentioned above.
The course notes have been recently published by OUP as the textbook Categories for Quantum Theory: An Introduction. Students may wish to obtain this book to accompany the course. However, full notes are also available for download.
Synopsis
Reading list
Related research
Themes | |
Activities |
Taking our courses
This form is not to be used by students studying for a degree in the Department of Computer Science, or for Visiting Students who are registered for Computer Science courses
Other matriculated University of Oxford students who are interested in taking this, or other, courses in the Department of Computer Science, must complete this online form by 17.00 on Friday of 0th week of term in which the course is taught. Late requests, and requests sent by email, will not be considered. All requests must be approved by the relevant Computer Science departmental committee and can only be submitted using this form.