Skip to Main content Skip to Navigation
Conference papers

Geometry of Interaction for ZX-Diagrams

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 pure ZX-Calculus 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.
Document type :
Conference papers
Complete list of metadata

https://hal-lirmm.ccsd.cnrs.fr/lirmm-03272411
Contributor : Isabelle Gouat <>
Submitted on : Monday, June 28, 2021 - 12:33:24 PM
Last modification on : Tuesday, July 6, 2021 - 4:06:02 PM

File

TLLA_2021_paper_2.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution - NonCommercial 4.0 International License

Identifiers

  • HAL Id : lirmm-03272411, version 1

Citation

Kostia Chardonnet, Benoît Valiron, Renaud Vilmart. Geometry of Interaction for ZX-Diagrams. 5th International Workshop on Trends in Linear Logic and Applications (TLLA 2021), Jun 2021, Rome (virtual), Italy. ⟨lirmm-03272411⟩

Share

Metrics

Record views

50

Files downloads

11