[论文解读] Bounding the order of the vertex-stabiliser in 3-valent vertex-transitive and 4-valent arc-transitive graphs

Primož Potočnik, Pablo Spiga+1 more|Repository of the University of Primorsk (University of Primorska)|Oct 13, 2010

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

一句话总结

该论文为4-正则弧传递图与3-正则点传递图建立了严格的二分法：要么图同构于顶点稳定子阶无界的例外C(r,s)族，要么稳定子大小被限制为顶点数的次线性函数——具体而言，|G_v| ≤ 2⁴3⁶ 或 2|G_v|log₂(|G_v|/2) ≤ |VΓ|，后者界限是紧致的。该结果推广了图灵对3-正则弧传递图的定理，并解决了对对称图中对称性界限的长期猜想。

ABSTRACT

The main result of this paper is that, if $Γ$ is a connected 4-valent $G$-arc-transitive graph and $v$ is a vertex of $Γ$, then either $Γ$ is one of a well understood infinite family of graphs, or $|G_v|\leq 2^43^6$ or $2|G_v|\log_2(|G_v|/2)\leq |\VΓ|$ and that this last bound is tight. As a corollary, we get a similar result for $3$-valent vertex-transitive graphs.

研究动机与目标

• 确定在排除一个已充分理解的例外族的前提下，4-正则G-弧传递图中顶点稳定子的最大可能阶。
• 将图灵对3-正则弧传递图的经典界48推广至更高正则度的情形。
• 解决关于对称图中自同构群稳定子增长的长期猜想。
• 在例外图（C(r,s)）与其余所有图之间建立严格的二分法，其中稳定子大小在顶点数上为次线性。

提出的方法

• 作者分析自同构群在顶点邻域上的局部作用，使用局部-P 图与置换群作用的概念。
• 他们应用组合群论与陪集图理论，通过群论构造建模弧传递图。
• 关键技术在于研究通用组合群L*_{B}R的光滑商图，其中L为顶点稳定子，B为边稳定子。
• 他们利用Djoković对指数(4,2)与局部类型D₄的忠实组合群的分类，对可能的稳定子结构进行分类。
• 证明依赖于群论界，特别是B在L中的正规化子，并利用了类数至多为2的幂零群的结果。
• 通过对数不等式推导出紧致界：2|G_v|log₂(|G_v|/2) ≤ |VΓ|，该不等式对所有非例外图成立。

实验结果

研究问题

• RQ1 在不与C(r,s)同构的4-正则G-弧传递图中，顶点稳定子的最大可能大小是多少？
• RQ2 3-正则点传递图中稳定子大小是否能以类似于图灵对3-正则弧传递图所给出的48界的方式被界定？
• RQ3 是否存在仅有有限多个4-正则弧传递图，其顶点稳定子在某一阈值以上显著偏大？
• RQ4 不等式2|G_v|log₂(|G_v|/2) ≤ |VΓ| 对非例外图是否为紧致界？
• RQ5 C(r,s)族在4-正则对称图中具有大自同构群的分类中起什么作用？

主要发现

• 对任意连通4-正则G-弧传递图Γ，要么Γ同构于某个r ≥ 3且1 ≤ s ≤ r/2的C(r,s)，要么|G_v| ≤ 2⁴3⁶。
• 在所有非例外情形下，不等式2|G_v|log₂(|G_v|/2) ≤ |VΓ| 成立，且该界是紧致的。
• 例外图C(r,s)的顶点稳定子大小为2^{r−s+1}，随r指数增长，因此也随|VΓ|指数增长。
• 3-正则点传递图中稳定子大小同样被|VΓ|的次线性函数界住，通过标准构造将问题约化至4-正则情形。
• 本文证明：若稳定子L的正规化子N_L(B)非初等阿贝尔，则不等式2|G_v|log₂(|G_v|/2) ≤ |VΓ| 成立，除非图属于例外族。
• 该结果将Meierfrankenfeld与Sami对奇数指数商图的界推广至任意有限商图，得到|L|关于指标n的o(√n)上界。