[論文レビュー] Biorthogonal Polynomials for Potentials of two Variables and External Sources at the Denominator

M. C. Bergère|ArXiv.org|Apr 19, 2004

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

ひとこと要約

本稿は、$ z $ と $ z^* $ に依存するポテンシャルを持つ複素行列モデルに対して、重み関数の分子および分母に外部源を組み込んだ場合の双直交多項式を構築する。これらの多項式の擬ノルムを用いて、特にリゾルベント積分 $ J_N $ を生成する形式的べき級数としての相関関数の正確な表現を得る。このリゾルベント積分は、大規模な $ \xi_i, \eta_i^* $ の極限において、複素行列のべき乗のトレースに関する相関関数の形式的べき級数を生成する。

ABSTRACT

We construct biorthogonal polynomials for a measure over the complex plane which consists in the exponential of a potential V(z,z*) and in a set of external sources at the numerator and at the denominator. We use the pseudonorm of these polynomials to calculate the resolvent integral for correlation functions of traces of powers of complex matrices (under certain conditions).

研究の動機と目的

• 外部源が存在する状況下で、複素行列のべき乗のトレースに関する相関関数を体系的に計算するための手法を開発すること。
• 外部源が分子および分母に現れる場合の複素測度に対する直交多項式理論を拡張すること。
• 相関関数の形式的べき級数を生成するリゾルベント積分 $ J_N $ の正確な表現を提供すること。
• 非ガウス型ポテンシャルを持つ確率的行列モデルにおける分配関数および相関関数の計算のためのフレームワークを確立すること。

提案手法

• ポテンシャル $ V(z,z^*) $ と分子および分母に外部源を含む複素平面上の測度を導入し、修正された重み関数を導出する。
• 順次変換の下で双直交多項式を生成するために、乗算 $ (z - \xi) $、$ (z^* - \eta^*) $ および除算 $ (z - y) $、$ (z^* - x^*) $ の四つの操作を定義する。
• 一般化された直交性条件を満たす、モニックな双直交多項式 $ q_n(z; \xi_i, \eta_i^*, y_i, x_i^*) $ 及びその双対 $ q_n^*(z; \eta_i, \xi_i^*, x_i, y_i^*) $ を構築する。
• 多項式の擬ノルム $ \|q_n\|^2 $ を用いて、リゾルベント積分 $ J_N $ をこれらの多項式およびその双対の積の和として表現する。
• 大規模な $ \xi_i, \eta_i^* $ の極限における漸近展開を適用し、リゾルベントと相関関数の形式的べき級数との関係を確立する。
• さまざまなパrameter領域に対して、多項式および積分カーネルを用いて構造を符号化する決定的表現 $ D_{d,\gamma} $ を導出する。

実験結果

リサーチクエスチョン

• RQ1 ポテンシャル $ V(z,z^*) $ と分子および分母に外部源を含む複素行列モデルに対して、どのように双直交多項式を構築できるか。
• RQ2 複素行列のべき乗のトレースに関する相関関数を生成するリゾルベント積分 $ J_N $ の正確な形は何か。
• RQ3 双直交多項式の擬ノルムは、相関関数の計算とどのように関係するか。
• RQ4 外部源のさまざまな配置に対応する分配関数および相関関数を符号化する決定的表現 $ D_{d,\gamma} $ の構造は何か。
• RQ5 多項式およびその双対の無限遠点における漸近的挙動は、相関関数の形式的べき級数の抽出にどのように寄与するか。

主な発見

• リゾルベント積分 $ J_N $ は、双直交多項式およびその双対の積の和として、それらの擬ノルムで重み付けされた形で表現され、相関関数の正確な計算を可能にする。
• 大規模な $ \xi_i, \eta_i^* $ の極限における $ J_N $ の形式的べき級数は、$ \langle \prod_i \text{Tr}(M^{J_i}) \prod_j \text{Tr}((M^*)^{K_j}) \rangle $ の形をしたすべての相関関数を生成する。
• $ y \to \infty $ における $ t_n(y) $ の漸近展開は $ t_n(y) \sim -h_n / y^{n+1} $ となるが、これはリゾルベント構造を導出する上で不可欠である。
• 決定的表現 $ D_{d,\gamma} $ は、$ d $ と $ \gamma $ の相対的な値に応じて異なるブロック行列形式をとるが、すべてのケース $ \gamma < 0 $ および $ \gamma \geq 0 $ に対して明示的な表現が提供されている。
• 無限遠点におけるカーネル $ N_n(\xi, y) $ 及びその双対 $ A_n(x^*, y) $ は、それぞれ $ \sim p_{n+1}(\xi)/y^{n+2} $ および $ \sim t_{n+1}^*(x)/y^{n+2} $ として減衰することが示され、正しい漸近的挙動が確認された。
• 恒等式 $ \sum_{n=0}^\infty \frac{p_n(\xi) t_n(y)}{h_n} = \frac{1}{\xi - y} $ が導出され、多項式とリゾルベントカーネルとの間の基本的関係が確立された。