[論文レビュー] Asymptotic behavior of the multiplicative counterpart of the Harish-Chandra integral and the $S$-transform

Pierre Mergny, Marc Potters|arXiv (Cornell University)|Jul 18, 2020

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

ひとこと要約

本稿では、一般の β > 0 に対して、乗法的球面積分（ジャック対称多項式の解析接続として定義される）の漸近的挙動を確立し、それが制限スペクトル測度の S 変換の対数に収束することを示している。鞍点解析を用いて、HCIZ 積分のパリージ・ギヨン・マイダ定理の乗法的類似を導出しており、大 N における自由乗法的畳み込みが S 変換によって線形化されることを裏付ける。

ABSTRACT

In this note, we study the asymptotic of spherical integrals, which are analytical extension in index of the normalized Schur polynomials for $β=2$ , and of Jack symmetric polynomials otherwise. Such integrals are the multiplicative counterparts of the Harish-Chandra-Itzykson-Zuber (HCIZ) integrals, whose asymptotic are given by the so-called $R$-transform when one of the matrix is of rank one. We argue by a saddle-point analysis that a similar result holds for all $β>0$ in the multiplicative case, where the asymptotic is governed by the logarithm of the $S$-transform. As a consequence of this result one can calculate the asymptotic behavior of complete homogeneous symmetric polynomials.

研究の動機と目的

• 一般の β > 0 に対して、ハリシ・チャンドラ＝イツィクソン＝ズーバー（HCIZ）積分の漸近的解析を、その乗法的類似へと拡張すること。
• 大 N における極限において、ジャック対称多項式の漸近的挙動と S 変換との間の関係を確立すること。
• 球面積分を用いて、加法的自由確率論から乗法的自由確率論へのパリージ・ギヨン・マイダ結果の一般化を達成すること。
• S 変換フレームワークを用いて、完全同次対称多項式の漸近的挙動を導出すること。

提案手法

• 著者らは、ジャック多項式の解析接続として定義される乗法的球面積分の漸近的挙動を、鞍点解析を用いて研究している。
• 彼らは、球面積分をヘックマン＝オプダの超幾何関数と関連づけ、β = 2 および β = 1,4 の場合にそれぞれシュール多項式およびゾナル多項式を一般化している。
• 主要な式は漸近的恒等式： lim_{N→∞} (2/(Nβ)) ln[j_{⌊Nβz/2⌋}^{(2/β)}(a)/j_{⌊Nβz/2⌋}^{(2/β)}(1,…,1)] = H^S_μ_A(z) であり、ここで H^S は S 変換の対数を表す。
• S 変換は、修正された S 変換 Ŝ_μ(z) = z/(z+1) * T_μ^{(-1)}(z) により定義され、T_μ(z) = zG_μ(z) - 1 である。
• 解析では、行列 A_N の経験的スペクトル測度が確定的測度 μ_A に収束すると仮定しており、ベクトル z は極限において唯一の成分のみが非ゼロとなるようにスケーリングされている。
• この手法は、固有値の置換に関して積分が不変であることと、正規化 I^{(β)}_0(z) = 1 に依存している。

実験結果

リサーチクエスチョン

• RQ1 一般の β > 0 に対して、大 N における乗法的球面積分の漸近的挙動はどのように振る舞うか？
• RQ2 S 変換は、加法的ケースにおける R 変換と同様に、乗法的球面積分の漸近的生成子として導出可能か？
• RQ3 完全同次対称多項式の極限的挙動は、S 変換を用いてどのように記述できるか？
• RQ4 鞍点法は、大きな部分を1つだけ持つジャック多項式に対して、普遍的な漸近公式を導くか？
• RQ5 乗法的球面積分が S 変換の対数に収束するための条件は何か？

主な発見

• 乗法的球面積分の漸近的挙動は、S 変換の対数によって支配される： lim_{N→∞} (2/(Nβ)) ln[j_{⌊Nβz/2⌋}^{(2/β)}(a)/j_{⌊Nβz/2⌋}^{(2/β)}(1,…,1)] = H^S_μ_A(z)。
• β = 2 の場合、ジャック多項式はシュール多項式に還元され、インデックス (k,0,…,0) の正規化シュール多項式は、完全同次対称多項式 h_k(a) に収束し、その対数的漸近的挙動は H^S_μ_A(z) で与えられる。
• スペクトル測度 μ_A が [0,2] 上で一様である場合、漸近関数 H^S_μ_A(z) は明示的に計算され、z(ln(2z/|z+1+W(-(z+1)e^{-(z+1)}))| - 1) - ln|W(-(z+1)e^{-(z+1)})| となる。ここで W はランバート W 関数である。
• 数値結果により、[0,2] 上に一様に分布する a_i に対して、(1/N)ln(h_k(a)/h_k(1,…,1)) が H^S_μ_A(z) に収束することが確認され、N が大きくなるほど収束が改善する。
• この結果は、低ランクシュール多項式（非ゼロ成分が少ないもの）が、完全同次対称多項式の積に漸近的に分解可能であることを示唆する。
• このフレームワークは、両方のベクトル a と z が完全な測度に収束するフルランク状態では、ヘックマン＝オプダ関数が同様の漸近展開を許容する可能性があるが、これは未解決の問題のままである。