[论文解读] Quantum lower bounds by quantum arguments

Andris Ambainis|ArXiv.org|Feb 24, 2000

Quantum Computing Algorithms and Architecture参考文献 15被引用 16

一句话总结

本文提出了一种新颖的量子对手方法，用于证明量子查询算法的下界，通过分析算法与输入叠加态之间的量子纠缠。该方法为置换逆置和AND-of-ORs的计算建立了紧致的Ω(√N)下界，统一了多个已知结果的证明，并提供了比以往经典对手方法或多项式方法更系统化的方法。

ABSTRACT

We propose a new method for proving lower bounds on quantum query algorithms. Instead of a classical adversary that runs the algorithm with one input and then modifies the input, we use a quantum adversary that runs the algorithm with a superposition of inputs. If the algorithm works correctly, its state becomes entangled with the superposition over inputs. We bound the number of queries needed to achieve a sufficient entanglement and this implies a lower bound on the number of queries for the computation. Using this method, we prove two new $Ω(\sqrt{N})$ lower bounds on computing AND of ORs and inverting a permutation and also provide more uniform proofs for several known lower bounds which have been previously proven via variety of different techniques.

研究动机与目标

• 开发一种新的、更统一的量子查询下界证明方法，以克服经典对手技术的局限性。
• 解决诸如置换逆置和AND-of-ORs等难题缺乏紧致下界的问题，此前仅能获得较弱的下界（例如Ω(∛N)和Ω(∜N)）。
• 通过基于量子纠缠和叠加的统一框架，整合先前不同下界结果所采用的零散证明技术。
• 通过推导多个问题的紧致下界，展示该方法的有效性，包括此前需依赖多种复杂方法证明的问题。

提出的方法

• 该方法使用一个在输入叠加态上运行算法的量子对手，从而在算法状态与输入叠加态之间产生纠缠。
• 通过限制为实现足够纠缠所需查询次数，来界定查询数量，而这是算法在不同输入上正确计算输出所必需的。
• 核心思想是：若算法能正确计算函数，其状态必须与输入叠加态发生纠缠，而纠缠增长速率限制了查询次数。
• 该方法利用密度矩阵分析算法状态的演化，通过跟踪不同输入上状态之间内积的平方和，来追踪状态间距离的总和。
• 它利用了算法状态必须在不同输入之间发生分离，才能计算非恒定函数的特性，而这种分离受查询次数的约束。
• 该方法被证明与Grover的距离基证明在代数上相关，但提供了基于量子纠缠的更通用且更直观的物理诠释。

实验结果

研究问题

• RQ1 使用输入叠加态的量子对手方法，是否能在量子查询复杂度中，比经典对手方法获得更紧致的下界？
• RQ2 该方法能否统一并简化此前需依赖不同且复杂技术的多个量子下界证明？
• RQ3 该量子对手方法是否能提供一个通用框架，用于证明AND-of-ORs和置换逆置等难题的紧致Ω(√N)下界，而此前仅知较弱的下界？
• RQ4 该方法能否扩展至碰撞问题或有序搜索等难题，其中现有下界不够紧致或难以证明？
• RQ5 在查询复杂度中，该量子对手方法是否比多项式方法或基于距离的几何方法更具威力或更通用？

主要发现

• 本文证明了置换逆置的Ω(√N)下界，解决了长期存在的差距——此前仅知Ω(∛N)的下界。
• 本文为AND-of-ORs的计算建立了Ω(√N)下界，优于先前的Ω(∜N)下界，并与基于Grover的算法查询复杂度相匹配。
• 该方法提供了一个统一的证明框架，简化并推广了多个已知下界，包括无序搜索和区分1/2与1/2+ε比例的1的下界。
• 该方法被证明在代数上等价于Grover的距离基证明，但通过纠缠提供了更直观的量子力学诠释。
• 该方法适用于广泛的问题类别，并暗示其可扩展至开放问题，如碰撞问题和量子通信复杂度。
• 本文指出了该方法的局限性，特别是在处理有序搜索问题或低误差搜索等难题时，当前技术无法获得紧致下界。