MATH Semineri: “ZX calculus”, Selman Ipek, 14:00 26 Nisan 2024 (EN)

You are cordially invited to the Quantum Computing Seminar organized by the Department of Mathematics.

Speaker: Selman Ipek (Bilkent University)

“ZX calculus”

Abstract: Several quintessentially quantum notions, such as no-cloning, no-deleting, as well as classical and complementary structures can be made precise in the categorical approach to quantum mechanics. The so-called ZX calculus consists of two complementary classical structures on an underlying object in a compact dagger category. Many quantum gates used in quantum computation have natural representations in the ZX-calculus. In this talk we will give the main definition of the ZX-calculus and highlight interesting aspects of the formalism; e.g., ZX-calculus is sound and (approximately) universal for quantum computation. Time permitting, we will make connections to the measurement-based model of quantum computation.


1. Heunen, Chris, and Jamie Vicary. Categories for Quantum Theory: an introduction. Oxford University Press, 2019. Chapter 6

2. Coecke, Bob, and Ross Duncan. Interacting quantum observables:
categorical algebra and diagrammatics. New J. Phys (13), 2011. arXiv:

3. Duncan, Ross. A graphical approach to measurement-based quantum computing. arXiv preprint arXiv:1203.6242, 2012.

Date: Friday, April 26, 2024
Time: 14:00
Place: SA141 – Mathematics Seminar Room & ZOOM

To request the event link, please send a message to