弦图重写下的量子信息流

我们重新审视了Bob Coecke早期工作中引入的"量子信息流"概念,并试图为其给出一个显式的弦图形式化。给定一个保持语义的弦图重写序列,我们首先区分依赖于当前图形表示的视在贯通路径与可通过连续重写兼容继承至终端解耦裸线因子的真正贯通路径。然后,我们基于这种兼容继承关系正式定义了"Coecke流线"。特别地,我们使用ZX演算,即ZX弦图重写系统,来阐释所得到的形式化。在量子协议的物理设置中,Coecke流可以被解释为协议弦图内目标裸线态射因子的一个受约束的、准局域的、线状表示。