[論文レビュー] A classification of connected-homogeneous digraphs

Matthias Hamann, Fabian Hundertmark|arXiv (Cornell University)|Apr 29, 2010

Advanced Graph Theory Research参考文献 26被引用数 6

ひとこと要約

この論文は、1つより多くの終点をもつ連結同型性をもつ有向グラフを分類し、それがタイプI（元の無向グラフが連結同型性をもつ）またはタイプII（連結同型性をもたない）のいずれかであることを示している。主な結果は、タイプIIの有向グラフが高さ弧推移的であることであり、頂点カット系に基づく構造木を用いて、局所的有限でない場合への拡張がなされている。

ABSTRACT

We classify the connected-homogeneous digraphs with more than one end. We further show that if their underlying undirected graph is not connected-homogeneous, they are highly-arc-transitive.

研究の動機と目的

• C-同型性をもつ有向グラフに関する文献における空白を埋めるために、1つより多くの終点をもつ連結同型性をもつ有向グラフを分類すること。
• C-同型性をもつ有向グラフの元の無向グラフが、自身でC-同型性をもつかどうかを特定し、タイプIとタイプIIの有向グラフに分けること。
• 頂点カット系と構造木を用いて、局所的有限でない場合への高さ弧推移的有向グラフの理論を拡張すること。
• C-同型性が線グラフの構成において保存されるかどうかという未解決の問題を解消し、一般には保存されないことを示すこと。

提案手法

• 任意の無限グラフに適用可能な最近の技術である、頂点カット系に基づく構造木を用いて、連結同型性をもつ有向グラフのグローバル構造を分析する。
• 可算な同型的トーナメントの分類（Lachlan）および同型的二部グラフの分類（Goldstern, Grossberg, Kojman）を、基礎的構成要素として用いる。
• 有限の頂点カットによって分離された成分に対して、自己同型の帰納的拡張の議論を適用し、連結同型性の性質を活用する。
• 元の無向グラフが連結同型性をもつかどうかに基づいて、タイプIとタイプIIの有向グラフを区別する。
• 到達可能性関係と辺上の同値類を用いて、交互ウォークにおける接続性と自己同型の挙動を分析する。
• 線グラフに関する結果を適用し、$ L(DL(C_{2m})) o M'(2m) $ であることを示し、$ L(M'(2m)) $ がC-同型でないことを証明する。

実験結果

リサーチクエスチョン

• RQ1 1つより多くの終点をもつ連結同型性をもつ有向グラフはどのようなものがあり、どのように体系的に分類できるか？
• RQ2 C-同型性をもつ有向グラフの元の無向グラフが、自身でもC-同型性をもつのはどのような条件下か？
• RQ3 タイプIIの連結C-同型性をもつ有向グラフは、必ず高さ弧推移的か？
• RQ4 有向グラフがC-同型性をもつならば、その線グラフもC-同型性をもつのか？
• RQ5 頂点カット系に基づく構造木は、無限C-同型性をもつ有向グラフの分類において果たす役割は何か？

主な発見

• 1つより多くの終点をもつ連結C-同型性をもつ有向グラフは、それが木であるか、三角形を含む場合に限りタイプIに属する。
• 1つより多くの終点をもつすべての連結C-同型性をもつタイプIIの有向グラフは、高さ弧推移的であり、以前の局所的有限の場合への結果が拡張されている。
• 線グラフ $ DL(C_{2m}) $ は $ M'(2m) $ に同型であり、特定の構造的性質を保存する。
• 線グラフ $ M'(2m) $ は三角形を含まず、無限個の終点をもち、連結性が4であり、C-同型でない。これはGrayと Möller（2014）の未解決問題を解決する。
• 分類の結果、一般にはC-同型性が線グラフの構成において保存されないことが示された。
• 非可算な一般化された同型的二部グラフの同型型の数はZFCとは独立であり、その分類は決定不能である。