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

技術要約：相関のある近傍エラー下における表面符号の正確なエラー閾値

問題提起
表面符号は、その高いエラー閾値と近傍相互作用への適合性から、フォールトトレラント量子計算の有力な候補となっている。しかし、既存の正確な閾値解析は、独立かつ同一分布（i.i.d.）のエラーを仮定している。相関エラー下での閾値を調査した数値的研究は存在するが、それらは下限値を示しているに過ぎず、正確な値を提供してはいない。このギャップは極めて重要である。なぜなら、現実の量子デバイスは、必然的に空間的および時間的に相関のあるノイズ（例：量子ビットのクロストーク、リーケージ伝播、非マルコフ環境）を経験し、これは標準的なi.i.d.モデルから大きく逸脱するためである。その結果、隣接する量子ビット間の相関エラー下における表面符号の正確なエラー閾値は、未解決の問題として残されていた。

手法
著者らは、独立した単一量子ビットエラーと、データ量子ビット間の相関のある近傍エラーを組み合わせた現実的なノイズモデルの下で、表面符号の正確なエラー閾値を導出するための統計力学的アプローチを提案している。主要な手法は以下のステップで構成される：

1. ノイズモデルの定義： 本研究では、各データ量子ビットが独立して位相反転（$Z$）エラーを確率 $p_1$ で発生させ、かつ近傍のデータ量子ビットのペアが相関のある $ZZ$エラーを確率$p_2$ で発生させるモデルを検討する。
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.エラーの任意の比率に適用可能であることを強調している。これらの知見は、現在の数値的閾値は最適ではなく、ここで導出された正確な値に一致するように改善できる可能性がある一方で、これらのシステムの性能の理論的限界を確立するものであることを示唆している。