[論文レビュー] A Composition Theorem via Conflict Complexity

Swagato Sanyal|arXiv (Cornell University)|Jan 10, 2018

Complexity and Algorithms in Graphs参考文献 2被引用数 5

ひとこと要約

この論文は、部分ブール関数のための新しい複雑さの尺度である「コンフリクト複雑さ」を導入し、合成関係 $f \circ g^n$ のランダム化クエリ複雑さが $\Omega(\R_{4/9}(f) \cdot \sqrt{\R_{1/3}(g)})$ で下から抑えられることを示す合成定理を証明する。この結果は、コンフリクト複雑さを用いた新しい下界技術によって得られ、その複雑さが $\Omega(\sqrt{\R_{1/3}(g)})$ であることが示され、先行研究の例によって定数の違いを除いて最適であることが確認されている。

ABSTRACT

Let $\R(\cdot)$ stand for the bounded-error randomized query complexity. We show that for any relation $f \subseteq \{0,1\}^n imes \mathcal{S}$ and partial Boolean function $g \subseteq \{0,1\}^n imes \{0,1\}$, $\R_{1/3}(f \circ g^n) = Ω(\R_{4/9}(f) \cdot \sqrt{\R_{1/3}(g)})$. Independently of us, Gavinsky, Lee and Santha \cite{newcomp} proved this result. By an example demonstrated in their work, this bound is optimal. We prove our result by introducing a novel complexity measure called the \emph{conflict complexity} of a partial Boolean function $g$, denoted by $χ(g)$, which may be of independent interest. We show that $χ(g) = Ω(\sqrt{\R(g)})$ and $\R(f \circ g^n) = Ω(\R(f) \cdot χ(g))$.

研究の動機と目的

• 合成関係 $f \circ g^n$ のランダム化クエリ複雑さを、成分関数の複雑さの観点から下界で評価すること。
• 部分ブール関数 $g$ のための新しい複雑さの尺度、コンフリクト複雑さ $\chi(g)$ を導入し、その分析を行うこと。
• コンフリクト複雑さが $\chi(g) = \Omega(\sqrt{\R_{1/3}(g)})$ を満たすことを示し、これによりタイトな合成定理が得られることを示すこと。
• 既知の合成境界を、定数の違いを除いて最適な下界を達成するまでに、より単純かつ短い証明を与えること。

提案手法

• 部分ブール関数 $g$ における異なる出力を持つ入力を、クエリアクセスが制限されたランダム化プロセスを用いて区別する難易度を測る尺度として、コンフリクト複雑さ $\chi(g)$ を定義する。
• 分布 $\mu_0$, $\mu_1$ と、$g$ へのクエリをシミュレートするランダム化プロセス $\mathcal{P}$ を含むハイブリッド論法を用いる。このプロセスは、入力ラベルとの整合性を追跡する。
• 合成アルゴリズム $f \circ g^n$ の動作をエミュレートするクエリアルゴリズム $T$ を構築する。この際、コンフリクト複雑さを用いてクエリコストを制限する。
• マルコフの不等式を適用して、シミュレートされたアルゴリズムにおける期待クエリ数を制限する。これにより、元の複雑さが $t$ である場合、$t/d$ クエリで処理可能な入力の定数割合が得られ、ここで $d = \chi(g)$ である。
• ミニマックス原理を用いて、ランダム化クエリ複雑さと分布的複雑さを関連づけ、最終的な合成境界の導出を可能にする。
• 背理法を用いて、期待クエリ数が低すぎると、コンフリクト複雑さ $\chi(g) = d$ の定義に反することを示す。

実験結果

リサーチクエスチョン

• RQ1 部分ブール関数のクエリの本質的難易度を捉える新しい複雑さの尺度を定義できるか？ これによりタイトな合成定理が得られるか？
• RQ2 任意の部分ブール関数 $g$ に対して、コンフリクト複雑さ $\chi(g)$ が $\Omega(\sqrt{\R_{1/3}(g)})$ で下から抑えられるか？
• RQ3 既存の手法とは異なり、より単純かつ直接的な方法で合成定理 $\R_{1/3}(f \circ g^n) = \Omega(\R_{4/9}(f) \cdot \sqrt{\R_{1/3}(g)})$ を証明できるか？
• RQ4 境界 $\R_{1/3}(f \circ g^n) = \Omega(\R_{4/9}(f) \cdot \sqrt{\R_{1/3}(g)})$ はタイトであり、明示的な例によってこれを示せるか？

主な発見

• 部分ブール関数 $g$ のコンフリクト複雑さ $\chi(g)$ は、$\chi(g) = \Omega(\sqrt{\R_{1/3}(g)})$ を満たし、この新しい尺度に対する強い下界を確立する。
• 合成定理 $\R_{1/3}(f \circ g^n) = \Omega(\R_{4/9}(f) \cdot \chi(g))$ が成り立ち、コンフリクト複雑さを用いた一般化された下界を提供する。
• 主結果 $\R_{1/3}(f \circ g^n) = \Omega(\R_{4/9}(f) \cdot \sqrt{\R_{1/3}(g)})$ は、二つの境界を組み合わせることで得られ、先行研究の既知の例によって最適性が示されている。
• 証明手法は、ガビンスキー、リー、サンタが独立に得たものよりも著しく単純かつ短く、同じタイトな境界を達成している。
• 合成関係のランダム化クエリ複雑さは、$f$ のエラー $4/9$ における複雑さと、$g$ のエラー $1/3$ における複雑さの平方根の積で下から抑えられる。
• 分布 $\mu_0$, $\mu_1$ とクエリプロセスを含むハイブリッドシミュレーションを用いることで、クエリ数に関するマルコフに基づく議論が導かれる。