[論文レビュー] Constructing large tables of numbers of maps by orientable genus

Alain Giorgetti, Timothy R. Walsh|arXiv (Cornell University)|May 3, 2014

Stochastic processes and statistical mechanics参考文献 3被引用数 4

ひとこと要約

本稿では、オイラー数が50未満で、100本の辺までを対象として、可定向性の種数ごとの根付きおよび非根付きマップの大きな表を計算するための効率的な実装を提示する。根付きマップの明示的な有理型母関数を導出し、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 $ と多項式 $ P_g(m) $ を用いて表現される明示的な有理型母関数 $ M_g(z) $ が導出された。
• 種数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 および共同研究者のリポジトリを通じて、公開されている。