BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.bham.ac.uk//v3//EN
BEGIN:VEVENT
CATEGORIES:Theoretical computer science seminar
SUMMARY:Completing the ZX-calculus - Miriam Backens\, Univ
ersity of Oxford
DTSTART:20181012T100000Z
DTEND:20181012T110000Z
UID:TALK3360AT
URL:/talk/index/3360
DESCRIPTION:The category-theoretical formulation of quantum th
eory has given rise to a number of graphical calcu
li for reasoning about quantum computations. The m
ost well-known of these\, the ZX-calculus\, was fi
rst introduced by Coecke and Duncan in 2007. After
a decade of work\, the ZX-calculus has now been c
ompleted\, 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 a
reas such as the design and analysis of quantum er
ror-correcting codes or the simplification of quan
tum circuits. I will also discuss the difficulties
with determining which rewrite rules are actually
necessary\, i.e. not derivable from the other rul
es.
LOCATION:Computer Science\, The Sloman Lounge (UG)
CONTACT:Jamie Vicary
END:VEVENT
END:VCALENDAR