[论文解读] An intuitive Hamiltonian for quantum search

Stephen Fenner|ArXiv.org|Apr 24, 2000

Quantum Computing Algorithms and Architecture参考文献 7被引用 9

一句话总结

本文提出了一种简单、时间无关的哈密顿量，能够逐级精确复现Grover的量子搜索算法，为该算法提供了新的物理直观。与以往的模拟方法不同，该哈密顿量与数字电路的演化路径高度一致，为量子算法与连续时间动力学之间建立了直接桥梁，实现最优的 $ O(2^{n/2}) $ 搜索时间。

ABSTRACT

We present new intuition behind Grover's quantum search algorithm by means of a Hamiltonian. Given a black-box Boolean function f mapping strings of length n into {0,1} such that f(w) = 1 for exactly one string w, L. K. Grover describes a quantum algorithm that finds w in O(2^{n/2}) time. Farhi & Gutmann show that w can also be found in the same amount time by letting the quantum system evolve according to a simple Hamiltonian depending only on f. Their system evolves along a path far from that taken by Grover's original algorithm, however. The current paper presents an equally simple Hamiltonian matching Grover's algorithm step for step. The new Hamiltonian is similar in appearance from that of Farhi & Gutmann, but has some important differences, and provides new intuition for Grover's algorithm itself. This intuition both contrasts with and supplements other explanations of Grover's algorithm as a rotation in two dimensions, and suggests that the Hamiltonian-based approach to quantum algorithms can provide a useful heuristic for discovering new quantum algorithms.

研究动机与目标

• 使用时间无关的哈密顿量，为Grover的量子搜索算法提供一种新颖且直观的物理解释。
• 构建一个哈密顿量，精确模拟Grover算法的酉演化过程，与数字电路的每一步完全匹配。
• 将此方法与Farhi和Gutmann早期的模拟哈密顿量进行对比，后者遵循不同的演化路径。
• 提出基于哈密顿量的设计可能作为发现新量子算法的启发式方法。
• 探讨模拟哈密顿量是否能高效模拟数字量子电路，反之亦然。

提出的方法

• 提出哈密顿量 $ H = \frac{1}{2} \sin(2\theta) \left( |\sigma\rangle\!\langle\sigma| - |w\rangle\!\langle w| \right) $，其中 $ \theta = \arccos(1/\sqrt{N}) $，该哈密顿量控制系统的时间演化。
• 证明时间演化算符 $ e^{-iHt_0} $，其中 $ t_0 = \frac{\pi - 2\theta}{\sin 2\theta} $，在由 $ |\sigma\rangle $ 和 $ |w\rangle $ 张成的二维子空间上等于Grover的迭代算符 $ G $。
• 证明 $ e^{-iHt_0} = G + 2P $，其中 $ P $ 是对 $ |\sigma\rangle $-$ |w\rangle $ 子空间正交补空间的投影算符，从而确保全局演化正确。
• 利用算子指数恒等式 $ e^{A} = \lim_{k\to\infty} \left(I + \frac{A}{k}\right)^k $，将离散酉演化与连续时间动力学联系起来。
• 将新哈密顿量与Farhi和Gutmann的 $ H' $ 进行比较，表明其在演化路径和物理合理性上存在差异，但与数字电路演化路径更为接近。
• 分析 $ e^{-iH} $ 与 $ G $ 之间的近似误差，当 $ x = N^{-1/2} $ 时，误差为 $ O(N^{-3/2}) $，证实了离散与连续时间演化在大 $ N $ 下几乎不可区分。

实验结果

研究问题

• RQ1 能否构造一个时间无关的哈密顿量，使其时间演化能逐级精确复现Grover算法？
• RQ2 与Farhi和Gutmann的模拟方法相比，该哈密顿量演化在轨迹和物理合理性方面有何差异？
• RQ3 哈密顿量方法能否作为发现新量子算法的启发式工具，特别是那些难以用酉电路表达的算法？
• RQ4 是否存在一个通用准则，用于判断何时哈密顿量的时间演化可被小型量子电路高效模拟？
• RQ5 原始的Farhi和Gutmann哈密顿量能否被量子电路高效模拟？这对模拟到数字的量子算法设计有何启示？

主要发现

• 所提出的哈密顿量 $ H $ 生成的时间演化 $ e^{-iHt_0} $ 在由初始态 $ |\sigma\rangle $ 和目标态 $ |w\rangle $ 张成的子空间上，精确等于Grover的迭代算符 $ G $。
• 演化时间 $ t_0 = \frac{\pi - 2\theta}{\sin 2\theta} $ 使得 $ e^{-iHt_0} = G $，实现与Grover算法相同的 $ O(2^{n/2}) $ 搜索复杂度。
• $ e^{-iH} $ 与 $ G $ 之间的近似误差为 $ O(N^{-3/2}) $，证实当 $ N $ 较大时，离散与连续时间演化几乎无法区分。
• 该哈密顿量与Farhi和Gutmann的 $ H' $ 显著不同，其在希尔伯特空间中的演化路径不同，但更贴近数字算法的演化路径。
• 该方法表明，与酉电路相比，哈密顿量可能作为设计量子算法的更直观起点。
• 结果表明，当哈密顿量被设计为匹配已知算法步骤时，其演化可能被量子电路高效模拟。