Bellairs Research Institute, Barbados, March 17-21, 2008
The homepage for this workshop is http://www.cs.mcgill.ca/~prakash/Bellairs/08/wshop.html.
The videos are encoded in DivX format. For Windows and Mac computers, you can download a browser plugin from here. If you are using Linux, the best idea is probably to download the videos and to watch them in something like MPlayer. If you can work out how to stream these videos in your browser on Linux, let me know!
Categorical quantum mechanics
Bob Coecke, University of Oxford
A survey of categorical quantum mechanics
Watch video in browser | Download video
Jamie Vicary, Imperial College London
Categorical formulation of C*-algebras
Watch video in browser | Download video
I describe how dagger-Frobenius monoids in the category of finite-dimensional Hilbert spaces are the same as finite-dimensional C*-algebras.
Quantum gravity
Lucien Hardy, Perimeter Institute
The causaloid approach to quantum theory and quantum gravity
Watch video in browser | Download video
Quantum theory is probabilistic but has fixed causal structure. General relativity is deterministic but has non-fixed causal structure. It seems that a theory of quantum gravity will inherit the radical features of these two less fundamental theories. Thus, we expect it to be probabilistic and have non-fixed causal structure. In this talk I present a framework, the causaloid formalism, for such theories.
Quantum information and computation
Howard Barnum, Los Alamos National Laboratory
Watch video in browser | Download video
Dan Browne, University College London
Measurement-based quantum computation
Watch video in browser | Download video
Keye Martin, Naval Research Laboratory
The mechanics of information
Watch video in browser | Download video
Topological quantum computation
Prakash Panangaden, McGill University
The physics of anyons for computer scientists
Watch video in browser | Download video
I give a simple account of the Hall effect and the quantum Hall effect. I give a short account of the spin-statistics theorem and the changes that happen in 2 dimensions which allows for the appearance of anyons.
Éric Oliver Paquette, McGill University
Categories and quantum computating with anyons
Watch video in browser | Download video
During this talk I will present the categorical structures necessary to describe anyons; more precisely, the structures that capture the concepts of charges, braids, twist and fusion rules together with the way these structures are used to translate the kinematics of the anyons into the Hilbert space language used to describe quantum computation.
We will also present one of the simplest models of non-abelian anyons, the Fibonacci anyons, and explain how to build a set of gates which is universal for quantum computation within this model.
Jon Yard, Caltech
Watch video in browser | Download video