[논문 리뷰] Some other algebraic properties of folded hypercubes

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

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$가 대칭 그래프임을 증명하여 기존의 간선 전이성 결과를 확장하는 것.
• 반직접곱 분해를 통해 $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)$에서正规임을 증명한다.
• 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 접힌 하이퍼큐브 $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$의 연결성은 얼마이며, 대칭성은 최소 차수와 어떻게 관련이 있는가?

주요 결과

• 접힌 하이퍼큐브 $FQ_n$ ($n > 3$)의 자기동형군은 $\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$은 생성집합 $S$의 크기가 $n+1$이므로 $\text{Sym}(S)$에 동형이며, $S$ 위에 충실하게 작용한다.