[論文レビュー] Reliable Final Computational Results from Faulty Quantum Computation

Gerald Gilbert, Michael Hamrick+1 more|ArXiv.org|Jun 29, 2007

Quantum Computing Algorithms and Architecture参考文献 1被引用数 3

ひとこと要約

本稿は、故障許容理論とキタエフの量子計算モデルを統合するフレームワークを提示し、ゲートエラーと測定の不確実性の両方を考慮して、量子計算の最終結果が信頼できるものであることを保証する。量子コンピュータ条件（QCC）を用いて、最終計算結果の所望の成功確率を達成するために必要なエラー訂正の連結レベルの数を定量的に特定する条件を導出している。これは、正しい最終量子状態そのものではなく、最終的な計算結果の信頼性を目的としている。

ABSTRACT

In this paper we extend both standard fault tolerance theory and Kitaev's model for quantum computation, combining them so as to yield quantitative results that reveal the interplay between the two. Our analysis establishes a methodology that allows us to quantitatively determine design parameters for a quantum computer, the values of which ensure that an overall computation of interest yields a correct *final result* with some prescribed probability of success, as opposed to merely ensuring that the desired *final quantum state* is obtained. As a specific example of the practical application of our approach, we explicitly calculate the number of levels of error correction concatenation needed to achieve a correct final result for the overall computation with some prescribed success probability. Since our methodology allows one to determine parameters required in order to achieve the correct final result for the overall quantum computation, as opposed to merely ensuring that the desired final quantum state is produced, our method enables the determination of complete quantum computational resource requirements associated to the actual solution of practical problems.

研究の動機と目的

• ゲートエラー（故障許容性により処理）と測定の不確実性（キタエフのモデルにより処理）を別々に扱う既存の量子計算フレームワークのギャップを埋めること。しかし、両者の組み合わせによる最終計算の信頼性への影響は考慮されていない。
• 故障許容性の制約を、最終量子状態の忠実度ではなく、実際に得られる最終計算結果の信頼性に直接結びつける定量的手法を構築すること。
• 実用的問題を解くために必要な完全な量子計算リソース要件を、所定の確率で正しい最終出力が得られるように保証することで、決定可能にする。
• 量子計算のエラーと測定のランダムネスの両方を含む、全体の計算について所望の成功確率を達成するために必要なエラー訂正の連結レベルの数を明示的に計算すること。

提案手法

• 理想の最終量子状態とノイズのある量子計算によって得られる実際の状態との差を、ノルムに基づく測度として「実装不正確さ」と定義する。
• 量子コンピュータ条件（QCC）を、信頼できる計算を保証するために、実装不正確さが所定のしきい値未満に抑えられる必要がある基本的な不等式として定義する。
• QCCをキタエフのモデルと組み合わせることで、最終測定結果の誤差確率と実装不正確さを関連づけ、故障許容性と全体の計算信頼性を結びつける。
• 標準的な故障許容理論を用いて、全体の量子計算エラーを基本ゲートエラーの項で表現し、必要なエラー訂正レベルの定量的境界を導出する。
• 最終結果の所望の成功確率を達成するために必要な最小連結レベル数 $ N $ の閉形式表現を導出する：$ N \gtrsim \log_2 \frac{\ln \frac{2\mathcal{N}\epsilon_{\text{th}}}{\hat{p}-p}}{\ln \frac{\epsilon_{\text{th}}}{\epsilon_0}} $、ここで $\hat{p}$ は目標成功確率、$p$ は測定エラーの上限である。
• 図2に示すように、基本ゲートエラー確率 $\epsilon_0$ の関数として必要な連結レベル数を示すトレードオフ曲線を構築し、両方の誤差源を明示的に組み込む。

実験結果

リサーチクエスチョン

• RQ1 故障許容理論とキタエフの量子計算モデルをどのように統合することで、ゲートエラーと測定の不確実性の両方を考慮した信頼できる最終結果を保証できるか？
• RQ2 所定の確率で正しい最終出力が得られるようにするため、量子計算において必要なエラー訂正の連結レベルの最小数は何か？
• RQ3 理想状態と実際の最終量子状態とのノルム差として定義される実装不正確さは、最終計算結果の全体的な信頼性とどのように関係するか？
• RQ4 基本ゲートの忠実度を向上させることと、連結レベルを増加させることの間には、最終結果の目標成功確率を達成するためにどのようなトレードオフがあるか？
• RQ5 量子コンピュータ条件（QCC）を用いて、所望の計算信頼性レベルを保証する、明示的かつ数量的な設計パrameterを導出できるか？

主な発見

• 本稿は、最終結果の所望の成功確率 $\hat{p}$ を達成するために必要なエラー訂正の連結レベル数を定量的に求める式を導出している：$ N \gtrsim \log_2 \frac{\ln \frac{2\mathcal{N}\epsilon_{\text{th}}}{\hat{p}-p}}{\ln \frac{\epsilon_{\text{th}}}{\epsilon_0}} $。この式は、ゲートエラーと測定の不確実性の両方を明示的に考慮している。
• 成功確率 $\hat{p} = 0.6$、測定エラー上限 $p = 0.2$、$\mathcal{N} = 10^{12}$ ゲート、エラーしきい値 $\epsilon_{\text{th}} = 10^{-9}$ の場合、必要な連結レベル数は導出された式によって決定され、図2に可視化されている。
• この手法により、最終的な計算結果が所定の確率で正しいことが保証される。これは、最終量子状態が理想状態に近いかどうかという点ではなく、最終結果の信頼性を保証する点で、故障許容解析における重要なギャップを埋めている。
• このアプローチにより、故障許容パrameterとエンド・トゥ・エンドの信頼性を結びつけることで、実用的問題に対する完全な量子計算リソース要件を直接計算可能になる。
• 結果から、標準的な故障許容理論だけでは、測定のランダムネスを考慮しないため、最終結果の信頼性を決定できないことが示された。QCCフレームワークが、この関係を確立するために不可欠である。
• このフレームワークは一般性を持ち、測定に基づく量子計算やアディアバティック量子計算などの他の量子計算パラダイムに対しても、QCCをそれらの全体的ダイナミクスに適用することで拡張可能である。