Geometry of Interaction for ZX-Diagrams - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Geometry of Interaction for ZX-Diagrams

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Licence

Paternité - Pas d'utilisation commerciale

Identifiants

  • HAL Id : lirmm-03272411 , version 1

Citer

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⟩
181 Consultations
150 Téléchargements

Partager

Gmail Facebook X LinkedIn More