[논문 리뷰] Simple recurrence formulas to count maps on orientable surfaces

S. R. Carrell, Guillaume Chapuy|arXiv (Cornell University)|2014. 02. 25.

Advanced Combinatorial Mathematics참고 문헌 21인용 수 4

한 줄 요약

이 논문은 KP 방정식과 투트 유형 방정식에서 유도된, 방향성 있는 표면에서 루트를 가진 맵을 간선 수와 종수에 따라 세는 새로운 간단한 재귀 공식을 제시한다. 주요 기여는 고려된 종수에 대해 매우 효율적인 계산 방법을 제공하며, 하레르-자지에르 공식을 일반화하고, 간선 수, 종수, 면 수에 따라 빠르게 맵을 세는 데 응용 가능한 방법을 가능하게 한다. 이는 고정된 종수 생성 함수와 이분할 4각형 맵에 응용된다.

ABSTRACT

We establish a simple recurrence formula for the number $Q_g^n$ of rooted orientable maps counted by edges and genus. We also give a weighted variant for the generating polynomial $Q_g^n(x)$ where $x$ is a parameter taking the number of faces of the map into account, or equivalently a simple recurrence formula for the refined numbers $M_g^{i,j}$ that count maps by genus, vertices, and faces. These formulas give by far the fastest known way of computing these numbers, or the fixed-genus generating functions, especially for large $g$. In the very particular case of one-face maps, we recover the Harer-Zagier recurrence formula. Our main formula is a consequence of the KP equation for the generating function of bipartite maps, coupled with a Tutte equation, and it was apparently unnoticed before. It is similar in look to the one discovered by Goulden and Jackson for triangulations, and indeed our method to go from the KP equation to the recurrence formula can be seen as a combinatorial simplification of Goulden and Jackson's approach (together with one additional combinatorial trick). All these formulas have a very combinatorial flavour, but finding a bijective interpretation is currently unsolved.

연구 동기 및 목표

• 루트를 가진 맵의 종수와 간선 수에 따라 세는 단순한 재귀 공식 유도.
• 생성 다항식을 통해 면 수를 매개변수로 포함시켜 재귀를 확장.
• 특히 큰 종수에 대해 효율적인 맵 세기 방법 제공.
• 하레르-자지에르 공식을 한 면을 가진 맵의 특수한 경우로 일반화.
• 향후 맵 세기의 이중 구조적 구성에 지침을 줄 수 있는 조합적 프레임워크 제공.

제안 방법

• 이분할 맵의 생성함수에 대한 KP 방정식에서 재귀 공식 유도.
• 맵의 구조와 생성함수 간의 관계를 설정하기 위해 투트 유형 방정식 적용.
• 골든과 잭슨의 접근 방식을 조합적으로 단순화하여 닫힌 형태의 재귀 공식 유도.
• 면 수를 추적하는 데 $ x $ 를 사용하는 생성 다항식 $ Q_g^n(x) $ 도입.
• 시스템을 닫히게 하고 유한한 재귀를 얻기 위해 열악한 투트 방정식 사용.
• 기본 조건과 기존 공식(하레르-자지에르 포함)과의 일致성 검증을 통한 재귀 공식 검증.

실험 결과

연구 질문

• RQ1 복잡한 생성함수 조작 없이도, 종수와 간선 수에 따라 방향성 있는 표면에서 루트를 가진 맵을 세는 단순한 재귀 공식을 도출할 수 있는가?
• RQ2 맵의 생성함수는 어떻게 면 수를 포함하도록 정밀화할 수 있으며, 이 정밀화된 수를 지배하는 재귀는 무엇인가?
• RQ3 하레르-자지에르 공식은 한 면을 가진 맵에 대해 특수한 경우로서, 더 넓은 통합된 재귀 공식의 특수한 경우인가?
• RQ4 KP 방정식과 투트 방정식을 어떻게 조합하여 맵 세기의 닫힌 형태 재귀를 도출할 수 있는가?
• RQ5 유도된 재귀 공식의 배경에 조합적 또는 이중 해석이 존재하는가?

주요 결과

• $ Q_g^n $의 재귀 공식, 즉 종수 $ g $, 간선 수 $ n $ 를 가진 루트를 가진 맵의 수에 대해, 이는 특히 큰 $ g $ 에서 계산하는 데 가장 빠른 알려진 방법이다.
• 이 공식은 면 수를 추적하는 데 지수 $ x $ 를 사용하는 생성 다항식 $ Q_g^n(x) $ 로 일반화되어, 간선 수, 종수, 면 수에 따라 맵을 세는 데 가능하게 한다.
• 일반화된 경우에서 한 면($ f=1 $)으로 특수화하면 재귀 공식은 정확히 하레르-자지에르 공식으로 줄어들며, 잘 알려진 결과와의 일致성을 확인한다.
• 재귀 공식은 낮은 종수 및 낮은 간선 수 성분에 대한 이중 합을 포함하고 있으며, 이는 투트 유형 방정식을 통한 맵의 재귀적 분해를 반영한다.
• 골든과 잭슨의 삼각형 맵 접근 방식의 조합적 단순화를 제공하며, 다른 맵 모델에 대한 더 넓은 적용 가능성을 시사한다.
• 공식의 단순성과 효율성에도 불구하고, 아직 이중 해석은 알려져 있지 않으며, 이는 분야 내에서 중요한 열린 문제를 드러낸다.