[論文レビュー] Caustics, counting maps and semi-classical asymptotics

Nicholas M. Ercolani|arXiv (Cornell University)|Dec 10, 2009

Advanced Combinatorial Mathematics参考文献 2被引用数 3

ひとこと要約

本稿では、ヘルミート型ランダム行列の分配関数の種数展開係数が、一般化カタラン数を生成する代数関数 $ z_0(t) $ の有理関数であることを確立している。この $ z_0(t) $ は、非粘性バーガース方程式の解であり、波面の重合（ショック特異性）を示す。バーガース方程式の解における波面の重合は、これらの有理生成関数の極に直接対応し、有理関数の部分分数分解を通じて、第一パンルベ型超越関数の漸近展開との明確な関係を確立できる。

ABSTRACT

This paper develops a deeper understanding of the structure and combinatorial significance of the partition function for Hermitian random matrices. The coefficients of the large N expansion of the logarithm of this partition function,also known as the genus expansion, (and its derivatives) are generating functions for a variety of graphical enumeration problems. The main results are to prove that these generating functions are in fact specific rational functions of a distinguished irrational (algebraic) function of the generating function parameters. This distinguished function is itself the generating function for the Catalan numbers (or generalized Catalan numbers, depending on the choice of parameter). It is also a solution of the inviscid Burgers equation for certain initial data. The shock formation, or caustic, of the Burgers characteristic solution is directly related to the poles of the rational forms of the generating functions. These results in turn provide new information about the asymptotics of recurrence coefficients for orthogonal polynomials with respect to exponential weights. One gains new insights into the relation between certain derivatives of the genus expansion and the asymptotic expansion of the first Painleve transcendent, related to the double-scaling limit. This work provides a precise expression of the Painleve asymptotic coefficients directly in terms of the coefficients of the partial fractions expansion of the rational form of the generating functions established here. Moreover, these insights point toward a more general program relating the first Painleve hierarchy and the higher order structure of the double-scaling limit to the specific rational structure of generating functions.

研究の動機と目的

• ヘルミート型ランダム行列の分配関数の $ N \to \infty $ 漸近展開における種数展開係数の組合せ論的および解析的構造を理解すること。
• これらの係数が、一般化カタラン数の母関数である単一の代数関数 $ z_0(t) $ の有理関数であることを示すこと。
• 非粘性バーガース方程式におけるショック形成（波面）と、有理生成関数の極との関係を特定すること。
• 種数展開のダブルスケーリング極限と第一パンルベ型超越関数の漸近係数との明確な関係を確立すること。
• 再帰係数および相関関数の漸近展開の一様有効性を、複素 $ t $-平面における半無限帯領域に拡張すること。

提案手法

• 分配関数 $ Z_N(t) $ の対数の種数展開を $ N^{-2} $ の級数として導出し、係数 $ e_g(t) $ を得る。
• $ z_0(t) $ を一般化カタラン数の母関数として特定し、特定の初期データをもつ非粘性バーガース方程式を満たすことを示す。
• $ g \geq 2 $ に対して、係数 $ e_g(t) $ が関数体 $ \mathbb{Q}(z_0(-t)) $ に属すること、すなわち $ z_0(-t) $ の有理関数であることを証明する。
• これらの有理関数の部分分数分解を用いて、生成関数の係数に対する再帰的構成を導出する。
• リーマン＝ヒルベルト問題の技法を用いて、特にダブルスケーリング極限における直交多項式および相関関数の漸近挙動を分析する。
• コンactnessおよび解析接続を用いて、複素半帯領域 $ \Re(t) \geq 0, |\Im(t)| < \Delta $ において、$ \log Z_N(t) $ および再帰係数 $ b_{N,N}^2(t) $ の一様漸近展開を確立する。

実験結果

リサーチクエスチョン

• RQ1 ヘルミート型ランダム行列の分配関数の $ N \to \infty $ 極限における種数展開係数は、組合せ論的数え上げとどのように関係しているか？
• RQ2 種数展開係数 $ e_g(t) $ の関数的構造は何か？ また、これらは単一の代数関数で表現可能か？
• RQ3 非粘性バーガース方程式の解におけるショック形成（波面）は、生成関数の特異性とどのように関係するか？
• RQ4 種数展開のダブルスケーリング極限と第一パンルベ型超越関数の漸近係数との明確な関係は何か？
• RQ5 分配関数および再帰係数の漸近展開は、結合パラメータ $ t $ について無限に伸びる複素領域において一様に有効となるか？

主な発見

• $ g \geq 2 $ に対して、種数展開係数 $ e_g(t) $ は、一般化カタラン数の母関数である $ z_0(-t) $ の有理関数である。
• 関数 $ z_0(t) $ は、特定の初期データをもつ非粘性バーガース方程式の解であり、そのショック形成（波面）は、有理生成関数 $ e_g(t) $ の極に正確に対応する。
• ダブルスケーリング極限における第一パンルベ型超越関数の漸近係数は、有理関数 $ e_g(t) $ の部分分数展開を用いて明示的に表現できる。
• 1点相関関数 $ \rho_1^{(N)}(t, \lambda) $ の漸近展開は、$ t = \infty $ の近傍で一様に有効であり、$ z_0(-t) \in [0, z_0^*) $ の範囲で $ t $ に関して解析的である。
• 種数展開 $ \log Z_N(t) = N^2 e_0(t) + e_1(t) + \cdots $ および再帰係数 $ b_{N,N}^2(t) $ は、半無限帯領域 $ \Re(t) \geq 0, |\Im(t)| < \Delta $ において完全な漸近展開をもつ。
• これらの展開は誤差が $ C N^{-2h-2} $ で有界である一様収束性をもち、指定された領域内で項別微分が可能である。