[論文レビュー] Limit theorems for the number of occupied boxes in the Bernoulli sieve

Alexander Gnedin, Alexander Iksanov+1 more|arXiv (Cornell University)|Jan 27, 2010

Financial Risk and Volatility Modeling参考文献 19被引用数 24

ひとこと要約

この論文は、乗法的再生過程によって生成される無限個の箱の頻度を持つベルヌーイシーブの占領箱数 $K_n$ に関する極限定理を確立する。関連する数え上げ過程 $N^*(x)$ とランダムウォーク $\rho^*(x)$ を分析することで、$K_n$ の弱収束が $(\rho^*(x) - g(x))/f(x)$ と同じ極限分布に収束することを示し、従来のモーメント制約を除去し、有限分散および無限分散の両ケースを統一的に扱う。

ABSTRACT

The Bernoulli sieve is a version of the classical `balls-in-boxes' occupancy scheme, in which random frequencies of infinitely many boxes are produced by a multiplicative renewal process, also known as the residual allocation model or stick-breaking. We focus on the number $K_n$ of boxes occupied by at least one of $n$ balls, as $n o\infty$. A variety of limiting distributions for $K_n$ is derived from the properties of associated perturbed random walks. Refining the approach based on the standard renewal theory we remove a moment constraint to cover the cases left open in previous studies.

研究の動機と目的

• $n \to \infty$ のとき、ベルヌーイシーブにおける占領箱数 $K_n$ の極限分布を導出すること。
• 従来の研究で求められていたモーメント制約を除去することで、$\nu = \mathbb{E}|\log(1-W)|$ が有限および無限の両ケースを統一的に取り扱うこと。
• 極限分布の $K_n$ の振る舞いと、数え上げ過程 $N^*(x)$ およびランダムウォーク $\rho^*(x)$ の漸近的性質との直接的な関係を確立すること。
• $(\rho^*(x) - g(x))/f(x)$ の弱収束が、$(K_n - b_n)/a_n$ が同じ極限に弱収束することを示し、明示的な定数 $a_n$ および $b_n$ を得ること。

提案手法

• 著者たちは、占有過程 $K(t)$ を分析するためのポisson化技術を用い、それを数え上げ過程 $N^*(x) = \#\{k : P_k \geq e^{-x}\}$ と関連付ける。
• $K_n$ を、頻度 $\geq e^{-x}$ の箱の数を数えるランダム変数 $\rho^*(x) = \inf\{k : W_1\cdots W_k < e^{-x}\}$ と関連付ける。
• 主な手法は、$\rho^*(x)$ の漸近的挙動を、パerturbedランダムウォークを用いて分析し、$f$ および $g$ に対して一般な条件下で弱収束結果を適用することである。
• 定数 $a_n = f(\log n)$ および $b_n = \int_0^{\log n} g(\log n - y) \, \mathbb{P}\{|\log(1-W)| \in dy\}$ は、$|\log(1-W)|$ の分布から導出される。
• 著者たちは、$(\rho^*(x) - g(x))/f(x)$ の弱収束が、$R^*(t)$ および $K(t)$ の両方の弱収束を同じ極限に導くことを証明し、$f$-同値関数および正則変動の性質を用いる。
• 固定 $n$ モデルへの移行のためにカップリング論法を用い、適切な正規化のもとで $K_n$ と $K(t)$ が同じ極限分布を持つことを示す。

実験結果

リサーチクエスチョン

• RQ1 ベルヌーイシーブにおける占領箱数 $K_n$ が、適切な正規化のもとで弱収束するための条件は何か？
• RQ2 $K_n$ の極限分布は、ランダムウォーク $\rho^*(x)$ の漸近的挙動とどのように関係しているか？
• RQ3 中央極限定理における $\sigma^2 < \infty$ の仮定を $K_n$ に対して取り除くことは可能か？
• RQ4 $(K_n - b_n)/a_n$ が非退化極限に弱収束するための明示的な正規化 $a_n$ および $b_n$ は何か？
• RQ5 $K_n$ と $R^*(n)$（$K_n$ の条件付き期待値）の極限が、どのような意味で漸近的に同値であるか？

主な発見

• $(\rho^*(x) - g(x))/f(x)$ が弱収束する限り、$x = \log n$ のとき $K_n$ の極限分布はそれと同一である。
• 正規化定数は $a_n = f(\log n)$ および $b_n = \int_0^{\log n} g(\log n - y) \, \mathbb{P}\{|\log(1-W)| \in dy\}$ で与えられ、$|\log(1-W)|$ の分布に依存する。
• 従来の研究で要請されていた $\sigma^2 < \infty$ の仮定を除去し、$\log W$ の分散が無限大である場合も含めた解析が可能になった。
• $f$-同値関数 $g$ 全体にわたって一様に成り立つため、中心化関数 $g$ の微小な摂動に対しても極限分布が安定である。
• 弱収束の観点から、$K_n$ と $R^*(n)$ の極限は、同じ正規化のもとで等価であることが確認され、ランダム環境の支配的役割が裏付けられた。
• 証明により、ポisson化過程 $K(t)$ と固定 $n$ の過程 $K_n$ は同じ弱極限を持つことが示され、解析におけるポisson化の正当性が裏付けられた。