[論文レビュー] Martin boundary of random walks with unbounded jumps in hyperbolic groups

Sébastien Gouëzel|arXiv (Cornell University)|Feb 21, 2013

Geometric and Algebraic Topology参考文献 13被引用数 18

ひとこと要約

本稿では、非初等的双曲群における超指数的尾を持つランダムウォークについて、マーティン境界が幾何的境界と一致することを確立し、有限台分布に限らないアンコナの古典的結果を拡張する。双曲幾何における拡張アンコナ不等式とグリーン関数推定を用いて、著者らはマーティン核が幾何的境界に収束することを証明し、対称性の仮定の下で遷移確率の局所極限定理を導出し、明示的な n−3/2 の減衰率を特定する。

ABSTRACT

Given a probability measure on a finitely generated group, its Martin boundary is a natural way to compactify the group using the Green function of the corresponding random walk. For finitely supported measures in hyperbolic groups, it is known since the work of Ancona and Gou{\\"e}zel-Lalley that the Martin boundary coincides with the geometric boundary. The goal of this paper is to weaken the finite support assumption. We first show that, in any non-amenable group, there exist probability measures with exponential tails giving rise to pathological Martin boundaries. Then, for probability measures with superexponential tails in hyperbolic groups, we show that the Martin boundary coincides with the geometric boundary by extending Ancona's inequalities. We also deduce asymptotics of transition probabilities for symmetric measures with superexponential tails.

研究の動機と目的

• 有限台分布に限らない測度へのアンコナのマーティン境界が幾何的境界と一致するという結果を拡張すること。
• 跳躍分布の尾が有限台より重たい場合、マーティン境界が依然として良好（すなわち幾何的境界と一致する）かどうかを調査すること。
• マーティン境界が幾何的境界と一致するための尾の条件（指数的対比して超指数的）が、双曲群において必要十分であるかを特定すること。
• 有限台設定から拡張して、超指数的尾を持つ場合の遷移確率に対する局所極限定理を確立すること。
• 指数的尾を持つ測度におけるマーティン境界の病理的挙動を分析し、それが幾何的境界に収束しない可能性があることを示すこと。

提案手法

• 直接的なジャンプが支配するグリーン関数を持つ指数的尾を持つ測度を用いた反例の構築により、マーティン境界における収束が妨げられることを示す。
• 双曲群における超指数的尾を持つ測度に対して、拡張アンコナ不等式（y が x から z への測地線上にあるとき G(x,z) ≤ C G(x,y)G(y,z)）を証明する。
• ハルナック不等式と時計型領域におけるグリーン関数推定を用いて、調和関数を制御し、アンコナ不等式を導出する。
• 測地線セグメントに沿ったグリーン核による調和関数の反復的分解を適用し、マーティン核の指数的収束を示す。
• スペクトル理論と対称性を活用して、遷移確率の局所極限定理を導出し、明示的な n−3/2 の減衰率を特定する。
• 幾何的制御とループ挿入技術を用いて、領域 D におけるグリーン関数が乗法的推定を満たすことを検証する。

実験結果

リサーチクエスチョン

• RQ1 跳躍分布の台が有界でない場合、双曲群におけるランダムウォークのマーティン境界も依然として幾何的境界と一致するか？
• RQ2 マーティン境界が幾何的境界と一致するための尾の減衰条件（指数的対比して超指数的）は、必要十分か？
• RQ3 マーティン境界を特徴付けるアンコナ型不等式は、超指数的尾を持つ測度へと拡張可能か？
• RQ4 双曲群における対称的ランダムウォークが超指数的尾を持つ場合、遷移確率の漸近的挙動はいかなるものか？
• RQ5 このような測度に対して、マーティン境界は幾何的境界によって一意に定まるか、それとも病理的挙動が生じ得るか？

主な発見

• 任意の非可換な有限生成群に対して、指数的尾を持つ対称的適切測度が存在し、特定の列がマーティン境界で収束しないことが示され、したがって非可算無限個の異なるマーティン境界が存在しうる。
• 非初等的双曲群において、超指数的尾と Anc∗ 性質を持つ適切測度は、アンコナ不等式（y が x から z への測地線上にあるとき G(x,z) ≤ C G(x,y)G(y,z)）を満たす。これはアンコナの元来の結果の拡張である。
• その結果、このような測度のマーティン境界は群の幾何的境界と一致する。
• 双曲群における対称的測度が超指数的尾を持つ場合、遷移確率は pn(x,y) ∼ C(x,y) R−n n−3/2 を満たす。ここで R はスペクトル半径の逆数である。
• 局所極限定理は、非周期的および周期的ウォークの両方で成り立ち、漸近的挙動は x から y までの距離の偶奇に依存する。
• 証明は、調和関数の反復的分解と双曲幾何におけるハルナック型推定に依拠しており、マーティン核が測地線に沿って指数的に速く収束することを示している。