High-Level Methods for Quantum Computation and Information

A research programme is set out for developing the use of high-level methods for quantum computation and information, based on the categorical formulation of quantum mechanics introduced by the author and Bob Coecke.Comment: 5 page

Teleportation Topology

We discuss the structure of teleportation. By associating matrices to the preparation and measurement states, we show that for a unitary transformation M there is a full teleportation procedure for obtaining M|S> from a given state |S>. The key to this construction is a diagrammatic intepretation of matrix multiplication that applies equally well to a topological composition of a maximum and a minimum that underlies the structure of the teleportation. This paper is a preliminary report on joint work with H. Carteret and S. Lomonaco.Comment: LaTeX document, 16 pages, 8 figures, Talk delivered at the Xth International Conference on Quantum Optics, Minsk, Belaru