[논문 리뷰] Counting planar maps, coloured or uncoloured

Mireille Bousquet‐Mélou|arXiv (Cornell University)|2020. 04. 19.

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

한 줄 요약

이 논문은 1971년 Tutte의 기능적 방정식을 일반화하여, 각 단색 엣지에 무게 ν를 지닌 q-색상 평면 맵의 수를 세는 미분 대수적 해법을 제시한다. 생성 함수는 비선형 미분방정식계를 만족하는 미분 대수적 구조를 지닌다. 이는 이전의 적절한 q-색상 삼등분 맵에 대한 결과를 확장하며, q=2,3 및 q=2+2cos(jπ/m)와 같은 특수한 q-값들에 대해 대수적 성질을 드러낸다.

ABSTRACT

We present recent results on the enumeration of $q$-coloured planar maps, where each monochromatic edge carries a weight $ u$. This is equivalent to weighting each map by its Tutte polynomial, or to solving the $q$-state Potts model on random planar maps. The associated generating function, obtained by Olivier Bernardi and the author, is differentially algebraic. That is, it satisfies a (non-linear) differential equation. The starting point of this result is a functional equation written by Tutte in 1971, which translates into enumerative terms a simple recursive description of planar maps. The proof follows and adapts Tutte's solution of properly $q$-coloured triangulations (1973-1984). We put this work in perspective with the much better understood enumeration of families of uncoloured planar maps, for which the recursive approach almost systematically yields algebraic generating functions. In the past 15 years, these algebraicity properties have been explained combinatorially by illuminating bijections between maps and families of plane trees. We survey both approaches, recursive and bijective. Comparing the coloured and uncoloured results raises the question of designing bijections for coloured maps. No complete bijective solution exists at the moment, but we present bijections for certain specialisations of the general problem. We also show that for these specialisations, Tutte's functional equation is much easier to solve that in the general case. We conclude with some open questions.

연구 동기 및 목표

• Tutte의 1971년 기능적 방정식을 q-색상 평면 맵로 확장하여 미분 대수적 방법을 사용해 완전한 해를 도출하는 것.
• 비색상 맵 수의 계산(나무로의 이분법을 통한)과 색상 맵의 더 복잡한 미분 대수적 구조를 비교하는 것.
• 일반적으로 미분 대수적 구조를 지닌다 하더라도, 생성 함수가 대수적 구조를 띠는 특수한 q 및 ν 값들을 규명하는 것.
• 특수화된 경우(예: 스패닝 트리, 이중 방향 정점)에 대해 색상 맵 수의 계산에 대한 이분적 해석을 제안하는 것.
• 색상 맵의 점근적 수의 계산 및 스케일링 극한에 대한 열린 질문을 제기하며, 브라운 운동 맵과의 연결 고리를 고려하는 것.

제안 방법

• 1970년대 Tutte의 재귀적 접근을 q-색상 맵에 적용하여, 두 개의 촉매 변수를 가진 기능적 방정식을 사용하는 것.
• 비선형 미분방정식계를 통한 기능적 방정식의 해법을 통해 생성 함수가 미분 대수적임을 입증하는 것.
• 비선형 미분계를 대상으로 특이점 분석을 적용하여 점근적 수의 계산 결과를 도출하며, 특히 q=2,3 및 ν≠0의 경우에 초점을 맞추는 것.
• 일반 모델의 특수화(예: 스패닝 트리, 이중 방향 정점)를 통해 기능적 방정식을 단순화하고 대수적 생성 함수를 복원하는 것.
• 비색상 맵과 평면 나무 사이의 기존 이분법을 활용하여, 색상 맵의 경우에도 유사한 이분법을 찾는 데 기여하는 것.
• 무게 ν를 결합 상수로 해석함으로써 통계역학 모델(예: Potts 모델, 이징 모델)과의 연결 고리를 설정하는 것.

실험 결과

연구 질문

• RQ1 q와 ν의 어떤 값에서 q-색상 평면 맵의 생성 함수가 단지 미분 대수적 구조가 아니라 대수적 구조를 가지는가?
• RQ2 특히 q=2,3 또는 스패닝 트리와 같은 특수화된 경우에 대해, 색상 맵의 가족과 나무형 구조 사이에 이분적 대응을 구성할 수 있는가?
• RQ3 n개의 엣지를 가진 적절한 q-색상 평면 맵의 점근적 성장률은 무엇이며, q와 ν에 따라 어떻게 달라지는가?
• RQ4 무작위 q-색상 평면 맵은 브라운 운동 맵과 유사한 스케일링 극한을 가지는가? 추가적인 구조(예: 스패닝 트리)는 기하학적 성질에 어떻게 영향을 주는가?
• RQ5 촉매 변수를 가진 미분방정식에 대해 특이점 분석을 확장하여, 미분계로부터 직접 점근적 성질을 추출할 수 있는가?

주요 결과

• q-색상 평면 맵의 생성 함수는 Tutte의 1971년 기능적 방정식에서 유도된 비선형 미분방정식계를 만족하며, 이는 미분 대수적 구조를 지닌다.
• q=2 및 q=3일 경우 생성 함수는 대수적 구조를 지니며, 일반 모델의 특수화를 통해 명시적인 공식이 유도된다.
• 정수 j, m에 대해 q=2+2cos(jπ/m)일 경우에도 생성 함수는 여전히 대수적 구조를 유지하며, q=2,3에 대한 기존 결과를 일반화한다.
• q=2,3 및 ν≠0일 경우, n개 엣지를 가진 맵의 점근적 수는 κμⁿn⁻⁵ᐟ²의 형태로 증가하며, ν=(3+√5)/2에서 계수의 변화가 발생하는 단계 전이가 관찰된다.
• 적절한 q-색상 삼등분 맵의 점근적 성장률은 q∈[15/11,4]∪[5,∞) 범위에서 κμⁿn⁻⁵ᐟ²의 형태를 가지며, 비색상 맵의 점근적 성장률과 일치한다.
• 무작위 평면 맵 위의 Potts 모델은 동일한 생성 함수로 기술되며, ν는 엣지의 무게로 해석되며, 수의 계산과 통계역학의 통합을 가능하게 한다.