[論文レビュー] Painlevé VI and the Unitary Jacobi ensembles

Yang Chen, Lun Zhang|arXiv (Cornell University)|Nov 30, 2009

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

ひとこと要約

本稿では、区間 [0,1] 上の摂動付きヤコビ重みに関連するハンケル行列式の対数微分が、特定の $\sigma$-形のパンルベVI方程式を満たすことを確立している。主な結果として、有限 $n$ のヤコビユニタリーエンsembleにおける最小固有値のギャップ確率（有限ランク積分作用素のフレドホルム行列式に等価）が、このパンルベVI方程式に従うことが示され、$t \to 1^{-}$ のときの正確な先験的漸近挙動が得られている。この結果は摂動パラメータ $A$ および $B$ に依存せず成り立ち、漸近的挙動は直交多項式の正規化定数によって記述される。

ABSTRACT

The six Painlevé transcendants which originally appeared in the studies of ordinary differential equations have been found numerous applications in physical problems. The well-known examples among which include symmetry reduction of the Ernst equation which arises from stationary axial symmetric Einstein manifold and the spin-spin correlation functions of the two-dimensional Ising model in the work of McCoy, Tracy and Wu. The problem we study in this paper originates from random matrix theory, namely, the smallest eigenvalues distribution of the finite $n$ Jacobi unitary ensembles which was first investigated by Tracy and Widom. This is equivalent to the computation of the probability that the spectrum is free of eigenvalues on the interval $[0,t]$. Such ensembles also appears in multivariate statistics known as the double-Wishart distribution. We consider a more general model where the Jacobi weight is perturbed by a discontinuous factor and study the associated finite Hankel determinant. It is shown that the logarithmic derivative of Hankel determinant satisfies a particular $σ-$form of Painlevé VI, which holds for the gap probability as well. We also compute exactly the leading term of the gap probability as $t o 1^-$.

研究の動機と目的

• 有限 $n$ のヤコビユニタリーエンsembleにおける最小固有値の分布を調査すること。これは、区間 $[0,t]$ に固有値を含まないギャップ確率に相当する。
• 区間 $[0,1]$ 上で定義された摂動付きヤコビ重み $x^\alpha(1-x)^\beta(A + B\theta(x-t))$ によって生成されるハンケル行列式を分析すること。この重みは $x=t$ で不連続なジャンプをモデル化する。
• このハンケル行列式の対数微分が満たす2階非線形微分方程式を導出すること。
• $t \to 1^{-}$ のときのギャップ確率の正確な先験的漸近挙動を計算すること。これは極値固有値統計に関連する。

提案手法

• ハンケル行列式 $D_n(t)$ は、区間 $[0,1]$ 上の摂動付き重み $x^\alpha(1-x)^\beta(A + B\theta(x-t))$ のモーメント $\mu_{i+j}(t)$ を用いて定義される。
• 対数微分 $H_n(t) = t(t-1) \frac{d}{dt} \ln D_n(t)$ が導入され、アフィン変換によって $\sigma$-関数に変換される。
• $\sigma$-関数が、$n, \alpha, \beta$ に依存する明示的なパラメータ $\nu_1, \nu_2, \nu_3, \nu_4$ を持つ、ジムボ＝ミワ＝オカモトのパンルベVI $\sigma$-形を満たすことが示された。
• 導出には、有限ランク積分作用素のフレドホルム行列式との関係が用いられ、ギャップ確率が $D_n(t)/D_n(0)$ に結びつけられた。
• $t \to 1^{-}$ の漸近解析は、変数変換 $x_k = y_k + t$ を用いて実施され、スケーリングにより主要項が分離された。
• 主要漸近項は、直交多項式の正規化定数の既知の公式を用いて導出され、$F(\alpha,\beta)$、$K(\alpha,\beta,n)$、および $(1-t)$ のべき乗を含む式が得られた。

実験結果

リサーチクエスチョン

• RQ1 有限 $n$ のヤコビユニタリーエンsembleにおける最小固有値のギャップ確率は、パンルベ型微分方程式を満たすか？
• RQ2 ヤコビ重みの不連続な摂動に関連するハンケル行列式の対数微分は、パンルベVIの $\sigma$-形で記述可能か？
• RQ3 $t \to 1^{-}$ のときのギャップ確率の正確な先験的漸近挙動は何か？これは最小固有値が 1 に近づく場合に相当する。
• RQ4 摂動重みにおけるパラメータ $A$ および $B$ は、ギャップ確率を記述する微分方程式にどのように影響するか？
• RQ5 有限ランク積分作用素のフレドホルム行列式とパンルベVI方程式の間には直接的な関係があるか？

主な発見

• $\sigma(t) = H_n(t) + d_1 t + d_2$ として定義される $\sigma$-関数は、パラメータ $\nu_1 = (\alpha+\beta)/2$、$\nu_2 = (\beta-\alpha)/2$、$\nu_3 = \nu_4 = (2n + \alpha + \beta)/2$ を持つ、ジムボ＝ミワ＝オカモトのパンルベVI $\sigma$-形を満たす。
• 微分方程式は摂動パラメータ $A$ および $B$ に依存しないことから、このクラスのエントロピーに対してパンルベVI構造の普遍性が示された。
• ギャップ確率 $D_n(t)/D_n(0)$ は、$t \to 1^{-}$ のとき $(1-t)^{n(n+\beta)}$ に比例する漸近的挙動を示し、直交多項式の正規化定数を含む係数が付加される。
• 正確な先験的漸近挙動は、$\frac{D_n(t)}{D_n(0)} \sim 2^{2n\alpha} \frac{F(0,\beta)K(0,\beta,n)}{F(\alpha,\beta)K(\alpha,\beta,n)} (1-t)^{n(n+\beta)}$ で与えられ、$F$ および $K$ は既知の正規化定数である。
• 導出により、ギャップ確率を記述する有限ランク積分作用素のフレドホルム行列式が、摂動付き重みのハンケル行列式に等価であることが確認された。
• パンルベVI方程式は、変数変換および $W_n(t)$ における2階非線形常微分方程式への変換により導出され、初期条件 $W_n(0) = 0$、$W_n'(0) = 1$ が明示的に与えられた。