[논문 리뷰] Beyond Chromatic Threshold via (p,q)-Theorem, and Blow-Up Phenomenon

Hong Liu, Chong Shangguan외 2명|arXiv (Cornell University)|2024. 01. 01.

Retinal Imaging and Analysis인용 수 1

한 줄 요약

이 논문은 Kr-free 그래프에서 조밀한 공배좌근접성(공이웃)을 가진 추상적 볼록성 공간에서 유도된 (p,q)-정리를 증명함으로써, 극단적 조합론과 이산 기하학 사이의 새로운 기하학적 연결 고리를 확립한다. 만약 n개 정점으로 이루어진 Kr-free 그래프에서 인접하지 않은 모든 정점 쌍이 적어도 εn^{r-2}개의 K_{r-2} 복제본을 포함하는 공통 이웃을 가진다면, 그 그래프는 상수 크기의 Kr-free 그래프의 블로우업이 되며, 그 색칠 수 있는 수는 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})}$.

연구 동기 및 목표

• 색칠 수 있는 수가 유계인 Kr-free 그래프에서 블로우업 현상의 구조적 원인을 이해하기 위해.
• Kr-free 그래프가 상수 크기의 그래프의 블로우업이 되도록 만드는 정확한 조건—특히 비인접 정점 쌍의 공이웃에서의 클리크 밀도—를 규명하기 위해.
• 색칠 수 있는 수와 동형사상 임계값 사이의 차이를 명확히 하기 위해, 클리크 밀도가 아닌 최소 차수로 결정되는 것이 아니라 공이웃에서의 클리크 밀도가 동형사상 임계값을 좌우함을 보여주기 위해.
• 추상 볼록성 공간에서의 (p,q)-정리를 통해 극한 조합론과 이산 기하학 사이의 새로운 연결 고리를 수립하기 위해.

제안 방법

• Kr-free 그래프의 공이웃 구조에서 유도된 추상 볼록성 공간에 (p,q)-정리를 적용한다.
• 초과 포화(초과 포화) 추론과 극한 그래프 이론을 사용하여, 조밀한 공이웃이 유계 색칠 수를 암시함을 보인다.
• 비인접 정점 쌍의 공이웃에서 K_{r-2} 밀도에 하한을 두는 조건을 만족하는 ε-초최대 Kr-free 그래프의 개념을 도입한다.
• VC 차원과 유사한 정규화 파artition 기법을 사용하여 구조적 성질을 분석하고 유계 동형사상 영상을 유도한다.
• 최적성의 증명을 위해 Andrásfai 그래프를 사용하여 극한 예시를 구성한다.
• 특히 (p,q)-정리가 적용된 이산 기하학의 결과를 활용하여 그래프 이론에서의 구조적 결과를 도출한다.

실험 결과

연구 질문

• RQ1 Kr-free 그래프가 상수 크기의 그래프의 블로우업이 되도록 만드는 구조적 조건은 무엇이며, 이는 색칠 수 있는 수와 동형사상 임계값과 어떻게 관련되는가?
• RQ2 비인접 정점 쌍의 공이웃에서의 클리크 밀도는 Kr-free 그래프의 색칠 수 있는 수에 어떻게 영향을 미치는가?
• RQ3 클리크에 대한 동형사상 임계값이 왜 최소 차수가 아니라 공이웃에서의 클리크 밀도에 의존하는가?
• RQ4 이산 기하학의 (p,q)-정리를 추상 볼록성 공간에 적용하여 극한 그래프 이론에서 새로운 결과를 도출할 수 있는가?
• RQ5 ε-초최대 Kr-free 그래프의 동형사상 영상의 최적 크기는 얼마인가?

주요 결과

• Kr-free 그래프에서 모든 비인접 정점 쌍이 적어도 εn^{r-2}개의 K_{r-2} 복제본을 포함하는 공통 이웃을 가진다면, 색칠 수 있는 수는 O_{r,ε}(1)로 유계가 된다.
• 그래프는 최대 2^{O(r/ε log(1/ε))}개의 정점을 가진 Kr-free 그래프의 블로우업이어야 하며, 이 bound는 최적이다.
• 동형사상 영상 크기에 대한 단일 지수적 bound는 최적이며, 2^{Ω(r/ε)} 이하의 Kr-free 동형사상 영상이 없는 그래프가 존재함을 보여준다.
• Kr에 대한 동형사상 임계값은 최소 차수가 아니라 공이웃에서의 클리크 밀도 조건에 의해 결정된다.
• 이산 기하학의 (p,q)-정리를 그래프의 공이웃에서 유도된 추상 볼록성 공간에 적용하여 구조적 결과를 도출한다.
• 낮은 최소 차수일지라도 조밀한 공이웃이 존재하면 균일한 블로우업 구조를 유도함으로써 블로우업 현상을 해결한다.