[論文レビュー] Integrals of rational symmetric functions, two matrix models and biorthogonal polynomials

J. Harnad, A. Yu. Orlov|ArXiv.org|Mar 14, 2006

Mathematical functions and polynomials参考文献 14被引用数 4

ひとこと要約

本稿では、2行列モデルに現れる2組のN変数に関する有理対称関数の積分を評価する、新しい行列式に基づく手法を提示する。双直交多項式およびそのヒルベルト変換を用いて、被積分関数の零点・極および双線形結合における評価値を含む行列式として積分を表現し、部分分数分解および行列式恒等式を用いた直接的かつ初等的な導出がなされる。

ABSTRACT

We give a new method for the evaluation of a class of integrals of rational symmetric functions in N pairs of variables {x_a, y_a}_{a=1,... N} arising in coupled matrix models, valid for a broad class of two-variable measures. The result is expressed as the determinant of a matrix whose entries consist of the associated biorthogonal polynomials, their Hilbert transforms, evaluated at the zeros and poles of the integrand, and bilinear expressions in these. The method is elementary and direct, using only standard determinantal identities, partial fraction expansions and the property of biorthogonality. The corresponding result for one-matrix models and integrals of rational symmetric functions in N variables {x_a}_{a=1,... N} is also rederived in a simple way using this method

研究の動機と目的

• 2行列モデルにおけるN組の変数対 (x_a, y_a) に関する有理対称関数の積分を評価する一般的手法を開発すること。
• このような積分を、被積分関数の零点および極における双直交多項式およびそのヒルベルト変換の評価値を用いて表現すること。
• 1行列モデルの既知の結果を再導出できる統一的かつ初等的な導出を提供すること。
• 測度およびサポート曲線に広範な条件下で有効な、正規化積分の閉形式行列式表現を確立すること。

提案手法

• 測度 dμ(x,y) の双モーメント行列を用いて、双直交多項式対 {P_j(x), S_j(y)} をグラム・シュミット法により構成する。
• 有理関数を極および零点に依存する項に分解する部分分数分解を用い、系としての積分を体系的に行う。
• 標準的な行列式恒等式を適用し、多次元積分を多項式評価値およびヒルベルト変換から構成される行列の1つの行列式に変換する。
• 双直交多項式およびそのヒルベルト変換の積の和を含む補助行列 K_{11}^J, K_{12}^J, K_{22}^J を導入し、行列式の核心を形成する。
• バーヴァンデル行列式および双直交性の正規化および対称性の性質を用いて、最終的な式を簡略化する。
• 変数変換および積分変数の再順序化を適用し、単項式および多項式基底変換を介して行列式評価に適した形に積分を簡約する。

実験結果

リサーチクエスチョン

• RQ1 2行列モデルの文脈において、2組のN変数に関する有理対称関数の積分をどのように効率的に評価できるか。
• RQ2 双直交多項式およびそのヒルベルト変換は、このような多次元積分をどのように簡略化するか。
• RQ3 1行列モデルの既知の結果を再導出できる一様的かつ初等的な手法を導出できるか。
• RQ4 正規化積分を多項式評価値および双線形形式で表す行列式の正確な構造は何か。
• RQ5 被積分関数の零点および極の位置が、最終的な行列式表現および正規化因子にどのように影響するか。

主な発見

• 正規化積分 I_N^{(2)} は、(L_1 + M_2) × (L_1 + M_2) 行列 G の行列式として表現され、その成分は双直交多項式、それらのヒルベルト変換、および特定の点における双線形和である。
• 行列式構造には、零点 {ξ_α}、極 {μ_k}、およびそれらの相互作用を表す K_{11}^J, K_{12}^J, K_{22}^J 行列からの寄与が含まれる。
• 正規化因子には、n が N から N + L_2 - M_2 - 1 および N から N + L_1 - M_1 - 1 まで変化する √h_n の積が含まれ、多項式拡張の次数を反映している。
• 置換対称性を反映する符号因子 ε(L_1, L_2, M_2, M_2) = (−1)^(1/2)(M_1+M_2)(M_1+M_2−1) (−1)^(L_1 M_2) が結果に組み込まれている。
• M_2 = 0 および L_2 = 0 とすることで、本手法は1行列モデルの結果を自然に再導出する。
• 最終的な式は変数の再ラベル化に対して不変であり、測度およびサポート曲線に関する仮定のもとで一貫性を保っている。