[논문 리뷰] Rationality in map and hypermap enumeration by genus

Maxim Kazarian, Peter Zograf|arXiv (Cornell University)|2016. 09. 18.

Advanced Combinatorial Mathematics참고 문헌 12인용 수 3

한 줄 요약

이 논문은 고정된 종수를 가진 루트를 가진 맵 및 하이퍼맵의 생성함수는 각각 $ s = t(1-2t) $ (하이퍼맵에 대해) 및 $ s = t(1-3t) $ (맵에 대해)와 같은 단순한 변수 치환을 거친 후 유리함수가 된다는 것을 증명한다. 유리형태는 정수 계수를 가진 다항식 분자와 선형항의 거듭제곱들의 곱인 분모를 드러내며, 이는 위상적 그래프 이론과 그로텐디크의 데신 다앙스 문제의 수에 깊이 있는 대수적 구조를 제공한다.

ABSTRACT

Generating functions for a fixed genus map and hypermap enumeration become rational after a simple explicit change of variables. Their numerators are polynomials with integer coefficients that obey a differential recursion, and denominators are products of powers of explicit linear functions.

연구 동기 및 목표

• 루트를 가진 맵 및 하이퍼맵의 종수 생성함수에 숨겨진 유리형 구조를 밝혀내기.
• 간단한 변수 치환을 통해 이러한 생성함수들이 유리함수로 변환됨을 보여주기.
• 치환 후 나타나는 다항식 분자와 유리 분모를 특성화하기.
• 유리형태의 계수들을 지배하는 미분 재귀식을 확립하기.
• 이 대수적 구조를 기존의 위상적 재귀 및 데신 다앙스 수에 대한 결과와 연결하기.

제안 방법

• 하이퍼맵에 대해 $ s = t(1-2t) $, 맵에 대해 $ s = t(1-3t) $ 를 적용하여 생성함수를 변환하기.
• 하이퍼맵 및 맵 수에 대한 KP 방정식에서 유도된 미분 재귀식을 이용해 새로운 변수 $ t $ 에서의 상미분방정식(ODE) 유도하기.
• 기저 사례 $ g=0 $ 로부터 출발하여 적분인자법을 사용해 상미분방정식을 점진적으로 해석하기.
• 극점이 $ 1-2t $ 와 $ 1-4t $ (하이퍼맵에 대해) 또는 $ 1-2t $ 와 $ 1-6t $ (맵에 대해)인 부분분수 분해를 통해 생성함수를 유리함수 형태로 표현하기.
• 귀납법과 계수 재귀식을 사용해 유도된 분자의 다항식이 정수 계수를 가짐을 증명하기.
• 생성함수가 변환된 ODE와 초기 조건을 만족함을 보여 유리형태를 검증하기.

실험 결과

연구 질문

• RQ1 루트를 가진 종수 $ g $ 의 하이퍼맵 생성함수는 단순한 변수 치환을 통해 유리함수가 될 수 있는가?
• RQ2 종수에 따라 유리화된 맵 및 하이퍼맵 생성함수의 대수적 구조는 무엇인가?
• RQ3 유리화된 생성함수의 분자들이 미분 재귀식을 만족하는가?
• RQ4 유리화된 생성함수의 분모는 맵의 위상적 불변량과 어떻게 관련이 있는가?
• RQ5 유리형태는 고종수 수에 대한 계산을 효율적으로 수행하는 데 사용될 수 있는가?

주요 결과

• 치환 $ s = t(1-2t) $ 를 거친 후, 종수 0 하이퍼맵 생성함수는 $ C_0(t(1-2t)) = \frac{t(1-3t)}{(1-2t)^2} $ 로 유리함수가 된다.
• $ g \geq 2 $ 에 대해 $ C_g(t(1-2t)) = \frac{P_g(t)}{(1-t)^{4g-3}(1-4t)^{5g-3}} $ 로 표현되며, 여기서 $ P_g(t) $ 는 정수 계수를 가진 다항식이며 주항등항은 $ \frac{(2g)!}{g+1} t^{2g+1} $ 이다.
• 종수 1 하이퍼맵 생성함수는 $ C_1(t(1-2t)) = \frac{t^3}{(1-t)(1-4t)^2} $ 를 만족하여 유리형태가 맞다는 것을 확인한다.
• 맵에 대해 치환 $ s = t(1-3t) $ 를 적용하면 생성함수가 유리화되며, $ \widetilde{C}_0(t(1-3t)) = \frac{1-4t}{(1-3t)^2} $ 를 얻는다.
• 유리형태의 $ \widetilde{C}_g(t(1-3t)) $ 는 $ \frac{\widetilde{P}_g(t)}{(1-2t)^{3g-3}(1-6t)^{5g-3}} $ 로 표현되며, 여기서 $ \widetilde{P}_g(t) $ 는 정수 계수를 가진 다항식이다.
• 분자 다항식의 계수들은 KP 계층에서 유도된 미분 재귀관계를 만족하며, 이는 알고리즘적 계산을 가능하게 한다.