DeepAI AI Chat
Log In Sign Up

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

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...
06/22/2022

Geometry of Interaction for ZX-Diagrams

ZX-Calculus is a versatile graphical language for quantum computation eq...
02/03/2021

Analyzing the barren plateau phenomenon in training quantum neural network with the ZX-calculus

In this paper, we propose a general scheme to analyze the barren plateau...
07/08/2022

String Diagrams for Layered Explanations

We propose a categorical framework to reason about scientific explanatio...