[论文解读] Quantum search algorithms

Andris Ambainis|ArXiv.org|Apr 3, 2005

Quantum Computing Algorithms and Architecture参考文献 25被引用 11

一句话总结

本文综述了量子搜索算法，重点讨论了Grover算法及其推广形式——振幅放大，并探讨了其在NP完全问题、元素相异性问题和图问题中的应用。文章提出了基于量子游走的算法，实现了更优的查询复杂度，例如三角形查找的O(N^{1.3})和矩阵乘积的O(N^{5/3})，展示了相对于经典方法的多项式量子加速优势。

ABSTRACT

We review some of quantum algorithms for search problems: Grover's search algorithm, its generalization to amplitude amplification, the applications of amplitude amplification to various problems and the recent quantum algorithms based on quantum walks.

研究动机与目标

• 综述受Grover搜索启发的量子算法，重点强调振幅放大和基于量子游走的方法。
• 展示如何将振幅放大与经典算法设计模式结合，以解决诸如NP完全性可满足性问题和元素相异性问题。
• 提出优于标准Grover方法的基于量子游走的算法，用于解决三角形查找和矩阵乘积验证等任务。
• 识别量子查询复杂度中的开放问题，特别是空间效率、时间-空间权衡，以及经典与量子查询复杂度之间的最大差距。
• 探索总布尔函数的量子加速理论极限，特别是确定性查询复杂度与量子查询复杂度之间的关系。

提出的方法

• 将Grover搜索算法作为无结构搜索的量子黑箱基础，其查询复杂度为O(√N)。
• 应用振幅放大以提升搜索问题中的成功概率，将Grover方法推广至解的数量未知的情形。
• 将振幅放大与经典算法设计模式结合，以解决诸如NP完全性可满足性问题和元素相异性问题。
• 采用基于量子游走的算法，特别是量子游走搜索框架，以在结构化问题中实现优于标准Grover搜索的查询复杂度。
• 利用量子游走框架在O(N^{2/3})次查询内解决元素相异性问题，并将此作为子程序应用于三角形查找和矩阵乘积问题。
• 通过量子查询模型分析查询复杂度，重点关注各类问题的下界和最优性证明。

实验结果

研究问题

• RQ1 能否系统性地将振幅放大应用于经典算法问题，以实现量子加速？
• RQ2 使用量子算法查找图中三角形的最优查询复杂度是多少？
• RQ3 基于量子游走的算法能否在结构化搜索问题中优于Grover搜索？
• RQ4 对于总布尔函数，经典确定性查询复杂度D(f)与有界误差量子查询复杂度Q(f)之间的最大可能差距是多少？
• RQ5 能否设计一种在元素相异性问题中使用亚线性空间的量子算法，或者是否存在根本的时间-空间权衡？

主要发现

• Grover搜索算法在无结构搜索中实现O(√N)的查询复杂度，相对于经典方法具有二次加速优势。
• 振幅放大推广了Grover方法，当解的数量k已知时，可实现O(√(N/k))的查询复杂度。
• 基于量子游走的元素相异性算法实现O(N^{2/3})的查询复杂度，优于早期方法的O(N^{3/4})界限。
• 通过利用元素相异性作为子程序的两层构造，图中三角形查找可使用O(N^{1.3})次量子查询解决。
• 在GF(2)上进行矩阵乘积验证可使用O(N^{5/3})次量子查询解决，展示了量子游走技术在代数问题中的实用性。
• 目前已知的经典-量子查询复杂度差距最佳结果为D(f) = Θ(Q²(f))（对应Grover问题），但最大可能差距仍是开放问题，已知上界为D(f) = O(Q⁶(f))