量子电路中的故障传播

形式陈述

一次故障发生在电路的一个基本位置：单或双qubit门、初始化、测量或等待。该位置的实际操作偏离理想量子通道。一个双qubit门位置的故障可以同时作用于门的两个参与者；它仍算一个位置故障，不是因为涉及两位就自动算两个独立事件。

先看门后插入一个 Pauli $E$ 的模型。若后续理想酉为 $U$ ，

UE|\psi\rangle=(UEU^\dagger)U|\psi\rangle.

因此把错误移到电路末端时，应按 $E\mapsto UEU^\dagger$ 更新。对于Clifford 门，结果仍是一个带相位Pauli，便于逐门跟踪。

故障数与最终错误重量不同：少量位置故障可能传播成很多数据qubit上的Pauli；反过来，某个高重量Pauli可能等于稳定子，在码空间上不起作用。分析容错时要同时说明故障发生在哪里、如何传播，以及最后的错误是否可纠正。

直觉

同一个 $X$ 或 $Z$ 放在受控门的不同一端，传播方向并不相同。辅助qubit虽然不存放逻辑信息，但它反复接触多个数据位置时，可能把一次错误逐个传给数据。

所以“测完就扔掉辅助位”并不保证安全。被丢掉的只是辅助系统，已经传播到数据上的错误不会一起消失。

图中左侧的红色 $Z$ 是唯一插入的故障，右侧 $Z_3,Z_4$ 是它传播后的等效数据错误，并非另外两次故障。竖线跨过数据线时，没有控制点或目标圈的交叉不表示门连接。

例子与边界

对控制 $c$ 、目标 $t$ ，有

X_c\mapsto X_cX_t,\quad Z_c\mapsto Z_c, \quad X_t\mapsto X_t,\quad Z_t\mapsto Z_cZ_t.

这不是“任何错误都从控制流向目标”：比特型 $X$ 往前复制，目标上的相位型 $Z$ 往反方向复制。 $Y=iXZ$ 要按两部分一起传播，并保留可能的符号。

想测量 $P=Z_1Z_2Z_3Z_4$ 。把辅助 $a$ 准备为 $|0\rangle$ ，依次施 CNOT $1\to a,2\to a,3\to a,4\to a$ ，最后测 $Z_a$ 。无故障时，辅助存下四个数据比特的奇偶，因此给出 $P$ 的本征值。

若在第二个耦合之后，辅助出现 $Z_a$ ，后续传播为

Z_a\ \xrightarrow{3\to a}\ Z_3Z_a \ \xrightarrow{4\to a}\ Z_3Z_4Z_a.

最终测掉辅助后，数据上仍留下 $Z_3Z_4$ 。对于只有单错保证的距离3码，不能据码距保证纠正它；若这个 $P$ 是稳定子， $Z_3Z_4$ 也只与另一二位错误 $Z_1Z_2$ 等效，并不自动等效为单错。

这个反例尤其危险，因为 $Z_a$ 与最后的 $Z_a$ 测量对易，不会直接翻转读出的综合位。综合看起来可以正常，数据却已经被一个故障损伤两处。

若改测 $X_1X_2X_3X_4$ ，用 $|+\rangle$ 辅助作共同控制，再测辅助 $X$ ，则中途 $X_a$ 会往后续数据目标传播。两种电路互为基变换，问题不会因改用另一Pauli检查而消失。

在数据—辅助耦合门之后，可能同时出现 $Y_dZ_a$ 。这可以一边在数据制造错误，一边翻转随后辅助的 $X$ 测量结果。若软件把它记成“数据错误一次、读出错误一次，所以概率是 $p^2$ ”，就会低估同一个门位置发生故障的风险。

传播分析先确定允许的局部错误支撑；概率分析随后按位置模型计算。二者不能反过来用想要的概率幂次决定事件计数。

推论与应用

任意局部误差算子都可在Pauli基中展开。对Kraus 表示 $\mathcal N(\rho)=\sum_aA_a\rho A_a^\dagger$ ，写 $A_a=\sum_Pc_{aP}P$ ，则

\mathcal N(\rho)=\sum_{P,Q}\left(\sum_ac_{aP}\overline{c_{aQ}}\right)P\rho Q^\dagger.

一般存在 $P\ne Q$ 的交叉项。因此“所有算子能按Pauli展开”不表示实际噪声已经成为独立随机Pauli混合。

例如小相干旋转

R_Z(\theta)=\cos(\theta/2)I-i\sin(\theta/2)Z

作用于 $|+\rangle$ 后，Bloch 向量获得 $Y$ 分量 $\sin\theta$ 。若只以概率 $\cos^2(\theta/2),\sin^2(\theta/2)$ 随机施 $I,Z$ ，输出的 $Y$ 分量却为0。两通道不同，不能在没有额外随机化或误差比较定理时互换。

Pauli分析仍有价值：如果一个恢复过程正确处理某个错误算子集合的线性张成空间，那么其相干叠加也在纠错条件覆盖范围内。这个结论来自量子纠错条件与线性性，而不是把展开系数平方当作独立故障概率。

横向门通过限制每个门接触每块的一个位置，控制单故障传播；验证cat态与重复综合进一步处理辅助制备和测量本身。最终的阈值定理还需声明哪些位置集合的联合故障概率受控，不能只给平均单门保真度。

参考资料

[1] Daniel Gottesman, Surviving as a Quantum Computer in a Classical World, 2024 draft，§§10.1–10.2 与 §12.1：故障位置、错误传播、辅助扇出和cat测量；Chapter1 区分Pauli通道与一般量子通道。
[2] Panos Aliferis, Daniel Gottesman and John Preskill, Quantum Accuracy Threshold for Concatenated Distance-3 Codes, 2005作者版，§2 的位置模型及门/存储/制备/测量的共同计数。