[논문 리뷰] High order expansion of matrix models and enumeration of maps

Édouard Maurel-Segala|ArXiv.org|2006. 08. 08.

Random Matrices and Applications참고 문헌 26인용 수 15

한 줄 요약

이 논문은 GUE의 작은 볼록한 외란을 가진 다중행렬 랜덤 매트릭스 모델에 대해 엄밀한 종수 전개를 수립한다. 슈윙거-다이슨 방정식과 조합적 분석을 통해 자유 에너지가 $N^2$의 음수 거듭제곱에 대한 점근 전개를 가지며, 각 계수는 종수가 증가하는 표면 위의 맵을 생성함을 증명한다. 이는 이전의 가우시안에서 비가우시안 잠재력으로의 일반화를 포함한다.

ABSTRACT

Perturbation of the GUE are known in physics to be related to enumeration of graphs on surfaces. We investigate this idea and show that for a small convex perturbation, we can perform a genus expansion: the moments of the empirical measure can be developed into a series whose g-th term is a generating function of graphs on a surface of genus g.

연구 동기 및 목표

• 가우시안(GUE)의 경우를 초월하여 다중행렬 모델의 순간에 대한 종수 전개를 작은 볼록한 외란까지 확장하기.
• 특히 비가우시안 잠재력을 가진 모델에서 물리학에서 사용되는 형식적 종수 전개에 대한 수학적 기초 제공하기.
• 왜곡된 행렬 모델의 자유 에너지가 $1/N^{2g}$의 거듭제곱에 대한 점근 전개를 가지며, 각 항이 종수 $g$를 가진 표면 위의 맵을 생성함을 확립하기.
• 직교 다항식을 피하는 비퍼티어티적 접근을 통해 이 전개의 계수들이 특정한 정점 유형을 가진 루트 맵의 생성함수임을 증명하기.
• 전개의 수렴 도메인을 작은 결합 상수와 잠재력의 $c$-볼록성에 따라 특성화하기.

제안 방법

• 행렬 모델의 순간과 첨도에 대한 재귀 관계를 유도하기 위해 중심 분석 도구로 슈윙거-다이슨 방정식을 사용한다.
• 위크 계산법과 조합적 기법을 적용하여 순간을 표면 위의 맵으로의 합으로 해석함으로써 가우시안의 경우를 일반화한다.
• 측도의 존재성과 $N$에 대해 균일한 제어를 확보하기 위해 잠재력 $V$에 $c$-볼록성 조건을 도입한다.
• 작은 반경의 다면체 $B_{\rho,c}$ 내에서 수렴 보장이 되는 결합 매개변수 $t_i$에 대한 페르투르베이션 전개를 도입한다.
• 스펙트럼 측도의 도함수를 계층적인 연산자 $\mathcal{I}_k$와 $\nu^N$를 통해 반복적으로 제어하며, $N$에 대해 균일한 경계를 확보한다.
• 도함수 $\mathcal{D}_{\bf j}\nu^N$의 분해를 통해 전개의 각 항이 종수 $g$를 가진 맵의 생성함수에 대응함을 보인다.

실험 결과

연구 질문

• RQ1 비가우시안, 작은 외란에 대해 다중행렬 모델의 순간에 대한 종수 전개를 엄밀하게 가우시안의 경우를 초월하여 확장할 수 있는가?
• RQ2 다중행렬 설정에서 종수 전개의 존재성과 수렴성을 보장하기 위해 잠재력 $V$에 어떤 조건이 필요한가?
• RQ3 이 $1/N^{2g}$ 전개의 계수들을 종수 $g$를 가진 표면 위의 맵에 대한 생성함수로 어떻게 조합적으로 해석할 수 있는가?
• RQ4 다중행렬의 경우에서 직교 다항식 방법을 피하면서도 종수 전개를 유도할 수 있는가?
• RQ5 결합 매개변수 $t_i$에 대해 자유 에너지의 정확한 해석 영역는 무엇이며, 그 범위에서 종수 전개가 성립하는가?

주요 결과

• 모든 $g \in \mathbb{N}$에 대해 $\eta_g > 0$가 존재하여 모든 결합 벡터 $\mathbf{t} \in B_{\eta_g,c}$ 에서 자유 에너지가 전개 $F^N_{V_\mathbf{t}} = F^0(\mathbf{t}) + \frac{1}{N^2}F^1(\mathbf{t}) + \cdots + \frac{1}{N^{2g}}F^g(\mathbf{t}) + o(\frac{1}{N^{2g}})$ 를 가짐을 보장한다.
• $F^g(\mathbf{t})$ 는 종수 $g$를 가진 루트 맵의 생성함수이며, $k_i$개의 유형 $q_i$를 가진 정점 수를 $\mathcal{C}_g^{\mathbf{k}+\mathbf{j}}(q_{i_1},\dots,q_{i_p})$ 를 통해 세는 데 사용된다.
• $g$-차수 계수 $F^g(\mathbf{t})$ 는 명시적으로 $\sum_{\mathbf{k}} \prod_i \frac{(-t_i)^{k_i}}{k_i!} \mathcal{C}_g^{\mathbf{k}+\mathbf{j}}(q_{i_1},\dots,q_{i_p})$ 로 주어지며, 여기서 $\mathcal{C}_g^{\mathbf{k}+\mathbf{j}}$ 는 특정한 정점 유형을 가진 맵의 수를 세는 데 쓰인다.
• 전개는 잠재력 $V$가 $c$-볼록성을 가지며, 균일한 볼록성과 해석성을 보장하는 $\mathbf{t} = 0$의 근처에서 유효하다.
• 직교 다항식을 피하고 슈윙거-다이슨 방정식 및 스펙트럼 측도의 도함수에 대한 반복적 제어에 의존한다.
• 결과적으로 물리학적 그림인 $1/N^2$에 대한 위상 전개로의 종수 전개가 이제 다중행렬 모델에 대해 엄밀한 수학적 정당성을 확보한다.