[論文レビュー] Anisotropic Young diagrams and infinite-dimensional diffusion processes with the Jack parameter

Grigori Olshanski|arXiv (Cornell University)|Feb 19, 2009

Random Matrices and Applications参考文献 32被引用数 15

ひとこと要約

本稿は、ジャックパラメータ θ と2つの追加パラメータ z, z′ でパラメータ化された、ヤング図の上り下りチェーンにジャックの辺重みを用いた無限次元マルコフ拡散過程の族を、トーマ単体上に構成する。この過程は、明示的な定常分布（z-測度）を持ち、生成子のスペクトルは純粋に離散的である。θ=1 のとき、ボロディン＝オルシャンスキーの過程を回復するが、θ→0 の極限では、集団遺伝学におけるエティエール＝カーツの拡散過程に退化する。

ABSTRACT

We construct a family of Markov processes with continuous sample trajectories on an infinite-dimensional space, the Thoma simplex. The family depends on three continuous parameters, one of which, the Jack parameter, is similar to the beta parameter in random matrix theory. The processes arise in a scaling limit transition from certain finite Markov chains, the so called up-down chains on the Young graph with the Jack edge multiplicities. Each of the limit Markov processes is ergodic and its stationary distribution is a symmetrizing measure. The infinitesimal generators of the processes are explicitly computed; viewed as selfadjoint operators in the L^2 spaces over the symmetrizing measures, the generators have purely discrete spectrum which is explicitly described. For the special value 1 of the Jack parameter, the limit Markov processes coincide with those of the recent work by Borodin and the author (Prob. Theory Rel. Fields 144 (2009), 281--318; arXiv:0706.1034). In the limit as the Jack parameter goes to 0, our family of processes degenerates to the one-parameter family of diffusions on the Kingman simplex studied long ago by Ethier and Kurtz in connection with some models of population genetics. The techniques of the paper are essentially algebraic. The main computations are performed in the algebra of shifted symmetric functions with the Jack parameter and rely on the concept of anisotropic Young diagrams due to Kerov.

研究の動機と目的

• ヤング図上の有限の上り下りチェーンのスケーリング極限を用いて、無限次元トーマ単体上に連続時間マルコフ過程を構成すること。
• ランダム行列理論における β に類似した一般化パrameterとしてのジャックパラメータ θ を導入し、異なる確率的モデルの間を補間可能にする。
• シフトされた対称関数における代数的技法を用いて、得られる拡散過程のエルゴード性および明示的なスペクトル的性質を確立すること。
• 既知の結果を統一・一般化する：θ=1 でボロディン＝オルシャンスキーの過程を回復し、θ→0 の極限でエティエール＝カーツの拡散過程を得ること。
• 非一様ヤング図とケロフのインタラーシング座標を用いた厳密な代数的枠組みを提供し、解析的ディリクレ形式やポテンシャル論に依存しないこと。

提案手法

• ジャック対称関数によって定義される θ をパrameterとする辺重みを備えたヤング図上の上り下りマルコフチェーンの使用。
• モーメント座標と遷移確率をモデル化するためのシフトされた対称関数および代数 $\Lambda^\circ$ の使用。
• θ-正則関数上で作用する前生成子作用素 $D$ と $U$ の定義と、次数分解によるスペクトル解析。
• 作用素半群近似定理を応用し、有限次元チェーンから極限マルコフ過程を構成すること。
• ケロフのインタラーシング座標を用いて遷移確率を表現し、力学系をトーマ単体に関連付けること。
• 無限小生成子 $A$ を、θ, z, z′ に依存しない係数を持つ2階微分作用素として明示的に計算し、スペクトル解析を可能にする。

実験結果

リサーチクエスチョン

• RQ1 有限の上り下りチェーンのスケーリング極限を用いて、トーマ単体上に無限次元拡散過程を厳密に構成する方法は何か？
• RQ2 ジャックパラメータ θ は、対数ガス型系と集団遺伝学的モデルの間を補間する役割を果たすか？
• RQ3 無限小生成子のスペクトル的性質は、z-測度およびシフトされた対称関数の構造とどのように関係するか？
• RQ4 解析的ディリクレ形式やポテンシャル論に依存せずに、極限過程を代数的に構成できるか？
• RQ5 θ→0 の極限でダイナミクスはどのように変化し、エティエール＝カーツの拡散過程と関係するか？

主な発見

• 構築されたマルコフ過程はエルゴード的であり、一意な定常分布として z-測度 $M_{\theta,z,z^\prime}$ を持ち、これは同時に対称化測度である。
• 過程の無限小生成子 $A$ は、θ, z, z′ に依存しない係数を持つ2階微分作用素であり、θ-正則関数の代数上で作用する。
• 生成子 $A$ は純粋に離散的スペクトルを持ち、$p^\circ_k$ 変数の単項式に関連する固有値によって明示的に記述される。
• θ = 1 のとき、得られる拡散過程はボロディンとオルシャンスキーが2009年に構築したものと一致し、先行研究と整合性が確認される。
• θ → 0 の極限において、z, z′ を適切にスケーリングすると、過程はキングマン単体上のエティエール＝カーツの拡散過程に退化し、古典的集団遺伝学モデルと関連づけられる。
• 2パラメータのペトロフ一般化ポisson-Dirichlet分布への極限遷移は形式的に有効であるが、前極限では複素数または負の遷移確率を許容する必要があり、α ≠ 0 の場合には純粋に形式的である。