[论文解读] Lower Bounds on Quantum Query Complexity

Peter Høyer, Robert Špalek|arXiv (Cornell University)|Sep 21, 2005

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

一句话总结

本文全面综述了两种主要技术——对抗法与多项式法——在建立量子查询复杂度下界中的应用。它展示了这些方法在有序搜索和复合函数等基础问题中的应用，表明在某些情况下，量子算法无法显著超越经典算法，关键结果包括对与或树和三角形查找问题的紧致下界。

ABSTRACT

Shor's and Grover's famous quantum algorithms for factoring and searching show that quantum computers can solve certain computational problems significantly faster than any classical computer. We discuss here what quantum computers_cannot_ do, and specifically how to prove limits on their computational power. We cover the main known techniques for proving lower bounds, and exemplify and compare the methods.

研究动机与目标

• 为研究人员提供一份自包含的、关于量子查询复杂度下界的技术导论，重点介绍对非深度量子计算背景的研究者也易于理解的方法。
• 比较并对比对抗法与多项式法，强调前者作为证明强下界的一种强大但未被充分重视的工具。
• 在有序搜索和与或树等典型问题上展示这些方法的应用，阐明其实际用途与局限性。
• 突出量子查询复杂度中的开放问题，例如二叉与或树的精确查询复杂度以及图中三角形查找问题，并讨论已知下界与猜想。
• 确立尽管量子计算机在某些问题上可提供加速（如Grover搜索），但在需要高查询次数的问题上仍存在固有局限，这由下界技术形式化表达。

提出的方法

• 对抗法被引入为一种通过在输入对上构造权重方案来界定量子查询复杂度的技术，利用由输入差异导出的矩阵的谱范数。
• 非加权对抗法使用基于单比特差异的输入对的对称权重分配，导出与函数最大敏感度倒数成比例的下界。
• 多项式法分析近似函数的多元多项式次数，下界通过对称性及约化为一元或二元情形推导得出。
• 复合函数方法用于分析复杂函数，如与或树，其中外层函数为AND，内层为OR，各自作用于√N个输入。
• 本文应用对抗法证明与或树在深度为二时的查询复杂度为Ω(√N)，与已知的量子算法上界一致，从而证明紧致性。
• 它还通过从已知难题（如元素相异性问题）的约化，推导出复合函数近似度的下界，例如与或树的下界为Ω(N^{1/3})。

实验结果

研究问题

• RQ1 量子算法在查询复杂度方面存在哪些基本限制？这些限制如何被形式化证明？
• RQ2 在证明量子查询复杂度下界时，对抗法与多项式法在强度和适用性方面如何比较？
• RQ3 对抗法能否扩展以处理与或树等复合函数？其结果是否能给出紧致下界？
• RQ4 对数深度的二叉与或树的精确量子查询复杂度是多少？目前最佳的已知下界与上界是什么？
• RQ5 是否存在量子算法能实现显著加速的图性质问题（如三角形查找）？此类问题的最紧致已知下界是什么？

主要发现

• 非加权对抗法对深度为二的与或树计算给出了Ω(√N)的下界，与已知的O(√N)量子查询上界一致，证明了紧致性。
• 目前对深度为二的与或树近似度的最佳已知下界为Ω(N^{1/3})，通过从元素相异性问题的 folklore 约化推导得出。
• 对于图中的三角形查找问题，使用非加权对抗法得到的最佳已知量子查询下界为Ω(N)，尽管推测该下界并非紧致。
• 多项式法在原则上可产生强于对抗法的下界，但由于需要分析对称性与约化多项式，应用难度显著更高。
• 对抗法比第三种已知方法（Barnum-Saks-Szegedy方法）更具实用性与广泛适用性，后者虽能精确刻画查询复杂度，但在实践中难以使用。
• 最近由Ambainis对对抗法的扩展重新证明了一个强直接乘积定理，进而推导出排序问题的量子时空权衡T²·S = Ω(N³)，展示了该方法的持续相关性。