[论文解读] Optimal quantum query bounds for almost all Boolean functions

Andris Ambainis, Artūrs Bačkurs+2 more|arXiv (Cornell University)|Aug 6, 2012

Quantum Computing Algorithms and Architecture参考文献 20被引用 4

一句话总结

本文证明了几乎所有 $n$-比特布尔函数在有界误差计算下至少需要 $n/2$ 次量子查询，从而证明了范·达姆的量子预言机探测协议在本质上是最优的。通过将接受概率分析为次数为 $T$ 的多项式的平方和，作者弥合了已知上下界之间的差距，表明对几乎所有 $f$，有 $Q_\varepsilon(f) \geq n/2 - o(n)$。

ABSTRACT

We show that almost all n-bit Boolean functions have bounded-error quantum query complexity at least n/2, up to lower-order terms. This improves over an earlier n/4 lower bound of Ambainis, and shows that van Dam's oracle interrogation is essentially optimal for almost all functions. Our proof uses the fact that the acceptance probability of a T-query algorithm can be written as the sum of squares of degree-T polynomials.

研究动机与目标

• 弥合几乎所有布尔函数的量子查询复杂度已知上下界之间的差距。
• 证明范·达姆针对预言机探测的 $n/2$ 查询量子算法对几乎所有 $n$-比特布尔函数在渐近意义上是最优的。
• 通过利用接受概率中更深层次的结构，克服标准量子查询下界方法（多项式法与对手法）的局限性。
• 确立量子查询算法中接受概率的平方和表示形式，相较于传统多项式次数分析，能导出更强的下界。

提出的方法

• 利用 $T$ 查询量子算法的接受概率可表示为输入变量上次数为 $T$ 的多重线性多项式平方和的事实。
• 使用关于二进制字符串上奇偶约束系统解数的组合估计，以限制非均匀分布态的总振幅。
• 通过对索引划分的归纳论证，以限制满足某些二进制字符串 $s_i$ 奇偶条件的配置数量。
• 通过奇偶约束消去变量，将对不同输入 $x^{(1)}, \dots, x^{(r)}$ 的求和转化为适合归纳的形式。
• 将振幅和中各项的总贡献界为 $O(B^{m-r+1} \cdot 2^{nr})$，其中 $B$ 为权重 $\leq T$ 的字符串数量，且 $B = o(2^n)$。
• 将这些界与量子查询算法的结构相结合，推导出任意 $\varepsilon$-误差计算所需查询数的下界。

实验结果

研究问题

• RQ1 范·达姆针对预言机探测的 $n/2$ 查询量子算法对几乎所有布尔函数是否是最优的？
• RQ2 标准多项式法或对手法能否对几乎所有布尔函数的量子查询复杂度建立 $n/2$ 的下界？
• RQ3 量子查询算法中接受概率的平方和结构，是否提供了比近似度数分析更强的下界证明工具？
• RQ4 考虑到经典复杂度为 $n$，量子上界为 $n/2 + O(\sqrt{n \log(1/\varepsilon)})$，几乎所有 $n$-比特布尔函数的真实渐近量子查询复杂度是多少？

主要发现

• 对于任意固定的 $\varepsilon > 0$，几乎所有 $n$-比特布尔函数的 $\varepsilon$-误差量子查询复杂度 $Q_\varepsilon(f)$ 至少为 $n/2 - o(n)$，与范·达姆的上界仅相差低阶项。
• 量子查询算法中接受概率的平方和表示形式，相较于受 $n/4$ 限制的近似度数法，能导出更强的下界。
• 不等式 $Q_\varepsilon(f) \geq n/2 - o(n)$ 对所有 $f$ 成立，除了可忽略的极小部分，意味着当 $n \to \infty$ 时，该结果适用于 $1 - o(1)$ 的所有布尔函数。
• 该证明技术克服了对手法的局限性，当 $\varepsilon$ 为常数时，对手法无法超过 $c n$（其中 $c < 1/2$）。
• 关键技术突破在于对二进制字符串上奇偶约束解数的组合界，该界控制了分析中量子态的振幅。
• 该结果确认范·达姆的量子预言机探测协议对几乎所有布尔函数在渐近意义上是最优的，解决了量子查询复杂度领域长期悬而未决的开放问题。