[論文レビュー] On an extreme two-point distribution

V. I. Chebotarev, A. S. Kondrik+1 more|ArXiv.org|Oct 18, 2007

Probability and Risk Models被引用数 3

ひとこと要約

この論文は、標準化分布関数と標準正規分布との間の本質的距離に関するBerry–Esseenの上限を精緻化する。極端な2点分布を分析することで、最良の上限が $ C_{\text{\Phi}} = 0.5409365\ldots $ であることを証明し、確率変数が値 $ x_1 = -4.6925 $ および $ x_2 = 0.2131 $ をそれぞれ確率 $ 0.0434 $ と $ 0.9566 $ でとる場合に達成されることを示し、上限のタイトさを裏付けている。

ABSTRACT

A bound for functional $Δ(F)=\sup_{x\in\mathbb R}|F(x)-Φ(x)|$ is obtained, which is uniform for all distribution functions $F$ of random variables with zero mean-value and unity variance. Moreover, a two-point distribution is found, for which this bound is reached.

研究の動機と目的

• 標準化分布関数と標準正規分布との間の本質的距離に対する上界を精緻化すること。
• 単一の確率変数に対するBerry–Esseen不等式で最もタイトな境界を達成する分布を特定すること。
• 以前に報告された値 0.5416 よりも鋭い解析的導出値を提示することで、それよりも改善すること。
• 特定の2点分布を構成することで、新しい境界が改善不能であることを示すこと。

提案手法

• 標準正規分布の尾と任意の標準化分布の尾との差を上界づける関数 $ \Psi(x) = \frac{1}{1+x^2} - \Phi(-|x|) $ を定義する。
• $ \Psi(x) $ が正であり、$ x = \pm x_{\Phi} $ で最大値 $ C_{\Phi} = 0.5409365\ldots $ をとることを証明する。ここで $ x_{\Phi} \approx 0.213105 $ である。
• 臨界点条件 $ x e^{x^2/2} (1+x^2)^{-2} = (8\pi)^{-1/2} $ を導出し、これにより $ x_{\Phi} $ が定義されることを示す。
• 値 $ x_1 = -1/x_{\Phi} $ および $ x_2 = x_{\Phi} $、確率 $ p_1 = x_{\Phi}^2/(1+x_{\Phi}^2) $、$ p_2 = 1/(1+x_{\Phi}^2) $ を持つ極端な2点分布 $ X_{\Phi} $ を構成する。
• この分布に対して $ \Delta(F) = \sup_x |F(x) - \Phi(x)| = C_{\Phi} $ が成り立つことを示し、境界のタイトさを証明する。
• 標準化確率変数に対して $ \mathbb{P}(X \geq x) \leq \frac{1}{1+x^2} $ が成り立つことを利用して、上界 $ \Delta(F) \leq \Psi(x) \leq C_{\Phi} $ を導出する。

実験結果

リサーチクエスチョン

• RQ1 標準化分布関数と標準正規分布との間のKolmogorov-Smirnov距離に対する、最もタイトな上界は何か？
• RQ2 以前に報告された値 0.5416 を改善できるか？ もしそうなら、どの程度改善できるか？
• RQ3 単一の確率変数に対するBerry–Esseenの上限で等号が成立する特定の分布が存在するか？
• RQ4 境界に到達する極端な2点分布のサポート点と確率の正確な値は何か？
• RQ5 3次絶対モーメントに依存する代替の境界（例：3次絶対モーメント）と比較して、新しい境界はどのように異なるか？

主な発見

• 任意の標準化分布関数 $ F $ と標準正規分布との間の本質的距離 $ \Delta(F) $ は、$ C_{\Phi} = 0.5409365\ldots $ で上界づけられる。
• $ \Psi(x) = \frac{1}{1+x^2} - \Phi(-|x|) $ の最大値は $ x = \pm x_{\Phi} $ で達成され、ここで $ x_{\Phi} \approx 0.213105 $ である。
• 値 $ x_1 = -4.692518\ldots $ および $ x_2 = 0.213105\ldots $ をとり、確率 $ p_1 = 0.0434 $、$ p_2 = 0.9566 $ を持つ極端な2点分布 $ X_{\Phi} $ は、境界 $ \Delta(F) = C_{\Phi} $ で等号を達成する。
• 境界 $ \Delta(F) \leq C_{\Phi} $ は、$ F_{\Phi} $ および $ \widetilde{F}_{\Phi} $ の両方で等号が成立するため、改善不能である。
• 新しい境界 $ C_{\Phi} = 0.5409365\ldots $ は、以前に報告された値 0.5416 よりも厳密に小さいため、初期の推定値を是正している。
• 3次絶対モーメント $ \beta < C_{\Phi}/C_1 \approx 1.46 $ を満たす分布に対して、新しい境界は代替のモーメントに基づく境界よりもタイトである。