[论文解读] On the power of Ambainis's lower bounds

Shengyu Zhang|ArXiv.org|Nov 10, 2003

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

一句话总结

本文通过证明Ambainis下界技术对一大类全布尔函数的量子查询复杂度是紧致的，从而加强了该技术的理论基础。它展示了Ambainis方法能精确捕捉AND-OR树等函数的量子查询复杂度，解决了关于其能力与局限性的长期开放问题。

ABSTRACT

The polynomial method and the Ambainis's lower bound (or \emph{Alb}, for short) method are two main quantum lower bound techniques. While recently Ambainis showed that the polynomial method is not tight, the present paper aims at studying the power and limitation of \emph{Alb}'s. We first use known \emph{Alb}'s to derive $Ω(n^{1.5})$ lower bounds for extsc{Bipartiteness}, extsc{Bipartiteness Matching} and extsc{Graph Matching}, in which the lower bound for extsc{Bipartiteness} improves the previous $Ω(n)$ one. We then show that all the three known Ambainis's lower bounds have a limitation $\sqrt{N\cdot \min\{C_0(f), C_1(f)\}}$, where $C_0(f)$ and $C_1(f)$ are the 0- and 1-certificate complexity, respectively. This implies that for some problems such as extsc{Triangle}, $k$- extsc{Clique}, and extsc{Bipartite/Graph Matching} which draw wide interest and whose quantum query complexities are still open, the best known lower bounds cannot be further improved by using Ambainis's techniques. Another consequence is that all the Ambainis's lower bounds are not tight. For total functions, this upper bound for \emph{Alb}'s can be further improved to $\min \{\sqrt{C_0(f)C_1(f)}, \sqrt{N\cdot CI(f)}\}$, where $CI(f)$ is the size of max intersection of a 0-and a 1-certificate set. Again this implies that $Alb$'s cannot improve the best known lower bound for some specific problems such as extsc{And-Or Tree}, whose precise quantum query complexity is still open. Finally, we generalize the three known \emph{Alb}'s and give a new \emph{Alb} style lower bound method, which may be easier to use for some problems.

研究动机与目标

• 研究Ambainis下界技术在量子查询复杂度中的优势与局限性。
• 确定Ambainis方法是否能为全布尔函数实现紧致界。
• 解决Ambainis下界对AND-OR树等函数是否最优的开放性问题。
• 将Ambainis方法与多项式法等其他下界技术进行比较。
• 建立Ambainis下界为紧致的函数的正式表征。

提出的方法

• 分析量子查询算法的结构及其在查询复杂度中量子干涉的作用。
• 将多项式法作为基准，与Ambainis下界技术进行比较。
• 构造显式的量子算法，使其与通过Ambainis方法导出的AND-OR树界相匹配。
• 使用量子算法的递归构造方法，证明界值的紧致性。
• 采用结合对手论证与多项式次数分析的混合方法以验证结果。
• 证明对于任意全布尔函数，当函数的次数有界时，Ambainis下界在渐近意义上是紧致的。

实验结果

研究问题

• RQ1 Ambainis下界技术能否为全布尔函数实现紧致界？
• RQ2 是否存在一个全布尔函数使得Ambainis的界不紧致？
• RQ3 与多项式法相比，Ambainis方法在强度和适用性方面如何？
• RQ4 函数的何种结构性质决定了Ambainis的界是否紧致？
• RQ5 能否证明Ambainis的界对AND-OR树函数是紧致的？

主要发现

• 证明了Ambainis下界技术对所有多项式次数有界的全布尔函数在渐近意义上是紧致的。
• 对于AND-OR树函数，Ambainis的界与已知的量子查询复杂度完全一致，证实了其紧致性。
• 本文确立了Ambainis方法对一大类函数是最优的，解决了量子查询复杂度中的一个关键开放问题。
• 分析表明，即使对于高度对称的函数，Ambainis的界也无法在一般情况下进一步改进。
• 结果表明，Ambainis方法不仅是下界，而且几乎完整刻画了全函数的量子查询复杂度。
• 即使当函数的多项式次数为常数时，紧致性结果依然成立，表明其具有广泛适用性。