[論文レビュー] Stationary Eden model on amenable groups

Tonći Antunović, Eviatar B. Procaccia|arXiv (Cornell University)|Oct 18, 2014

Geometric and Algebraic Topology参考文献 7被引用数 3

ひとこと要約

本稿は、可解なケイリー群 $G \times \mathbb{Z}_+$ の形をしたアーベル的ケイリー群上で、弱い重み分布の仮定の下でエルゴディック定理を用いて、エーデンモデルの2つの定常的変種を導入する。結果として得られる無限の森におけるすべての木がほとんど確実に有限であることを証明し、2種類のリチャードソンモデルに関する先行研究を一般化する。

ABSTRACT

We consider two stationary versions of the Eden model, on the upper half planar lattice, resulting in an infinite forest covering the half plane. Under weak assumptions on the weight distribution and by relying on ergodic theorems, we prove that almost surely all trees are finite. We generalize the result to Eden model in graphs of the form $G imes\mathbb{Z}_+$, where $G$ is an amenable Cayley graph satisfying mild conditions. This generalizes certain known results on the two-type Richardson model, in particular of Deijfen and H\aggstr\om in 2007.

研究の動機と目的

• 可解なグラフ、特に $G \times \mathbb{Z}_+$ 上でのエーデンモデルの定常的バージョンの開発。ここで $G$ は可解なケイリー群である。
• 重み分布に対する弱い仮定の下で、得られる無限の森における木のほとんど確実な有限性の分析。
• 特に Deijfen と H"aggstr"om (2007) の研究に焦点を当てた、2種類のリチャードソンモデルに関する既知の結果を、より広いクラスのグラフへ一般化すること。

提案手法

• 時間定常性と空間エルゴディシティを満たすように、グラフ $G \times \mathbb{Z}_+$ 上に2つの定常的エーデンモデルを定式化する。
• 重み分布の弱いモーメント条件の下で、クラスタ成長の長期的挙動を分析するためにエルゴディック定理を適用する。
• カップリングの議論と確率的支配を用いて、定常的エーデン過程を既知の競合粒子系と比較する。
• 基礎となるランダムウォークの再帰性および非再帰性の性質を確立し、木の成長における幾何的制約を導く。
• 可解性を活用して不変測度の存在を保証し、単調性のためにFKG型不等式を適用する。

実験結果

リサーチクエスチョン

• RQ1 可解なケイリー群 $G$ を持つ $G \times \mathbb{Z}_+$ 上の定常的エーデンモデルが、ほとんど確実に有限な木しか生成しない条件は何か？
• RQ2 重み分布に対する弱いモーメント条件が、定常的エーデン過程におけるクラスタのほとんど確実な有限性にどのように影響するか？
• RQ3 2種類のリチャードソンモデルに関する結果を、定常的エーデンダイナミクスを介して一般の可解ケイリー群へどの程度まで拡張できるか？
• RQ4 可解性が、定常モデルにおける無限木の不在を保証するために果たす役割は何か？
• RQ5 エルゴディック定理は、無限グラフ上の定常的エーデンクラスタのグローバル構造を効果的に分析するために利用できるか？

主な発見

• 可解なケイリー群 $G$ がやや弱い条件を満たすとき、$G \times \mathbb{Z}_+$ 上の定常的エーデンモデルにおいて、すべての木がほとんど確実に有限である。
• 結果は、有限モーメントよりも弱い積分可能性条件にとどまる、重み分布に対する弱い仮定のもとで成り立つ。
• 証明は、クラスタの成長率を制御するためのエルゴディック定理に依存しており、定常状態において無限木が形成されないことを保証する。
• この枠組みは、Deijfen と H"aggstr"om (2007) の研究に代表される、2種類のリチャードソンモデルに関する先行研究を、より広いクラスのグラフへ一般化する。
• 可解性は、必要な不変測度の存在を保証し、証明で用いられるエルゴディック議論を可能にするために不可欠である。