[论文解读] 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

一句话总结

本文通過證明來自 Kr-自由圖且共鄰域密集的抽象凸性空間的 (p,q)-定理，建立了極值組合數學與離散幾何之間的新型幾何聯繫。結果顯示，若在一個 n 個頂點的 Kr-自由圖中，每對非相鄰頂點的共同鄰域包含至少 εn^{r-2} 個 K_{r-2}，則該圖是某個常數大小的 Kr-自由圖的爆破結構，且其色數被 O_{r,ε}(1) 所有界。此結果解決了 clique 之色數與同態閾值背後的爆破現象，表明共鄰域中的 clique 密度——而非最小度——是決定同態閾值的決定性因素。

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})}$.

研究动机与目标

• 理解 Kr-自由圖中色數有界時爆破現象的結構成因。
• 精確識別迫使 Kr-自由圖成為常數大小圖之爆破結構的密度條件——特別是共鄰域中 clique 的密度。
• 透過證明共鄰域中 clique 密度而非最小度主導同態閾值，釐清 clique 之色數與同態閾值的差異。
• 透過抽象凸性空間中的 (p,q)-定理，建立極值組合數學與離散幾何之間的新聯繫。

提出的方法

• 將抽象凸性空間中的 (p,q)-定理應用於 Kr-自由圖的共鄰域結構所導出的空間。
• 使用超飽和論證與極值圖論，證明共鄰域密集可導致色數有界。
• 引入 ε-極大 Kr-自由圖的概念，其定義基於非相鄰點對的共鄰域中 K_{r-2} 密度的下界。
• 運用 VC-維度與類似正則性分割的方法，分析結構性質並推導出有界同態像。
• 利用 Andrásfai 圖構造極值例子，以證明爆破大小界之緊緻性。
• 利用離散幾何中的成果，特別是 (p,q)-定理，推導圖論中的結構性結論。

实验结果

研究问题

• RQ1 何種結構條件會迫使 Kr-自由圖成為常數大小圖的爆破結構？其與色數和同態閾值的關係為何？
• RQ2 非相鄰頂點共鄰域中的 clique 密度如何決定 Kr-自由圖的色數？
• RQ3 為何 clique 的同態閾值取決於共鄰域中的 clique 密度而非最小度？
• RQ4 離散幾何中的 (p,q)-定理能否應用於推導極值圖論的新結果？
• RQ5 ε-極大 Kr-自由圖的同態像之最佳大小為何？

主要发现

• 若 Kr-自由圖中每對非相鄰頂點的共同鄰域包含至少 εn^{r-2} 個 K_{r-2}，則其色數被 O_{r,ε}(1) 所有界。
• 該圖必須是大小不超過 2^{O(r/ε log(1/ε))} 個頂點的 Kr-自由圖的爆破結構，且此界為最佳。
• 同態像大小的單指數界是緊緻的，因為存在圖形，其無 Kr-自由同態像小於 2^{Ω(r/ε)}。
• Kr 的同態閾值由共鄰域中的 clique 密度決定，而非最小度。
• 將離散幾何中的 (p,q)-定理應用於圖共鄰域所導出的抽象凸性空間，以推導結構性結果。
• 本結果透過證明共鄰域密集會強制產生均勻的爆破結構（即使最小度很低），從而解決了爆破現象。