[論文レビュー] Inequivalent embeddings of 3-connected 3-regular planar graphs on the torus

Kengo Enami|arXiv (Cornell University)|Jun 29, 2018

Computational Geometry and Mesh Generation被引用数 1

ひとこと要約

本稿では、3連結3正則平面的グラフのトーラス上における同型でない埋め込みを、その球面的双対グラフの特定の部分グラフとの一対一対応を確立することで特徴づける。同型でない埋め込みの列挙と数え上げに関して明示的な上限と効率的なアルゴリズムを提供し、ホワイトニーの一意性定理を球面からトーラスへ拡張する。

ABSTRACT

Whitney's theorem states that every 3-connected planar graph is uniquely embeddable on the sphere. On the other hand, it has many inequivalent embeddings on another surface. We shall characterize structures of a $3$-connected $3$-regular planar graph $G$ embedded on the projective-plane, the torus and the Klein bottle, and give a one-to-one correspondence between inequivalent embeddings of $G$ on each surface and some subgraphs of the dual of $G$ embedded on the sphere. These results enable us to give explicit bounds for the number of inequivalent embeddings of $G$ on each surface, and propose effective algorithms for enumerating and counting these embeddings.

研究の動機と目的

• 3連結3正則平面的グラフのトーラス上における同型でない埋め込みを理解し分類すること。
• 球面上での埋め込みに対して成立するホワイトニーの定理を、トーラス上に拡張し、埋め込みが同型でない条件を同定すること。
• 同型でないトーラス埋め込みと、球面上に埋め込まれた双対グラフの部分グラフとの間の一対一対応を確立すること。
• トーラス上における同型でない埋め込みの数に対する明示的な上界を導出すること。
• これらの埋め込みを列挙および数えるための効果的なアルゴリズムの開発

提案手法

• 3連結3正則平面的グラフ G の球面上に埋め込まれた双対グラフを用い、G の同型でないトーラス埋め込みに対応する部分グラフを特定する。
• これらの部分グラフの構造的性質を特徴づけ、同型でないトーラス埋め込みと一対一対応を保証する。
• 位相的不変量とグラフ双対性を活用し、トーラス上の埋め込みを球面上の組合せ的構造へ写像する。
• 既知の平面的グラフ埋め込みおよび双対性に関する結果を応用し、これらの部分グラフの数に対する上限を導出し、結果として埋め込みの数に対する上限を得る。
• 双対グラフの関連部分グラフを体系的に生成・数えるためのアルゴリズムを設計し、G の同型でないトーラス埋め込みを列挙する。
• 対応関係を用いて、列挙および数え上げ手順の正しさと完全性を保証する。

実験結果

リサーチクエスチョン

• RQ1 3連結3正則平面的グラフのトーラス上における2つの埋め込みが同型でないことを決定づける構造的条件は何か？
• RQ2 同型でないトーラス埋め込みはどのように体系的に特徴づけられ、列挙できるか？
• RQ3 G の同型でないトーラス埋め込みと、G の双対の特定の部分グラフとの間には一対一対応が存在するか？
• RQ4 G のトーラス上における同型でない埋め込みの数に対して、明示的な上界を導出できるか？
• RQ5 双対部分グラフの対応に基づいて、これらの埋め込みを列挙および数えるための効率的なアルゴリズムを構築できるか？

主な発見

• 3連結3正則平面的グラフ G のトーラス上における同型でない埋め込みと、球面上に埋め込まれた G の双対の特定の部分グラフとの間には一対一対応が存在する。
• G のトーラス上における同型でない埋め込みの数は、球面的双対におけるこれらの部分グラフの数によって上限が与えられ、明示的な上界が得られる。
• この特徴づけにより、G の同型でないトーラス埋め込みを列挙および数えるための効果的なアルゴリズムの開発が可能になる。
• 結果として、球面上の埋め込みに対して成立するホワイトニーの一意性定理がトーラスへ一般化され、トーラス上では一意性が成立しないことが示された。
• 本手法により、球面上の双対グラフ構造のみを用いて、トーラス埋め込みを分析・計算する組合せ的フレームワークが提供される。