[論文レビュー] A necessary and sufficient condition for the non-trivial limit of the derivative martingale in a branching random walk

Xinxin Chen|arXiv (Cornell University)|Feb 24, 2014

Stochastic processes and statistical mechanics被引用数 5

ひとこと要約

本稿は、平均移動量と全質量がそれぞれ1および0に正規化された境界ケースにおいて、分岐ブラウン運動における導関数マルティンゲールの極限の非自明性の必要十分条件を確立する。トレuncatedマルティンゲールに基づく測度変換技術と、正に保たれるように条件付けられたランダムウォークの性質を用いて、著者たちは、極限が非退化的（正の確率で正である）であることが、$ Z\log_+ Z + Y(\log_+ Y)^2 $ の期待値が有限であることと同値であることを証明する。ここで、$ Y $ および $ Z $ は、分岐機構からの指数的移動量の重み付き和である。

ABSTRACT

We consider a branching random walk on the line. Biggins and Kyprianou [6] proved that, in the boundary case, the associated derivative martingale converges almost surly to a finite nonnegative limit, whose law serves as a fixed point of a smoothing transformation (Mandelbrot's cascade). In the present paper, we give a necessary and sufficient condition for the non-triviality of this limit and establish a Kesten-Stigum-like result.

研究の動機と目的

• 分岐ブラウン運動における導関数マルティンゲールが非自明な概収束極限を持つ正確な条件を特定すること。
• 既存の文献において、導関数マルティンゲール極限の非自明性に関する必要十分条件が完全に特徴付けられていなかったというギャップを埋めること。
• Kesten-Stigum定理を分岐ブラウン運動の境界ケースにおける導関数マルティンゲールに拡張すること。
• Mandelbrotのカスケード方程式を通じて、極限の固定点特性を確立すること。

提案手法

• 導関数マルティンゲールに関連するトレuncatedマルティンゲールに基づく測度変換技術の使用。
• 分岐過程とランダムウォークを結びつけるために、many-to-one補題の適用。
• 再生理論と局所極限定理を用いて、中心化されたランダムウォークが正に保たれるように条件付けられたときの漸近的挙動の分析。
• 新しい測度の下でラプラス変換と導関数マルティンゲールを関連付ける重要な恒等式の導出。
• $ \widetilde{Z} $、すなわち移動量加重和の正の部分に関する級数の発散を分析するための、関数 $ F_3(z) $ を用いた比較論法の使用。
• 再生測度 $ U $ および関数 $ F_1, F_2, F_3 $ に関する級数の収束・発散を用いて、必要十分条件の確立。

実験結果

リサーチクエスチョン

• RQ1 分岐ブラウン運動における導関数マルティンゲールが非退化的極限に収束する条件は何か？
• RQ2 移動量加重和 $ Z = \sum_{|u|=1} V(u)_+ e^{-V(u)} $ のモーメントと、極限の非自明性との正確な関係は何か？
• RQ3 Kesten-Stigum定理は、分岐ブラウン運動の境界ケースにおける導関数マルティンゲールにどのように適合されるか？
• RQ4 正に保たれるように条件付けられたランダムウォークは、極限の非自明性を特徴付ける上で果たす役割は何か？

主な発見

• 導関数マルティンゲールの極限 $ D_\infty $ が非自明（すなわち、$ \mathbb{P}(D_\infty > 0) > 0 $）であることは、$ \mathbb{E}[Z\log_+ Z + Y(\log_+ Y)^2] < \infty $ であることに同値であり、ここで $ Y = \sum_{|u|=1} e^{-V(u)} $ および $ Z = \sum_{|u|=1} V(u)_+ e^{-V(u)} $ である。
• この条件は、BigginsとKyprianou（2004）の定理5.2において、非自明性に関する必要十分条件が完全に一致していなかったというギャップを埋めるものである。
• 証明は、トレuncatedマルティンゲールを用いた測度変換に依存しており、これにより、正に保たれるように条件付けられたランダムウォークに基づいて導関数マルティンゲールの分析が可能になる。
• 著者たちは、再生測度および関数 $ F_3(z) $ を含む特定の級数の発散が、$ Z\log_+ Z $ の非可積分性と同値であることを確立し、これが非自明性を特徴付ける。
• この結果は、Kesten-Stigum定理に類似しているが、分岐ブラウン運動の境界ケースにおける導関数マルティンゲールに適合されたものであり、鋭いモーメント条件を提供する。