[논문 리뷰] Large induced trees in K_r-free graphs

Jacob Fox, Po‐Shen Loh외 1명|ArXiv.org|2008. 03. 11.

Limits and Structures in Graph Theory참고 문헌 11인용 수 4

한 줄 요약

이 논문은 $r=3$일 때 $n$개의 정점으로 이루어진 연결된 $K_r$-free 그래프가 항상 크기가 적어도 $\sqrt{n}$인 유도된 트리를 포함하고, $r \geq 4$일 때는 크기가 적어도 $\frac{1}{4}\frac{\log n}{\log r}$인 유도된 트리를 포함함을 증명함으로써, 극단적 그래프 이론에서 오랫동안 남아있던 문제를 해결한다. 이는 알려진 상한값들에 비해 작은 상수 인자 범위 내에서 일치한다. 증명은 반복적인 분해와 정점 이웃의 귀납법을 사용하여 주어진 정점을 통과하는 큰 유도된 트리를 구성한다.

ABSTRACT

For a graph G, let t(G) denote the maximum number of vertices in an induced subgraph of G that is a tree. In this paper, we study the problem of bounding t(G) for graphs which do not contain a complete graph K_r on r vertices. This problem was posed twenty years ago by Erdos, Saks, and Sos. Substantially improving earlier results of various researchers, we prove that every connected triangle-free graph on n vertices contains an induced tree of order \sqrt{n}. When r >= 4, we also show that t(G) >= (\log n)/(4 \log r) for every connected K_r-free graph G of order n. Both of these bounds are tight up to small multiplicative constants, and the first one disproves a recent conjecture of Matousek and Samal.

연구 동기 및 목표

• 연결된 $K_r$-free 그래프에서 가장 큰 유도된 트리의 크기에 대한 알려진 상한과 하한 사이의 격차를 좁히기.
• Matoušek와 Šámal이 제기한 추측, 즉 $t_3(n)$이 $1/2$보다 엄밀히 낮은 거듭제곱의 형태로 증가한다는 추측을 해결하기.
• $t_r(n)$, 즉 $n$개의 정점을 가진 연결된 $K_r$-free 그래프에서 가장 큰 유도된 트리의 최소 크기에 대해 渐近적으로 날카로운 경계를 제공하기.
• 이러한 그래프에서 주어진 정점을 통과하는 큰 유도된 트리가 항상 존재함을 보여주어 원래 문제를 강화하기.

제안 방법

• 중앙 정점으로부터 높은 연결성을 가진 큰 성분을 식별하기 위해 반복적인 이웃 분해를 사용하기.
• 정점 이웃에 대한 귀납법을 적용하며, $K_r$-freeness를 활용해 성분의 구조를 통제하기.
• 트리 확장을 위해 서로소이면서 인접하지 않은 정점을 식별하기 위해 이웃과 성분 사이에 보조 이분 그래프를 구성하기.
• $r$-정규 트리에서 트리 크기에 대한 로그 경계를 사용하여 선그래프 성질을 통해 하한을 유도하기.
• $K_r$-free 그래프 내에서 큰 집합 내에서 인접하지 않은 정점의 존재를 보장하기 위해 레이즈머 이론적 접근을 적용하기.
• 모순에 기반한 증명을 통해 정점의 이웃에서 충분히 많은 큰 성분이 존재함을 증명하기.

실험 결과

연구 질문

• RQ1 정점 수가 $n$인 연결된 삼각형 없는 그래프에서 가장 큰 유도된 트리의 최소 크기인 $t_3(n)$의 진정한 渐近적 성장률은 무엇인가요?
• RQ2 $t_3(n)$에 대한 $\Omega(\log n / \log \log n)$와 $O(\sqrt{n} \log n)$ 사이의 격차를 좁힐 수 있을까요?
• RQ3 $r \geq 4$일 때 $t_r(n)$의 정확한 주요 순서는 무엇이며, 알려진 로그 상한값을 고려할 때 어떻게 되는가?
• RQ4 $K_r$-free 그래프에서 주어진 정점을 통과하는 큰 유도된 트리가 항상 존재함을 보장할 수 있을까요?
• RQ5 $K_r$-free 그래프에서 가장 큰 유도된 트리의 크기는 독립 수와 어떻게 비교될 수 있을까요?

주요 결과

• 모든 $n$개의 정점을 가진 연결된 삼각형 없는 그래프는 크기가 적어도 $\sqrt{n}$인 유도된 트리를 포함하며, 이는 상수 인자 범위 내에서 날카로운 경계이다.
• $r \geq 4$일 때, 모든 연결된 $K_r$-free 그래프는 크기가 적어도 $\frac{1}{4} \frac{\log n}{\log r}$인 유도된 트리를 포함하며, 이는 알려진 상한값과 상수 인자 범위 내에서 일치한다.
• $t_3(n) = \Theta(\sqrt{n})$라는 경계는 Matoušek와 Šámal의 추측을 해결하며, 그들이 제기한 $\sqrt{n}$ 이하의 거듭제곱 법칙보다 더 낮은 형태의 성장률을 예측한 바를 뒷받침한다.
• 증명은 주어진 정점을 통과하는 큰 유도된 트리가 항상 존재함을 보여주며, 이 성질은 원래 문제와 상수 인자 범위 내에서 동치이다.
• 중앙 정점에서 $\sqrt{2n}$ 크기의 최대 유도된 트리를 가지는 삼각형 없는 그래프를 구성함으로써 $\sqrt{n}$ 경계가 거의 날카로운 것을 보여준다.
• 결과적으로 $K_r$-free 그래프에서 가장 큰 유도된 트리의 크기는 渐近적으로 결정되며, 추가적인 로그적 또는 하위다항식 격차는 존재하지 않는다.