[論文レビュー] 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 が小さい場合の衝突問題と要素一意性問題に対してタイトな量子下界を確立すること。

提案手法

• 対称問題の量子クエリ複雑度を分析するために多項式法を活用する。
• 関数 f: {1,...,N} → {1,...,M} の対称関数の多項式次数が、M ≥ N の限り 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}) の量子下界が確立された。
• 本手法により、既存の大範囲下界を小範囲設定に転送することができ、追加の解析を要しない。