[논문 리뷰] The Kruskal-Katona Theorem for Graphs

Robert Cowen|arXiv (Cornell University)|2018. 10. 12.

Advanced Graph Theory Research참고 문헌 4인용 수 1

한 줄 요약

이 논문은 고정된 수의 Kr 부분그래프를 가진 상황에서 Ks 부분그래프의 수에 대한 상한이 정확히 달성되는 조건을 규명함으로써 그래프에 대한 Kruskal-Katona 정리의 확장을 제시한다. 완전 그래프에 정점과 간선를 추가하거나 제거하는 구조를 도입하여, Kr 수의 r-표준 표현이 특정 이항계수 조건을 만족할 경우 상한이 달성됨을 증명한다. 또한, r=3, s=4일 때 Turán 그래프 T(n, n−2)가 K4 부분그래프에 대해 상한에 한 칸만 못 미치는 최대한의 정확도를 달성한다고 추측한다.

ABSTRACT

In graph theory, knowing the number of complete subgraphs with r vertices that a graph g has, limits the number of its complete subgraphs with s vertices, for s > r. A useful upper bound is provided by the Kruskal-Katona theorem, but this bound is often not tight. In this note, we add to the known cases where this bound is tight and also investigate cases where it is not. Finally we look at a useful technique for actually finding the numbers of complete subgraphs of a graph.

연구 동기 및 목표

• 고정된 수의 Kr 부분그래프를 가진 상황에서 Ks 부분그래프의 수에 대한 Kruskal-Katona 상한이 언제 정확하게 달성되는지 규명하는 것.
• Bollobás의 정확도 결과를 Kr 수의 r-표준 표현이 두 항이 아닌 세 항을 포함하는 경우로 확장하는 것.
• 특히 Turán 그래프 T(n, n−2)와 같은 완전 그래프에서 간선를 제거한 그래프에서 Kruskal-Katona 상한의 정확도를 조사하는 것.
• 특정 조건 하에서 Kruskal-Katona 상한을 달성하는 그래프를 구성하는 방법을 제공하는 것.
• (s−1)-핵 제거 기법을 활용하여 Ks 부분그래프 수를 세는 계산 효율성을 향상시키는 것.

제안 방법

• 정수 x의 r-표준 표현을 사용하여 Kr 부분그래프의 수를 내림차순하는 하위지수를 가진 이항계수의 합으로 표현한다.
• r-표준 표현에서 r을 s로 대체하여 Kruskal-Katona 상한 [x]_r^s를 적용한다.
• Kn의 m개 정점과 Kn의 w개 정점에 연결된 외부 정점을 추가하여 그래프를 구성함으로써, Kr 수가 x와 일치하고 Ks 수가 [x]_r^s와 일치하도록 보장한다.
• 구성된 그래프가 상한을 달성하고 더 큰 Ks 수가 불가능함을 보여줌으로써 정확도를 증명한다.
• Kn에서 두 개의 인접하지 않는 간선를 제거하여 형성된 Turán 그래프 T(n, n−2)를 분석하고, 정확한 K3 및 K4 부분그래프 수를 계산한다.
• Ks 부분그래프를 모두 유지하면서 그래프 크기를 줄이는 (s−1)-핵 제거 기법을 적용하여 더 효율적인 수를 세는 데 활용한다.

실험 결과

연구 질문

• RQ1 Kr 부분그래프의 수가 고정된 x일 때, Ks 부분그래프의 수에 대한 Kruskal-Katona 상한이 어떤 조건에서 정확하게 달성되는가?
• RQ2 Kr 수의 r-표준 표현이 두 항인 경우에만 적용 가능한 Bollobás의 정확도 결과를 세 항 표현으로 확장할 수 있는가?
• RQ3 Kr 수가 x = (n choose 3) − 2(n−2)일 때, Turán 그래프 T(n, n−2)에서 K4 부분그래프의 수에 대한 Kruskal-Katona 상한이 정확하게 달성되는가?
• RQ4 x = (n choose 3) − 2(n−2)일 때, k4(k3 ≤ x)의 정확한 값은 얼마이며, Kruskal-Katona 상한과 얼마나 가까운가?
• RQ5 (s−1)-핵 제거 기법은 큰 그래프에서 Ks 부분그래프 수를 세는 데 어떤 방식으로 효율성을 향상시키는가?

주요 결과

• x의 r-표준 표현이 세 항을 가지며, (t choose r−2) = (w choose r−1)를 만족하고 s−2 > t, s−1 > w일 경우, Kruskal-Katona 상한은 정확하게 달성된다.
• x = (n choose r) + (m choose r−1) + (t choose r−2)일 때, (t choose r−2) = (w choose r−1)이고 s−2 > t, s−1 > w이면, ks(kr ≤ x) = (n choose s) + (m choose s−1)이며, 이는 상한을 정확히 달성한다.
• Turán 그래프 T(n, n−2)에서는 x = (n choose 3) − 2(n−2)일 때 K4 부분그래프의 수가 Kruskal-Katona 상한보다 정확히 한 개 적게 나오므로, 상한에 매우 가깝게 달성된다고 볼 수 있다.
• T(n, n−2)에서 K5 부분그래프의 실제 수는 Kruskal-Katona 상한보다 (n−5)만큼 적게 나오며, 이는 더 높은 s에 대해 체계적인 갭이 있음을 시사한다.
• (s−1)-핵 제거 방법은 모든 Ks 부분그래프를 유지하면서 그래프 크기를 선형적으로 줄여주며, 부분그래프 수 계산의 효율성을 높여준다.
• 논문은 n > 6일 때, x = (n choose 3) − 2(n−2)이면 k4(k3 ≤ x) = [x]_3^4 − 1임을 추측하며, 이 경우 상한이 오직 한 칸만 뒤처진다고 주장한다.