论文标题
ZX-DIAGRAM的相互作用的几何形状
Geometry of Interaction for ZX-Diagrams
论文作者
论文摘要
ZX-Calculus是一种用于配备方程理论的量子计算的多功能图形语言。从相互作用的几何形状中获得灵感，在本文中，我们提出了纯ZX-Calculus的基于令牌的异步模型及其扩展到混合过程。我们还展示了如何将这种新语义连接到ZX-DIAGRAS的常规标准解释。该模型使我们可以对ZX-DIAGRAM计算的内容进行新的了解，并提供ZX-Diagram语义的更本地操作的视图。
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 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.
