[논문 리뷰] Generalized Tur\'an problems for small graphs

Dániel Gerbner|arXiv (Cornell University)|2020. 06. 29.

Limits and Structures in Graph Theory참고 문헌 23인용 수 7

한 줄 요약

이 논문은 최대 네 개의 정점으로 이루어진 그래프 H와 F의 모든 쌍에 대해 일반화된 Turán 문제를 해결하며, n개의 정점으로 이루어진 F-자유 그래프에서 H의 복제본 수의 최댓값을 결정한다. 점진적 귀납법과 구조적 극한 그래프 이론을 사용하여 거의 모든 경우에 대해 정확한 점근적 결과를 확립한다. 주요 기여 사항으로는 Turán 그래프, 우정 그래프, 완전 이분 그래프와 같은 극한 그래프의 규명과 Ruzsa-Szemerédi 정리와 같은 열린 문제와의 연결이 있다.

ABSTRACT

For graphs $H$ and $F$, the generalized Tur\\'an number $ex(n,H,F)$ is the largest number of copies of $H$ in an $F$-free graph on $n$ vertices. We consider this problem when both $H$ and $F$ have at most four vertices. We give sharp results in almost all cases, and connect the remaining cases to well-known unsolved problems. Our main new contribution is applying the progressive induction method of Simonovits for generalized Tur\\'an problems.

연구 동기 및 목표

• 최대 네 개의 정점으로 이루어진 그래프 H와 F의 모든 쌍에 대해 일반화된 Turán 수 ex(n, H, F)를 체계적으로 결정하는 것.
• F가 금지된 상태에서 H를 세는 경우, 충분히 큰 n에 대해 ex(n, H, F)의 정확한 점근적 결과를 확립하는 것.
• F-자유 그래프에서 H의 복제본 수를 최대화하는 극한 그래프를 규명하는 것. 이는 Turán 그래프, 우정 그래프, 완전 이분 그래프를 포함한다.
• 미해결 케이스를 극한 조합론의 주요 열린 문제, 예를 들어 Ruzsa-Szemerédi 문제와 연결하는 것.
• Simonovits의 점진적 귀납법을 일반화된 Turán 문제에 적용하고 확장하는 것.

제안 방법

• Simonovits의 점진적 귀납법을 적용하여 극한 그래프 이론 기법을 간선 수 계산을 넘어서 하위그래프 수 계산으로 일반화하는 것.
• F를 피하고 H의 복제본 수를 최대화하는 극한 그래프를 분석하기 위해 구조적 그래프 분해를 사용하는 것.
• Turán 그래프 T_{r}(n), 우정 그래프 F(n), 완전 k-분할 그래프에 관한 기존 결과를 활용하여 극한 구성 요소를 만드는 것.
• 이중 세기와 간선-이웃 집합 논증을 통해 바운드를 확립하는 것. 특히 C₄-자유 그래프에서 H = P₄, K₃, M₂, S₄의 경우에 중점적으로 다룬다.
• 고립 정점은 일반화된 Turán 수에 영향을 주지 않기 때문에, H 또는 F에서 고립 정점을 제거하여 문제를 단순화하는 것.
• H'가 H에서 고립 정점을 제거한 그래프일 경우 ex(n, H, F) = ex(n, H', F)임을 이용하여 분석을 고립 정점이 없는 그래프로 단순화하는 것.

실험 결과

연구 질문

• RQ1 최대 네 개의 정점으로 이루어진 모든 쌍 H, F에 대해, n개의 정점으로 이루어진 F-자유 그래프에서 작은 그래프 H의 복제본 수의 최댓값은 얼마인가?
• RQ2 어떤 극한 그래프가 F-자유 그래프에서 H의 복제본 수를 최대화하는가? 이는 H와 F에 따라 어떻게 달라지는가?
• RQ3 어떤 쌍 (H, F)에 대해 극한 그래프가 Turán 그래프, 우정 그래프, 또는 완전 이분 그래프가 되는가?
• RQ4 ex(n, H, F)의 점근적 성질은 고전적 Turán 함수 ex(n, F)와 어떻게 관련되어 있는가?
• RQ5 ex(n, H, F)의 어떤 케이스는 여전히 미해결이며, 이는 극한 조합론의 깊은 미해결 문제와 어떻게 연결되어 있는가?

주요 결과

• 두 쌍을 제외한 나머지 모든 쌍 (H, F)에 대해, 큰 n에 대해 ex(n, H, F)의 정확한 점근적 행동을 규명하였으며, 이는 10×10 표에 요약되어 있다.
• F = K₄일 경우, ex(n, H, F)의 극한 그래프는 일반적으로 Turán 그래프 T₃(n)이며, F가 삼각형 또는 별일 경우 완전 이분 그래프가 된다.
• K₃-자유 그래프에서 S₄를 세는 경우, 극한 그래프는 별 Sₙ이며, 이는 우정 그래프 F(n)의 부분그래프이다.
• C₄-자유 그래프에서 P₄, K₃, M₂의 복제본 수는 ex(n, C₄)에 의해 점근적으로 결정되며, 이는 이러한 하위그래프를 세는 것이 C₄에 대한 고전적 Turán 문제를 해결하는 것과 비슷한 난이도를 가짐을 보여준다.
• 우정 그래프 F(n)는 ex(n, S₄, C₄)의 극한 구성 요소이며, ex(n, P₄, C₄)와 ex(n, M₂, C₄)의 하한을 구하는 데도 사용된다.
• 두 케이스는 여전히 미해결이다: H = T₁이고 F = B₂인 ex(n, H, F), 그리고 H = C₄이고 F = T₁인 ex(n, H, F). 이 두 경우는 Ruzsa-Szemerédi 정리와 깊이 연결되어 있으며, 여전히 주요 미해결 문제로 남아 있다.