[論文レビュー] On enumeration of a class of toroidal graphs

Dipendu Maity, A. Upadhyay|arXiv (Cornell University)|Nov 1, 2013

Finite Group Theory Research参考文献 3被引用数 3

ひとこと要約

本稿では、トーラス上の8種類の特定のタイプの半等長マップ—{3³,4²}、{3²,4,3,4}、{3,6,3,6}、{3⁴,6}、{4,8²}、{3,12²}、{4,6,12}、{3,4,6,4}—を、T(r,s,k)表現とサイクル型解析に基づく体系的なアルゴリズム的手法を用いて完全分類する。著者らは24〜60頂点までの非同型マップを列挙し、サイクル長を用いた同型基準を確立し、小規模な頂点数における分類済みマップの明示的表を提供する。

ABSTRACT

We present enumerations of a class of toroidal graphs which give rise to semi-equivelar maps. There are eleven different types of semi-equivelar maps on the torus. These are of the types $\{3^{6}\}$, $\{4^{4}\}$, $\{6^{3}\}$, $\{3^{3}, 4^{2}\}$, $\{3^{2}, 4, 3, 4\}$, $\{3, 6, 3, 6\}$, $\{3^{4}, 6\}$, $\{4, 8^{2}\}$, $\{3, 12^{2}\}$, $\{4, 6, 12\}$, $\{3, 4, 6, 4\}$. We know the classification of the maps of types $\{3^{6}\}$, $\{4^{4}\}$, $\{6^{3}\}$ on the torus. In this article, we attempt to classify maps of types $\{3^{3}, 4^{2}\}$, $\{3^{2}, 4, 3, 4\}$, $\{3, 6, 3, 6\}$, $\{3^{4}, 6\}$, $\{4, 8^{2}\}$, $\{3, 12^{2}\}$, $\{4, 6, 12\}$, $\{3, 4, 6, 4\}$ on the torus.

研究の動機と目的

• トーラス上における8種類の特定のタイプの非同型半等長マップを分類すること。
• グラフ表現とサイクル構造に基づいた、このようなマップを列挙するためのアルゴリズム的フレームワークを構築すること。
• T(r,s,k)モデルにおける特定タイプの非収縮サイクルの長さを分析することにより、同型クラスを同定すること。
• すべてのタイプにおいて、小規模な頂点数（24〜60頂点）における非同型マップの明示的表を提供すること。
• トーラス上における半等長マップの11種類のタイプの分類を完了させ、長年の未解決問題であるトポロジカルグラフ理論分野の課題を解決すること。

提案手法

• r, s, k がトーラス上のグリッド型埋め込みを定義する T(r,s,k) パarameterization を用いてマップを表現する。
• ホモロジー類や構造的特徴に対応する特定タイプのサイクル（例：A₁, A₂, Z₁）を定義・分類する。
• サイクル長の分析を用いて同型不変量を確立する：2つのマップが同型であるための必要十分条件は、置換を許容した上でサイクル長ペアが一致することである。
• 位相的および組合せ的制約（例：割り切れ性、頂点数、サイクルの存在）に基づき、r, s, k の許容範囲を導出する。
• 与えられた r, s, k の制約下で、各マップタイプに対する存在および一意性条件を証明するための補題を適用する。
• 頂点数にわたるサイクル長ペアとパラメータの妥当性をチェックすることで、非同型マップを生成・表形式にまとめる。

実験結果

リサーチクエスチョン

• RQ1 トーラス上におけるタイプ {3³,4²}、{3²,4,3,4}、{3,6,3,6}、{3⁴,6}、{4,8²}、{3,12²}、{4,6,12}、{3,4,6,4} の半等長マップをどのように体系的に列挙できるか？
• RQ2 T(r,s,k)表現におけるパラメータ r, s, k に対して、このようなマップが存在するための必要十分条件は何か？
• RQ3 サイクル構造を用いて、2つのこのようなマップの同型関係をどのようにアルゴリズム的に同定できるか？
• RQ4 小規模な頂点数（≤24〜60頂点）における各タイプの非同型マップの完全な集合は何か？
• RQ5 この手法を用いて、トーラス上における半等長マップの11タイプすべての分類を完了できるか？

主な発見

• 本稿では、トーラス上における半等長マップの11タイプすべての分類を完了し、そのうち8タイプについて明示的な結果を得た。
• タイプ {4,8²} については、r が4で割り切れるとき、s ≥ 1 かつ rs ≥ 20 であり、k は s に応じて r を法として制約を受ける場合にのみマップが存在する。
• 20頂点の {4,8²} マップでは、2つの非同型クラスが得られる：T(20,1,6) と T(20,1,14)、両者ともサイクル長が (20,20) である。
• 24頂点の場合、4つの非同型マップが存在する：T(24,1,k) から2つ、T(8,3,k) から2つで、サイクル長ペアはそれぞれ (24,8) と (24,24) である。
• 分類は完全にアルゴリズム的である：2つのマップが同型であるための必要十分条件は、非ホモロジー的サイクル長ペアが置換を許容した上で一致することである。
• 表1〜8には、各タイプについて22〜60頂点までのすべての非同型マップが、明示的な T(r,s,k) 表現とサイクルデータとともにリストアップされている。