[论文解读] The quantum algorithm of Kieu does not solve the Hilbert's tenth problem

Boris Tsirelson|ArXiv.org|Nov 1, 2001

Quantum Computing Algorithms and Architecture参考文献 1被引用 12

一句话总结

本文反驳了T. Kieu关于量子绝热算法能够求解希尔伯特第十问题并计算超出Church-Turing类函数的主张。研究表明，由于初始态与真实最小值之间的矩阵元随距离指数衰减，该算法无法在无界整数函数中找到全局最小值，导致绝热演化对大最小化器失效。

ABSTRACT

Recently T. Kieu (arXiv:quant-ph/0110136) claimed a quantum algorithm computing some functions beyond the Church-Turing class. He notes that "it is in fact widely believed that quantum computation cannot offer anything new about computability" and claims the opposite. However, his quantum algorithm does not work, which is the point of my short note. I still believe that quantum computation leads to new complexity but retains the old computability.

研究动机与目标

• 挑战T. Kieu关于量子计算可通过求解希尔伯特第十问题超越经典可计算性的主张。
• 分析Kieu提出的绝热量子算法，用于在非负整数上寻找多项式全局最小值。
• 证明当最小化器较大时，尽管处于无限维希尔伯特空间，该算法仍无法收敛至正确的基态。
• 阐明量子计算虽可能提升计算复杂度，但依然保持经典可计算性（Church-Turing论题）。

提出的方法

• 利用时间依赖哈密顿量 𝒫(t) = (1−t/T)HI + (t/T)HP 分析Kieu的绝热演化协议，从初始态 |gI⟩ 演化至 HP 的基态 |g⟩。
• 将实际演化 |g(t)⟩ 与仅在 HI 下的参考演化 |g₀(t)⟩ 进行比较，后者保持不变（仅相差相位）。
• 通过薛定谔方程与内积估计推导 |g(t)⟩ 与 |g₀(t)⟩ 之间距离的上界。
• 表明两者差值的范数随 T 最多线性增长，且有界于 T⋅‖HP|gI⟩‖。
• 评估 ‖HP|gI⟩‖ = |⟨xmin|gI⟩|，该值随 xmin → ∞ 而趋于零，暗示对真实最小值态 |xmin⟩ 的收敛性差。
• 结论：当 xmin 较大时，|g(T)⟩ 仍接近 |gI⟩ 而非 |xmin⟩，因此无法定位全局最小值。

实验结果

研究问题

• RQ1 有限演化时间 T 的量子绝热算法能否在非负整数的无限域上找到函数的全局最小值？
• RQ2 Kieu 算法中无限维希尔伯特空间是否能有效探索任意大的最小化器？
• RQ3 该算法的成功性对大 xmin 的矩阵元 ⟨xmin|gI⟩ 的依赖关系如何？
• RQ4 当最小化器未知且较大时，为何绝热演化无法达到对应全局最小值的基态？
• RQ5 该算法是否如 Kieu 所声称的那样，真正超越了 Church-Turing 可计算类？

主要发现

• 当最小化器 xmin 较大时，绝热演化无法达到对应全局最小值的基态 |xmin⟩。
• 演化态 |g(T)⟩ 与初始态 |gI⟩ 之间的距离有界于 T⋅|⟨xmin|gI⟩|，且当 xmin → ∞ 时该值趋于零。
• 由于 |⟨xmin|gI⟩| → 0（当 xmin 较大时），最终态仍接近 |gI⟩ 而非 |xmin⟩，表明无法定位最小值。
• 随着 xmin 增大，算法性能恶化，与声称的与函数结构无关的均匀有限时间性能相矛盾。
• 失败原因并非源于绝热条件，而是初始哈密顿量 HI 无法有效耦合至遥远的基态 |xmin⟩。
• 因此，该算法无法求解希尔伯特第十问题，且量子计算并未超越经典可计算性，尽管有相反主张。