[論文レビュー] Generalized Laguerre Unitary Ensembles and an interacting particles model with a wall

Manon Defosseux|arXiv (Cornell University)|Jun 6, 2010

Random Matrices and Applications参考文献 14被引用数 1

ひとこと要約

本稿は、反射壁と二重の相互作用（ブロッキングとプッシュ）を備えた新しい相互作用粒子系を導入し、粒子の順序を維持する。このモデルと一般化されたラゲルreユニタリアンサンプル（LUE）の間のきつい関係を確立し、粒子系における右端の粒子の位置が、直交群のリー代数上の確率的行列過程の最大固有値と同一分布に従うことを示す。これは、標準的なTASEPおよびLUEモデルの既知の結果を拡張するものである。

ABSTRACT

9

研究の動機と目的

• 反射壁と二重の相互作用（ブロッキングとプッシュ）を備え、粒子の順序を維持する新しい相互作用粒子モデルを導入・分析すること。
• この粒子系と確率的行列理論、特に一般化ラゲルreユニタリアンサンプル（LUE）との関係を確立すること。
• TASEPおよびLUEに関する既知の結果を、壁と左移動ダイナミクスの導入によって拡張すること。
• 時間nにおける粒子位置が、iAk+1上での行列過程の最大固有値と分布的に同一であることを示すこと。
• この対応の背後にある組合せ論的構造、特に直交群の非可約表現を明らかにすること。

提案手法

• 粒子系は離散時間で進化し、交互に左移動（直前の粒子または壁によってブロックされる）と右移動（直後の粒子を押し進める）のステップをとる。
• 左移動は平均1のi.i.d.指数分布確率変数を用いてモデル化され、直前の粒子または0における壁によってブロックされる。
• 右移動は、粒子を前方に押し進める形で実装され、移動量は独立に指数分布から抽出される。
• 行列過程M(n)は、Yl * [[0,i],[-i,0]] * Yl* の形をしたi.i.d.確率的行列の和として定義される。ここでYlはMk+1,2(R)に属する標準ガウス行列である。
• M(n)の固有値は、その同時分布が、マルコフカーネルの干渉的議論を通じて粒子位置の同時分布と一致することを示す。
• 証明は、行列係数に関する行列式的恒等式および再帰的関係に依拠し、粒子系と行列系の間の干渉作用素の性質を用いる。

実験結果

リサーチクエスチョン

• RQ1 壁を伴い、ブロッキング／プッシュの二重相互作用を持つ粒子系が、確率的行列アンサンブルと結びつけられるか。
• RQ2 時間nにおける粒子位置の同時分布が、iAk+1上での行列過程の最大固有値の同時分布と一致するか。
• RQ3 左移動と壁の導入が、TASEPとラゲルreユニタリアンサンプルの既知の対応関係にどのように影響するか。
• RQ4 この直交群設定下での行列過程の固有値分布を支える組合せ論的構造（例えば、テーブルックス）は何か。
• RQ5 粒子過程が、その射影によって粒子位置を回復できるGelfand-Tsetlinパターン空間上の大域的過程に埋め込めるか。

主な発見

• 相互作用粒子系における右端の粒子位置Xk(n)は、iAk+1上での行列過程M(n)の最大固有値Λ1(n)と同一分布に従う。
• 各固定nに対して、粒子位置の同時分布(X1(n), ..., Xk(n))は、M(n)の主小行列の最大固有値(Λ(2)1(n), ..., Λ(k+1)1(n))の同時分布と一致する。
• n ≥[ (k+1)/2 ] に対して、Xk(n)の累積分布関数は、指数関数および累乗関数を含む特定のカーネルを持つ積分作用素の行列式として与えられる。
• 行列過程M(n)は、各項がYl * [[0,i],[-i,0]] * Yl* の形をした独立な確率的行列の和として構成される。ここでYlは標準ガウス行列である。
• 粒子系と行列系の間の等価性は、2つの過程の遷移カーネルの間の干渉関係を用いて証明され、Gelfand-Tsetlinパターン空間から粒子配置空間へのマッピングを担うマルコフカーネルLkが用いられる。
• この結果は、TASEPと標準ラゲルreユニタリアンサンプルの既知の対応関係を、壁と左移動ダイナミクスの導入によって一般化し、モデルを直交群の表現理論と結びつける。