DeepAI AI Chat
Log In Sign Up

Geometry of Interaction for ZX-Diagrams

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

ZX-Calculus is a versatile graphical language for quantum computation equipped with an equational theory. Getting inspiration from Geometry of Interaction, in this paper we propose a token-machine-based asynchronous model of both pure ZX-Calculus and its extension to mixed processes. We also show how to connect this new semantics to the usual standard interpretation of ZX-diagrams. This model allows us to have a new look at what ZX-diagrams compute, and give a more local, operational view of the semantics of ZX-diagrams.

READ FULL TEXT

page 1

page 3

page 5

page 9

page 11

page 15

06/21/2022

The Many-Worlds Calculus

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

A structural operational semantics for interactions with a look at loops

Message Sequence Charts Sequence Diagrams are graphical models that ...
02/21/2020

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

We introduce the PBS-calculus to represent and reason on quantum computa...
04/09/2020

Coend Calculus and Open Diagrams

Morphisms in a monoidal category are usually interpreted as processes or...
04/09/2020

Open Diagrams via Coend Calculus

Morphisms in a monoidal category are usually interpreted as processes, a...
12/01/2020

Automatically Building Diagrams for Olympiad Geometry Problems

We present a method for automatically building diagrams for olympiad-lev...
07/07/2020

Colored props for large scale graphical reasoning

The prop formalism allows representation of processes withstring diagram...