[論文レビュー] Matrix models for multilevel Heckman-Opdam and multivariate Bessel measures

Yi Sun|arXiv (Cornell University)|Sep 28, 2016

Random Matrices and Applications参考文献 17被引用数 7

ひとこと要約

この論文は、分岐則を介して多変数ベッセル関数およびヘクマン＝オプダム超幾何関数と関連づけることにより、$β=1,2$ における一般化 $β$-ワイシャールトおよび $β$-ヤコビ集合の多次元固有値分布に対して、行列モデル表現を確立する。$β=1,2$ におけるボロディン＝ゴリンの予想、すなわち $β$-ヤコビ固有値分布が主に特化されたヘクマン＝オプダム測度と一致することを証明し、ディーカー＝ウォーレンの $β=2$ 結果を $β=1$ に一般化することで、確率的行列固有値にガウス自由場構造が存在することを明らかにする。

ABSTRACT

We study multilevel matrix ensembles at general beta by identifying them with a class of processes defined via the branching rules for multivariate Bessel and Heckman-Opdam hypergeometric functions. For beta = 1, 2, we express the joint multilevel density of the eigenvalues of a generalized beta-Wishart matrix as a multivariate Bessel ensemble, generalizing a result of Dieker-Warren. In the null case, we prove the conjecture of Borodin-Gorin that the joint multilevel density of the beta-Jacobi ensemble is given by a principally specialized Heckman-Opdam measure.

研究の動機と目的

• 一般の $β$ における多変数超幾何関数の分岐則を介して定義される測度と、確率的行列集合の多次元固有値分布との間の関係を確立すること。
• 一般化 $β$-ワイシャールト集合の $β=2$ 結果をディーカー＝ウォーレンが行ったように、$β=1$ に一般化するため、多変数ベッセル過程の行列モデルを構築すること。
• ボロディン＝ゴリンの予想、すなわち $β=1,2$ における $β$-ヤコビ集合の連続的多次元密度が主に特化されたヘクマン＝オプダム測度と一致することを証明すること。
• Wigner行列からの先行結果を拡張し、確率的行列の固有値にガウス自由場構造が存在することを明らかにすること。

提案手法

• $β=1$ における多変数ベッセル過程の行列モデルを、分散 $(\pi_i + \widehat{\pi}_j)^{-1}$ を持つ独立な実ガウス確率変数からなる無限行列を用いて構築し、ワイシャールト型行列 $M_m = A_m^T A_m$ を得る。
• 実HCIZ積分 $h^1_\pi(\mu)$ とバーデンデルタ行列式を含む遷移核を用いて、一般化 $β$-ワイシャールト集合の $β=1$ における連続的多次元固有値密度を導出する。
• $β=1,2$ における $β$-ヤコビ固有値分布を、対数変換 $\mu_i^l = -\log \lambda_i^l$ を通じて、パラメータ $\pi = (A-n+1,\ldots,A)$ および $\widehat{\pi} = (0,1,\ldots)$ を持つヘクマン＝オプダム過程に一致させることを特定する。
• 特殊関数の漸近的解析、特に $q$-ポッホハマー記号およびガンマ関数の極限を用いて、離散的超幾何測度と連続的固有値法則との関係を確立する。
• シュールおよびマクドナルド過程にインspiredされた分岐則フレームワークを用いて、多変数ベッセル関数およびヘクマン＝オプダム関数を介して多次元測度を定義する。
• HCIZ積分恒等式を用いて、レベル間の遷移密度を固有値比および特殊関数の評価値で表現する。

実験結果

リサーチクエスチョン

• RQ1 $β=1$ における多変数ベッセル過程の行列モデルを、ディーカー＝ウォーレンの $β=2$ 結果を一般化する形で構築できるか？
• RQ2 ボロディン＝ゴリンの予想が正しければ、$β=1,2$ における $β$-ヤコビ集合の連続的多次元固有値密度は、主に特化されたヘクマン＝オプダム測度と一致するか？
• RQ3 一般の $β$ における一般化 $β$-ワイシャールト行列の固有値分布は、多変数ベッセル関数とどのように関係するか？
• RQ4 実HCIZ積分は、$β=1$ における多次元固有値過程の遷移核において、果たす役割は何か？
• RQ5 特殊関数の $q$-漸近的挙動を用いて、離散的超幾何測度から連続的固有値法則を導出できるか？

主な発見

• $β=1$ において、一般化 $β$-ワイシャールト集合の固有値連続密度は多変数ベッセル過程と一致し、ディーカー＝ウォーレンの $β=2$ 結果が拡張された。
• $β=1,2$ における $β$-ヤコビ集合の連続的多次元密度が、主に特化されたヘクマン＝オプダム測度と一致することを証明し、ボロディン＝ゴリンの予想が正当化された。
• 固有値変換 $\mu_i^l = -\log \lambda_i^l$ により、$β$-ヤコビ集合はパラメータ $\pi = (A-n+1,\ldots,A)$ および $\widehat{\pi} = (0,1,\ldots)$ を持つヘクマン＝オプダム過程に写像される。
• $β=1$ における一般化 $β$-ワイシャールト過程の遷移核には、実HCIZ積分 $h^1_\pi(\mu)$ が含まれており、これは直交行列上のガウス積分として表現される。
• $q$-ポッホハマー記号およびガンマ関数の漸近的解析により、離散的測度が連続的固有値法則に収束することを確認し、行列モデル構築の根拠が得られた。
• 一般化 $β$-ワイシャールトおよび $β$-ヤコビ集合の固有値統計は、バルクスケーリング極限においてガウス自由場構造を示し、Wigner行列からの先行結果が拡張された。