DeepAI AI Chat
Log In Sign Up

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

by   Alexandre Clément, et al.

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.


page 1

page 2

page 3

page 4


Quantum Multiple-Valued Decision Diagrams in Graphical Calculi

Graphical calculi such as the ZH-calculus are powerful tools in the stud...

Towards a Minimal Stabilizer ZX-calculus

The stabilizer ZX-calculus is a rigorous graphical language for reasonin...

The rational fragment of the ZX-calculus

We introduce here a new axiomatisation of the rational fragment of the Z...

Quantum Linear Optics via String Diagrams

We establish a formal bridge between qubit-based and photonic quantum co...

Geometry of Interaction for ZX-Diagrams

ZX-Calculus is a versatile graphical language for quantum computation eq...

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...

String Diagrams for Layered Explanations

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