[論文レビュー] Hypercomputability of quantum adiabatic processes: Fact versus Prejudices

Tien D. Kieu|ArXiv.org|Apr 14, 2005

Computability, Logic, AI Algorithms参考文献 41被引用数 7

ひとこと要約

本稿は、ヒルベルトの10番目の問題——古典的計算では再帰的に決定不能であることが知られている——を解くための量子断続的アルゴリズムを提案する。このアルゴリズムは、無限次元ヒルベルト空間におけるハミルトニアンのグローバル・ミニマを確率的に特定するため、量子断続定理を活用する。主な貢献は、任意に小さな誤差で確率的に正しい結果を達成するハイパーコンピュテーション・フレームワークの構築であり、量子トンネル効果と確率的収束によって古典的決定不能性を回避する点にあり、これは量子力学的計算がチューリング・バリアを越えて計算可能性を拡張できることを示唆する。

ABSTRACT

We give an overview of a quantum adiabatic algorithm for Hilbert's tenth problem, including some discussions on its fundamental aspects and the emphasis on the probabilistic correctness of its findings. For the purpose of illustration, the numerical simulation results of some simple Diophantine equations are presented. We also discuss some prejudicial misunderstandings as well as some plausible difficulties faced by the algorithm in its physical implementation.

研究の動機と目的

• 量子力学が古典的計算可能性をチューリング・バリアを越えて拡張できるかどうかという、長年の未解決問題に取り組むこと。
• 量子断続的プロセスが、ヒルベルトの10番目の問題のような再帰的に非計算可能な問題を、確率的に正しいアルゴリズムによって解くことができることを示すこと。
• 量子計算がハイパーコンピュテーションを達成できないという一般的な偏見に反論すること。特に、カントールの対角線論法に基づく制約について。
• 無限次元ヒルベルト空間におけるこのようなハイパーコンピュテーション・モデルの実現可能性と物理的実装の課題を検討すること。
• 量子断続的計算、量子相転移、一般化された非計算可能性の間の概念的および数学的橋渡しを確立すること。

提案手法

• アルゴリズムは、量子断続定理を用いて、単純な初期ハミルトニアンから出発し、ディオファントス方程式を符号化した問題ハミルトニアンへと量子系を段階的に変化させる。
• 系は無限次元ヒルベルト空間内で断続的に進化し、量子トンネル効果により最終ハミルトニアンのグローバル・ミニマ（基底状態）に到達する。
• 基底状態はディオファントス方程式の解に対応し、進化時間の延長に伴い成功確率が1に近づく。
• アルゴリズムは確率的に正しい：任意に小さな事前指定誤差確率で失敗する可能性があるが、断続的時間の延長によってこれを低減可能。
• 物理的直感として、無限大の地形を持つ量子系でさえ、有限時間内にグローバル・ミニマに到達しうることに依拠している。これは、水が最も低い点へと流れるのと類似している。
• 決定的確実性を要求しない代わりに確率的正しさを受け入れることで、カントールの対角線化に基づく否定的定理を回避する。

実験結果

リサーチクエスチョン

• RQ1 量子断続的プロセスは、ヒルベルトの10番目の問題のような再帰的に非計算可能な問題をハイパーコンピュートできるか？
• RQ2 量子アルゴリズムは、無限次元ヒルベルト空間において、任意に小さな誤差確率で正しく動作できるか？
• RQ3 なぜ古典的対角線論法は、量子断続的モデルにおける確率的ハイパーコンピュテーションを排除しないのか？
• RQ4 量子断続的遷移が未決定問題を解くために必要な物理的および数学的条件は何か？
• RQ5 このアルゴリズムは実際の実装が可能か？その実現に向けた主な物理的障壁は何か？

主な発見

• 量子断続的アルゴリズムは、古典的計算下で再帰的に決定不能であるにもかかわらず、正解確率を1に限りなく近づけることができる。
• 簡単なディオファントス方程式の数値シミュレーションにより、有限時間内でのアルゴリズムの確率的収束の実現可能性が示された。
• 決定的出力ではなく確率的正しさを受け入れることで、カントールの対角線化に基づく否定的定理を回避でき、古典的モデルでは利用できないこの抜け道が存在する。
• 無限次元ヒルベルト空間は、断片化された空間からの不確実性を誤差確率で定量化すれば、ハイパーコンピュテーションに必須ではない。
• 量子相転移は、アルゴリズムの実現例として特定され、QAC、ハイパーコンピュテーション、および量子臨界性の間の深い関係を示唆している。
• この手法は、有限に反証可能な再帰的に非計算可能な問題へと一般化可能であり、量子ハイパーコンピュテーションの範囲を拡張する可能性を示している。