[論文レビュー] (Almost) tight bounds for randomized and quantum Local Search on hypercubes and grids

Shengyu Zhang|ArXiv.org|Apr 12, 2005

Quantum Computing Algorithms and Architecture参考文献 21被引用数 4

ひとこと要約

この論文は、高度な敵対法を用いて、ブール超立方体および定数次元グリッド上のローカルサーチのランダム化および量子クエリ複雑度に対して、ほぼタイトな境界を確立している。n次元超立方体に対しては、ランダム化複雑度がΘ(2ⁿᐟ²√n)、量子複雑度がΘ(2ⁿᐟ³n¹ᐟ⁶)であることを証明している。一方、d次元グリッドに対しては、d≥4のときランダム化複雑度がΘ(N¹ᐟ²)、d≥6のとき量子複雑度がΘ(N¹ᐟ³)であり、これらの構造上での汎用探索アルゴリズムの最適性を示している。

ABSTRACT

The Local Search problem, which finds a local minimum of a black-box function on a given graph, is of both practical and theoretical importance to many areas in computer science and natural sciences. In this paper, we show that for the Boolean hypercube $\B^n$, the randomized query complexity of Local Search is $Θ(2^{n/2}n^{1/2})$ and the quantum query complexity is $Θ(2^{n/3}n^{1/6})$. We also show that for the constant dimensional grid $[N^{1/d}]^d$, the randomized query complexity is $Θ(N^{1/2})$ for $d \geq 4$ and the quantum query complexity is $Θ(N^{1/3})$ for $d \geq 6$. New lower bounds for lower dimensional grids are also given. These improve the previous results by Aaronson [STOC'04], and Santha and Szegedy [STOC'04]. Finally we show for $[N^{1/2}]^2$ a new upper bound of $O(N^{1/4}(\log\log N)^{3/2})$ on the quantum query complexity, which implies that Local Search on grids exhibits different properties at low dimensions.

研究の動機と目的

• 構造的グラフ（例えば超立方体やグリッド）上でのランダム化および量子ローカルサーチの既知の上界と下界の間のギャップを埋めること。
• ブール超立方体および定数次元グリッド上での汎用ローカルサーチアルゴリズム（例：ランダムウォークベース）の最適性を確立すること。
• 低次元グリッドにおける量子およびランダム化クエリモデルでのローカルサーチのクエリ複雑度を分析し、従来の境界が緩い場合の改善を図ること。
• 積グラフ上でのランダムウォークおよび敵対法を用いた、ローカルサーチの下界に関する一般化された枠組みを構築すること。
• 2次元グリッドにおける新しい量子上界を提示し、低次元と高次元における挙動の違いを示すこと。

提案手法

• Zhang（2005）の変種を用いた量子敵対法を適用し、量子クエリ複雑度の下界を導出する。
• Aaronson（2004）の関係的敵対法を用いて、ランダム化クエリ複雑度の下界を証明する。
• 部分グラフ上のランダムウォークに基づく再帰的アルゴリズムを用い、探索領域を反復的に精緻化することで局所最小値を特定する。
• 混合時間およびランダムウォークの遷移確率を用いて、積グラフに対する分解型フレームワークを導入し、クエリ複雑度の境界を求める。
• 自己回避ランダムウォークおよびブロック分解（例：2次元グリッドではn²ᐟ⁵ブロック）を用い、低次元における下界を改善する。
• 拡張性 c(k) および r(k) に依存する、頂点をサンプリングし隣接頂点をクエリするレイヤードサーチ戦略により上界を導出する。

実験結果

リサーチクエスチョン

• RQ1 n次元ブール超立方体上でのローカルサーチの正確なランダム化クエリ複雑度は何か？
• RQ2 n次元ブール超立方体上でのローカルサーチの正確な量子クエリ複雑度は何か？
• RQ3 定数次元グリッド（d）におけるローカルサーチのクエリ複雑度は、次元dに応じてどのようにスケーリングされるか？
• RQ4 従来の結果が不十分であった低次元グリッド（例：d=2,3,4,5）に対して、よりタイトな下界を確立できるか？
• RQ5 2次元グリッド上でのローカルサーチは、高次元グリッドと比較して根本的に異なる量子複雑度を示すか？

主な発見

• ブール超立方体{0,1}ⁿに対して、ランダム化クエリ複雑度はΘ(2ⁿᐟ²√n)であり、既知の上界と一致し、汎用アルゴリズムの最適性が証明された。
• ブール超立方体{0,1}ⁿに対して、量子クエリ複雑度はΘ(2ⁿᐟ³n¹ᐟ⁶)であり、量子上界のタイトさが確立された。
• d次元グリッド[N¹ᐟᵈ]ᵈ（d≥4）に対して、ランダム化クエリ複雑度はΘ(N¹ᐟ²)であり、汎用アルゴリズムが最適であることが示された。
• d次元グリッド（d≥6）に対して、量子クエリ複雑度はΘ(N¹ᐟ³)であり、量子加速がこのオーダーに制限されることを証明した。
• 2次元グリッドに対して、O(N¹ᐟ⁴(log log N)²)の新しい量子上界が確立され、低次元における特異な挙動が示された。
• d=2,3,4,5グリッドの下界が改善され、2≤d≤4では量子複雑度がΩ(N¹ᐟ²⁻¹ᐟ⁽ᵈ⁺¹⁾)、d≥6ではΩ(N¹ᐟ³)であることが示され、先行研究のギャップが埋められた。