[论文解读] A quantum lower bound for the collision problem

Samuel Kutin|ArXiv.org|Apr 24, 2003

Cryptography and Data Security参考文献 4被引用 21

一句话总结

本文在量子查询复杂度中为碰撞问题建立了紧致的量子下界 Ω((n/r)^{1/3})，扩展了 Shi 的早期结果，消除了函数值域必须至少为 3n/2 的限制。作者在全对称群 S_n × S_N 上使用对称化技术，并对多项式应用修改版的 Paturi 定理，证明任何区分 r 对 1 函数与 1 对 1 函数的量子算法均需 Ω((n/r)^{1/3}) 次查询，与目前已知的最佳上界完全匹配。

ABSTRACT

We extend Shi's 2002 quantum lower bound for collision in $r$-to-one functions with $n$ inputs. Shi's bound of $Ω((n/r)^{1/3})$ is tight, but his proof applies only in the case where the range has size at least $3n/2$. We give a modified version of Shi's argument which removes this restriction.

研究动机与目标

• 在黑箱模型中弥合已知量子上界与下界之间关于碰撞问题的差距。
• 将 Shi 的量子下界 Ω((n/r)^{1/3}) 扩展至所有函数值域，消除此前要求值域大小至少为 3n/2 的限制。
• 开发一种简化且更具普适性的证明技术，对全群 S_n × S_N 进行对称化，而非依赖于中间问题如 Half-r-to-one。
• 证明查询复杂度下界是紧致的，并与目前已知最佳量子算法的性能相匹配。

提出的方法

• 利用量子查询复杂度与多项式次数之间的联系，其中接受概率是函数的 delta 变量 δ_{i,j} 的多变量多项式。
• 在全自同构群 S_n × S_N 上应用对称化，将多变量多项式简化为关于 m、a、b 的单变量多项式，其中 m 表示一对一映射的输入数量，a、b 分别为对应原像的大小。
• 定义特殊函数 f_{m,a,b}，其在 m 个输入上为 a 对 1 映射，在其余 n−m 个输入上为 b 对 1 映射，从而在一对一与 r 对 1 函数之间实现插值。
• 引入对称化后的接受多项式 Q(m,a,b)，其为 m、a、b 的 d 次多项式，其中 d ≤ 2T，T 为查询次数。
• 通过分析 Q(m,a,b) 在关键点（如 Q(M,1,2) ≥ 1/2 或 < 1/2）的行为，应用修改版的 Paturi 定理，推导出次数下界。
• 结合两个关于次数 d 的下界：d = Ω(√c) 与 d = Ω(n/c)，消去参数 c 后得出 d = Ω((n/r)^{1/3})。

实验结果

研究问题

• RQ1 能否将碰撞问题的量子查询下界扩展至所有函数值域，而不仅限于大小至少为 3n/2 的值域？
• RQ2 在分析碰撞问题的量子查询复杂度时，是否可以消除对 Half-r-to-one 等中间问题的依赖？
• RQ3 在全 S_n × S_N 群上使用对称化技术，能否得到更简洁、更具普适性的 Ω((n/r)^{1/3}) 下界证明？
• RQ4 当函数值域较小时，对称化模型中接受概率的多项式次数是否仍能导出紧致的下界？

主要发现

• 本文证明了区分 r 对 1 与 1 对 1 函数的量子查询下界为 Ω((n/r)^{1/3})，适用于所有函数值域，且无需 3n/2 的值域大小限制。
• 在全 S_n × S_N 群上的对称化技术，相比以往依赖部分对称化或辅助问题的方法，提供了更自然且概念更简洁的证明。
• 证明了接受概率多项式 Q(m,a,b) 是 m、a、b 的 d 次多项式，且 d ≤ 2T，其中 T 为查询次数。
• 通过分析 Q 在关键点（如 Q(M,1,2) 和 Q(M,c,r)）的行为，推导出两个下界：d = Ω(√c) 与 d = Ω(n/c)，二者结合可推出 d = Ω((n/r)^{1/3})。
• 该结果与目前已知最佳量子算法的查询复杂度完全一致，确认了该下界是紧致且最优的。