A universal and complete diagrammatic language for quantum computing - Seminar by Simon Perdrix

on the June 13, 2018

At 2:00pm
We are pleased to welcome Simon Perdrix from Loria (CNRS) to give a seminar, as part of the Quantum Info seminar (WP2) of the QuEnG project.
The ZX-Calculus is a powerful graphical language for quantum reasoning and quantum computing introduced by Bob Coecke and Ross Duncan. The ZX-calculus has several applications in quantum information processing (e.g. quantum codes, measurement-based quantum computing, foundations), and can be used through the interactive theorem prover Quantomatic. We show the first completeness result for a universal fragment of quantum mechanics, which guarantees that any true property is provable using the ZX-calculus. More precisely we add two extra rules to the axioms of the language and prove it is complete for Clifford+T quantum mechanics. We will also show how the ZX-calculus can be used beyond the Clifford+T quantum mechanics.

IMPORTANT: If you do not have entrance permission to CNRS, please write to Emmanuel CHANRION at least 24h prior to the seminar.

Published on June 15, 2018

Practical informations


Centre National de la Recherche Scientifique (CNRS)
Room D420 Nevill Mott
25 Avenue des Martyrs, 38000 Grenoble