Correlated decoding loses the surface code's effective distance below threshold

技術要約：相関デコーディングは表面符号の実効距離を閾値以下で失わせる

問題提起
誤り耐性量子計算（FTQC）は、表面符号の誤りを訂正するための効率的な古典デコーダに依存している。グラフベースのデコーダである最小重み完全マッチング（MWPM）やUnion-Find（UF）はスケーラブルであるが、通常、X型およびZ型のスタビライザー測定を独立してデコードするため、相関のある誤りメカニズム（例：単一量子ビットのY誤りや、基底をまたぐ2量子ビットゲート誤り）に関する情報を破棄してしまう。これに対処するため、「相関デコーディング」プロトコル（Correlated MatchingやCorrelated Local Clustering Decoderなど）は、二段階の戦略を採用している。すなわち、第一パスでエッジを選択し、第二パスでこれらの選択に基づいてグラフの重みを再設定することで、相関を考慮するものである。

しかし、本論文は、標準的な相関デコーディングが閾値の深い領域（$p < 10^{-3}$）で動作する場合に、決定的な失敗モードに陥ることを特定している。これらのプロトコルは閾値付近では性能を向上させるが、低い物理エラー率においては、相関のないデコーダよりも性能が悪化し、その利点を失う。具体的には、標準的な再重み付けルールは、サイズ $(d-1)/2$ のフォールト構成に対してデコーダを失敗させ、結果として符号の距離を $d$ から $d-1$ へと実質的に減少させてしまう。これにより、論理エラー確率のスケールが、期待される $P_L \propto p^{(d+1)/2}$ ではなく、$P_L \propto p^{(d-1)/2}$ となり、$p \to 0$ において論理エラー率が壊滅的に増大するという事態を招く。

手法
著者らは、2つの特定の相関デコーダをベンチマークした：

1. Correlated Matching (CM): Sparse Blossom（効率的なMWPM実装の一種）の二段階変種。
2. Correlated Local Clustering Decoder (LCD): オンザフライの更新に最適化された適応型重み付きUFデコーダ。

本研究では、SI1000回路レベルノイズモデル（2量子ビットの脱分極エラー確率 $p$ によってパラメータ化される）の下で、$r=d$ 回のシンドローム抽出ラウンドを用いた距離 $d$ の回転表面符号回路を利用した。著者らは、様々な符号距離（$d=3, 5, 7, 9$）およびエラー率にわたって、相関デコーダと無相関デコーダの間の論理エラー確率（$P_L$）の比を分析した。

調査の核心は再重み付けプロトコルに置かれた。標準的な相関デコーディングにおいて、もし第一パスでエッジ $e_\mu$ が選択された場合、その相関するパートナーエッジ $e_\nu$ の確率は $p'_\nu = P(e_\nu | e_\mu)$ に更新される。著者らは、回路レベルのノイズ設定下では、単一の第一パスのエッジ $e_\mu$ が、それぞれ異なるパートナーエッジを持つ複数の独立した誤りメカニズムに関連付けられる可能性があることを示した。標準的な更新ルールは、これらのパートナーエッジが $e_\mu$ を条件として高い確率で同時に発生するかのように誤って扱うことで、それらの重みを過度に「割り引いて」しまう。

主な知見と失敗のメカニズム
本論文は、標準的な再重み付けルールが「過剰な割引（over-discounting）」を引き起こすことを示している。

• メカニズム: 回路レベルの設定では、第一パスのエッジ $e_\mu$ が選択されると、プロトコルはすべての相関するエッジ $e_\nu$ の重みを更新する。しかし、複数のパートナーエッジが共同で発生するためには、追加の独立したフォールトが必要となる。標準的なルールは、これらの割引されたエッジに対して $O(1)$ の重みを割り当てるが、本来の事前重みは $O(\log(1/p))$ である。
• 結果: これにより、複数の割引されたエッジを含む訂正パスが、人工的に安価になってしまう。デコーダは、正しいパス（コストが実質的に $O(\log(1/p))$）よりも、2つの割引されたエッジを含む訂正パス（コストが実質的に $O(1)$）を選択してしまう。
• 距離の喪失: このエラーにより、デコーダは距離 $d$ の符号が本来訂正すべきサイズ $(d-1)/2$ のフォールト構成を、有効な訂正として受け入れてしまう。その結果、低エラー率領域において、論理エラー率はこれらの低重量の失敗によって支配され、実効距離が1ユニット低下することになる。

提案される解決策：正則化された相関デコーディング
設計された距離のスケーリングを回復するために、著者らは更新ルールに正則化パラメータ $\alpha$ （再重み付けの強さ）を導入する：
$$p'_\nu(\alpha) = \alpha P(e_\nu | e_\mu)$$
このパラメータは、各割引されたエッジに $\sim \log(1/\alpha)$ のコストを加算する。

• 最適化: 著者らは、閾値付近（$\alpha \approx 1$）と閾値より深い領域（$\alpha < 1$）の間を補間する、エラー率依存の最適関数 $\alpha^*(p)$ を経験的に決定した。
• 実装: 正則化は、デコーダの初期化時の事前計算ステップとして適用される。これは、標準的なプロトコルの計算効率を損なうことなく、コアとなるデコーディング・サブルーチン（マッチングまたはクラスタリング）を変更しない。

結果

• 距離の回復: 正則化された更新（RCMおよびRC-LCD）を用いることで、論理エラー確率は、閾値下の深い領域においても正しいスケーリング $P_L \propto p^{(d+1)/2}$ を回復する。
• 性能向上: 正則化されたデコーダは、調査した全範囲（$10^{-5}$ から $10^{-3}$）において、無相関デコーダおよび標準的な相関デコーダの両方を上回る性能を示した。
  • $p=10^{-4}$ において、正則化されたデコーダは顕著な改善を示した（$d=5, 7$ に対して無相関のベースラインと比較して比率が $\sim 0.35$ から $0.55$）。
  • $p=10^{-5}$ において、正則化されたデコーダは安定した優位性を維持したが、標準的な相関デコーダは壊滅的な失敗（比率 $>1$）を起こした。
• 失敗モードの抑制: 正則化は、標準的な（正則化されていない）相関デコーダの主な失敗原因であったサイズ-$(d-1)/2$ のフォールト構成の寄与を特異的に抑制する。

意義と主張
本論文は、標準的な相関デコーディングは閾値付近では有益であるが、深部閾値領域においては、FTQCシステムの信頼性を損なう根本的な欠陥を導入することを主張している。これは、外側の符号が非常に低い実効エラーレートで作動する階層的アーキテクチャにおいて特に重要である。

主要な貢献は、この「過剰な割引」という失敗モードを特定し、相関の精度向上という利点を損なうことなく、符号の実効距離を回復させる単純な単一パラメータの正則化を提案したことにある。著者らは、条件付き誤りモデルの更新を使用するあらゆるデコーダに対する新しい設計原則を提示している。すなわち、「割引されたエッジが結合して発生するために必要とされる追加の独立したフォールトに対する確率的なペナルティを、組み合わせたコストが保持していなければならない」という点である。本研究は、このような正則化なしには、相関デコーディング技術は大規模な誤り耐性量子計算に求められる低エラー領域において、生存し得ない可能性を示唆している。