[論文レビュー] Variational formula for the time-constant of first-passage percolation I: Homogenization

Arjun Krishnan|arXiv (Cornell University)|Nov 1, 2013

Advanced Mathematical Modeling in Engineering参考文献 18被引用数 2

ひとこと要約

本稿は、i.i.d. で正の重みを伴う $\mathbb{Z}^d$ 上の第一通過時間確率過程における時間定数の正確な変分公式を導出する。スケーリングされた通過時間の収束を、離散のハミルトニアン＝ジャンコビ＝ベルマン方程式の均質化問題として定式化する。最小化子を生成する明示的な反復アルゴリズムを導入し、反復が正しく補正項（correctors）を生成する条件を特定することで、確率的均質化における時間定数の構成的アプローチを提供する。

ABSTRACT

We consider first-passage percolation with positive, stationary-ergodic weights on the square lattice $\mathbb{Z}^d$. Let $T(x)$ be the first-passage time from the origin to a point $x$ in $\mathbb{Z}^d$. The convergence of the scaled first-passage time $T([nx])/n$ to the time-constant as $n o \infty$ can be viewed as a problem of homogenization for a discrete Hamilton-Jacobi-Bellman (HJB) equation. We derive an exact variational formula for the time-constant, and construct an explicit iteration that produces a minimizer of the variational formula (under a symmetry assumption). We explicitly identify when the iteration produces correctors.

研究の動機と目的

• $\ mathbb{Z}^d$ 上の定常・混合的な重みを伴う第一通過時間確率過程における時間定数の変分公式を確立すること。
• スケーリングされた第一通過時間の収束を、確率的係数を伴う離散ハミルトニアン＝ジャンコビ＝ベルマン方程式の均質化問題として解釈すること。
• 対称性の仮定の下で、時間定数の変分公式の最小化子を生成する明示的な反復手続きを開発すること。
• 反復手続きが補正項を生成する条件を同定すること。補正項は高次の均質化推定において不可欠である。

提案手法

• 第一通過時間確率過程の動的計画原理に基づく変分問題として時間定数を定式化する。
• 確率的係数を伴う離散HJB方程式の均質化問題として、$T([nx])/n$ の収束を再定式化する。
• 双対性および凸解析の技法を用いて、時間定数の正確な変分公式を導出する。
• 対称性の仮定を活用して収束を保証する反復アルゴリズムを提案し、変分公式の最小化子を計算する。
• 反復の各項が補正項に収束する条件を同定する。補正項は均質化極限の精度を高める。
• 重み分布のエルゴード性と定常性を用いて、時間定数の存在性と一意性を正当化する。

実験結果

リサーチクエスチョン

• RQ1 定常・混合的な重みを伴う $\ mathbb{Z}^d$ 上の第一通過時間確率過程における時間定数の正確な変分表現は何か？
• RQ2 スケーリングされた第一通過時間の収束を、離散HJB方程式の均質化プロセスとしてどのように解釈できるか？
• RQ3 時間定数の変分公式の最小化子を計算する明示的な反復スキームを構築できるか？
• RQ4 反復手続きが補正項を生成する条件は何か？
• RQ5 対称性は、反復による最小化子の構成の収束性と正しさを保証するために果たす役割は何か？

主な発見

• 時間定数の正確な変分公式が導出され、第一通過時間確率過程における漸近的通過時間の双対的表現が得られた。
• $T([nx])/n$ の収束が、確率的係数を伴う離散ハミルトニアン＝ジャンコビ＝ベルマン方程式の均質化と厳密に結びつけられた。
• 重み分布に特定の対称性が成り立つ場合に、変分公式の最小化子を生成する明示的な反復アルゴリズムが構築された。
• 重み分布が特定の対称性およびエルゴード性条件を満たす場合、反復の各項が補正項に収束することが示された。
• 本手法により、時間定数の近似とそのランダム環境依存性の解析のための構成的フレームワークが提供された。
• 本研究の結果は、第一通過時間確率過程と確率的均質化の間の橋渡しを果たし、ランダム媒体におけるスケーリング極限を分析するための新規なツールを提供する。