[論文レビュー] Is Fault-Tolerant Quantum Computation Really Possible?

M. I. Dyakonov|ArXiv.org|Oct 14, 2006

Quantum Computing Algorithms and Architecture参考文献 17被引用数 22

ひとこと要約

この論文は、誤り訂正の閾値定理が完璧なアーキテクチャ要因——特に完璧なアシスタントキュービットと誤りのない測定——を仮定しているという、物理的に現実的でない理想的な仮定に依存しているとして、耐障害性量子計算の可能性に疑問を呈する。精巧な数学的枠組みにもかかわらず、本論文は、現実のノイズ下での単一の論理キュービットの厳密な数値シミュレーションを提案し、誤り訂正が量子状態を無限に保つことができるかどうかを検証する。その結果、指数関数的に大きなヒルベルト空間における不完全な操作の累積的影響により、失敗が予測される。

ABSTRACT

The so-called "threshold" theorem says that, once the error rate per qubit per gate is below a certain value, indefinitely long quantum computation becomes feasible, even if all of the qubits involved are subject to relaxation processes, and all the manipulations with qubits are not exact. The purpose of this article, intended for physicists, is to outline the ideas of quantum error correction and to take a look at the proposed technical instruction for fault-tolerant quantum computation. It seems that the mathematics behind the threshold theorem is somewhat detached from the physical reality, and that some ideal elements are always present in the construction. This raises serious doubts about the possibility of large scale quantum computations, even as a matter of principle.

研究の動機と目的

• 完璧なアシスタントキュービットや誤りのない測定といった理想的な部品に依存するという点で、耐障害性量子計算が物理的に可能かどうかを批判的に評価すること。
• 連続的なノイズと不完全な操作が存在する中で、量子状態を無限に保てるという仮定に基づく閾値定理の物理的現実性を疑問視すること。
• 最小限で検証可能なテストを提案する：現実のノイズ下で、単一のキュービットを重ね合わせ状態に保つために必要な基本操作の完全なリストを提示し、直接的な数値シミュレーションが可能となるようにすること。
• 耐障害性方式の成功が、量子力学そのものに起因するのではなく、そうでない不完全な系に、暗黙のうちに完璧な要素（例：完璧なアシスタントキュービットの準備、誤りのない測定）を組み込んでいる可能性を示すこと。

提案手法

• 物理キュービットの集合に格納された単一の論理キュービットの最小限のモデルを構築し、xy平面における連続的なランダム回転（ノイズ）を受けるものとする。
• すべての操作——ゲート、測定、アシスタント準備——が不完全であると仮定し、理想的な要素は一切含まないものとする。測定はわずかな不純物状態を含む近似的な崩壊を示す。
• 各ゲートおよび測定に対して固定された時間ウィンドウを定義し、その間もキュービットはノイズを受けるものとし、すべての操作が再現可能かつ完全に定義済みである必要がある。
• 初期の重ね合わせ状態を理論的に維持するための、完全で実行可能な基本操作のシーケンス（測定結果に基づく条件付き分岐を含む）を構築する。
• このプロトコルを古典コンピュータ上で数値シミュレーションし、時間経過とともに論理キュービットが初期状態に近いかどうかを検証する。
• 誤差伝搬の現象論的モデルは最後の手段としてのみ使用する。ユニタリダイナミクスを尊重し、誤差追跡のみに依存する仮定を避けるために、完全な量子状態の時間発展シミュレーションを優先する。

実験結果

リサーチクエスチョン

• RQ1 物理的に現実的で不完全な操作のみを用いて、単一の論理キュービットを無限に重ね合わせ状態に保つことは可能か？
• RQ2 すべての部品——ゲート、測定、アシスタントキュービット——がノイズと不完全性にさらされている状況下で、耐障害性量子計算フレームワークは本当に機能するのか？
• RQ3 閾値定理の妥当性は、完璧なアシスタントキュービットの準備や誤りのない測定といった、暗黙の理想的な仮定に依存しているのだろうか？
• RQ4 現実のノイズ下で、量子状態の長期的保存が確認できるような、完全で実行可能な操作リストを提示できるか？
• RQ5 約10^300の振幅を持つ巨大な量子系の波動関数が、連続的かつ相関のないノイズと不完全な誤り訂正にさらされた場合、何が起こるのか？

主な発見

• 本論文は、提案された回復プロトコルの完全な数値シミュレーションが、初期の重ね合わせ状態を保てないと予測しており、耐障害性量子計算が物理的に実現可能でない可能性を示唆する。
• 閾値定理の成功は、量子誤り訂正そのものに起因するのではなく、完璧なアシスタントキュービットや誤りのない測定といった、完璧な要素の暗黙の組み込みに起因している可能性がある。
• 完璧な誤り訂正アルゴリズムが存在しても、ヒルベルト空間の指数的複雑性（2^1000 ≈ 10^300の振幅）のため、不完全な操作が1キュービットの緩和時間よりもはるかに長いスケールで波動関数を安定化させることは現実的ではない。
• 誤差伝搬を完全な量子状態の時間発展とは独立して追跡できるという仮定は疑わしく、物理的に妥当でない可能性がある。
• 現在の耐障害性量子計算の手続きは、現実世界への実装に向けた明確で検証可能な操作的定義が欠如しており、あまりに曖昧であるとされる。
• 現実のノイズモデルを用いて、古典コンピュータ上で回復プロセスの直接的シミュレーションを実施するテストを提案するが、著者はその結果が否定的になると予想している。