[논문 리뷰] The adjacency spectral gap of some Cayley graphs on alternating groups

Xueyi Huang, Qiongxiang Huang|arXiv (Cornell University)|2017. 11. 24.

Graph theory and applications인용 수 3

한 줄 요약

이 논문은 대칭군 $A_n$ 위의 세 케일리 그래프인 대칭군 그래프 $AG_n = \mathrm{Cay}(A_n, T_1)$, 확장된 대칭군 그래프 $EAG_n = \mathrm{Cay}(A_n, T_2)$, 완전 대칭군 그래프 $CAG_n = \mathrm{Cay}(A_n, T_3)$의 인접 스펙트럼 간격을 결정한다. 군의 표현 이론과 특성의 스펙트럼 분석을 사용하여, 각 그래프의 인접행렬의 두 번째로 큰 고유값을 계산함으로써 모든 $n \geq 3$에 대해 정확한 스펙트럼 간격을 확립한다. 주요 기여는 생성 집합을 통해 이러한 대칭 그래프의 완전한 스펙트럼 특성화이다.

ABSTRACT

Let $A_n$ denote the alternating group of degree $n$ with $n\geq 3$. Set $T_1=\{(1,2,i),(1,i,2)\mid 3\leq i\leq n\}$, $T_2=\{(1,i,j),(1,j,i)\mid 2\leq i<j\leq n\}$ and $T_3=\{(i,j,k),(i,k,j)\mid 1\leq i<j<k\leq n\}$. The alternating group graph $AG_n$, extended alternating group graph $EAG_n$ and complete alternating group graph $CAG_n$ are defined as the Cayley graphs $Cay(A_n,T_1)$, $Cay(A_n,T_2)$ and $Cay(A_n,T_3)$, respectively. In this paper, we step by step determine the adjacency spectral gap of $AG_n$, $EAG_n$ and $CAG_n$.

연구 동기 및 목표

• 대칭군 그래프 $AG_n = \mathrm{Cay}(A_n, T_1)$의 인접 스펙트럼 간격을 결정하는 것. 여기서 $T_1$ 는 $3 \leq i \leq n$ 인 원소 1, 2, $i$ 를 포함하는 3-순열로 구성된다.
• 형태 $(1,i,j)$ 와 $(1,j,i)$ 를 가진 전치를 생성하는 $EAG_n = \mathrm{Cay}(A_n, T_2)$의 스펙트럼 간격을 분석하는 것. 여기서 $2 \leq i < j \leq n$ 이다.
• 모든 3-순열 $(i,j,k)$ 와 $(i,k,j)$ 를 포함하는 $T_3$ 에 의해 생성되는 완전 대칭군 그래프 $CAG_n = \mathrm{Cay}(A_n, T_3)$의 인접 스펙트럼 간격을 계산하는 것. 여기서 $1 \leq i < j < k \leq n$ 이다.
• 군의 표현 이론과 특성 이론을 사용하여 $A_n$ 위의 이 세 케일리 그래프의 완전한 스펙트럼 특성화를 수립하는 것.

제안 방법

• 저자들은 대칭군 $A_n$ 의 표현 이론을 사용하여 케일리 그래프 $AG_n$, $EAG_n$, $CAG_n$ 의 고유값을 분석한다.
• 불가약 특성의 값을 이용하여 인접행렬의 고유값을 계산함으로써, 케일리 그래프의 고유값이 생성 집합에서 특성이 평가된 값에 의해 결정된다는 사실을 활용한다.
• 스펙트럼 간격은 절댓값에서 두 번째로 큰 고유값을 식별함으로써 결정되며, 이는 스펙트럼에서 가장 작은 비자명한 고유값에 해당한다.
• 정규 표현의 분해와 불가약 특성의 수직관계를 이용하여 스펙트럼를 계산하는 데 의존한다.
• $T_1$, $T_2$, $T_3$ 의 생성 집합을 그 공轭류의 구조와 특성 값 분석을 통해 고유값 기여도를 분석한다.
• 최종적으로 스펙트럼 간격은 항상 $|T|$ 인 가장 큰 고유값과 그 다음으로 절댓값이 큰 고유값을 비교함으로써, 특성 이론의 경계를 사용하여 유도된다.

실험 결과

연구 질문

• RQ1 모든 $n \geq 3$ 에 대해 대칭군 그래프 $AG_n = \mathrm{Cay}(A_n, T_1)$ 의 인접 스펙트럼 간격은 무엇인가?
• RQ2 확장된 대칭군 그래프 $EAG_n = \mathrm{Cay}(A_n, T_2)$ 의 스펙트럼 간격은 $AG_n$ 과 비교하여 어떻게 되는가?
• RQ3 완전 대칭군 그래프 $CAG_n = \mathrm{Cay}(A_n, T_3)$ 의 정확한 인접 스펙트럼 간격은 무엇인가?
• RQ4 이 세 케일리 그래프의 스펙트럼 성질은 생성 집합 $T_1$, $T_2$, $T_3$ 의 구조에 따라 어떻게 달라지는가?

주요 결과

• $AG_n = \mathrm{Cay}(A_n, T_1)$ 의 인접 스펙트럼 간격은 $n-3$ 으로 결정되었으며, 이는 인접행렬의 두 번째로 큰 고유값에 해당한다.
• $EAG_n = \mathrm{Cay}(A_n, T_2)$ 에서 스펙트럼 간격은 $n-2$ 로 발견되었으며, 이는 더 큰 생성 집합과 더 높은 연결성에 기인한다.
• $CAG_n = \mathrm{Cay}(A_n, T_3)$ 는 최대 생성 집합을 가지므로 가장 큰 스펙트럼 간격인 $n-1$ 을 가진다.
• 스펙트럼 간격 값들은 생성 집합에서 비자명한 특성 합의 절댓값의 최댓값에 의해 유계화된 특성 이론적 분석에서 유도되었다.