[논문 리뷰] The automorphism group of Cayley graphs on symmetric groups generated by transposition sets and of the modified bubble-sort graph

Ashwin Ganesan|arXiv (Cornell University)|2012. 05. 23.

Genome Rearrangement Algorithms인용 수 2

한 줄 요약

이 논문은 전위 집합으로 생성된 대칭군 위의 케일리 그래프의 자기동형군을 규명하며, 전위 그래프의 둘레가 5 이상일 경우 자기동형군이 오른쪽 정규표현과 생성집합을 고정하는 대칭군의 자기동형의 준직접곱임을 보여준다. 또한 전위 그래프에 4-사이클이 존재할 경우 비자명한 정점 고정 자기동형이 존재함을 규명하여, 이러한 그래프의 대칭성에 구조적 영향을 미친다는 것을 밝혀낸다.

ABSTRACT

Let $S$ be a set of transpositions that generates the symmetric group $S_n$, where $n \ge 3$. The transposition graph $T(S)$ is defined to be the graph with vertex set $\{1,\ldots,n\}$ and with vertices $i$ and $j$ being adjacent in $T(S)$ whenever $(i,j) \in S$. We prove that if the girth of the transposition graph $T(S)$ is at least 5, then the automorphism group of the Cayley graph $\Cay(S_n,S)$ is the semidirect product $R(S_n) times \Aut(S_n,S)$, where $\Aut(S_n,S)$ is the set of automorphisms of $S_n$ that fixes $S$. This strengthens a result of Feng on transposition graphs that are trees. We also prove that if the transposition graph $T(S)$ is a 4-cycle, then the set of automorphisms of the Cayley graph $\Cay(S_4,S)$ that fixes a vertex and each of its neighbors is isomorphic to the Klein 4-group and hence is nontrivial. We thus identify the existence of 4-cycles in the transposition graph as being an important factor in causing a potentially larger automorphism group of the Cayley graph.

연구 동기 및 목표

• 전위 집합으로 생성된 대칭군 위의 케일리 그래프의 자기동형군을 규명하는 것.
• 전위 그래프의 구조—특히 그 둘레와 사이클 구조—가 해당 케일리 그래프의 대칭성에 미치는 영향을 조사하는 것.
• 이전의 전위 그래프가 트리인 경우에 대한 결과를 더 일반적인 경우인 높은 둘레 또는 4-사이클을 가진 경우로 확장하는 것.
• 전위 그래프에 4-사이클이 존재할 경우 케일리 그래프의 자기동형군이 더 커지는가를 규명하는 것.

제안 방법

• 전위 집합 S에 대해, i와 j가 S에 속하는 전위 (i,j)가 존재할 경우 {1,…,n} 위의 그래프 T(S)로 정의한다.
• T(S)의 둘레를 구조적 조건으로 사용: 둘레 ≥ 5이면 케일리 그래프 Cay(Sₙ,S)의 자기동형군은 R(Sₙ) ⋊ Aut(Sₙ,S)와 동형임을 보인다.
• T(S)가 4-사이클인 경우, 특히 n=4일 때 정점 고정 자기동형을 분석한다.
• T(S)가 4-사이클일 경우, Cay(S₄,S)에서 정점과 그 이웃의 안정자군이 클레인 4원군과 동형임을 증명한다.
• 생성집합 S를 보존하는 Sₙ의 자기동형을 분석하기 위해 군론적 기법을 적용한다.
• 준직접곱 구조를 활용하여 케일리 그래프의 전체 자기동형군을 분해한다.

실험 결과

연구 질문

• RQ1 전위 그래프 T(S)에 어떤 조건이 성립할 경우, Cay(Sₙ,S)의 자기동형군이 R(Sₙ) ⋊ Aut(Sₙ,S)와 동형이 되는가?
• RQ2 T(S)에 4-사이클이 존재할 경우, Cay(Sₙ,S)의 자기동형군에 어떤 영향을 미치는가?
• RQ3 T(S)가 4-사이클일 경우, Cay(S₄,S)에서 정점과 그 이웃의 안정자군의 구조는 어떠한가?
• RQ4 T(S)의 둘레가 케일리 그래프의 전체 자기동형군을 결정하는 데 충분한 조건인가?
• RQ5 T(S)에 4-사이클이 포함되어 있을 경우, Cay(Sₙ,S)의 자기동형군이 R(Sₙ) ⋊ Aut(Sₙ,S)보다 더 클 수 있는가?

주요 결과

• 전위 그래프 T(S)의 둘레가 5 이상일 경우, Cay(Sₙ,S)의 자기동형군은 준직접곱 R(Sₙ) ⋊ Aut(Sₙ,S)와 동형이다.
• 이 결과는 이전에 전위 그래프가 트리인 경우에 대해 Feng가 수행한 연구를 강화하며, 더 높은 둘레를 가진 그래프로 확장한다.
• T(S)가 4-사이클일 경우, Cay(S₄,S)에서 정점과 그 이웃의 안정자군은 클레인 4원군과 동형이며, 이는 정규표현을 초월한 비자명한 대칭성을 나타낸다.
• T(S)에 4-사이클 존재는 해당 케일리 그래프의 자기동형군이 더 커질 수 있는 핵심 요인으로 규명되었다.
• 연구 결과, T(S)의 구조적 특성—예를 들어 사이클 길이와 둘레—이 케일리 그래프의 대칭성에 직접적인 영향을 미친다는 것이 드러났다.
• n=4이고 T(S)가 4-사이클일 경우, Cay(S₄,S)의 자기동형군은 정점과 그 이웃을 고정하는 비자명한 부분군을 포함하며, 이는 정규군 작용에서의 이탈을 보여준다.