[논문 리뷰] Some exact results for generalized Tur\'an problems

Dániel Gerbner, Cory Palmer|arXiv (Cornell University)|2020. 06. 06.

Limits and Structures in Graph Theory참고 문헌 22인용 수 12

한 줄 요약

이 논문은 일반화된 투란 문제에 대해 정확한 결과를 확립하며, 주어진 그래프 $H$의 복제 수를 최대화하는 데 투란 그래프 $T_{k-1}(n)$가 언제 작용하는지 규명한다. $F$-자유 그래프에서 투란 그래프가 최대화하는 특정 그래프들—예를 들어 완전 다중분할 그래프, 경로 $P_3$, $P_4$, 그리고 사이클 $C_4$—가 클리크이거나 클리프가 아닌 그래프인 $F_2$ (한 정점에서 공유하는 두 삼각형)와 같은 특정 금지 그래프 $F$에 대해 $F$-투란-좋음임을 증명한다. 주요 기여는 일반화된 투란 설정에서 투란 그래프가 최적임을 보이는 $H$에 대한 체계적인 특성화이다.

ABSTRACT

Fix a $k$-chromatic graph $F$. In this paper we consider the question to determine for which graphs $H$ does the Tur\\'an graph $T_{k-1}(n)$ have the maximum number of copies of $H$ among all $n$-vertex $F$-free graphs (for $n$ large enough). We say that such a graph $H$ is $F$-Tur\\'an-good. In addition to some general results, we give (among others) the following concrete results: (i) For every complete multipartite graph $H$, there is $k$ large enough such that $H$ is $K_k$-Tur\\'an-good. (ii) The path $P_3$ is $F$-Tur\\'an-good for $F$ with $\\chi(F) \\geq 4$. (iii) The path $P_4$ and cycle $C_4$ are $C_5$-Tur\\'an-good. (iv) The cycle $C_4$ is $F_2$-Tur\\'an-good where $F_2$ is the graph of two triangles sharing exactly one vertex.

연구 동기 및 목표

• 금지 그래프 $F$가 $k$-색깔 가능일 때, $n$-정점 $F$-자유 그래프 중에서 투란 그래프 $T_{k-1}(n)$가 $H$의 복제 수를 최대화하는 그래프 $H$를 특정하는 것.
• $H$가 $F$-투란-좋음임을 만족하는 조건을 설정하는 것, 즉 모든 충분히 큰 $n$에 대해 $\mathrm{ex}(n,H,F) = \mathcal{N}(H,T_{k-1}(n))$ 임을 의미한다.
• 클리크가 아닌 금지 그래프, 특히 $F_2$ (한 정점에서 공유하는 두 삼각형)와 같은 비클리프 금지 그래프에 대해 기존의 일반화된 투란 문제 결과를 확장하는 것.
• 색깔 조건에 따라 다양한 조건에서 경로, 사이클, 완전 다중분할 그래프를 포함한 $H$에 대해 $F$-투란-좋음임을 정확히 특성화하는 것.

제안 방법

• 금지 그래프 $F$-자유 그래프에서 $H$의 복제 수의 최댓값을 나타내는 일반화된 투란 함수 $\mathrm{ex}(n,H,F)$ 를 정의한다.
• $F$-투란-좋음 그래프 개념을 도입한다: $H$가 $F$-투란-좋음임은 모든 큰 $n$에 대해 $\mathrm{ex}(n,H,F) = \mathcal{N}(H,T_{k-1}(n))$ 를 만족함을 의미한다.
• 극값 그래프 이론 기법을 사용하며, 특히 시몬وفي츠의 색깔 임계 간선 정리에 기반한 $F$-자유 그래프의 안정성 및 구조 정리에 활용한다.
• 최적화 논증과 간선 추가/삭제 전략을 적용하여 $F_2$-자유 그래프에서 $C_4$ 복제 수의 상한을 도출하고, $C_4$ 가 $F_2$-투란-좋음임을 증명한다.
• 이웃 집합과 금지 부분그래프 제약 조건을 고려하여 $C_4$ 복제 수에 대한 간선 기여도를 분석하며, 간선이 $K_4$ 에 속하는지 여부에 따라 경우를 구분한다.
• 기존의 $K_r$-자유 그래프 결과를 활용하여 더 일반적인 $H$로 확장하며, 재귀적 분해와 클리크 구조 조건을 사용한다.

실험 결과

연구 질문

• RQ1 어떤 그래프 $H$ 에 대해 투란 그래프 $T_{k-1}(n)$ 가 $n$-정점 $F$-자유 그래프 전체에서 $\mathcal{N}(H,G)$ 를 최대화하는 유일한 극값 그래프가 되는가?
• RQ2 금지 그래프 $F$ 와 그래프 $H$ 에 대해 어떤 조건에서 $H$ 가 $F$-투란-좋음이 되는가, 특히 $F$ 가 클리프가 아닐 경우에 대해?
• RQ3 $F_2$ 가 정확히 한 정점을 공유하는 두 삼각형으로 이루어진 그래프일 때, 사이클 $C_4$ 는 $F_2$-투란-좋음인가?
• RQ4 모든 완전 다중분할 그래프 $H$ 는 충분히 큰 $k$ 에 대해 $K_k$-투란-좋음이 되는가?
• RQ5 $F$ 의 색깔 수가 4 이상 또는 홀수 사이클일 경우, 경로 $P_l$ 과 짝수 사이클 $C_{2l}$ 는 $F$-투란-좋음인가?

주요 결과

• 모든 완전 다중분할 그래프 $H$ 에 대해 충분히 큰 $k$ 가 존재하여 $H$ 는 $K_k$-투란-좋음이 된다.
• 경로 $P_3$ 는 $\chi(F) \geq 4$ 인 모든 $F$ 에 대해 $F$-투란-좋음이다.
• 경로 $P_4$ 와 사이클 $C_4$ 는 $C_5$-투란-좋음이며, 이는 $T_4(n)$ 가 $C_5$-자유 그래프에서 이들의 복제 수를 최대화함을 의미한다.
• 사이클 $C_4$ 는 $F_2$-투란-좋음이며, $F_2$ 는 정확히 한 정점을 공유하는 두 삼각형으로 이루어진 그래프이며, $\mathrm{ex}(n,C_4,F_2) = \mathcal{N}(C_4,T_2(n))$ 이다.
• 큰 $n$ 에 대해 $F_2$-자유 그래프에서 $C_4$ 의 극값 그래프는 유일하게 투란 그래프 $T_2(n)$ 이며, 이는 정리 17의 구조적 제약 조건 때문이다.
• 어느 $F_2$-자유 그래프 $G$ 에서도 $C_4$ 복제 수는 $\mathcal{N}(C_4,T_2(n))$ 이하이며, 등호가 성립하는 경우는 $G$ 가 $C_4$ 에 속하지 않는 한 개의 추가 간선을 가진 투란 그래프일 때 뿐이다.