Math 5361,
Topics in Quantum Computation
Winter 2004 Peter Selinger |

Updates are shown in red.

**Time and Location:**
Tuesday 10:00-11:30 KED B004,
Thursday 10:00-11:30 KED B004

**Course Description:** This course will be a graduate-level course
in quantum computation, with an emphasis on quantum programming
languages and models. Likely topics include: basics of quantum
computation, density matrices and superoperators, quantum flow charts,
basic domain theory and category theory, models of quantum programming
languages, quantum phenomena (teleportation, non-locality, error
correction, quantum cryptography), quantum algorithms and complexity,
higher-order quantum computation. Time permitting, we may also study
topics from quantum information theory and topological quantum
computation.

**Instructor:** Peter Selinger. Office:

**Prerequisites:** Some familiarity with the basic concepts of
quantum computation will be useful;

**Textbook:** There will be no "official" textbook for the
course. Instead, I will suggest reading material as appropriate. Our
two main references are:

- John Preskill's lecture notes from Caltech, available online at http://www.theory.caltech.edu/people/preskill/ph229/.
- M.A. Nielsen and I.L. Chuang, Quantum computation and quantum information, Cambridge University Press 2000. I have put this book on reserve in the library.

**Course Work:** I will assign homework in class. In lieu of a
final exam, each student will give a 20-30 minute presentation on a
topic which we agree on. I will present a choice of suitable topics
and reading material.

**Course Homepage:** http://www.mathstat.dal.ca/~selinger/5361/.

To Peter Selinger's Homepage:

selinger@mathstat.dal.ca / PGP key