[논문 리뷰] Asymptotic enumeration of labelled graphs with a given genus

Edward A. Bender, Zhicheng Gao|arXiv (Cornell University)|2009. 12. 23.

Advanced Combinatorial Mathematics참고 문헌 27인용 수 7

한 줄 요약

이 논문은 생성함수와 맵 추세 기법을 사용하여 옹호성 면체(genus) g인 표식이 부여된 k-연결 그래프(k=1,2,3)의 渐近 공식을 유도한다. 2-연결 및 3-연결 맵에 대한 정확한 渐近 표현식을 수립한 후, 이를 조합적 이분형과 특이점 분석을 통해 표식이 부여된 그래프로 변환하여, 면체와 그래프 매개변수에 따라 명시적인 지수적 및 다항적 성장률을 도출한다.

ABSTRACT

We enumerate rooted 2-connected and 3-connected surface maps with respect to vertices and edges. We also derive the bivariate version of the large face-width result for random 3-connected maps. These results are then used to derive asymptotic formulas for the number of labelled graphs of genus g (1-connected, 2-connected, and 3-connected graphs.)

연구 동기 및 목표

• 면체 g인 표식이 부여된 k-연결 그래프의 수에 대한 渐近 공식을 유도하는 것 (k=1,2,3).
• 튜트의 루트 맵 수세기 프레임워크를 2-연결 및 3-연결 맵에 대해 고면체 표면으로 확장하는 것.
• 조합적 이분형과 渐近 분석을 통해 맵 수세기와 표식이 부여된 그래프 수세기 사이의 연결 고리를 확립하는 것.
• 고정된 면체 g를 가진 옹호성 표면에 매장 가능한 표식이 부여된 그래프에 대한 정확한 渐近 성장률을 제공하는 것.
• 기존의 맵 渐近 공식 상수 t_g를 활용하여, 渐近 공식 내의 명시적 상수와 함수적 의존성을 계산하는 것.

제안 방법

• 루트가 있고 단순한 k-연결 맵에 대한 생성함수 M̂_g,k(x,y)와 표식이 부여된 단순한 k-연결 그래프에 대한 생성함수 G_g,k(x,y)를 사용한다.
• 이전 연구에서 알려진 상수 t_g를 활용하여 면체 g 표면에 있는 맵의 생성함수에 특이점 분석을 적용한다.
• 정점 수 n, 간선 수 m, 면체 g에 대한 이변수 渐近 공식 M̂_g(n,m;k)를 유도하며, 대수적 함수 r_k(m/n)과 보조 함수 η_k(r), C_k(r)를 사용한다.
• 핵심 항등식을 통해 맵의 渐近 공식을 표식이 부여된 그래프의 渐근 공식으로 변환한다: 3-연결 그래프에 대해 G_g(n,m;k)/n! ~ M̂_g(n,m;k)/(4m).
• 2-연결 그래프의 경우 t에 대한 매개변수화를 사용하고, 함수 μ(t), λ_2(t), σ(t)를 도입하며, 표면 위상 구조를 반영하기 위해 면체에 의존하는 인자 B_g(t)를 도입한다.
• 맵에서 정점과 면의 이중성과 오일러 공식을 활용하여 정점 수와 면 수를 연결하고, 이를 통해 渐近 전이를 가능하게 한다.

실험 결과

연구 질문

• RQ1 면체 g인 표식이 부여된 3-연결 그래프의 수는 n과 m의 함수로 어떻게 渐近적으로 나타나는가?
• RQ2 면체 g 표면에 있는 2-연결 및 3-연결 맵의 수세기와 같은 면체를 가진 표식이 부여된 그래프의 수세기 사이에는 어떤 관계가 있는가?
• RQ3 면체 g에 대해 표식이 부여된 k-연결 그래프(k=1,2,3)의 정확한 함수적 형태의 渐近 성장률은 n, m, g에 대해 어떻게 표현되는가?
• RQ4 渐近 공식 내의 상수들은 면체 g에 어떻게 의존하며, 이를 재귀적으로 또는 명시적으로 계산할 수 있는가?
• RQ5 비옹호성 표면에 대한 맵의 渐근 행동은 동일하게 분석 가능한가? 그리고 옹호성 경우와 상수는 어떻게 다를까?

주요 결과

• 3-연결 그래프에 대해, n,m→∞ 이면서 m/n ∈ [(3/2)+ε, 3−ε] 조건에서 G_g(n,m;3)/n! ~ M̂_g(n,m;3)/(4m) 가 균일하게 성립하여 맵 수와 그래프 수 사이의 직접적 연결 고리를 확립한다.
• 3-연결 그래프의 渐근 수는 C_3(r)A_g(r)(2+r)^{(5g−3)/2} n^{5g/2−3} ρ(r)^{-n} η_3(r)^{-m} 로 주어지며, r, C_3(r), η_3(r)에 대한 명시적인 대수적 함수가 포함되어 있다.
• 2-연결 그래프의 경우, t에 대한 매개변수화를 사용하며 B_g(t) = [(8/9)(1+t)/(1−t)^6 (β(t)/α(t))^{5/2}]^{g−1} 이고, 수는 n^{5g/2−4} ρ_2(t)^{-n} λ_2(t)^{-m} 비례하여 증가한다.
• 정점 수만 고려한 경우, G_g(n;k)/n! ~ α_k β_k^g t_g n^{5g/2−7/2} x_k^{-n} 으로 주어지며, 명시적인 상수는 다음과 같다: x_3 ≈ 0.04751, β_3 ≈ 1.48590×10^5, α_3 = 1/(4β_3).
• 면체에 의존하는 상수 A_g(r)는 A_g(r) = [r^6(2+r)^{3/2}/(2√π(1+2r)^2)] × [(12(1+2r)^4(1+r)^3)/(r^{12}(2+r)^5)]^{g/2} t_g 로 유도된다.
• 논문은 渐근 상수 t_g가 a_g를 포함하는 재귀관계를 통해 계산될 수 있음을 확인하며, t_g를 a_g와 Γ-함수로 표현하는 공식을 제공한다.