Geometry of Interaction for ZX-Diagrams
Logic in Computer Science
2022-08-04 v2 Quantum Physics
Abstract
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.
Keywords
Cite
@article{arxiv.2206.10916,
title = {Geometry of Interaction for ZX-Diagrams},
author = {Kostia Chardonnet and Benoît Valiron and Renaud Vilmart},
journal= {arXiv preprint arXiv:2206.10916},
year = {2022}
}