[논문 리뷰] On the circular chromatic number of a subgraph of the Kneser graph

Bart Litjens, Sven Polak외 2명|arXiv (Cornell University)|2018. 03. 12.

Topological and Geometric Data Analysis참고 문헌 12인용 수 3

한 줄 요약

이 논문은 원형 색수(coloring number)가 정확히 $n/k$임을 증명하여, $\mathrm{IG}_{n,k}^{(r)}$의 색수는 $\lceil n/k \rceil$임을 시사한다. 저자들은 원형 클리크 $K_{n/k}$로의 그래프 호모모르피즘을 통해 이를 증명하며, 독립수는 $\binom{n-(r-1)k-1}{k-1}$로 결정하고 원형 클리크 수 역시 $n/k$임을 보이며, 기존의 Kneser 유형 그래프에 대한 결과를 강화한다.

ABSTRACT

Let $n,k,r$ be positive integers with $n \geq rk$ and $r \geq 2$. Consider a circle $C$ with~$n$ points~$1,\ldots,n$ in clockwise order. The $r$-stable \emph{interlacing graph} $ ext{IG}_{n,k}^{(r)}$ is the graph with vertices corresponding to $k$-subsets $S$ of $\{1,...,n\}$ such that any two distinct points in~$S$ have distance at least~$r$ around the circle, and edges between~$k$-subsets $P$ and $Q$ if they \emph{interlace}: after removing the points in~$P$ from $C$, the points in~$Q$ are in different connected components. In this paper we prove that the circular chromatic number of $ ext{IG}_{n,k}^{(r)}$ is equal to $ n/k $ (hence the chromatic number is $\lceil n/k ceil$) and that its circular clique number is also $ n/k $. Furthermore, we show that its independence number is $\binom{n-(r-1)k-1}{k-1}$, thereby strengthening a result by Talbot.

연구 동기 및 목표

• r-안정 상호배치 그래프 $\mathrm{IG}_{n,k}^{(r)}$의 원형 색수를 결정하는 것 — Kneser 그래프의 부분그래프이면서 기하학적 및 조합적 제약 조건을 가진다.
• 기존 Kneser 및 Schrijver 그래프 결과를 확장하여 $\mathrm{IG}_{n,k}^{(r)}$의 색수를 $\lceil n/k \rceil$로 확립하는 것.
• $\mathrm{IG}_{n,k}^{(r)}$의 독립수를 계산하여, 이 구조적 부분그래프에 대한 Erd\'s-Ko-Rado 경계를 정밀화하는 것.
• $\mathrm{IG}_{n,k}^{(r)}$의 원형 클리프 수가 역시 $n/k$임을 보여 원형 색수 경계의 날카로움(tightness)을 입증하는 것.

제안 방법

• $\mathrm{IG}_{n,k}^{(r)}$에서 원형 클리프 $K_{n/k}$로의 그래프 호모모르피즘을 구성하는 것 — 정점 레이블링 $P^j \mapsto \overline{jk}$를 사용하며 순환군의 구조에 의존한다.
• $r$-안정 $k$-다각형을 정의: 원 위의 $[n]$의 $k$-부분집합으로, 임의의 두 점 사이에 최소 $r-1$개의 원소가 있는 경우를 말한다.
• 상호배치 조건을 사용: 두 $k$-다각형이 서로 인접할 조건은, 한쪽을 제거했을 때 원이 두 개의 호로 나뉘고, 각 호에 다른 다각형의 정확히 한 점이 포함되는 경우이다.
• 분수부 $\{x\} = x - \lfloor x \rfloor$의 성질을 적용하여 다각형 간의 위치 관계를 분석하고 호모모르피즘에서의 인접성 검증을 수행한다.
• 비상호배치 쌍이 정확히 $K_{n/k}$에서 거리 $k$ 미만인 정점에 대응함을 증명하여, 호모모르피즘이 간선을 유지함을 보장한다.
• 조합적 수세기 및 간격 분석을 통해 모든 필요한 상호배치 쌍이 정확히 매핑됨을 검증하며, 특히 $s=1$과 간격 $[1, \lfloor(i+1)n/k\rfloor - \lceil in/n\rceil - 1]$에서 최대 $s$의 경우를 중심으로 한다.

실험 결과

연구 질문

• RQ1 r-안정 상호배치 그래프 $\mathrm{IG}_{n,k}^{(r)}$의 원형 색수는 무엇인가?
• RQ2 $\mathrm{IG}_{n,k}^{(r)}$의 독립수는 Kneser 그래프 $\mathrm{KG}_{n,k}$의 독립수와 어떻게 비교되며, 정확히 계산될 수 있는가?
• RQ3 $\mathrm{IG}_{n,k}^{(r)}$의 원형 클리프 수는 원형 색수와 같으며, 이는 경계의 날카로움을 나타내는가?
• RQ4 $\mathrm{IG}_{n,k}^{(r)}$에서 $K_{n/k}$로의 그래프 호모모르피즘을 순환 대칭성과 다각형 위치를 활용해 명시적으로 구성할 수 있는가?

주요 결과

• $\mathrm{IG}_{n,k}^{(r)}$의 원형 색수는 정확히 $n/k$이며, 이는 색수는 $\lceil n/k \rceil$임을 의미한다.
• $\mathrm{IG}_{n,k}^{(r)}$의 독립수는 $\binom{n-(r-1)k-1}{k-1}$이며, 이는 이 $r$-안정 설정에서 독립집합에 대한 날카로운 상한을 제공한다.
• $\mathrm{IG}_{n,k}^{(r)}$의 원형 클리프 수 역시 $n/k$이며, 이는 $K_{n/k}$가 그래프로 들어가는 최소 원형 클리프임을 보여준다.
• $\mathrm{IG}_{n,k}^{(r)}$에서 $K_{n/k}$로의 그래프 호모모르피즘이 순환 레이블링 $P^j \mapsto \overline{jk}$를 통해 명시적으로 구성되었으며, 분수부 분석을 통해 간선 유지가 증명되었다.
• 증명은 비상호배치 쌍만이 $K_{n/k}$에서 거리 $k$ 미만의 정점에 매핑됨을 보여, 호모모르피즘이 잘 정의되어 있음을 확인한다.
• 조건 $\gcd(n,k) = 1$ 하에서 구성이 성립하며, 일반적인 $n,k$에 대해서는 서로소 경우로의 환원을 통해 결과가 확장된다.