Geometry of Interaction for ZX-Diagrams
Kostia Chardonnet
LRI, Paris-Saclay + IRIF, Université de Paris
https://www.lri.fr/~chardonnet/
Date(s) : 16/12/2021 iCal
11h00 - 12h30
ZX-Calculus is a versatile graphical language for quantum computation equipped with an equational theory. Getting inspiration from Geometry of Interaction, in this work 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.
Visio:
https://greenlight.lal.cloud.math.cnrs.fr/b/lio-hdc-jef
Catégories
