[論文レビュー] On the Limiting Shape of Young Diagrams Associated With Markov Random Words

Christian Houdré, Trevis J. Litherland|arXiv (Cornell University)|Oct 20, 2011

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

ひとこと要約

本稿では、弱不変性原理と多次元ブラウン運動関数への応用により、マルコフ確率的語に付随するヤング図形の極限形状を確立する。循環マルコフ連鎖の下で、$m=3$ の場合、極限形状は $m \times m$ のトレースレスGUEの固有値スペクトルと一致することが証明され、$m \geq 4$ の場合、この振る舞いを示す非自明な循環遷移行列のクラスを同定し、クーパーバーグの予想を特定のケースで解決する。

ABSTRACT

Let $(X_n)_{n \ge 0}$ be an irreducible, aperiodic, homogeneous Markov chain, with state space a totally ordered finite alphabet of size $m$. Using combinatorial constructions and weak invariance principles, we obtain the limiting shape of the associated RSK Young diagrams as a multidimensional Brownian functional. Since the length of the top row of the Young diagrams is also the length of the longest weakly increasing subsequences of $(X_k)_{1\le k \le n}$, the corresponding limiting law follows. We relate our results to a conjecture of Kuperberg by providing, under a cyclic condition, a spectral characterization of the Markov transition matrix precisely characterizing when the limiting shape is the spectrum of the $m imes m$ traceless GUE. For each $m \ge 4$, this characterization identifies a proper, non-trivial class of cyclic transition matrices producing such a limiting shape. However, for $m=3$, all cyclic Markov chains have such a limiting shape, a fact previously only known for $m=2$. For $m$ arbitrary, we also study reversible Markov chains and obtain a characterization of symmetric Markov chains for which the limiting shape is the spectrum of the traceless GUE. To finish, we explore, in this general setting, connections between various limiting laws and spectra of Gaussian random matrices, focusing in particular on the relationship between the terminal points of the Brownian motions, the diagonal terms of the random matrix, and the scaling of its off-diagonal terms, a scaling we conjecture to be a function of the spectrum of the covariance matrix governing the Brownian motion.

研究の動機と目的

• 有限で全順序付けられたアルファベット上の非周期的かつ再帰的かつ定常マルコフ連鎖によって生成されるヤング図形の極限形状を特定すること。
• これらの図形の極限形状が、$m \times m$ のトレースレスガウスユニタリアンエンsemble（GUE）の固有値スペクトルと一致する条件を調査すること。
• i.i.d.および一様分布のケースから一般のマルコフ連鎖への結果の拡張を図り、特に循環的および可逆的連鎖に注目すること。
• 極限形状がGUEスペクトルと一致する遷移行列のスペクトル的特徴付けを提供すること、特に循環的条件下での特徴付けに焦点を当てる。
• ブラウン運動関数、キューイング理論、および確率的行列理論における固有値の同時分布との関係を探索すること。

提案手法

• RSK対応の組合せ的構成を用いて、マルコフ確率的語をヤング図形に写像する。
• 弱不変性原理を適用し、正規化されたヤング図形形状の収束が多次元ブラウン運動関数に一致することを示す。
• バリシュニコフおよびグラヴナー＝トレイシー＝ウィドムによって確立された、GUEの最大固有値とブラウン運動の最大関数の分布の法則的同一性を用いる。
• 相関したサービス時間を持つトランジットブラウン運動キューを分析し、ヤング図形の行長さの同時挙動をモデル化する。
• マルコフ連鎖に関数中心極限定理を適用し、RSK形状のスケーリング極限を導出する。
• スペクトル理論を用いて、特に循環的および可逆的連鎖の場合に、極限形状がGUEスペクトルと一致する遷移行列を特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 マルコフ遷移行列にどのような条件を課えると、確率的語に付随するヤング図形の極限形状が、$m \times m$ のトレースレスGUEの固有値スペクトルに収束するか？
• RQ2 $m \geq 4$ の場合、GUE極限形状をもたらす正確な循環マルコフ連鎖のクラスは何か？また、$m=3$ の場合とはどのように異なるか？
• RQ3 関連するブラウン運動の終点は、極限確率的行列の対角成分とどのように関係するか？
• RQ4 極限確率的行列の非対角成分の正しいスケーリングは何か？これは、基礎となるブラウン運動の共分散構造とどのように関係するか？
• RQ5 可逆的マルコフ連鎖は、極限形状がGUEスペクトルと一致するまでどの程度の程度で達成可能か？また、そのために必要な遷移行列のスペクトル的条件は何か？

主な発見

• $m=3$ の場合、すべての非周期的かつ再帰的で循環的なマルコフ連鎖が、$m \times m$ のトレースレスGUEの固有値スペクトルと一致する極限ヤング図形形状を生成することが示された。これは、$m=2$ の既知の結果を拡張するものである。
• $m \geq 4$ の場合、GUE極限形状をもたらすのは、循環的マルコフ連鎖の真の非自明な部分集合であり、遷移行列の特定のスペクトル的条件によって特徴付けられる。
• ヤング図形の極限形状が、多次元ブラウン運動の関数であることが示され、行長さの同時分布がGUE行列の最大固有値の同時分布に収束することが分かった。
• 本稿では、極限形状がGUEスペクトルと一致する遷移行列のスペクトル的特徴付けを提供しており、特に可逆的連鎖において有効である。
• 極限確率的行列の非対角成分のスケーリングは、基礎となるブラウン運動の共分散行列のスペクトルによって決定されるものと予想されている。
• 本研究は、マルコフ連鎖におけるRSK対応とキューイング理論との間の関係を確立し、一般化されたブラウン運動キューがヤング図形の行長さの同時分布をモデル化できることを示した。