[논문 리뷰] Product structure of graph classes with strongly sublinear separators

David R. Wood, Wood, David R.|arXiv (Cornell University)|2022. 08. 22.

Advanced Graph Theory Research인용 수 4

한 줄 요약

이 논문은 강한 초선형 분리자—즉, $O(n^{1-\rho})$로 증가하는 분리자—를 가진 유전적 그래프 클래스가, 임의의 $\delta > 0$에 대해 $O(n^{1-\rho+\delta})$ 크기의 완전 그래프와 유계 트리 깊이를 가진 그래프의 강한 곱의 부분그래프로 표현됨을 확립한다. 핵심 기여는 $\delta$에 대한 의존성과 $O(\log \log n)$ 트리 깊이 상한이 최적임을 보여주는 날카운 특성화를 제공하며, 이는 제품 구조 이론에서 중심적인 열린 문제를 해결한다.

ABSTRACT

We investigate the product structure of hereditary graph classes admitting strongly sublinear separators. We characterise such classes as subgraphs of the strong product of a star and a complete graph of strongly sublinear size. In a more precise result, we show that if any hereditary graph class $\mathcal{G}$ admits $O(n^{1-ε})$ separators, then for any fixed $δ\in(0,ε)$ every $n$-vertex graph in $\mathcal{G}$ is a subgraph of the strong product of a graph $H$ with bounded tree-depth and a complete graph of size $O(n^{1-ε+δ})$. This result holds with $δ=0$ if we allow $H$ to have tree-depth $O(\log\log n)$. Moreover, using extensions of classical isoperimetric inequalties for grids graphs, we show the dependence on $δ$ in our results and the above $ ext{td}(H)\in O(\log\log n)$ bound are both best possible. We prove that $n$-vertex graphs of bounded treewidth are subgraphs of the product of a graph with tree-depth $t$ and a complete graph of size $O(n^{1/t})$, which is best possible. Finally, we investigate the conjecture that for any hereditary graph class $\mathcal{G}$ that admits $O(n^{1-ε})$ separators, every $n$-vertex graph in $\mathcal{G}$ is a subgraph of the strong product of a graph $H$ with bounded tree-width and a complete graph of size $O(n^{1-ε})$. We prove this for various classes $\mathcal{G}$ of interest.

연구 동기 및 목표

• 유전적 그래프 클래스에서 강한 초선형 분리자를 가진 그래프를 제품 구조 정리로 특성화하는 것.
• 강한 곱 분해에서 완전 그래프 요소의 크기에 대한 분리 지수 $\epsilon$ 의 최적 의존성을 규명하는 것.
• 모든 $n$-정점 그래프가 $H \boxtimes K_m$ 의 부분그래프로 표현될 수 있는지, 여기서 $H$ 는 유계 트리위드를 가지며 $m = O(n^{1-\epsilon})$ 라는 가설을 검토하는 것.
• 트리 깊이와 $\delta$-의존성에 대한 상한의 최적성 증명하는 것.

제안 방법

• 강한 곱 분해를 사용하여 강한 초선형 분리자를 가진 유전적 클래스의 그래프를 표현하는 것.
• 격자 그래프에 대한 등면적 부등식을 적용하여 완전 그래프 요소에 요구되는 크기의 하한을 도출하는 것.
• 수반된 나무의 반복 분할을 통한 극한 그래프의 구성으로 상한의 날카로움을 입증하는 것.
• 트리 깊이와 경로 분해 기법을 사용하여 분해에서의 구조적 파라미터를 제한하는 것.
• 모순에 의한 증명을 통해 $\delta$-의존성과 $O(\log \log n)$ 트리 깊이 상한이 최적임을 보이는 것.
• 미너 클로저 및 기하 그래프 클래스에 대한 기존 결과를 활용하여 특수 케이스에서 가설을 검증하는 것.

실험 결과

연구 질문

• RQ1 모든 유전적 그래프 클래스에서 $O(n^{1-\epsilon})$ 분리자를 가진 그래프는 임의의 $\delta > 0$ 에 대해 $H$ 가 유계 트리 깊이를 가지며 $m = O(n^{1-\epsilon+\delta})$ 인 $H \boxtimes K_m$ 의 부분그래프로 표현될 수 있는가?
• RQ2 만약 $\delta = 0$ 이면 $H$ 에 대한 $O(\log \log n)$ 트리 깊이 상한은 최적인가?
• RQ3 $\delta$ 에 대한 지수 의존성을 제거할 수 있는가, 즉 $H$ 가 유계 트리위드를 가지며 $m = O(n^{1-\epsilon})$ 이 달성 가능한가?
• RQ4 이러한 제품 분해에서 트리 깊이와 $\delta$-의존성에 대한 상한은 최적인가?
• RQ5 가설은 터치 그래프의 구, $k$-교차 비가역 그래프, 또는 스트링 그래프와 같은 특정 클래스에 대해 성립하는가?

주요 결과

• 강한 초선형 분리자 $O(n^{1-\epsilon})$ 를 가진 유전적 그래프 클래스의 모든 $n$-정점 그래프는 트리 깊이 $O(\log \log n)$ 를 가진 그래프 $H$ 와 크기 $O(n^{1-\epsilon+\delta})$ 의 완전 그래프의 강한 곱의 부분그래프이다. 여기서 $\delta > 0$ 이다.
• 지수에서 $\delta$ 의 의존성은 최적임이 입증되었으며, $\delta$ 를 줄일 경우 더 큰 완전 그래프 요소가 필요해지는 극한 그래프의 구성으로 확인되었다.
• $\delta = 0$ 일 때 $H$ 에 대한 $O(\log \log n)$ 트리 깊이 상한은 격자 유사 그래프에 대한 등면적 추론을 통해 최적임이 입증되었다.
• 트리위드 $t$ 를 가진 그래프에 대해서는 날카운 제품 구조를 증명하였으며, 이는 $H$ 가 트리 깊이 $t$ 를 가지며 $m = O(n^{1/t})$ 인 $H \boxtimes K_m$ 의 부분그래프임을 의미한다. 이는 최적이다.
• 가설이 성립하는 경우, 평면 그래프, 유계 오일러 유사도를 가진 그래프, 그리고 미너 클로저 클래스를 포함한 여러 중요한 클래스에서 성립함을 보였다.
• 논문은 $\mathcal{G}$ 가 유전적이지 않다면 가설이 실패함을 보였으며, 이는 트리위드가 유계인 $H$ 와 함께 그러한 곱에 통합될 수 없는, 무한한 완전 부분그래프를 가진 단일 그래프를 구성함으로써 입증되었다.