ZX 图的互作用几何
计算机科学中的逻辑
2022-08-04 v2 量子物理
摘要
ZX 演算是一种用于量子计算的多功能图形语言，配备了一套等式理论。受互作用几何的启发，本文提出了一种基于令牌机的异步模型，用于纯 ZX 演算及其对混合过程的扩展。我们还展示了如何将这一新语义与 ZX 图的通常标准解释相连接。该模型使我们能以新的视角审视 ZX 图所计算的内容，并给出对 ZX 图语义更具局部性、操作性的看法。
引用
@article{arxiv.2206.10916,
title = {Geometry of Interaction for ZX-Diagrams},
author = {Kostia Chardonnet and Benoît Valiron and Renaud Vilmart},
journal= {arXiv preprint arXiv:2206.10916},
year = {2022}
}