[論文レビュー] Random Walk in deterministically changing environment

Dmitry Dolgopyat, Carlangelo Liverani|ArXiv.org|Apr 22, 2008

Stochastic processes and statistical mechanics参考文献 10被引用数 12

ひとこと要約

この論文は、単位区間上の区分的拡張写像によって記述される決定的で強いカオス的環境下における確率ウォークについて、クエンチド中心極限定理（CLT）を確立する。カップリング技術と環境力学のエルゴディック性を用いて、ほとんどすべての初期環境配置に対して、ウォークのスケーリングされた位置がブラウン運動に弱収束することを証明している。これは遷移確率が定数から大きく離れていても、環境力学が非マルコフ的かつ決定論的であっても成り立つ。

ABSTRACT

We consider a random walk with transition probabilities weakly dependent on an environment with a deterministic, but strongly chaotic, evolution. We prove that for almost all initial conditions of the environment the walk satisfies the CLT.

研究の動機と目的

• 決定的で強いカオス的環境下における確率ウォークのクエンチド中心極限定理（CLT）を確立すること。
• 微分可能で導関数の下限が λ > 2 である、トポロジカルに混合的で区分的 C² 級写像によって記述される環境の下でのウォークの漸近的挙動を分析すること。
• 自然な不変測度に関してほとんどすべての初期環境配置に対してCLTが成り立つことを証明すること。
• 標準的な i.i.d. またはマルコフ的環境の仮定を超えて、非可逆的・非定常的状況においてCLTの適用範囲を拡張すること。
• 従来の手法とは異なり、不変測度の絶対連続性を示す必要がなくなる、簡略化された確率的枠組みを提供すること。

提案手法

• 環境は、|DT| ≥ λ > 2 を満たす同一の区分的拡張写像 T による積として決定論的に進化し、強混合性とエルゴディック性を保証する。
• ウォークは有界な増分を持ち、walker の現在位置における局所的環境に依存する遷移確率 π_z(τ^xθ^n) を持つ。π_z は C¹ 級で、変動が一様に有界である。
• 証明は、同じ環境下で独立に進む二つのウォークの漸近的独立性を評価することに依拠し、問題をパス同士の近接接触回数の上限に還元する。
• カップリング論法により、ウォークの増分過程をマルティンゲールと比較し、比較補題（補題 6.3）を用いて大規模な分離確率を制御する。
• 主要な推定（補題 5.2）は、環境力学の双曲性と混合性を用いて、二つのウォークが固定距離以内にいる回数を上限づける。
• 環境内の相関の崩壊を制御するため、[9] におけるカップリングマップ格子の技術を活用し、クエンチド不変性原理の適用を可能にする。

実験結果

リサーチクエスチョン

• RQ1 非定常的・非マルコフ的進化を示す決定論的で強いカオス的環境下における確率ウォークに対して、クエンチド中心極限定理は成立するか？
• RQ2 遷移確率が定数から大きく離れており、環境に非自明に依存する場合にCLTは確立可能か？
• RQ3 環境力学にどのような条件が満たされていれば、十分な混合性と相関の消失が保証され、クエンチドCLTが成立するか？
• RQ4 従来の研究で求められていた不変測度の絶対連続性の技術的要件を回避できるか？
• RQ5 強いカオス的ダイナミクス（例えば、区分的拡張写像）が、ウォークの拡散スケーリングにどのように影響を与えるか？

主な発見

• 自然な不変測度 μ^e = ⊗_p μ_0 に関して、ほとんどすべての初期環境配置に対してクエンチドCLTが成立する。
• スケーリングされた位置過程 (X_{[nt]}/√n) は、クエンチド測度 P^e の下で弱収束し、ブラウン運動に収束する。
• 証明により、同じ環境下で独立に進む二つのウォークの間の近接接触回数が、多項式的以下に小さいことが示され、これにより十分な混合性が保証される。
• 初期距離が L_N 離れている二つのウォークが、N ステップ以上にわたり L_N 以内に留まる確率は、任意の κ ∈ (1/2, 1) に対して N^{2κ−1} に指数的に減少し、長距離独立性が保証される。
• 不変測度の絶対連続性を示す必要がなくなるため、従来の手法と比較してアプローチが簡素化される。
• 同じ技術を用いて弱く相互作用する環境へも結果を拡張可能であるが、アンソフ写像の場合はカップリング法における技術的障害のため、未解決のままである。