[论文解读] Hamiltonicity of Vertex-Transitive Graphs of Order $4p$

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

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

一句话总结

该论文证明了所有阶为 $4p$ 的连通顶点传递图（其中 $p$ 为素数）都是哈密顿图，除了考克斯eter图（Coxeter graph）外，该图已知存在哈密顿路径但不存在哈密顿圈。证明结合了非本原性块系统结构分析与 $(4,p)$-半正则自同构的存在性，表明除考克斯eter图外，所有此类图均可通过商图提升与轨道分析构造出哈密顿圈。

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.

研究动机与目标

• 解决阶为 $4p$ 的顶点传递图的哈密顿性问题，该情况在先前工作中尚未完全解决。
• 证明此类图中唯一不具哈密顿性的例外是考克斯eter图，该图仅存在哈密顿路径而不存在哈密顿圈。
• 完成对阶为 $4p$ 的顶点传递图的哈密顿性质分类，建立在对阶 $p$、$2p$、$3p$、$p^2$、$p^3$、$p^4$ 与 $2p^2$ 的先前结果之上。
• 建立一个结合非本原性结构与半正则自同构商图技术的框架，用于证明顶点传递图的哈密顿性。

提出的方法

• 分析自同构群在顶点集上的作用，根据非本原性块系统将图划分为八类。
• 利用引理 3.2、3.4 与 3.5，推导出特定非本原性类中哈密顿性的充分条件。
• 通过命题 3.8 将候选非哈密顿图的数量减少至仅具有大小为 $p$ 或 $2p$ 的非本原性块的图。
• 应用 $(4,p)$-半正则自同构的存在性，构造阶为 4 的商图，利用关于此类商图中哈密顿路径的已知结果。
• 通过轨道结构与边提升，将商图中的哈密顿路径回传至原图，尤其适用于度数较低的图。
• 分析特定群及其在陪集上的作用（如 $PSL(2,8)$、$PGL(2,7)$、$PSL(3,3)$），识别所有阶为 $4p$ 且度数小于 $4p/3$ 的连通顶点传递图，并通过表 2 与命题 2.1 验证其哈密顿性。

实验结果

研究问题

• RQ1 所有阶为 $4p$（$p$ 为素数）的连通顶点传递图是否都是哈密顿图，除了考克斯eter图？
• RQ2 自同构群的哪些结构特性（如非本原性块系统）决定了此类图中哈密顿圈的存在性？
• RQ3 $(4,p)$-半正则自同构的存在性是否可用于将哈密顿路径从商图提升至原图？
• RQ4 哪些特定的阶为 $4p$ 的顶点传递图不具哈密顿性，原因是什么？
• RQ5 由子群陪集上的本原群作用生成的轨道图如何对所有阶为 $4p$ 的连通顶点传递图进行分类？

主要发现

• 考克斯eter图是目前已知唯一不具哈密顿圈但具有哈密顿路径的阶为 $4p$ 的连通顶点传递图。
• 所有阶为 $4p$ 的连通顶点传递图，若其自同构群在大小为 $p$ 或 $2p$ 的块上存在传递作用，则均为哈密顿图，除考克斯eter图外。
• 在度数小于 $4p/3$ 的 10 个阶为 $4p$ 的连通顶点传递图中，仅考克斯eter图（表 2 中的 $X_2$）不具哈密顿圈。
• 对于列表中的其他图，其哈密顿性通过 $(4,p)$-半正则自同构下从商图提升哈密顿圈得以确立。
• 由 $PSL(2,8)$ 在 $D_{18}$ 陪集上的作用生成的图 $X_1$ 是哈密顿图，其度数为 9，共 28 个顶点。
• 由 $PSL(3,3)$ 在 $PG(2,3)$ 的点线对上的作用生成的图 $X_{10}$ 尽管存在不连通的子轨道，但其非自对称子轨道的并集构成连通且哈密顿的图。