2025-11-21T02:34:15.165429

Maximal Entropy Random Walks in Z: Random and non-random environments

Thibaut, Gerin, Offret
The Maximal Entropy Random Walk (MERW) is a natural process on a finite graph, introduced a few years ago with motivations from theoretical physics. The construction of this process relies on Perron-Frobenius theory for adjacency matrices. Generalizing to infinite graphs is rather delicate, and in this article, we treat in a fairly exhaustive manner the case of the MERW on Z with loops, for both random and nonrandom loops. Thanks to an explicit combinatorial representation of the corresponding Perron-Frobenius eigenvectors, we are able to precisely determine the asymptotic behavior of these walks. We show, in particular, that essentially all MERWs on Z with loops have positive speed.
academic

Z上の最大エントロピーランダムウォーク：ランダムおよび非ランダム環境

基本情報

  • 論文ID: 2503.15957
  • タイトル: Maximal Entropy Random Walks in Z: Random and non-random environments
  • 著者: Thibaut Duboux (ブルゴーニュ・ヨーロッパ大学), Lucas Gerin (エコール・ポリテクニック), Yoann Offret (ブルゴーニュ・ヨーロッパ大学)
  • 分類: math.CO (組合数学), math.PR (確率論)
  • 提出日時: 2025年11月20日
  • 論文リンク: https://arxiv.org/abs/2503.15957

要約

最大エントロピーランダムウォーク(MERW)は有限グラフ上の自然なプロセスであり、数年前に理論物理学の動機から導入された。このプロセスの構成は隣接行列のペロン・フロベニウス理論に依存している。無限グラフへの一般化は相当に微妙であり、本論文では環を持つ整数格子Z上のMERWモデルを詳細に研究し、ランダムおよび非ランダム環境の両方をカバーしている。対応するペロン・フロベニウス固有ベクトルの明示的な組合せ表現を通じて、著者らはこれらのウォークの漸近挙動を正確に決定することができた。特に、Z上の環を持つほぼすべてのMERWが正の速度を持つことが証明された。

研究背景と動機

問題背景

  1. 標準ランダムウォークの限界: 従来の標準ランダムウォークは確率論、統計物理学およびネットワーク分析における基礎的なランダムプロセスであり、その遷移確率は pi,j=ai,j/∑ℓai,ℓp_{i,j} = a_{i,j}/\sum_\ell a_{i,\ell} で与えられる。しかし、このウォークは必ずしも軌跡のエントロピーを最大化しない。
  2. MERWの物理的動機: MERWは量子力学の経路積分形式に由来し、その遷移確率は pi,j=ai,jψj/(λψi)p_{i,j} = a_{i,j}\psi_j/(\lambda\psi_i) である。ここでψ\psiはスペクトル半径λ\lambdaに対応する正固有ベクトルである。この構成により、MERWは有限グラフ上で軌跡のエントロピーレートを最大化する。
  3. 無限グラフの課題:
    • 無限グラフ上では、ペロン・フロベニウス理論はもはや直接適用されない
    • R-再帰とR-一時的な場合を区別する必要がある
    • R-一時的な場合、正固有ベクトルは一意ではなく、極値解の凸集合が存在する
  4. 研究ギャップ: 有限グラフ上のMERWは十分に研究されているが、無限グラフ、特にランダムな摂動を伴う場合は体系的な研究が不足している。

研究の重要性

  1. 理論的意義: 組合確率、ランダムプロセスおよびアンダーソン局在理論を結びつける
  2. 応用価値: 複雑ネットワークのコミュニティ検出アルゴリズムに応用の可能性がある
  3. 方法論的貢献: 無限グラフ上のMERWを分析するための新しいツールを提供する

核心的貢献

本論文の主要な貢献は以下の通りである：

  1. 明示的固有ベクトル表現 (定理2.9): nice環境に対して、2つの極値固有ベクトルψ+\psi^+とψ−\psi^-の完全な明示的組合せ記述を与える：\beta_{-1}\cdots\beta_i, & i < 0\\ 1, & i = 0\\ (\beta_0\beta_1\cdots\beta_{i-1})^{-1}, & i > 0 \end{cases}$$ ここで$\beta_i$と$\alpha_i$は生成関数または連分数として表現可能である。
  2. 決定論的環境の完全な特性化 (命題2.3, 2.5):
    • 行列AAがR-一時的であることを証明
    • 極値固有ベクトルの単調性と極限挙動を正確に記述
    • すべてのnice環境下のMERWが一時的であることを証明
  3. ランダム環境下の線形速度 (定理3.1): i.i.d.ランダム環境に対して、極値MERWは定数正速度を持つ： lim⁡n→∞Xn+n=v>0(ほぼ確実に)\lim_{n\to\infty} \frac{X^+_n}{n} = v > 0 \quad \text{(ほぼ確実に)} ここで v=1/Eμ[S]v = 1/\mathbb{E}_\mu[S]、SSは明示的な表現を持つ。
  4. 非極値MERWの結合分析 (定理3.4): 混合固有ベクトルψ(κ)=κψ++(1−κ)ψ−\psi^{(\kappa)} = \kappa\psi^+ + (1-\kappa)\psi^-に対応するMERWに対して、Xn(κ)→+∞X^{(\kappa)}_n \to +\infty条件下でも線形速度vvを持つことを証明。
  5. ベルヌーイ環境の正確な計算 (命題3.6): 環境がP(wk=M)=pP(w_k=M)=pである場合、以下を証明： lim⁡p→0vp,M=1−4(2+M)2>0\lim_{p\to 0} v_{p,M} = \sqrt{1-\frac{4}{(2+M)^2}} > 0 これはp→0p\to 0のとき速度が不連続にジャンプすることを示す。
  6. 周期環境との対比 (命題A.1): 周期決定論的環境下のMERWは零常返であり、高度に局在化していることを証明し、ランダム環境と鮮明な対比を形成する。

方法の詳細説明

タスク定義

入力:

  • 環境w=(wi)i∈Zw = (w_i)_{i\in\mathbb{Z}}、ここでwi≥0w_i \geq 0は頂点iiでの自己ループの重み
  • 隣接行列AAは以下のように定義：隣接頂点間の辺の重みは1、頂点iiの自己ループの重みはwiw_i

出力:

  • 組合スペクトル半径λ\lambda
  • 正λ\lambda-固有ベクトルψ\psi（Aψ=λψA\psi = \lambda\psiを満たす）
  • 対応するMERW (Xn)n≥0(X_n)_{n\geq 0}の漸近挙動

制約条件:

  • 環境はM-niceである：有界、恒等的にMMではない、かつすべてのε>0\varepsilon>0とr≥0r\geq 0に対して、wi,…,wi+rw_i,\ldots,w_{i+r}がすべて≥M−ε\geq M-\varepsilonとなるiiが存在する

コア方法アーキテクチャ

1. 組合スペクトル半径の計算 (補題2.2)

経路計数を通じてλ=2+M\lambda = 2+Mの証明を与える：

下界証明の思路:

  • iiからiiへの経路でii以上に留まる経路数uri↺iu^{i\circlearrowleft i}_rを考える
  • 生成関数Hi,i[≥i],w(z)=∑r≥0dr0↺0zrH^{[\geq i],w}_{i,i}(z) = \sum_{r\geq 0} d^{0\circlearrowleft 0}_r z^rを使用
  • アーチ分解(arch-decomposition)を通じて以下を得る： Hi,i[≥i],w(z)=11−(M−ε)z−z2Hi,i[≥i],w(z)H^{[\geq i],w}_{i,i}(z) = \frac{1}{1-(M-\varepsilon)z - z^2H^{[\geq i],w}_{i,i}(z)}
  • 主特異点がz∗=(2+M−ε)−1z^* = (2+M-\varepsilon)^{-1}にあることを解く
  • 転移定理を使用してdr0↺0≥c(2+M−ε)rr−3/2d^{0\circlearrowleft 0}_r \geq c(2+M-\varepsilon)^r r^{-3/2}を得る

2. 極値固有ベクトルの構成 (命題2.3)

切断近似法:

  • k≤0k\leq 0に対して、ψ(k,ε)\psi^{(k,\varepsilon)}を境界条件で定義： 0, & n\leq k-2\\ \varepsilon, & n=k-1\\ 2\varepsilon, & n=k \end{cases}$$ かつ再帰関係$\psi_{n+1} + w_n\psi_n + \psi_{n-1} = \lambda\psi_n$を満たす
  • ψ0(k,εk)=1\psi^{(k,\varepsilon_k)}_0 = 1となるようにεk\varepsilon_kを調整
  • 対角線論証を通じて収束部分列を得る
  • 凸性推定を利用してlim⁡n→∞ψn+=∞\lim_{n\to\infty}\psi^+_n = \inftyを証明

3. 組合表現の導出 (定理2.9)

主要なステップ:

生成関数を定義： βi=1λHi,i[≤i],w(1λ),αi=1λHi,i[≥i],w(1λ)\beta_i = \frac{1}{\lambda}H^{[\leq i],w}_{i,i}\left(\frac{1}{\lambda}\right), \quad \alpha_i = \frac{1}{\lambda}H^{[\geq i],w}_{i,i}\left(\frac{1}{\lambda}\right)

アーチ分解を通じて再帰関係を得る： βi=1λ−wi−βi−1,αi=λ−wi−1αi+1\beta_i = \frac{1}{\lambda - w_i - \beta_{i-1}}, \quad \alpha_i = \lambda - w_i - \frac{1}{\alpha_{i+1}}

これは連分数展開と等価である： αi=1λ−wi−1λ−wi+1−1⋱\alpha_i = \cfrac{1}{\lambda - w_i - \cfrac{1}{\lambda - w_{i+1} - \cfrac{1}{\ddots}}}

ψi+=β−1⋯βi\psi^+_i = \beta_{-1}\cdots\beta_i (当i<0i<0)が実際に固有方程式を満たすことを検証。

4. ランダム環境下の速度分析

マルコフ連鎖の識別:

  • (wi)(w_i)がi.i.d.のとき、(βi)i(\beta_i)_iと(α−i)i(\alpha_{-i})_iは定常遍歴マルコフ連鎖である
  • 極値MERWは遍歴ランダム環境中のランダムウォークである

速度公式 (方程式3.4): v=1Eμ[S],S=∑n≥0P0w(Xn+=0)v = \frac{1}{\mathbb{E}_\mu[S]}, \quad S = \sum_{n\geq 0} P^w_0(X^+_n = 0)

有限性の証明: 制御を使用： βi≤1{wi≤M−δ}gM−δ(βi−1)+1{wi>M−δ}\beta_i \leq 1_{\{w_i\leq M-\delta\}} g_{M-\delta}(\beta_{i-1}) + 1_{\{w_i>M-\delta\}}

以下を得る： Eμ[β0β−12⋯β−i2]≤Eμ[Z02]i<1\mathbb{E}_\mu[\beta_0\beta^2_{-1}\cdots\beta^2_{-i}] \leq \mathbb{E}_\mu[Z^2_0]^i < 1

したがってEμ[S]<∞\mathbb{E}_\mu[S] < \inftyであり、正速度が保証される。

技術的革新点

  1. 経路生成関数法: 固有ベクトル問題を経路計数問題に変換し、解析的組合せ論のツールを利用。
  2. リッカチ変数技術: αi\alpha_iとβi\beta_iが満たす再帰関係はアンダーソン局在理論のリッカチ変数と関連し、MERWとランダムシュレーディンガー作用素の関連を確立。
  3. 結合論証: 非極値MERWに対して、極値MERWとの結合を構成し、「悪い時間」集合の有限性を利用して速度の一貫性を証明。
  4. 生成関数の境界分析: 主特異点での生成関数の挙動を正確に制御することで、経路数の漸近推定を得る。

実験設定

数値シミュレーションパラメータ

本論文は主に理論的な仕事であるが、数値検証を含む：

  1. 図1: ベルヌーイ環境下のMERWシミュレーション
    • パラメータ：M=20M=20, p=0.02p=0.02およびp=0.05p=0.05
    • 200本の独立軌跡、時間ステップn=600n=600
    • 速度vp,Mv_{p,M}がppに関して減少することを検証
  2. 図3: 速度vp,Mv_{p,M}のppに関する変化
    • モンテカルロシミュレーションで公式(3.21)を通じて
    • 異なるMM値：M=0.1,1,10M=0.1, 1, 10
    • 命題3.6の漸近挙動を検証
  3. 図4: 速度vp,Mv_{p,M}のMMに関する変化
    • パラメータ：p=0.3,0.5,0.8p=0.3, 0.5, 0.8
    • 速度がMMに関して非単調であることを示す

理論的検証

ベルヌーイ環境の正確な計算:

  • モッツキン数関連の組合恒等式を使用
  • lim⁡p→0vp,M=1−4/(2+M)2\lim_{p\to 0} v_{p,M} = \sqrt{1-4/(2+M)^2}を検証
  • p→1p\to 1のときvp,M∼3(1−p)/(2+M)v_{p,M} \sim 3(1-p)/(2+M)を証明

実験結果

主要な結果

1. 決定論的環境 (第2節)

定理2.9の検証:

  • ψ+\psi^+とψ−\psi^-の完全な明示的表現を与える
  • 境界推定：γ≤αi,βi≤1\gamma \leq \alpha_i, \beta_i \leq 1、ここでγ=(λ−λ2−4)/2\gamma = (\lambda-\sqrt{\lambda^2-4})/2

玩具例 (2.3節末尾): ステップ関数環境(wi=Mw_i=M当i≤0i\leq 0、wi=0w_i=0当i≥1i\geq 1)に対して：

1, & k\leq 0\\ \frac{\gamma}{1+\gamma}\gamma^{-k} + \frac{1}{1+\gamma}\gamma^k, & k\geq 0 \end{cases}$$ 速度$v_M \sim \sqrt{M}$当$M\to 0$、$v_M \sim M^{-1}$当$M\to\infty$。 #### 2. i.i.d.ランダム環境 (第3節) **定理3.1の数値検証** (図1): - $p=0.02$, $M=20$の場合：軌跡は明らかに右へ漂流し、速度は約$v_{0.02,20} \approx 0.35$ - $p=0.05$, $M=20$の場合：速度は約$v_{0.05,20} \approx 0.25$に減少 - 速度が$p$に関して単調減少するという理論的予測を支持 **定理3.4の含意**: すべての混合MERW $X^{(\kappa)}$が$X^{(\kappa)}_n \to +\infty$のとき同じ速度$v$を持つことは、以下を示す： - 非局在化：有限グラフ上の数値実験[BDLW09]と対照的 - 速度の普遍性：固有ベクトルの混合パラメータ$\kappa$に依存しない #### 3. ベルヌーイ環境の正確な結果 (第3.3節) **命題3.6の主要な発見**: 1. **$p\to 0$の不連続性**: $$\lim_{p\to 0} v_{p,M} = \sqrt{1-\frac{4}{(2+M)^2}} > 0$$ - $M=1$のとき：$\lim_{p\to 0} v_{p,1} \approx 0.745$ - $M=10$のとき：$\lim_{p\to 0} v_{p,10} \approx 0.986$ - $p=0$のとき速度は0（標準ランダムウォーク） 2. **$p\to 1$の漸近**: $$v_{p,M} \sim \frac{3(1-p)}{2+M}$$ 証明は複雑な生成関数展開と幾何ランダム変数分析を使用。 3. **単調性**: - $p \mapsto v_{p,M}$は厳密に減少（図3） - $M \mapsto v_{p,M}$は非単調で、最大値が存在（図4） ### アブレーション実験 **周期環境との対比研究** (付録A): 周期$\ell$の環境（$w_{n\ell}=M$、その他は0）に対して： **命題A.1**: $$\liminf_{\ell\to\infty} \pi_{\ell,M}\left(\left\{n : |n| \leq \frac{1}{2\theta^*_M}\ln\left(\frac{1}{\lambda^*_M\varepsilon}\right)\right\}\right) \geq 1-\varepsilon$$ **主要な対比**: - 周期環境：MERWは零常返で、環の近くに高度に局在化 - ランダム環境：MERWは正速度を持ち、非局在化 - 平均環密度が同じ($p=1/\ell$)であっても、ランダム性は質的な差異をもたらす ### ケーススタディ **図1の軌跡分析**: - 軌跡は明らかな「階段」構造を示す：環がある位置でより長く停留 - しかし全体的な傾向は線形成長であり、環によって永久に捕捉されない - 異なる軌跡の速度はかなり一貫しており、遍歴性を支持 **図3の相転移挙動**: - $M$が大きいとき、$v_{p,M}$の$p$に関する減衰はより緩い - 臨界値$M_c \approx 1$が存在し、$p \mapsto v_{p,M}$が凸から凹に変わる - $p$が小さいほど、最大値に対応する$M$は大きい **図4の非単調性**: - 固定$p$に対して、$v_{p,M}$は先に増加してから減少 - 最大値の位置は$p$とともに変化：$p$が小さいほど、最大値に対応する$M$は大きい - 物理的解釈：環が弱すぎると加速できず、環が強すぎると過度に停留 ## 関連研究 ### MERWの起源と発展 1. **有限グラフ上のMERW** [BDLW09, BDLW10]: - Burdaらが導入し、エントロピー最大化特性を証明 - $(\mathbb{Z}/n\mathbb{Z})^d$上の数値実験は局在化現象を示す - 本論文は無限グラフ上の挙動が根本的に異なることを証明 2. **無限グラフ理論** [VJ67, VJ68, DO24]: - Vere-Jonesが非負無限行列のスペクトル理論を発展 - R-再帰とR-一時的の概念を導入 - [DO24]は無限グラフ上MERWのエントロピー最大化を体系的に研究 3. **h-変換と条件付きプロセス** [Doo01]: - MERWの遷移確率はDoob h-変換に類似 - 条件付きプロセス理論との深い関連 ### アンダーソン局在 1. **標準アンダーソンモデル** [CKM87, KS80, Lan91]: - 作用素$H\psi_n = \psi_{n-1} + \omega_n\psi_n + \psi_{n+1}$を研究 - $\ell^2(\mathbb{Z})$でのスペクトル純点性と指数局在を証明 2. **放物型アンダーソンモデル** [GK05]: - $\partial u/\partial t = \Delta u + \tilde{\omega}u$を研究 - ファインマン・カック表現とMERWの関連 3. **リッカチ変数** [Hal67, CTT10, CTT13]: - 本論文の$\alpha_i, \beta_i$は物理文献のリッカチ変数と関連 - MERWの分析に新しいツールを提供する可能性 ### ランダム環境中のランダムウォーク 1. **遍歴環境中のランダムウォーク** [Zei04, Ali99]: - 本論文の極値MERWはこのクラスに属する - 速度公式$v = 1/\mathbb{E}_\mu[S]$とその有限性基準を使用 2. **ベッセル型ランダムウォーク**: - 玩具例の$X^-$はランペルティプロセス - [DO24]の議論と関連 ## 結論と議論 ### 主要な結論 1. **理論的完全性**: M-nice環境に対して、MERWの漸近挙動を完全に特性化： - 決定論的環境：固有ベクトルの明示的公式を与える - ランダム環境：正速度の存在性と普遍性を証明 2. **非局在化現象**: 有限グラフ上の数値観察と対照的に、無限グラフ上のMERWは環の近くに局在化せず、正速度で逃げる。 3. **ランダム性の重要な役割**: 平均環密度が同じであっても、ランダム環境と周期環境は完全に異なる挙動をもたらす（正速度 vs 零常返）。 4. **速度の微細構造**: - $p\to 0$で不連続にジャンプ - $M$に関して非単調 - 相転移現象が存在 ### 限界 1. **環境の制限**: - 環境が有界であることが必要（$w_i \leq M$） - M-nice条件は相当に強く、いくつかの興味深いケースを除外 - 辺の重みが非定数の場合をカバーしていない 2. **次元の制限**: - 1次元の場合$\mathbb{Z}$のみを研究 - 高次元$\mathbb{Z}^d$ ($d\geq 2$)には完全に異なるツールが必要 3. **非i.i.d.環境**: - 一般的な遍歴環境に対して、結果は不完全 - いくつかの技術（$(\beta_i)$のマルコフ性など）はi.i.d.仮定に依存 4. **微細な漸近**: - $\alpha_i, \beta_i$の定常分布特性は完全には理解されていない - 速度$v_{p,M}$の凸凹性転移は厳密には証明されていない ### 将来の方向 論文の第4節は複数のオープン問題を提起している： 1. **より一般的なグラフへの推広**: - 辺の重みが非定数の$\mathbb{Z}$ - $\mathbb{Z}\times\{0,1\}$などの1次元グラフ - 特定の無限木族（[OB12]の解析的方法と比較が必要） 2. **$(\alpha_i), (\beta_i)$の深い研究**: - 定常分布の台（ルベーグ測度に関して特異に見える） - 力学系との関連 3. **速度の微細な性質**: - $p \mapsto v_{p,M}$の凸凹性転移を証明 - 臨界値$M_c$を決定 - $M \mapsto v_{p,M}$の最大値位置を研究 4. **放物型アンダーソンモデルとの関連**: - MERWとPAMの正確な関係を明確化 - PAMの間歇性技術を利用 5. **高次元への推広**: - $\mathbb{Z}^d$上のMERW挙動 - 局在化-非局在化相転移の存在 ## 深い評価 ### 利点 1. **数学的厳密性**: - すべての主要な結果に完全な証明がある - 技術的処理は細致（補題2.2の経路計数など） - 無限次元の微妙さを正しく扱っている 2. **方法の革新性**: - 組合生成関数法は新規で強力 - 連分数表現は深い洞察を提供 - 結合論証（定理3.4）は巧妙 3. **結果の深さ**: - 存在性だけでなく明示的公式を与える - ランダム性の本質的役割を明らかにする（命題A.1の対比） - 不連続性（命題3.6）などの微細現象を発見 4. **学際的な関連**: - 組合数学、確率論および数学物理学を結びつける - アンダーソン局在との類比は啓発的 - PAM研究に新しい視点を提供 5. **執筆の質**: - 構造が明確で、単純から複雑へと段階的に進む - 玩具例と数値シミュレーションが直感を強化 - 付録の周期環境との対比は教育的価値が高い ### 不足 1. **適用範囲**: - M-nice条件は相当に限定的 - 1次元の結果は高次元への推広が困難 - 非i.i.d.環境の処理は不完全 2. **いくつかの技術的詳細**: - 命題3.6の証明（特に$p\to 1$）は相当に技術的 - $\alpha_i, \beta_i$の定常分布特性は十分に探索されていない - 図3、4の相転移現象は理論的説明が不足 3. **数値検証**: - 数値シミュレーションは比較的単純で、主に示意的 - 有限規模効果を体系的に研究していない - 収束速度などの定量的情報が不足 4. **物理との関連**: - アンダーソンモデルとの関連は主に類比的 - ファインマン・カック型表現を与えていない - 物理的意味（量子力学的解釈など）が不十分 ### 影響力 1. **理論的貢献**: - 無限グラフ上のMERWの最初の体系的研究を提供 - 組合方法は他の問題に適用される可能性がある - ランダム性がMERWで果たす重要な役割を明らかにする 2. **方法論的価値**: - 生成関数と固有ベクトルの関連は新しい研究を刺激する可能性 - 結合技術は他の遍歴環境中のプロセス分析に有用 - リッカチ変数との関連は深く探索する価値がある 3. **開放性**: - 多くの価値あるオープン問題を提起 - 後続研究の方向を指示 - 組合論者、確率論者および物理学者の興味を引く可能性 4. **再現可能性**: - 理論的結果は完全に検証可能 - 数値シミュレーション方法は明確（公式3.21を通じて） - 主要な公式（定理2.9など）は直接適用可能 ### 適用シーン 1. **理論研究**: - 無限グラフ上のランダムプロセスの研究 - ランダム環境中のウォーク挙動の分析 - 組合構造と確率の関連の探索 2. **関連モデル**: - 特定の分岐プロセスに適用される可能性 - ランダムシュレーディンガー作用素との関連を探索する価値 - 他のエントロピー最大化プロセスの研究テンプレートを提供 3. **潜在的応用**: - 複雑ネットワーク分析（[OB13]のコミュニティ検出など） - アルゴリズム設計（MCMC方法の改善） - 物理システムのモデリング（本論文では詳細に展開されていないが） 4. **教育的価値**: - 解析的組合論の威力を示す - ランダム性の微妙な役割を説明 - 有限から無限への推広の例を提供 ## 参考文献 本論文は27の参考文献を引用しており、主要な文献は以下の通り： 1. **[BDLW09]** Burda et al., "Localization of the maximal entropy random walk" - MERWの原始的な仕事 2. **[VJ67, VJ68]** Vere-Jones - 無限非負行列の遍歴性質、理論的基礎を確立 3. **[DO24]** Duboux & Offret - 無限グラフ上MERWの体系的研究、本論文の直接的な前駆 4. **[FS09]** Flajolet & Sedgewick, "Analytic Combinatorics" - 生成関数方法の標準参考書 5. **[Zei04]** Zeitouni - ランダム環境中のランダムウォークの古典的講義 6. **[GK05]** Gärtner & König - 放物型アンダーソンモデルの総説 --- **総合評価**: これは無限グラフ上のMERWに重要な貢献をした高品質の理論論文である。方法は新規で、結果は深く、ランダム性がこのモデルで果たす重要な役割を明らかにしている。いくつかの限界（主に適用範囲）があるが、この分野のさらなる研究のための堅実な基礎を確立している。論文の執筆は明確で、技術的処理は厳密であり、組合確率、ランダムプロセスまたは数学物理学に興味を持つ研究者に推奨する価値がある。