[論文レビュー] Large Deviation Probabilities for Sums of Random Variables with Heavy or Subexponential Tails

Daren B. H. Cline, Tailen Hsing|arXiv (Cornell University)|Nov 29, 2022

Probability and Risk Models被引用数 19

ひとこと要約

この論文は、重い尾または部分指数的尾を持つ i.i.d. 確率変数の和の極限確率が、$ n(1-F(s)) $ と漸近的に同値である条件を確立する。これは、$ - \log(1-F(x)) $ の緩やかな変動性に起因する。主な貢献は、切断とマーキョフの不等式を用いた統一的取り扱いであり、部分指数的分布が $ t_n $ を適切に選べば $ \lim_{n\to\infty}\sup_{s\geq t_n}\left|\frac{P(S_n>s)}{n(1-F(s))}-1\right|=0 $ を満たすことを証明し、部分指数的性質を極限確率の挙動によって特徴づける。

ABSTRACT

Let $S_n$ be the sum of independent random variables with distribution $F$. Under the assumption that $-\log(1-F(x))$ is slowly varying, conditions for $$ \lim_{n o\infty}\sup_{s\ge t_n}\left|{P[S_n>s]\over n(1-F(s))}-1 ight| =0 $$ are given. These conditions extend and strengthen a series of previous results. Additionally, a connection with subexponential distributions is demonstrated. That is, $F$ is subexponential if and only if the condition above holds for some $t_n$ and $$ \lim_{t o\infty}{1-F(t+x)\over 1-F(t)} = 1 \quad ext{for each real $x$.}$$

研究の動機と目的

• 重い尾または部分指数的尾を持つ i.i.d. 確率変数の和に関する極限確率の既存結果を拡張・強化すること。
• $ \lim_{n\to\infty}\sup_{s\geq t_n}\left|\frac{P(S_n>s)}{n(1-F(s))}-1\right|=0 $ が成り立つ条件を確立し、和の尾確率と最大値の尾確率の間の漸近的同値性を保証すること。
• $ -\log(1-F(x)) $ が緩やかに変動する部分指数的分布（対数正規分布やコーシー型分布など）の統一的取り扱いを提供すること。
• ある列 $ t_n $ に対して上記の極限条件が成り立つことと、$ F $ が部分指数的であることの必要十分条件であることを示すこと。

提案手法

• 著者らは、生存関数 $ \overline{F}(x) = 1 - F(x) $ に注目し、切断法とマーキョフの不等式を組み合わせて、和 $ S_n $ の尾の挙動を分析する。
• 和を切断された部分と尾の部分に分解し、モーメント条件を用いて切断された部分の寄与を評価することで、$ P(S_n > s) $ の漸近的挙動を分析する。
• この手法は、$ x \to \infty $ のとき $ -\log(1-F(x)) $ が緩やかに変動することを仮定しており、最も重い尾を持つ部分指数的分布を特徴づける。
• 重要な不等式には、$ \mathbb{E}[e^{\lambda X} \mathbf{1}_{\{X \leq x\}}] $ の評価と、緩やかな変動性を用いた指数モーメントの制御が含まれる。
• 証明の構造は、中心化項と分散項を制御する $ \mu_1(s) $、$ \mu_2(s) $、$ \eta(s) $ の上界を段階的に確立する補題の階層に従う。
• $ \psi(s) = -\log \overline{F}(s) $ とその導関数の関係を用いて、$ \sup_{s \geq t_n} \left| \frac{P(S_n > s)}{n \overline{F}(s)} - 1 \right| \to 0 $ を満たす $ t_n $ の十分条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 大規模な確率 $ P(S_n > s) $ が、$ n \to \infty $ のとき $ s \geq t_n $ に対して $ \frac{P(S_n > s)}{n(1-F(s))} \to 1 $ となる条件は何か？
• RQ2 部分指数的分布で $ -\log(1-F(x)) $ が緩やかに変動する場合、和の尾と最大値の尾の間の漸近的同値性はどのように特徴づけられるか？
• RQ3 $ \psi(x) = -\log(1-F(x)) $ が、極限確率の収束速度に果たす役割は何か？
• RQ4 切断法とモーメントの上限を用いて、対数正規分布やコーシー型分布のような重い尾を持つ部分指数的分布に対して、統一的なアプローチを開発できるか？
• RQ5 部分指数的性質は、ある列 $ t_n $ に対して $ \lim_{n\to\infty}\sup_{s\geq t_n}\left|\frac{P(S_n>s)}{n(1-F(s))}-1\right|=0 $ が成り立つことと同値であるか？

主な発見

• 論文は、$ -\log(1-F(x)) $ が緩やかに変動し、$ n(1-F(t_n)) \to 0 $ を満たすように $ t_n $ を選べば、$ \lim_{n\to\infty}\sup_{s\geq t_n}\left|\frac{P(S_n>s)}{n(1-F(s))}-1\right|=0 $ が成り立つことを証明し、先行研究を拡張する。
• すべての実数 $ x $ に対して $ \overline{F}(t+x)/\overline{F}(t) \to 1 $ を満たす部分指数的分布では、$ \limsup_{n\to\infty}\sup_{s\geq t_n}\frac{P(S_n>s)}{n\overline{F}(s)} \leq 1 $ が部分指数的性質を特徴づける。
• 著者らは、$ F \in \mathcal{S} $ であることと、(1.5) が成り立つこと、かつ上記の極限上界が 1 で有界であるような列 $ t_n $ が存在することとが同値であることを示す。
• 正則変動尾を持つ分布、たとえば $ P(|X| > x) \sim x^{-\alpha} $ のような分布では、$ \alpha < 2 $ かつ適切な中心化とモーメント条件が満たされれば、結果が成り立つ。
• この手法により、対数正規分布やコーシー型尾の非自明な拡張が可能となり、従来の統一的枠組みでは扱えなかった分野をカバーする。
• 論文は、安定性条件 $ \overline{F}(t+x)/\overline{F}(t) \to 1 $ を組み合わせると、条件 $ \lim_{n\to\infty}\sup_{s\geq t_n}\left|\frac{P(S_n>s)}{n(1-F(s))}-1\right|=0 $ が部分指数的性質の必要十分条件であることを示す。