[论文解读] Coins Make Quantum Walks Faster

Andris Ambainis, Julia Kempe+1 more|ArXiv.org|Feb 16, 2004

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

一句话总结

该论文表明，通过精心选择的量子比特操作符，离散时间量子行走可在 $√{N} \times \sqrt{N}$ 网格上以 $O(\sqrt{N}\log N)$ 时间完成搜索，显著优于连续时间量子行走所需的 $\Omega(N)$ 时间。关键贡献在于揭示了离散行走性能对量子比特选择的高度敏感性：在二维中，二维量子比特空间已足够实现最优加速；并将该方法推广至三维及更高维，实现 $O(\sqrt{N})$ 时间复杂度。

ABSTRACT

We show how to search N items arranged on a $\sqrt{N} imes\sqrt{N}$ grid in time $O(\sqrt N \log N)$, using a discrete time quantum walk. This result for the first time exhibits a significant difference between discrete time and continuous time walks without coin degrees of freedom, since it has been shown recently that such a continuous time walk needs time $Ω(N)$ to perform the same task. Our result furthermore improves on a previous bound for quantum local search by Aaronson and Ambainis. We generalize our result to 3 and more dimensions where the walk yields the optimal performance of $O(\sqrt{N})$ and give several extensions of quantum walk search algorithms for general graphs. The coin-flip operation needs to be chosen judiciously: we show that another ``natural'' choice of coin gives a walk that takes $Ω(N)$ steps. We also show that in 2 dimensions it is sufficient to have a two-dimensional coin-space to achieve the time $O(\sqrt{N} \log N)$.

研究动机与目标

• 开发一种针对二维网格上空间排列项目的更快的量子搜索算法，克服位置间移动带来的时间开销。
• 展示离散时间与连续时间量子行走之间在空间搜索中存在根本性的性能差距，其中离散行走可实现连续行走无法达到的加速。
• 研究离散量子行走中量子比特操作符的选择如何影响算法性能，表明并非所有自然选择都能实现高效搜索。
• 将离散量子行走搜索推广至高维空间，实现在三维及更高维中达到最优的 $O(\sqrt{N})$ 运行时间。
• 证明在二维中仅需二维量子比特空间即可实现最优性能，相比标准的四状态量子比特，显著降低了内存开销。

提出的方法

• 采用离散时间量子行走模型，每一步包括对量子比特寄存器进行一次量子比特翻转（单位操作），随后根据量子比特状态执行条件性移动。
• 使用一种特定的非标准量子比特操作符——由 Shenvi 通过数值模拟识别——该操作符可在二维中实现对目标项目的快速局域化。
• 利用谱方法分析行走的动力学，重点关注行走算符 $U$ 的特征值 $\theta$ 上的求和 $\sum_{\theta} \frac{1}{1 - \cos\theta}$，该量决定了算法的运行速度。
• 证明所选量子比特操作符可产生谱隙，从而确保在目标顶点处振幅充分集中，实现 $O(\sqrt{N}\log N)$ 的运行时间。
• 将构造方法推广至 $d$-维网格，证明通过 $d$-维量子比特空间可实现 $O(\sqrt{N})$ 的运行时间。
• 建立下界，证明其他自然选择的量子比特操作符（如对称的 Hadamard 类操作符）会导致 $\Omega(N)$ 的运行时间，从而证明其效率低下。

实验结果

研究问题

• RQ1 离散时间量子行走能否在二维网格上实现比连续时间量子行走更快的搜索？
• RQ2 量子比特操作符的选择如何影响离散量子行走搜索算法的性能？
• RQ3 是否可以使用离散量子行走在三维及更高维网格中实现最优的 $O(\sqrt{N})$ 运行时间？
• RQ4 在二维网格搜索中，实现量子加速所需的最小量子比特空间维度是多少？
• RQ5 行走算符的谱特性能否用于预测和界定算法的运行时间？

主要发现

• 使用特定量子比特操作符的离散量子行走可在 $\sqrt{N} \times \sqrt{N}$ 网格上实现 $O(\sqrt{N}\log N)$ 的搜索时间，优于连续时间量子行走所需的 $\Omega(N)$ 时间。
• 在二维中，仅需二维量子比特空间即可实现 $O(\sqrt{N}\log N)$ 的运行时间，证明标准的四状态量子比特并非必需。
• 在三维及更高维中，离散量子行走实现了最优的 $O\left(\sqrt{N}\right)$ 运行时间，与最优的 Grover 基础界一致。
• 其他自然选择的量子比特操作符（如对称的 Hadamard 类操作符）会导致 $\Omega(N)$ 的运行时间，表明量子比特选择对性能至关重要。
• 谱和 $\sum_{\theta} \frac{1}{1 - \cos\theta}$（其中 $\theta$ 为行走算符的特征值）可作为算法速度的有用代理，捕捉整个特征谱的影响。
• 该方法为分析图上量子行走提供了一般性工具箱，具有超越网格搜索的广泛潜在应用。