Zapraszamy w środę 05.02.2020 o godz. 10:15, sala 361 na seminarium.
Seminarium pod tytułem: "Quantum compilation using the ZX-calculus " poprowadzi Dominic Horsman, Université Grenoble Alpes
In this talk I will give an introduction to the use of the ZX calculus of observables as a compilation language for quantum computing.
ZX calculus diagrams comprise a formal re-write language that allows purely diagrammatic equational reasoning for qubit quantum mechanics. I will give a basic introduction to the diagrams (no category theory required), and show how the calculus is especially suited to acting as an 'intermediate representation' for quantum compilers. This entails mediating between high-level user workloads/algorithms and qubit-level device specifications. I will go over recent work (both academic and commercial) on circuit optimisation using the calculus, and on its function as a design, verification, and optimisation language for error correction. I will finish by discussing insights the use of ZX gives into possible new models of quantum computation.