[論文レビュー] Gluing of Surfaces with Polygonal Boundaries

É. T. Akhmedov, Sh. Shakirov|ArXiv.org|Dec 17, 2007

Computational Geometry and Mesh Generation参考文献 3被引用数 10

ひとこと要約

本稿は、$ g $ の genus と指定された辺数 $ n_1, \ldots, n_L $ を持つ $ L $ 個の境界成分をもつ可定向曲面を形成するために、多角形の境界の辺を貼り合わせる異なる方法の数を数える組合せ的枠組みを導入する。グラフの曲面上への埋め込みから導かれる再帰的関係を用い、ハラール＝ツァイジャー数の一般化を行い、それらの新しい明示的公式を導出し、このような貼り合わせと曲面上の1面グラフとの間の一対一対応を確立する。

ABSTRACT

By pairwise gluing of edges of a polygon, one produces two-dimensional surfaces with handles and boundaries. In this paper, we count the number ${\cal N}_{g,L}(n_1, n_2, ..., n_L)$ of different ways to produce a surface of given genus $g$ with $L$ polygonal boundaries with given numbers of edges $n_1, n_2, >..., n_L$. Using combinatorial relations between graphs on real two-dimensional surfaces, we derive recursive relations between ${\cal N}_{g,L}$. We show that Harer-Zagier numbers appear as a particular case of ${\cal N}_{g,L}$ and derive a new explicit expression for them.

研究の動機と目的

• $ 2N $-角形における完全な辺の貼り合わせ問題である古典的ハラール＝ツァイジャー問題を、未貼り合わせの多角形境界をもつ不完全な貼り合わせに一般化すること。
• genus $ g $ で与えられた辺数 $ n_1,\ldots,n_L $ をもつ $ L $ 個の境界成分をもつ曲面を形成する貼り合わせの数 $ \mathcal{N}_{g,L}(n_1,\ldots,n_L) $ を定義し、計算すること。
• あるグラフの辺に沿ったカットといった位相的操作に基づいて、$ \mathcal{N}_{g,L} $ の再帰的関係を確立すること。
• ハラール＝ツァイジャー数が $ \mathcal{N}_{g,L} $ の特別な場合として現れることを示し、それらの新しい明示的表現を導出すること。

提案手法

• 多角形境界上の半ガウス記号を用いて貼り合わせを定義し、繰り返し現れる文字は辺の同一視を、単一の文字は未貼り合わせの境界辺に対応させる。
• 多角形の回転および繰り返し文字の再ラベル化による同値な貼り合わせを特定し、埋め込まれたグラフの微分同相同値と整合させる。
• 同値類としての貼り合わせと、$ g $ 個のハンドルと $ L $ 個の境界をもつ曲面上の1面グラフの同値類との間に一対一対応を確立する。
• 表面をグラフの辺に沿って順次カットすることで、 genus や境界数を減少または増加させることにより、$ \mathcal{N}_{g,L}(n_1,\ldots,n_L) $ の再帰的公式を導出する。
• 生成関数と組合せ的恒等式を用い、$ g $ の整数分割に関する和を含む閉形式の表現を導出し、生成関数 $ \left(\frac{1+x}{1-x}\right)^y $ を得る。
• セルラー分解とリボングラフの双対性を活用し、$ \mathcal{N}_{g,L} $ が曲面上のグラフ複体における最大次元セルの数として解釈できることを示す。

実験結果

リサーチクエスチョン

• RQ1 一部の辺が未貼り合わせであり、指定されたサイズの多角形境界を形成する場合、多角形の辺の異なる貼り合わせの数はどのように数えられるか？
• RQ2 genus $ g $ と $ L $ 個の境界をもつ曲面上の1面グラフの数え上げに内在する再帰的構造は何か？
• RQ3 ハラール＝ツァイジャー数は、一般化された貼り合わせ数 $ \mathcal{N}_{g,L}(n_1,\ldots,n_L) $ の特別な場合としてどのように現れるか？
• RQ4 $ \mathcal{N}_{g,L}(n_1,\ldots,n_L) $ の生成関数は何か？ そして、その関数は曲面貼り合わせの位相的・組合せ的構造をどのように符号化するか？
• RQ5 こうした貼り合わせの数え上げと、曲面上のグラフ複体のホモロジーとの関係は何か？

主な発見

• 引数 $ n_1, \ldots, n_L $ に関して $ \mathcal{N}_{g,L}(n_1,\ldots,n_L) $ は対称的であり、再ラベル化の下で境界成分が区別不能であることを反映している。
• 埋め込まれたグラフの辺に沿った表面のカットに基づいて、$ \mathcal{N}_{g,L} $ の再帰的関係が導出された。
• ハラール＝ツァイジャー数 $ \epsilon_g(N) $ は、すべての境界が 0-角形（すなわち、穴）である特別な場合に $ \mathcal{N}_{g,L} $ として回復され、完全な貼り合わせに対応する。
• 以前に知られていなかった形で、$ g $ の分割に関する和を含む、ハラール＝ツァイジャー数の新しい明示的公式が導出された。この式には $ \frac{1}{(2\lambda_i+1)} $ の形の項が含まれる。
• $ \mathcal{N}_{g,L}(n_1,\ldots,n_L) $ の生成関数は、$ x $ と $ y $ を辺および genus/ハンドルの情報を符号化する形式的変数として、$ \left(\frac{1+x}{1-x}\right)^y $ に等しいことが判明した。
• 本稿では、多角形貼り合わせの同値類と曲面上の1面グラフの同値類との間の一対一対応を確立し、$ \mathcal{N}_{g,L} $ が関連するグラフ複体における最大次元セルの数を数えていることを示した。