[论文解读] Quantum walks and their algorithmic applications

Andris Ambainis|arXiv (Cornell University)|Mar 16, 2004

Quantum Computing Algorithms and Architecture参考文献 24被引用 10

一句话总结

本文综述了基于量子行走的算法，展示了在图上进行的量子行走如何在首次 hitting 时间上实现指数级加速，并在搜索问题中实现二次加速。通过利用在结构化图上的量子干涉和酉演化，作者提出了元素不同性问题（$O(N^{2/3})$ 次查询）、三角形查找以及 $k$-不同性问题的最优量子算法，确立了量子走行为量子算法设计的强大框架。

ABSTRACT

Quantum walks are quantum counterparts of Markov chains. In this article, we give a brief overview of quantum walks, with emphasis on their algorithmic applications.

研究动机与目标

• 综述量子行走的算法应用，重点在于其在组合优化与搜索问题中提供量子加速的能力。
• 展示图上的量子行走相较于经典马尔可夫链，可在首次 hitting 时间上实现指数级加速。
• 表明量子行走搜索为解决元素不同性、$k$-不同性与三角形查找等问题提供了统一的框架，并实现了更优的查询复杂度。
• 识别量子行走理论中的开放问题，包括离散与连续行走之间的关系，以及在自然问题中进一步加速的潜力。

提出的方法

• 使用带有量子位寄存器和位移操作的离散时间量子行走模型，每一步由对量子位的翻转（对量子位态的酉变换）和位置位移操作组成。
• 采用哈达玛量子位作为标准选择，实现对左移与右移的叠加，从而产生经典行走中不存在的干涉效应。
• 通过定义标记顶点（即解）并利用振幅放大技术，将量子行走应用于图上的搜索，以提高测量到标记态的概率。
• 构建一个图，其中顶点表示映射到 $\{1,\ldots,N\}$ 的子集 $S$，当两个集合仅相差一个元素时存在边，以建模元素不同性问题。
• 利用量子行走可在 $d \geq 3$ 维时以 $O(\sqrt{N})$ 步探索图，$d=2$ 时以 $O(\sqrt{N} \log N)$ 步完成，从而实现比经典方法更快的搜索。
• 通过将三角形查找问题约化为元素不同性问题，并使用查询复杂度为 $O(n^{1.3})$ 的量子子程序，将量子行走框架应用于三角形查找。

实验结果

研究问题

• RQ1 量子行走能否在自然计算问题中实现首次 hitting 时间的指数级加速？
• RQ2 离散与连续量子行走之间有何关系？是否可从一种推导出另一种？
• RQ3 使用量子行走搜索求解 $k$-不同性与 $k$-团检测问题的最优查询复杂度是多少？
• RQ4 量子行走搜索框架能否推广至其他图论或组合搜索问题？
• RQ5 在量子位操作符中是否存在显著影响量子行走算法性能的结构选择？

主要发现

• 在某些图上，如超立方体和晶格，量子行走可在首次 hitting 时间上实现指数级加速，且加速程度取决于图的结构与维度。
• 对于元素不同性问题，量子行走算法实现了 $O(N^{2/3})$ 的查询复杂度，该结果为最优，显著优于经典方法的 $\Omega(N)$ 下界。
• $k$-不同性问题可在 $O(N^{k/(k+1)})$ 次量子步骤内求解，将元素不同性结果推广至高阶碰撞问题。
• 通过利用元素不同性作为子程序，基于量子行走的算法可在 $O(n^{1.3})$ 次查询内解决三角形查找问题。
• 离散时间量子行走的性能对量子位操作符的选择极为敏感，某些选择即使在三维晶格中也无法带来加速。
• 连续时间量子行走对 $d \geq 5$ 维提供 $O(\sqrt{N})$ 时间复杂度的算法，对 $d=4$ 维为 $O(\sqrt{N} \log N)$，但在 2D 或 3D 中无加速，凸显了维度依赖性。