[論文レビュー] Markov processes of infinitely many nonintersecting random walks

Alexei Borodin, Vadim Gorin|arXiv (Cornell University)|Jun 7, 2011

Random Matrices and Applications参考文献 24被引用数 9

ひとこと要約

本稿は、$q$-バナホルト型デターミナントを介して条件付けられた$N$粒子非交差ランダムウォークのスケーリング極限として、無限次元のFellerマルコフ過程を構成する。$q$-ギブス測度を用いたゲルファンド＝ツェトリンスキーム上で、極限過程が明示的な核を持つデターミナント的相関関数を持つことを証明し、Feller性および粒子依存レートを有するプッシュASEPの漸近挙動を確立する。

ABSTRACT

Consider an N-dimensional Markov chain obtained from N one-dimensional random walks by Doob h-transform with the q-Vandermonde determinant. We prove that as N becomes large, these Markov chains converge to an infinite-dimensional Feller Markov process. The dynamical correlation functions of the limit process are determinantal with an explicit correlation kernel. The key idea is to identify random point processes on Z with q-Gibbs measures on Gelfand-Tsetlin schemes and construct Markov processes on the latter space. Independently, we analyze the large time behavior of PushASEP with finitely many particles and particle-dependent jump rates (it arises as a marginal of our dynamics on Gelfand-Tsetlin schemes). The asymptotics is given by a product of a marginal of the GUE-minor process and geometric distributions.

研究の動機と目的

• 非交差ランダムウォークの$N$粒子系について$N \to \infty$の極限で、無限次元Fellerマルコフ過程の存在を確立すること。
• 極限過程の動的相関関数が明示的な相関核を持つデターミナント的関数として表現可能であることを示すこと。
• 極限過程をゲルファンド＝ツェトリンスキーム上の$q$-ギブス測度と関連づけ、これによりFeller性を証明すること。
• 粒子依存のジャンプレートを有するプッシュASEPの長時間漸近挙動を導出し、GUE最小固有値過程および幾何分布と関連付けること。
• $q$-バナホルト型条件付けのもとで、無限粒子極限におけるマルコフ性が保たれることを示すこと。

提案手法

• 独立したポisson過程を$q$-バナホルト型デターミナントを用いたドゥーブの$h$-変換により、非交差経路に条件づける。
• 整数直線上の確率点過程をゲルファンド＝ツェトリンスキーム上の$q$-ギブス測度と同一視し、無限次元空間上での一貫性のある動的構造を構築する。
• 一般の収束定理を適用し、有限$N$のマルコフ連鎖が無限次元点配置空間上のFeller過程に収束することを示す。
• 留数計算および$F_{k,l}(x_l - y_k)$を含む行列デターミナント恒等式を用いて、極限過程の明示的相関核を構成する。
• 行列$[F_{k,l}(x_l - y_k)]$に対して行および列の操作を施し、成長する項を分離し、デターミナントを漸近的に因数分解する。
• プッシュASEPの長時間挙動を、ゲルファンド＝ツェトリンスキーム上での周辺的動的構造に帰着させ、GUE最小固有値過程および幾何分布を含む積形の漸近的形を導出する。

実験結果

リサーチクエスチョン

• RQ1 非交差ランダムウォークの無限粒子極限において、$q$-バナホルト型条件付けのもとでマルコフ性が保たれるか。
• RQ2 極限無限次元マルコフ過程の構造は何か。また、右連続で左極限を持つ（càdlàg）サンプルパスを有するFeller修正が可能か。
• RQ3 極限過程の動的相関関数の挙動はいかなるものか。また、明示的な核を持つデターミナント的点過程として表現可能か。
• RQ4 粒子依存のジャンプレートを有するプッシュASEPの長時間漸近挙動は何か。また、GUE最小固有値過程とどのように関連するか。
• RQ5 ゲルファンド＝ツェトリンスキーム上での$q$-ギブス測度枠組みを用いて、非交差経路の有限および無限系の解析を統一できるか。

主な発見

• 極限過程$\mathfrak{X}(t)$は、$\mathbb{Z}_{\geq 0}$における無限点配置空間上のFellerマルコフ過程であり、càdlàgサンプルパスを有し、密着配置からの初期条件を持つ。
• $\mathfrak{X}(t)$の動的相関関数は、留数計算および行列変換から得られる明示的な相関核を持つデターミナント的関数である。
• 粒子依存レートを有するプッシュASEPの漸近挙動は、GUE最小固有値過程と幾何分布の積として与えられ、これはゲルファンド＝ツェトリンスキーム上での周辺的動的構造から導出される。
• 遷移核のデターミナントは、指数関数的項の積と、部分行列のデターミナントに漸近的に因数分解され、後者はガウス型のバルク挙動を捉える。
• $q$-バナホルト型条件付けおよび$q$-ギブス構造に依拠し、スケーリングなしに有限$N$過程から無限次元極限への収束が確立される。
• ゲルファンド＝ツェトリンスキームの拡張境界を解析し、境界上での連続的修正を構成することで、Feller性が証明される。