[논문 리뷰] A bijection for rooted maps on orientable surfaces

Guillaume Chapuy, Michel Marcus외 1명|arXiv (Cornell University)|2007. 12. 21.

Stochastic processes and statistical mechanics참고 문헌 10인용 수 10

한 줄 요약

이 논문은 오리엔터블 표면의 종수 $ g $ 에서의 루트를 가진 맵과 일반화된 트리 구조인 $ g $-트리 간의 조합적 전단사 관계를 제시한다. 이는 고전적인 Cori–Vauquelin 전단사 관계를 평면 경우에서 고종수 경우로 확장한 것이다. Wright의 레이블이 부여된 그래프에 대한 작업에 영감을 받은 분해 기법과 재루팅 기법을 사용하여, 루트를 가진 맵의 생성함수를 유도하고, 점점 더 큰 수의 맵에 대한 渐近 수식 $ \vec{q}_{g,n} \sim c_g \cdot n^{\frac{5}{2}(g-1)} \cdot 12^n $ 를 복원함으로써, 종수 $ g $ 에 따라 다항식 성장 지수 $ \frac{5}{2}(g-1) $ 가 선형적으로 의존하는 이유를 조합론적으로 설명한다.

ABSTRACT

The enumeration of maps and the study of uniform random maps have been classical topics of combinatorics and statistical physics ever since the seminal work of Tutte in the sixties. Following the bijective approach initiated by Cori and Vauquelin in the eighties, we describe a bijection between rooted maps, or rooted bipartite quadrangulations, on a surface of genus g and some simpler objects that generalize plane trees. Thanks to a rerooting argument, our bijection allows to compute the generating series of rooted maps on a surface of genus g with respect to the number of edges, and to recover the asymptotic numbers of such maps. Our construction allows to keep track in a bipartite quadrangulation of the distances of all vertices to a random basepoint. This is an analog for higher genus surfaces of the basic result on which were built the recent advances in the comprehension of the intrinsec geometry of large random planar maps, hopefully opening the way to the study of a model of continuum random surfaces of genus g.

연구 동기 및 목표

• 루트를 가진 종수-$ g $ 표면에서의 맵 수세기의 점점 더 큰 수식에서 나타나는 다항식 성장 지수 $ \frac{5}{2}(g-1) $ 가 종수 $ g $ 에 따라 선형적으로 의존하는 이유를 조합론적으로 설명하는 것.
• Cori–Vauquelin 전단사 관계를 평면 맵에서 고종수 오리엔터블 표면에 있는 맵으로 일반화하여 기하 정보를 유지하는 방법을 제시하는 것.
• 루트를 가진 맵의 수를 간선 수에 대해 생성함수를 도출하여 점점 더 큰 수식 수세기 가능하게 하는 것.
• 랜덤 맵의 내재 기하학과 랜덤 기준점으로부터의 거리 간의 연결 고리를 설정하여 평면 경우의 결과를 일반화하는 것.
• 대칭적인 연속 랜덤 표면의 종수 $ g $ 를 연구하기 위해, 큰 랜덤 맵의 이산 기하학을 기반으로 기초를 마련하는 것.

제안 방법

• 종수-$ g $ 표면에서의 루트를 가진 맵과 $ g $-트리라고 불리는 레이블이 부여된 트리의 새로운 전단사 관계를 도입하여 평면 경우를 일반화한다.
• 간선과 정점의 표준 순서에 기반하여, $ g $-트리에서의 재루팅 기법을 사용하여 종수 $ g $ 의 루트를 가진 맵의 생성함수를 도출한다.
• 고정된 초과를 가진 레이블이 부여된 그래프에 대한 Wright의 작업에 영감을 받은 분해 기법을 적용하여, 간선과 정점의 최대 수를 가진 맵의 구조를 분석한다.
• 루트를 가진 맵의 점점 더 큰 수를 $ \vec{q}_{g,n} \sim c_g \cdot n^{\frac{5}{2}(g-1)} \cdot 12^n $ 로 표현하며, 여기서 $ c_g $ 는 $ \mathcal{W}^m_g $ 에 속하는 특정한 루트를 가진 맵 $ \vec{\mathfrak{s}} $ 에 대한 유한 합으로 주어진다.
• 생성함수의 특이점 분석을 통해 점점 더 큰 행동을 추출하고, 상수 $ c_g $ 의 명시적 표현을 유도한다.
• 맵의 기하학적 성질을 $ g $-트리의 레이블과 연결하여, 사각형 맵에서의 정점 간 거리가 트리에서의 레이블 차이와 대응됨을 보여준다.

실험 결과

연구 질문

• RQ1 종수-$ g $ 맵의 점점 더 큰 수식에서 나타나는 지수 $ \frac{5}{2}(g-1) $ 의 선형 의존성은 조합론적으로 설명될 수 있는가?
• RQ2 Cori–Vauquelin 전단사 관계를 평면 맵에서 고종수 표면에 있는 맵으로 일반화할 수 있는가? 이 경우 기하 정보를 유지하는가?
• RQ3 종수 $ g $ 의 표면에서의 루트를 가진 맵에 대한 생성함수는 무엇이며, 이를 통해 점점 더 큰 수식 수세기를 유도할 수 있는가?
• RQ4 랜덤 맵에서의 랜덤 기준점으로부터의 거리는 간선 수에 따라 어떻게 변화하는가?
• RQ5 종수-$ g $ 표면에서의 큰 랜덤 맵의 이산 기하학은 평면 경우의 브라운 운동 맵과 유사한 연속 극한을 정의하는 데 사용될 수 있는가?

주요 결과

• 저자들은 종수-$ g $ 표면에서의 루트를 가진 맵과 $ g $-트리 사이에 전단사 관계를 구축하여, 평면의 Cori–Vauquelin 전단사 관계를 일반화한다.
• 재루팅 기법과 분해를 통해 종수 $ g $ 의 루트를 가진 맵의 생성함수를 조합론적으로 도출하여, 이러한 맵의 점점 더 큰 수에 대한 명시적 공식을 얻는다.
• 종수 $ g $ 의 루트를 가진 이분할 사각형 맵의 점점 더 큰 수는 $ q_{g,n} \sim \frac{3^g}{(6g-3)2^{11g-7}\Gamma\left(\frac{5g-3}{2}\right)} \left( \sum_{\vec{\mathfrak{s}} \in \mathcal{W}^m_g} \prod_{i=1}^{4g-3} \frac{1}{d(i)} \right) \cdot n^{\frac{5}{2}(g-1)} \cdot 12^n $ 로 주어진다.
• 종수 $ g = 1 $ 인 경우, 점점 더 큰 수식은 $ q_{1,n} \sim \frac{1}{24} \cdot 12^n $ 으로 단순화되며, $ g = 2 $ 인 경우 $ q_{2,n} \sim \frac{7}{4320\sqrt{\pi}} \cdot n^{5/2} \cdot 12^n $ 로 주어진다. 이는 기존의 알려진 결과와 일치한다.
• 점점 더 큰 수의 계산에서 지배적인 기여는 도표의 차수 3인 정점 수가 $ 4g - 2 $ 개인 맵에서 비롯되며, $ n \to \infty $ 일 때 높은 확률로 발생한다.
• 전단사 관계는 맵에서 각 정점에서 랜덤 기준점까지의 거리를 유지한다. 이는 $ g $-트리에서의 레이블 차이와 대응되며, 고종수 표면에서의 랜덤 맵의 기하학적 분석을 가능하게 한다.