[論文レビュー] A fixed-point equation approach for the superdiffusive elephant random walk

Hélène Guérin, Lucile Laulin+1 more|arXiv (Cornell University)|Aug 28, 2023

Stochastic processes and statistical mechanicsMathematics被引用数 3

ひとこと要約

本稿は、超拡散的多次元象歩行（MERW）の極限分布に対して、ポリア型のウルンモデルと関連付けることにより、固定点方程式を確立する。次に、1〜3次元における極限変数の密度の存在を証明し、1次元におけるモーメントの非線形再帰関係を提示し、モーメント母関数の有限性を示すことで、MERWの漸近的挙動に関する長年の未解決問題を解消する。

ABSTRACT

We study the elephant random walk in arbitrary dimension $d\geq 1$. Our main focus is the limiting random variable appearing in the superdiffusive regime. Building on a link between the elephant random walk and Pólya-type urn models, we prove a fixed-point equation (or system in dimension two and larger) for the limiting variable. Based on this, we deduce several properties of the limit distribution, such as the existence of a density with support on $\mathbb R^d$ for $d\in\{1,2,3\}$, and we bring evidence for a similar result for $d\geq 4$. We also investigate the moment-generating function of the limit and give, in dimension $1$, a non-linear recurrence relation for the moments.

研究の動機と目的

• 任意の次元 d≥1 における超拡散的象歩行（ERW）の極限分布に関する未解決問題を解消すること。
• ERW をポリア型のウルンモデルと関連付けることにより、極限変数の固定点方程式を確立すること。
• 1次元、2次元、3次元における極限分布のLebesgue密度の存在を証明すること。
• モーメント母関数の有限性を検討し、1次元におけるモーメントの再帰関係を導出すること。
• Krylov部分空間解析を用いて、d≥4における高次元への結果の拡張を行うが、完全な証明は d≤3 に限定される。

提案手法

• q=1 であるポリア型ウルン過程との関係を用いて、1次元における極限変数 $ L_1 $ の固定点方程式を導出する。
• 関係式 $ L_q \overset{\mathcal{L}}{=} (2\xi_q - 1)L_1 $ を用いて、1次元における一般の $ q \in [0,1] $ への結果の拡張を行う。
• 極限を確率的ベクトルとしてモデル化し、固定点方程式の系を満たすことで、多次元ERW（MERW）への固定点アプローチの一般化を行う。
• Krylov部分空間技術を用いて、高次元（d≥4）における極限分布の構造を分析するが、完全な証明は d≤3 に限定される。
• 分布がモーメントによって一意に定まることを示すために、拡張されたCarlemanの基準を適用する。
• ガンマ関数とパrameter $ a = 2p - 1 $ を活用して、$ \mathbb{E}[\|\mathbf{Y}^{j}\|^{\ell}] $ における再帰的バウンドを用いたモーメント推定を行う。

Figure 1: A trajectory of the Elephant random walk in the superdiffusive regime until time $n=1000$ , with $p=0.87$ and $q=0.9$ .

実験結果

リサーチクエスチョン

• RQ1 超拡散的MERWの極限確率変数は、1次元、2次元、3次元においてLebesgue密度を持つのか？
• RQ2 極限分布のモーメント母関数は、すべての次元で有限であると示せるか？
• RQ3 1次元における極限変数のモーメントに対して、非線形再帰関係が存在するか？
• RQ4 高次元における極限分布を支配する固定点方程式の構造は何か？
• RQ5 Carlemanの基準とモーメント推定を用いて、極限分布のモーメント問題はどのように解けるか？

主な発見

• 1次元における極限変数 $ L_1 $ は、固定点方程式 $ L_1 \overset{\mathcal{L}}{=} V^a L_1^{(1)} + (2\xi_p - 1)(1 - V)^a L_1^{(2)} $ を満たす。ここで $ V \sim \mathcal{U}[0,1] $、$ \xi_p \sim \text{Bernoulli}(p) $ であり、すべての変数は独立である。
• MERWの極限分布は、$ d \in \{1,2,3\} $ において $ \mathbb{R}^d $ 上に台を持つ密度関数を持つ。d≥4 については、Krylov部分空間解析を用いた証拠が提示される。
• 極限 $ \mathbf{L} $ のモーメント母関数は $ \mathbb{R}^d $ 上で有限であり、$ \|\mathbf{L}\|^2 $ のモーメント母関数は $ \mathbb{R} $ 上で有限である。これは指数的尾部を示唆する。
• 1次元では、$ L_1 $ のモーメントは固定点方程式から導かれる非線形再帰関係を満たす。
• 拡張されたCarlemanの基準により、極限の分布がモーメントによって一意に定まっていることが確認された。
• 一様な最初のステップ分布を有するMERWに対して、$ \mathbb{E}[\mathbf{L}] = 0 $ かつ $ \mathbb{E}[\mathbf{L}\mathbf{L}^T] = \frac{1}{d(2a - 1)\Gamma(2a)} I_d $ が成り立ち、ここで $ a = 2p - 1 $ である。

Figure 4: Histogram and method of moments approximation of the density (blue lines) of $L_{q}$ . First (resp. second, third) line: $p=0.77$ (resp. $p=0.87$ , $p=0.92$ ). First (resp. second, third) column: $q=0.5$ (resp. $q=0.7$ , $q=0.9$ ).