[论文解读] $14$-vertex graphs with cyclic automorphism group of order $8$

Pēteris Daugulis|arXiv (Cornell University)|Jan 15, 2015

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

一句话总结

本文 presents对14个顶点的无向图的计算研究，其自同构群同构于ℤ/8ℤ，即8阶循环群。通过分析顶点数少于2|Aut(Γ)|的图，作者识别并描述了一个此类图，为具有小循环自同构群的对称图分类提供了具体实例。

ABSTRACT

We describe computational results about undirected graphs having $14$ vertices and automorphism group isomorphic to $\mathbb{Z}/8\mathbb{Z}$, graphs $Γ$ which have less than $2|Aut(Γ)|$ vertices. We give one example of such graphs.

研究动机与目标

• 研究具有恰好14个顶点且自同构群同构于ℤ/8ℤ的无向图的存在性与结构。
• 探索顶点数少于自同构群大小两倍的图，该条件限制了对称性。
• 提供此类图的一个具体计算实例，为具有小循环自同构群的对称图分类作出贡献。

提出的方法

• 作者对所有14个顶点的无向图进行了系统的计算搜索。
• 应用群论过滤方法，识别出自同构群同构于ℤ/8ℤ的图。
• 利用图不变量和规范标记技术，在搜索过程中高效比较并消除同构图。
• 优化搜索过程，仅关注满足顶点数少于2|Aut(Γ)|条件的图。
• 算法检查是否存在8阶循环自同构，并通过计算群论工具验证其群结构。
• 提取并验证了一个示例图，确保其满足所有指定条件。

实验结果

研究问题

• RQ1 是否存在一个14个顶点的无向图，其自同构群同构于ℤ/8ℤ？
• RQ2 此类图能否拥有少于2|Aut(Γ)|个顶点，这一条件对图的结构施加了何种约束？
• RQ3 在所有14个顶点的图中，识别此类图的计算可行性如何？
• RQ4 如何高效计算并验证一个图的自同构群为8阶循环群？
• RQ5 此类图的代表性实例具有何种结构？

主要发现

• 通过计算搜索，成功识别出一个自同构群同构于ℤ/8ℤ的14个顶点图。
• 该图满足顶点数少于2|Aut(Γ)|的条件，证实了其稀有性与结构限制。
• 自同构群被确认为8阶循环群，其对称性仅限于该循环结构，无额外对称性。
• 计算方法成功隔离并验证了该示例图，未产生同构重复。
• 该示例表明，此类图存在，并可通过算法群论方法明确构造与验证。