University of Birmingham > Talks@bham > Theoretical computer science seminar > Completing the ZX-calculus

Completing the ZX-calculus

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Jamie Vicary.

The category-theoretical formulation of quantum theory has given rise to a number of graphical calculi for reasoning about quantum computations. The most well-known of these, the ZX-calculus, was first introduced by Coecke and Duncan in 2007. After a decade of work, the ZX-calculus has now been completed, meaning that whenever two diagrams have the same interpretation, one can be transformed into the other using the graphical rewrite rules. I will present the main completeness theorems and the resulting applications of the ZX-calculus in areas such as the design and analysis of quantum error-correcting codes or the simplification of quantum circuits. I will also discuss the difficulties with determining which rewrite rules are actually necessary, i.e. not derivable from the other rules.

This talk is part of the Theoretical computer science seminar series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

Talks@bham, University of Birmingham. Contact Us | Help and Documentation | Privacy and Publicity.
talks@bham is based on talks.cam from the University of Cambridge.