Limit behavior of linearly edge-reinforced random walks on the half-line

技術要約：半直線上の線形エッジ強化ランダムウォークの極限挙動

問題設定
本論文は、半直線 $\mathbb{Z}_+$ 上における線形エッジ強化ランダムウォーク（LERRW）のほとんど確実な（almost sure）極限挙動を調査するものである。本研究は、プロセスの再帰的レジームに焦点を当て、特に初期エッジに割り当てられた重みが、歩行者の位置 $X_n$ の漸近的成長にどのように影響するかを検討する。

著者らは、エッジ $\{x, x+1\}$ の初期重みが $x \ge 2$ に対して $w_0(x) = x^\alpha \ln^\beta x$ であり、$w_0(0)=w_0(1)=1$ である特定の初期重みのクラスを考察している。強化パラメータは $\delta > 0$ であり、エッジを通過するたびにその重みが $\delta$ だけ増加する。本研究は、対数項が欠落している場合（すなわち $\beta = 0$）を分析した Takei [26] による先行研究を拡張するものである。主な目的は、対数因子 $\ln^\beta x$ が再帰的レジームにおけるウォークの極限挙動を変化させるかどうかを判断し、変化する場合、その正確な振動の次数を特徴付けることである。

手法
本論文は、LERRRとランダム環境におけるランダムウォーク（RWRE）との間の等価性に根ざした確率論的手法を組み合わせて用いている。

1. RWRE表現: Coppersmith および Diaconis の手法、およびその後の研究に従い、LERRW は、独立なベータ分布に従う変数によって定義されるランダム環境におけるマルコフ連鎖の混合として表現される。具体的には、LERRW の遷移確率は、ランダム環境におけるランダムウォーク $Y$ の遷移確率の期待値として表される。
2. ポテンシャル理論と抵抗: 固定された環境における関連するランダムウォーク $Y$ に対して、著者らは標準的なポテンシャル理論を用いる。彼らは、期待到達時間 $E[\tau_x]$ を分析するために、有効抵抗およびコンダクタンス項（$\gamma_x$ および $\pi_x$）を定義する。
3. 和の漸近解析: 技術的な作業の大部分は、初期重みを含む和の漸近的挙動を導出することである。著者らは、和 $\sum i^\rho (\ln i)^\beta$ およびその逆数の評価のために、Karamata の定理の離散版および Stolz-Cesàro 極限を適用する。
4. 独立変数の和に関する強法則: ランダム環境を扱うために、著者らは、遷移確率の対数比を表す $S_x = \ln \gamma_x$ の和を分析する。彼らは、ディガマ関数 $\Psi(z)$ の性質を用いて、期待値 $E[S_x]$ と分散 $V[S_x]$ を計算する。Kolmogorov の強法則（strong law of large numbers）を適用することで、$S_x$ のほとんど確実な漸近的挙動を確立する。
5. 反転推定: 関数 $\exp(cx^{1-\alpha}(\ln x)^{-\beta})$ の形式に対する初等的な反転推定を利用して、到達時間の成長率から位置 $X_n$（または環境における $Y_n$）の成長率を導き出す。

主要な貢献と結果
本論文は、初期重み $w_0(x) = x^\alpha \ln^\beta x$ の下での LERRW の極限挙動の完全な特徴付けを提供する。結果はパラメータ $\alpha$ と $\beta$ によって分類される：

• $\alpha < 1$ の場合：
  著者らは、$\beta \neq 0$ であるすべての $\beta$ に対して、項 $\ln^\beta x$ が極限挙動に影響を与えることを証明している。正確な振動の次数は次のように与えられる：
  $$\limsup_{n \to \infty} \frac{X_n}{(K(\alpha, \beta, \delta)(1-\alpha)^{-\beta} \ln n (\ln \ln n)^\beta)^{1/(1-\alpha)}} = 1 \quad \text{a.s.}$$
  ここで、$K(\alpha, \beta, \delta)$ はパラメータに依存する定数である。この結果は、$\beta=0$ の場合の Takei の知見を一般化したものであり、対数因子が $(\ln \ln n)^\beta$ という補正項を導入することを示している。

• $\alpha = 1$ の場合：
  挙動は $\beta$ の符号に決定的に依存する：

  • $\beta < 0$ の場合： 対数項は成長率を著しく変化させ、指数型の成長をもたらす：
    $$\limsup_{n \to \infty} \frac{X_n}{\exp((\ln n)^{(1-\varepsilon)/(1-\beta)})} = +\infty \quad \text{および} \quad \lim_{n \to \infty} \frac{X_n}{\exp((\ln n)^{(1+\varepsilon)/(1-\beta)})} = 0 \quad \text{a.s.}$$
  • $0 < \beta \le 1$ の場合： 極限挙動は、非強化の場合（および $\beta=0$ の場合）から変化せず、拡散スケーリングを持つ標準的なランダムウォークのように振る舞う：
    $$\limsup_{n \to \infty} \frac{X_n}{n^{(1-\varepsilon)/2}} = +\infty \quad \text{および} \quad \lim_{n \to \infty} \frac{X_n}{n^{(1+\varepsilon)/2}} = 0 \quad \text{a.s.}$$

• 非強化ケース ($\delta = 0$)：
  本論文は、同じ初期重みを持つ非強化ランダムウォークについても極限定理を確立しており、比較のための基準を提供している。これらの結果は、強化がない場合において、初期重みのみが再帰性と成長率をどのように決定するかを示している。

意義
本論文は、初期エッジ重みに対数因子を組み込むことで、Takei [26] の結果を拡張することを主張している。主な意義は、対数因子 $\ln^\beta x$ が無視できないことを示している点にある。すなわち、$\alpha < 1$（任意の $\beta \neq 0$ について）および $\alpha = 1$（特に $\beta < 0$ の場合）において、この因子は再帰的レジームにおける LERRW の極限挙動を根本的に変化させる。

著者らは、自分たちの議論が Takei [26] の一般的な戦略に従っているものの、追加の対数的複雑さを扱うための特定の修正が必要であったと述べている。本研究は、無向グラフにおける強化ランダムウォークのフェーズ遷移と極限定理に関するより広範な理解に寄与し、初期条件が強化メカニズムとどのように相互作用してプロセスの長期的な軌道を決定するかという理解を深めるものである。