 |
Free and accessible knowledge |
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-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.
https://hal.archives-ouvertes.fr/hal-03154573
Contributor : Kostia Chardonnet Connect in order to contact the contributor
Submitted on : Monday, March 1, 2021 - 9:53:55 AM
Last modification on : Thursday, April 28, 2022 - 4:12:03 PM
Long-term archiving on: : Sunday, May 30, 2021 - 7:43:09 PM
Contributor : Kostia Chardonnet Connect in order to contact the contributor
Submitted on : Monday, March 1, 2021 - 9:53:55 AM
Last modification on : Thursday, April 28, 2022 - 4:12:03 PM
Long-term archiving on: : Sunday, May 30, 2021 - 7:43:09 PM
File
Geometry of Interaction for ZX...
Files produced by the author(s)
Licence
Distributed under a Creative Commons Attribution 4.0 International License