PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
Mon 24 Jun 2024 09:50 - 10:10 at Copenhagen - Session 1

We develop a graphical language for continuous variable quantum computation (CVQC), which generalizes the ZX-calculus to infinite dimensional Hilbert spaces. Along with the Z and X spiders associated with the position and momentum basis, we introduce the Fock spider for the discrete Fock basis; this allows us to additionally define the W node. We describe the diagrammatic representation of the universal set of gates for CVQC, which consists of Gaussian operations and a non-Gaussian operation. We show applications of our graphical calculus to gaussian boson sampling and fault-tolerant CVQC.

Mon 24 Jun

Displayed time zone: Windhoek change

09:00 - 10:10
Session 1WQS at Copenhagen
09:00
10m
Day opening
Opening
WQS

09:10
40m
Keynote
From ZX to first order logic: a survey of string diagrammatic calculi
WQS
Pawel Sobocinski Tallinn University of Technology
09:50
20m
Talk
Fock, the rules (... or how to ZX-calculus for continuous variable quantum computation)REMOTE
WQS
Razin A. Shaikh University of Oxford, Lia Yeh University of Oxford, Stefano Gogioso University of Oxford