[论文解读] On some characterizations of strong power graphs of finite groups

A. K. Bhuniya, Sudip Bera|arXiv (Cornell University)|Apr 23, 2015

Graph theory and applications参考文献 5被引用 3

一句话总结

本文表征了有限群 $G$ 的强幂图 $π_s(G)$，确定其为线图或凯莱图的条件，并计算了其拉普拉斯谱和永久值。证明了 $π_s(G)$ 是凯莱图当且仅当 $G$ 为非循环群，是线图当且仅当 $G$ 为阶为 4、9 或素数的循环群。给出了循环群与非循环群下拉普拉斯永久值的显式公式。

ABSTRACT

Let $ G $ be a finite group of order $ n$. The strong power graph $\mathcal{P}_s(G) $ of $G$ is the undirected graph whose vertices are the elements of $G$ such that two distinct vertices $a$ and $b$ are adjacent if $a^{{m}_1}$=$b^{{m}_2}$ for some positive integers ${m}_1 ,{m}_2 < n$. In this article we classify all groups $G$ for which $\mathcal{P}_s(G)$ is line graph and Caley graph. Spectrum and permanent of the Laplacian matrix of the strong power graph $\mathcal{P}_s(G)$ are found for any finite group $G$.

研究动机与目标

• 分类有限群 $G$，使得强幂图 $\mathcal{P}_s(G)$ 为线图。
• 确定 $\mathcal{P}_s(G)$ 为某群凯莱图的条件，建立其与群性质的结构关联。
• 计算任意有限群 $G$ 的 $\mathcal{P}_s(G)$ 的拉普拉斯谱。
• 推导 $\mathcal{P}_s(G)$ 的拉普拉斯矩阵永久值的显式公式，适用于循环群与非循环群。
• 探讨 $\mathcal{P}_s(G)$ 的谱与图论不变量，包括代数连通性和色数。

提出的方法

• 使用强幂图的定义：顶点为群元素，且 $a \sim b$ 当且仅当存在 $m_1, m_2 < n$ 使得 $a^{m_1} = b^{m_2}$。
• 应用引理 2.1，通过排除九种禁止的诱导子图来表征线图。
• 利用欧拉函数 $\phi(n)$ 和非生成元分析 $\mathcal{P}_s(\mathbb{Z}_n)$ 的结构，以确定图是否避开禁止子图。
• 通过谱图论推导拉普拉斯谱，利用非单位元形成的团结构以及单位元的连接关系。
• 通过生成函数与对称多项式展开等永久值计算技术，特别适用于与团相连的全域顶点的图。
• 利用二项式系数与带符号排列的组合恒等式，计算拉普拉斯矩阵的永久值。

实验结果

研究问题

• RQ1 对于哪些有限群 $G$，强幂图 $\mathcal{P}_s(G)$ 是线图？
• RQ2 $\mathcal{P}_s(G)$ 何时同构于某群的凯莱图？
• RQ3 任意有限群 $G$ 的 $\mathcal{P}_s(G)$ 的完整拉普拉斯谱是什么？
• RQ4 $\mathcal{P}_s(G)$ 的拉普拉斯矩阵永久值的显式公式是什么？
• RQ5 代数连通性与色数等谱不变量如何与群结构相关联？

主要发现

• 强幂图 $\mathcal{P}_s(G)$ 是线图当且仅当 $G$ 为阶为 4、9 或素数的循环群。
• $\mathcal{P}_s(G)$ 是凯莱图当且仅当 $G$ 为非循环群。
• 对于阶为 $n$ 的循环群 $G$，其拉普拉斯谱被完全表征，特征值由群的阶与 $\phi(n)$ 决定。
• 对于阶为 $n$ 的循环群 $G$，$\mathcal{P}_s(G)$ 的邻接矩阵永久值由涉及 $\phi(n)$、$n-1$ 与二项式系数的复杂求和公式给出。
• 对于阶为 $n$ 的循环群 $G$，$\mathcal{P}_s(G)$ 的拉普拉斯矩阵永久值表示为关于 $r$ 的求和，包含 $F_r(d)$、二项式系数以及 $n$ 与 $n-1$ 的幂次。
• 对于阶为 $n$ 的非循环群 $G$，$\mathcal{P}_s(G)$ 的拉普拉斯矩阵为完全矩阵，其永久值为 $(-1)^n n! \left(1 - \frac{n}{1!} + \frac{n^2}{2!} - \cdots + (-1)^n \frac{n^n}{n!}\right)$。