[논문 리뷰] Cayley graphs on abelian groups

Edward Dobson, Pablo Spiga외 1명|Repository of the University of Primorsk (University of Primorska)|2013. 06. 17.

Finite Group Theory Research참고 문헌 20인용 수 4

한 줄 요약

이 논문은 유한 아벨 군 위의 거의 모든 카일리 그래프가 가장 작은 자기동형군을 가짐을 증명한다. 즉, $A \rtimes \langle \iota \rangle$이며, 여기서 $\iota$는 군 원소를 역수로 바꾸는 연산이다. 수세기와 군론적 기법을 사용하여, 이러한 최소 자기동형군을 갖는 역수 닫힘 연결 집합의 비율이 군의 순서 $n \to \infty$일 때 1에 수렴함을 보이며, 바바이와 고즈일의 추측을 아벨 군에 대해 확인한다.

ABSTRACT

Let $A$ be an abelian group and let $ι$ be the automorphism of $A$ defined by $i:a\mapsto a^{-1}$. A Cayley graph $Γ=\mathrm{Cay}(A,S)$ is said to have an automorphism group \emph{as small as possible} if $\mathrm{Aut}(Γ)= A times\langle i angle$. In this paper, we show that almost all Cayley graphs on abelian groups have automorphism group as small as possible, proving a conjecture of Babai and Godsil.

연구 동기 및 목표

• 바바이와 고즈일이 제기한 추측을 해결하는 것: 거의 모든 아벨 군 위의 카일리 방향그래프는 DRR(방향그래프 정규표현)이다.
• 이를 카일리 그래프로 확장하여, 거의 모든 역수 닫힘 연결 집합이 가능한 한 최소한의 자기동형군, 즉 $A \rtimes \langle \iota \rangle$을 갖는다는 것을 보이는 것.
• 군의 순서 $n \to \infty$일 때 이러한 최소 자기동형군을 갖는 카일리 그래프의 비율이 1로 수렴함을 입증하는 것.
• 비표준 카일리 그래프를 분석하여 점근적으로 거의 모든 그래프가 최소 자기동형군을 갖는 그래프와 구별되지 않음을 보이는 것.

제안 방법

• 모든 역수 닫힘 부분집합 $S \subseteq A$를 수세기하고, $\mathop{\mathrm{Cay}}(A,S)$의 자기동형군에 따라 분류하는 것.
• 스푸르 링크와 전이적 순열군의 군론적 제약 조건을 이용하여 더 큰 자기동형군을 갖는 '나쁜' 연결 집합의 수를 근사하는 것.
• 군의 순서인 $n$에 대한 지수적 및 로그적 항을 사용하여, 비최소 자기동형군을 갖는 집합의 크기를 근사하는 것.
• 군 $A$가 $B = A \rtimes \langle \iota \rangle$에서 특성임을 이용하여 그래프의 동형사상과 $A$의 자기동형군을 연결함으로써, 비표준 설정에서의 수를 세는 데 도움을 주는 것.
• 점근적 추정을 적용하여, $n \to \infty$일 때 '나쁜' 집합의 수와 총 집합의 수 비율이 0으로 수렴함을 보이며, 주요 결과를 증명하는 것.

실험 결과

연구 질문

• RQ1 군의 순서 $|A| \to \infty$일 때, $\mathop{\mathrm{Aut}}(\mathop{\mathrm{Cay}}(A,S)) = A \rtimes \langle \iota \rangle$를 만족하는 역수 닫힘 부분집합 $S \subseteq A$의 비율이 1로 수렴하는가?
• RQ2 바바이와 고즈일의 추측, 즉 거의 모든 카일리 방향그래프가 DRR임을, 지수 2를 초과하는 아벨 군 위의 카일리 그래프로 확장할 수 있는가?
• RQ3 최소 자기동형군을 갖는 아벨 군 위의 비표준 카일리 그래프의 수의 점근적 행동은 어떠한가?
• RQ4 더 큰 자기동형군을 갖는 연결 집합의 크기와 전체 역수 닫힘 집합의 수는 어떻게 비교되는가?

주요 결과

• 군의 순서 $|A| \to \infty$일 때, $\mathop{\mathrm{Aut}}(\mathop{\mathrm{Cay}}(A,S)) = A \rtimes \langle \iota \rangle$를 만족하는 역수 닫힘 부분집합 $S \subseteq A$의 비율이 1로 수렴함을 보이며, 추측 1.4를 확인한다.
• 더 큰 자기동형군을 갖는 '나쁜' 연결 집합의 수는 $m$이 $A$의 순서 2 이하의 원소 수일 때, $2^{m/2 + 11n/24 + 2(\log_2 n)^2 + 2}$ 이하로 유계됨을 보이며, 이는 전체 역수 닫힘 집합의 수에 비해 무시할 만큼 작다.
• 비표준 카일리 그래프의 경우, 자기동형군이 $A \rtimes \langle \iota \rangle$인 그래프의 수와 전체 비표준 카일리 그래프의 수 비율이 $n \to \infty$일 때 1로 수렴함을 보이며, 정리 6.2를 증명한다.
• $A$ 위의 DRR 수는 $|2^A_{\text{DRR}}| \geq 2^n - 2^{3n/4 + 2(\log_2 n)^2 + 1}$를 만족함을 보이며, 거의 모든 $A$ 위의 카일리 방향그래프가 DRR임을 보여준다.
• $A$ 위의 비표준 DRR 수는 $|\mathrm{UDRR}(A)| \geq 2^{n - (\log_2 n)^2} - 2^{3n/4 + (\log_2 n)^2 + 1}$를 만족하며, 비-DRR 수와 DRR 수의 비율이 0으로 수렴함을 보이며, 정리 6.1을 증명한다.