[논문 리뷰] On the Automorphism Groups of Regular Hyper-Stars and Folded Hyper-Stars

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

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)$ 사이의 그래프 이sov의성을 활용하여, 집합 체계와 특성 함수를 통해 대칭성을 분석하는 것.
• 군 작용 이론을 적용: $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을 고정하는 임의의 반전이 반드시 정점 하나를 고정하게 되어 반정규성 조건을 위반함으로써 모순이 발생함.