Computability in Europe 2008
Logic and Theory of Algorithms

Print current page  Print this page

Special Session Talk:
Diagrammatic reasoning for quantum processes

Edit abstract data

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 Valid HTML 4.01! Valid CSS!