⚛️ quantum physics

Surface Code with Imperfect Erasure Checks

本文证明了，即使在使用具有开销效率但并不完美的擦除检查的情况下，表面码仍能实现比标准泡利噪声高出一倍以上的容错阈值错误率，从而证明了使用超导双轨擦除量子比特构建高性能量子存储器的可行性。

原作者： Kathleen Chang, Shraddha Singh, Jahan Claes, Kaavya Sahay, James Teoh, Shruti Puri

发布于 2026-08-05

📖 1 分钟阅读🧠 深度阅读

原作者： Kathleen Chang, Shraddha Singh, Jahan Claes, Kaavya Sahay, James Teoh, Shruti Puri

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

想象一下，你正试图用沙子建造一座城堡，但风不断地把沙粒吹走。在量子计算的世界里，“沙子”是由被称为“量子比特”（qubits）的微小粒子组成的，而“风”则是将它们所承载的信息搅乱的混沌错误。为了让城堡屹立不倒，科学家们使用了一种聪明的技巧，叫做“纠错”（error correction）。这就像是有一支警觉的卫兵队伍，时刻盯着沙堡。如果卫兵发现一颗沙粒被吹走了，他们可以立即将其补上。

卫兵面临着两种主要的麻烦。第一种就像是一个隐蔽的小偷，在没人察觉的情况下把一颗沙粒换成了小石子；卫兵不知道发生了错误，直到城堡开始崩塌。这被称为“泡利噪声”（Pauli noise）。第二种类型则像是卫兵大喊：“嘿！屋顶上刚才掉了一颗沙粒！”这被称为“擦除”（erasure）。因为卫兵明确知道错误发生的位置和时间，所以他们修复起来要容易得多。事实上，如果大多数错误都是“擦除”，那么城堡可以比面对隐蔽小偷时变得更大、更稳定。

然而，这里有一个代价：为了能喊出“嘿！”，卫兵需要在每一次移动之后进行一次特殊的检查。这种检查既耗时又需要额外的设备。如果检查太慢或太复杂，卫兵会把更多的时间花在检查上而不是建造上，这时风就有机会把城堡吹走。那么，大问题在于：如果卫兵的检查并不完美呢？如果他们有时喊得太晚，或者无法准确判断是哪颗沙粒掉了呢？

这正是耶鲁大学的凯瑟琳·张（Kathleen Chang）、希拉德拉·辛格（Shraddha Singh）及其团队所研究的问题。他们研究了一种特定的量子计算机设计，称为“表面码”（surface code），这就像是一组保护沙堡的卫兵网格。他们想知道，使用“不完美”的检查——即更快、更便宜但有时会在时间或位置上出错的检查——是否会破坏使用“擦除量子比特”带来的优势。

该团队通过详细的计算机模拟进行了测试。他们设想了一种场景，其中的卫兵检查是“不完美”的，体现在两个方面：有时他们不知道哪两个相互作用的量子比特发生了泄漏（空间分辨率不完美），有时他们不知道泄漏发生的精确时间（时间分辨率不完美）。

他们的发现出人意料地乐观。他们发现，即使有了这些“不完美”的检查，量子纠错仍然运作得非常好。具体而言，他们发现只要错误遵循某种可预测的模式（这发生在一种特定的硬件，即超导双轨量子比特中），系统就会保持稳健。

好消息是：即使有了这些“模糊”的检查，系统的容错能力（称为“阈值”）仍然比标准、隐蔽的泡利噪声高出两倍以上。在他们的模拟中，这些不完美检查的阈值徘徊在 4.16% 到 4.55% 之间，而标准噪声的阈值仅为 1.00%。这意味着系统可以在更多的“风”吹袭下依然保持稳定。

此外，他们还观察了多少个错误会导致代码失效（即“有效错误距离”）。他们发现，对于一种特定且现实的噪声类型，无论检查是完美还是不完美，距离始终保持在 3（对于一个小的 3x3 码）这一强劲水平。这表明，只要底层错误行为具有结构性，检查的“模糊性”并不一定会削弱城堡的防御。

该论文也排除了“必须拥有完美、昂贵的检查才能获得这些益处”的观点。虽然完美的检查很好，但模拟显示，你不需要完美的检查就能获得相对于标准量子计算机的巨大优势。研究人员还指出，如果错误是完全随机且混沌的（一种“通用”噪声模型）而非结构化的，那么不完美的检查会削弱系统的防御，降低有效距离。但对于他们研究的特定硬件，这种“定制化”的噪声模型表现出了极强的生命力，维持了强大的防御。

简而言之，这项研究表明，我们不需要等待完美且耗时的错误检查来构建强大的量子计算机。通过使用更快、稍有瑕疵的检查，我们仍然可以建造出一个比现有设计更稳定、更容易保护的量子“沙堡”，从而让构建大规模量子计算机的梦想变得更加触手可及。

技术摘要：具有不完美擦除检查的表面码

问题陈述
量子纠错（QEC）领域的最新进展一直聚焦于“擦除比特”（erasure qubits），其中主要的物理噪声表现为可以被检测并转化为擦除错误的泄漏状态。理论研究表明，利用擦除错误进行纠错的协议与受标准泡利噪声（Pauli noise）影响的协议相比，具有显著更高的有效错误距离和阈值错误率。然而，这些理论优势通常假设在每次门操作后都执行完美的擦除检查。在实践中，实现这种完美的检查会带来显著的时间和硬件开销。例如，在超导双轨（dual-rail, DR）比特架构中，在每次门操作后执行专门的擦除检查会使纠错周期时间翻倍，并会在检查过程中引入新的错误。此外，实际的擦除检查可能会存在缺陷，包括：

不完美的时域分辨率：检查可能会延迟检测到泄漏事件，这意味着在时间 $t$ 触发的标志可能对应于时间 $t$ 或 $t-1$ 的泄漏事件。
不完美的空域分辨率：检查可能会指示某个二比特门内发生了泄漏，但无法识别参与该门的两个比特中具体是哪一个发生了泄漏。

本研究调查了这些缺陷对表面码性能的影响，特别是探讨当擦除检查不完美但具备高效开销时，擦除比特的优势是否依然存在。

方法论
作者分析了在结合两种类型的泄漏诱导泡利错误和两种类型的擦除检查缺陷下的表面码四种噪声模型：

泄漏诱导泡利模型：
- 通用泡利模型：一个泄漏的比特会在与其相互作用的比特上以等概率诱导泡利错误（ $I, X, Y, Z$ ）。
- 定制化泡利模型：受超导双轨比特（特别是具有内置检查功能的腔基双轨比特）启发，该模型假设诱导的错误是受限的。对于 CZ 门，错误取自 $\{I, Z\}$ ；对于 CX 门，错误取自 $\{I, X\}$ 。这种限制源于双轨平台的特定物理特性。
擦除检查缺陷：
- 完美空域分辨率：检查能识别出确切的泄漏比特。
- 不完美空域分辨率：检查能识别出包含泄漏的门，但无法识别具体的比特，因此需要将两个参与比特都进行重置。
- 不完美时域分辨率：由参数 $\eta$ 表征， $\eta$ 代表标记出的泄漏事件发生在当前门而非前一个门的概率。

作者采用了随机电路级噪声的蒙特卡洛模拟，并结合加权联合查找（Union-Find, UF）解码器。解码器经过校准，以处理由延迟检测引入的相关错误（即单个泄漏事件可能随时间传播到多个比特）以及空间分辨率的不确定性。他们评估了在不同 $\eta$ 值和擦除比例 $R_e$ 下的阈值错误率（ $p_{th}$ ）和有效错误距离（ $d_{eff}$ ）。

关键结果

阈值性能：
- 在物理上合理的假设下（例如 $\eta \approx 0.986$ 且 $R_e \approx 0.98$ ），带有不完美擦除检查的表面码阈值仍然显著高于纯泡利噪声的阈值（约 $1\%$ ）。
- 具体而言，在定制化泡利模型配合不完美检查的情况下，阈值约为 4.23%，这比泡利噪声阈值高出两倍多，且仅略低于完美擦除检测的情况（约 $5.56\%$ ）。
- 即使在最坏的情况下，即时域分辨率很差（ $\eta \to 0$ ）时，阈值仍远高于泡利极限（根据模型不同，范围在 $\sim 2.6\%$ 到 $\sim 4.9\%$ 之间）。
- 对于通用泡利模型，空间完美检查与空间不完美检查之间的阈值差异可以忽略不计，但对于定制化泡利模型，当 $\eta \to 1$ 时，这种差异仍然显著（ $>1\%$ ）。
有效错误距离 ( $d_{eff}$ )：
- 通用泡利模型：不完美的时域分辨率会降低有效距离。对于规模为 $d$ 的码，随着 $\eta$ 的减小，逻辑 $Z$ 错误（ $Z_L$ ）的有效距离从 $d$ 降至约 $(d+1)/2$ ，实际上回到了泡利噪声的标度。
- 定制化泡利模型：至关重要的是，有效距离保持稳健。即使存在不完美的时域和空域分辨率，逻辑 $Z_L$ 和 $X_L$ 错误的有效距离仍保持在 $d$ 。这是因为受限的错误集（ $\{I, Z\}$ 或 $\{I, X\}$ ）防止了单个延迟的泄漏事件生成形成最小权重逻辑算子所需的特定相关错误。
硬件效率：
- 研究将这些模型与现有的超导双轨架构联系起来。与显式检查方案相比，具有内置检查功能（即空间不完美但时间高效）的腔基双轨比特，其所需的超导比特数量显著减少（达到实现相同 $d_{eff}$ 所需传统比特数的约 29%）。

意义与主张
本文声称，擦除比特的实质性优势——特别是放宽了容错对系统的要求——对现实中的检查缺陷具有鲁棒性。

降低开销：研究证明，可以使用“高效开销”的擦除检查（例如具有不完美时域/空域分辨率的内置检查）来实现高性能的表面码存储器，而不会牺牲阈值或有效距离，前提是泄漏诱导的噪声遵循“定制化”结构（如超导双轨比特中所见的结构）。
实际可行性：结果表明，实现完美的实时擦除检查这一严苛要求并非必要。系统可以在容忍延迟检测和空间歧义的同时，仍保持比标准泡利噪声高出两倍多的阈值错误率。
噪声表征：这项工作强调了实验表征详细噪声模型（特别是泄漏是否诱导通用或定制化泡利错误）的极端重要性，因为这决定了代码是否能在不完美检查下保留其距离优势。

作者得出结论，通过放宽系统要求来实现高性能表面码量子存储器是可行的，这为在超导量子处理器中使用简化、硬件高效的擦除检查策略提供了理论依据。

技术摘要：具有不完美擦除检查的表面码

类似论文