Process Algebras for Quantum Compilation

Опубликовано 28 июля 2016, 0:09

In this talk I give an introduction to the use of process algebras in quantum computing, focusing particularly on their use as compiler tools for surface code topological quantum computing. Process algebras describe the flow of dependencies and information within a computational process, and are extensively used in classical computation. A quantum graphical process algebra, "quantum picturalism", has been developed over the last few years to enable similar reasoning about quantum processes. I will introduce the basic graphical language, and then show how for the case of surface code quantum computing there is a physical isomorphism between the graphical process dependencies and the defect structures created to form qubits within the code lattice. I then show how this enables us to use the graphical process algebra as a native language for compilation of surface code algorithms. Reference: 'Quantum picturalism for topological cluster-state computing' (2011) New J. Phys. 13 095011