Geometry of Interaction for ZX-Diagrams - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Access content directly
Conference Papers Year : 2021

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.
Fichier principal
Vignette du fichier
TLLA_2021_paper_2.pdf (165.04 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

lirmm-03272411 , version 1 (28-06-2021)

Licence

Attribution - NonCommercial

Identifiers

  • HAL Id : lirmm-03272411 , version 1

Cite

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

Share

Gmail Facebook X LinkedIn More