[論文レビュー] A proof of the Lyons-Pemantle-Peres monotonicity conjecture for high biases

Gérard Ben Arous, Alexander Fribergh+1 more|arXiv (Cornell University)|Nov 24, 2011

Stochastic processes and statistical mechanics参考文献 13被引用数 6

ひとこと要約

この論文は、葉のないガルトン＝ワトソン木上のβ-偏りランダムウォークの速度$v(\beta)$が$\beta \geq 717$で厳密に増加することを、リー・ペマントル・ペレスの単調性予想を高偏りの場合に証明する。証明は、超再生時刻に基づくカップリング論法と、$\mathbb{Z}$上でのβ-偏りランダムウォークの抜出し分布に関する推定を用い、稀な経路配置が歩行を遅くする可能性を抑え、単調性を確立する。

ABSTRACT

The speed $v(β)$ of a $β$-biased random walk on a Galton-Watson tree without leaves is increasing for $β\geq 717$.

研究の動機と目的

• 1996年にリー、ペマントル、ペレスが提起した予想、すなわち、葉のないガルトン＝ワトソン木上のβ-偏りランダムウォークの速度$v(\beta)$がすべての$\beta > 1/\mathbb{E}[Z]$に対して単調増加することを解決すること。
• 典型的に細い木の枝による遅延の可能性があるにもかかわらず、高偏りの場合、特に$\beta \geq 717$において速度が増加することを確立すること。
• 最小次数$d \geq 2$の木に対しても結果を拡張し、$\beta \geq 717/d$で単調性が成り立つことを示すこと。
• 大きな$\beta$における速度の増加の漸近的割合を導出し、$v'(\beta) \sim 2\mathbb{E}[1/Z]\beta^{-2}$を示すこと。

提案手法

• 同じ環境上でのβ-および$(\beta+\varepsilon)$-偏りランダムウォークの挙動を比較するため、超再生時刻にインspiredされたカップリング論法を用いる。
• 問題を、$\mathbb{Z}$上でのβ-偏りランダムウォークの抜出し分布の分析に還元し、特に、帰還する前に左に特定のステップ数を進む確率を分析する。
• 3k+1ステップ中にk回の左移動を含む経路の数に対する組合せ的評価を用い、$\mathbb{P}[|\mathfrak{B}| = k]$を推定する。ここで$\mathfrak{B}$はバックステップの集合を表す。
• 不等式$n! \geq e^{11/12}(n/e)^n$を用いて二項係数を評価し、指数的上界$\mathbb{P}[|\mathfrak{B}| = k] \leq \left(\frac{27q_1^{(\beta)}}{4}\right)^k$を導出する。
• 速度$v(\beta+\varepsilon) > v(\beta)$を満たす十分条件$C(\beta) < 1$を導出し、ここで$C(\beta)$は遷移確率と経路数の組み合わせである。
• 漸近的解析を用いて$C(\beta) \sim 15(27/4)^2 \beta^{-1}$を示し、$\beta \geq 717$で1未満であることを確認し、単調性を証明する。

実験結果

リサーチクエスチョン

• RQ1 葉のないガルトン＝ワトソン木上のβ-偏りランダムウォークの速度$v(\beta)$は、すべての$\beta > 1/\mathbb{E}[Z]$に対して厳密に増加するか？
• RQ2 葉によるトラップがない状況でも、高偏りにおいて速度の単調性を証明できるか？
• RQ3 速度の増加の漸近的割合は$\beta \to \infty$でどのように振る舞うか？
• RQ4 ガルトン＝ワトソン木の最小次数$d$は、単調性の閾値にどのように影響するか？

主な発見

• 葉のないガルトン＝ワトソン木上のβ-偏りランダムウォークの速度$v(\beta)$は、すべての$\beta \geq 717$で厳密に増加する。
• 最小次数$d$を持つ木では、$\beta \geq 717/d$で速度が増加し、より高い次数の木に対しても結果が拡張される。
• 速度の増加の漸近的割合は、$\frac{v(\beta+\varepsilon) - v(\beta)}{\varepsilon} \sim 2\mathbb{E}[1/Z]\beta^{-2}$を満たす、$\beta \to \infty$のとき。
• 証明は、歩行を遅くする可能性のある稀な経路配置の確率を抑え、$\beta \geq 717$ではその影響が無視可能であることを示している。
• $C(\beta) < 1$は単調性の十分条件であり、この条件はすべての$\beta \geq 717$で成り立つため、主要な結果が確認される。
• $\mathbb{P}[Z = 0] = 0$かつ最小次数が1以上である限り、子孫分布の選択にかかわらず結果は頑健である。