AI 中文总结
该研究为量子信息流提供明确弦图形式化，定义Coecke流线路并以ZX演算说明，在量子协议语境中其为目标裸线态射因子的类线表示。
AI 中文摘要
我们重新审视Bob Coecke早期工作中引入的“量子信息流”概念，并尝试为其提供明确的弦图形式化表述。给定一个保持语义的弦图重写序列，我们首先区分出依赖于当前图形表示的表观通径，与可通过连续重写兼容继承至终端解耦裸线因子的真实通径。随后，我们基于这种兼容继承关系正式定义“Coecke流线路”，并以ZX演算（即ZX弦图重写系统）为例说明所得形式体系。在量子协议的物理语境中，Coecke流可被解释为协议弦图内目标裸线态射因子的受约束、准局域、类线表示。
英文摘要
We revisit the notion of ``quantum information flow'' introduced in Bob Coecke's early work and seek to give it an explicit string-diagrammatic formalization. Given a semantics preserving string-diagram rewriting sequence, we first distinguish apparent through-paths, which depend on the current graphical presentation, from genuine through paths, which can be compatibly inherited through successive rewrites to a terminal decoupled bare wire factor. We then formally define a ``Coecke flow line'' in terms of this compatible inheritance relation. In particular, we use the ZX calculus, i.e., the ZX string diagram rewriting system, to illustrate the resulting formalism. In the physical setting of quantum protocols, a Coecke flow can be interpreted as a constrained, quasi-local, line-like presentation of a target bare wire morphism factor within the protocol string diagram.
Comments77 pages, 22 figures
