[논문 리뷰] Minimizing the number of copies of $K_r$ in an $F$-saturated graph

Debsoumya Chakraborti, Po‐Shen Loh|arXiv (Cornell University)|2019. 07. 02.

Limits and Structures in Graph Theory인용 수 1

한 줄 요약

이 논문은 큰 $ n $ 에서 $ K_s $-포화된 그래프에서 $ r $-클리크를 최소화하는 데 관한 추측을 해결하며, $ \sat(n, \mathcal{F})/n $ 의 극한이 존재하지 않는 무한한 수의 크기 3 그래프 가족이 존재함을 증명한다. 이는 15년 만에 Tuza의 오랜 포화 추측에 대한 첫 번째 개선이다. 또한 안정성 결과를 확립하고 일반화된 클리크 최소화 문제로 확장된다.

ABSTRACT

This paper considers two important questions in the well-studied theory of graphs that are $F$-saturated. A graph $G$ is called $F$-saturated if $G$ does not contain a subgraph isomorphic to $F$, but the addition of any edge creates a copy of $F$. We first resolve the most fundamental question of minimizing the number of cliques of size $r$ in a $K_s$-saturated graph for all sufficiently large numbers of vertices, confirming a conjecture of Kritschgau, Methuku, Tait, and Timmons. We also go further and prove a corresponding stability result. We then move on to a central and longstanding conjecture in graph saturation made by Tuza, which states that for every graph $F$, the limit $\lim_{n ightarrow \infty} \frac{\sat(n, F)}{n}$ exists, where $\sat(n, F)$ denotes the minimum number of edges in an $n$-vertex $F$-saturated graph. Pikhurko made progress in the negative direction by considering families of graphs instead of a single graph, and proved that there exists a graph family $\mathcal{F}$ of size $4$ for which $\lim_{n ightarrow \infty} \frac{\sat(n, \mathcal{F})}{n}$ does not exist (for a family of graphs $\mathcal{F}$, a graph $G$ is called $\mathcal{F}$-saturated if $G$ does not contain a copy of any graph in $\mathcal{F}$, but the addition of any edge creates a copy of a graph in $\mathcal{F}$, and $\sat(n, \mathcal{F})$ is defined similarly). We make the first improvement in 15 years by showing that there exist infinitely many graph families of size $3$ where this limit does not exist. Our construction also extends to the generalized saturation problem when we minimize the number of fixed-size cliques.

연구 동기 및 목표

• 큰 $ n $ 에서 $ K_s $-포화된 그래프에서 $ K_r $ 클리크의 수를 최소화하는 데 관한 Kritschgau, Methuku, Tait, Timmons의 추측을 해결하기.
• $ K_s $-포화된 그래프에서 $ K_r $-클리크를 최소화하는 데 있어 안정성 결과를 확립하기.
• 그래프 가족 $ \mathcal{F} $ 에 대해 극한 $ \lim_{n \to \infty} \sat(n, \mathcal{F})/n $ 의 존재성을 조사하며, Tuza의 추측에 대응하기.
• 결과를 고정된 크기의 클리크 수를 최소화하는 데 있어 간선 수 이외의 요소를 고려하는 일반화된 포화 문제로 확장하기.

제안 방법

• 포화 함수 $ \sat(n, \mathcal{F}) $ 가 진동 행동을 보이며 $ \sat(n, \mathcal{F})/n $ 의 수렴을 방해하는 크기 3의 3-그래프 가족 $ \mathcal{F} $ 의 명시적 구성.
• F-포화된 그래프와 그 클리크 부분구조, 특히 $ K_r $-수를 분석하기 위해 극한 그래프 이론 기법을 사용하기.
• 근사 최소 $ K_s $-포화된 그래프가 특정 극한 구조에 구조적으로 가까워야 한다는 것을 보여주는 안정성 추론 적용하기.
• 크기 4 가족에 대해 이전에 Pikhurko가 얻은 부정적 결과를 크기 3 가족으로 확장하여, 이러한 수렴하지 않는 행동이 더 널리 퍼져 있음을 보여주기.
• 간선 수 이외의 요소를 고려하여, $ \mathcal{F} $-포화된 그래프에서 $ K_r $ 클리크의 수를 최소화하는 데 있어 구성의 일반화하기.

실험 결과

연구 질문

• RQ1 Tuza의 추측처럼, 모든 유한한 가족 $ \mathcal{F} $ 에 대해 극한 $ \lim_{n \to \infty} \sat(n, \mathcal{F})/n $ 이 존재하는가?
• RQ2 크기 3의 가족에 대해 $ \sat(n, \mathcal{F})/n $ 의 수렴하지 않는 것이 Pikhurko의 크기 4 반례를 향해 개선된 방식으로 입증될 수 있는가?
• RQ3 큰 $ n $ 에서 $ n $ 개 정점의 $ K_s $-포화된 그래프에서 $ K_r $ 클리크의 최소 수는 얼마이며, 이는 안정적인 극한 구조에 의해 최소화되는가?
• RQ4 포화 프레임워크를 간선 수 이외의 고정된 크기의 클리크 수를 최소화하는 데 일반화할 수 있는가?

주요 결과

• 논문은 Kritschgau, Methuku, Tait, Timmons의 추측을 확인하며, 충분히 큰 $ n $ 에서 $ K_s $-포화된 그래프에서 $ K_r $ 클리크의 수가 정확한 극한 구조에 의해 최소화됨을 보여준다.
• 근사 최소 $ K_s $-포화된 그래프가 반드시 극한 구조에 구조적으로 가까워야 한다는 안정성 결과가 증명된다.
• 작성자들은 극한 $ \lim_{n \to \infty} \sat(n, \mathcal{F})/n $ 가 존재하지 않는 무한한 수의 크기 3 그래프 가족 $ \mathcal{F} $ 를 구성하여, 포화 이론에서 오랫동안 남아있던 열린 문제를 해결한다.
• 구성은 일반화되어, $ \mathcal{F} $-포화된 그래프에서 간선 수가 아닌 $ K_r $ 클리크의 수를 최소화할 때도 극한이 존재하지 않는다는 것이 입증된다.