[論文レビュー] 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\}$ 上の置換群作用を分析する。
• 自己同型群 $Aut(HS(2k,k))$ 内の正則部分群 $R \leq$ の構造を、$\tilde{\sigma}\theta^i$ の形に分解することで分析する。ここで $\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 $k \geq 3$ の場合、$Aut(HS(2k,k))$ が正則部分群を含まない構造的制約は何か？

主な発見

• $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$ の場合、$R \leq Aut(HS(6,3))$ が正則に作用すると仮定すると、1 を固定する任意の対合は頂点を固定する必要があり、これは半正則性に反する。