[論文レビュー] Examples of topologically highly chromatic graphs with locally small chromatic number

Ilya I. Bogdanov|arXiv (Cornell University)|Nov 12, 2013

Topological and Geometric Data Analysis参考文献 8被引用数 3

ひとこと要約

本稿は、局所的に小さな彩色数である一方で位相的に高い彩色数をもつグラフの明示的族を構成し、Kierstead, Szemerédi, および Trotter が示した境界の鋭さを証明する。近傍複体における新規な結合構成を用いて、半径 $ r $ の各球が $ c $-彩色可能であり、彩色数が少なくとも $ n(c-1)+1 $ であるグラフが得られ、頂点数は正確に $ \frac{(2rc+1)^n - 1}{2r} $ である。これにより、このような極値的グラフの予想された成長率が裏付けられる。

ABSTRACT

Kierstead, Szemerédi, and Trotter showed that a graph with at most $\lfloor r/(2n) floor^n$ vertices such that each ball of radius $r$ in it is $c$-colorable should have chromatic number at most $n(c-1)+1$. We show that this estimate is sharp in $r$. Namely, for every $n$, $r$, and $c$ we construct a graph $G$ containing $O((2rc)^{n-1}c)$ vertices such that $χ(G)\geq n(c-1)+1$, although each ball of radius $r$ in $G$ is $c$-colorable. The core idea is the construction of a graph whose neighborhood complex is homotopy equivalent to the join of neighborhood complexes of two given graphs.

研究の動機と目的

• Kierstead, Szemerédi, および Trotter が提起した、局所的および全域的彩色数の関係を記述する境界の鋭さに関する予想を解消すること。
• 彩色数が $ \geq n(c-1)+1 $ であるが、半径 $ r $ のすべての球が $ c $-彩色可能であるような明示的グラフの構成。
• このようなグラフに必要な最小頂点数が $ \Theta(r^{n-1}) $ のオーダーで増加することを示し、彩色数が $ c-1 $ を法として 1 と合同である場合の予測された段階的転移挙動を確認すること。

提案手法

• 一般化された結合演算 $ G_{n-1} *_{2r} K_c $ を用いる。ここで $ G_{n-1} $ は再帰的に構築され、$ K_c $ は $ c $ 個の頂点からなる完全グラフである。
• 近傍複体 $ \mathsf{N}(G_n) $ が $ \mathsf{N}(G_{n-1}) $ と $ \mathsf{N}(K_c) $ の結合とホモトピー同値であることが示され、これは $ S^{n(c-1)-1} $ に一致する。
• 神経補題や幾何的実現の性質を含む位相的道具を用いて、構成されたグラフの近傍複体が所望のホモトピー型を持つことを証明する。
• $ n $ を変数とする帰納法により証明を進める。$ n=1 $ の場合、$ G_1 = K_c $ から出発し、$ G_n $ を再帰的に構築する。頂点数は $ |G_n| = \frac{(2rc+1)^n - 1}{2r} $ で与えられる。
• 局所的彩色数は再帰的構成により保存され、$ \ell\chi_r(G_n) \leq c $ が保証される。
• 彩色数の下界は、近傍複体の位相的連結性に基づき、Lovász の彩色数に対する位相的下界を用いて導出される。

実験結果

リサーチクエスチョン

• RQ1 局所的彩色数が $ \ell\chi_r(G) \leq c $ であり、頂点数が $ |V| \leq \lfloor r/(2n) \rfloor^n $ であるようなグラフについて、$ \chi(G) \leq n(c-1)+1 $ という境界がパrameter $ r $ に関して鋭いかどうか。
• RQ2 任意の $ n $, $ r $, $ c $ に対して、$ \chi(G) \geq n(c-1)+1 $, $ \ell\chi_r(G) \leq c $, かつ頂点数が $ O((2rc)^{n-1}c) $ であるようなグラフを構成できるか。
• RQ3 彩色数が $ \chi(G) = N $ かつ $ \ell\chi_r(G) \leq c $ であるようなグラフに必要な最小頂点数が、$ r^{\lfloor(N-1)/(c-1)\rfloor} $ のオーダーで増加するか。これは $ N \equiv 1 \pmod{c-1} $ において段階的転移が生じることを示唆するか。

主な発見

• 本稿は、任意の $ n $, $ r $, および $ c \geq 3 $ に対して、正確に $ \frac{(2rc+1)^n - 1}{2r} $ 個の頂点をもつグラフ $ G_n $ を構成し、その彩色数は少なくとも $ n(c-1)+1 $ である。
• グラフ $ G_n $ の任意の半径 $ r $ の球は $ c $-彩色可能であるため、$ \ell\chi_r(G_n) \leq c $ が成り立ち、局所的制約を満たす。
• 近傍複体 $ \mathsf{N}(G_n) $ は $ S^{n(c-1)-1} $ とホモトピー同値であることが示され、これは位相的手法により彩色数の下界を導く。
• 構成は再帰的である：$ G_n = G_{n-1} *_{2r} K_c $、初期状態は $ G_1 = K_c $ であり、頂点数の公式は帰納的に検証される。
• この結果により、Kierstead-Szemerédi-Trotter の境界がパrameter $ r $ に関して鋭いかどうかが裏付けられ、頂点数の増加率がタイトであることが示された。
• この例は、彩色数が $ c-1 $ を法として 1 と合同である値において飛躍的に増加しうることを示し、極値的グラフ理論における離散的段階的転移を明らかにする。