[논문 리뷰] A stronger structure theorem for excluded topological minors

Zdenĕk Dvořák|arXiv (Cornell University)|2012. 09. 01.

Advanced Graph Theory Research참고 문헌 8인용 수 11

한 줄 요약

이 논문은 고정된 그래프를 위상적 부분그래프로 포함하지 않는 그래프의 구조 정리에서 거의 임베딩 조건을 강화함으로써, 구조 정리를 강화한다: 유한 성질을 가진 표면에 대한 임의의 임베딩을 允許하지 않고, 제외된 그래프 $H$가 임베딩될 수 없는 표면으로 제한하며, 고차수 정점은 $\mathrm{mf}(H,\Sigma)$, 즉 $H$에서 차수 $\geq 4$인 정점을 지배하는 면 집합의 최소 크기를 통해 제어한다. 이 결과는 임베딩을 피하는 그래프와 유계 $\infty$-허용성(graphs with bounded $\infty$-admissibility)에 대한 새로운 구조적 특성화를 가능하게 한다.

ABSTRACT

Grohe and Marx proved that if G does not contain H as a topological minor, then there exist constants g=O(|V(H)|^4), D and t depending only on H such that G is a clique sum of graphs that either contain at most t vertices of degree greater than D or almost embed in some surface of genus at most g. We strengthen this result, giving a more precise description of the latter kind of basic graphs of the decomposition - we only allow graphs that (almost) embed in ways that are impossible for H (similarly to the structure theorem for minors, where only graphs almost embedded in surfaces in that H does not embed are allowed). This enables us to give structural results for graphs avoiding a fixed graph as an immersion and for graphs with bounded infinity-admissibility.

연구 동기 및 목표

• 분해의 기본 조각에 대해 더 엄격한 임베딩 제약 조건을 도입함으로써, 고정된 그래프 $H$를 위상적 부분그래프로 포함하지 않는 그래프의 구조 정리를 개선한다.
• 고차수 정점의 분포를 제어하기 위해, $H$에서 차수 $\geq 4$인 정점을 지배하는 최소 면 집합과 관련지어, 거의 임베딩된 그래프에서 고차수 정점의 분포를 제어한다.
• 제외된 그래프 $H$를 임베딩으로서 포함하지 않는 그래프 및 유계 $\infty$-허용성 그래프로의 구조적 특성화를 확장한다.
• 이전 결과의 한계를 극복하기 위해, 정점 분리 및 작은 분리자로 인해 임의의 표면에 대한 임베딩이 $H$-위상적 부분그래프 포함를 방지하지 못하는 경우를 다룬다.

제안 방법

• 표면 $\Sigma$에서 $H$의 차수 4 이상인 정점을 모두 지배하는 면 집합의 최소 크기인 $\mathrm{mf}(H,\Sigma)$를 도입하여, 허용 가능한 임베딩을 제한한다.
• 거의 임베딩 조건을 재구성하여, $H$가 임베딩되지 않는 표면 $\Sigma$에서만 거의 임베딩 가능한 그래프를 允許하고, 이러한 그래프의 고차수 정점은 최대 $\mathrm{mf}(H,\Sigma)-1$개의 바위(바위: vortex)에 국한되도록 한다.
• 클리크 합성 분해에서 정점 순서와 역연결성을 제어하기 위해 $\infty$-허용성과 클리크 기반 $\infty$-허용성을 도입하고 분석한다.
• 작은 분리자로 분리된 고차수 정점에 대해 기술적 조정을 적용하여, 클리크 합성으로 제거할 수 없는 경우를 다룬다.
• 클리크 합성에 대해 $\infty$-허용성의 닫힘 성질을 증명하고, 분해 트리에 대한 귀납법을 통해 경계를 유도한다.
• 개선된 구조 정리를 적용하여, 고정된 그래프를 위상적 부분그래프로 포함하지 않는 그래프 및 유계 $\infty$-허용성 그래프에 대한 새로운 결과를 도출한다.

실험 결과

연구 질문

• RQ1 제외된 위상적 부분그래프에 대한 구조 정리를, $H$가 임베딩되지 않는 표면에서의 거의 임베딩으로 제한함으로써 강화할 수 있는가?
• RQ2 거의 임베딩된 그래프에서 고차수 정점의 분포를 어떻게 제어할 수 있으며, 이는 $H$-위상적 부분그래프 포함를 방지하는 데 기여하는가?
• RQ3 $\mathrm{mf}(H,\Sigma)$와 제외된 그래프 $H$를 가진 위상적 부분그래프로의 그래프의 구조적 분해 간의 관계는 무엇인가?
• RQ4 개선된 구조 정리를 사용하여, $H$를 임베딩으로서 포함하지 않는 그래프를 특성화할 수 있는가?
• RQ5 제외된 그래프 $H$를 위상적 부분그래프로 포함하지 않는 그래프에 대해 $\infty$-허용성의 날카운 경계는 무엇이며, 이는 분해 구성 요소와 어떻게 관련되는가?

주요 결과

• 논문은 더 강력한 구조 정리를 확립한다: $G$가 $H$를 위상적 부분그래프로 포함하지 않으면, $G$는 최대 $t$개의 차수 $> D$ 정점을 가지거나, $H$가 임베딩되지 않는 표면 $\Sigma$에 대해 $k$-거의 임베딩되며, 모든 고차수 정점들이 최대 $\mathrm{mf}(H,\Sigma)-1$개의 바위에 국한된 그래프들의 클리크 합성으로 표현된다.
• 원래 정리에서의 성질 $g$에 대한 경계는, $H$가 임베딩되지 않는 표면으로 제한함으로써 향상되었으며, 이는 임베딩이 $H$와 구조적으로 불일치하도록 보장한다.
• 제외된 그래프 $H$를 위상적 부분그래프로 포함하는 그래프는 $\infty$-허용성이 최대 $a + D$임을 증명한다. 여기서 $a$는 분해 구성 요소에서 차수 $> D$인 정점의 수이다.
• 유계 $\infty$-허용성을 가진 그래프가 클리크 합성에 대해 닫혀 있으며, 이러한 그래프는 어떤 이중휠 $W_{t+2}$도 위상적 부분그래프로 포함하지 않음을 보였다.
• 구조 정리를 응용하여, 고정된 그래프를 위상적 부분그래프로 포함하지 않는 그래프에 대해 다항식 시간 이sovorphism 테스트를 도출할 수 있다.
• 논문은 약한 역을 제시한다: 만약 그래프가 유계 $\infty$-허용성을 가진다면, 어떤 이중휠 $W_{t+2}$도 위상적 부분그래프로 포함하지 않는다.