An exact Error Threshold of Surface Code under Correlated Nearest-Neighbor Errors: A Statistical Mechanical Analysis

技术摘要：存在相关近邻误差情况下的表面码精确误差阈值

问题陈述
表面码由于其高误差阈值和与近邻相互作用的兼容性，是容错量子计算的主要候选方案。然而，现有的精确阈值分析依赖于独立同分布（i.i.d.）误差的假设。虽然数值研究调查了相关误差下的阈值，但它们仅提供了下界而非精确值。这一差距至关重要，因为现实的量子设备不可避免地会经历空间和时间相关的噪声（例如，量子比特串扰、泄漏传播以及非马尔可夫环境），这显著偏离了标准的 i.i.d. 模型。因此，在存在比特间相关误差的情况下，表面码的精确误差阈值仍然是一个开放性问题。

方法论
作者提出了一种统计力学方法，旨在推导一种结合了独立单比特误差和数据比特间相关近邻误差的现实噪声模型下的表面码精确误差阈值。核心方法包括以下步骤：

1. 噪声模型定义： 本研究考虑了一种模型，其中每个数据比特独立经历概率为 $p_1$ 的相位翻转（$Z$）误差，且相邻的数据比特对经历概率为 $p_2$ 的相关 $ZZ$ 误差。
2. 误差-边映射 (EEM)： 为了解决直接计算误差链概率的复杂性，作者引入了“误差-边映射”。该方法将误差链的概率映射到一个方型-八角形随机键伊辛模型（RBIM）。
   • 该映射通过特定的边类型（$l^k_1, l^k_2, l^k_3$）连接最近邻的辅助比特。
   • 相关误差被转化为特定的边配置，其中某些对的同步误差被视为稳定器算符（实际上即无误差）。
3. 统计力学映射： 量子纠错的成功概率被表示为所得方型-八角形 RBIM 的配分函数。寻找误差阈值的问题被转化为计算该统计力学模型的临界点（相变）。
4. 约束与哈密顿量： 作者施加特定约束（$\sigma^1_{i,j}\sigma^2_{i,j}\sigma^3_{i,j}\sigma^4_{i,j} = 1$）以消除配分函数中多余的项，确保映射的模型能得出正确结果。所得的哈密顿量描述了一个同时具有水平/垂直相互作用和对角相互作用的系统。
5. 数值模拟： 通过并行回火蒙特卡洛模拟和关联长度的有限尺寸缩放分析来确定临界温度（以及误差阈值）。

主要贡献

• 精确阈值推导： 本文确定了在结合了 i.i.d. 和近邻相关误差的模型下，表面码的一个精确误差阈值。与以往的数值研究不同，该值不仅是一个下界，更代表了一个精确的解析约束。
• 误差-边映射 (EEM)： 作者开发了一种新颖的映射技术，将带有相关误差的量子纠错问题转化为一个可解的统计力学模型（方型-八角形 RBIM）。
• 阈值的双重性质： 推导出的阈值既被呈现为上界，也被呈现为可实现的数值。这意味着现有的数值阈值可以通过该精确值得到改进，反之，该值也代表了给定噪声模型下原则上可达到的最高阈值。

结果

• 阈值数值： 对于独立误差概率（$p_1$）与相关误差概率（$p_2$）相等（$p_1 = p_2 = p$）的特定情况，计算出的精确误差阈值为 3%。
• 与解码器的比较： 作者将此精确阈值与现有的解码方法进行了对比：
  • 使用专为 i.i.d. 噪声设计的标准解码器（忽略相关性）时，得到的阈值约为 1.8%。
  • 使用专门针对相关误差设计的解码器（通过 Stim 的检测器误差模型和最小权重匹配）时，得到的阈值约为 2.4%。
• 差距分析： 结果表明，当前的解码能力与理论精确阈值之间存在显著差距（0.5% 至 1.2%），这表明在存在相关误差时，解码算法仍有巨大的提升空间。

意义
本文声称，了解精确的阈值对于量子纠错具有根本性的重要意义。通过提供精确值而非下界，这项工作明确了表面码在现实相关噪声下的最终容错能力。作者强调，其方法适用于任何近邻相关误差与 i.i.d. 误差的比例。研究结果表明，目前的数值阈值是次优的，可以通过匹配此处推导出的精确值来进行改进，同时也为这些系统的性能确立了理论极限。