ZX-Flow:一种基于ZX图确定性计算的灵活判据

流标准(flow criteria)被用于高效地从ZX图中提取计算模式,这些计算可以表现为测量模式或量子电路形式。现有的标准(如因果流、广义流和泡利流)最初都是针对图态设计的,因此要求ZX图必须呈现特定类图态结构。这种结构在应用基本ZX规则时极易被破坏,并使得某些理想性质的验证变得异常复杂。本文提出了一种新型“ZX原生”流标准——ZX流,其通过一种称为泡利半网(Pauli semiwebs)的ZX图装饰结构来定义。该结构是对泡利网的推广(泡利网近期被广泛应用于ZX演算中容错计算的推理论证)。研究证明:1)ZX流能被所有Clifford重写规则直接保持;2)当且仅当ZX图与具有泡利流的图状ZX图存在Clifford等价性时,该图才具备ZX流特性。最后,该工作表明任何具有ZX流的图表均可直接解释为:基于测量的确定性计算,或是由Clifford等距变换后接泡利指数序列组成的操作。后者可被高效提取为量子电路。

作者单位: VIP可见
页数/图表: 登录可见
提交arXiv: 2026-03-10 12:26

量科快讯