[논문 리뷰] Caustics, counting maps and semi-classical asymptotics

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

Advanced Combinatorial Mathematics참고 문헌 2인용 수 3

한 줄 요약

이 논문은 허미트 랜덤 행렬 분할 함수의 종수 전개 계수들이 대수적 함수 $ z_0(t) $ 의 유리 함수임을 규명하며, 이 $ z_0(t) $ 는 일반화된 카탈란 수를 생성하고 점성 없는 버거스 방정식을 만족한다. 버거스 해에서의 캐우스틱(충격 특이점) 형성과 이 유리 생성함수의 극점이 직접적으로 대응되며, 이는 이러한 유리 형태의 부분분수 전개를 통해 제1 피아니레 흡수함수의 점근 전개와 정확한 연결 고리를 형성한다.

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 $ 점근 전개에서 종수 전개 계수의 조합론적 및 해석적 구조를 이해하기 위해.
• 이 계수들이 일반화된 카탈란 수의 생성함수인 단일 대수적 함수 $ z_0(t) $ 의 유리 함수임을 보여주기 위해.
• 점성 없는 버거스 방정식 해에서의 충격 형성(캐우스틱)이 유리 생성함수의 극점과 어떻게 연결되는지 밝혀내기 위해.
• 종수 전개의 이중 스케일링 근사와 제1 피아니레 흡수함수의 점근 계수 사이의 정확한 연결 고리를 확립하기 위해.
• 재귀 계수와 상관 함수의 점근 전개의 균일 성질을 복소 $ 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) $ 의 유리 함수임을 보인다.
• 이러한 유리 함수의 부분분수 분해를 이용해 생성함수 계수의 재귀적 구성 방법을 도출한다.
• 직교다항식과 상관 함수의 점탄성을 분석하기 위해 리만-힐베르트 문제 기법을 적용하며, 특히 이중 스케일링 근사에서의 행동을 다룬다.
• 콤���트성과 해석 continuation 기법을 사용하여 $ \Re(t) \geq 0, |\Im(t)| < \Delta $ 인 복소 반무한 영역에서 $ \log Z_N(t) $ 와 재귀 계수 $ b_{N,N}^2(t) $ 의 균일 점근 전개를 확립한다.

실험 결과

연구 질문

• RQ1 허미트 랜덤 행렬 분할 함수의 대규모-$ N $ 근사에서 종수 전개 계수는 조합론적 수세기와 어떻게 관련되어 있는가?
• RQ2 종수 전개 계수 $ e_g(t) $ 의 기능적 구조는 무엇이며, 단일 대수적 함수로 표현될 수 있는가?
• RQ3 점성 없는 버거스 방정식 해에서의 충격 형성(캐우스틱)은 생성함수의 특이점과 어떻게 관련되는가?
• RQ4 종수 전개의 이중 스케일링 근사와 제1 피아니레 흡수함수의 점근 계수 사이의 정확한 연결 고리는 무엇인가?
• RQ5 분할 함수와 재귀 계수의 점근 전개는 결합 매개수 $ t $ 가 무한대에까지 연장되는 복소 영역에서 균일하게 유효한가?

주요 결과

• 모든 $ g \geq 2 $ 에 대해 종수 전개 계수 $ e_g(t) $ 는 일반화된 카탈란 수의 생성함수인 $ z_0(-t) $ 의 유리 함수이다.
• $ z_0(t) $ 는 특정한 초깃값을 가진 점성 없는 버거스 방정식을 만족하며, 그 충격 형성(캐우스틱)은 정확히 유리 생성함수 $ e_g(t) $ 의 극점에 대응된다.
• 이중 스케일링 근사에서 제1 피아니레 흡수함수의 점근 계수는 유리 함수 $ e_g(t) $ 의 부분분수 전개를 통해 명시적으로 표현된다.
• 일점 상관 함수 $ \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} $ 로 유계임을 보이며, 지정된 영역에서 항별 미분이 수행 가능하다.