[논문 리뷰] Constructing large tables of numbers of maps by orientable genus

Alain Giorgetti, Timothy R. Walsh|arXiv (Cornell University)|2014. 05. 03.

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

한 줄 요약

이 논문은 50차까지의 가역성(genus)과 100개의 변까지의 루트 있는 지도와 루트 없는 지도의 큰 표를 계산하기 위해 Carrell-Chapuy 재귀 공식의 효율적인 구현을 제시한다. 루트 있는 지도에 대한 명시적인 유리형 생성함수를 유도하고, Mednykh와 Nedela의 방법을 사용하여 루트 없는 지도를 수량화하며, 연구용으로 광범위한 수치 데이터를 제공한다.

ABSTRACT

The Carrell-Chapuy recurrence formulas dramatically improve the efficiency of counting orientable rooted maps by genus, either by number of edges alone or by number of edges and vertices. This paper presents an implementation of these formulas with three applications: the computation of an explicit rational expression for the ordinary generating functions of rooted map numbers with a given positive genus, the construction of large tables of rooted map numbers, and the use of these tables, together with the method of A. Mednykh and R. Nedela, to count unrooted maps by genus and number of edges and vertices.

연구 동기 및 목표

• Carrell-Chapuy 재귀 공식을 사용하여 가역성에 따른 루트 있는 지도를 효율적으로 계산하는 계산 방법을 개발한다.
• 각 가복성에 대해 루트 있는 지도의 일반 생성함수에 대한 명시적인 유리형 표현을 유도한다.
• 수학적 연구에 사용하기 위해 최대 50차까지의 가복성과 100개의 변까지의 루트 있는 지도와 루트 없는 지도의 수를 포함한 종합적인 표를 구축한다.
• Mednykh와 Nedela의 방법을 적용하여 루트 있는 지도 데이터로부터 루트 없는 지도의 수를 유도한다.
• 다음 연구를 위해 결과 데이터와 소스 코드를 공개한다.

제안 방법

• 가복성과 변의 수에 따라 루트 있는 지도의 수를 효율적으로 계산하기 위해 Carrell-Chapuy 재귀 공식을 구현한다.
• 재귀 공식과 $ m = \frac{1 - \sqrt{1 - 12z}}{6} $를 포함한 매개수 치환을 사용하여 유리형 생성함수 $ M_g(z) $ 및 $ M_g(w,u) $를 유도한다.
• 면-정점 대칭성과 대칭성 감소 기법을 사용하여 특정 정점 수와 면 수를 가진 지도의 수를 간소화하여 수량화한다.
• 오빗 수 계산 기법을 활용하여 Mednykh-Nedela 방법을 적용하여 루트 있는 지도 데이터로부터 루트 없는 지도의 수를 계산한다.
• 큰 가복성(최대 50)과 큰 변 수(최대 100)를 고려하여 재귀 계산을 최적화하여 고정밀도로 처리한다.
• 다양한 형식(예: 변-정점-면 분포 및 각 가복성과 변 수에 따른 총 수)으로 큰 지도 수 표를 생성한다.

실험 결과

연구 질문

• RQ1 Carrell-Chapuy 재귀 공식은 큰 가복성과 변 수에 대해 효율적으로 구현되어 루트 있는 지도의 수를 계산할 수 있는가?
• RQ2 가복성 $ g $에 대한 루트 있는 지도의 일반 생성함수 $ M_g(z) $에 대해 어떤 명시적인 유리형 표현을 도출할 수 있는가?
• RQ3 기존의 군 작용과 오빗 수 계산 기법을 사용하여 루트 있는 지도 데이터로부터 루트 없는 지도의 수를 체계적으로 계산할 수 있는가?
• RQ4 신뢰할 수 있고 완전한 루트 있는 지도와 루트 없는 지도의 수 표를 생성할 수 있는 최대의 가복성과 변 수는 무엇인가?
• RQ5 가복성, 변 수, 정점 수에 따라 지도 수의 분포에서 어떤 구조적 패턴이나 대칭성이 드러나는가?

주요 결과

• 논문은 50차까지의 가복성과 100개의 변까지의 루트 있는 지도의 수를 성공적으로 계산하고, 공개된 릴리스를 통해 제공한다.
• 각 가복성 $ g $에 대해 유리형 생성함수 $ M_g(z) $를 매개수 $ m $와 다항식 $ P_g(m) $로 표현하여 명시적으로 도출하였다.
• 가복성 44와 100개의 변에 대해 루트 없는 지도의 총 수는 9,553,459,653,821,968,092,257,692,332,355,650,858,770,092,634,675,343,929,464,031,068,80으로 계산되었다.
• 가복성 19, 38개의 변을 가진 루트 없는 지도의 수는 442,473,037,812,130,532,145,618,612,152,901,046,396,483,091,048,400,3이다.
• 이 방법은 대칭 분포(예: $ u_g(e,v) = u_g(e,e-v+2) $)를 포함하여 고정밀도로 루트 없는 지도의 수를 계산할 수 있도록 한다. 이는 대칭성에 기인한다.
• 소스 코드와 큰 데이터 표는 MAP 프로젝트 릴리스 0.4.0과 제2 저자의 저장소를 통해 공개되었다.