[论文解读] Lower Bounds for Quantum Search and Derandomization

Harry Buhrman, Ronald de Wolf|ArXiv.org|Nov 18, 1998

Quantum Computing Algorithms and Architecture参考文献 17被引用 13

一句话总结

本文建立了量子搜索算法查询复杂度的基本下界，表明当 T=O(√N) 时，实现次常数误差需要 Ω(N) 次查询；并且量子算法在增强 RP 机器的成功概率方面无法显著优于经典方法。此外，本文还证明了在有序列表中进行有界误差搜索时，查询复杂度的下界为 Ω(√(log N)/log log N)。

ABSTRACT

We prove lower bounds on the error probability of a quantum algorithm for searching through an unordered list of N items, as a function of the number T of queries it makes. In particular, if T=O(sqrt{N}) then the error is lower bounded by a constant. If we want error <1/2^N then we need T=Omega(N) queries. We apply this to show that a quantum computer cannot do much better than a classical computer when amplifying the success probability of an RP-machine. A classical computer can achieve error <=1/2^k using k applications of the RP-machine, a quantum computer still needs at least ck applications for this (when treating the machine as a black-box), where c>0 is a constant independent of k. Furthermore, we prove a lower bound of Omega(sqrt{log N}/loglog N) queries for quantum bounded-error search of an ordered list of N items.

研究动机与目标

• 建立量子搜索算法误差概率的紧下界，作为查询次数的函数。
• 分析量子算法在增强 RP 机器成功概率方面相对于经典方法的局限性。
• 推导在有界误差条件下，有序列表中量子搜索的下界。
• 证明在去随机化场景中，量子算法无法比经典方法更高效地实现指数级误差减少。

提出的方法

• 使用对偶方法和信息论论证分析量子查询复杂度，以限制误差概率。
• 将量子查询模型应用于模拟 RP 机器作为黑箱，将每次查询视为计算单位。
• 结合量子查询界限与经典去随机化技术，采用混合论证方法比较性能。
• 通过反证法和对有限查询下量子态演化结构的分析，推导出下界。
• 以已知的量子查询复杂度结果（例如 Grover 算法）作为比较基准。
• 通过建模比较操作并利用搜索空间中的对称性和结构，研究有序列表的搜索。

实验结果

研究问题

• RQ1 在大小为 N 的无序列表中，量子算法要实现误差 <1/2^N，最少需要多少次查询？
• RQ2 当查询次数为 O(√N) 时，量子搜索算法的误差概率如何变化？
• RQ3 量子算法能否在增强 RP 机器的成功概率方面优于经典算法？
• RQ4 在大小为 N 的有序列表中，有界误差量子搜索的查询复杂度下界是多少？
• RQ5 量子算法在多大程度上能比经典算法更高效地对 RP 机器进行去随机化？

主要发现

• 若量子算法对大小为 N 的无序列表进行 T=O(√N) 次查询，则其误差概率有常数下界。
• 为实现误差 <1/2^N，量子算法需要 T=Ω(N) 次查询，与经典下界一致。
• 在增强 RP 机器的成功概率方面，即使使用量子计算机，当经典方法需要 k 次应用才能使误差 ≤1/2^k 时，量子算法仍需 Ω(k) 次查询。
• 本文证明了在大小为 N 的有序列表中，有界误差量子搜索的查询复杂度下界为 Ω(√(log N)/log log N)。
• 量子算法在涉及 RP 机器的去随机化任务中无法显著优于经典算法。
• 结果表明，量子算法在去随机化中的加速作用是有限的，无法克服误差减少的基本查询成本。