[論文レビュー] Constructive Approach to Automorphism Groups of Planar Graphs

Pavel Klavík, Roman Nedela+1 more|arXiv (Cornell University)|Jun 22, 2015

Advanced Graph Theory Research参考文献 39被引用数 3

ひとこと要約

この論文は、3連結成分に分解することで、有限連結平面グラフの自己同型群を構成的に特徴づける。自己同型群は、頂点安定化部分群の直積の半直積として表現され、巡回群、二面体群、対称群との直積および半直積について閉じている。それに加え球面群を含む。この手法により、自己同型群を二次時間で計算するアルゴリズムが得られる。

ABSTRACT

By Frucht's Theorem, every abstract finite group is isomorphic to the automorphism group of some graph. In 1975, Babai characterized which of these abstract groups can be realized as the automorphism groups of planar graphs. In this paper, we give a more detailed and understandable description of these groups. We describe stabilizers of vertices in connected planar graphs as the class of groups closed under the direct product and semidirect products with symmetric, dihedral and cyclic groups. The automorphism group of a connected planar graph is obtained as semidirect product of a direct product of these stabilizers with a spherical group. Our approach is based on the decomposition to 3-connected components and gives a quadratic-time algorithm for computing the automorphism group of a planar graph.

研究の動機と目的

• 平面グラフの自己同型群として現れる抽象的有限群を、より明示的かつ構成的に記述すること。
• 連結平面グラフにおける頂点安定化部分群の代数的構造を明確にすること。
• 構造的成分から連結平面グラフの完全な自己同型群を体系的に構成する方法を確立すること。
• グラフ分解に基づいて、平面グラフの自己同型群を効率的に計算するアルゴリズムを開発すること。
• ババイ（1975）の特徴づけを拡張し、計算可能で代数的に透明な枠組みを提供すること。

提案手法

• SPQR木分解を用いて、連結平面グラフを3連結成分に分解すること。
• 頂点安定化部分群を、巡回群、二面体群、対称群との直積および半直積について閉じた群として特徴づけること。
• 完全な自己同型群を、安定化部分群の直積と球面群（すなわち、球面の自己同型群として作用する群）の半直積として表現すること。
• 3連結成分の構造を用いて、局所的安定化部分群群から再帰的に自己同型群を構築すること。
• 平面性および群の閉包性を保つように、群論的演算（直積および半直積）を適用すること。
• 分解木を走査し、反復的な群積構築によって自己同型群を計算する二次時間アルゴリズムを設計すること。

実験結果

リサーチクエスチョン

• RQ1 どのような抽象的有限群が有限連結平面グラフの自己同型群として実現可能であり、それらを特徴づける代数的構造は何か？
• RQ2 連結平面グラフの自己同型群は、その3連結成分からどのように体系的に構成できるか？
• RQ3 平面グラフにおける頂点安定化部分群が群演算に関して満たす閉包性は何か？
• RQ4 自己同型群を構成的かつ効率的に計算するアルゴリズムを開発できるか？
• RQ5 球面群成分は、全体の自己同型群構造において安定化部分群とどのように相互作用するか？

主な発見

• 連結平面グラフの自己同型群は、頂点安定化部分群の直積と球面群の半直積に同型である。
• 連結平面グラフにおける頂点安定化部分群は、巡回群、二面体群、対称群との直積および半直積について閉じた群のクラスを形成する。
• 完全な自己同型群は、3連結成分への分解とその後続する群積の組み立てを通じて構成的に決定される。
• 提案手法により、平面グラフの自己同型群を二次時間で計算するアルゴリズムが得られる。
• この特徴づけは、平面グラフの自己同型群として実現可能なすべての群について、完全かつアルゴリズム的に実装可能な記述を提供する。
• この枠組みは、構成的で計算可能かつ代数的に透明な手法を提供することで、ババイ（1975）の特徴づけを拡張・明確化する。