[论文解读] Spectrum of commuting graphs of some classes of finite groups

Jutirekha Dutta, Rajat Kanti Nath|arXiv (Cornell University)|Apr 25, 2016

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

一句话总结

本文研究有限非交换群的交换图谱，证明了AC-群以及在平面性或环面性条件下的交换图均为整图（所有特征值均为整数）。研究证明，若有限非交换群的交换图是平面图且不与 $S_4$ 同构，或为环图，则其交换图为整图，且对若干关键群（如拟二面体群、二面体群和对称群）给出了显式的谱计算。

ABSTRACT

In this paper, we initiate the study of spectrum of the commuting graphs of finite non-abelian groups. We first compute the spectrum of this graph for several classes of finite groups, in particular AC-groups. We show that the commuting graphs of finite non-abelian AC-groups are integral. We also show that the commuting graph of a finite non-abelian group $G$ is integral if $G$ is not isomorphic to the symmetric group of degree $4$ and the commuting graph of $G$ is planar. Further it is shown that the commuting graph of $G$ is integral if the commuting graph of $G$ is toroidal.

研究动机与目标

• 启动对有限非交换群交换图谱的研究。
• 确定有限非交换群的交换图为整图（所有特征值为整数）的条件。
• 计算特定有限群类（尤其是AC-群及其积）的谱。
• 在平面性与环面性等拓扑约束下，对整图交换图进行分类。

提出的方法

• 利用邻接矩阵的谱来定义并分析整图。
• 利用AC-群中中心化子的结构，将交换图分解为不相交的完全图的并。
• 应用已知的整图结果：不相交完全图的并为整图。
• 通过不相交完全图并的特征值结构推导谱公式。
• 应用Afkhami等人与Das等人关于平面与环图交换图的分类结果。
• 通过显式计算特征多项式与特征值集合（如 $S_4$、$A_4$、$SL(2,3)$ 与 $D_{16}$）验证整性。

实验结果

研究问题

• RQ1 在何种条件下，有限非交换群的交换图为整图？
• RQ2 AC-群的交换图谱如何表现？是否可显式计算？
• RQ3 $S_4$ 的交换图是否为整图？为何其为一般整性规律的例外？
• RQ4 交换图的拓扑性质（平面性、环面性）与其整性之间有何关系？
• RQ5 能否对特定群族（如拟二面体群、二面体群与半二面体群）确定其交换图的谱？

主要发现

• 有限非交换AC-群的交换图是完全图的不相交并，因此为整图。
• 当 $n \geq 4$ 时，$QD_{2^n}$ 的交换图谱为 $\{(-1)^{2^{n}-2^{n-2}-3}, 1^{2^{n-2}}, (2^{n-1}-3)^1\}$。
• $S_4$ 的交换图不是整图，因其具有非整数特征值，包括 $\frac{3 \pm \sqrt{17}}{2}$ 与 $\pm\sqrt{5}$。
• $A_4$ 的交换图是整图，谱为 $\{(-1)^6, 2^1, 1^4\}$，来源于 $K_3 \sqcup 4K_2$。
• $SL(2,3)$ 的交换图是整图，谱为 $\{(-1)^{15}, 1^3, 3^4\}$，对应于 $3K_2 \sqcup 4K_4$。
• 所有有限非交换群中，其交换图为环图的情形，其交换图均为整图，包括 $D_{14}, D_{16}, Q_{16}, QD_{16}, D_6 \times \mathbb{Z}_3, A_4 \times \mathbb{Z}_2$ 与 $\mathbb{Z}_7 \rtimes \mathbb{Z}_3$。