[论文解读] On the Automorphism Groups of Regular Hyper-Stars and Folded Hyper-Stars

S. Morteza Mirafzal|arXiv (Cornell University)|Mar 18, 2011

graph theory and CDMA systems参考文献 6被引用 3

一句话总结

本文确定了正则超星图 $HS(2k,k)$ 和折叠超星图 $FHS(2k,k)$ 的自同构群，证明仅有 $HS(4,2)$ 和 $FHS(4,2)$ 是凯莱图。研究发现，当 $k \geq 3$ 时，由于其自同构群中正规子群的结构限制，这些图不是凯莱图。

ABSTRACT

The hyper-star graph $HS(n,k)$ is defined as follows : its vertex-set is the set of $ {0,1} $-sequences of length $n$ with weight $k$, where the weight of a sequence $v$ is the number of $1^,s$ in $v$, and two vertices are adjacent if and only if one can be obtained from the other by exchanging the first symbol with a different symbol (1 with 0, or 0 with 1) in another position. In this paper, we will find the automorphism groups of regular hyper-star and folded hyper-star graphs. Then, we will show that, only the graphs HS(4,2) and FHS(4,2) are Cayley graphs.

研究动机与目标

• 确定正则超星图 $HS(2k,k)$ 和折叠超星图 $FHS(2k,k)$ 的自同构群。
• 研究这些图是否为凯莱图，特别是当 $k \geq 3$ 时。
• 分析自同构群在顶点集及其稳定子群上的作用，以判断其正则性与传递性。
• 建立自同构群 $Aut(HS(2k,k))$ 中潜在正规子群的结构约束，这些约束是凯莱图结构所必需的。
• 解决在凯莱图实现背景下 $k=2$ 与 $k \geq 3$ 的情况区分问题。

提出的方法

• 利用 $HS(n,k)$ 与约翰逊图 $S(n,k)$ 之间的图同构，通过集合系统与特征函数分析对称性。
• 应用群作用理论：研究 $Aut(\Gamma)$ 在顶点集与边集上的作用，重点关注传递性与稳定子群。
• 采用 $m$-齐次性概念分析置换群在子集上的作用，特别是作用于 $Y = \{2, \dots, 2k\}$。
• 通过将元素分解为 $\tilde{\sigma}\theta^i$ 的形式，分析自同构群 $Aut(HS(2k,k))$ 中正规子群 $R \leq$ 的结构，其中 $\theta$ 为补集映射。
• 使用组合可除性论证：由 $\binom{2k-1}{k-2} \mid \frac{1}{2}\binom{2k}{k}$ 推导出 $k-1 \mid k+1$，从而限制 $k \in \{1,2,3\}$。
• 对 $k=3$ 在 $Sym(6)$ 中进行显式循环分析，表明任何固定顶点 1 的对合必须固定一个顶点，与正则性矛盾。

实验结果

研究问题

• RQ1 正则超星图 $HS(2k,k)$ 的自同构群是什么？
• RQ2 折叠超星图 $FHS(2k,k)$ 的自同构群是什么？
• RQ3 在哪些 $k$ 值下，$HS(2k,k)$ 或 $FHS(2k,k)$ 是凯莱图？
• RQ4 为何 $HS(4,2)$ 和 $FHS(4,2)$ 能成为凯莱图，而其他图不能？
• RQ5 何种结构约束阻止 $Aut(HS(2k,k))$ 在 $k \geq 3$ 时包含正规子群？

主要发现

• 正则超星图 $HS(2k,k)$ 和折叠超星图 $FHS(2k,k)$ 的自同构群同构于 $H = NQ$，其中 $N$ 和 $Q$ 是特定的置换与补集子群。
• $HS(4,2)$ 同构于 $C_6$，即 6-圈，其自同构群为阶为 12 的二面体群 $D_{12}$。
• $FHS(4,2)$ 同构于 $K_{3,3}$，即完全二分图，其自同构群阶为 72。
• 当 $k \geq 3$ 时，$HS(2k,k)$ 和 $FHS(2k,k)$ 均非凯莱图，因其自同构群中不存在正规子群。
• 使 $HS(2k,k)$ 成为凯莱图的唯一 $k$ 值为 $k=2$（此时为 $C_6$）和 $k=3$，但 $k=3$ 被循环结构矛盾排除。
• 当 $k=3$ 时，假设 $R \leq Aut(HS(6,3))$ 作用正则会导致矛盾，因为任何固定 1 的对合必须固定一个顶点，违反半正则性。