Computer Lab, University of Oxford
11am Thursday 3rd July 2008
Informatics Forum 4.31
Joint CISA/LFCS Seminar
Note nonstandard day and time
The defining feature of quantum mechanics is that the observable properties of a quantum system -- for example the position and momentum of a particle -- may not be well defined at the same time. In this work we develop the view that such non-commuting observables provide distinct ways of coding classical data into a quantum system. The mathematics of these systems can be developed in an intuitive diagrammatic framework, and I'll show how this can be used to do real computations, such as showing the equivalence of programs in different quantum computational models and simulating algorithms such as the quantum Fourier transform.