A Calculus for Topological Quantum Computation
- Speaker: Dr. Alessandra Di Pierro, Department of Computer Science, University of Verona.
- Date: Wednesday, 21 January 2015 from 16:00 to 17:00
- Location: Room 151, Birkbeck Main Building
Recent developments in theoretical physics have highlighted interesting topological features of some particular two-dimensional entities called anyons. The idea of using these features to realise robust quantum computation has introduced the study of the new paradigm of Topological Quantum Computation (TQC). The mathematics and physics of anyons is currently subject to intense investigations in all areas related to the study of quantum computation from both the foundational and the implementation viewpoint. In this talk I will take a computer science viewpoint of TQC by presenting a formal calculus whose syntax and reduction relation are able to capture the essential computational mechanism of the anyons manipulation in TQC.