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 JunDisplayed 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 35mTalk | Invited Talk: From Verified Compilation to Shor’s Algorithm PLanQC File Attached | ||
09:35 20mTalk | 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 20mTalk | 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 30mCoffee break | Break PLanQC | ||
10:45 20mTalk | 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 20mTalk | Quantum and classical registers PLanQC Dominique Unruh University of Tartu File Attached | ||
11:25 20mTalk | 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 |