Surface Code with Imperfect Erasure Checks

技術要約：不完全な消去チェックを伴う表面符号

問題提起
量子誤り訂正（QEC）における最近の進展は、「消去量子ビット（erasure qubits）」に焦点を当てている。これは、支配的な物理ノイズが、検出および消去への変換が可能なリーク状態として現れるものである。理論的研究によれば、消去エラーを利用するQECプロトコルは、標準的なパウリノイズに対して、大幅に高い実効エラー距離と閾値エラー率を持つことが示されている。しかし、これらの理論的利点は、多くの場合、すべてのゲート操作後に完璧な消去チェックが行われることを前提としている。実際には、このような完璧なチェックを実装することは、多大な時間とハードウェアのオーバーヘッドを招く。例えば、超伝導デュアルレール（DR）量子ビットアーキテクチャにおいて、すべてのゲート後に専用の消去チェックを実行すると、誤り訂正サイクルの時間が2倍になり、さらにチェック自体が新たなエラーを導入する可能性がある。さらに、実用的な消去チェックは、以下のような不完全性を伴う可能性がある：

1. 不完全な時間分解能： チェックは遅延を伴ってリークイベントを検出する場合があり、時刻 $t$ に発生したフラグが、時刻 $t$ または $t-1$ のリークイベントに対応する可能性がある。
2. 不完全な空間分解能： チェックは特定の2量子ビットゲート内でリークが発生したことは示すが、参加している2つの量子ビットのうちどちらがリークしたかを特定できない場合がある。

本研究では、これらの不完全性が表面符号の性能に与える影響を調査し、チェックが不完全であってもオーバーヘッド効率が高い場合に、消去量子ビットの利点が維持されるかどうかを検討する。

手法
著者らは、2種類のリーク誘発パウリエラーと、2種類の消去チェックの不完全性を組み合わせた4つの異なるノイズモデルの下で表面符号を分析している：

• リーク誘発パウリモデル：
  • 一般パウリモデル： リークした量子ビットが、相互作用する量子ビットに対して等確率でパウリエラー（$I, X, Y, Z$）を誘発する。
  • テーラード（特化した）パウリモデル： 超伝導DR量子ビット（特に組み込みチェックを持つキャビティベースのDR）に着想を得たこのモデルでは、誘発されるエラーが制限されていることを想定する。CZゲートの場合、エラーは $\{I, Z\}$ から抽出され、CXゲートの場合は $\{I, X\}$ から抽出される。この制限は、DRプラットフォームの特定の物理特性に由来する。
• 消去チェックの不完全性：
  • 完全な空間分解能： チェックはリークした正確な量子ビットを特定する。
  • 不完全な空間分解能： チェックはリークを含むゲートを特定するが、特定の量子ビットまでは特定できず、両方の量子ビットのリセットを必要とする。
  • 不完全な時間分解能： パラメータ $\eta$ によって特徴付けられ、これはフラグが立てられたリークが、現在のゲートではなく直前のゲートで発生した確率を表す。

著者らは、確率的な回路レベルノイズを用いたモンテカルロ・シミュレーションと、重み付きUnion-Find（UF）デコーダを採用している。デコーダは、遅延検出（単一のリークイベントが時間の経過とともに複数の量子ビットにエラーを伝播させる可能性がある）によって導入される相関エラーと、空間分解能の不確実性を考慮するように調整されている。彼らは、様々な $\eta$ および消去分率 $R_e$ の値に対して、閾値エラー率（$p_{th}$）と実効エラー距離（$d_{eff}$）を評価している。

主な結果

1. 閾値性能：

   • 物理的に妥当な仮定（例：$\eta \approx 0.986$ および $R_e \approx 0.98$）の下では、不完全な消去チェックを伴う表面符号の閾値は、純粋なパウリノイズの閾値（$\sim 1\%$）よりも依然として大幅に高い。
   • 具体的には、テーラード・パウリモデルを用いた不完全なチェック下での閾値は約 4.23% であり、これはパウリの閾値の2倍以上であり、完全な消去検出の場合（$\sim 5.56\%$）よりわずかに低い程度である。
   • 時間分解能が悪い最悪のシナリオ（$\eta \to 0$）においても、閾値はパウリの限界を十分に上回っている（モデルに応じて $\sim 2.6\%$ から $\sim 4.9\%$ の範囲）。
   • 空間的に完全なチェックと空間的に不完全なチェックの間の差は、一般パウリモデルでは無視できるが、$\eta \to 1$ の場合のテーラード・パウリモデルでは有意（$>1\%$）である。

2. 実効エラー距離 ($d_{eff}$):

   • 一般パウリモデル： 不完全な時間分解能は実効距離を低下させる。符号のサイズ $d$ に対して、$\eta$ が減少するにつれて、論理 $Z$ エラー（$Z_L$）に対する実効距離は $d$ から約 $(d+1)/2$ に低下し、実質的にパウリノイズのスケールへと回帰する。
   • テーラード・パウリモデル： 極めて重要なことに、実効距離は堅牢である。不完全な時間的および空間的分解能があっても、論理 $Z_L$ および $X_L$ エラーの両方に対する実効距離は $d$ のままである。これは、制限されたエラーセット（$\{I, Z\}$ または $\{I, X\}$）が、最小重みの論理演算子を形成するために必要な特定の相関エラーを生成することを防ぐためである。

3. ハードウェア効率：

   • 本研究は、これらのモデルを既存の超伝導デュアルレール・アーキテクチャに関連付けている。組み込みの消去チェックを備えたキャビティベースのDR（空間的に不完全だが時間的に効率的）は、明示的なチェックスキームと比較して、同じ $d_{eff}$ を達成するために必要なトランスモンの数（従来の量子ビットの約29%）が大幅に少なくて済む。

意義と主張
論文は、消去量子ビットの大きな利点、すなわち、フォールトトレランスのための緩和されたシステム要件が、現実的な不完全性に対しても堅牢であることを主張している。

• オーバーヘッドの削減： 高性能な表面符号メモリを実現するために、（不完全な空間的/時間的分解能を持つ組み込みチェックのような）「オーバーヘッド効率の高い」消去チェックを使用しても、提供された条件（リーク誘発ノイズが超伝導DR量子ビットに見られるような「テーラード」構造に従う場合）において、閾値や実効距離を損なうことなく達成できることを示している。
• 実用的な実現可能性： 結果は、完璧なリアルタイムの消去チェックという厳しい要件は必ずしも必要ではないことを示唆している。システムは、標準的なパウリノイズの2倍以上の閾値エラー率を維持しながら、遅延検出や空間的な曖昧さを許容することができる。
• ノイズ特性評価： 本研究は、詳細なノイズモデルの実験的な特性評価（特に、リークが一般のパウリエラーを誘発するか、あるいはテーラード・パウリエラーを誘発するかどうか）の重要性を強調している。これは、不完全なチェック下で符号が距離の利点を保持するかどうかを決定するためである。

著者らは、緩和されたシステム要件を用いて高性能な表面符号メモリを実現することが可能であると結論付けており、これは超伝導量子プロセッサにおける簡素化されたハードウェア効率の良い消去チェック戦略の使用を動機付けるものである。