[논문 리뷰] Generalized Tur\'an problems for disjoint copies of graphs

Dániel Gerbner, Abhishek Methuku외 1명|arXiv (Cornell University)|2017. 12. 19.

Limits and Structures in Graph Theory참고 문헌 9인용 수 3

한 줄 요약

이 논문은 그래프의 분리된 복제본에 대한 일반화된 Turán 수, 특히 $ ex(n,H,kF) $를 조사한다. 이는 $ n $-정점 그래프에서 고정된 그래프 $ F $의 $ k $개의 정점 분리된 복제본을 피하는 조건에서 $ H $의 복제본 수의 최댓값을 의미한다. $ H = K_3 $ 및 다양한 $ F $에 대해 점점 커지는 점근적 경계를 확립하며, $ ex(n,K_3,kC_5) = (1+o(1))\binom{k-1}{3} \frac{n^6}{4^3} $임을 보여주며, 이는 $ ex(n,K_3,C_5) $와 비교해 주요한 순서의 차이를 드러낸다. 또한 보편 정점과 최적 구조를 활용한 새로운 수량 세기 방법을 제안한다.

ABSTRACT

Given two graphs $H$ and $F$, the maximum possible number of copies of $H$ in an $F$-free graph on $n$ vertices is denoted by $ex(n,H,F)$. We investigate the function $ex(n,H,kF)$, where $kF$ denotes $k$ vertex disjoint copies of a fixed graph $F$. Our results include cases when $F$ is a complete graph, cycle or a complete bipartite graph.

연구 동기 및 목표

• $ ex(n,H,kF) $, 즉 $ kF $-자유인 $ n $-정점 그래프에서 $ H $의 복제본 수의 최댓값의 행동을 이해하는 것. 여기서 $ kF $는 $ F $의 $ k $개의 정점 분리된 복제본을 의미한다.
• 하나의 복제본을 금지할 때와 비교해 $ k $개의 분리된 복제본을 금지할 경우 $ H $의 최적 복제본 수가 어떻게 변화하는지 조사하는 것.
• $ H $가 삼각형이고 $ F $가 사이클, 완전 그래프 또는 완전 이분 그래프일 경우 $ ex(n,H,kF) $에 대한 점근적 또는 순서의 경계를 확립하는 것.
• $ kF $-자유 조건 하에서 $ H $-복제본 수를 최대화하는 최적 그래프의 구조적 성질을 탐색하며, 특히 보편 정점과 Turán 유형의 구성 방법을 활용하는 것.
• 기존의 클래식한 Turán 이론의 통찰과는 다르게, $ ex(n,H,kF) $가 $ ex(n,H,F) $보다 크게 증가하는 경우가 존재하는지 확인하는 것.

제안 방법

• $ G $가 $ F $-자유일 때 $ K_{k-1} + G $의 구성 기법을 사용하여 $ kF $-자유인 그래프를 생성하며, $ k-1 $개의 보편 정점을 활용해 $ F $의 $ k $개의 분리된 복제본을 차단한다.
• 특히 Turán 그래프 $ T_r(n) $를 활용한 최적 그래프 이론 기법을 적용하여 $ F $-자유 그래프 내의 $ H $-복제본 수를 경계한다.
• $ lK_3 $에 대한 '좋은 복제본' 수량 세기 방법을 사용하며, 각 삼각형이 고정된 $ r \triangleq k-1 $개의 삼각형 각각에서 최대 한 개의 정점만 사용한다.
• 이중 세기와 간선 공유 분석을 통해 고정된 삼각형 $ A_i $에 속한 정점들을 포함하는 양호한 삼각형의 수를 $ O(n) $로 경계하며, 삼각형당이다.
• $ lK_3 $ 수량 세기 문제를 삼각형이 없는 그래프 $ G_R $ 내에서 $ lK_2 $ 수량 세기 문제로 환원하며, Erdős의 결과 $ ex(n,lK_2,K_3) = (1+o(1)) \frac{1}{l!} \binom{n^2}{4} $를 활용한다.
• 확률론적 및 최적 수량 세기 프레임워크를 적용하여, 특히 $ F = C_5 $일 경우 $ ex(n,K_3,kF) $에 대한 점근적 표현을 유도하며, 보편 정점 기여와 독립적인 간선 쌍화를 조합한다.

실험 결과

연구 질문

• RQ1 $ n $이 증가함에 따라 $ ex(n,K_3,kC_5) $는 어떻게 점근적으로 증가하는가? 이는 $ ex(n,K_3,C_5) $와 어떻게 비교되는가?
• RQ2 $ kF $-자유 그래프의 구조적 성질 중에서 $ H $-복제본 수를 최대화하는 것은 무엇인가? 특히 $ H = K_3 $이고 $ F $가 사이클 또는 완전 그래프일 경우.
• RQ3 $ ex(n,H,kF) $의 순서가 $ ex(n,H,F) $보다 크게 증가할 수 있는가? 만약 그렇다면 어떤 조건에서 그러한 현상이 발생하는가?
• RQ4 $ F $가 완전 그래프 $ K_r $ 또는 완전 이분 그래프 $ K_{s,t} $일 경우 $ ex(n,K_3,kF) $의 점근적 행동은 어떻게 되는가?
• RQ5 보편 정점과 최적 그래프 분해 기법이 다른 그래프 $ H $와 $ F $로 일반화될 수 있는 정도는 어느 정도인가?

주요 결과

• $ F = C_5 $일 경우 $ ex(n,K_3,kC_5) = (1+o(1))\binom{k-1}{3} \frac{n^6}{64} $로 표현되며, 이는 $ ex(n,K_3,C_5) = \theta(n^{3/2}) $와 비교해 다항식 수준의 성장률 증가를 보여준다.
• $ kC_5 $-자유 그래프 내의 $ lK_3 $에 대한 양호한 복제본 수는 최대 $ (1+o(1))\binom{k-1}{l} \frac{n^{2l}}{4^l} $로 경계되며, 이는 삼각형이 없는 그래프 내에서 $ lK_2 $를 세고 $ k-1 $개의 고정된 삼각형에서 $ l $개의 정점을 선택해 쌍화하는 방식으로 유도된다.
• 보편 정점을 사용하는 삼각형 기여는 고정된 삼각형당 $ O(n) $ 이내로 경계되며, 이는 이러한 구성이 하위 항 수준을 초월해 수를 지배하지 않음을 보장한다.
• $ T_2(n-k+1) $가 완전 이분 Turán 그래프일 때 $ K_{k-1} + T_2(n-k+1) $의 구성은 $ F = C_5 $일 경우 $ \theta(n^6) $개의 삼각형을 생성하며, 이는 상한 경계의 날카로움을 보여준다.
• $ F = C_{2l+1} $ 또는 $ C_{2l} $일 경우 $ ex(n,K_r,C_k) = O(n^{1+1/l}) $로 유도되며, 이는 기존의 Berge 초그래프 결과를 일반화된 Turán 설정으로 확장한다.
• 논문은 $ ex(n,H,kF) $가 $ ex(n,H,F) $보다 훨씬 더 빠르게 증가할 수 있음을 보여주며, $ H = K_3 $, $ F = C_5 $, $ k=2 $일 경우 $ \theta(n^6) $ 대비 $ \theta(n^{3/2}) $의 대비를 통해 클래식한 Turán 수와의 근본적인 차이를 드러낸다.