Write a Blog >>
PLDI 2021
Sun 20 - Sat 26 June 2021 PLDI

We extend the quantum circuit model so that the wiring between gates is soft-coded within registers inside the gates. The addresses in these registers can be manipulated and put into superpositions. This aims at capturing the physically implementable indefinite causal orders, as well as making their geometrical layout explicit. We show how to implement the quantum switch and the polarizing beamsplitter within the model. One difficulty is that the actual names used as addresses should not matter beyond the wiring they describe, i.e. the allowed evolutions should commute with renamings. Yet evolutions may act nontrivially upon these names. Our main technical contribution and a byproduct of this paper is a full characterization of nameblind matrices.

Abstract (planqc2021-final5.pdf)205KiB

Tue 22 Jun

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 11:45
Session 1: Verification, programming & controlPLanQC at PLanQC
Chair(s): Matthew Amy Dalhousie University, Ross Duncan Cambridge Quantum Computing
09:00
35m
Talk
Invited Talk: From Verified Compilation to Shor’s Algorithm
PLanQC
I: Michael Hicks University of Maryland at College Park
File Attached
09:35
20m
Talk
qKleene: Verification of Quantum RAM Made Easy
PLanQC
Giulia De Santis University of Verona, Roberto Giacobazzi University of Verona, Margherita Zorzi University of Verona
File Attached
09:55
20m
Talk
JKQ: JKU Tools for Quantum Computing
PLanQC
Wille Robert Johannes Kepler University, Linz, Stefan Hillmich Johannes Kepler University, Linz, Lukas Burgholzer Johannes Kepler University, Linz
File Attached
10:15
30m
Coffee break
Break
PLanQC

10:45
20m
Talk
Open Quantum Assembly Language
PLanQC
Andrew Cross IBM T.J Watson Research Center, Ali Javadi-Abhari IBM T.J Watson Research Center, Thomas Alexander IBM T.J Watson Research Center, Lev Bishop IBM T.J Watson Research Center, Colm A. Ryan AWS Center for Quantum Computing, Steven Heidel AWS Center for Quantum Computing, Niel de Beaudrap University of Sussex, John Smolin IBM T.J Watson Research Center, Jay M. Gambetta IBM T.J Watson Research Center, Blake R. Johnson IBM T.J Watson Research Center
File Attached
11:05
20m
Talk
Quantum and classical registers
PLanQC
Dominique Unruh University of Tartu
File Attached
11:25
20m
Talk
Addressable quantum gates
PLanQC
Pablo Arrighi Université Paris-Saclay, CNRS, LMF, Marin Costes Université Paris-Saclay, CNRS, ENS Paris-Saclay, LMF, Christopher Cedzich Quantum Technology Group, Heinrich Heine Universität Düsseldorf, Ulysse Remond Université Paris-Saclay, CNRS, ENS Paris-Saclay, LMF, Benoit Valiron Université Paris-Saclay, CNRS, CentraleSupélec, LMF
File Attached