[論文レビュー] On the chromatic number of almost s-stable Kneser graphs

Peng‐An Chen|arXiv (Cornell University)|Nov 17, 2017

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.

研究の動機と目的

• $r=2$ の場合における Meunier が提起した、ほぼ $s$-安定 $r$-一様 Kneser 超グラフの彩色数に関する予想を解決すること。
• 新しい手法を用いて、ほぼ $s$-安定 Kneser グラフの彩色数に対する位相的下界を確立すること。
• これらのグラフの局所的彩色数に関する既存の下界を強化すること。
• $s \geq 2$ および $n \geq sk$ のすべてのケースに対して、彩色数の式 $n - s(k-1)$ が成り立つことを確認し、$s=3$ の場合の未解決ケースを解消すること。

提案手法

• 符号付き集合に新しい反対称ラベル関数 $\lambda$ を導入し、Octahedral Fan の補題を適用する。
• $\lambda(X)$ を $X^+$ や $X^-$ に含まれるほぼ $s$-安定部分集合の最大色に基づき定義し、符号はその側を示す。
• Octahedral Fan の補題を用いて、符号付きラベルが交互になるように $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 \geq 2$ の場合におけるほぼ $s$-安定 Kneser グラフの彩色数は何か？
• 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 グラフの局所的彩色数は、$t = n - s(k-1)$ とすると、少なくとも $\lceil t/2 \rceil + 1$ 以上である。これは、Simonyi と Tardos (2007) や Meunier (2014) の結果を改善するものである。
• この結果はすべての $s \geq 2$ に対して成り立ち、以前未解決だった $s=3$ の場合を含む。これにより、文献における長年の空白が解消された。
• 符号付き集合への新しいラベル付けと Octahedral Fan の補題に基づく証明手法は、代数的位相幾何学的手法とは対照的に、組合せ論的代替手法を提供する。
• この手法は $r=2$ の場合にうまく機能し、より高い一様性への一般化にも応用可能なフレームワークを提供する。