[논문 리뷰] Universality and asymptotics of graph counting problems in nonorientable surfaces

Stavros Garoufalidis, Marcos Mariño|ArXiv.org|2008. 12. 05.

Geometric and Algebraic Topology참고 문헌 33인용 수 15

한 줄 요약

이 논문은 비향상 면에서의 그래프 수를 모델링하는 리카티 방정식에 대한 형식적 멱급수 해 $ v(z) $ 를 제안하며, 그 계수와 실수 기하학적 평면에서 루트된 4각형 분할을 제어하는 상수 $ p_g $ 사이에 깊은 연결이 있을 것이라 추측한다. 보렐 변환과 행렬 모델 기법을 사용하여 정확한 점근 전개를 유도하고, 스토크스 상수와 전순서 해의 행동에 강력한 수치적 증거를 제시하며, 영 근처에서 $ \mathrm{O}(N) $ 및 $ \mathrm{Sp}(N) $ 자유 에너지의 해석성 가능성을 시사한다.

ABSTRACT

Bender-Canfield showed that a plethora of graph counting problems in oriented/unoriented surfaces involve two constants $t_g$ and $p_g$ for the oriented and the unoriented case respectively. T.T.Q. Le and the authors recently discovered a hidden relation between the sequence $t_g$ and a formal power series solution $u(z)$ of the Painlevé I equation which, among other things, allows to give exact asymptotic expansion of $t_g$ to all orders in $1/g$ for large $g$. The paper introduces a formal power series solution $v(z)$ of a Riccati equation, gives a nonlinear recursion for its coefficients and an exact asymptotic expansion to all orders in $g$ for large $g$, using the theory of Borel transforms. In addition, we conjecture a precise relation between the sequence $p_g$ and $v(z)$. Our conjecture is motivated by the enumerative aspects of a quartic matrix model for real symmetric matrices, and the analytic properties of its double scaling limit. In particular, the matrix model provides a computation of the number of rooted quadrangulations in the 2-dimensional projective plane. Our conjecture implies analyticity of the $\mathrm{O}(N)$ and $\mathrm{Sp}(N)$-types of free energy of an arbitrary closed 3-manifold in a neighborhood of zero. Finally, we give a matrix model calculation of the Stokes constants, pose several problems that can be answered by the Riemann-Hilbert approach, and provide ample numerical evidence for our results.

연구 동기 및 목표

• 비향상 면에서의 그래프 수를 기술하는 리카티 미분방정식에 대한 형식적 멱급수 해 $ v(z) $ 를 수립하는 것.
• 실수 기하학적 평면에서 루트된 4각형 분할을 세는 상수 $ p_g $ 와 $ v(z) $ 의 계수 사이에 정밀한 관계를 추측하는 것.
• 보렐 변환 기법과 비선형 재귀관계를 사용하여 $ v_n $ 의 정확한 점근 전개를 도출하는 것.
• 실수 대칭 행렬에 대한 4차 행렬 모델의 이중 스케일링 극한에서, 스토크스 상수와 전순서 해 행동에 대한 수치적 증거를 제공하는 것.
• 행렬 모델 결과에 기반하여, 임의의 닫힌 3차원 다각형에 대해 $ \mathrm{O}(N) $ 및 $ \mathrm{Sp}(N) $ 자유 에너지가 영 근처에서 해석적일 것이라 추측하는 것.

제안 방법

• 실수 대칭 행렬에 대한 행렬 모델의 이중 스케일링 극한에서 유도된 리카티 미분방정식을 만족하는 형식적 멱급수 $ v(z) $ 를 도입하는 것.
• 보렐 변환 이론을 사용하여, 큰 $ g $ 에서 $ 1/g $ 의 모든 차수에 대해 $ v_n $ 의 정확한 점근 전개를 계산하는 것.
• 리만-힐베르트 방법과 전순서 해 분석을 적용하여, 행렬 모델의 스토크스 선을 가로질러 나타나는 불연속성으로부터 스토크스 상수를 추출하는 것.
• 리처드슨 변환을 수치적으로 구현하여 점근 수열 $ s_n $ 에서 계수 $ a_k $ 를 추출하고, $ a_0 $ 과 $ a_1 $ 을 향한 수렴을 향상시키는 것.
• 행렬 모델의 자유 에너지 $ \mathcal{F}^{(1)}_{\beta} $ 를 $ v(z) $ 와 $ u(z) $ 와 연결하여, $ v_1(z) $ 가 $ \beta = 1/2 $ 해의 첫 번째 도함수와 일치함을 식별하는 것.
• 행렬 모델을 사용하여 $ k $-instanton 전개를 계산하고, 스토크스 상수 $ S_{-1} = -i\sqrt{6}/12 $ 의 값을 추측하는 것.

실험 결과

연구 질문

• RQ1 실수 기하학적 평면에서 루트된 4각형 분할을 세는 수열 $ p_g $ 와 리카티 방정식의 형식적 해 $ v(z) $ 의 계수 사이에 보편적인 관계가 존재하는가?
• RQ2 보렐 변환 방법을 통해 $ v_n $ 의 $ 1/g $ 의 모든 차수에 대해 정확한 점근 전개를 도출할 수 있는가?
• RQ3 행렬 모델의 이중 스케일링 극한에서의 스토크스 상수가, $ v(z) $ 의 전순서 해 전개의 계수와 일치하는가?
• RQ4 행렬 모델의 결과에 따르면, 임의의 닫힌 3차원 다각형에 대해 $ \mathrm{O}(N) $ 및 $ \mathrm{Sp}(N) $ 자유 에너지가 영 근처에서 해석적인가?
• RQ5 리만-힐베르트 방법을 사용하여 다항식 잠재력이 있는 행렬 모델의 $ k $-instanton 전개를 엄밀하게 계산할 수 있는가?

주요 결과

• 수열 $ s_n = 2\pi(A/2)^n / \Gamma(n) \cdot v_n $ 은 $ \sum_{k=0}^\infty a_k / n^k $ 로 점점 수렴하며, $ a_0 = -iS' $ 이고, 수치적 증거로 $ a_0 = \sqrt{6} $ 가 28~30자리 정밀도까지 확인되었다.
• 리처드슨 변환된 $ s_n $ 은 빠르게 수렴한다: $ s^{(30)}_{250} = 2.44948974278317809819728407471\ldots $, $ \sqrt{6} $ 와 매우 정밀하게 일치한다.
• $ a_1 $ 은 수치적으로 $ -1/5 $ 로 확인되었으며, 추측 $ \frac{1}{2}\nu_1 A = -1/5 $ 와 일치한다.
• 스토크스 상수 $ S_{-1} $ 은 전순서 해 계수의 수치적 점근 해에 기반하여 $ -i\sqrt{6}/12 $ 로 추측된다.
• 행렬 모델 계산 결과로 $ \mathcal{F}^{(1)}_{\beta=1/2}(z) \sim i/\sqrt{2} \cdot \exp(-4\sqrt{3}/5 \cdot z^{5/4}) $ 를 얻었으며, 이는 $ v(z) $ 의 도함수와 일치한다.
• 논문은 비향상 면에서의 그래프 수를 세는 수열의 특정 상수 $ p_{41/2} $ 의 수치적 값을 제공하며, 이는 유리수 over 감마 함수와 $ \sqrt{6} $ 로 표현된다.