[논문 리뷰] On the chromatic number of almost s-stable Kneser graphs

Peng‐An Chen|arXiv (Cornell University)|2017. 11. 17.

Topological and Geometric Data Analysis참고 문헌 25인용 수 7

한 줄 요약

이 논문은 새로운 접근법을 통해 거의 $s$-안정 Kneser 그래프의 색수에 대한 위상적 하한을 확립하며, 모든 $s \geq 2$ 및 $n \geq sk$ 에 대해 색수가 $n - s(k-1)$ 와 일치함을 증명한다. 또한 임의의 적절한 색칠이 반드시 $t = n - s(k-1)$ 인 완전 다색 완전 이분 그래프 $K_{\lceil t/2 \rceil, \lfloor t/2 \rfloor}$ 를 포함함을 보이며, 이는 국소 색수 하한을 $\lceil t/2 \rceil + 1$ 으로 강화한다. 이는 Simonyi와 Tardos, Meunier의 이전 결과를 향상시킨다.

ABSTRACT

In 2011, Meunier conjectured that for positive integers $n,k,r,s$ with $ k\geq 2$, $r\geq 2$, and $n\geq \max (\{r,s\})k$, the chromatic number of $s$ -stable $r$-uniform Kneser hypergraphs is equal to $\left\lceil \frac{n-\max (\{r,s\})(k-1)}{r-1} ight ceil $. It is a strengthened version of the conjecture proposed by Ziegler (2002), and Alon, Drewnowski and Łuczak (2009). The problem about the chromatic number of almost $s$-stable $r$ -uniform Kneser hypergraphs has also been introduced by Meunier (2011). For the $r=2$ case of the Meunier conjecture, Jonsson (2012) provided a purely combinatorial proof to confirm the conjecture for $s\geq 4$ and $n$ sufficiently large, and by Chen (2015) for even $s$ and any $n$. The case $ s=3$ is completely open, even the chromatic number of the usual almost $s$ -stable Kneser graphs. In this paper, we obtain a topological lower bound for the chromatic number of almost $s$-stable $r$-uniform Kneser hypergraphs via a different approach. For the case $r=2$, we conclude that the chromatic number of almost $s$-stable Kneser graphs is equal to $n-s(k-1)$ for all $s\geq 2$. Set $t=n-s(k-1)$. We show that any proper coloring of an almost $s$-stable Kneser graph must contain a completely multicolored complete bipartite subgraph $K_{\left\lceil \frac{t}{2} ight ceil \left\lfloor \frac{t}{2} ight floor }$. It follows that the local chromatic number of almost $s$ -stable Kneser graphs is at least $\left\lceil \frac{t}{2} ight ceil +1$. It is a strengthened result of Simonyi and Tardos (2007), and Meunier's (2014) lower bound for almost $s$-stable Kneser graphs.

연구 동기 및 목표

• 거의 $s$-안정 $r$-균일 Kneser 초그래프에 대한 Meunier의 추측을 $r=2$ 인 경우 해결하기 위해.
• 새로운 방법을 사용하여 거의 $s$-안정 Kneser 그래프의 색수에 대한 위상적 하한을 제공하기 위해.
• 이 그래프들의 국소 색수에 대한 기존 하한을 강화하기 위해.
• 모든 $s \geq 2$ 및 $n \geq sk$ 에 대해 색수 공식 $n - s(k-1)$ 가 성립함을 확인하여, $s=3$ 인 경우에 대한 열린 케이스를 해결하기 위해.

제안 방법

• 서명된 집합에 대해 새로운 반대적 레이블 함수 $\lambda$ 를 도입하여 옥타드럴 팬의 보조정리를 적용한다.
• $\lambda(X)$ 는 $X^+$ 또는 $X^-$ 내의 거의 $s$-안정 부분집합의 최대 색상에 기반하며, 부호는 해당 쪽을 나타낸다.
• 옥타드럴 팬의 보조정리를 사용하여 부호가 번갈아가는 순서의 서명된 집합 $X_1 \leq \cdots \leq X_n$ 를 추출한다.
• 색상 클래스를 $X_n^+$ 와 $X_n^-$ 에서 이용하여 완전 이분 그래프 $K_{\lceil t/2 \rceil, \lfloor t/2 \rfloor}$ 를 구성하며, 이는 서로소임을 보장한다.
• 레이블링과 조합 구조를 적용하여 국소 색수에 대한 하한을 유도한다.
• 임의의 적절한 색칠에 다색 완전 이분 그래프가 존재함을 보여 이로써 색수를 $n - s(k-1)$ 로 확립한다.

실험 결과

연구 질문

• RQ1 거의 $s$-안정 Kneser 그래프의 색수는 $s \geq 2$ 인 경우 어떻게 되는가?
• RQ2 위상적 방법이 이 그래프들의 국소 색수에 대해 이전 결과보다 더 강한 하한을 제공할 수 있는가?
• RQ3 거의 $s$-안정 Kneser 그래프의 모든 적절한 색칠은 $t = n - s(k-1)$ 인 완전 다색 완전 이분 그래프 $K_{\lceil t/2 \rceil, \lfloor t/2 \rfloor}$ 를 포함하는가?
• RQ4 거의 $s$-안정 Kneser 그래프의 색수는 $s$-안정 및 표준 Kneser 그래프의 색수와 어떻게 비교되는가?
• RQ5 Meunier의 $s$-안정 $r$-균일 Kneser 초그래프에 대한 색수 추측은 $r=2$ 인 경우 확인될 수 있는가?

주요 결과

• 거의 $s$-안정 Kneser 그래프의 색수는 모든 $s \geq 2$ 와 $n \geq sk$ 에 대해 정확히 $n - s(k-1)$ 이며, 이는 $r=2$ 인 경우 Meunier의 추측을 확인한다.
• 거의 $s$-안정 Kneser 그래프의 임의의 적절한 색칠은 $t = n - s(k-1)$ 인 완전 다색 완전 이분 그래프 $K_{\lceil t/2 \rceil, \lfloor t/2 \rfloor}$ 를 포함한다.
• 거의 $s$-안정 Kneser 그래프의 국소 색수는 $\lceil t/2 \rceil + 1$ 이상이며, 여기서 $t = n - s(k-1)$ 이다. 이는 Simonyi와 Tardos(2007) 및 Meunier(2014)의 결과를 향상시킨다.
• 결과는 모든 $s \geq 2$ 에 대해 성립하며, 이전에 열려 있던 케이스인 $s=3$ 에도 적용되며, 문헌에서 오랫동안 남아 있던 격차를 해결한다.
• 새로운 레이블링과 옥타드럴 팬의 보조정리를 기반으로 한 증명 기법은 대수적 위상수학 방법의 조합론적 대체책을 제공한다.
• 이 방법은 $r=2$ 경우에 성공적으로 일반화되었으며, 향후 고차원 균일성으로의 확장 가능성을 위한 프레임워크를 제공한다.