A Crash Course on the ZX Calculus
- LecturerMs. Lia Yeh (PhD student at the University of Oxford and Research Scientist (half-time) at Quantinuum)
Host: Yu-Fang Chen - Time2024-10-04 (Fri.) 14:00 ~ 16:00
- LocationAuditorium107 at IIS new Building
Live Stream
https://meet.google.com/tue-wivj-vvh
Abstract
The ZX calculus is a graphical language that provides an intuitive and elegant way to reason about quantum computing, rigorously backed by 300 research papers (cf. zxcalculus.com/publications). In this talk, we will introduce this calculus’s fundamental concepts and techniques in a manner of interest to both quantum researchers and practitioners of quantum software development.
ZX diagrams will initially look like quantum circuits, making them familiar to those already in this field. Unlike quantum circuits, however, these pictures are more than mere schematics: they are a new kind of sophisticated and rigorous mathematics, tailor-made to talk about the quantum world. After introducing the basics, based on your interests and as time permits during the tutorial and my stay these two weeks, we will apply the calculus to picturing several advanced quantum applications such as Measurement-Based and Fusion-Based Quantum Computing, the Quantum Approximate Optimization Algorithm, Quantum Error Correction, and Continuous-Variable Quantum Computing. By the end of this tutorial, you will be ready to add the ZX calculus to your toolbox, to understand quantum computing from a novel, if not revolutionary, perspective.
ZX diagrams will initially look like quantum circuits, making them familiar to those already in this field. Unlike quantum circuits, however, these pictures are more than mere schematics: they are a new kind of sophisticated and rigorous mathematics, tailor-made to talk about the quantum world. After introducing the basics, based on your interests and as time permits during the tutorial and my stay these two weeks, we will apply the calculus to picturing several advanced quantum applications such as Measurement-Based and Fusion-Based Quantum Computing, the Quantum Approximate Optimization Algorithm, Quantum Error Correction, and Continuous-Variable Quantum Computing. By the end of this tutorial, you will be ready to add the ZX calculus to your toolbox, to understand quantum computing from a novel, if not revolutionary, perspective.