[論文レビュー] Central Binomial Tail Bounds

Matus Telgarsky|arXiv (Cornell University)|Nov 11, 2009

Markov Chains and Monte Carlo Methods参考文献 5被引用数 5

ひとこと要約

本稿は、中央二項尾確率の新しいランダムウォークベースの表現を導入し、級数展開と積分近似を用いてきびしい解析的境界を導出する。主な貢献は、$n$ が奇数で $p < 1/2$ のとき、$\mathbb{P}[B(p,n) \geq n/2]$ の新しい正確な公式で、中心二項係数と $\sigma^{2j}$ を含む和として表現され、古典的なチェルノフとスラドの不等式よりもきつい境界を可能にする。また、スラドの境界の拡張された十分条件と別証明が得られる。

ABSTRACT

An alternate form for the binomial tail is presented, which leads to a variety of bounds for the central tail. A few can be weakened into the corresponding Chernoff and Slud bounds, which not only demonstrates the quality of the presented bounds, but also provides alternate proofs for the classical bounds.

研究の動機と目的

• 整数直線上のランダムウォークモデルを用いて、中央二項尾の新しい正確な表現を導出すること。
• チェルノフやスラドのような古典的不等式を上回る、閉形式および積分に基づく二項尾の境界を構築すること。
• 新しい境界を弱める手法を用いて古典的境界の別証明を提供し、その十分条件を拡張すること。
• 新しい境界と古典的境界（特にチェルノフとスラド）との間の解析的ギャップを定量化すること。
• 中央尾の公式を非対称な場合を含む一般の尾に一般化すること。

提案手法

• ランダムウォークモデルを用いて、2ステップごとの尾確率の変化に関する再帰関係を導出し、テレスコピング和の表現に至らせる。
• 定理1.1の確立：$n$ が奇数で $p < 1/2$ のとき、$\mathbb{P}[B(p,n) \geq n/2] = (1/2 - p) \sum_{j \geq (n+1)/2} \binom{2j}{j} \sigma^{2j}$。
• テイラー級数と母関数を用いて、尾確率の別表現（補完的和表現を含む）を導出する。
• 定理1.1の和に対して積分近似を適用し、標準正規分布関数を含む積分に置き換えることで境界を導出する。
• 初等的不等式（接線および正割近似）を用いて、導出された境界をスラドの不等式の形に弱める。
• 定理8.1を用いて、中央尾の公式を一般化し、$\mathbb{P}[B(p,n) \geq n/2 + k]$ を $\binom{2j}{j+k}\sigma^{2j}$ の重み付き和として表現する。

実験結果

リサーチクエスチョン

• RQ1 二項分布のランダムウォーク的解釈を用いて、中央二項尾の新しい正確な表現を導出可能か？
• RQ2 新しい境界は、チェルノフやスラドのような古典的境界と比べてどの程度きついか？
• RQ3 新しい境界を体系的に弱めることでスラドの不等式を再現できるか？ もしそうなら、その十分条件は拡張されるか？
• RQ4 新しい境界と古典的境界（チェルノフなど）との間の解析的ギャップは何か？ その量を定量化できるか？
• RQ5 この手法は非中央尾に一般化可能か？ 一般化された尾確率はどのような形をとるか？

主な発見

• 本稿は、$n$ が奇数で $p < 1/2$ のとき、中央二項尾の新しい正確な公式を導出している：$\mathbb{P}[B(p,n) \geq n/2] = (1/2 - p) \sum_{j \geq (n+1)/2} \binom{2j}{j} \sigma^{2j}$。これは、以降のすべての境界の基盤となる。
• 式 (3.7) の上界は単純である：$n$ が奇数のとき $(2\sigma)^{n+1}/2$。これは、$m$ が偶数のときの古典的チェルノフ境界 $(2\sigma)^m$ よりきつい。
• 定理5.1の境界は最もきつい。上界と下界の間のギャップは解析的に定量化可能であり、$p < 1/2$ のすべての値でスラドの境界を上回る。
• 新しい境界を弱めてスラドの境界を証明する手法により、その十分条件が拡張される：$m$ が偶数のとき、新しい証明は $p \leq \frac{1}{2} + \frac{1}{6}(e^{l(m)}/m)^{1/3}$ に対して成立するが、これは古典的な $p \leq 1/2$ より大きい。
• 定理8.1における一般化された尾の公式により、中央尾の結果が一般の $k$ に拡張され、$\mathbb{P}[B(p,n) \geq n/2 + k]$ が $\binom{2j}{j+k}\sigma^{2j}$ の係数が $p$、$k$、$j$ に依存する和として表現される。これは $n$ が奇数で $p < 1/2$ の場合に有効である。
• 数値的証拠から、スラドの境界がすべての $p$ に対して成り立つとは限らず、$n \to \infty$ のとき最大許容 $p$ が $1/2$ に収束することが示唆されており、十分条件の拡張の必要性を支持する。