[论文解读] A 27-vertex graph that is vertex-transitive and edge-transitive but not l-transitive

Peter G. Doyle|ArXiv.org|Mar 29, 2007

Rings, Modules, and Algebras参考文献 6被引用 4

一句话总结

本文提出一个27阶图，该图是顶点传递且边传递的，但不是1-传递的，证明了存在一种对称图，其中所有顶点和边在自同构下不可区分，但没有任何自同构能反转边的方向。该构造使用一个阶为27的非交换群，具有特定的生成元和关系，并通过局部子图论证证明其非1-传递性。

ABSTRACT

I describe a 27-vertex graph that is vertex-transitive and edge-transitive but not 1-transitive. Thus while all vertices and edges of this graph are similar, there are no edge-reversing automorphisms.

研究动机与目标

• 构造一个有限图，使其为顶点传递和边传递但非1-传递，从而解决图论大师图灵提出的问题。
• 证明边传递性并不蕴含1-传递性，即使在正则图中也是如此。
• 提供此类图的最小已知实例，包含27个顶点和4度。
• 建立一种使用群自同构和对称生成集生成此类图的方法。
• 证明不存在将一条边映射到其反向的自同构，尽管图整体具有对称性。

提出的方法

• 使用一个阶为27的非交换群G，其生成元a和c满足特定关系：a^9 = 1，c^9 = 1，c^3 = a^{-3}，且c^{-1}ac = a^4。
• 定义一个生成集K = {a, c}，使得K ∩ K^{-1} = ∅，且K中所有元素在群自同构下相互关联。
• 构造Cayley图Γ = Γ_{G, K ∪ K^{-1}}，其中G为顶点，g与gk之间有边连接（k ∈ K ∪ K^{-1}）。
• 利用自同构φ满足φ(a) = c且φ(c) = a，以确保图的顶点传递性和边传递性。
• 通过限制到恒等元邻域距离2以内的顶点子图Γ′，证明其非1-传递性，即不存在固定1且将a映射到a^{-1}的自同构。
• 利用群关系中的冗余性，验证任何保持K ∪ K^{-1}的自同构必须保持K本身，从而确保边方向不对称性。

实验结果

研究问题

• RQ1 是否存在一个有限图，其为顶点传递和边传递，但非1-传递？
• RQ2 顶点传递和边传递但非1-传递的图的最小可能阶数是多少？
• RQ3 是否存在群论构造方法，可生成边传递但缺乏边反向自同构的图？
• RQ4 能否通过局部子图分析检测到边反向自同构的缺失？
• RQ5 底层群的自同构如何影响所生成Cayley图的对称性质？

主要发现

• 所构造的27阶图是顶点传递和边传递的，这由群作用和对称生成集保证。
• 该图不是1-传递的，因为不存在将a映射到其逆元a^{-1}且固定恒等元的自同构，此结论通过分析局部子图Γ′得出。
• 该图的度为4，是正则图，与图灵的结果一致：此类图必须具有偶数度。
• 该图同构于布沃的54阶图通过识别对径点所得到的商图，从而确认其最小性。
• 自同构群保持长度为1的路径中边的方向，表明图缺乏方向反转对称性。
• 非1-传递性的证明依赖于：在子图Γ′中不存在固定1且将a映射到a^{-1}的自同构，若1-传递性成立，则该自同构可扩展为全局自同构。