[논문 리뷰] Constructing dense graphs with sublinear Hadwiger number

Jacob Fox|arXiv (Cornell University)|2011. 08. 24.

Limits and Structures in Graph Theory참고 문헌 21인용 수 5

한 줄 요약

이 논문은 소규모 기본 그래프의 블로우업을 사용하여 하드지거 수가 부분선형인 밀도 높은 그래프를 명시적으로 구성한다. 정점 수 $ N $인 그래프에서 하드지거 수는 $ O(N / \sqrt{\log \log \log N}) $에 도달한다. 이 방법은 분수 클리크 마이너 수와 사전순 곱을 활용하여 그래프와 그 여집합 모두가 부분선형 클리크 마이너를 가지도록 보장하며, 메이더와 토마슨이 오랫동안 남긴 문제를 해결한다.

ABSTRACT

Mader asked to explicitly construct dense graphs for which the size of the largest clique minor is sublinear in the number of vertices. Such graphs exist as a random graph almost surely has this property. This question and variants were popularized by Thomason over several articles. We answer these questions by showing how to explicitly construct such graphs using blow-ups of small graphs with this property. This leads to the study of a fractional variant of the clique minor number, which may be of independent interest.

연구 동기 및 목표

• 정점 수 $ n $인 그래프에서 하드지거 수가 $ o(n) $인 밀도 높은 그래프를 명시적으로 구성함으로써, 메이더의 열린 문제를 다루는 것.
• 그래프와 그 여집합 모두가 부분선형 하드지거 수를 가지는 그래프를 구성함으로써, 토마슨이 제기한 더 강력한 변형 문제를 해결하는 것.
• 소규모 그래프의 블로우업을 사용하여 이러한 극한 그래프를 효율적으로 생성하는 프레임워크를 개발하는 것.
• 분수 형태의 클리크 마이너 수를 도입하고 분석함으로써, 이는 독립적인 이론적 관심을 가질 수 있음을 제시하는 것.

제안 방법

• 사전순 곱 블로우업을 사용: $ G(t) = G \cdot I_t $ 및 $ G[t] = G \cdot K_t $ 를 정의하며, 여기서 $ I_t $ 는 공집합 그래프이고 $ K_t $ 는 $ t $ 개 정점에서 구성된 완전 그래프이다.
• 소규모 기본 그래프 $ G $ 가 유계 하드지거 수를 가진다면, 그 블로우업은 제어된 확장 하에 이 성질을 유지함을 보이는 것.
• $ \epsilon $-하드지거 그래프를 $ h(G) \leq \epsilon |G| $ 를 만족하는 그래프로 정의하고, $ n(\epsilon) = 2^{(1+o(1))\epsilon^{-2}} $ 개 정점을 가진 such 그래프를 구성하는 것.
• 블로우업과 그 여집합의 하드지거 수가 여전히 $ \epsilon $-하드지거임을 증명하여 부분선형 성장이 유지됨을 보장하는 것.
• 블로우업에서 인접성은 거의 상수 시간 내에 계산 가능하므로, 다항식 시간 내에 명시적 구성이 가능함을 활용하는 것.
• 로버트슨-세이머의 정리를 활용하여 $ \epsilon $-하드지거 그래프의 집합이 마이너 닫힘임을 보이고, 유한한 금지 마이너로 특징지을 수 있음을 보이는 것.

실험 결과

연구 질문

• RQ1 정점 수 $ n $인 밀도 높은 그래프에서 하드지거 수가 $ o(n) $인 그래프를 명시적으로 구성할 수 있는가?
• RQ2 그래프와 그 여집합 모두가 부분선형 하드지거 수를 가지는 그래프를 구성할 수 있는가?
• RQ3 밀도 높은 그래프에서 최소 하드지거 수의 渐近적 행동은 어떠한가? 그리고 이를 명시적으로 유 bounds 할 수 있는가?
• RQ4 분수 하드지거 수는 표준 클리크 마이너 수와 어떻게 관련되어 있으며, 새로운 경계를 도출하는 데 사용될 수 있는가?
• RQ5 반사적 또는 무작위 그래프의 구조를 피하면서 부분선형 클리크 마이너를 가지는 그래프의 효율적 구성 방법은 존재하는가?

주요 결과

• 모든 $ \epsilon > 0 $ 에 대해, $ n(\epsilon) = 2^{(1+o(1))\epsilon^{-2}} $ 개 정점을 가진 그래프 $ G $ 를 구성하였으며, $ G $ 와 그 모든 완전 블로우업 및 여집합이 모두 $ \epsilon $-하드지거임을 보였다.
• 이러한 블로우업의 하드지거 수는 정점 수 $ N $ 인 그래프에서 $ O(N / \sqrt{\log \log \log N}) $ 이하로 유 bounds 되며, 부분선형 성장을 달성하였다.
• 이 구성은 인접성 계산이 거의 상수 시간 내에 가능하므로 다항식 시간 계산 가능성 기준을 충족하는 명시적 구성임을 보였다.
• 이 방법은 하드지거 수가 작은 소규모 밀도 높은 그래프의 블로우업이 동일한 성질을 유지함을 보여주며, 확장 가능한 구성에 기여한다.
• 분수 하드지거 수가 도입되었고, 클리크 마이너 성장 분석에 유용한 도구로 밝혀졌으며, 더 넓은 응용 가능성이 있다.
• 결과적으로 $ \epsilon $-하드지거 그래프의 집합이 마이너 닫힘임을 보이고, 로버트슨-세이머의 정리에 따라 유한한 금지 마이너 목록으로 특징지어질 수 있음을 암시한다.