Computability in Europe 2006
Logical Approaches to Computational Barriers


Special Session Talk:
Diagrammatic reasoning for quantum processes


Speaker: Ross Duncan

Abstract

The mathematical underpinnings of quantum mechanics are structures known as
tensor categories.  In this setting one can very immediately develop notions
of composite systems, quantum entanglement, and clonablility of classical
data.  Moreover such categories allow quantum processes to be depicted in a
very natural graphical language, which clarifies rather than obscures this
basic structure.  In this talk I will briefly survey this area and focus
attention on recent developments based on using the algebraic behaviour of a
pair of complementary quantum observables to describe quantum protocols and
algorithms.


websites: Arnold Beckmann 2008-05-29