[論文レビュー] Fundamental thresholds of realistic quantum error correction circuits from classical spin models

Davide Vodola, Manuel Rispler+2 more|arXiv (Cornell University)|Jan 1, 2021

Quantum Computing Algorithms and Architecture参考文献 50被引用数 2

ひとこと要約

本論文は、相関するクエンチド不純物を有する古典的不規則スピン模型にマッピングすることで、現実的量子誤り訂正（QEC）回路の根本的誤り閾値を決定する手法を提案する。ノイズの多い1次元繰り返し符号における故障した安定化子測定の誤り伝播を分析することで、有効なスピンハミルトニアンを導出し、モンテカルロシミュレーションを用いてその相図を研究し、特定のデコーディング戦略に依存しない閾値を確立する。これにより、近い将来のQECハードウェア開発を支援する強固なフレームワークが得られる。

ABSTRACT

Mapping quantum error correcting codes to classical disordered statistical mechanics models and studying the phase diagram of the latter has proven a powerful tool to study the fundamental error robustness and associated critical error thresholds of leading quantum error correcting codes under phenomenological noise models. In this work, we extend this mapping to admit realistic, multi-parameter faulty quantum circuits in the description of quantum error correcting codes. Based on the underlying microscopic circuit noise model, we first systematically derive the associated strongly correlated classical spin models. We illustrate this approach in detail for the example of a quantum repetition code in which faulty stabilizer readout circuits are periodically applied. Finally, we use Monte-Carlo simulations to study the resulting phase diagram of the associated interacting spin model and benchmark our results against a minimum-weight perfect matching decoder. The presented method provides an avenue to assess the fundamental thresholds of QEC codes and associated readout circuitry, independent of specific decoding strategies, and can thereby help guiding the development of near-term QEC hardware.

研究の動機と目的

• 量子誤り訂正と古典的統計力学の間のマッピングを、QEC回路における現実的で多パラメータのノイズモデルへと拡張すること。
• 特に安定化子測定操作において生じる相関誤りから生じる有効なノイズ過程を同定すること。
• 誤り伝播の本質的物理を捉える、クエンチド不純物を有する有効な古典的スピンハミルトニアンを導出すること。
• 特定のデコーディングアルゴリズムに依存しない根本的誤り閾値を計算し、QECハードウェアのパフォーマンス評価基準を提供すること。
• 近い将来のQECアーキテクチャが現実的ノイズ下で示し得る最大の誤り耐性を体系的に評価するフレームワークを提供すること。

提案手法

• CNOTおよびRYゲートを通る誤り伝播を分析することで、1次元位相反転繰り返し符号における回路レベルのノイズを、クエンチド不純物を有する有効な古典的スピン模型にマッピングする。
• 3つの基本的誤りタイプを特定：単一キュービット位相反転誤り（p）、測定誤り（q）、および相関するデータ位相反転＋隣接シンドローム反転イベント（r）で、これらはシンドローム格子に欠陥を生成する。
• 頂点がシンドローム欠陥を表し、辺が可能な誤りチェーンを表す三角格子シンドロームグラフを構築し、辺の重みは3つの部分格子上の最小重みパス問題から導出する。
• シンドローム格子における垂直、水平、対角リンクに対応する3体相互作用（J1, J2, J3）を有する有効なスピンハミルトニアンを導出する。
• 得られたスピン模型の相図をモンテカルロシミュレーションで研究し、秩序（訂正可能）と無秩序（論理的失敗）の相の臨界閾値を特定する。
• 最小重み完全マッチングデコーダーとの比較を通じて、閾値推定値を検証し、論理的誤り率の遷移と一貫性があることを確認する。

実験結果

リサーチクエスチョン

• RQ1 故障した安定化子測定回路に起因する相関誤りを含む、現実的で多パラメータのノイズ下における1次元繰り返し符号の根本的誤り閾値は何か？
• RQ2 単一キュービット位相反転誤り、測定誤り、相関するデータ・シンドローム反転誤りといった異なる誤りタイプは、論理的誤り率にどのように相互作用し影響を与えるか？
• RQ3 クエンチド不純物を有する古典的スピン模型へのマッピングは、デコーディング戦略に依存しないQEC回路の臨界閾値を正確に予測できるか？
• RQ4 p, q, rの相対的な強度が、相転移点および論理的誤り率にどのように影響を与えるか？
• RQ5 シンドローム格子の幾何学的構造と欠陥ペアリングの役割は、現実的ノイズ下での閾値挙動を決定づけるか？

主な発見

• 論理的誤り率は、誤り率の増加に伴い、抑制から増幅への遷移を示し、コード距離dを増加させても誤り率が低下しなくなるインflexion点（すなわち閾値）で識別される。
• p = q = rの場合、閾値はp ≈ 0.066に推定され、論理的誤り率が平らに保たれ、その後増加する。
• p = q = 2rの場合、閾値はp ≈ 0.076にシフトし、同じ大きさの誤り量において相関誤り（r）は独立誤り（p, q）よりも悪影響を及ぼさないことが示される。
• p = q = r/2の場合、閾値はp ≈ 0.054に低下し、rがpとqに対して相対的に大きい場合には相関誤り（r）がより有害であることが示される。
• r = 0（相関誤りなし）の場合、閾値はp ≈ 0.105に達し、相関誤りの存在が全体の誤り閾値を低下させることを確認する。
• スピン模型の相転移解析の結果は、最小重みマッチングデコーダーの論理的誤り率挙動と一致しており、本手法の正確性およびデコーディングヒューリスティクスに依存しない信頼性が裏付けられる。