[論文レビュー] On the relation between orthogonal, symplectic and unitary matrix ensembles

Harold Widom|arXiv (Cornell University)|Apr 3, 1998

Random Matrices and Applications参考文献 9被引用数 20

ひとこと要約

本稿では、歪正規直交多項式を用いずに、直交およびシミプレクティック行列アンサンブルの行列カーネルを、対応するユニタリアンサンブルのスカラー核に基づいて明示的な式で表現することを確立する。主な結果は、w'/wが有理関数である半古典的重み関数の場合、行列カーネルの成分がスカラー核から有限個の追加項を差し引いたものに一致することであり、その数は拡張された複素平面上でのw'/wの位数に等しい。これにより、ラゲルルおよびガウスアンサンブルに対して正確かつ解析接続された表現が得られる。

ABSTRACT

For the unitary ensembles of $N imes N$ Hermitian matrices associated with a weight function $w$ there is a kernel, expressible in terms of the polynomials orthogonal with respect to the weight function, which plays an important role. For the orthogonal and symplectic ensembles of Hermitian matrices there are $2 imes2$ matrix kernels, usually constructed using skew-orthogonal polynomials, which play an analogous role. These matrix kernels are determined by their upper left-hand entries. We derive formulas expressing these entries in terms of the scalar kernel for the corresponding unitary ensembles. We also show that whenever $w'/w$ is a rational function the entries are equal to the scalar kernel plus some extra terms whose number equals the order of $w'/w$. General formulas are obtained for these extra terms. We do not use skew-orthogonal polynomials in the derivations.

研究の動機と目的

• 歪正規直交多項式に依存せずに、直交およびシミプレクティックアンサンブルにおける行列カーネルの明示的表現を導出すること。
• 直交およびシミプレクティックアンサンブルの行列カーネルを、対応するユニタリアンサンブルのスカラー核に関連付けること。
• 重み関数wがw'/wが有理関数を満たす場合、特に半古典的ケースにおいて、行列カーネルの追加項に関する一般公式を提供すること。
• 既知の結果を、ラゲルルおよびガウスアンサンブルについてα > -1の全範囲に解析接続することで拡張すること。

提案手法

• β=1（直交）およびβ=4（シミプレクティック）の行列カーネルS_Nβ(x,y)を、ユニタリアンサンブルからのスカラー核K_N(x,y)の形で導出する。
• 文献[8]の作用素的表現を用いて、行列カーネルをスカラー核に関連づけ、歪正規直交多項式を避ける。
• 重み関数wの定義域D上でw'/wが有理関数であるという条件を適用し、カーネルに現れる追加項が有限個であり、w'/wの極の位数に依存することを示す。
• スカラー核およびw'/wの極を用いた一般式を導入し、w'/wが正則だが単純極のように振る舞うDの端点も含む。
• 解析接続を用いて、ラゲルルアンサンブルのα > 0の結果を全範囲α > -1に拡張する。特にα = 0の場合に有効である。
• この手法を用いて、ラゲルルおよびガウスアンサンブルの明示的形を計算し、既知の結果を検証するとともに、新たな結果を導出する。

実験結果

リサーチクエスチョン

• RQ1 直交およびシミプレクティックアンサンブルの行列カーネルを、ユニタリアンサンブルのスカラー核に基づいて直接的にどのように表現できるか？
• RQ2 w'/wが有理関数である場合に、行列カーネルに現れる追加項の構造は何か？
• RQ3 一般α > -1のラゲルルアンサンブルについて、α > 0の結果を解析接続によって導出可能か？
• RQ4 カーネルの追加項は、拡張された複素平面上でのw'/wの極とどのように関係するか？
• RQ5 α = 0におけるラゲルルアンサンブルの行列カーネルの明示的形は何か？また、既知の結果と比較するとどうなるか？

主な発見

• w'/wが有理関数である半古典的重み関数の場合、行列カーネル成分S_Nβ(x,y)はスカラー核K_N(x,y)に、拡張された複素平面上でのw'/wの位数に等しい有限個の追加項を加えたものに一致する。
• α > 0のラゲルルアンサンブルでは、追加項がラゲルル多項式の微分および∫₀^y e^{-z/2}L_N'(z) dzの積分を含む明示的式で与えられる。
• α = 0のラゲルルアンサンブルでは、行列カーネルS_N^{(4)}(x,y)はK_N(x,y)に(1/2)e^{-x/2}L_N'(x)∫₀^y e^{-z/2}L_N'(z) dzを加えたものであり、S_N^{(1)}(x,y)は積分内に追加の定数項1を含む。
• ガウスアンサンブル（w(x) = e^{-x²}）の追加項は、無限大における単純極に起因し、1つの追加項に一致し、既知の結果と整合的である。
• ジャコビアンサンブル（w(x) = (1−x)^α(1+x)^β）は、内部でw'/w = 0であるが、±1に単純極があるため、2つの追加項を持つ。
• この手法により、w'/wの極の数を数えることと、対応する追加項を構成することによって、任意の半古典的重み関数について行列カーネルを体系的に計算可能であり、解析接続によりすべてのα > -1に対して有効である。