[논문 리뷰] A note on the automorphism groups of Johnson graphs

S. Morteza Mirafzal|arXiv (Cornell University)|2017. 02. 08.

Finite Group Theory Research참고 문헌 9인용 수 5

한 줄 요약

이 논문은 $n \neq 2i$일 때 Johnson 그래프 $J(n,i)$의 자기동형군이 $\mathrm{Sym}(n)$과 동형이며, $n = 2i$일 때는 $\mathrm{Sym}(n) \times \mathbb{Z}_2$와 동형임을 초등적인 방법으로 증명한다. 이는 이전 연구에서 제기된 추측을 확인하는 것으로, 증명은 무거운 군론적 기법을 사용하지 않고 거리 기반 정점 구조 분석과 군 작용의 논리를 활용한다.

ABSTRACT

The Johnson graph $J(n, i)$ is defined as the graph whose vertex set is the set of all $i$-element subsets of $\{1, . . ., n \}$, and two vertices are adjacent whenever the cardinality of their intersection is equal to $i$-1. In Ramras and Donovan [SIAM J. Discrete Math, 25(1): 267-270, 2011], it is proved that if $ n eq 2i$, then the automorphism group of $J(n, i)$ is isomorphic with the group $Sym(n)$ and it is conjectured that if $n = 2i$, then the automorphism group of $J(n, i)$ is isomorphic with the group $ Sym(n) imes \mathbb{Z}_2$. In this paper, we will find these results by different methods. We will prove the conjecture in the affirmative.

연구 동기 및 목표

• Johnson 그래프 $J(n,i)$의 자기동형군에 관한 추측을 $n = 2i$일 때 해결하기.
• 기본적인 군론과 그래프 구조만을 사용하여 Johnson 그래프의 자기동형군에 대한 초등적 증명을 제공하기.
• 거리-전이성 성질과 안정자군 분석을 통해 $n \neq 2i$이면 자기동형군이 $\mathrm{Sym}(n)$이며, $n = 2i$이면 $\mathrm{Sym}(n) \times \mathbb{Z}_2$임을 입증하기.
• 보완 사상 $v \mapsto v^c$가 대칭군 작용에 속하지 않는 자기동형임을 보이고, 모든 대칭군 자기동형과 교환된다는 것을 보여주기.

제안 방법

• 고정된 정점 $x$로부터의 거리 분할 $\Gamma_i(x)$를 분석하여, 이웃 집합의 교차를 통해 정점을 특성화한다.
• $\Gamma_1(x)$가 즉, $x$의 이웃이 $L(K_{m,n-m})$와 동형임을 이용하여 局부 자기동형의 구조를 분석한다.
• $\mathrm{Aut}(L(K_{m,n-m})) \cong \mathrm{Aut}(K_{m,n-m})$의 동형을 적용하여 안정자군 $G_v$의 크기를 유 bounds 한다.
• 보완 사상 $\alpha(v) = v^c$가 순서 2인 자기동형이며, $\mathrm{Sym}(n)$의 상에 포함되지 않음을 보이고, 모든 $f_\theta$와 교환된다는 것을 보인다.
• $\mathrm{Sym}(n)$과 $\alpha$가 생성하는 군이 $n = 2m$일 때 직적 $\mathrm{Sym}(n) \times \mathbb{Z}_2$를 이루며, 이 군이 $|\mathrm{Aut}(J(n,m))|$의 상한에 도달함을 증명한다.
• 오빗-안정자 정리와 정점 전이성을 활용하여 $|\mathrm{Aut}(J(n,m))|$를 $|G_v| \cdot \binom{n}{m}$과 연결함으로써 최종적인 군 동형을 이끌어낸다.

실험 결과

연구 질문

• RQ1 Johnson 그래프 $J(n,i)$의 자기동형군은 $n = 2i$일 때 어떻게 되는가?
• RQ2 이전 연구에서 제기된 바와 같이, $n = 2i$일 때 Johnson 그래프의 자기동형군이 $\mathrm{Sym}(n) \times \mathbb{Z}_2$와 동형인가?
• RQ3 기본적인 군론적 및 그래프 이론적 방법만을 사용하여 Johnson 그래프의 자기동형군을 결정할 수 있는가?
• RQ4 왜 보완 사상 $v \mapsto v^c$는 $\mathrm{Sym}(n)$의 상에 속하지 않는 자기동형으로 작용하며, 대칭군 작용과 어떻게 상호작용하는가?

주요 결과

• $n \neq 2m$일 때, $J(n,m)$의 자기동형군은 $\mathrm{Sym}(n)$과 동형이며, 군의 순서가 $n!$으로 유 bounds 되고, 대칭군 작용이 이 상한에 도달하기 때문이다.
• $n = 2m$일 때, $J(n,m)$의 자기동형군은 $\mathrm{Sym}(n) \times \mathbb{Z}_2$와 동형이며, $\mathbb{Z}_2$ 성분은 보완 사상 $\alpha(v) = v^c$에 의해 생성된다.
• 보완 사상 $\alpha$는 순서 2인 자기동형이며, 고정점과 치환을 이용한 모순을 통해 $\mathrm{Sym}(n)$의 상에 포함되지 않음을 보였다.
• $\mathrm{Aut}(J(n,m))$는 $H \times \langle \alpha \rangle$의 직적이며, 여기서 $H \cong \mathrm{Sym}(n)$은 대칭군 작용의 상이고, $\alpha$는 모든 $f_\theta$와 교환되므로 $H \triangleleft G$ 및 $\langle \alpha \rangle \triangleleft G$이다.
• 안정자군 $G_v$의 크기는 $|\mathrm{Aut}(K_{m,n-m})|$ 이하이며, 이 상한은 날카롭다. 따라서 $n = 2m$일 때 $|\mathrm{Aut}(J(n,m))| \leq 2(2m)!$이며, 이는 $\mathrm{Sym}(2m) \times \mathbb{Z}_2$의 순서와 일치한다.
• 군 $G = \mathrm{Aut}(J(n,m))$는 $H \langle \alpha \rangle$와 같으며, 모든 $\theta$에 대해 $f_\theta \alpha = \alpha f_\theta$이므로 곱은 직적이다. 이는 $n = 2m$일 때 $G \cong \mathrm{Sym}(n) \times \mathbb{Z}_2$임을 확인한다.