[論文レビュー] Moments of the characteristic polynomial in the three ensembles of random matrices

M. L. Mehta, J. -M. Normand|arXiv (Cornell University)|Jan 31, 2001

Random Matrices and Applications被引用数 6

ひとこと要約

本稿では、3つの古典的アンサンブル—直交（β=1）、ユニタリ（β=2）、シミプレクティック（β=4）—におけるランダム行列の特徴多項式のモーメントの正確な表現を、行列式、パフィアン、または行列式の和を用いて導出する。主な結果は、ガウス型の場合に成立する驚くべき双対性恒等式である：サイズnのm次のモーメントは、サイズmにおいてixを代入したn次のモーメントに比例する。これは、nとmの間の深いつながりを示している。

ABSTRACT

Moments of the characteristic polynomial of a random matrix taken from any of the three ensembles, orthogonal, unitary or symplectic, are given either as a determinant or a pfaffian or as a sum of determinants. For gaussian ensembles comparing the two expressions of the same moment one gets two remarkable identities, one between an $n imes n$ determinant and an $m imes m$ determinant and another between the pfaffian of a $2n imes 2n$ anti-symmetric matrix and a sum of $m imes m$ determinants.

研究の動機と目的

• 3つの古典的アンサンブル（直交（β=1）、ユニタリ（β=2）、シミプレクティック（β=4））におけるn×nランダム行列の特徴多項式のm次モーメントの閉形式表現を導出すること。
• 特徴多項式のモーメントとバーデルモンド行列式および重み関数を含む多重積分との関係を確立すること。
• 特にガウス型の場合に、異なるサイズおよび虚数引数のモーメントを関連付ける新しい代数的恒等式を同定し、証明すること。
• これらの恒等式が数論に与える影響、特にリーマン・ゼータ関数の臨界線におけるモーメントおよびその導関数との関係を明らかにすること。

提案手法

• 著者たちは、3つの異なる内積（対称的、反対称的、符号に基づく）によって定義される直交多項式および歪直交多項式（Cn, Qn, Rn）を用い、モーメントを行列式またはパフィアンとして表現する。
• モーメント Iβ(n,m;x) の複数の積分表現を導出し、|Δn(y)|β および (x−yj)m w(yj) dyj を含む。β=1,2,4 はそれぞれ3つのアンサンブルに対応する。
• β=2（ユニタリ）の場合、m次モーメントはn×n行列式として表現される。β=1およびβ=4の場合、2n×2n行列のパフィアンまたはm×m行列式の和として与えられる。
• ガウス型の場合 w(y)=e^{-y²} において、双対性恒等式を導出：I₂(n,m;x) ∝ I₂(m,n;ix)。これは、サイズnとmのモーメントを虚数共役を介して結ぶ。
• β=4の場合、2n×2n行列のパフィアンをm×m行列式の和として表すパフィアン恒等式を証明する。
• 一般のβおよび重み関数に対して、Iβ(n,m;x)/Iβ(m,n;ix) ∝ (−i)^{mn} である一般双対性を予想し、証拠を提示する。

実験結果

リサーチクエスチョン

• RQ1 ランダム行列の特徴多項式のm次モーメントを、3つの古典的アンサンブル（β=1,2,4）に対して閉形式でどのように表現できるか？
• RQ2 特に、異なるサイズの行列式の間で比較した場合に、ガウス型の場合に現れる代数的恒等式は何か？
• RQ3 ユニタリアンサンブルにおいて、n×nとm×mの行列式表現の間には双対性が存在するか？その数学的構造は何か？
• RQ4 β=1およびβ=4アンサンブルのパフィアン表現が、m×m行列式の和とどのように関係するか？その背後にある対称性は何か？
• RQ5 Iβ(n,m;x) と Iβ(m,n;ix) を結ぶ一般双対性恒等式が存在するか？そのランダム行列理論および数論における意義は何か？

主な発見

• ユニタリアンサンブル（β=2）では、特徴多項式のm次モーメントがn×n行列式として与えられ、ガウス型の場合には I₂(n,m;x) ∝ I₂(m,n;ix) が成り立ち、nとmの間の双対性を示す。
• シミプレクティックアンサンブル（β=4）では、モーメントが2n×2n反対称行列のパフィアンとして与えられ、mが偶数のとき、このパフィアンはm×m行列式の和に等しい。
• 直交アンサンブル（β=1）では、モーメントがn×n（nが偶数のとき）または(n+1)×(n+1)（nが奇数のとき）の反対称行列のパフィアンとして与えられ、またはm×m行列式の和として表される。
• ガウス型の場合、恒等式 I₂(n,m;x) ∝ I₂(m,n;ix) が成り立ち、比例定数にはガンマ関数およびπと2の累乗が含まれる。
• 本稿では一般双対性 Iβ(n,m;x)/Iβ(m,n;ix) ∝ (−i)^{mn} を予想し、β=2の特別な場合に正確に成立することが示され、セルバージュ積分の評価によって裏付けられる。
• 著者たちは、ガウス型の場合に I₄(n,m;x)/I₁(m,n;ix) = (−i)^{mn} π^{n/2} 2^{-n²} ∏_{j=0}^{n}(2j)! / (2^{3m/2} ∏_{j=0}^{m} Γ(1+j/2)) という恒等式に対して強く支持する証拠を提供する。