[论文解读] Some other algebraic properties of folded hypercubes

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

Interconnection Networks and Systems参考文献 5被引用 3

一句话总结

该论文明确构造了 $n > 3$ 时折叠超立方体 $FQ_n$ 的自同构群，将其表示为半直积 $\mathbb{Z}_2^n \rtimes \text{Sym}(n+1)$，并证明 $FQ_n$ 是一个对称图。该结果表明 $FQ_n$ 同时具有顶点对称性和边对称性，且连通度达到最大值 $n+1$，其证明基于线性代数与凯莱图结构上的群作用理论。

ABSTRACT

We construct explicity the automorphism group of the folded hypercube $FQ_n$ of dimension $n>3$, as a semidirect product of $N$ by $M$, where $N$ is isomorphic to the Abelian group $Z_2^n$, and $M$ is isomorphic to $Sym(n+1)$, the symmetric group of degree $n+1$, then we will show that the folded hypercube $FQ_n$ is a symmetric graph.

研究动机与目标

• 确定 $n > 3$ 时折叠超立方体 $FQ_n$ 的完整自同构群。
• 证明 $FQ_n$ 是一个对称图，扩展其已知的边对称性。
• 通过半直积分解方法建立 $Aut(FQ_n)$ 的群结构。
• 证明顶点的稳定子群在邻居上作用传递，从而确认对称性。
• 证明由于其对称且正则的结构，$FQ_n$ 的连通度达到最大值 $n+1$。

提出的方法

• 将 $Aut(FQ_n)$ 构造为半直积 $N \rtimes M$，其中 $N \cong \mathbb{Z}_2^n$ 为平移群，$M \cong \text{Sym}(n+1)$ 为线性自同构群。
• 将 $M$ 定义为从标准基 $B$ 到生成集 $S = B \cup \{u\}$ 的双射的线性扩张集合，其中 $u = \sum e_i$。
• 通过利用平移的共轭性质，证明 $N$ 在 $Aut(FQ_n)$ 中是正规子群，即对所有 $f \in M$，$g \in N$，有 $f^{-1}gf \in N$。
• 利用 $FQ_n$ 是凯莱图 $\Gamma(\mathbb{Z}_2^n, S)$ 的事实，通过在生成集 $S$ 上的群作用分析自同构。
• 证明原点的稳定子 $G_0$ 在 $N(0) = S$ 上作用传递，通过证明 $\bar{M} = \text{Sym}(S)$，从而得出 $G_0 \cong \text{Sym}(n+1)$。
• 通过计算线性扩张数量并验证群的封闭性，得出 $|Aut(FQ_n)| = 2^n \cdot (n+1)!$。

实验结果

研究问题

• RQ1 对于 $n > 3$，折叠超立方体 $FQ_n$ 的完整自同构群是什么？
• RQ2 折叠超立方体 $FQ_n$ 是否是对称图，即对任意两对相邻顶点，是否存在一个自同构将其中一对映射到另一对？
• RQ3 自同构群的结构如何与底层向量空间 $\mathbb{Z}_2^n$ 及生成集 $S$ 相关联？
• RQ4 为何当 $n = 3$ 时，自同构群不构成 $\mathbb{Z}_2^n \rtimes \text{Sym}(n+1)$？
• RQ5 折叠超立方体 $FQ_n$ 的连通度是多少，其对称性与最小度之间有何关系？

主要发现

• 当 $n > 3$ 时，$FQ_n$ 的自同构群同构于 $\mathbb{Z}_2^n \rtimes \text{Sym}(n+1)$，其阶为 $2^n \cdot (n+1)!$。
• 折叠超立方体 $FQ_n$ 是一个对称图，因为任一顶点的稳定子群在邻居上作用传递。
• 自同构群在顶点和边上均作用传递，确认了顶点对称性和边对称性。
• $FQ_n$ 的连通度为 $n+1$，与其最小度一致，这是由于其对称且边对称的结构所致。
• 当 $n = 3$ 时，$FQ_3 \cong K_{4,4}$，其自同构群阶为 $2 \cdot (4!)^2 = 1152$，表明该结果不适用于 $n = 3$。
• $M$ 线性自同构群同构于 $\text{Sym}(S)$，其中 $S$ 是大小为 $n+1$ 的生成集，且在 $S$ 上忠实作用。