[論文レビュー] Coupled GUE-minor Processes

Mark Adler, Pierre van Moerbeke|arXiv (Cornell University)|Dec 13, 2013

Random Matrices and Applications参考文献 10被引用数 4

ひとこと要約

本稿では、2つのGUE行列をその小さな主小行列の固有値に不等式を課すことによって結合する連携GUE主小行列過程を導入し、大N極限においてこれらの主小行列の連合固有値が有限に重なった二重アズテックダイアモンドのドミノタイル配置に統計的に収束することを示している。主な結果として、連携GUE行列モデルとエッジ・タクノード過程との間の等価性が確立され、交互に並ぶ固有値の「二重コーン」上に一様分布が成り立ち、確率的タイリングモデルにおける行列式点過程と正確に対応することが示された。

ABSTRACT

This paper deals with two GUE-matrices, coupled together through some inequalities between the spectra of the first few (small) principal minors. The main results of the paper is to show that the spectra of the principal minors of these coupled matrices behave statistically as the domino tilings of finitely overlapping Aztec diamonds when their sizes get very large, with horizontal and vertical dominos being equally likely. This extends naturally a result of Johansson and Nordenstam in [17], stating that the spectra of the principal minors of a GUE-matrix behave statistically as domino tilings of an Aztec diamond, near the middle of its edge. Given the spectra of the two coupled matrices, the joint spectra of the underlying principal minors of the two GUE-matrices are uniformly distributed in a certain "double cone". In particular, this leads to two GUE-matrices sharing the same real line, with one spectrum being completely to the left of the other spectrum; this gives a new and simple extension of GUE. Also notice that all statements concerning these coupled random matrices have a domino tiling counterpart.

研究の動機と目的

• GUE主小行列固有値のバリシニコフの均一分布結果を、2行列系に拡張すること。
• スペクトル不等式によって制約を受ける2つのGUE行列の主小行列の連合統計をモデル化すること。
• 連携GUEモデルと確率的タイリング理論におけるエッジ・タクノード過程との統計的同等性を確立すること。
• 連合主小行列固有値が、結合制約によって定義される「二重コーン」内に一様分布することを示すこと。
• Fredholm行列式の恒等式と体積正規化を用いて、連携GUEモデルとエッジ・タクノード過程との同等性を証明すること。

提案手法

• 最初の数個の主小行列のスペクトルに制約を課すことにより、2つのGUE行列を結合し、交互に並ぶ固有値配列上の連合分布を形成する。
• 主小行列の連合分布が、交互に並ぶ条件とスペクトル順序制約によって定義される「二重コーン」上で一様であることを示した。
• 本稿では、特にGUE主小行列カーネルとFredholm行列式の恒等式を用いた行列式点過程の技術を用い、連合固有値統計を特徴づけた。
• ヘルミート多項式と直交関数を含む行列恒等式および加法公式を適用して、連合密度関数と体積正規化を導出した。
• GUE主小行列とアズテックダイアモンドのドミノタイル配置との間の関係を活用し、ヨハノフスキーとノルデルスタムの結果を重なった二重ダイアモンドに拡張した。
• 重要な技術的ステップとして、$n \times n$ 行列式を行の基本変形によって $(n+1) \times (n+1)$ 行列式に変換し、パrameter $\beta$ に対して不変であることを証明した。これにより、体積測度の $\beta$-不変性が確立された。

実験結果

リサーチクエスチョン

• RQ1 2つのGUE行列が小さな主小行列に不等式を課すことによって結合されたとき、主小行列のスペクトルはどのように振る舞うか？
• RQ2 行列サイズ $n \to \infty$ の極限において、2つの結合GUE行列の連合主小行列スペクトルの統計的極限は何か？
• RQ3 連携GUEモデルは、二重アズテックダイアモンドにおけるエッジ・タクノード過程のような既知の確率的タイリングモデルと統計的に同等とみなせるか？
• RQ4 結合制約によって定義される交互に並ぶ固有値配列の「二重コーン」の体積は何か？
• RQ5 Fredholm行列式 $\det(\mathbbm{1} - \mathcal{K}^\beta)_{[-1,-\rho]}$ は、どのようにして連携モデルにおける正規化因子として現れるか？

主な発見

• 2つの結合GUE行列の主小行列の連合固有値は、交互に並ぶ条件とスペクトル順序制約によって定義される「二重コーン」上で一様分布している。
• 大$ n $極限において、結合行列の主小行列スペクトルは、分布収束の意味で、有限に重なった二重アズテックダイアモンドのドミノタイル配置に収束する。
• 以前タイリングモデルで研究済みのエッジ・タクノード過程は、連携GUE行列モデルと統計的に同等であることが示された。
• 二重コーンの正規化体積は $\beta$-不変であり、エッジ・タクノード過程に自然に現れるFredholm行列式 $\det(\mathbbm{1} - \mathcal{K}^\beta)_{[-1,-\rho]}$ と一致することが示された。
• 連携モデルの連合確率密度関数は、$\rho_{n}^{\text{GUE}}(\mathbf{x}-\beta)\rho_{n}^{\text{GUE}}(\mathbf{y}+\beta)$ に、Fredholm行列式を含む正規化因子を乗じた形で得られた。
• 連携GUEモデルとエッジ・タクノード過程との同等性は、連合密度関数と体積正規化の一致を用いて厳密に証明され、統計的対応関係が確認された。