[論文レビュー] Counting planar maps, coloured or uncoloured

Mireille Bousquet‐Mélou|arXiv (Cornell University)|Apr 19, 2020

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-彩色マップに適応し、2つの催化変数を含む関数方程式を用いる。
• 非線形微分方程式系を用いて関数方程式を解き、生成関数が微分代数的であることを確立する。
• 特異点解析を微分系に適用し、特に q=2,3 および ν≠0 の場合の漸近的列挙結果を導出する。
• 一般モデルの特殊化（例えば、スパニングツリー、バイポーラオリエンテーション）を用いて関数方程式を簡略化し、代数的生成関数を回復する。
• 未彩色マップと平面木の間の既知の双対写像を活用し、彩色された設定において類似する双対写像の探索を支援する。
• 重み ν を結合定数と解釈することで、統計物理学モデル（例えば、Potts モデル、イジングモデル）と接続する。

実験結果

リサーチクエスチョン

• RQ1 q と ν のどのような値に対して、q-彩色平面マップの生成関数が微分代数的ではなく代数的になるか？
• RQ2 q=2,3 あるいはスパニングツリーのような特殊化に対して、彩色マップの族と木構造との間で双対的対応を構成できるか？
• RQ3 n本の辺を持つ正しく q-彩色された平面マップの漸近的成長率は何か？ そして、q と ν にどのように依存するか？
• RQ4 ランダムな q-彩色平面マップは、ブラウン運動マップに類似したスケーリング極限をもつだろうか？ また、追加の構造（例えば、スパニングツリー）は幾何にどのように影響するか？
• RQ5 特化変数を含む微分方程式に対して、特異点解析を拡張し、微分系から直接漸近的性質を抽出できるか？

主な発見

• q-彩色平面マップの生成関数は微分代数的であり、1971年の Tutte の関数方程式から導かれた非線形微分方程式系を満たす。
• q=2 および q=3 の場合、生成関数は代数的であり、一般モデルの特殊化により明示的な式が得られる。
• 整数 j, m に対して q=2+2cos(jπ/m) のとき、生成関数は依然として代数的であり、q=2,3 の既知の結果を一般化する。
• q=2,3 および ν≠0 の場合、n本の辺を持つマップの漸近的数は κμⁿn⁻⁵ᐟ² の形に成長し、ν=(3+√5)/2 で相転移が起こり、指数が −7/3 に変化する。
• 正しく q-彩色された三角形分割に対しては、q∈[15/11,4]∪[5,∞) の範囲で漸近的成長が κμⁿn⁻⁵ᐟ² の形を取り、未彩色マップの漸近的挙動と整合的である。
• ランダム平面マップ上の Potts モデルは、同じ生成関数で記述され、ν が辺の重みとして解釈される。これにより、列挙と統計力学の統合が達成される。