[论文解读] Quantum walk algorithm for element distinctness

Andris Ambainis|arXiv (Cornell University)|Nov 1, 2003

Quantum Computing Algorithms and Architecture参考文献 31被引用 22

一句话总结

本文提出了一种基于量子行走的元素相异问题算法，通过在特殊构造的图上利用量子行走，实现了最优的 $ O(N^{2/3}) $ 查询复杂度，其中标记顶点对应于相等元素对。该方法结合了图上的量子搜索与针对标记和非标记顶点的定制化转移规则，匹配已知的量子下界，并优于以往的 $ O(N^{3/4}) $ 算法。

ABSTRACT

We use quantum walks to construct a new quantum algorithm for element distinctness and its generalization. For element distinctness (the problem of finding two equal items among N given items), we get an O(N^{2/3}) query quantum algorithm. This improves the previous O(N^{3/4}) query quantum algorithm of Buhrman et.al. (quant-ph/0007016) and matches the lower bound by Shi (quant-ph/0112086). The algorithm also solves the generalization of element distinctness in which we have to find k equal items among N items. For this problem, we get an O(N^{k/(k+1)}) query quantum algorithm.

研究动机与目标

• 开发一种元素相异的量子算法，使其查询复杂度达到已知的 $ \Omega(N^{2/3}) $ 量子下界。
• 将该算法推广至 $ k $-相异问题，即在 $ N $ 个元素中寻找 $ k $ 个相等的元素。
• 建立在有限内存条件下的时间-空间权衡，改进以往在受限内存区域中的结果。
• 证明量子行走技术可与量子搜索有效结合，实现在结构化图上的最优查询复杂度。

提出的方法

• 构造一个图，其中顶点表示集合 $ S \subseteq \{1, \dots, N\} $，边连接仅在一个元素上不同的子集。
• 将包含至少一对相等元素 $ x_i = x_j $ 的顶点定义为标记顶点，并利用量子走来增强这些顶点的振幅。
• 实现两种不同的转移规则：一种用于非标记顶点，另一种用于标记顶点，从而实现在标记状态上的振幅局域化。
• 使用 $ O(N^{2/3}) $ 步的量子行走，实现测量到标记顶点的成功概率为常数。
• 通过修改图结构和转移规则，将该方法推广至 $ k $-相异问题，以检测 $ k $ 个相等元素的组合。
• 利用广义的 Grover 算法（引理 3）分析该算法，该算法支持振幅放大机制。

实验结果

研究问题

• RQ1 基于量子行走的算法能否实现元素相异问题的最优 $ O(N^{2/3}) $ 查询复杂度？
• RQ2 $ k $-相异问题的 $ O(N^{k/(k+1)}) $ 查询复杂度是否最优，或可进一步优化？
• RQ3 当量子内存受限为 $ r $ 个条目时，元素相异问题的查询复杂度是多少？
• RQ4 量子行走搜索能否系统性地应用于元素相异问题之外的其他搜索问题？

主要发现

• 所提出的量子行走算法以 $ O(N^{2/3}) $ 次查询解决元素相异问题，与已知的 $ \Omega(N^{2/3}) $ 量子下界完全匹配。
• 对于 $ k $-相异问题，该算法在常数 $ k $ 下实现了 $ O(N^{k/(k+1)}) $ 次查询，优于以往的界限。
• 当存储限制为 $ r \leq N^{2/3} $ 个条目时，算法使用 $ O(N / \sqrt{r}) $ 次查询，相较于经典算法的 $ O(N^2 / r) $ 实现了二次加速。
• 对于 $ r \leq N^{(k-1)/k} $ 内存的 $ k $-相异问题，算法使用 $ O(N^{k/2} / r^{(k-1)/2}) $ 次查询，进一步扩展了时间-空间权衡。
• 分析表明，数据结构操作中的不完美性（如哈希冲突）影响极小，变分距离误差被限制在 $ O(1/N^{1/2}) $ 以内。
• 该算法的成功依赖于一种广义的类似 Grover 的振幅放大技术，该技术在量子算法设计中可能具有独立的研究价值。