[論文レビュー] A quantum lower bound for the collision problem

Samuel Kutin|ArXiv.org|Apr 24, 2003

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

ひとこと要約

この論文は、関数の出力値の範囲が 3n/2 より大きい必要がないという制限を撤廃することで、量子クエリ複雑性における衝突問題に対するタイトな量子下界 Ω((n/r)^{1/3}) を確立する。著者らは、完全な自己同型群 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 以上である必要がない一般の関数範囲にまで拡張する。
• 中間問題（例：Half-r-to-one）に依存せず、完全な群 S_n × S_N における対称化を用いる、より簡潔で一般性の高い証明技法を開発する。
• クエリ複雑性の下界がタイトであり、最良の既知の量子アルゴリズムの性能と一致することを確立する。

提案手法

• 量子クエリ複雑性と多項式次数の関係を用い、受理確率が関数のデルタ変数 δ_{i,j} の多変数多項式として表現されることを利用する。
• 完全な自己同型群 S_n × S_N における対称化を適用し、多変数多項式を m, a, b の1変数多項式に簡約する。ここで m は1対1にマッピングされる入力数、a, b はそれぞれの前像サイズを表す。
• m 個の入力に対して a 対1 で、残りの n−m 個の入力に対して b 対1 となる特別な関数 f_{m,a,b} を定義し、1対1関数と r 対1関数の間の補間を可能にする。
• T がクエリ数であるとき、クエリ数 T に対して d ≤ 2T を満たす、m, a, b の d 次多項式である対称化受理多項式 Q(m,a,b) を導入する。
• Q(m,a,b) に Paturi の定理の修正版を適用し、Q(M,1,2) ≥ 1/2 または < 1/2 などの臨界点における挙動を分析することで、次数の下界を導出する。
• 2つの次数の下界 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 関数範囲が小さい場合でも、対称化モデルにおける受理確率の多項式次数が依然としてタイトな下界をもたらすか？

主な発見

• 本論文は、関数範囲に 3n/2 の制限がない一般の関数に対して、r 対1関数と1対1関数を区別するための量子クエリ下界 Ω((n/r)^{1/3}) を証明する。
• 完全な S_n × S_N 群における対称化技術により、部分的対称化や補助問題に依存する従来の手法よりも、より自然で概念的に簡潔な証明が可能になる。
• 受理確率多項式 Q(m,a,b) が、クエリ数 T に対して d ≤ 2T を満たす m, a, b の d 次多項式であることが示される。
• Q(M,1,2) や Q(M,c,r) などの臨界点における Q の挙動を分析することで、2つの下界 d = Ω(√c) と d = Ω(n/c) を得られ、これらを組み合わせることで d = Ω((n/r)^{1/3}) が導かれる。
• この結果は、最良の既知の量子アルゴリズムのクエリ複雑性と一致しており、下界がタイトで最適であることが確認される。