[論文レビュー] Upper Tail Estimates with Combinatorial Proofs

Jan Hązła, Thomas Holenstein|arXiv (Cornell University)|May 9, 2014

Complexity and Algorithms in Graphs参考文献 18被引用数 3

ひとこと要約

本稿は、確率的状況における上側尾根の境界を導出する一般化された組合せ的枠組みを提示する。これは、ImpagliazzoとKabanetsの組合せ的証明技法を拡張したものであり、従属する確率変数における集中を確立するための鍵となる条件として「成長有界性」を導入する。この条件を用いて、最適な拡張子ランダムウォークの集中境界と、Erdős–Rényi確率的グラフにおける部分グラフカウントの上側尾根境界を導出し、Jansonらの既知の結果と一致する。この手法により、弱い従属仮定のもとでタイトな指数的尾根境界が得られる。

ABSTRACT

We study generalisations of a simple, combinatorial proof of a Chernoff bound similar to the one by Impagliazzo and Kabanets (RANDOM, 2010). In particular, we prove a randomized version of the hitting property of expander random walks and apply it to obtain a concentration bound for expander random walks which is essentially optimal for small deviations and a large number of steps. At the same time, we present a simpler proof that still yields a "right" bound settling a question asked by Impagliazzo and Kabanets. Next, we obtain a simple upper tail bound for polynomials with input variables in $[0, 1]$ which are not necessarily independent, but obey a certain condition inspired by Impagliazzo and Kabanets. The resulting bound is used by Holenstein and Sinha (FOCS, 2012) in the proof of a lower bound for the number of calls in a black-box construction of a pseudorandom generator from a one-way function. We then show that the same technique yields the upper tail bound for the number of copies of a fixed graph in an Erdős-Rényi random graph, matching the one given by Janson, Oleszkiewicz and Ruciński (Israel J. Math, 2002).

研究の動機と目的

• ImpagliazzoとKabanetsの組合せ的証明技法を、完全な独立性を超えた限られた独立性または弱い従属性を有する設定に拡張すること。
• ImpagliazzoとKabanetsが提起した、拡張子ランダムウォークにおける最適な集中境界に関する問いを解消すること。
• 互いに独立でないが、成長有界性条件を満たす[0,1]値変数上の多項式関数に対して、上側尾根境界を導出すること。
• 新規枠組みを用いて、Erdős–Rényi確率的グラフにおける部分グラフカウントのJanson–Oleszkiewicz–Rucińskiの上側尾根境界を再確認・再証明すること。
• HolensteinとSinhaの擬似乱数生成子下界において用いられる重要な集中境界の自己完備的証明を提供すること。

提案手法

• 成長有界性を集中の十分条件として導入し、古典的チェルノフ境界における独立性仮定を一般化する。
• 拡張子ランダムウォークにおける確率的ヒット性を用いて、最適な尾根境界を導出し、先行研究を改善する。
• 多項式関数 q(e) に対する E[q(e)^m] を制御するために、変数の配置を組合せ的に数えるモーメント法を適用する。
• 固定エッジ集合とのインターセクションパターンに基づく単項式の再帰的分解を用いて、高次モーメントを制御する。
• エッジ分布に対するほぼ独立性条件を用いて、従属する分布を独立なErdős–Rényiモデルと関連付ける。
• 期待値近似における比 µ*/µ を慎重に制御しながら、Markovの不等式を m 階モーメントに適用し、指数的尾根境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 ImpagliazzoとKabanetsの組合せ的証明技法は、完全な独立性を超える従属する確率変数へと拡張可能か？
• RQ2 ImpagliazzoとKabanetsが提起したように、ヒット性の議論を用いて拡張子ランダムウォークの最適な集中境界を導出可能か？
• RQ3 従属する[0,1]値変数にどのような条件が課されれば、多項式関数のタイトな上側尾根境界が得られるか？
• RQ4 この枠組みは、統一的な組合せ的アプローチを用いて、確率的グラフにおける部分グラフカウントのJanson–Oleszkiewicz–Ruciński境界を再現可能か？
• RQ5 成長有界性条件は、擬似乱数生成子構築のような状況で、どのように尾根境界を導出するために用いることができるか？

主な発見

• 本稿は、指数部の定数因子を除き最適な拡張子ランダムウォーク集中境界を確立し、ImpagliazzoとKabanetsによる未解決の問いを解消した。
• 成長有界性条件を満たす[0,1]値変数上の多項式関数に対して、本手法はHolensteinとSinhaの擬似乱数生成子下界で用いられた境界と一致する上側尾根境界を導出した。
• Erdős–Rényi確率的グラフにおける固定グラフ G のコピー数に関するJanson–Oleszkiewicz–Rucińskiの上側尾根境界は、本枠組みにより正確に再現された。
• 変数が独立でなくても、ほぼ独立性に類似した弱い従属条件を満たしていれば、本手法はタイトな尾根境界を達成する。
• 本枠組みは頑健である：追加の作業を施せば、大ステップ・小逸脱領域において指数部の定数因子を最適化できる。
• 証明技法はモジュラーであり、成長有界性条件の検証さえすれば、確率的グラフや擬似乱数生成子構築など多様な設定に応用可能である。