Computability in Europe 2006
Logical Approaches to Computational Barriers

Special Session Talk:
Diagrammatic reasoning for quantum processes

Speaker: Ross Duncan


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

websites: Arnold Beckmann 2008-05-29