[論文レビュー] Hamiltonicity of Vertex-Transitive Graphs of Order $4p$

Klavdija Kutnar, Dragan Marušič|ArXiv.org|Jun 23, 2006

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

ひとこと要約

本稿は、$p$ を素数とするとき、$4p$ 階の連結な頂点推移的グラフが、コクサー・グラフを除いてすべてハミルトン的であることを証明している。コクサー・グラフはハミルトン路は持つがハミルトン閉路は持たないことが知られている。証明は、非単純ブロック系の構造的解析と $(4,p)$-半正則自己同型の存在を組み合わせ、商グラフの上昇と軌道解析により、コクサー・グラフを除くすべてのグラフがハミルトン閉路を有することを示している。

ABSTRACT

It is shown that every connected vertex-transitive graph of order $4p$, where $p$ is a prime, is hamiltonian with the exception of the Coxeter graph which is known to possess a Hamilton path.

研究の動機と目的

• 既存の研究で完全に解決されていなかった、素数 $p$ に対して $4p$ 階の頂点推移的グラフのハミルトニシティの状態を解明すること。
• このようなグラフの中でハミルトン閉路を有さない唯一の例外がコクサー・グラフであることを証明すること。コクサー・グラフはハミルトン路は持つがハミルトン閉路は持たない。
• 既存の $p$、$2p$、$3p$、$p^2$、$p^3$、$p^4$、$2p^2$ 階の結果に基づき、$4p$ 階の頂点推移的グラフにおけるハミルトン的性質の分類を完成させること。
• 非単純構造と半正則自己同型による商グラフ技法を組み合わせた、頂点推移的グラフにおけるハミルトニシティの証明フレームワークを確立すること。

提案手法

• 自己同型群の頂点集合への作用を分析し、非単純ブロック系に基づいてグラフを8つのクラスに分類する。
• 補題 3.2、3.4、3.5 を用いて、特定の非単純クラスにおけるハミルトニシティの十分条件を導出する。
• 命題 3.8 を用いて、ハミルトン的でない可能性のあるグラフの数を、ブロックサイズが $p$ または $2p$ のものにまで削減する。
• $(4,p)$-半正則自己同型の存在を応用し、4階の商グラフを構成し、このような商グラフにおけるハミルトン路に関する既知の結果を活用する。
• 特に次数が低いグラフに対しては、軌道構造と辺の上昇を用いて、商グラフにおけるハミルトン路を元のグラフに上昇させる。
• 特定の群とその作用（例：$PSL(2,8)$、$PGL(2,7)$、$PSL(3,3)$）を、部分群の陪集合上での作用として分析し、次数が $4p/3$ 未満である $4p$ 階の連結な頂点推移的グラフをすべて同定し、表 2 と命題 2.1 を用いてハミルトニシティを検証する。

実験結果

リサーチクエスチョン

• RQ1 素数 $p$ に対して、すべての連結な頂点推移的グラフが $4p$ 階でハミルトン的であるか。ただしコクサー・グラフを除く。
• RQ2 自己同型群の構造的性質（例：非単純ブロック系）が、このようなグラフにおけるハミルトン閉路の存在にどのように影響するか。
• RQ3 $(4,p)$-半正則自己同型の存在が、商グラフから元のグラフへのハミルトン路の上昇に利用できるか。
• RQ4 どの特定の $4p$ 階の頂点推移的グラフがハミルトン的でなく、その理由は何か。
• RQ5 部分群の陪集合上での原始的群作用から生じる軌道グラフは、$4p$ 階のすべての連結な頂点推移的グラフをどのように分類するか。

主な発見

• コクサー・グラフは、$4p$ 階の連結な頂点推移的グラフの中で、ハミルトン閉路を有さない唯一の既知のグラフであるが、ハミルトン路は持つ。
• 自己同型群がサイズ $p$ または $2p$ のブロックに推移的に作用する $4p$ 階の連結な頂点推移的グラフは、コクサー・グラフを除いてすべてハミルトン的である。
• 次数が $4p/3$ 未満である $4p$ 階の連結な頂点推移的グラフは10個存在するが、その中でハミルトン閉路を有さないのは表 2 の $X_2$ であるコクサー・グラフのみである。
• その他のすべてのグラフについては、$(4,p)$-半正則自己同型による商グラフからのハミルトン閉路の上昇によってハミルトニシティが確立されている。
• $PSL(2,8)$ が $D_{18}$ の陪集合上に作用するグラフ $X_1$ はハミルトン的であり、次数は 9、頂点数は 28 である。
• $PSL(3,3)$ が $PG(2,3)$ の点と直線の対の陪集合上に作用するグラフ $X_{10}$ は、非自己双対な部分軌道が非連結であるが、それらの和集合が連結でハミルトン的であるため、ハミルトン的である。