ZX-Flow：一种面向ZX图的灵活确定性计算准则

流（Flow）准则用于从ZX图中高效提取计算结果，形式为测量图案或量子电路。现有准则如因果流、广义流和Pauli流，均最初针对图态（graph state）形式给出，需要ZX图处于特定的图态形式。这种形式在应用基本ZX规则后容易被破坏，且建立某些理想属性较为复杂。本文引入一种新的基于ZX图装饰类型的“ZX本土”流准则，称为ZX-flow，我们提出了称为Pauli半网（Pauli semiwebs）的新型装饰。Pauli半网是Pauli网的推广，这些网最近在ZX演算中广泛用于推理容错计算。我们证明ZX-flow在所有Clifford重写下均可被保持，且ZX图存在ZX-flow当且仅当其与具有Pauli流的图状ZX图在Clifford等价。最后，我们表明任何具有ZX-flow的图均可被解读为确定性测量基计算，或作为Clifford等距紧随其后若干Pauli指数运算的序列。后者可进一步高效提取为量子电路。