Geometry of Interaction for ZX-Diagrams - Archive ouverte HAL 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⟩
422 View
348 Download



Gmail Facebook Twitter LinkedIn More