PBS-calculus: A Graphical Language for Quantum-Controlled Computations

02/21/2020
by   Alexandre Clément, et al.
0

We introduce the PBS-calculus to represent and reason on quantum computations involving polarising beam splitters (PBS for short). PBS-diagrams can be used to represent various schemes including quantum-controlled computations, which are known to have multiple computational and communication advantages over classically ordered models like quantum circuits. The PBS-calculus is equipped 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 show that any PBS-diagram involving only unitary matrices can be transformed into a diagram without feedback loop.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

07/02/2021

Quantum Multiple-Valued Decision Diagrams in Graphical Calculi

Graphical calculi such as the ZH-calculus are powerful tools in the stud...
09/26/2017

Towards a Minimal Stabilizer ZX-calculus

The stabilizer ZX-calculus is a rigorous graphical language for reasonin...
10/12/2018

The rational fragment of the ZX-calculus

We introduce here a new axiomatisation of the rational fragment of the Z...
04/27/2022

Quantum Linear Optics via String Diagrams

We establish a formal bridge between qubit-based and photonic quantum co...
08/10/2020

On a recipe for quantum graphical languages

Different graphical calculi have been proposed to represent quantum comp...
02/18/2022

Circuit Extraction for ZX-diagrams can be #P-hard

The ZX-calculus is a graphical language for reasoning about quantum comp...
04/14/2020

Tensor Network Rewriting Strategies for Satisfiability and Counting

We provide a graphical treatment of SAT and #SAT on equal footing. Insta...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.