[論文レビュー] Simple recurrence formulas to count maps on orientable surfaces

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

Advanced Combinatorial Mathematics参考文献 21被引用数 4

ひとこと要約

本稿では、KP方程式とTutte型方程式から導かれた、向きつけ可能な曲面上の根付きマップを辺と genus で数えるための、新しい単純な再帰公式を提示する。主な貢献は、Harer-Zagierの公式を一般化し、特に大規模な genus におけるマップの高速な列挙を可能にする、極めて効率的な計算手法である。この手法は、固定 genus の生成関数や二部的四角形分割への応用を含め、面数による列挙にも適用可能である。

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.

研究の動機と目的

• 向きつけ可能な曲面上の根付きマップを genus と辺数で数えるための単純な再帰公式を導出すること。
• 生成関数の多項式として面数をパラメータに含めるために、再帰を拡張すること。
• 特に大規模な genus に対して効率的なマップ列挙のための計算手法を提供すること。
• Harer-Zagier の公式を、1面マップの特別な場合として統一的な再帰公式の一部として一般化すること。
• 将来的なマップ列挙の双対的構成を導く手がかりとなる、組合せ的枠組みを提示すること。

提案手法

• 二部マップの生成関数に対するKP方程式から再帰を導出すること。
• マップ構造とその生成関数を関係付けるためにTutte型方程式を適用すること。
• Goulden と Jackson の手法の組合せ的簡略化を用いて、閉形式の再帰を得ること。
• 面数を追跡する変数 $ x $ を持つ生成多項式 $ Q_g^n(x) $ を導入すること。
• 系を閉じるための退化したTutte方程式を用いて、有限再帰を得ること。
• 初期条件の検証と、Harer-Zagier などの既知の公式との一貫性チェックにより再帰を検証すること。

実験結果

リサーチクエスチョン

• RQ1 複雑な生成関数の操作に依存せずに、向きつけ可能な曲面上の根付きマップを genus と辺数で数えるための単純な再帰公式を導出できるか？
• RQ2 マップの生成関数を面数を反映するようにどのように精緻化できるか。また、その精緻化された数え上げを支配する再帰は何か？
• RQ3 Harer-Zagier の1面マップ用再帰は、より広範な統一的再帰公式の特別な場合として解釈できるか？
• RQ4 KP方程式とTutte方程式をどのように組み合わせると、マップ列挙の閉形式再帰が得られるか？
• RQ5 導出された再帰公式の背後には、組合せ的または双対的解釈が存在するか、あるのか？

主な発見

• $ Q_g^n $（genus $ g $、$ n $ 棄てをもつ根付きマップの数）の再帰公式は、特に大規模な $ g $ に対して、この数を計算するための現在知られている最も高速な手法である。
• この公式は、$ x $ の指数が面数を追跡する生成多項式 $ Q_g^n(x) $ に一般化可能であり、これにより辺数、genus、面数の3つをパラメータに含む列挙が可能になる。
• 1面（$ f=1 $）に制限すると、再帰は正確に Harer-Zagier の公式に還元され、よく知られた結果と一貫していることが確認された。
• 再帰は、Tutte型方程式によるマップの再帰的分解を反映するように、低 genus および低辺数成分の二重和を含む。
• この手法は、Goulden と Jackson の三角形分割への手法の組合せ的簡略化を提供し、他のマップモデルへの広範な適用可能性を示唆している。
• 公式の単純さと効率性にもかかわらず、双対的解釈は未だ不明であり、分野における主要な未解決問題を示している。