[论文解读] The Quantum Query Complexity of AC0

Paul Beame, Widad Machmouchi|arXiv (Cornell University)|Aug 14, 2010

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

一句话总结

本文通过证明判断函数 f: [n] → [n] 是 2-to-1 还是近乎 2-to-1 的问题需要 Ω(n) 次查询，建立了 AC0 函数的量子查询复杂度近乎线性 Ω(n/log n) 的下界。利用原始对偶方法，作者表明即使在承诺条件下，量子算法也无法为此问题实现亚线性查询复杂度，显著改进了先前的界限，并表明某些 AC0 函数的量子加速仅限于对数因子以内。

ABSTRACT

We show that any quantum algorithm deciding whether an input function $f$ from $[n]$ to $[n]$ is 2-to-1 or almost 2-to-1 requires $Θ(n)$ queries to $f$. The same lower bound holds for determining whether or not a function $f$ from $[2n-2]$ to $[n]$ is surjective. These results yield a nearly linear $Ω(n/\log n)$ lower bound on the quantum query complexity of $\cl{AC}^0$. The best previous lower bound known for any $\cl{AC^0}$ function was the $Ω((n/\log n)^{2/3})$ bound given by Aaronson and Shi's $Ω(n^{2/3})$ lower bound for the element distinctness problem.

研究动机与目标

• 填补已知量子查询下界与 AC0 函数最优下界猜想之间的差距。
• 探究常数深度、多项式大小的电路（AC0）是否能通过量子查询实现显著快于经典计算的加速。
• 通过分析 2-to-1 与近乎 2-to-1 函数问题，建立 AC0 函数量子查询复杂度的近乎线性下界。
• 将先前关于元素唯一性与碰撞问题的研究结果扩展至 AC0 中的承诺问题，表明此类问题仍需要线性数量的量子查询。

提出的方法

• 作者应用 Ambainis 的原始对偶方法，分析 2-to-1 与近乎 2-to-1 问题的量子查询复杂度。
• 他们定义了 2-to-1 函数与近乎 2-to-1 函数之间的关系 R，并构造在恰好两个位置上不同的输入对。
• 该方法涉及统计满足 (f,g) ∈ R 且输出不同的有效对的数量，使用组合论证来限制此类对的数量。
• 他们计算不同对数量与总对数之比，推导出谱范数界，从而得出 Ω(n) 的查询复杂度下界。
• 证明利用了函数空间的对称性质，并仔细追踪了 f 和 g 不同的输入数量。
• 该结果通过观察 2-to-1 函数不是满射而近乎 2-to-1 函数是满射，被推广至满射问题 ONTO: [2n−2] → [n]。

实验结果

研究问题

• RQ1 尽管 AC0 函数的电路深度和规模都很低，量子算法是否仍能实现亚线性查询复杂度？
• RQ2 AC0 函数的量子查询复杂度的最紧可能下界是什么，特别是针对承诺问题？
• RQ3 2-to-1 与近乎 2-to-1 问题是否能实现量子加速？若不能，原因是什么？
• RQ4 在 AC0 背景下，满射问题的量子查询复杂度与元素唯一性问题相比如何？
• RQ5 AC0 函数的近似度能否与它们的量子查询复杂度分离？这又意味着什么？

主要发现

• 判断函数 f: [n] → [n] 是 2-to-1 还是近乎 2-to-1 的量子查询复杂度为 Ω(n)，确立了近乎线性下界。
• 该结果意味着当以布尔形式编码时，AC0 函数的量子查询复杂度存在 Ω(n/log n) 的下界。
• 满射问题 ONTO: [2n−2] → [n] 同样需要 Ω(n) 次量子查询，因为其推广了 2-to-1 问题。
• 该证明使用原始对偶方法，无需依赖负权重或半正定规划等高级扩展。
• 该下界对 2-to-1 与近乎 2-to-1 问题而言渐近紧致，优于先前的 Ω((n/log n)^{2/3}) 下界。
• 结果表明，即使是简单的 AC0 函数（如 2-to-1 检测）也抵抗显著的量子加速，其查询复杂度随 n 线性增长。