[論文レビュー] Reply to Andrew Hodges

Tien D. Kieu|ArXiv.org|Feb 26, 2006

Quantum Computing Algorithms and Architecture参考文献 21被引用数 6

ひとこと要約

この論文は、ヒルベルトの10番目の問題（古典的には非計算可能）を量子ハミルトニアン系にマッピングすることで解く、量子断熱的アルゴリズムを擁護している。論文は、このアルゴリズムが論理的に整合的であり、物理的に実現可能であると主張し、ダイオファンチン方程式が量子相転移において実現された事例を根拠に、無限の精度要件が物理的に禁断的であるとは限らないと示している。

ABSTRACT

We separate the criticisms of Hodges \cite{Hodges2005} and others into those against the algorithm itself and those against its physical implementation. We then point out that {\em all} those against the algorithm are either misleading or misunderstanding, and that the algorithm is self consistent. The only central argument against physical implementations of the algorithm, on the other hand, is based on an assumption that its Hamiltonians cannot be effectively constructed due to a lack of infinite precision. However, so far there is no known physical principle dictating why that cannot be done. To show that the criticism may not be a forgone conclusion, we point out the virtually unknown fact that, on the contrary, simple instances of Diophantine equations with apparently {\em infinitely precisely} integer coefficients have {\em already} been realised in experiments for certain quantum phase transitions. We also speculate on how central limit theorem of statistics might be of some help in the effective implementation of the required Hamiltonians.

研究の動機と目的

• アンドリュー・ハッジズによる批判を反論すること。特に、ヒルベルトの10番目の問題を解くための量子断竣工アルゴリズムに関する批判に。
• 過去の批判が、アルゴリズムの論理的構造や仮定の誤解に起因していることを明確にすること。
• 無限の精度に関する懸念にもかかわらず、物理的実装が既知の物理法則によって排除されないことを主張すること。
• 整数係数をもつ単純なダイオファンチン方程式が、すでに量子相転移実験で実現されていることを示すこと。
• 中心極限定理のような統計的原理が、必要なハミルトニアンの有効的な実装を支援する可能性があると提言すること。

提案手法

• アルゴリズムの論理的整合性に関する批判と物理的実装に関する批判を区別すること。
• 測定確率を用いた基底状態同一定理の数学的正しさを再確認し、以前の条件を修正する新しい証明を提示することで、アルゴリズムの基準の数学的正しさを裏付ける。
• 初期ハミルトニアンから、ダイオファンチン方程式を符号化した最終ハミルトニアンへの量子断竣工的遷移の役割を分析すること。
• ボーズ＝ハッバーモデルを用いて、超流動からモット絶縁体への相転移を、方程式 x − m̃ = 0 の物理的実装としてモデル化すること。
• 多体ハミルトニアンを時間に依存する係数を持つ単一サイト有効ハミルトニアンに還元するための平均場近似を適用すること。
• 高精度係数の必要性と、超低温原子系における相転移で自然に現れるような精度の高さの類似性を指摘すること。

実験結果

リサーチクエスチョン

• RQ1 ヒルベルトの10番目の問題を解くための量子断竣工アルゴリズムは、欠陥の指摘があるにもかかわらず論理的に整合的であると言えるか？
• RQ2 批判は、アルゴリズムの形式的構造の誤解、それとも物理的実装に関する誤解に基づいているのか？
• RQ3 ハミルトニアン係数における無限の精度要件が、物理的実装の根本的障壁であると見なされるべきか？
• RQ4 量子相転移におけるダイオファンチン方程式の実験的実現が、アルゴリズムの物理的実現可能性を示す証拠となるか？
• RQ5 中心極限定理のような統計的原理が、実際の応用において必要な高精度ハミルトニアンを近似するのを支援できるか？

主な発見

• アルゴリズムは論理的に整合的で数学的に正しく、基底状態同一定理の核心的基準を裏付ける新しい証明が与えられた。
• スミスの反例に基づく批判は、以前の条件の欠陥を特定し、修正された厳密な証明付きの基準を提示することで解決された。
• 超低温原子系における超流動からモット絶縁体への相転移の実験的実現は、整数係数をもつダイオファンチン方程式が物理的に実現可能であることを示している。
• ボーズ＝ハッバーモデルの臨界 U/J 比における相転移は、線形ダイオファンチン方程式 x − m̃ = 0 の解法を実際に実装している。
• 平均場近似により、多体系が単一サイト有効ハミルトニアンに簡略化され、アルゴリズムの枠組みへの明確なマッピングが可能になった。
• 中心極限定理は、多数の実験的実現を平均化することで、高精度ハミルトニアンの近似が可能となり、無限の精度の必要性を減らす支援になる可能性がある。