[论文解读] Can quantum walks provide exponential speedups

B. L. Douglas, Jingbo Wang|arXiv (Cornell University)|Jun 3, 2007

Quantum Computing Algorithms and Architecture被引用 1

一句话总结

本文研究了量子游走是否能在不依赖预言机的情况下实现对经典算法的指数级加速。它为高度对称图上的量子游走构建了高效的量子线路，并探讨了其在针对标记顶点的指数级加速量子搜索算法中的潜力。

ABSTRACT

Quantum walks, being the quantum analogue of classical random walks, are expected to provide a fruitful source of quantum algorithms. A few such algorithms have already been developed, including the `glued trees' algorithm, which provides an exponential speedup over classical methods, relative to a particular quantum oracle. Here, we discuss the possibility of a quantum walk algorithm yielding such an exponential speedup over possible classical algorithms, without the use of an oracle. We provide examples of some highly symmetric graphs on which efficient quantum circuits implementing quantum walks can be constructed, and discuss potential applications to quantum search for marked vertices along these graphs.

研究动机与目标

• 确定在无预言机的情况下，量子游走是否能为经典算法提供指数级加速。
• 识别可实现量子游走线路高效实现的高对称图。
• 探讨利用量子游走实现指数级加速量子搜索算法的可行性。
• 分析使量子游走演化和标记顶点检测高效的图的结构特性。

提出的方法

• 设计实现特定高度对称图类上量子游走的量子线路。
• 利用图的对称性以简化量子游走演化算符的构建。
• 利用图的结构以实现量子游走酉演化算符的高效实现。
• 分析这些图上量子游走的动力学，以评估其在标记和定位特定顶点方面的潜力。
• 在搜索问题背景下评估量子游走线路的可扩展性和效率。
• 研究量子游走幅值分布比经典方法指数级更快集中于标记顶点的条件。

实验结果

研究问题

• RQ1 在无预言机访问的情况下，对称图上的量子游走是否能实现对经典算法的指数级加速？
• RQ2 哪些图结构允许高效实现量子游走的量子线路？
• RQ3 在何种条件下，量子游走能比经典搜索指数级更快地定位标记顶点？
• RQ4 图的对称性如何影响基于量子游走的搜索效率和加速潜力？
• RQ5 在无预言机的情况下，量子游走算法在实现指数级加速方面存在哪些局限性？

主要发现

• 本文识别出特定的高对称图家族，其支持量子游走线路的高效实现。
• 在这些图上，量子游走显示出在搜索任务中实现指数级加速的潜力，即使无预言机访问。
• 图的对称性使量子游走演化得以简化，从而可用多项式资源实现。
• 分析表明，通过此类图上的量子游走检测标记顶点，可能比经典搜索方法实现指数级超越。
• 该框架为仅利用图的结构特性而非外部预言机，构建具有指数级加速的量子算法提供了路径。
• 结果表明，在无预言查询的情况下，对称图上的量子游走可能成为实现指数级加速搜索算法的可行平台。