12:31 a.m.
Chers collègues,
A former colleague and expert on ZX calculus, Julien Codsi, has agreed to
give the seminar tomorrow.
Title: An introduction to diagrammatic reasoning and to the ZX-calculus.
Abstract: String-diagrams allow us to manipulate tensor networks (and thus
arbitrary linear maps) using drawings. Quantum circuits are drawn 'because'
they are string diagrams. To foster the full power of diagrammatic
simplifications in quantum circuits, some specific tensors and rules
governing them are introduced: the ZX calculus. I shall introduce it,
exemplify it with the teleportation circuit, and use it to prove the
Gottesman-Knill theorem.
Best,
Charles
Le ven. 17 mars 2023 à 17:12, William Schober <william.schober(a)usi.ch> a
écrit :
Cari amici,
Spring greetings! I'd like to invite everyone to the "first" CQI seminar
of the semester at 14:30 in D5.01, or online at https://meet.jit.si/cqi
-demon-M6QW9V7YY (actually we've had several seminars already, just in
the framework of the Information and Physics student seminar).
In this talk Charles Bédard will tell us about ZX calculus, a diagrammatic
language for reasoning about quantum circuits in the style of Penrose's
tensor notation. Title and abstract below.
Hoping to see everyone there,
Will Schober
Title: On Tensor Networks and ZX Calculus, or 'when vertical lines can be
horizontalized'
Abstract: Tensor-network calculus can be done with drawings. Quantum
circuits are drawn 'because' they are tensor networks. To foster the full
power of diagrammatic simplifications in quantum circuits, some specific
tensors and rules governing them are introduced: the ZX calculus. I shall
introduce it, exemplify it with the teleportation circuit, and use it to
prove the Gottesman-Knill theorem. This talk is based on a presentation by
Julien Codsi, at the Bellairs Workshop in March 2023.