[論文レビュー] Reply to ``The quantum algorithm of Kieu does not solve the Hilbert's tenth problem"

Tien D. Kieu|ArXiv.org|Nov 3, 2001

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

ひとこと要約

この論文は、アディアバティックな量子遷移を用いたティエン・D・ケアウが提唱したヒルベルトの10番目の問題のための量子アルゴリズムを擁護する。批判が、未知のグローバル最小値に依存するとしてアルゴリズムの失敗を主張するが、それらは誤りであり、必要な遷移時間 T がエネルギーギャップの逆数に比例するため、固定値ではない。主な貢献は、アディアバティック定理の有効性を再確認し、古典的計算とは異なり、量子力学的原理によって有限時間内にグローバル最小値を特定可能であることを示すことである。

ABSTRACT

The arguments employed in quant-ph/0111009, to claim that the quantum algorithm in quant-ph/0110136 does not work, are so general that were they true then the adiabatic theorem itself would have been wrong. As a matter of fact, those arguments are only valid for the sudden approximation, not the adiabatic process.

研究の動機と目的

• ヒルベルトの10番目の問題のための量子アルゴリズムが、未知のグローバル最小値に依存するとして失敗するとされる主張を反論すること。
• 遷移時間 T がエネルギーギャップに適切にスケーリングされる場合、アディアバティック定理が依然として有効であることを明確にすること。
• 量子力学が、古典的計算とは異なり、物理的原理を用いて有限時間内にグローバル最小値を特定可能であることを示すこと。
• アルゴリズムの成功が、エネルギーギャップに基づく T の推定に依存することを示すこと。固定された T ではなく、問題に依存する T である。

提案手法

• 批判に根ざす重要な不等式を再表現する：|||g(T)⟩ - |g₀(T)⟩|| ≤ T‖Hₚ|gᵢ⟩‖ であり、これは突然近似にのみ適用可能であり、アディアバティック遷移には適用されないことを示す。
• T は問題に依存し、基底状態と第一励起状態の間のエネルギーギャップに反比例する必要があると主張する。
• xₘᵢₙ → ∞ のとき ‖Hₚ|gᵢ⟩‖ → 0 となるが、T が十分に大きい場合にはアディアバティック過程が破綻しないことを示す。
• アディアバティック定理を用いて、T がエネルギーギャップの逆数よりもはるかに大きくなければならないことを正当化し、瞬間的基底状態に高い確率で留まるようにする。
• 必要な T はギャップ解析を用いて推定可能であり、ハミルトニアンの調整可能なパラメータを介してそれが実現可能であると提言する。
• 基底状態は論理的ではなく物理的に検証可能であり、グローバル最小値の確認が物理的原理によって可能になることを強調する。

実験結果

リサーチクエスチョン

• RQ1 固定された遷移時間 T に基づく主張によって、ヒルベルトの10番目の問題のためのアディアバティック量子アルゴリズムが無効化可能か？
• RQ2 xₘᵢₙ → ∞ のとき ‖Hₚ|gᵢ⟩‖ → 0 であるが、これはアディアバティック遷移の失敗を意味するか？
• RQ3 ターゲット状態 xₘᵢₙ が未知であり、遷移時間 T が固定でない場合でも、アディアバティック定理は依然として有効か？
• RQ4 量子力学は、古典的計算とは異なり、有限時間内にディオファントス方程式のグローバル最小値を特定可能か？
• RQ5 物理的原理によるエネルギー的タグ付けは、計算可能性において古典的論理的比較とどのように異なるか？

主な発見

• 批判に根ざす重要な不等式は突然近似にのみ適用可能であり、アディアバティック領域には適用されないため、アルゴリズムを無効にしない。
• 遷移時間 T はエネルギーギャップの逆数に比例しなければならず、固定値にしてはならない。1つの T ではすべての問題に適用できない。
• T がエネルギーギャップに対して十分に大きい場合、アディアバティック定理により基底状態に留まる確率が高くなる。
• xₘᵢₙ → ∞ のとき ‖Hₚ|gᵢ⟩‖ → 0 であっても、T が適切に増加すれば基底状態への収束は妨げられない。
• 基底状態は物理的に検証可能であり、論理的比較ではなく物理的原理によってグローバル最小値の確認が可能になる。
• 量子力学は、エネルギー的タグ付けを用いて、無限大の定義域から有限時間内にグローバル最小値を選択可能であり、これは古典的計算には存在しない能力である。