[論文レビュー] Implicit Renewal Theorem for Trees with General Weights

Predrag R. Jelenković, Mariana Olvera‐Cravioto|arXiv (Cornell University)|Dec 10, 2010

Mathematical Dynamics and Fractals参考文献 23被引用数 6

ひとこと要約

本稿は、一般の実数値重みをもつ重み付き分岐過程へ暗黙の更新定理を拡張し、乗法的型の確率的不動点方程式の解のべき乗尾漸近挙動の特徴付けを可能にする。主な貢献は、重み $ C_i $ が負であっても、非同次線形再帰 $ R \stackrel{\mathcal{D}}{=} \sum_{i=1}^N C_i R_i + Q $ のようなモデルにおける尾挙動の解析のための厳密なフレームワークを提供することである。これは、従来の非負の重みに制限された結果を一般化するものである。

ABSTRACT

Consider distributional fixed point equations of the form R =d f(C_i, R_i, 1 <= i <= N), where f(.) is a possibly random real valued function, N in {0, 1, 2, 3,...} U {infty}, {C_i}_{i=1}^N are real valued random weights and {R_i}_{i >= 1} are iid copies of R, independent of (N, C_1,..., C_N); =d represents equality in distribution. Fixed point equations of this type are of utmost importance for solving many applied probability problems, ranging from average case analysis of algorithms to statistical physics. We develop an Implicit Renewal Theorem that enables the characterization of the power tail behavior of the solutions R to many equations of multiplicative nature that fall in this category. This result extends the prior work in Jelenkovic and Olvera-Cravioto (2010), which assumed nonnegative weights {C_i}, to general real valued weights. We illustrate the developed theorem by deriving the power tail asymptotics of the solution R to the linear equation R =d sum_{i=1}^N C_i R_i + Q.

研究の動機と目的

• 重み付き分岐木上の確率的不動点方程式に一般実数値重みを許容するよう、暗黙の更新定理を一般化すること。
• 重み $ C_i $ が負であってもよい乗法的型方程式の解のべき乗尾挙動を特徴付けること、特に非同次線形再帰 $ R \stackrel{\mathcal{D}}{=} \sum_{i=1}^N C_i R_i + Q $ の場合。
• 重み付き木上に行列更新測度構造を確立し、ゴールディの古典的結果を木構造を持つ確率的再帰に拡張すること。
• 一般重みをもつ重み付き分岐過程において、モーメントの有限性と解の一意性を保証する十分条件を提示すること。

提案手法

• 重み付き分岐木上に測度を構成し、行列更新方程式を満たすことで、暗黙の更新定理の行列形を導出する。
• レムマ 3.3 と式 (3.12) を用いて、新たな測度論的アプローチにより、木上の解測度が行列更新測度であることを示す。
• 非同次線形再帰 $ R \stackrel{\mathcal{D}}{=} \sum_{i=1}^N C_i R_i + Q $ に定理を適用する。ここで $ C_i $ は実数値重み、$ Q $ は非退化な確率変数である。
• モーメント推定（レムマ 4.4）と尾の境界（レムマ 5.2）を用いて、非整数のべき指数に対しても $ R $ の挙動を一般条件下で制御する。
• 明示的な境界（レムマ 4.5）を用いてモーメントの有限性を確立し、$ \mathbb{E}[|Q|^\alpha] $、$ \mathbb{E}[|C_i|^\alpha] $、および $ \mathbb{E}[N] $ の条件を提示する。
• 尾挙動を正負の部分に分解し、$ (x+t)^\alpha $ に対する不等式を適用して、$ \mathbb{E}[|S+Q|^\alpha - |S|^\alpha] $ の差を制御する。

実験結果

リサーチクエスチョン

• RQ1 一般実数値重み（負の重みを含む）をもつ木上の確率的再帰に、暗黙の更新定理をどのように拡張できるか？
• RQ2 一般重み分布のもとで、非同次線形再帰 $ R \stackrel{\mathcal{D}}{=} \sum_{i=1}^N C_i R_i + Q $ の解 $ R $ のモーメントの有限性を保証する条件は何か？
• RQ3 重み $ C_i $ が負であっても許容される場合、$ R $ の正確なべき乗尾漸近挙動はどのようなものか？
• RQ4 ゴールディ（1991）の古典的暗黙の更新定理は、単一変数方程式から木構造を持つ確率的再帰に一般化可能か？
• RQ5 符号が混合した重みと非整数 $ \alpha $ の下で、$ \mathbb{E}[|S+Q|^\alpha - |S|^\alpha] $ のような尾の差をどのように境界づけられるか？

主な発見

• 本稿は、実数値重みをもつ重み付き分岐過程に一般化された暗黙の更新定理（定理 3.4）を確立し、非負の重みに制限された従来の結果を拡張する。
• 非同次線形再帰 $ R \stackrel{\mathcal{D}}{=} \sum_{i=1}^N C_i R_i + Q $ の解 $ R $ は、$ C_i $ が負であっても、定理 4.6 によりべき乗尾漸近挙動が特徴づけられる。
• 整数 $ \alpha \in \{1,2,3,\dots\} $ の場合、補題 4.9 により尾挙動を明示的に計算でき、正確な漸近式が得られる。
• 非整数 $ \alpha $ の場合、レムマ 5.2 により尾挙動に対する明示的な境界が得られ、重尾解の定量的解析が可能になる。
• モーメントの有限性は一般条件下で確立され、レムマ 4.4 で明示的な境界が導出され、$ \mathbb{E}[|Q|^\alpha] < \infty $ および $ C_i $ と $ N $ の特定のモーメント条件が満たされれば $ \mathbb{E}[|R|^\alpha] < \infty $ が成り立つことが示される。
• 証明技法は、$ N \equiv 1 $ の場合のゴールディの元々の結果を、行列更新測度の定式化を用いることで簡素化し、木構造を持つ再帰に自然に一般化できる。