[논문 리뷰] Extremal density for sparse minors and subdivisions

John Haslegrave, Jaehoon Kim외 1명|arXiv (Cornell University)|2020. 12. 03.

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

한 줄 요약

이 논문은 약간의 분리성 조건을 만족하는 희박하고 차수 제한이 있는 이분 그래프의 분할을 유도하기 위해 필요한 평균 차수에 대한 渐近적으로 날카로운 경계를 확립한다. 구조적 그래프 이론과 확률적 방법을 활용하여, $ t \times t $ 격자가 위상적 미니처로 포함되도록 하기 위해 평균 차수 $ (1+o(1))t^2 $ 가 충분하며, 모든 $ t $-정점 평면 그래프가 미니처로 포함되도록 하기 위해 $ (3/2+o(1))t $ 가 필요하다. 이때 상수 $ 3/2 $ 는 최적이며, 모든 고정된 표면에 대해 일반적이다.

ABSTRACT

We prove an asymptotically tight bound on the extremal density guaranteeing subdivisions of bounded-degree bipartite graphs with a mild separability condition. As corollaries, we answer several questions of Reed and Wood on embedding sparse minors. Among others, $\bullet$ $(1+o(1))t^2$ average degree is sufficient to force the $t imes t$ grid as a topological minor; $\bullet$ $(3/2+o(1))t$ average degree forces every $t$-vertex planar graph as a minor, and the constant $3/2$ is optimal, furthermore, surprisingly, the value is the same for $t$-vertex graphs embeddable on any fixed surface; $\bullet$ a universal bound of $(2+o(1))t$ on average degree forcing every $t$-vertex graph in any nontrivial minor-closed family as a minor, and the constant 2 is best possible by considering graphs with given treewidth.

연구 동기 및 목표

• 희박하고 차수 제한이 있는 이분 그래프에 대해 약간의 분리성 조건을 만족할 때, 그 분할을 보장하는 정확한 渐近 평균 차수 임계값을 결정하는 것.
• Reed와 Wood가 제기한 열린 문제를 해결하여, 특히 $ t \times t $ 격자와 평면 그래프에 관해 희박한 미니처의 매장 문제를 해결하는 것.
• 모든 고정된 표면에 대해 임의의 비자명한 미니처 닫힘 가족 내 $ t $-정점 그래프를 모두 미니처로 포함시키는 데 필요한 보편적인 상수를 확립하고, 최적성 분석을 수행하는 것.
• 이전의 희박한 그래프 가족에서 위상적 미니처와 미니처에 대한 극한 밀도 결과들을 통합하고 확장하는 것.

제안 방법

• 이분 그래프에 대해 $ \beta $-분리성의 개념을 도입하여, 정점 제거 시 컴포넌트 크기를 제한함으로써 분할의 귀납적 구성이 가능하도록 보장한다.
• 확률적 및 극한 그래프 기법을 적용하여, 평균 차수 $ d $ 를 가진 그래프는 $ |H| \to (1-\beta)d $ 이고 $ \bigtriangleup(H) \to \bigtriangleup $ 를 만족하는 모든 $ \beta $-분리성 이분 그래프 $ H $ 의 분할을 포함함을 보여준다.
• 평면 및 표면에 매장된 그래프의 구조를 활용하여, 이분 분할 구성과 면 분할 논증을 통해 날카로운 경계를 유도한다.
• 색수와 미니처 닫힘 가족에 관한 기존 결과를 적용하여, 색수가 $ \rho $ 인 미니처 닫힘 가족에 대해 $ d_{\text{min}} = (2 - 2/\rho + o(1))t $ 형태의 경계를 도출한다.
• 기존의 $ K_t $-미니처 및 위상적 미니처에 대한 극한 결과를 활용하여, 渐近 경계의 주계수를 校정한다.
• 면 순환과 1-요소 분해에 대한 이중 세기 논증을 활용하여, 평면 그래프에서 분할 크기 경계의 최적성을 증명한다.

실험 결과

연구 질문

• RQ1 어느 정도의 최소 평균 차수가 $ t \times t $ 격자를 위상적 미니처로 포함시키는 데 필요한가?
• RQ2 모든 $ t $-정점 평면 그래프를 미니처로 포함시키는 데 필요한 평균 차수 경계에서 상수 $ 3/2 $ 가 최적인지, 그리고 모든 고정된 표면에 매장 가능한 그래프로도 확장되는가?
• RQ3 모든 비자명한 미니처 닫힘 가족 내 $ t $-정점 그래프를 모두 미니처로 포함시키는 데 필요한 보편 상수 $ c $ 를 확립할 수 있으며, $ c = 2 $ 가 최선인지?
• RQ4 어떤 그래프 $ G $ 에 대해 $ |2\alpha(G) - \alpha_2(G)| = o(|G|) $ 가 성립하며, 이는 극한 미니처 밀도와 어떻게 관련되는가?
• RQ5 모든 미니처 닫힘 가족 $ \mathcal{F} $ 에 대해 $ d_{\text{min}} = (2 - 2/\chi(\mathcal{F}) + o(1))t $ 이 성립하는가? 특히 분리합에 대해 닫혀 있지 않은 가족에도 성립하는가?

주요 결과

• $ t \times t $ 격자를 위상적 미니처로 포함시키기 위해 평균 차수 $ (1+o(1))t^2 $ 가 충분하고 필수적이다.
• 모든 $ t $-정점 평면 그래프를 미니처로 포함시키기 위해 평균 차수 $ (3/2+o(1))t $ 가 필요하며, 상수 $ 3/2 $ 는 최적이다. 동일한 경계는 모든 고정된 표면에 매장 가능한 그래프에도 적용된다.
• 비자명한 모든 미니처 닫힘 가족 내 $ t $-정점 그래프를 모두 미니처로 포함시키기 위해 평균 차수 $ (2+o(1))t $ 가 충분하며, 상수 2 는 최선이다. 이는 트리너비 기반 극한 구성에 의해 입증된다.
• 모든 $ \beta $-분리성 이분 그래프 $ H $ 에 대해 $ |H| \to (1-\beta)d $ 이고 $ \bigtriangleup(H) \to \bigtriangleup $ 를 만족할 때, $ G $ 의 평균 차수 $ d $ 는 $ H $ 의 분할을 보장하며, 이 경계는 渐近적으로 날카롭다.
• 미니처 닫힘 가족 $ \mathcal{F} $ 에 대해 경계 $ d_{\text{min}} = (2 - 2/\chi(\mathcal{F}) + o(1))t $ 가 성립하며, 분리합에 대해 닫혀 있는 가족에 대해서는 최적이다.
• 링크로 연결되지 않은 매장 가능한 그래프의 집합은 $ d_{\text{min}} = (8/5 + o(1))t $ 를 만족하며, 일반적인 $ 2t $ 경계보다 엄격히 작은 상수를 보여준다.