免测量纠错

免测量纠错（measurement-free QEC, MFQEC）把"测出综合征→经典解码→条件反馈"整个链条换成一套相干量子电路：错误被幺正地拷贝到只携带经典信息的 ancilla 寄存器，多比特受控 Pauli 门按综合征完成纠错，最后用非条件重置把熵排出系统——测量不再是纠错循环的必经之路。

问题背景

标准 QEC 循环 = 综合征提取 + 测量 + 经典解码 + 条件纠错。测量在其中既是信息出口也是瓶颈：中性原子的状态读出靠共振荧光成像，比门操作慢几个数量级，且散射光会串扰邻近比特 Crow 2016；对里德堡平台，读出期间还需激光冷却配合以避免原子损失 Heußen 2024。Heußen 等人的代表性量级估算：碱金属原子平台两比特门 $t_2\approx 250\mathrm{ns}$、$T_2\approx 4\mathrm{ms}$（自旋回波下 $\sim 1\mathrm{s}$），若读出耗时 $t_{\mathrm{meas}}=1.4\mathrm{ms}$，则读出期间空转错误与操作错误之比达数百倍以上——这是”测一次，毁一片”的根源 Heußen 2024。对尚不支持快速中电路测量的平台，一个自然的问题是：纠错能否完全不测量？

答案是”可以，但仍需耗散”。MFQEC（又称相干纠错，coherent error correction, CEC）把解码与纠错改造成相干幺正 + ancilla 重置：熵仍被排出数据寄存器，但信息从未被读出。它与”自治/耗散纠错”（靠连续工程耗散把系统泵入逻辑码空间）同属免测量谱系，但 MFQEC 是门基（分立脉冲）方案，更贴近现有里德堡门系统 Perlin 2023。早期对 CEC 的质疑是”相干解码会把 ancilla 上的错误相干地反射回数据”，其阈值曾被估计比测量式方案差一个数量级；Crow–Joynt–Saffman 用冗余综合征提取（把 $n$ 个稳定子生成元的全部 $2^n-1$ 个非平凡乘积也拷贝出来）加上里德堡原生 Toffoli/$C^k$NOT 门，把这一差距抹平甚至反超 Crow 2016。

理论模型

设码有 $a$ 个稳定子生成元，综合征是 $a$ 比特串 $s\in \{0,1{\}}^a$。MFQEC 的核心是一个”综合征控制的 Pauli 反馈”幺正：

$$U_{\mathrm{fb}}=\sum _s{\Pi }_s\otimes P_s,$$

其中 ${\Pi }_s$ 是 ancilla 寄存器上投影到综合征 $s$ 的 projector，$P_s$ 是对应的纠正 Pauli。$U_{\mathrm{fb}}$ 是非 Clifford 的多比特受控门（Toffoli/CCZ、$C^k$NOT）——这正是中性原子多比特阻塞门的原生能力所在。

容错性的两个支点：

1. 冗余综合征。只提取生成元时，提取过程中的一次错误会伪造综合征、导致误纠正；把生成元乘积一并提取后，“正确提取的综合征彼此相容”成为可检验的组合约束。纠正门电路只在这些约束满足时才非平凡地作用于数据——若某个综合征值被错误提取，数据不被触碰，从而天然免去 ancilla 验证（ancilla verification）Crow 2016。
2. 经典 ancilla。综合征比特只存储经典信息（计算基态），对相位错误免疫、也不与数据纠缠，故相干反馈不会把量子相干噪声反射回数据 Crow 2016。

完整意义（对电路级去极化噪声的所有位置）的 MF 容错判据由 Heußen 等人首次系统给出：其方案只要求码具有横向 CNOT，适用于任意低距离 CSS 码 Heußen 2024。对距离 3 的 FT 循环，逻辑错误率按 $p_L\sim p^2$ 标度 Heußen 2024。

Heußen 循环的构件分解：循环 = 逻辑辅助态的 FT 制备 + 综合征映射（把 $a$ 比特综合征从逻辑辅助块转移到物理辅助寄存器；此步无需独立的 FT 例行程序，因为中间综合征只携带经典信息）+ 对 $2^a-1$ 个非平凡综合征逐一执行”重置 $R$ → 拷贝 $C$ → 匹配反馈 $F_{\sigma }$“的重复序列。重复可用更多辅助比特并行化——用硬件开销换电路深度，这是 MF 方案少有的”可调旋钮”。一个常被忽略的细节：反馈门必须实现完整的受控 Pauli 而非”相差相对相位”的约化 Toffoli——后者作用在 $|0{⟩}_L$ 这类叠加初态上会产生相干的相位翻转错误 Heußen 2024。

方法与实现

为什么中性原子是 MFQEC 的天选平台：

• 原生多比特门：里德堡集体阻塞天然给出 Toffoli 与 $C^k$NOT（一控多靶的并行 CNOT 还能缩短综合征提取时间），而其他平台须付出多门分解的容错代价 Crow 2016；
• 非条件重置：光泵浦即可把 ancilla 重置回 $|0⟩$，散射光子数比一次完整读出少 1–2 个数量级——耗散还在，但”测量式”的代价消失了 Crow 2016；
• 全新鲜比特：光镊阵列可以装载预备好的原子，重置操作原则上可用”换一个新原子”替代 Veroni 2024；
• 同质性：阵列中所有比特全同，ancilla 寄存器与数据寄存器可互换，方便 syndrome 拷贝与反馈门的布局。

第一代：Crow–Joynt–Saffman 的 CEC 阈值（2016）。 循环为”syndrome 拷贝到 ancilla（只存经典比特）→ 用 Toffoli/$C^k$NOT 做组合式 AND 校验 → 条件纠正 → 重置 ancilla”。比特弗利普码与 Bacon-Shor 码各需 3 个 ancilla，Steane 码需 7 个 ancilla 与 7 个 $C^4$NOT 门（每个数据比特由唯一的一组控制 ancilla 寻址）。稳定子模拟给出阈值（定义 $p_{\log }(p_{\mathrm{gate}})=p_{\mathrm{gate}}$）：$p_{\mathrm{mem}}=0$ 时 BF/Bacon-Shor/Steane 分别为 $1.0\times 10^{-2}$、$1.8\times 10^{-3}$、$8.9\times 10^{-5}$；$p_{\mathrm{mem}}=p_{\mathrm{gate}}$ 时为 $5.5\times 10^{-4}$、$1.01\times 10^{-4}$、$3.2\times 10^{-5}$——与最优测量式阈值相当或更优（MEC 对照：BF $\sim 0.03$、BS $2.6/2.1\times 10^{-4}$、Steane $5/2.6\times 10^{-4}$）。此前 CEC 结果（9 比特 Bacon-Shor 阈值 $\approx 3.8\times 10^{-5}$、需 18 个额外 ancilla）被改善近两个数量级，且新方案只需 3 个 ancilla Crow 2016。硬件前提是里德堡集体阻塞给出的 $C^k$NOT 门（$k\sim 35$ 时保真度约 $90\%$，误差率近似 $k\cdot p_{\mathrm{gate}}$） Crow 2016。Bacon-Shor 与 Steane 的阈值差揭示了 $C^k$NOT 门承载未保护 ancilla 时的行为差异：Steane 码一次成功纠正依赖 4 个综合征值（56 个 CNOT 的提取过程），Bacon-Shor 只依赖 3 个（36 个 CNOT）——冗余度越低，解码链越长，越脆弱 Crow 2016。即使单轮纠错失败让既有数据错误”存活”，只要存活错误大概率在下一轮被自然纠正，循环仍可维持保护 Crow 2016。

严格化：Perlin 等人的 FT 审查（2023）。 审查发现上述电路存在此前被忽略的相位翻转通道会破坏容错，并构造修正电路：在受限噪声模型下修正 MFQEC Steane 码伪阈值约 $0.7\%$。系统性结论：把多比特门分解为两比特门会摧毁容错（伪阈值压低 $4^2=16$ 倍）；现有里德堡多比特门尚不满足一般噪声下 FT 综合征提取的条件。最终配方是多比特门 + 冗余综合征 + 拷贝辅助容错（copy-assisted FT：借 Heußen 方案把错误拷贝到 ancilla 寄存器），伪阈值约 $0.1\%$；文中还给出针对”Clifford 综合征提取 + 综合征控制 Pauli 解码 + Pauli 噪声”电路的高效经典模拟方法 Perlin 2023。

完全容错循环：Heußen–Locher–Müller（2024）。 用 $[[7,1,3]]$ Steane 码的 17 比特方案：先把数据错误 FT 地拷贝到逻辑 ancilla（Steane 型，$|+{⟩}_L/|0{⟩}_L$ 初态也免测量 FT 制备），再把 $a$ 比特综合征映射到物理辅助寄存器，对全部 $2^a-1$ 个非平凡综合征重复”重置 → 拷贝 → 受控反馈 $F_{\sigma }$（$\sigma \in \{X,Z\}$）“；辅助比特足够时可并行化以压缩深度。单参数去极化、纯 CNOT 分解下 MFEC 盈亏平衡点约 $6\times 10^{-5}$（flag 辅助对照约 $3\times 10^{-3}$，两者 $p_L\sim p^2$ 标度相同、只差系数）；原生多比特受控反馈门把逻辑错误率改善约 5 倍（条件：反馈门错误率 $p_4<8p_2+10p_1$，因分解后有 8 个两比特 + 10 个单比特故障位置）；离子阱 MS 门实现改善约一个数量级；三种实现（纯 CNOT、原生多比特反馈、多离子 MS 门）在不同参数下逻辑失败率差异可达一个数量级 Heußen 2024。噪声模型按门类型赋错（含空转位噪声取操作错误的 1%），两比特门取当时最先进水平 $p_2=0.3\%$，多比特门错误率取自理论提案（$p_3,p_4,p_5=1\%$） Heußen 2024。

平台优化：Veroni–Müller–Giudice（2024）。 面向原生支持 $\{X,H,\mathrm{CX},\mathrm{CZ},\mathrm{CCX},\mathrm{CCZ}\}$ 的中性原子平台（单比特门 $\sim 0.5\mu s$ 量级），用”冗余综合征 + 单发 flag 比特”三寄存器（数据/旗标/ancilla）启发式设计四种小码的 MF 方案：Bacon-Shor（12 比特）伪阈值 $0.56\%$、Shor（14）$0.36\%$、表面码（17）$0.30\%$、Steane（14）$0.07\%$；对应”测量 + 前馈”（FF）单发方案为 $0.76\%/0.64\%/0.62\%/0.15\%$——MF 的额外电路代价只把伪阈值拉低约 2 倍，且每个重置可用一个新鲜比特替换。与文献中 flag 方案（Bacon-Shor $0.86\%$、Shor $0.98\%$、Steane $0.13\%$）相当；偏置噪声（如 $p_1=p_2/5$、$p_3=4p_2$）下 Bacon-Shor 类方案还有进一步优化空间 Veroni 2024。

设计启发式与结构直觉（Veroni 等总结的”手工规则”）：冗余提取的稳定子数 $m$ 取得比生成元集更大，使提取错误可由组合相容性暴露；每个提取辅以单发 flag 比特，检测相干映射期间发生在数据上的比特翻转，旗标图样随后指导数据纠正（如钩形错误的传播路径可由旗标直接读出）。

一个实用的经验法则藏在稳定子结构里：生成元之间共享比特越少的码（Shor、表面码），逻辑错误率越低；而权重 6 稳定子的读出逻辑更复杂、纠正门更多的 Steane 码天然垫底 Veroni 2024。

验证方法学：四篇论文的仿真路线各不相同但可相互印证——Crow 等用”ancilla 经典化”的稳定子模拟把非 Clifford 的 $C^k$NOT 门化为经典控制；Perlin 等发展了”Clifford 提取 + 综合征控制 Pauli 解码 + Pauli 噪声”的高效通道模拟并系统扫描噪声模型族；Heußen 等用修改版 PECOS 做含空转错误的多参数噪声态矢模拟；Veroni 等用 $p_{\log }=c_2{p}^2+c_3{p}^3+c_4{p}^4$ 多项式拟合提取伪阈值 Crow 2016 Perlin 2023 Heußen 2024 Veroni 2024。

未解决的问题：现有严格结果集中在距离 3 的 CSS 小码，向更大码距的 MF 循环扩展尚属空白。

Perlin 等指出在一般噪声模型下，现有里德堡多比特门与”直截了当”的 FT 综合征提取仍不兼容，需要噪声偏置、单发 FT 或拷贝辅助等额外结构；更长的相干电路也把空转与泄漏误差推到前台，需要在真实误差预算下重新核算 Perlin 2023 Heußen 2024。

原生多比特门的硬件清单（Heußen 等归纳的中性原子实现面）：全局激光脉冲即可驱动的 CCZ 门已在实验中实现；$C^n$NOT、CNOT${}^n$、$C^n$NOT${}^m$ 等多控/多靶门有一系列理论提案（与多比特阻塞门同源）。关键的品质因数是”门错误 / 空转错误”之比而非门错误本身：碱金属平台 $p_2/p_{\mathrm{idle},2}\approx 160$（$T_2\approx 4\mathrm{ms}$），用自旋回波延长相干时间后可达 $\approx 4\times 10^4$——多比特门只需一次”长但省”的操作，替代分解后一长串”短但多”的两比特门及其空转位 Heußen 2024。

纠错电路之外的收益：免测量的 FT 逻辑态制备（$|0{⟩}_L$、$|+{⟩}_L$ 的确定性制备）本身即是可独立使用的构件；测量自由方案还天然规避了荧光读出的串扰风险与”测量→解码→反馈”的经典控制回路时延——后两者正是测量式循环里最难压缩的环节 Crow 2016 Heußen 2024。

MFQEC 循环的逻辑构件：错误相干拷贝→综合征映射→重置/拷贝/受控反馈（图源：Heußen 2024 Fig. 1）

四种码 MF 与 FF 实现的逻辑错误率曲线及伪阈值对比（图源：Veroni 2024 Fig. 5）

参数与量级

量	典型值	来源
CEC 阈值（Bacon-Shor，$p_{\mathrm{mem}}=0$）	$1.8\times 10^{-3}$	Crow 2016
CEC 阈值（Steane，$p_{\mathrm{mem}}=p_{\mathrm{gate}}$）	$3.2\times 10^{-5}$	Crow 2016
$C^k$NOT 门保真度	$\sim 90\%$（$k\sim 35$，集体阻塞）	Crow 2016
MFQEC Steane 伪阈值（受限/一般噪声）	$\sim 0.7\%$ / $\sim 0.1\%$	Perlin 2023
MFEC 盈亏平衡点（CNOT 分解 / flag 对照）	$6\times 10^{-5}$ / $3\times 10^{-3}$	Heußen 2024
原生多比特反馈门的收益	逻辑错误率约降 5 倍	Heußen 2024
伪阈值：Bacon-Shor / 表面码（MF）	$0.56\%$（12 比特）/ $0.30\%$（17 比特）	Veroni 2024
MF 相对 FF 的伪阈值代价	约 2 倍	Veroni 2024

与其他概念的关系

• 相干反馈门的物理载体是多比特阻塞门与猫态与Toffoli/CCZ 门；替代路线是用奇偶相位门直接以多体相位提取稳定子信息。
• 对支持快速读出的平台，测量式循环仍是主流，见中电路测量与非破坏读出；两类方案的取舍由读出/门时间比决定。
• 冗余综合征与拷贝辅助容错同样服务于三比特门容错稳定子测量的深度压缩，也是里德堡硬件高效容错码族选择中的一个维度。
• 电路级阈值仿真方法论与Stim 稳定子模拟与探测器错误模型一致；Perlin 等另发展了综合征控制 Pauli 电路的专用高效模拟。
• MF 循环中”重置或新鲜比特排熵”的要求与原子装配无缺陷阵列的补原子能力契合；空转/重置误差的精细建模见误差预算与真实建模。

参考文献

• D. Crow, R. Joynt, M. Saffman, “Improved Error Thresholds for Measurement-Free Error Correction”, Phys. Rev. Lett. 117, 130503 (2016). NA140 · arXiv:1510.08359
• M. A. Perlin, V. N. Premakumar, J. Wang, M. Saffman, R. Joynt, “Fault-tolerant measurement-free quantum error correction with multiqubit gates”, Phys. Rev. A 108, 062426 (2023). NA150 · arXiv:2007.09804
• S. Heußen, D. F. Locher, M. Müller, “Measurement-Free Fault-Tolerant Quantum Error Correction in Near-Term Devices”, PRX Quantum 5, 010333 (2024). NA161 · arXiv:2307.13296
• S. Veroni, M. Müller, G. Giudice, “Optimized measurement-free and fault-tolerant quantum error correction for neutral atoms”, Phys. Rev. Research 6, 043253 (2024). NA162 · arXiv:2404.11663