[論文レビュー] 2-generated Cayley digraphs on nilpotent groups have hamiltonian paths

Dave Witte Morris|arXiv (Cornell University)|Mar 28, 2011

graph theory and CDMA systems参考文献 2被引用数 4

ひとこと要約

この論文は、有限ノルム群上の2生成のカイリー有向グラフがハミルトン路を常に持つことを証明し、アーベル群やp群に対する既知の結果を拡張する。部分群の帰納法と弧強制部分群の性質を用いて、特に次数 ≤4 のグラフが常にハミルトン路を含むことを確立し、非アーベル群におけるカイリー有向グラフのハミルトン路に関する一般予想の重要なケースを解決する。

ABSTRACT

Suppose G is a nilpotent, finite group. We show that if {a,b} is any 2-element generating set of G, then the corresponding Cayley digraph Cay(G;a,b) has a hamiltonian path. This implies there is a hamiltonian path in every connected Cayley graph on G that has valence at most 4.

研究の動機と目的

• 有限ノルム群上の連結カイリー有向グラフがすべてハミルトン路をもつかどうかを特定すること。これは、アーベル群やp群に対する既知の結果を拡張することを目的とする。
• ノルム性の条件が、群が非アーベル的または素数べき順序でない場合にも、カイリー有向グラフにハミルトン路を保証するのに十分かどうかを調査すること。
• ノルム群上の次数 ≤4 の連結カイリー有向グラフがすべてハミルトン路をもつことを確立し、群論における長年の未解決問題に取り組むこと。
• 部分群系列と弧強制部分群を用いた構造的証明を提供し、p群やアーベル群に対する先行研究を一般化すること。
• 『ノルム』という語を『可解』や『超可解』に弱めることが不可能であることを示し、これらのクラスに反例が存在することを示すこと。

提案手法

• 群の位数に関する帰納法を用い、ノルム群がp群の直積として表せることを活用する。
• 弧強制部分群 $ H = \langle S^{-1}S \rangle $ の概念を適用し、2生成の場合にこの部分群がアーベル群であることが示され、アーベル群に関する既知の結果への応用が可能になる。
• 素数べき因子を持つ部分系列 $ H = H_1 \triangleleft \cdots \triangleleft H_m = H^G $ を用い、ノルム性を活用して段階的にハミルトン路を構築する。
• アーベル群またはp群上の連結カイリー有向グラフは、先行研究で示されたように常にハミルトン路をもつという事実に依拠する。
• 持ち上げ技法（lifting technique）を用いる：商群および部分群におけるハミルトン路が与えられれば、それらを連結して直積の部分群を走査することで、全体の群におけるハミルトン路を構成する。
• p群に関する結果（定理2.2）の一般化を適用し、正規p部分群に対して適用することで、関連する商構造におけるハミルトン閉路の存在を保証する。

実験結果

リサーチクエスチョン

• RQ1 有限ノルム群上のすべての2生成カイリー有向グラフはハミルトン路をもつのか？
• RQ2 ノルム性の条件を、このような群上の次数 ≤4 のすべての連結カイリー有向グラフをカバーするように拡張できるか？
• RQ3 ノルム性の仮定は必要不可欠なのか、それとも可解性や超可解性に弱めることができるのか？
• RQ4 弧強制部分群 $ \langle S^{-1}S \rangle $ がハミルトン路の存在を保証する構造的性質は何か？
• RQ5 部分群系列と商群構造は、ノルム群におけるハミルトン路の構成をどのように支援するのか？

主な発見

• 有限ノルム群上のすべての2生成カイリー有向グラフはハミルトン路をもつ。これは、弧強制部分群 $ \langle a^{-1}b \rangle $ が巡回群ゆえアーベル群であるためである。
• ノルム群上の次数 ≤4 のすべての連結カイリー有向グラフはハミルトン路をもつ。これは、次数 ≤4 の生成集合が、すべての対合を含まない2生成集合に対応するためである。
• 群が $ P \times A $（$ P $ はp群、$ A $ はアーベル群）の直積である場合でも、この結果は成り立ち、p群およびアーベル群のケースを一般化する。
• 証明は、弧強制部分群がアーベル群であれば、ノルム性のもとでカイリー有向グラフにハミルトン路が存在することが十分であることを示している。
• 可解群や超可解群では反例が存在するため、一般化が成り立つためにはノルム性が必要不可欠であることが示された。
• p群に関する結果の一般化が確立された：$ S \subset aN $ が正規p部分群 $ N $ に対して成り立つならば、$ \overrightarrow{\operatorname{Cay}}(G;S) $ はハミルトン閉路をもつ。