[论文解读] 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·基厄提出的用于求解希尔伯特第十问题的量子算法进行辩护，该算法基于绝热量子演化。文章认为，批评者声称该算法因依赖于未知的全局最小值而失败的观点无效，因为所需演化时间 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.

研究动机与目标

• 反驳关于希尔伯特第十问题的量子算法因依赖于未知全局最小值而失败的论断。
• 阐明当演化时间 T 与能隙适当缩放时，绝热定理依然有效。
• 证明量子力学可通过物理原理实现对全局最小值的有限时间识别，而经典计算无法做到。
• 表明该算法的成功取决于基于能隙对 T 的估计，而非与问题无关的固定 T。

提出的方法

• 重新表述批评中的关键不等式：|||g(T)⟩ - |g₀(T)⟩|| ≤ T‖Hₚ|gᵢ⟩‖，表明其仅适用于突然近似，不适用于绝热演化。
• 主张 T 必须依赖于问题，并与基态与第一激发态之间的能隙成反比。
• 证明当 xₘᵢₙ → ∞ 时，‖Hₚ|gᵢ⟩‖ → 0 并不否定绝热过程，只要 T 足够大。
• 利用绝热定理证明，T 必须远大于能隙的倒数，以保持在瞬时基态中的高概率。
• 提出可通过能隙分析估算所需 T，且该估算可通过哈密顿量中的可调参数实现。
• 强调基态可通过物理手段验证，而不仅通过逻辑判断，从而实现对全局最小值的物理确认。

实验结果

研究问题

• RQ1 基于固定演化时间 T 的论断能否使希尔伯特第十问题的绝热量子算法失效？
• RQ2 当 xₘᵢₙ → ∞ 时，‖Hₚ|gᵢ⟩‖ 趋近于零是否意味着绝热演化失败？
• RQ3 当目标态 xₘᵢₙ 未知且演化时间 T 不固定时，绝热定理是否仍然有效？
• RQ4 量子力学能否在有限时间内识别丢番图方程的全局最小值，而经典计算无法做到？
• RQ5 物理原理中的能量标记与经典计算中的逻辑比较在可计算性上有什么不同？

主要发现

• 批评中提出的关键不等式仅适用于突然近似，不适用于绝热区域，因此不构成对算法的无效化。
• 演化时间 T 必须与能隙的倒数成比例，而非固定不变；单一 T 无法适用于所有问题。
• 当 T 相对于能隙足够大时，绝热定理可确保系统保持在基态的高概率。
• 当 xₘᵢₙ → ∞ 时，‖Hₚ|gᵢ⟩‖ → 0 并不阻止系统收敛至基态，只要 T 相应增加。
• 基态可通过物理手段验证为解，从而借助物理原理而非仅逻辑比较，实现对全局最小值的确认。
• 量子力学可通过能量标记在有限时间内从无限域中选出全局最小值，这是经典计算所不具备的能力。