[论文解读] Quantum Implications of Huang's Sensitivity Theorem

Scott Aaronson, Shalev Ben-David+2 more|arXiv (Cornell University)|Apr 28, 2020

Quantum Computing Algorithms and Architecture被引用 2

一句话总结

该论文证明了任意全布尔函数 f 的确定性查询复杂度 D(f) 最多为其量子查询复杂度 Q(f) 的四次方，即 D(f) = O(Q(f)^4)，从而解决了长期悬而未决的开放问题。此外，论文进一步证明，对于非平凡的单调图性质，量子查询复杂度 Q(f) 为 Ω(n)，达到最优，并证实了量子版的 Aanderaa-Karp-Rosenberg 猜想。

ABSTRACT

Based on the recent breakthrough of Huang (2019), we show that for any total Boolean function f, the deterministic query complexity, D(f), is at most quartic in the quantum query complexity, Q(f): D(f)=O(Q(f)4). This matches the known separation (up to log factors) due to Ambainis, Balodis, Belovs, Lee, Santha, and Smotrovs (2017). We also use the result to resolve the quantum analogue of the Aanderaa-Karp-Rosenberg conjecture. We show that if f is a nontrivial monotone graph property of an n-vertex graph specified by its adjacency matrix, then Q(f)=Ω(n), which is also optimal. Learn more about Microsoft Quantum computing > Learn more about Microsoft Azure Quantum >

研究动机与目标

• 为全布尔函数建立确定性查询复杂度与量子查询复杂度之间关系的紧致上界。
• 解决非平凡单调图性质的量子版 Aanderaa-Karp-Rosenberg 猜想。
• 利用黄敏感性定理推导量子查询复杂度的新界。
• 弥合全函数量子查询复杂度中已知上界与下界之间的差距。

提出的方法

• 应用黄敏感性定理分析布尔函数及其查询复杂度的结构。
• 利用敏感性定理界定表示布尔函数的多项式的次数。
• 通过多项式次数与量子查询复杂度之间已知关系，将多项式次数界转化为查询复杂度界。
• 通过多项式与谱方法，建立确定性与量子查询复杂度之间的四次方关系。
• 利用敏感性定理与量子对偶方法，证明非平凡单调图性质的量子查询复杂度下界为 Ω(n)。
• 结合经典查询复杂度理论与量子查询复杂度技术，推导出紧致界。

实验结果

研究问题

• RQ1 对于全布尔函数 f，确定性查询复杂度 D(f) 与量子查询复杂度 Q(f) 之间的最紧致上界是什么？
• RQ2 能否以一种方式对单调图性质的量子查询复杂度进行下界界定，从而确认量子版的 Aanderaa-Karp-Rosenberg 猜想？
• RQ3 如何应用黄敏感性定理来推导量子查询复杂度的新结果？
• RQ4 已知的 D(f) 与 Q(f) 之间的分离关系是否在对数因子范围内达到紧致？
• RQ5 非平凡单调图性质的精确量子查询复杂度是多少？

主要发现

• 对于任意全布尔函数 f，其确定性查询复杂度 D(f) 满足 O(Q(f)^4) 的上界。
• 该四次方界与已知的 D(f) 与 Q(f) 之间的分离关系在对数因子范围内一致。
• 对于任意非平凡单调图性质 f，其量子查询复杂度 Q(f) 为 Ω(n)，该界为最优。
• 对单调图性质的 Ω(n) 量子下界证实了量子版的 Aanderaa-Karp-Rosenberg 猜想。
• 该结果展示了黄敏感性定理在推导量子查询复杂度紧致界方面的强大能力。