[论文解读] A Quantum Algorithm for the Hamiltonian NAND Tree

Edward Farhi, Jared V. Goldstone+1 more|ArXiv.org|Feb 14, 2007

Quantum Computing Algorithms and Architecture参考文献 4被引用 71

一句话总结

本文提出了一种连续时间量子行走算法，可在与√N成正比的时间内解决哈密顿量NAND树问题，实现最优查询复杂度。该算法在具有树结构和滑行道的图上进行量子行走，利用能量相关的透射系数在√N时间内以高保真度确定根节点的值，与已证明的下界完全一致。

ABSTRACT

We give a quantum algorithm for the binary NAND tree problem in the Hamiltonian oracle model. The algorithm uses a continuous time quantum walk with a run time proportional to sqrt N. We also show a lower bound of sqrt N for the NAND tree problem in the Hamiltonian oracle model.

研究动机与目标

• 开发一种在哈密顿量预言机模型中以最优运行时间评估NAND树的量子算法。
• 证明√N时间复杂度既可实现又为必要，从而建立紧致的复杂度界限。
• 将连续时间量子行走与NAND树问题联系起来，展示在能量E=0处的散射特性如何揭示树的根节点值。
• 证明在哈密顿量预言机模型中，任何量子算法的运行时间下界为√N。

提出的方法

• 该算法在由深度为log₂N的二叉NAND树与一组节点构成的滑行道连接而成的图上执行连续时间量子行走。
• 哈密顿量被定义为整个图的负邻接矩阵，分解为与实例相关的预言机项HO和与实例无关的驱动项HD。
• 初始态为一个局域在滑行道左侧的窄带、向右传播的波包，宽度L ≈ √N，中心位于节点0。
• 系统在H = HO + HD下演化时间T ≈ L/2 ≈ √N/2，随后在滑行道右侧进行测量以确定根节点值。
• 关键机制依赖于能量E=0处的透射系数：若NAND树的值为1，则透射系数为1；若为0，则为0。
• 波包被设计为在E=0附近具有尖锐峰值，从而确保其演化对树的结构通过散射行为敏感。

实验结果

研究问题

• RQ1 连续时间量子行走能否在哈密顿量预言机模型中以O(√N)时间复杂度解决NAND树问题？
• RQ2 在哈密顿量预言机模型中，评估NAND树的最优运行时间是多少？
• RQ3 在E=0处，量子波包的散射行为如何揭示NAND树的根节点值？
• RQ4 该模型中√N时间复杂度是否既可实现又可证明为下界？

主要发现

• 所提出的量子算法以O(√N)时间评估NAND树，其查询复杂度与最佳已知经典随机算法相当。
• 该算法在具有树结构和滑行道的图上执行连续时间量子行走，根节点值通过在能量E=0处测量波包的透射性来确定。
• 在E=0处的透射系数为1当且仅当NAND树的值为1，为0当且仅当其值为0，从而可正确确定根节点值。
• 已证明在哈密顿量预言机模型中，任何量子算法的运行时间下界为Ω(√N)，表明√N为渐近最优。
• 波包被设计为能量带宽狭窄（|E| < 1/(16√N)），以确保保真度，这要求波包宽度L为√N量级。
• 该结果在哈密顿量预言机模型中建立了紧致的复杂度界限，且该算法此后被用作后续量子查询模型改进的构建模块。