[논문 리뷰] A proof of the stability of extremal graphs, Simonovits' stability from Szemerédi's regularity

Zoltán Füredi|Repository of the Academy's Library (Library of the Hungarian Academy of Sciences)|2015. 01. 13.

Limits and Structures in Graph Theory참고 문헌 6인용 수 18

한 줄 요약

이 논문은 시모노빅스의 안정성 정리에 대한 새로운이고 간결한 증명을 제시하며, 지저스의 정규성 레미마를 사용하여, 최대 간선 수에 가까운 $K_{p+1}$-free 그래프는 완전 $p$-분할 투란 그래프에 구조적으로 가까워야 한다고 보여준다. 주요 기여는 날카운 구조적 안정성 결과이다: 그래프가 $e(T_{n,p}) - t$ 개의 간선을 가진다면, $e(G) - t$ 개 이상의 간선을 가진 $p$-색깔 부분그래프를 포함한다. 이는 편집 거리 $\leq 3t$ 이내로 완전 $p$-분할 그래프와 가까이 있음을 의미한다.

ABSTRACT

The following sharpening of Turán's theorem is proved. Let $T_{n,p}$ denote the complete $p$--partite graph of order $n$ having the maximum number of edges. If $G$ is an $n$-vertex $K_{p+1}$-free graph with $e(T_{n,p})-t$ edges then there exists an (at most) $p$-chromatic subgraph $H_0$ such that $e(H_0)\geq e(G)-t$. Using this result we present a concise, contemporary proof (i.e., one applying Szemerédi's regularity lemma) for the classical stability result of Simonovits.

연구 동기 및 목표

• 지저스의 정규성 레미마를 사용하여 시모노빅스의 안정성 정리를 현대적이고 간결한 방식으로 재증명하는 것.
• 극한 $K_{p+1}$-free 그래프에 대한 날카운 구조적 안정성 결과를 확립하는 것.
• 모든 $K_{p+1}$-free 그래프가 $e(T_{n,p}) - t$ 개의 간선을 가진다면, $e(G) - t$ 개 이상의 간선을 가진 $p$-색깔 부분그래프를 포함한다는 것을 보여주는 것.
• 이러한 그래프와 투란 그래프 $T_{n,p}$ 사이의 편집 거리에 대한 정량적 유계를 유도하는 것.

제안 방법

• 에르되시의 차수 주도 알고리즘을 적용하여, 내부 간선 수가 적은 $K_{p+1}$-free 그래프 $G$의 $p$-분할 부분그래프 $H_0$ 를 구성한다.
• 알고리즘에서 유도된 부등식 $\sum_{i} e(G|V_i) \leq t$ 를 사용하여, 각 부분집합 내 간선 수를 유계로 제한한다.
• 레마 3 의 형태로 제시된 제거 레미마를 활용하여, $e(H) > e(G) - \alpha n^2$ 를 만족하는 $K_{p+1}$-free 부분그래프 $H$ 를 찾는다.
• 정리 1 을 $H$ 에 적용하여, $e(H_0) > e(T_{n,p}) - 4\alpha n^2$ 를 만족하는 $p$-분할 부분그래프 $H_0$ 를 얻는다.
• 코로나리 2 를 사용하여, $\text{ed}(K, H) < 6\alpha n^2$ 를 만족하는 완전 $p$-분할 그래프 $K$ 를 구성한다. 이는 $\text{ed}(K, G) < 7\alpha n^2$ 를 의미한다.
• 편집 거리 $\text{ed}(K, T_{n,p}) \leq n^2 \sqrt{2\alpha/p}$ 를 조합하여, $G$ 와 $T_{n,p}$ 사이의 총 편집 거리를 유계로 제한한다.

실험 결과

연구 질문

• RQ1 시모노빅스의 안정성 정리는 지저스의 정규성 레미마를 현대적이고 간결한 방식으로 재증명할 수 있는가?
• RQ2 간선 수가 $e(T_{n,p}) - t$ 인 $K_{p+1}$-free 그래프와 완전 $p$-분할 그래프 사이의 정확한 구조적 관계는 무엇인가?
• RQ3 차수 주도 알고리즘이 어떻게 제어된 간선 손실을 가진 $p$-색깔 부분그래프를 구성하는 데 사용될 수 있는가?
• RQ4 근최적의 $K_{p+1}$-free 그래프와 투란 그래프 $T_{n,p}$ 사이의 정량적 편집 거리는 얼마인가?
• RQ5 제거 레미마를 사용하여 안정성 결과를 일반적인 $\mathcal{L}$-free 그래프로 확장할 수 있는가?

주요 결과

• 모든 $K_{p+1}$-free 그래프 $G$ 가 $e(G) = e(T_{n,p}) - t$ 를 만족한다면, $e(H_0) \geq e(G) - t$ 를 만족하는 $p$-색깔 부분그래프 $H_0 \subset G$ 가 존재한다.
• 그래프 $G$ 와 어떤 완전 $p$-분할 그래프 $K$ 사이의 편집 거리는 $|\mathcal{E}(G) \triangle \mathcal{E}(K)| \leq 3t$ 를 만족하며, 이는 정량적 안정성 유계를 의미한다.
• 제거 레미마를 사용하여, 임의의 $\alpha > 0$ 과 충분히 큰 $n$ 에 대해 $e(H) > e(G) - \alpha n^2$ 를 만족하는 $K_{p+1}$-free 부분그래프 $H$ 를 찾을 수 있다.
• 총 편집 거리 $G$ 와 투란 그래프 $T_{n,p}$ 사이의 거리는 $(7\alpha + \sqrt{2\alpha/p})n^2$ 이하이며, 이는 구조적 가까움을 증명한다.
• 이 결과는 $n$, $p$, $t$ 에 관계없이 모든 경우에 적용 가능하며, $n > n_0$ 의 조건이 필요 없어 보편적으로 적용 가능하다.
• 증명은 간선 수가 거의 최대인 모든 $K_{p+1}$-free 그래프의 구조가 편집 거리 기준으로 완전 $p$-분할 그래프에 가까워야 한다고 보여준다.