[論文レビュー] Central Limit Theorem for the self-repelling random walk with directed edges

Thomas Mountford, Leandro P. R. Pimentel+1 more|arXiv (Cornell University)|Mar 12, 2014

Stochastic processes and statistical mechanics参考文献 5被引用数 4

ひとこと要約

この論文は、TothとVetoが提起した予想を証明する。即ち、Z上の有向辺を持つ自己反発的ランダムウォークが拡散スケーリングの下で、分布収束する先が(-1,1)上の一様分布であるというものである。Ray-Knight表現と特性関数解析を用いて、ウォークの位置に関する中心極限定理を確立し、k→∞の下でX(k)/√kが弱収束してU(-1,1)に収束することを示している。

ABSTRACT

We prove a conjecture of Toth and Veto about the weak convergence of the self repelling random walk with directed edges under diffusive scaling to a uniform distribution.

研究の動機と目的

• 有向辺付き自己反発的ランダムウォークの弱収束に関するTothとVetoの予想を解決すること。
• 与えられた遷移機構の下で、Z上での自己反発的ランダムウォークの拡散スケーリング極限を確立すること。
• スケーリングされた位置X(k)/√kが(-1,1)上の一様分布に分布収束することを証明すること。
• 先行研究で用いられたRay-Knightアプローチを拡張し、局所時刻のダイナミクスと逆局所時刻を解析すること。
• 非マルコフ的で自己反発的なこの過程に対する中心極限定理を、特性関数技法を用いて厳密に証明すること。

提案手法

• 局所時刻を逆局所時刻T±x,mの観点から表すRay-Knight表現を用いる。ここでT±x,mは、位置xにおける局所時刻がmに達する最初の時刻として定義される。
• i.i.d. マルコフ連鎖(η⁺,xj)と(η⁻,xj)を用いて局所時刻の増分を表現する。これらは指数的エルゴード的であり、定常分布νwをもち、平均は-1/2である。
• 変数変換r⁺,xj = η⁺,xj + 1/2とr⁻,xj = η⁻,xj + 1/2を導入する。これらは平均0、対称分布、正の分散σ²を持つi.i.d.変数である。
• スケーリングされた位置の特性関数解析を適用し、その特性関数が(-1,1)上の一様分布の特性関数に収束することを示す。
• 右端および左端に到達した位置の尾確率に対するバウンドを用い、[4]での先行推定値を改善する。
• 局所時刻ダイナミクスにおける遷移確率を制御するため、近似的な離散正規分布（補題C.1を介して）の畳み込み推定を用いる。

実験結果

リサーチクエスチョン

• RQ1 Z上での有向辺付き自己反発的ランダムウォークは、拡散スケーリングの下で弱収束して一様分布に収束するか？
• RQ2 この自己反発的過程において、k→∞の下でX(k)/√kの極限分布は何か？
• RQ3 局所時刻ダイナミクスと逆局所時刻過程は、一様極限への収束にどのように寄与するか？
• RQ4 Ray-Knight表現と特性関数技法を用いて、この非マルコフ過程の中心極限定理を拡張して証明できるか？
• RQ5 時刻T⁺₀,mまでのウォークの範囲に関する正確な尾確率バウンドは何か？ そしてそれらはスケーリング極限にどのように影響するか？

主な発見

• 本論文は、k→∞の下でX(k)/√kが(-1,1)上の一様分布に分布収束することを証明し、TothとVetoの予想を裏付けた。
• X(k)/√kの極限特性関数は、スケーリングされた過程の特性関数解析により、U(-1,1)の特性関数に収束することが示された。
• 時刻T⁺₀,mまでのウォークの右端および左端に到達した位置に関する尾確率バウンドを改善し、これらがmに関して非線形的成長を示すことを示した。
• マルコフ連鎖(η⁺,xj)の定常分布νwは平均-1/2であり、対称的であるため、変換後の変数r⁺,xjは平均0、正の分散σ²を持つ。
• 補題C.1で得られる畳み込み推定を用いて、局所時刻過程の遷移確率を制御し、スケーリングされた位置が一様分布に収束するガウス混合の形で振る舞うことを保証した。
• スケーリングされた位置の特性関数が、exp(−σ²/2(t² + ts + s²/3))に収束することが示され、適切なパrameter化の下でこれが一様極限に対応することが分かった。