[論文レビュー] 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.

研究の動機と目的

• 折りたたみ超立方体 $FQ_n$ ($n > 3$) の完全な自己同型群を特定すること。
• $FQ_n$ が対称グラフであること、すなわち任意の隣接頂点ペairに対して、それを写像する自己同型が存在することを証明すること。
• 自己同型群 $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$ である。
• 平行移動の共役性を用いて、すべての $f \in M$、$g \in N$ に対して $f^{-1}gf \in N$ を示すことで、$N$ が $Aut(FQ_n)$ で正規であることを証明する。
• ケイリー・グラフ $\Gamma(\mathbb{Z}_2^n, S)$ として $FQ_n$ が構成されることを用い、生成集合 $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 折りたたみ超立方体 $FQ_n$ ($n > 3$) の完全な自己同型群は何か？
• 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$ 上に忠実に作用する。