[論文レビュー] Minimum weight perfect matching of fault-tolerant topological quantum error correction in average $O(1)$ parallel time

Austin G. Fowler|arXiv (Cornell University)|Jul 6, 2013

Quantum Computing Algorithms and Architecture被引用数 16

ひとこと要約

この論文は、物理的に現実的な誤り率の仮定のもとで、故障耐性のあるトポロジカル量子誤り訂正における最小重み完全マッチングが、各プロセッサが固定数のキュービットを処理する2次元配列の古典的プロセッサを使用して、平均O(1)の並列時間で解けることを証明している。この手法により、システムサイズLにかかわらず、誤り検出ラウンドごとに一定の平均処理時間を確保しながら、グローバルに最適なデコードが可能となる。

ABSTRACT

Consider a 2-D square array of qubits of extent $L imes L$. We provide a proof that the minimum weight perfect matching problem associated with running a particular class of topological quantum error correction codes on this array can be exactly solved with a 2-D square array of classical computing devices, each of which is nominally associated with a fixed number $N$ of qubits, in constant average time per round of error detection independent of $L$ provided physical error rates are below fixed nonzero values, and other physically reasonable assumptions. This proof is applicable to the fully fault-tolerant case only, not the case of perfect stabilizer measurements.

研究の動機と目的

• 大規模な量子コンピュータ向けに、リアルタイムでのトポロジカル量子誤り訂正符号のデコードのスケーラビリティ課題に取り組む。
• シリアルなデコードアルゴリズムのボトルネックを克服し、並列で分散型の古典的処理アーキテクチャを可能にする。
• システムサイズLに依存しない、誤り検出ラウンドごとに一定の平均処理時間で古典的デコードが行えることを示す。
• 物理的誤り率とハードウェア制約のもとでも、故障耐性のあるデコードが実現可能であることを保証する。
• 局所的な古典的処理要素を用いた、スケーラブルで非同期的かつグローバルに最適なデコード戦略の理論的妥当性を証明する。

提案手法

• 各プロセッサが固定数Nのキュービットに関連付けられ、検出イベントの局所的デコードを実行する2次元配列の古典的コンピューティングデバイスを用いる。
• 各処理要素が検出イベントの局所的パッチを処理する、並列版の最小重み完全マッチングアルゴリズムを実装する。
• 検出イベントは局所的に相関しており、誤りチェーンは通常は短距離に限られるため、最小限の長距離通信で局所的計算が可能になる。
• エドモンズのマッチングアルゴリズムにおける交互木技術を、非同期更新と確率的ストールに対応して並列実行可能に適応する。
• 量子ハードウェアが定義する定常時間（Tq）を一定時間のハートビートとして用い、古典的ASICが十分に高速（Tq = 2Tc）であることを保証し、平均負荷を処理し、まれに発生する指数的にまれな大きな交互木からの遅れを回復できるようにする。
• 検出イベントの影響半径の最大値が対数的に増加すること（O(log L)）に起因し、ラウンドごとの平均処理時間がO(1)のまま保たれることを証明する。

実験結果

リサーチクエスチョン

• RQ1 物理的に現実的な誤り率のもとで、トポロジカル量子誤り訂正の最小重み完全マッチング問題を、分散型古典的アーキテクチャを用いて一定の平均並列時間で解けるか。
• RQ2 2次元キュービット格子における検出イベントのデコードの平均並列複雑度は、物理的に現実的な誤り率のもとでどの程度か。
• RQ3 故障した部品や確率的ゲート誤りが、トポロジカル符号における古典的デコードのスケーラビリティに与える影響は何か。
• RQ4 局所的通信と各処理ユニットの有限メモリのみを用いて、グローバルに最適なデコード解を得られるか。
• RQ5 指数的にまれな大きな交互木が全体のデコード遅延に与える影響は何か。また、グローバルな同期なしでシステムは回復可能か。

主な発見

• トポロジカル量子誤り訂正の最小重み完全マッチング問題は、システムサイズLにかかわらず、誤り検出ラウンドごとに平均O(1)の並列時間で解ける。
• 検出イベントの影響半径の最大値が対数的に増加すること（O(log L)）に起因し、ラウンドごとの平均処理時間が定数で抑えられることを示した。
• 最悪ケースの複雑度はO(n²)であるが、平均ケースの複雑度はn（1ラウンドあたりの検出イベント数）に比例してO(n)となる。
• 提案された並列デコードアーキテクチャは非同期的であり、処理を遅らせるまれな指数的まれな大きな交互木に対しても耐性がある。
• 古典的ASICは平均処理レートの2倍の速度で動作可能（Tq = 2Tc）に設計でき、遅延後に回復し、リアルタイムデコードを維持できる。
• 与えられた物理的仮定（非ゼロだが有界なゲート誤り、漏れ、損失誤り率）のもとで、誤りのグローバルに最適な補正が保証される。