[论文解读] Reply to Andrew Hodges

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

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

一句话总结

本文为一种量子绝热算法进行辩护，该算法通过将希尔伯特第十问题（经典上不可计算）映射到量子哈密顿系统来求解。文章认为该算法在逻辑上一致且在物理上可实现，援引了在量子相变中实现丢番图方程的实验成果，表明无限精度要求可能并非物理上不可逾越的障碍。

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.

研究动机与目标

• 反驳针对求解希尔伯特第十问题的量子绝热算法的批评，特别是安德鲁·霍奇斯（Andrew Hodges）的批评。
• 澄清先前批评中的误解源于对算法逻辑结构和假设的误读。
• 论证尽管存在对无限精度的担忧，但物理实现并未被已知物理原理所排除。
• 证明具有整数系数的简单丢番图方程已在量子相变实验中实现。
• 建议统计原理（如中心极限定理）可能有助于在实际中有效实现所需的哈密顿量。

提出的方法

• 区分对算法逻辑一致性的批评与对其实现物理可行性的批评。
• 重申算法通过测量概率识别基态的标准在数学上正确，并通过新证明修正了先前的条件。
• 分析量子绝热演化在从初始哈密顿量过渡到编码丢番图方程的最终哈密顿量中的作用。
• 利用玻色- Hubbard 模型将超流到 Mott 绝缘相变建模为方程 x − m̃ = 0 的物理实现。
• 应用平均场近似，将多体哈密顿量简化为具有时变系数的单格点有效哈密顿量。
• 将算法对高精度系数的需求与超冷原子系统中相变时自然出现此类精度的实验实现相比较。

实验结果

研究问题

• RQ1 该量子绝热算法在被指称存在缺陷的情况下，是否仍具有逻辑一致性？
• RQ2 对算法的批评是否源于对其形式结构或物理实现的误解？
• RQ3 哈密顿量系数中要求的无限精度是否构成实现的物理根本障碍？
• RQ4 在量子相变中实现丢番图方程的实验是否可作为该算法物理可行性的证据？
• RQ5 统计原理（如中心极限定理）是否可在实践中通过平均多个实验实现来辅助近似实现所需的高精度哈密顿量？

主要发现

• 该算法在逻辑上一致且数学上正确，新证明验证了其核心基态识别标准。
• 针对史密斯（Smith）反例的批评，通过识别先前条件的缺陷并提供经严格证明的修正标准得以解决。
• 在超冷原子中实现的超流到 Mott 绝缘相变实验表明，具有整数系数的丢番图方程可被物理实现。
• 玻色- Hubbard 模型在临界 U/J 比处的相变有效实现了线性丢番图方程 x − m̃ = 0 的求解。
• 平均场近似将多体系统简化为单格点有效哈密顿量，使该系统能清晰映射到算法框架中。
• 中心极限定理可能通过平均多个实验实现来近似高精度哈密顿量，从而降低对无限精度的需求。