[논문 리뷰] Universal scaling limits of matrix models, and (p,q) Liouville gravity

M. C. Bergère, Bertrand Eynard|ArXiv.org|2009. 09. 04.

Random Matrices and Applications참고 문헌 60인용 수 24

한 줄 요약

이 논문은 고유값 밀도 특이점 $\rho(x) \sim x^{p/2}$ 근처에서 한 행렬 모델의 보편적 스케일링 극한이 $(p,2)$ 최소 모델 커널에서 유도된 행렬식 상관 함수에 의해 지배됨을 수학적으로 증명한다. 이러한 커널은 차수 $\leq p$의 다항계수를 가진 2차 선형 미분계수의 해로부터 유도되며, $p=1$인 경우 에어리 커널을 일반화하고, 행렬 모델의 보편성과 적분 가능 체계 및 $(p,q)$ 리만 곡면 중력 이론을 연결한다.

ABSTRACT

We show that near a point where the equilibrium density of eigenvalues of a matrix model behaves like y ~ x^{p/q}, the correlation functions of a random matrix, are, to leading order in the appropriate scaling, given by determinants of the universal (p,q)-minimal models kernels. Those (p,q) kernels are written in terms of functions solutions of a linear equation of order q, with polynomial coefficients of degree at most p. For example, near a regular edge y ~ x^{1/2}, the (1,2) kernel is the Airy kernel and we recover the Airy law. Those kernels are associated to the (p,q) minimal model, i.e. the (p,q) reduction of the KP hierarchy solution of the string equation. Here we consider only the 1-matrix model, for which q=2.

연구 동기 및 목표

• 한 행렬 모델의 이중 스케일링 극한에서 상관 함수의 보편성을 엄밀한 수학적 증명으로 제시하기.
• 행렬 모델의 스케일링 극한을 초등 수학적 최소 모델 $(p,2)$ 및 적분 가능 계열과 연결하기.
• 제한된 스펙트럼 곡선의 스펙트럼 불변량이 $(p,2)$ 최소 모델의 행렬식 상관 함수와 일치함을 확립하기.
• $(p,q)$ 보편성에 대한 알려진 물리적 결과를 $q=2$인 경우에 대해 수학적으로 엄밀한 프레임워크로 확장하기.
• 다중 행렬 모델 및 일반적인 $(p,q)$ 극한으로 결과를 일반화하기 위한 기초를 마련하기.

제안 방법

• 고유값을 $x \sim N^{-q/(p+q)}$로 재스케일링하여 1-행렬 모델의 이중 스케일링 극한을 유도하며, $\rho(x) \sim x^{p/2}$ 형태의 특이점에 집중한다.
• 차수 $\leq p$의 다항계수를 가진 $2 \times 2$ 선형 미분계수의 해를 만족하는 베이커-아키에저 함수의 크리스토펠-다르부 커널로 $(p,2)$ 커널을 구성한다.
• 미분계수의 계수들이 $p = 2m+1$일 때 $m+1$-번째 게르프란트-디키 방정식을 만족함을 보이며, 이는 KdV 계열과 연결된다.
• 스펙트럼 곡선과 위상적 재귀를 이용하여, 행렬 모델의 제한 상관 함수 $\omega_n^{(g)}$가 $(p,2)$ 최소 모델과 동일한 곡선의 스펙트럼 불변량임을 식별한다.
• 루프 방정식과 점근 전개를 일치시켜, 행렬 모델의 스케일링 극한과 $(p,2)$ 최소 모델의 행렬식 상관 함수 간의 동치성을 증명한다.
• 컨츠비치 적분 프레임워크를 적용하여 결과를 리만 곡면의 모듈리 공간 위에서 타우톨로지 클래스의 교차 수로 조합론적으로 해석한다.

실험 결과

연구 질문

• RQ1 한 행렬 모델의 상관 함수는 고유값 밀도의 $p/2$-형 특이점 근처에서 이중 스케일링 극한에서 어떻게 행동하는가?
• RQ2 고유값 밀도 $\rho(x) \sim x^{p/2}$ 인 경우에 행렬 모델 상관 함수의 스케일링 극한을 지배하는 보편적 커널은 무엇인가?
• RQ3 $(p,2)$ 최소 모델 커널은 제한된 행렬 모델의 스펙트럼 불변량과 어떻게 관련이 있는가?
• RQ4 $(p,2)$ 최소 모델 상관 함수의 행렬식적 구조가 행렬 모델 상관 함수의 점근적 행동과 일치하는가를 어떻게 보일 수 있는가?
• RQ5 게르프란트-디키 계열과 스트링 방정식은 행렬 모델과 초등 수학적 최소 모델 이론을 연결하는 데 어떤 역할을 하는가?

주요 결과

• 고유값 밀도의 $p/2$-형 특이점 근처에서 1-행렬 모델의 이중 스케일링 극한은 $(p,2)$ 커널에 의해 지배되는 상관 함수를 유도하며, 이는 $p=1$일 때 에어리 커널의 일반화이다.
• $(p,2)$ 커널은 차수 $\leq p$의 다항계수를 가진 $2 \times 2$ 선형 미분계수의 해를 만족하는 함수의 크리스토펠-다르부 커널이다.
• 이 미분계수는 $p = 2m+1$일 때 $m+1$-번째 게르프란트-디키 방정식의 라스 매트릭스와 관련되어 있으며, KdV 계열과 연결된다.
• 행렬 모델의 제한 상관 함수 $\omega_n^{(g)}$는 $(p,2)$ 최소 모델과 동일한 스펙트럼 곡선의 스펙트럼 불변량과 일치한다.
• $(p,2)$ 최소 모델 상관 함수의 행렬식 공식은 $N$에 대해 주요 항에서 행렬 모델 상관 함수의 점근적 행동을 재현한다.
• 결과는 컨츠비치 적분 프레임워크를 통해 리만 곡면의 모듈리 공간 위에서 타우톨로지 클래스의 교차 수로 조합론적으로 해석된다.