[论文解读] Quantum Lower Bounds for Collision and Element Distinctness with Small Range

Andris Ambainis|arXiv (Cornell University)|May 29, 2003

Mathematical Approximation and Integration参考文献 11被引用 31

一句话总结

本文提出一种通用方法，通过证明当范围 M ≥ N 时，N 个元素上对称函数的多项式次数与 M 无关，从而建立小范围问题的量子下界。结果表明，通过多项式法为大 M 证明的下界可直接适用于所有更小的范围，从而为小范围的碰撞问题和元素互异性问题分别得出 Ω(N^{1/3}) 和 Ω(N^{2/3}) 的量子下界。

ABSTRACT

We give a general method for proving quantum lower bounds for problems with small range. Namely, we show that, for any symmetric problem defined on functions $f:\\{1, ..., N\\}\ o\\{1, ..., M\\}$, its polynomial degree is the same for all $M\\geq N$. Therefore, if we have a quantum lower bound for some (possibly, quite large) range $M$ which is shown using polynomials method, we immediately get the same lower bound for all ranges $M\\geq N$. In particular, we get $\\Omega(N^{1/3})$ and $\\Omega(N^{2/3})$ quantum lower bounds for collision and element distinctness with small range.

研究动机与目标

• 开发一种针对小输出范围问题的通用量子下界证明方法。
• 证明 N 个元素上对称问题的多项式次数对所有满足 M ≥ N 的范围 M 均保持不变。
• 在不重新证明的前提下，将现有大范围下的量子下界推广至小范围设置。
• 在范围 M 较小时，为碰撞问题与元素互异性问题建立紧致的量子下界。

提出的方法

• 利用多项式法分析对称问题的量子查询复杂度。
• 证明当 M ≥ N 时，任意对称函数 f: {1,...,N} → {1,...,M} 的多项式次数与 M 无关。
• 利用 M ≥ N 时多项式次数的不变性，将大范围的下界转移至小范围。
• 将已建立的关于大 M 时碰撞问题与元素互异性问题的下界应用于本研究。
• 依赖对称性与次数论证，表明函数结构在 M ≥ N 时不影响最小次数。
• 证明通过多项式法为大 M 推导出的量子查询复杂度下界，对所有 M ≥ N 均普遍适用。

实验结果

研究问题

• RQ1 为大范围函数证明的量子下界是否可推广至小范围实例？
• RQ2 N 个元素上对称函数的多项式次数是否依赖于输出范围 M 的大小？
• RQ3 当 M 较小时，碰撞问题与元素互异性问题的最小量子查询复杂度是多少？
• RQ4 能否在不重新推导的情况下，利用多项式法为小范围问题推导下界？

主要发现

• 任意 N 个元素上对称问题的多项式次数在所有满足 M ≥ N 的范围内均相同。
• 通过多项式法为大 M 证明的量子下界可直接适用于所有更小的范围 M ≥ N。
• 为小范围下的碰撞问题建立了 Ω(N^{1/3}) 的量子下界。
• 为小范围下的元素互异性问题建立了 Ω(N^{2/3}) 的量子下界。
• 该方法可实现现有大范围下界向小范围设置的无缝转移，无需额外分析。