Logical Approaches to Computational Barriers

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 algorithms.

websites: Arnold Beckmann | 2008-05-29 |