[論文レビュー] An algorithm for map enumeration

Virgil U. Pierce|ArXiv.org|Oct 19, 2006

Advanced Combinatorial Mathematics参考文献 11被引用数 5

ひとこと要約

本稿では、置換三つ組 (φ, σ, τ) を用いて、リーマン面への埋め込みを記述するラベル付きで向き付けられたマップを列挙する組合せ的アルゴリズムを提示する。置換の群論的性質とオイラー標跡の計算を活用することで、マップの種数と頂点次数分布ごとに効率的に数え上げが可能であり、1頂点マップ、4価マップ、2ν価マップについて既知の結果と一致を確認した。さらに、モビウスグラフの類似構造を用いて非向き付けマップへの拡張も行われた。

ABSTRACT

Bauer and Itzykson showed that associated to each labeled map embedded on an oriented Riemann surface there was a group generated by a pair of permutations. From this result an algorithm may be constructed for enumerating labeled maps, and this construction is easily augmented to bin the numbers by the genus of the surface the map is embedded in. The results agree with the calculations of Harer and Zagier of 1-vertex maps; with those of Bessis, Itzykson, and Zuber of 4-valent maps; and with those of Ercolani, McLaughlin, and Pierce for $2ν$-valent maps. We then modify this algorithm to one which counts unoriented maps or Mobius graphs. The results in this case agree with the calculation of Goulden and Jackson on 1-vertex unoriented maps.

研究の動機と目的

• 置換群の構造を利用することで、向き付けられたリーマン面上に埋め込まれたラベル付きで向き付けられたマップを系統的に数えるためのアルゴリズムを開発すること。
• 同様のアルゴリズムを非向き付けマップおよびモビウスグラフに拡張し、向きを反転させる対称性の下でのマップの列挙を可能とすること。
• 特にランダム行列理論における行列モデルの分配関数の漸近展開の係数 e_g(t_3,…,t_{2ν}) に対する組合せ的検証ツールを提供すること。
• 特に低種数の場合（g ≤ 3）の種数と頂点次数分布ごとの正確なマップ数を計算し、既知の解析的結果と一致を確認すること。

提案手法

• マップを置換三つ組 (φ, σ, τ) として表現する。ここで φ は固定点のない対合であり、σ は指定された次数の頂点サイクルを記述し、τ は辺の貼り合わせを記述する。
• 局所的な向きと表面の位相的性質を満たすために、φσφ = σ⁻¹ および φτφ = τ の条件を用いる。
• 各 k ∈ {3,4,…,2ν} に対して、σ が 2j_k 個の k-サイクルを含むこと、τ が φ の2-サイクルと互いに素な固定点のない対合であることを保証する。
• ダートの集合上での ⟨φ, σ, τ⟩ の作用が推移的であることを確認することで、マップの接続性を保証する。
• V = (1/2) × σ のサイクル数、E = (1/2) × τ の2-サイクル数、F = (1/2) × στ のサイクル数を用いて、オイラー標跡 χ = V − E + F を計算する。
• 得られたマップを g = 1 − (χ/2) により種数 g ごとに分類することで、種数と頂点タイプごとの列挙が可能になる。

実験結果

リサーチクエスチョン

• RQ1 ラベル付きで向き付けられたマップの列挙を、特定の群論的および位相的制約を満たす置換三つ組の数え上げに系統的に還元する方法は何か？
• RQ2 同じ組合せ的枠組みを非向き付けマップおよびモビウスグラフの列挙に適応可能か？また、既存の結果と比べてどのように異なるか？
• RQ3 置換三つ組 (φ, σ, τ) とリーマン面上の埋め込みマップ（種数の計算を含む）との間の正確な組合せ的対応関係は何か？
• RQ4 アルゴリズムによる数え上げ結果は、1頂点マップ（ハラーザイアー・ツァイジャー）、4価マップ（ベシス・イツィクソン・ズーバー）、2ν価マップ（エロラーニ・マクラフリン・パイアース）の既知の解析的結果とどのように一致するか？

主な発見

• アルゴリズムは1頂点マップについてハラーザイアーの公式を正確に再現し、生成関数 G_n(N) = (2n)! / (2^n n!) × Σ_{k=0}^n 2^k (n choose k) (N choose k+1) を確認した。
• ベシス、イツィクソン、ズーバーが計算した4価マップの既知の数え上げ結果を再現し、高次元の頂点に対しても正確性を裏付けた。
• 2ν価マップに関しては、エロラーニ、マクラフリン、パイアースの結果と一致し、異なる組合せ的および解析的手法間の整合性を確認した。
• 方向を反転させる辺を許容するように置換構造を変更することで、非向き付けマップへの拡張が行われ、ゴールデンとジャクソンの1頂点非向き付けマップに関する研究結果と整合する結果が得られた。
• アルゴリズムは、特に g ≤ 3 の場合に、行列モデルの分配関数の漸近展開における定数の計算および検証のための計算フレームワークを提供した。
• マップの種数は、σ、τ、στ のサイクル数から導かれるオイラー標跡 χ を用いて g = 1 − χ/2 で計算され、種数が得られる。