Creative Commons Attribution 3.0 Unported license (CC-BY 3.0)when quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.MFCS.2020.24
URN: urn:nbn:de:0030-drops-126921
URL: https://drops.dagstuhl.de/opus/volltexte/2020/12692/
Clément, Alexandre ; Perdrix, Simon
PBS-Calculus: A Graphical Language for Coherent Control of Quantum Computations
| pdf-format: |
|
Abstract
We introduce the PBS-calculus to represent and reason on quantum computations involving coherent control of quantum operations. Coherent control, and in particular indefinite causal order, is known to enable multiple computational and communication advantages over classically ordered models like quantum circuits. The PBS-calculus is inspired by quantum optics, in particular the polarising beam splitter (PBS for short). We formalise the syntax and the semantics of the PBS-diagrams, and we equip the language with an equational theory, which is proved to be sound and complete: two diagrams are representing the same quantum evolution if and only if one can be transformed into the other using the rules of the PBS-calculus. Moreover, we show that the equational theory is minimal. Finally, we consider applications like the implementation of controlled permutations and the unrolling of loops.
BibTeX - Entry
@InProceedings{clment_et_al:LIPIcs:2020:12692,
author = {Alexandre Cl{\'e}ment and Simon Perdrix},
title = {{PBS-Calculus: A Graphical Language for Coherent Control of Quantum Computations}},
booktitle = {45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020)},
pages = {24:1--24:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-159-7},
ISSN = {1868-8969},
year = {2020},
volume = {170},
editor = {Javier Esparza and Daniel Kr{\'a}ľ},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2020/12692},
URN = {urn:nbn:de:0030-drops-126921},
doi = {10.4230/LIPIcs.MFCS.2020.24},
annote = {Keywords: Quantum Computing, Diagrammatic Language, Completeness, Quantum Control, Polarising Beam Splitter, Categorical Quantum Mechanics, Quantum Switch}
}
| Keywords: | Quantum Computing, Diagrammatic Language, Completeness, Quantum Control, Polarising Beam Splitter, Categorical Quantum Mechanics, Quantum Switch | |
| Seminar: | 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020) | |
| Issue date: | 2020 | |
| Date of publication: | 18.08.2020 |
