[論文レビュー] On a General Approach to the Strong Laws of Large Numbers

István Fazekas|arXiv (Cornell University)|Jun 11, 2014

Probability and Risk Models参考文献 39被引用数 4

ひとこと要約

本稿では、抽象的なハジャエ＝レニー型最大不等式を用いて強大数法則（SLLN）を導出する一般枠組みを提示する。この手法により、このような不等式が基礎となるコルモゴロフ型不等式の結果であることが示され、マルチンゲール、ミキシングエール、関連列、デミマルチンゲールなど、さまざまな従属列に対するSLLN結果が統一的かつ拡張的に得られる。また、一般化されたディニ型補題を用いることで収束速度が向上する。

ABSTRACT

A general method to obtain strong laws of large numbers is studied. The method is based on abstract Hájek-Rényi type maximal inequalities. The rate of convergence in the law of large numbers is also considered. Some applications for weakly dependent sequences are given.

研究の動機と目的

• 多様な従属確率列に適用可能な、強大数法則（SLLN）を導出する統一的理論的枠組みの構築。
• 特定の従属構造を仮定せずに、コルモゴロフ型不等式からハジャエ＝レニー型最大不等式が体系的に導かれるという事実の確立。
• マルチンゲール、関連列、デミマルチンゲールを含む弱い従属過程に対する既存のSLLN結果を、共通の抽象的設定で拡張すること。
• モーメント不等式に一般化されたディニ型補題を導入することで、SLLNにおける収束速度の系統的改善。
• 複数の確率過程に適用可能なSLLNおよび収束速度の結果を導出する体系的メソッドの提供。これにより、重複した証明を回避できる。

提案手法

• 非負の数列 $\alpha_l$, $r>0$ および正規化列 $\beta_l$ を用いて、モーメントに関する抽象的コルモゴロフ型およびハジャエ＝レニー型最大不等式を定式化する。
• 任意の定数 $K$ を持つコルモゴロフ型不等式が、正規化列 $\beta_l$ に依存しない定数 $C=4K$ を持つ対応するハジャエ＝レニー型不等式を導くことを証明する。
• 抽象的枠組みを用いて、非有界かつ非減少列 $b_n$ に対して $\sum_{l=1}^\infty \frac{\alpha_l}{b_l^r} < \infty$ を満たす条件を確認することでSLLNを導出する。
• 一般化されたディニ型補題（補題7.1）を用いて収束速度を向上させ、解析において古典的ディニの定理の代わりに用いる。
• 関数 $\varphi$ が $\sum \frac{\varphi(n)}{n^2} < \infty$ および $\varphi(x) \uparrow \infty$ を満たすとき、$\beta_n = \max_{1\leq k\leq n} b_k (\varphi(1/\nu_k))^{-1/r}$ と定義されるレート関数を構築する。ここで $\nu_k = \sum_{l=k}^\infty \frac{\alpha_l}{b_l^r}$ である。
• 各過程がモーメント不等式条件を満たすことを確認することで、$\varrho$-ミキシング、関連、AANA、NOD、およびデミマルチンゲール列など、さまざまな従属過程にこの枠組みが一様に適用可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 多様な従属確率列にわたる強大数法則の導出を統一的に可能にする、単一の抽象的枠組みが構築可能か？
• RQ2 追加の仮定なしに、コルモゴロフ型不等式からハジャエ＝レニー型最大不等式をどの程度体系的に導出できるか？
• RQ3 一般化された収束基準を用いることで、SLLNにおける収束速度を体系的にどのように改善できるか？
• RQ4 関数 $\varphi$ は、最適な収束速度を得るための正規化列 $\beta_n$ の精緻化において、果たす役割は何か？
• RQ5 マルチンゲール、デミマルチンゲール、関連列など、どの程度の従属過程のクラスにおいて、抽象的枠組みが有効なSLLN結果をもたらすか？

主な発見

• 最初のハジャエ＝レニー型モーメント最大不等式は、普遍定数 $C=4K$ を持つ最初のコルモゴロフ型不等式から導かれる。この定数 $C$ は正規化列 $\beta_l$ に依存しない。
• $\sum_{l=1}^\infty \frac{\alpha_l}{b_l^r} < \infty$ であるならば、$\frac{S_n}{b_n} \to 0$ がほとんど確実に成り立つ。これは、モーメント条件の下でのSLLNの一般基準を提供する。
• $\alpha_l$, $r>0$, $K>0$ を持つコルモゴロフ型不等式を満たす列に対して、正規化部分和 $S_n / \beta_n$ は $\{\beta_n\}$ が有界ならばほとんど確実に有界であり、無限大に発散するならば0にほとんど確実に収束する。
• ディニの定理に代えて補題7.1を用いることで収束速度が向上し、$\sum \frac{\varphi(n)}{n^2} < \infty$ および $\varphi(x) \uparrow \infty$ を満たす関数 $\varphi$ を用いることが可能になる。
• モーメント不等式条件を満たすことで、$\varrho$-ミキシング、関連、AANA、NOD、およびデミマルチンゲール列に対し、本枠組みはSLLNの結果をもたらす。
• $\beta_n = \max_{1\leq k\leq n} b_k (\varphi(1/\nu_k))^{-1/r}$ の正規化により、$\lim_{n\to\infty} \frac{\beta_n}{b_n} = 0$ が成り立つ。これは、$b_n$ のみに依存する場合よりも強い収束を示している。