[論文レビュー] A Sub-Gaussian Berry-Esseen Theorem for the Hypergeometric Distribution

Soumendra N. Lahiri, Arindam Chatterjee+1 more|ArXiv.org|Feb 13, 2006

Statistical Distribution Estimation and Applications参考文献 10被引用数 4

ひとこと要約

本稿は、超幾何分布が正規極限に収束するための必要十分条件—$Np(1-p)f(1-f) \to \infty$—を確立し、非一様なベリー・エッセーン評価を導出し、尾部のサブガウス型崩壊を示した。収束速度は$O\left([Np(1-p)f(1-f)]^{-1/2}\right)$であり、これは最適であり、取り出しのないサンプリングにおける依存性を考慮に入れたものである。

ABSTRACT

In this paper, we derive a necessary and sufficient condition on the parameters of the Hypergeometric distribution for weak convergence to a Normal limit. We establish a Berry-Esseen theorem for the Hypergeometric distribution solely under this necessary and sufficient condition. We further derive a nonuniform Berry-Esseen bound where the tails of the difference between the Hypergeometric and the Normal distribution functions are shown to decay at a sub-Gaussian rate.

研究の動機と目的

• 超幾何分布が弱収束して正規分布に収束するための必要十分条件を特定すること。
• この条件下で超幾何分布に対するベリー・エッセーン定理を確立し、収束速度を定量すること。
• 尾部の近似誤差におけるサブガウス型崩壊を示す非一様なベリー・エッセーン評価を導出すること。
• その結果、超幾何分布に対する指数的（サブガウス型）尾部不等式を系として得ること。
• サンプリング比率$f$と割合$p$が境界値（0または1）に近い場合に、正規近似の精度に及ぼす影響を分析すること。

提案手法

• 有限母集団サイズ$N$、タイプAの単位数$M$の母集団から、単純無作為標本サイズ$n$で抽出されるタイプA単位の数を表す超幾何分布$X \sim \text{Hyp}(n; M, N)$を定義する。
• 標準化された確率変数$\frac{X - np}{\sigma}$を定義し、ここで$\sigma^2 = Np(1-p)f(1-f)$とする。
• 弱収束が成り立つための必要十分条件として、$Np(1-p)f(1-f) \to \infty$が成り立つこと。
• シュタイン法と集中不等式を用いて、$x \in \mathbb{R}$に対して、$\left|P\left(\frac{X - np}{\sigma} \leq x\right) - \Phi(x)\right| \leq \frac{C}{\sigma} (1 + x^2) \exp(-C' q(1-f)^2 x^2)$の形の非一様ベリー・エッセーン評価を導出する。ここで$q = 1-p$である。
• チェビシェフの不等式と尾部バウンドを用いて、中央部と尾部領域における確率を制御し、特に$f \leq 1/2$または$f > 1/2$の場合を考慮する。
• 対称性と双対性を用い、$V_r = n_r - X_r$を定義することで、右尾部および$f > 1/2$の場合への結果の拡張を図る。

実験結果

リサーチクエスチョン

• RQ1 超幾何分布が正規分布に弱収束するためのパラメータ$n, M, N$に関する必要十分条件は何か？
• RQ2 この条件下で、超幾何分布の正規分布への収束速度の最適値は何か？
• RQ3 取り出しのないサンプリングにおける依存構造は、正規近似の尾部挙動にどのように影響するか？
• RQ4 超幾何分布に対して、サブガウス型崩壊を示す非一様なベリー・エッセーン評価を導出できるか？
• RQ5 非一様評価からどのような指数的尾部不等式を導出できるか？

主な発見

• 超幾何分布が正規極限に弱収束するための必要十分条件は$Np(1-p)f(1-f) \to \infty$である。
• 分布関数の正規分布への収束速度は$O\left([Np(1-p)f(1-f)]^{-1/2}\right)$であり、これは最適であり、さらに向上させることはできない。
• $p$または$f$が0または1に近い場合、依存性の影響により、標準的な$O(n^{-1/2})$の速度よりも著しく収束が遅くなる。
• 非一様なベリー・エッセーン評価が確立され、近似誤差がサブガウス型の速度で崩壊することが示された：$\left|P\left(\frac{X - np}{\sigma} \leq x\right) - \Phi(x)\right| \leq \frac{C}{\sigma}(1 + x^2) \exp(-C' q(1-f)^2 x^2)$。
• この評価は、尾部近似誤差が任意の多項式より速く崩壊することを示し、サブガウス型尾部挙動を裏付ける。
• 同じ条件下で、超幾何分布に対する指数的（サブガウス型）尾部不等式が系として導出された。