[論文レビュー] Beyond Chromatic Threshold via (p,q)-Theorem, and Blow-Up Phenomenon

Hong Liu, Chong Shangguan+2 more|arXiv (Cornell University)|Jan 1, 2024

Retinal Imaging and Analysis被引用数 1

ひとこと要約

本稿は、K_rを含まないグラフの共隣接集合が稠密である場合に、極値的組合せ論と離散幾何学との間の新しい幾何的関係を確立する。K_rを含まないグラフにおいて、非隣接な頂点の対が、少なくとも εn^{r-2} 個の K_{r-2} を含む共通の近傍を持つならば、そのグラフは定数サイズのK_rを含まないグラフのブロー・アップであることが示され、その彩色数は O_{r,ε}(1) で有界である。これは、クリークの彩色およびホモモーフィズム閾値の背後にあるブロー・アップ現象を解明し、ホモモーフィズム閾値を決定づける要因が最小次数ではなく、共隣接集合内のクリーク密度であることを示している。

ABSTRACT

We establish a novel connection between the well-known chromatic threshold problem in extremal combinatorics and the celebrated $(p,q)$-theorem in discrete geometry. In particular, for a graph $G$ with bounded clique number and a natural density condition, we prove a $(p,q)$-theorem for an abstract convexity space associated with $G$. Our result strengthens those of Thomassen and Nikiforov on the chromatic threshold of cliques. Our $(p,q)$-theorem can also be viewed as a $χ$-boundedness result for (what we call) ultra maximal $K_r$-free graphs. We further show that the graphs under study are blow-ups of constant size graphs, improving a result of Oberkampf and Schacht on homomorphism threshold of cliques. Our result unravels the cause underpinning such a blow-up phenomenon, differentiating the chromatic and homomorphism threshold problems for cliques. It implies that for the homomorphism threshold problem, rather than the minimum degree condition usually considered in the literature, the decisive factor is a clique density condition on co-neighborhoods of vertices. More precisely, we show that if an $n$-vertex $K_{r}$-free graph $G$ satisfies that the common neighborhood of every pair of non-adjacent vertices induces a subgraph with $K_{r-2}$-density at least $\varepsilon>0$, then $G$ must be a blow-up of some $K_r$-free graph $F$ on at most $2^{O(\frac{r}{\varepsilon}\log\frac{1}{\varepsilon})}$ vertices. Furthermore, this single exponential bound is optimal. We construct examples with no $K_r$-free homomorphic image of size smaller than $2^{Ω_r(\frac{1}{\varepsilon})}$.

研究の動機と目的

• 彩色数が有界であるK_rを含まないグラフにおけるブロー・アップ現象の構造的要因を理解すること。
• K_rを含まないグラフが定数サイズのグラフのブロー・アップであることを強制する密度条件を明確にすること、特に非隣接頂点の共隣接集合内でのクリーク密度を指すこと。
• 彩色数とホモモーフィズム閾値の違いを明確にし、クリーク密度がホモモーフィズム閾値を支配することを示すこと。
• 抽象凸性空間における(p,q)-定理を用いて、極値的組合せ論と離散幾何学との間の新しい関係を確立すること。

提案手法

• K_rを含まないグラフの共隣接構造から導かれる抽象凸性空間に(p,q)-定理を適用する。
• 飽和的議論と極値的グラフ理論を用いて、共隣接集合が稠密であるならば彩色数が有界であることを示す。
• 非隣接な頂点対の共隣接集合におけるK_{r-2}密度に下界を課すε-極大K_rを含まないグラフの概念を導入する。
• VC次元と正則性型分割を用いて構造的性質を分析し、有界なホモモーフィズム像を導出する。
• アンドラーシャイ・グラフを用いて極値的例を構成し、ブロー・アップサイズの上限のタイトネスを証明する。
• 特に(p,q)-定理を含む離 discrete 幾何学の結果を活用し、グラフ理論における構造的帰結を導出する。

実験結果

リサーチクエスチョン

• RQ1 K_rを含まないグラフが定数サイズのグラフのブロー・アップであることを強制する構造的条件は何か？ これは彩色数およびホモモーフィズム閾値とどのように関係するか？
• RQ2 非隣接頂点の共隣接集合内でのクリーク密度が、K_rを含まないグラフの彩色数にどのように影響するか？
• RQ3 なぜクリークのホモモーフィズム閾値が最小次数ではなく、共隣接集合内のクリーク密度に依存するのか？
• RQ4 離 discrete 幾何学における(p,q)-定理を、極値的グラフ理論における新しい結果を導くために応用できるか？
• RQ5 ε-極大K_rを含まないグラフのホモモーフィズム像の最適なサイズは何か？

主な発見

• K_rを含まないグラフにおいて、すべての非隣接な頂点対が少なくとも εn^{r-2} 個の K_{r-2} を含む共通の近傍を持つならば、その彩色数は O_{r,ε}(1) で有界である。
• グラフは、高々 2^{O(r/ε log(1/ε))} 個の頂点を持つK_rを含まないグラフのブロー・アップでなければならない。この上限は最適である。
• ホモモーフィズム像のサイズに対する単一指数関数的上限はタイトであり、2^{Ω(r/ε)} より小さいK_rを含まないホモモーフィズム像を持たないグラフが存在する。
• K_rのホモモーフィズム閾値は、最小次数ではなく、共隣接集合内のクリーク密度の条件によって決定づけられる。
• 離 discrete 幾何学における(p,q)-定理を、グラフの共隣接集合から導かれる抽象凸性空間に応用し、構造的結果を導出する。
• 共隣接集合が稠密であることが、最小次数が低くても均一なブロー・アップ構造を強制することを示すことにより、ブロー・アップ現象が解明された。