[論文レビュー] Hamilton Paths and Cycles in Vertex-Transitive Graphs of Order $6p$

Klavdija Kutnar, Primož Šparl|ArXiv.org|Feb 7, 2007

graph theory and CDMA systems参考文献 18被引用数 6

ひとこと要約

本稿は、$p$ が素数であるとき、位数 $6p$ の連結な頂点推移的グラフがすべてハミルトン路を含むことを証明している。さらに、ペテルセン図の切断を除き、真正に非可約でないすべてのこのようなグラフはハミルトンサイクルを含む。これは、頂点推移的グラフにおけるハミルトニシティの理解を前進させ、ハミルトンサイクルを欠くようなグラフは有限個であるという予想を支持する。

ABSTRACT

It is shown that every connected vertex-transitive graph of order $6p$, where $p$ is a prime, contains a Hamilton path. Moreover, it is shown that, except for the truncation of the Petersen graph, every connected vertex-transitive graph of order $6p$ which is not genuinely imprimitive contains a Hamilton cycle.

研究の動機と目的

• 位数 $6p$（$p$ は素数）のすべての連結な頂点推移的グラフにハミルトン路が存在することを確立すること。
• このようなグラフのうち、どのグラフがハミルトンサイクルを含み、特に例外を特定すること。
• ハミルトンサイクルを欠く連結な頂点推移的グラフは有限個であるという広範な予想に貢献すること。
• $k \leq 5$ および $p^j$（$j \leq 4$）の位数における頂点推移的グラフのハミルトニシティに関する先行結果を拡張すること。
• 群論的手法を用いて、自己同型群の構造に基づき、真正に非可約、準素性、または素性に分類する。

提案手法

• 自己同型群の構造に基づき、位数 $6p$ の頂点推移的グラフを三つのタイプに分類する：真正に非可約、準素性、素性。
• 不変体系と軌道解析を含む群論的道具を用いて、推移的群作用下でのグラフ構造を分析する。
• ケイリー図や巡回的交換子部分群をもつグラフにおける既知のハミルトニシティの結果を分析に活用する。
• 先行文献（例：[18, 33]）における位数 $6p$ の素性グラフの分類を活用し、これらのケースにおけるハミルトンサイクルの存在を検証する。
• $S_{12}$ 内の $(6,11)$-半正則自己同型を用いて、位数66のグラフの構造を分析し、補題2.5によりハミルトニシティを確認する。
• 命題2.6を用いて、密度の高いグラフにおいてハミルトンサイクルの存在を示す高次の最小次数条件を確立する。

実験結果

リサーチクエスチョン

• RQ1 すべての連結な頂点推移的グラフ（位数 $6p$）はハミルトン路を含むか？
• RQ2 位数 $6p$ の連結な頂点推移的グラフのうち、ハミルトンサイクルを含まないものはどれであり、それらの特徴は何か？
• RQ3 位数 $6p$ の素性頂点推移的グラフのハミルトニシティは、群作用分類を用いて確立可能か？
• RQ4 自己同型群の構造的性質（特に素性、準素性、真正に非可約性）は、ハミルトニシティにどのように影響するか？
• RQ5 位数 $6p$ の真正に非可約でない頂点推移的グラフにおいて、ペテルセン図の切断が唯一のハミルトニシティの例外であるか？

主な発見

• 位数 $6p$（$p$ が素数）のすべての連結な頂点推移的グラフはハミルトン路を含む。
• ペテルセン図の切断を除き、真正に非可約でないすべての連結な頂点推移的グラフ（位数 $6p$）はハミルトンサイクルを含む。
• すべての素性頂点推移的グラフ（位数 $6p$）は、分類とその自己同型群作用に関する既知の結果を検証することでハミルトンサイクルを含む。
• 表10にリストされた作用（例：$\mathrm{PSL}(2,17)$ が $S_4$ の陪類上、$S_{12}$ がペア上、$\mathrm{PSL}(3,5)$ が $P_{1,2}$ の陪類上）に対応するグラフは、すべてハミルトンサイクルを含む。
• 位数66のグラフ（$S_{12}$ がペアに作用する場合）では、最小次数が45以上であり、$(6,11)$-半正則自己同型が存在するため、補題2.5によりハミルトンサイクルの存在が保証される。
• 真正に非可約なグラフの分析は、ブロックサイズと軌道構造に依存し、補題3.1～3.7が、群作用に応じてハミルトン路またはサイクルの存在を示す条件を提供する。