[論文レビュー] Rationality in map and hypermap enumeration by genus

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

Advanced Combinatorial Mathematics参考文献 12被引用数 3

ひとこと要約

本稿では、固定された genus における根付きマップおよびハイパーマップの母関数が、単純な変数変換により有理関数となることを確立している。ハイパーマップに対しては $ s = t(1-2t) $、マップに対しては $ s = t(1-3t) $ である。有理関数形は、整数係数をもつ多項式分子と、線形項の累乗の積としての分母を示し、位相的グラフ理論およびグロチェンディークの dessins d'enfants の数え上げ問題に深い代数的構造をもたらす。

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.

研究の動機と目的

• 根付きマップおよびハイパーマップの genus-生成関数に内在する有理構造を解明すること。
• 単純な変数変換により、これらの生成関数が有理関数に変換されることを示すこと。
• 変換後に現れる多項式分子および有理分母の特徴を特定すること。
• 有理関数形の係数を支配する微分再帰関係を確立すること。
• 代数的構造を既知の位相的再帰および dessins d'enfants の数え上げ結果と結びつけること。

提案手法

• ハイパーマップに対しては $ s = t(1-2t) $、マップに対しては $ s = t(1-3t) $ を用いて生成関数を変換する。
• ハイパーマップおよびマップの数え上げにおける KP 方程式に由来する微分再帰関係を用い、新たな変数 $ t $ における常微分方程式 (ODE) を導出する。
• 積分因子を用いて、$ g=0 $ の基本ケースから始めて、逐次的に常微分方程式を解く。
• 部分分数分解を用い、極が $ 1-2t $ および $ 1-4t $ (ハイパーマップの場合)、または $ 1-2t $ および $ 1-6t $ (マップの場合) に位置するように被積分関数を分解し、生成関数を有理関数として表現する。
• 帰納法と係数再帰を用いて、得られた分子が整数係数をもつ多項式であることを証明する。
• 生成関数が変換された ODE および初期条件を満たすことを示すことにより、有理関数形の正当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 根付きハイパーマップの genus $ g $ に対する生成関数は、単純な変数変換により有理関数にできるか？
• RQ2 マップおよびハイパーマップの genus ごとの有理化された生成関数の代数的構造は何か？
• RQ3 有理化された生成関数の分子は微分再帰を満たすか？
• RQ4 有理化された生成関数の分母は、マップの位相的不変量とどのように関係するか？
• RQ5 有理関数形は、高 genus の数え上げ係数を効率的に計算するために利用できるか？

主な発見

• 変数変換 $ s = t(1-2t) $ の後、genus 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} $ である。
• genus 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階層に由来する微分再帰関係を満たし、アルゴリズム的計算が可能となる。