[论文解读] 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

一句话总结

本文证明了任意有限幂零群上的二生成Cayley有向图均存在哈密顿路径，扩展了对阿贝尔群和p-群的已知结果。通过子群归纳法与弧强制子群的性质，作者证明此类图——尤其是出度≤4的图——始终包含哈密顿路径，解决了非阿贝尔群上Cayley图哈密顿路径广义猜想中的关键情形。

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.

研究动机与目标

• 确定所有连通Cayley有向图在幂零群上是否均存在哈密顿路径，扩展已知的阿贝尔群和p-群结果。
• 研究幂零性条件是否足以保证Cayley有向图中存在哈密顿路径，特别是当群非阿贝尔或非素数幂阶时。
• 证明所有出度≤4的连通Cayley图在幂零群上均存在哈密顿路径，解决群论中长期悬而未决的开放问题。
• 使用子群序列与弧强制子群的结构化证明，推广先前对p-群和阿贝尔群的结果。
• 证明‘幂零’一词不能弱化为‘可解’或‘超可解’，因为在这类群中存在反例。

提出的方法

• 基于群阶的归纳法，利用幂零群作为p-群直积的结构特征。
• 应用弧强制子群 $ H = \\<S^{-1}S\rangle $ 的概念，证明在二生成情形下该子群为阿贝尔群，从而可应用阿贝尔群的已知结果。
• 采用子正规序列 $ H = H_1 \triangleleft \cdots \triangleleft H_m = H^G $，其因子群为素数幂阶，利用幂零性逐步构建哈密顿路径。
• 依赖于先前工作已确立的事实：所有连通Cayley有向图在阿贝尔群或p-群上均存在哈密顿路径。
• 使用提升技术：在商群与子群中已知哈密顿路径的前提下，通过拼接与陪集遍历构造完整群中的哈密顿路径。
• 将p-群结果（定理2.2）推广至正规p-子群，确保相关商结构中存在哈密顿圈。

实验结果

研究问题

• RQ1 所有有限幂零群上的二生成Cayley有向图是否均存在哈密顿路径？
• RQ2 幂零性条件能否扩展至覆盖此类群上所有出度≤4的连通Cayley图？
• RQ3 幂零性假设是否必要？能否弱化为可解性或超可解性？
• RQ4 弧强制子群 $ \langle S^{-1}S \rangle $ 的何种结构性质可保证哈密顿路径的存在？
• RQ5 子群序列与商群结构如何促进幂零群中哈密顿路径的构造？

主要发现

• 任意有限幂零群上的二生成Cayley有向图均存在哈密顿路径，因为弧强制子群 $ \langle a^{-1}b \rangle $ 是循环群，故为阿贝尔群。
• 所有出度≤4的连通Cayley图在幂零群上均存在哈密顿路径，因为此类图对应于大小至多为2且不含对合的生成集。
• 即使群为直积 $ P \times A $（其中 $ P $ 为p-群，$ A $ 为阿贝尔群）时，结论仍成立，从而推广了p-群与阿贝尔群的情形。
• 证明表明，在幂零性条件下，弧强制子群为阿贝尔群即足以保证Cayley有向图中存在哈密顿路径。
• 在可解或超可解群中存在反例，表明幂零性是推广结论成立的必要条件。
• 建立了p-群结果的推广：若 $ S \subset aN $，其中 $ N $ 为正规p-子群，则 $ \overrightarrow{\operatorname{Cay}}(G;S) $ 存在哈密顿圈。