[논문 리뷰] Some algebraic properties of bipartite Kneser graphs

S. Morteza Mirafzal, Ali Zafari|arXiv (Cornell University)|2018. 04. 12.

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

한 줄 요약

이 논문은 이분할 Kneser 그래프 $H(n,k)$의 대수적 성질을 조사하여, 그것이 간선-추이성임을 증명하고 $H(n,1)$의 자기동형군을 $\mathrm{Sym}([n]) \times \mathbb{Z}_2$로 규명한다. 또한 $H(n,1)$가 카일리 그래프임을 보이며 일반 $k$에 대한 자기동형군에 대한 열린 질문을 제기한다. 결과적으로 네트워크 설계와 대수적 그래프 이론에 관련된 강력한 대칭성과 구조적 성질을 확립한다.

ABSTRACT

Let $n$ and $k$ be integers with $n> k\geq1$ and $[n] = \{1, 2, ... , n\} $. The $bipartite \ Kneser \ graph$ $H(n, k)$ is the graph with the all $k$-element and all ($n-k$)-element subsets of $[n] $ as vertices, and there is an edge between any two vertices, when one is a subset of the other. In this paper, we show that $H(n, k)$ is an arc-transitive graph. Also, we show that $H(n,1)$ is a distance-transitive Cayley graph. Finally, we determine the automorphism group of the graph $H(n, 1)$ and show that $Aut(H(n, 1)) \cong Sym([n] )$ $ imes \mathbb{Z}_2$, where $\mathbb{Z}_2$ is the cyclic group of order $2$. Moreover, we pose some open problems about the automorphism group of the bipartite Kneser graph $H(n, k)$.

연구 동기 및 목표

• 이분할 Kneser 그래프 $H(n,k)$의 자기동형군을 조사하는 것, 특히 $k=1$의 경우에 중점을 두는 것.
• $H(n,k)$가 모든 $k$에 대해 간선-추이성 및 정점-추이성인지 규명하는 것.
• $H(n,k)$의 구조적 및 대칭성 성질을 탐색하는 것, 연결성과 정규성 포함.
• $H(n,1)$이 카일리 그래프인지 규명하고 그 자기동형군을 특성화하는 것.
• 일반 $k$에 대해 $H(n,k)$의 자기동형군에 대한 열린 문제를 제기하는 것.

제안 방법

• 집합의 순열 작용 사용: $\theta \in \mathrm{Sym}([n])$에 대해 $k$-부분집합과 $(n-k)$-부분집합에 유도된 사상 $f_\theta$를 정의한다.
• $f_\theta$가 $H(n,k)$의 자기동형임을 증명하여 군의 임bedding $\psi: \mathrm{Sym}([n]) \to \mathrm{Aut}(H(n,k))$를 확립한다.
• 보완 사상 $\alpha(v) = v^c$를 정의하여, 이가 $H(n,k)$의 자기동형임을 보이고 모든 $f_\theta$와 가환함을 보인다.
• $\alpha \notin \mathrm{im}(\psi)$임을 증명하여 $\alpha$가 어떤 순열에 의해 유도되지 않음을 보이고, 이를 바탕으로 직접곱 구조를 구성한다.
• 궤도-정 stabilizer 정리와 $|\mathrm{Aut}(H(n,1))|$에 대한 경계를 사용하여 $|\mathrm{Aut}(H(n,1))| \leq 2n!$임을 증명하고, 순서가 $2n!$인 부분군을 구성하여 등식을 도출한다.
• $\mathrm{Aut}(H(n,1)) \cong \mathrm{Sym}([n]) \times \mathbb{Z}_2$임을 증명하기 위해 $\psi$의 상과 $\langle \alpha \rangle$의 직접곱을 사용하며, 가환성과 정규부분군 조건을 활용한다.

실험 결과

연구 질문

• RQ1 모든 $n > k \geq 1$에 대해 이분할 Kneser 그래프 $H(n,k)$는 간선-추이성인가?
• RQ2 $H(n,1)$의 자기동형군은 무엇이며, 완전히 특성화할 수 있는가?
• RQ3 $H(n,1)$은 카일리 그래프인가? 만약 그렇다면 어떤 군과 생성집합을 기반으로 하는가?
• RQ4 일반 $k$에 대해 $H(n,k)$의 자기동형군은 $\mathrm{Sym}([n]) \times \mathbb{Z}_2$와 유사한 구조를 가지는가?
• RQ5 $n \neq 2k$인 모든 $n$과 $k$에 대해 $H(n,k)$의 자기동형군을 규명할 수 있는가?

주요 결과

• $H(n,k)$는 모든 $n > k \geq 1$에 대해 간선-추이성이며, 이는 최대 연결성과 높은 대칭성을 의미한다.
• $H(n,1)$의 자기동형군은 $\mathrm{Sym}([n]) \times \mathbb{Z}_2$와 동형이며, 여기서 $\mathbb{Z}_2$는 순서 2의 순환군이다.
• $H(n,1)$은 카일리 그래프이며, 특히 $\mathrm{Cay}(\mathbb{D}_{2n}, \Omega)$와 동형이다. 여기서 $\mathbb{D}_{2n}$은 이면군이고 $\Omega = \{ab, a^2b, \dots, a^{n-1}b\}$이다.
• $\mathrm{Aut}(H(n,1))$의 순서는 $2n!$이며, 이 경계는 직접곱 구성에 의해 달성되며, 타이트하다.
• 보완 사상 $\alpha(v) = v^c$는 $H(n,1)$의 자기동형이며, 모든 순열에 의해 유도된 자기동형과 가환하고 $\mathrm{Sym}([n])$의 상에 속하지 않는다.
• 논문은 $n \neq 2k$일 때 $\mathrm{Aut}(H(n,k)) \cong \mathrm{Sym}([n]) \times \mathbb{Z}_2$가 성립하는지 여부에 대해 열린 질문을 제기한다.