[논문 리뷰] Making $K_{r+1}$-Free Graphs $r$-partite

József Balogh, Felix Christian Clemen외 3명|arXiv (Cornell University)|2019. 09. 30.

Advanced Graph Theory Research참고 문헌 10인용 수 5

한 줄 요약

이 논문은 $K_{r+1}$-free 그래프에서 $r$-partite로 만들기 위해 제거해야 하는 간선 수에 대한 渐近적으로 날카로운 경계를 확립하며, 오차 항의 주요 항이 최적임을 보여준다. 터런 수 이하의 작은 간선 부족 $α n^2$에 대해, 제거해야 할 최소 간선 수는 渐진적으로 $\frac{2r}{3\sqrt{3}}\alpha^{3/2}n^2$임을 증명하고, $K_{r-2} \otimes C_5$의 블로우업을 최적의 극한 예시로 제시한다.

ABSTRACT

The Erdős-Simonovits stability theorem states that for all ε>0 there exists α>0 such that if G is a K_{r+1}-free graph on n vertices with e(G) > ex(n,K_{r+1}) - αn^2, then one can remove εn^2 edges from G to obtain an r-partite graph. Füredi gave a short proof that one can choose α=ε. We give a bound for the relationship of αand \varepsilon which is asymptotically sharp as ε o 0.

연구 동기 및 목표

• Turán 수 이하의 간선 부족 $\alpha n^2$를 가진 $K_{r+1}$-free 그래프에서 제거해야 할 간선 수와의 정확한 渐진적 관계를 규명하는 것.
• 작은 $\alpha$에 대해 오차 항이 최적임을 보장하는 에르되시–시몬وفي트 안정성 정리의 정량적 버전을 수립하는 것.
• 제거해야 할 간선 수에 대한 경계에서 주요 항이 渐진적으로 날카로운지 확인하기 위해 극한 그래프를 구성함으로써 이를 증명하는 것.
• 모든 $K_{r+1}$-free 그래프 중에서 Turán 임계값 근처에 있는 그래프들이 간선 제거 복잡성 측면에서 비균형적 $K_{r-2} \otimes C_5$ 블로우업에 의해 지배된다는 구조적 추측에 대한 증거를 제공하는 것.

제안 방법

• r-partite 근사에서 정점 이웃 집합 분포와 차수 제약 조건에 기반한 정교화된 안정성 추론의 사용.
• 교차 간선을 제어하고 비-r-partite 간선 수를 경계하기 위해 $X \cup \bar{X} \cup X_1 \cup \cdots \cup X_{r-2}$의 정점 분할 구조를 구성하는 것.
• 터런의 정리와 블로우업 구성 기법을 적용하여 극한 그래프의 간선 수를 계산하는 것.
• $\alpha$, $r$, $n$을 포함하는 부등식을 통해 이웃 집합 크기의 경계를 유도하고, 간선 제거 수를 최소화하는 분할 전략을 도출하는 것.
• 표현식 $z\sqrt{1 - z/r}$의 경계를 내기 위해 최적화 기법을 사용하여 오차 항에서 최대 기여를 달성하는 것.
• 특정 극한 그래프를 $C_5$의 블로우업과 추가적인 전방위 정점 $X_i$를 통해 구성함으로써, 간선 제거 수의 하한을 달성하는 것.

실험 결과

연구 질문

• RQ1 Turán 수 이하의 간선 부족 $\alpha n^2$를 가진 $K_{r+1}$-free 그래프에서 제거해야 할 간선 수의 최적의 渐진적 의존성은 무엇인가?
• RQ2 에르되시–시몬وفي트 안정성 정리의 오차 항이 작은 $\alpha$에 대해 渐진적으로 날카로운지 여쭙는다.
• RQ3 최소 간선 제거 수를 달성하는 극한 그래프는 비균형적 $K_{r-2} \otimes C_5$ 블로우업으로 구조적으로 특징지어질 수 있는가?
• RQ4 간선 제거 경계에서 주요 항 $\frac{2r}{3\sqrt{3}}\alpha^{3/2}n^2$는 최적의 渐진적 행동을 나타내는가?
• RQ5 모든 이러한 극한 그래프가 $K_{r-2} \otimes C_5$ 블로우업에 의해 지배된다는 구조적 추측이 극한 구성에 의해 확인될 수 있는가?

주요 결과

• 간선 수 $e(G) \geq \operatorname{ex}(n,K_{r+1}) - \alpha n^2$를 가진 $K_{r+1}$-free 그래프에서 $r$-partite로 만들기 위해 제거해야 할 간선 수는 충분히 작은 $\alpha$에 대해 $\left(\frac{2r}{3\sqrt{3}} + 30r^3\alpha^{1/6}\right)\alpha^{3/2}n^2$ 이하이다.
• 이 상한은 극한 예시를 통해 $D_r(G) \geq \frac{2r}{3\sqrt{3}}\alpha^{3/2}n^2$를 달성함으로써 渐진적으로 날카로움을 입증한다.
• 하한을 달성하는 극한 그래프는 비균형적 $K_{r-2} \otimes C_5$ 블로우업이며, $r$-partite 근사의 최소화를 위해 클래스 크기를 선택한 것이다.
• 이 구성은 최소 간선 제거 수가 블로우업의 가장 작은 두 클래스, 특히 $X$와 $A$ 클래스에 의해 결정되며, 이들 사이에서 $\frac{2r}{3\sqrt{3}}\alpha^{3/2}n^2$개의 간선을 제거해야 한다고 보여준다.
• 논문은 오차 경계의 주요 항이 최적이며, 다음 순서 항은 $-\frac{2r(r-3)}{9}\alpha^2n^2$로 경계됨을 확인하여 $r > 3$일 때 수정 항이 음수임을 보여준다.
• 결과는 모든 $K_{r+1}$-free 그래프가 Turán 임계값 근처에 있을 경우 간선 제거 복잡성 측면에서 비균형적 $K_{r-2} \otimes C_5$ 블로우업에 의해 지배된다는 추측 1.4에 강력한 증거를 제공한다.