[論文レビュー] On the asymptotics of moments of linear random recurrences

Alexander Marynych|arXiv (Cornell University)|Oct 20, 2009

Stochastic processes and statistical mechanics参考文献 27被引用数 3

ひとこと要約

本稿は、線形確率的再帰のモーメントの漸近的性質を分析するための新しい反復関数に基づく手法を導入する。特に、ポアソン＝ディリクレ・コアリスケントに応用し、衝突回数および吸収時間のモーメントが反復対数関数（log star）のべき乗として増大することを証明する。弱大数法則が成立し、このようなモデルでは以前に観察されていなかった稀な漸近的挙動が明らかになる。

ABSTRACT

We propose a new method of analyzing the asymptotics of moments of certain linear random recurrences which is based on the technique of iterative functions. By using the method, we show that the moments of the number of collisions and the absorption time in the Poisson-Dirichlet coalescent behave like the powers of the "log star" function which grows slower than any iteration of the logarithm, and thereby prove a weak law of large numbers. Finally, we discuss merits and limitations of the method and give several examples related to beta coalescents, recursive algorithms and random trees.

研究の動機と目的

• 線形確率的再帰におけるモーメントの一次漸近的性質を導出するための新しい解析的手法を開発すること。
• 特に衝突回数および吸収時間のモーメントの漸近的挙動を解明すること。
• 生成関数やレパートア法などの既存手法が、極めてゆっくりとした漸近的性質を示す再帰に適用できないという課題に対処すること。
• この手法を、ベータ・コアリスケントや再帰的アルゴリズム、確率的木構造などに由来するより広範な再帰のクラスへと拡張すること。

提案手法

• 元の再帰を、合計が1となる重みを持つ確率的形に変換し、$ I_n $ を確率的インデックスと定義し、その分布を $ p_{nk} = \mathbb{P}(I_n = k) $ とする。
• 四重組 $ (h, g, x_0, k) $ によって生成される反復関数 $ g^* $ を構築する。ここで $ g(n) \sim \mathbb{E}[I_n] $、$ h(n) = B_n $、$ k $ は $[0, x_0]$ 上の連続関数である。
• 反復関数 $ g^* $ を用いて解 $ a_n $ を近似し、漸近的同値 $ a_n \sim f(n) $ を得る。ここで $ f $ は初等関数であるか、$ f = g^* $ である。
• 定理5.1を適用し、発散性および正則性の条件下で、$ a_n $ の漸近的挙動が非同次項 $ b_n $ によって決定されることを示す。
• 定理5.2を用いて、$ f $ の漸近的性質を $ h $ の挙動と関連づけ、$ f_1 $ が初等関数であれば $ f(x) \sim f_1(x) $ または $ f(x) = g^*(x) $ が成り立つことを保証する。
• 近似の収束を保証するため、整合性条件 $ f(\mathbb{E}[I_n]) - f(g(n)) = o(h(n)) $ を検証する。

実験結果

リサーチクエスチョン

• RQ1 ポアソン＝ディリクレ・コアリスケントにおけるモーメント $ \mathbb{E}X_n^k $ および $ \mathbb{E}T_n^k $ の漸近的挙動は何か？
• RQ2 生成関数やレパートア法といった標準的手法が失敗する再帰を解析するための新しい手法を開発できるか？
• RQ3 なぜポアソン＝ディリクレ・コアリスケントにおける衝突回数および吸収時間のモーメントはlog-star成長を示すのか？
• RQ4 線形再帰の解が発散し、明確な漸近的プロファイルを有するための条件は何か？
• RQ5 反復関数フレームワークを、コアリスケントや確率的木構造、再帰的アルゴリズムに由来する他の再帰に一般化できるか？

主な発見

• ポアソン＝ディリクレ・コアリスケントにおけるモーメント $ \mathbb{E}X_n^k $ および $ \mathbb{E}T_n^k $ は、反復対数関数 $ \log^* n $ のべき乗として漸近的に増大する。$ \log^* n $ は、任意の有限回の対数の反復よりも遅く増加する。
• 本手法により、ポアソン＝ディリクレ・コアリスケントにおける衝突回数および吸収時間の弱大数法則が証明される。これは、モーメントの増加が極めて遅いために成立する。
• 応用確率論において、log-starの漸近的挙動は稀である。本稿は、この挙動を示すモデルとしてポアソン＝ディリクレ・コアリスケントを新たに同定し、これに加え、これまでに知られているのはわずか2つのモデルに限られる。
• 提案手法は、生成関数の特異的解析やレパートア法といった従来手法が、解の極めてゆっくりとした増加に起因する失敗を回避できる。
• 反復関数の構築は、収束が弱い正則性および発散条件のもとで保証される体系的な漸近的性質の導出を可能にする。
• この手法は一般化可能であり、ベータ・コアリスケント、再帰的アルゴリズム、確率的木構造の解析へと拡張されており、元のコアリスケント問題を超えて広範な適用性を示している。