提出Clifford ZX图故障等价的完备重写规则与检查软件库

Maximilian Rüsch、Aleks Kissinger 和 Benjamin Rodatz 在论文（arXiv:2510.08477v4）中提出一组对 Clifford ZX 图故障等价关系既可靠又完备的 ZX 重写规则，使电路变换不仅保持底层线性映射，还能保持噪声下的容错性质。作者称据此实现了可在给定噪声模型下检查两个 ZX 图是否故障等价的软件库。 这里的故障等价指一个电路在故障下的效果不差于另一电路。方法上利用 fault gadgets 将图分为无故障部分和枚举故障效应的有噪部分，以处理任意、可能关联的 Pauli 故障，并证明任意图都可化为唯一范式。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。