DeepAI
Log In Sign Up

The Many-Worlds Calculus

06/21/2022
by   Kostia Chardonnet, et al.
0

We propose a new typed graphical language for quantum computation, based on compact categories with biproducts. Our language generalizes existing approaches such as ZX-calculus and quantum circuits, while offering a natural framework to support quantum control: it natively supports "quantum tests". The language comes equipped with a denotational semantics based on linear applications, and an equational theory. Through the use of normal forms for the diagrams, we prove the language to be universal, and the equational theory to be complete with respect to the semantics.

READ FULL TEXT

page 1

page 5

page 7

page 11

page 13

page 17

page 21

page 23

04/25/2022

LOv-Calculus: A Graphical Language for Linear Optical Quantum Circuits

We introduce the LOv-calculus, a graphical language for reasoning about ...
06/22/2022

Geometry of Interaction for ZX-Diagrams

ZX-Calculus is a versatile graphical language for quantum computation eq...
03/13/2019

Completeness of the ZX-Calculus

The ZX-Calculus is a graphical language for diagrammatic reasoning in qu...
08/10/2020

On a recipe for quantum graphical languages

Different graphical calculi have been proposed to represent quantum comp...
04/27/2022

Quantum Linear Optics via String Diagrams

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

Colored props for large scale graphical reasoning

The prop formalism allows representation of processes withstring diagram...
04/08/2019

A HoTT Quantum Equational Theory (Extended Version)

This paper presents an equational theory for the QRAM model of quantum c...