[論文レビュー] The explicit formulae for scaling limits in the ergodic decomposition of infinite Pickrell measures

Alexander I. Bufetov, Yanqi Qiu|arXiv (Cornell University)|Feb 21, 2014

Random Matrices and Applications参考文献 16被引用数 3

ひとこと要約

本稿は、無限複素行列上の無限Pickrell測度のエルゴード的分解におけるスケーリング極限の相関核の明示的公式を導出する。Christoffel-Uvarov変形を施したヤコビ直交多項式アンサンブルを用い、直交多項式の漸近的解析を通じて、一般化されたベッセル型核の解として極限核を同定する。得られる行列式点過程の相関核は、発散超幾何関数およびベッセル関数を用いて明示的に表現される。

ABSTRACT

The main result of this paper, Theorem 1.1, gives explicit formulae for the kernels of the ergodic decomposition measures for infinite Pickrell measures on spaces of infinite complex matrices. The kernels are obtained as the scaling limits of Christoffel-Uvarov deformations of Jacobi orthogonal polynomial ensembles.

研究の動機と目的

• 無限Pickrell測度のスケーリング極限におけるエルゴード的分解測度の核の明示的公式を導出すること。
• s ≤ -1 のとき、無限Pickrell測度のエルゴード的分解から生じる極限行列式点過程を特徴付けること。
• Christoffel-Uvarov変形を施したヤコビアンサンブルのスケーリング極限と、L²(0,∞) 上の射影作用素の核との間の関係を確立すること。
• 特に発散超幾何関数およびベッセル関数を用いて、極限相関核の明示的表現を提供すること。
• 既知の有限 s > -1 の結果を、測度が無限大であるが still 行列式的である s ≤ -1 の無限測度の場合に拡張すること。

提案手法

• 著者らは、特定の漸近的スケーリングの下で、ヤコビ直交多項式アンサンブルのChristoffel-Uvarov変形のスケーリング極限を分析する。
• 変形された重み関数に関連する正規化されたChristoffel-Darboux核の極限として、極限核 Φ∞(s,u)(z₁,z₂) を導出する。
• 極限核は、超幾何型の二階線形微分方程式の解として表され、特に AIII(s,u) および BIII(s,u) 関数によって記述される。
• スペクトルパラメータを正の実軸に写像する変数変換を用い、n → ∞ のスケーリング極限における直交多項式の漸近的挙動を分析する。
• 極限核は、ベッセル関数および発散超幾何関数を含む積分表現を用いて表現される。
• コンパクト集合上で、核の表現が一様収束することを示し、極限の正当性を保証する。

実験結果

リサーチクエスチョン

• RQ1 s ≤ -1 のとき、無限Pickrell測度のエルゴード的分解におけるスケーリング極限の相関核の明示的形は何か？
• RQ2 ヤコビ直交多項式アンサンブルのChristoffel-Uvarov変形は、スケーリング極限でどのようにベッセル型核を生じさせるか？
• RQ3 無限行列式測度 B(s) に関連する射影核 Πg は、直交多項式の漸近的解析によって明示的に計算可能か？
• RQ4 パラメータ u は極限核において果たす役割は何か？また、それによって得られる点過程の構造にどのように影響を与えるか？
• RQ5 極限核は、ベッセル関数や発散超幾何関数といった既知の特殊関数とどのように関係しているか？

主な発見

• 変形ヤコビアンサンブルのChristoffel-Darboux核のスケーリング極限は、コンパクト集合上で一様に、AIII(s,u) および BIII(s,u) によって明示的に与えられる核 Φ∞(s,u)(z₁,z₂) に収束する。
• -1 < s < 1 のとき、極限核は二つの項に分解される： M₀(s,u)(z₁)M₀(s,u)(z₂) + M₁(s,u)(z₁)M₁(s,u)(z₂)。ここで M₀(s,u) および M₁(s,u) はガンマ関数および積分を用いて明示的に定義される。
• 極限核の正規化定数は、t^s / (t+u)^2 を含む積分の漸近的評価により導出され、極限で u^{s-1} Γ(1+s)Γ(1-s) が得られる。
• -1 < s < 0 のとき、第二項 M₁(s,u) は非ゼロであり、z に関する線形関数の重み付き L²-ノルムの比として明示的に与えられるが、0 ≤ s < 1 のときには消える。
• 核の積分表現には、∫₀¹ [AIII(s,u)(κ,z₁)AIII(s,u)(κ,z₂)] / [CIII(s,u)(κ)]² κ dκ の形の項が含まれており、これはスペクトル測度の連続部を捉えている。
• 極限核が (0,∞) 上の行列式点過程の相関核であることが示され、直交多項式の漸近的挙動を用いて射影核 Πg が明示的に特定されている。