三比特门容错稳定子测量｜中性原子量子计算知识库

传统容错理论默认只用单/两比特门，导致稳定子测量电路又深又贵；而中性原子里德堡平台天生能打原生三比特门。2025 年的两个理论工作证明了出人意料的结论：非旋转表面码用"单个辅助比特 + 两个三比特门"的浅电路就能严格容错——测量深度近乎减半、故障点更少、纠错周期缩短约三分之一，在乐观噪声假设下阈值还能从 0.76% 升到 1.05%。

问题背景

量子纠错（QEC）靠反复测量稳定子来提取错误症状，但测量线路本身会引入新错误：辅助比特上的一个错误可以经两比特门传播到多个数据比特上（即钩形错误，hook error），等效降低码距。教科书式的对策是 Shor/Steane/Knill 方案或旗标比特（flag qubit）技术——用编码辅助块或精心设计的电路阻断恶意传播，代价是显著的深度与比特开销 Old 2025。

另一方面，包括中性原子在内的多个平台天然支持原生多比特门：里德堡阻塞允许一个控制原子同时对多个靶原子施加受控相位（见多比特阻塞门与Toffoli/CCZ 门）。但常见观点认为”高权重门会把错误传播到更高权重”，因此容错协议通常退回只用两比特门——于是同样的物理机制（阻塞）既造就了门，又因串扰阻止近邻门并行，使纠错实验深陷门与时序开销 Pecorari 2025。

2025 年两项独立工作改变了这一图景：Old、Tasler、Hartmann、Müller 证明了非旋转表面码的稳定子测量电路用单个物理辅助比特 + 三比特门即可严格容错（甚至在三比特去极化噪声下），并给出基于”可区分故障集”的系统判据 Old 2025；Pecorari、Jandura、Pupillo 则给出了在双物种里德堡阵列上用两个 CZ2 门容错读取四体稳定子的具体蓝图：门数减半、单稳定子读出周期约快 $1/3$ 、逻辑错误率与标准四 CZ 方案相当 Pecorari 2025。

理论模型

稳定子读出与电路级容错

距离 $d$ 的稳定子码可纠正任意权重 $t = ⌊(d - 1) /2 ⌋$ 的错误。电路级容错的常用判据是：任何由 $\leq t$ 个不同电路位置上的基本故障构成的故障路径，只产生可纠正的错误（即能被随后一轮理想稳定子测量纠正）；满足该条件的线路”保距”（distance preserving），逻辑错误率在低物理错误率区按 $p_{L} \propto p^{t + 1}$ 标度 Old 2025。

Steane 式读出把 $N$ 个数据比特耦合到一个公共辅助比特上实现奇偶校验

∣ A, D_{1}, \dots, D_{N} ⟩ ⟶ ∣ A \oplus D_{1} \oplus \dots \oplus D_{N}, D_{1}, \dots, D_{N} ⟩,

表面码中 $N = 4$ ，标准做法是 4 个 CZ 门串行执行：单个辅助比特 $X$ 错误在中途传播只会留下沿”纵向”成对的 $Z$ 钩形错误，与横向逻辑算符 $Z_{L}$ 不对齐，故任意排序都容错，逻辑错误率按 $p^{⌈ D /2 ⌉}$ 标度。若改用单个四体 $CZ_{4}$ 门，错误可以传播到全部四个数据比特，成对错误可与逻辑算符对齐，逻辑错误率退化为 $p^{⌈ D /4 ⌉}$ ——这是”多比特门天然非容错”的教科书理由 Pecorari 2025。

两个三比特门的容错排序

Pecorari 等的关键观察是折中方案：用两个三比特门 $CZ_{2}$ （ $CZZ$ ，一个控制比特同时对两个靶比特做受控 $Z$ ）读取四体稳定子。对 $Z_{a} Z_{b} Z_{c} Z_{d}$ 稳定子，配对方式

CZ_{a d} + CZ_{b c} (及其对称置换)

在非旋转表面码中保持容错：该排序保证任一 $CZ_{2}$ 内部单次故障产生的成对关联错误，永远不会与非旋转码”纵横分明”的逻辑算符对齐；而另一排序 ${CZ_{ab}, CZ_{c d}}$ 是非容错的。由于 $X$ 、 $Z$ 稳定器不能并行测量（串扰与全局寻址限制）， $X$ 稳定子用同一排序（全体数据比特加 Hadamard）Pecorari 2025。

与之相对，旋转表面码中每个稳定子与 $X_{L}$ 、 $Z_{L}$ 都共享两个数据比特，对任何排序都无法同时防御钩形错误与成对关联错误——除强偏置噪声外（分支比 $b = 1.00$ 乃至 $0.99$ 时 $CZ_{2}$ 方案容错， $ν \approx 2.01$ ； $b$ 从 $0.90$ 降到 $0.50$ 期间容错逐渐丧失），旋转码不存在容错的三比特门读出方案 Pecorari 2025。

可区分故障集判据

Old 等把上述直觉提升为可操作的判据。将每个电路位置建模为理想门 + $n$ 比特去极化噪声

E^{(n)} (ρ) = (1 - p) ρ + \frac{p}{4 ^{n} - 1} P_{n} \in {I, X, Y, Z}^{\otimes n} ∖ I^{\otimes n} \sum P_{n} ρ P_{n},

并把阶 $\leq w$ 的所有故障路径记为故障集 $F (w)$ 。称 $F (w)$ 可区分（distinguishable），若任意两条故障路径 $F_{i}, F_{j}$ 满足三者之一：症状不同、错误相差一个稳定子（稳定子等价）、或翻转的探测器不同。可区分性保证：导致直接未检测逻辑错误的最短故障路径权重落在 $F (2 w + 1)$ 中，即线路容错、 $p_{L} \propto p^{t + 1}$ Old 2025。

用 Clifford 模拟器（参见Stim 稳定子模拟与探测器错误模型）把每个故障沿电路传播即可高效验证可区分性。结论：非旋转表面码 + 单辅助比特 + $CZZ$ 门在三比特去极化噪声下依然容错；而旋转码中 $CZZ$ 破坏容错（如 $d = 9$ 、 $p \approx 1 0^{- 3}$ 时逻辑错误率恶化约一个数量级）Old 2025。

方法与实现

双物种 CZ2 门蓝图（NA169）。中性原子实现走双物种路线：数据与测量原子分属两种元素（如 Rb–Cs），种间阻塞可独立控制——只需假定测量–数据阻塞存在（无数据–数据阻塞），即可用 Förster 共振介导的偶极相互作用（Rb $∣68 S_{1/2} ⟩$ / Cs $∣67 S_{1/2} ⟩$ ，经 Rb $∣68 P_{1/2} ⟩$ / Cs $∣67 P_{3/2} ⟩$ 通道）实现三比特门。对三能级原子（ $∣0 ⟩, ∣1 ⟩$ + 辅助里德堡态 $∣ r ⟩$ ）做时间最优控制，得到总时长 $T Ω_{m a x} = 10.27$ 、非保真度 $1 - F \approx 3.9 \times 1 0^{- 8}$ 的 CZ2 脉冲（里德堡态驻留 $T_{R y} Ω_{m a x} \approx 3.36/1.91$ ，测量/数据原子）；为消除脉冲相位跳变、便于实验执行，限制失谐截断 $∣ Δ_{a} ∣ < 3 Ω_{a}$ 后取 $T Ω_{m a x} = 10.40$ 、 $1 - F \approx 3.65 \times 1 0^{- 7}$ ，性能几乎无损 Pecorari 2025。

由此组成的一轮五比特稳定子读出（辅助比特初始化到 $∣ + ⟩$ ，依次执行两个 CZ2，再把里德堡布居清除回计算基）给出核心数字：读出总时长 $2 \times T_{CZ2} Ω_{m a x} = 20.54$ 对比标准 $4 \times T_{CZ} Ω_{m a x} = 30.44$ ——单稳定子周期约快 $1/3$ ，门数减半；用 pymatching 译码时两种方案的逻辑错误率随码距的压低指数都约为 $ν \approx 2$ （容错），CZ2 方案的逻辑错误率只是”略高”——因为三比特门把单原子衰变摊到更多原子上、增大噪声熵，但保住了容错标度。噪声模型以里德堡态自发衰变为主（它主导中性原子误差预算一个数量级以上），建模为振幅阻尼 + 末态投影 Pecorari 2025。

一个实用的附加性质：缺失的数据原子表现为 $∣0 ⟩$ ，此时 CZ2 脉冲自动退化为普通 CZ 门——边界权重不足的稳定子无需特殊寻址即可用同一全局脉冲读取 Pecorari 2025。

可区分性框架与比特资源比较（NA168）。在统一去极化噪声 + 空闲噪声强度 $p /10$ 的乐观设定（三比特门保真度与两比特门相同）下：逻辑错误率在 $p \in [1 0^{- 3}, 1 0^{- 2}]$ 区间因空闲位置减少可低至 CZ 方案的 $50%$ ，乐观情形最多可低一个数量级；阈值从 $p_{th}^{CZ} \approx 0.76%$ 升到 $p_{th}^{CZZ} \approx 1.05%$ （beliefmatching 译码）Old 2025。

非旋转码的代价是比特数： $\tilde{n}_{u} = 4 d^{2} - 4 d + 1$ 对旋转码 $\tilde{n}_{r} = 2 d^{2} - 1$ （大码距下约两倍）。但把目标逻辑错误率（如 $1 0^{- 6}$ ）对物理比特数外推比较后发现：当 $p > 0.3%$ （近期实验相关区间 $0.1% - 0.7%$ 的高端）时，CZZ 非旋转码达到目标逻辑错误率所需的物理比特一致地更少——深度减省抵消了比特密度劣势 Old 2025。

向 qLDPC 的推广。高权重稳定子正是 qLDPC 码架构的编译瓶颈：La-cross 码的六体稳定子（四个近邻 + 两个远距数据比特）用三个 CZ2（其一瞄准两个远距比特）即可容错实现，替代六个 CZ；远距配对可由原子搬运或高主量子数里德堡态的长程阻塞完成 Pecorari 2025。这类”原生多比特门换浅电路”的思路也呼应编译层的 Geyser：原生多比特门编译。

四体稳定子读出电路对比：4×CZ 串行 vs 2×CZ2 的容错排序 CZaZd+CZbZc，及钩形错误传播示意（图源：Pecorari 2025 Fig. 1）

CZ 与 CZZ 实现的逻辑错误率与阈值比较曲线（p_th ≈ 0.76% → 1.05%）（图源：Old 2025 Fig. 5）

参数与量级

量	数值	来源
`CZ2` 时间最优脉冲	$T Ω_{m a x} = 10.27$ （ $1 - F \approx 3.9 \times 1 0^{- 8}$ ）；截断版 $10.40$	Pecorari 2025
里德堡驻留（测量/数据）	$T_{R y} Ω_{m a x} \approx 3.38 / 1.89$	Pecorari 2025
单稳定子读出时长	$2 \times CZ2 = 20.54$ vs $4 \times CZ = 30.44$ （约快 $1/3$ ）	Pecorari 2025
逻辑错误率标度	容错方案 $p^{⌈ D /2 ⌉}$ （ $ν \approx 2$ ）；单个 $CZ_{4}$ 退化 $p^{⌈ D /4 ⌉}$	Pecorari 2025
三比特门阈值	$0.76% \to 1.05%$ （乐观噪声，beliefmatching）	Old 2025
逻辑错误率降幅	$p \in 1 0^{- 3} - 1 0^{- 2}$ 时至多低 $50%$ ；乐观情形一个数量级	Old 2025
物理比特数	非旋转 $4 d^{2} - 4 d + 1$ vs 旋转 $2 d^{2} - 1$ ； $p > 0.3%$ 时 CZZ 非旋转更省	Old 2025
偏置噪声条件	分支比 $b \geq 0.99$ 时旋转码 $CZ2$ 方案容错（ $ν \approx 2.01$ ）	Pecorari 2025

与其他概念的关系

CZ2/CZZ 门是里德堡阻塞的直接产物，与多比特阻塞门、Toffoli/CCZ 门同属”一控多”原生门家族；并行执行大量此类门的一致性见并行纠缠门。
浅读出电路直接压缩逻辑量子处理器与里德堡硬件高效容错计算的纠错周期；高权重稳定子的浅电路化是qLDPC 码架构（如 La-cross、常数开销容错中的高速率码）走向实验的关键拼图。
仿真与译码基础设施由Stim 稳定子模拟与探测器错误模型（本文两工作的噪声/探测器模拟均基于 Clifford 线路）与Sparse Blossom 最小权匹配（pymatching）提供。
里德堡衰变主导误差预算的建模呼应误差预算与真实建模；衰变转擦除的路线见擦除转换——NA169 指出低深度读出同样惠及需要插入额外检测操作的擦除转换与损失检测协议。
辅助比特的初始化与读出依赖中电路测量与非破坏读出；门脉冲的时间最优设计方法论与量子速度极限一脉相承。

参考文献

J. Old, S. Tasler, M. J. Hartmann, M. Müller, “Fault-Tolerant Stabilizer Measurements in Surface Codes with Three-Qubit Gates”, Phys. Rev. Lett. (2025). NA168 · arXiv:2506.09029 · DOI 10.1103/sblg-fbq4
L. Pecorari, S. Jandura, G. Pupillo, “Low-Depth Quantum Error Correction via Three-Qubit Gates in Rydberg Atom Arrays”, Phys. Rev. Lett. (2025). NA169 · arXiv:2507.06096 · DOI 10.1103/yj1m-wj7f

中性原子百科

探索

三比特门容错稳定子测量