[論文レビュー] Generalized Hammersley Process and Phase Transition for Activated Random Walk Models

Leonardo T. Rolla|arXiv (Cornell University)|Dec 14, 2008

Stochastic processes and statistical mechanics参考文献 5被引用数 3

ひとこと要約

本学位論文は、2つの独立した貢献を提示する。第一に、空間的独立性と可換性を用いた新しいグラフィカルカップリングと確率的単調性を用いて、1次元の活性化ランダムウォークモデルにおける相転移の厳密な証明がなされる。第二に、最後到着確率論における道具としての折れ線過程の導入と分析が行われ、指数分布および幾何分布の通過時間分布に対して定常性、可逆性、大数の法則が確立される。

ABSTRACT

* ACTIVATED RANDOM WALK MODEL * This is a conservative particle system on the lattice, with a Markovian continuous-time evolution. Active particles perform random walks without interaction, and they may as well change their state to passive, then stopping to jump. When particles of both types occupy the same site, they all become active. This model exhibits phase transition in the sense that for low initial densities the system locally fixates and for high densities it keeps active. Though extensively studied in the physics literature, the matter of giving a mathematical proof of such phase transition remained as an open problem for several years. In this work we identify some variables that are sufficient to characterize fixation and at the same time are stochastically monotone in the model's parameters. We employ an explicit graphical representation in order to obtain the monotonicity. With this method we prove that there is a unique phase transition for the one-dimensional finite-range random walk. Joint with V. Sidoravicius. * BROKEN LINE PROCESS * We introduce the broken line process and derive some of its properties. Its discrete version is presented first and a natural generalization to the continuum is then proposed and studied. The broken lines are related to the Young diagram and the Hammersley process and are useful for computing last passage percolation values and finding maximal oriented paths. For a class of passage time distributions there is a family of boundary conditions that make the process stationary and reversible. One application is a simple proof of the explicit law of large numbers for last passage percolation with exponential and geometric distributions. Joint with V. Sidoravicius, D. Surgailis, and M. E. Vares.

研究の動機と目的

• 1次元の有限範囲のランダムウォークにおける活性化ランダムウォークモデルの相転移を証明する長年の未解決問題を解決すること。
• 動的性質を保持する確率的単調なグラフィカル表現を構築し、固定性の性質の構成的解析を可能にすること。
• ハマーソン過程の一般化としての折れ線過程を導入し、ヤング図形および最後到着確率論と関連付けて研究すること。
• 特に指数分布および幾何分布の通過時間分布に対して、折れ線過程が定常的かつ可逆的である条件を確立すること。
• 最後到着確率論における指数分布および幾何分布の下で、大数の法則の単純で構成的な証明を折れ線フレームワークを用いて提供すること。

提案手法

• ジャンプとスリープ遷移を符号化する空間時間のポアソン過程を用いて、活性化ランダムウォーク過程のグラフィカルカップリングを構築する。
• 異なる更新順序においても進化が経路に依存しないことを保証する、動的性質の可換性（アーベル性）を用いる。
• 粒子の追加やスリープ率の変化が固定プロファイルに与える影響を分析することで、確率的単調性の枠組みを導入する。
• 流れ場とエンVELOPSEQUENCESを用いた離散格子構成により折れ線過程を定義し、連続極限に一般化する。
• 双対性と一貫性の性質を用いて、折れ線過程を最後到着確率論の値および最大の向き付き経路に関連付ける。
• この理論を応用して、定常的境界条件を特定することで、指数分布および幾何分布の最後到着確率論における大数の法則を証明する。

実験結果

リサーチクエスチョン

• RQ1 整数直線上の活性化ランダムウォークモデルは、粒子密度に応じて固定状態と活性状態の間で非自明な相転移を示すか？
• RQ2 有限範囲のジャンプを伴う1次元の活性化ランダムウォークに対して、相転移の厳密な数学的証明が可能か？
• RQ3 連続極限において、折れ線過程が定常的かつ可逆的である条件は何か？
• RQ4 折れ線過程は最後到着確率論および最大経路計算とどのように関連するか？
• RQ5 折れ線フレームワークは、指数分布および幾何分布の最後到着確率論における大数の法則の簡略化された証明を提供できるか？

主な発見

• 本論文は、有限範囲のジャンプを伴う1次元の活性化ランダムウォークモデルにおける一意的な相転移の存在を確立し、初期密度が低い場合には局所的固定が生じ、密度が高い場合には活動が持続することを証明する。
• 可換性と確率的単調性を備えたグラフィカル表現により、再正規化や複雑なカップリング技法に依存せずに、相転移の直接的かつ構成的な証明が可能になる。
• 指数分布および幾何分布を含む通過時間分布のクラスに対して、折れ線過程は定常的かつ可逆的境界条件を有し、大数の法則の導出を可能にする。
• 折れ線過程は、流れ場ダイナミクスを用いた最後到着確率論の値の計算および最大の向き付き経路の特定のための、新しい幾何的フレームワークを提供する。
• 与えられた動的条件下で、最大の折れ線が存在し、かつ一意的であることが示され、その重みは形式化されたレンガ図の構成により計算可能である。
• この理論により、指数分布および幾何分布の最後到着確率論における明示的大数の法則の単純な証明が得られ、折れ線過程の双対性と一貫性が活用される。