Geometry of Interaction for ZX-Diagrams - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2021

Geometry of Interaction for ZX-Diagrams


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-machinebased 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.
Fichier principal
Vignette du fichier
Geometry of Interaction for ZX-Diagrams.pdf (669.96 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03154573 , version 1 (01-03-2021)




Kostia Chardonnet, Benoît Valiron, Renaud Vilmart. Geometry of Interaction for ZX-Diagrams. MFCS 2021 - 46th International Symposium on Mathematical Foundations of Computer Science, Aug 2021, Tallinn, Estonia. pp.30:1--30:16, ⟨10.4230/LIPIcs.MFCS.2021.30⟩. ⟨hal-03154573⟩
467 View
375 Download



Gmail Mastodon Facebook X LinkedIn More