[論文レビュー] Principal eigenvalue for random walk among random traps on Z^d

Jean-Christophe Mourrat|ArXiv.org|May 6, 2008

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

ひとこと要約

本稿では、ℤ^d 上の連続時間ランダムウォークにおける各サイトに配置された確率的で重たい尾を持つ停止時間（トラップ）を伴う、主固有値の漸近的挙動を研究する。尾指数 α と次元 d に応じて、固有値の挙動に段階的転移が生じることを示し、d=1 の場合、n^{−max(2,1+1/α)} に比例して固有値が減少し、d≥2 の場合、n^{−max(2,d/α)} に比例して減少する。異なる α と d の領域における鋭い境界が確立されている。

ABSTRACT

Let $(τ_x)_{x \in \Z^d}$ be i.i.d. random variables with heavy (polynomial) tails. Given $a \in [0,1]$, we consider the Markov process defined by the jump rates $ω_{x o y} = {τ_x}^{-(1-a)} {τ_y}^a$ between two neighbours $x$ and $y$ in $\Z^d$. We give the asymptotic behaviour of the principal eigenvalue of the generator of this process, with Dirichlet boundary condition. The prominent feature is a phase transition that occurs at some threshold depending on the dimension.

研究の動機と目的

• 連続時間ランダムウォークの生成子の主固有値の漸近的挙動を理解すること。このランダムウォークは、各サイトに独立同分布の停止時間（トラップ）を持つ。
• トラップ分布の尾の挙動（指数 α のべき則）と空間次元 d がプロセスのスペクトルギャップに与える影響を調査すること。
• α と d の相互作用に応じて、主固有値の減少率に段階的転移が生じることを特定すること。特に、α が d より小さいか大きい場合の挙動に注目する。
• 異なる領域における固有値の鋭い境界を確立すること。特に、固有値が 1/n² またはそれ未満に比例する場合の環境の尾の挙動に応じた境界を含む。
• パrameter a ∈ [0,1] が、異なるジャンプレートダイナミクスを補間するが、固有値の挙動に影響しないことを示すこと。これは、直感的な解釈が異なるにもかかわらず成立する。

提案手法

• 各サイト x における i.i.d. な重たい尾を持つ確率変数 τ_x を用いて、最近接点間のジャンプレート ω_{x→y} = τ_x^{-(1−a)} τ_y^a で定義される ℤ^d 上の連続時間マコフ過程を定義する。
• ボックス B_n = {−n,…,n}^d に制限された生成子 −ℒ_n の主固有値 λ_n を、ディリクレ境界条件のもとで研究する。
• 尾分布 F(y) = ℙ(τ_0 > y) の一般化逆関数 h(x) = inf{y : 1/F(y) ≥ x} を用いる。正則変動仮定のもとで、h ∈ RV_{1/α} を満たす。
• テスト関数（例：正弦関数）を用いて変分原理とスペクトル境界を適用し、エネルギーと L² 範数を用いて λ_n の上界を導出する。
• 重み付きパスを用いた特徴的経路法を用いて λ_n の下界を導出し、α < d のとき高次元では限界に達することを示す。
• 極値理論と正則変動を用いて、τ_x の最大値と和の漸近的挙動を分析する。特に、B_n 内の最大トラップの典型的スケール h(n^d) との関係を特定する。

実験結果

リサーチクエスチョン

• RQ1 ランダムウォークが ℤ^d 上の確率的トラップの間を移動するとき、ボックスサイズ n → ∞ のとき、生成子の主固有値 λ_n はどのように減少するか？
• RQ2 λ_n の減少率は、i.i.d. トラップ分布の尾指数 α と空間次元 d にどのように依存するか？
• RQ3 ジャンプレートダイナミクスを制御するパrameter a ∈ [0,1] は、λ_n の漸近的挙動に影響を与えるか？
• RQ4 λ_n の減少率に段階的転移を引き起こす α の臨界閾値は何か？また、これは d にどのように依存するか？
• RQ5 特徴的経路法は λ_n の鋭い下界を導けるか？もしできない場合、高次元で α < d のときなぜ失敗するのか？

主な発見

• d = 1 の場合、主固有値はほとんど確実に lim_{n→∞} −ln(λ_n)/ln(n) = max(2, 1 + 1/α) を満たす。
• d ≥ 2 の場合、減少率はほとんど確実に lim_{n→∞} −ln(λ_n)/ln(n) = max(2, d/α) を満たす。
• d ≥ 2 かつ α > d/2、または d = 1 かつ α > 1 のとき、固有値は Θ(1/n²) に比例し、十分大きな n に対して正の定数 k₁, k₂ を用いて k₁/n² ≤ λ_n ≤ k₂/n² が成り立つ。
• α < 1 かつ d ≠ 2 のとき、d = 1 では λ_n ≍ 1/(n h(n))、d ≥ 3 では λ_n ≍ 1/h(n^d) に比例する。ここで h(x) ∼ x^{1/α} は尾分布の一般化逆関数である。
• d = 2 かつ α < 1 のとき、環境分布のもとで λ_n^∘ ≍ 1/(ln(n) h(n²)) を満たし、対数補正が現れる。
• 固有値の挙動は a ∈ [0,1] に依存しない。これは、段階的転移が d と α のみに依存し、ジャンプレートパラメータ a には依存しないことを示している。