[论文解读] A better lower bound for quantum algorithms searching an ordered list

Andris Ambainis|ArXiv.org|Feb 14, 1999

Quantum Computing Algorithms and Architecture参考文献 5被引用 4

一句话总结

该论文为大小为 n 的有序列表搜索问题建立了新的量子算法查询下界 1/12 log n − O(1)，证明该问题的量子加速仅限于常数因子。通过使用改进的量子对抗方法，作者在先前结果的基础上进一步提升了下界，并表明对于有序搜索，量子算法无法超越经典算法获得超过常数因子的优势。

ABSTRACT

We show that any quantum algorithm searching an ordered list of n elements needs to examine at least 1/12 log n-O(1) of them. Classically, log n queries are both necessary and sufficient. This shows that quantum algorithms can achieve only a constant speedup for this problem. Our result improves lower bounds of Buhrman and de Wolf(quant-ph/9811046) and Farhi, Goldstone, Gutmann and Sipser (quant-ph/9812057).

研究动机与目标

• 建立量子算法在有序列表中搜索所需查询数的更紧下界。
• 解决一个基本问题：对于有序搜索，量子算法是否能超越经典算法实现超过常数因子的加速？
• 通过改进的量子对抗技术，超越 Buhrman、de Wolf 及 Farhi 等人的现有下界。
• 阐明在结构化搜索问题背景下，量子优势的边界。

提出的方法

• 作者应用改进的量子对抗方法，分析有序列表搜索的查询复杂度。
• 分析聚焦于搜索过程中量子态的可区分性，追踪振幅分布的演化过程。
• 使用精心构造的一对输入，以模拟在两种不同列表配置之间进行区分的难度。
• 该方法量化了为实现显著成功概率以识别目标元素所需的最少查询次数。
• 通过分析量子态随时间变化的变异增长，结合内积不等式推导出下界。
• 最终下界表达为 1/12 log n − O(1)，优于先前结果。

实验结果

研究问题

• RQ1 任何量子算法在搜索大小为 n 的有序列表时，所需的最少查询次数是多少？
• RQ2 对于有序搜索，量子算法是否能实现超越经典算法的常数因子以上的加速？
• RQ3 在有序搜索背景下，量子对抗方法如何改进现有下界？
• RQ4 该问题的量子查询复杂度的最紧可能下界是什么？

主要发现

• 本文为有序搜索中的量子查询复杂度建立了新的下界 1/12 log n − O(1)。
• 该下界优于 Buhrman 和 de Wolf 以及 Farhi 等人的先前下界。
• 结果表明，对于有序搜索，量子算法仅能相对于经典算法实现常数因子的加速。
• 经典下界为 log n，而量子下界渐近为 1/12 log n，表明量子优势有限。
• 分析证实，当输入对构造得当时，量子对抗方法可产生更紧的下界。
• 该结果意味着有序搜索问题不表现出超常数因子的量子加速，从而限制了其在量子优势方面的潜力。