DeepAI
Log In Sign Up

On a recipe for quantum graphical languages

08/10/2020
by   Titouan Carette, et al.
0

Different graphical calculi have been proposed to represent quantum computation. First the ZX- calculus [4], followed by the ZW-calculus [12] and then the ZH-calculus [1]. We can wonder if new Z*-calculi will continue to be proposed forever. This article answers negatively. All those language share a common core structure we call Z*-algebras. We classify Z*-algebras up to isomorphism in two dimensional Hilbert spaces and show that they are all variations of the aforementioned calculi. We do the same for linear relations and show that the calculus of [2] is essentially the unique one.

READ FULL TEXT

page 1

page 2

page 3

page 4

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/21/2022

The Many-Worlds Calculus

We propose a new typed graphical language for quantum computation, based...
05/13/2021

A Graphical Calculus for Lagrangian Relations

Symplectic vector spaces are the phase space of linear mechanical system...
06/30/2021

Reasoning about conscious experience with axiomatic and graphical mathematics

We cast aspects of consciousness in axiomatic mathematical terms, using ...
03/13/2019

Completeness of the ZX-Calculus

The ZX-Calculus is a graphical language for diagrammatic reasoning in qu...
07/05/2018

The em-convex rewrite system

We introduce and study em (or "emergent"), a lambda calculus style rewri...
04/08/2022

A Quick Overview on the Quantum Control Approach to the Lambda Calculus

In this short overview, we start with the basics of quantum computing, e...