[논문 리뷰] Minors and dimension

Bartosz Walczak|arXiv (Cornell University)|2015. 01. 04.

Advanced Graph Theory Research참고 문헌 21인용 수 2

한 줄 요약

이 논문은 높이가 유계인 포스넷의 커버 그래프가 고정된 위상적 미니처를 포함하지 않을 경우 그 차원이 유계임을 증명한다. 이는 이전의 평면 및 유계 트리너비 커버 그래프에 대한 결과를 일반화한 것이다. 증명은 Robertson-Seymour과 Grohe-Marx의 구조 분해 정리에 기반하여 이 유계 bound를 확립한다.

ABSTRACT

Streib and Trotter proved in 2012 that posets with bounded height and with planar cover graphs have bounded dimension. Recently, Joret et al. proved that the dimension is bounded for posets with bounded height whose cover graphs have bounded tree-width. In this paper, it is proved that posets of bounded height whose cover graphs exclude a fixed (topological) minor have bounded dimension. This generalizes both the aforementioned results and verifies a conjecture of Joret et al. The proof relies on the Robertson-Seymour and Grohe-Marx structural decomposition theorems.

연구 동기 및 목표

• Joret 등이 제기한, 위상적 미니처가 없는 커버 그래프를 가진 높이가 유계인 포스넷의 차원이 유계임을 증명하는 데 목적이 있다.
• 이전의 평면 커버 그래프 및 유계 트리너비 커버 그래프에 대한 결과를 일반화하는 데 목적이 있다.
• 위상적 미니처 배제 조건을 활용하여 포스넷의 차원 유계성에 대한 통합적 프레임워크를 수립하는 데 목적이 있다.

제안 방법

• 고정된 위상적 미니처를 포함하지 않는 커버 그래프를 분해하기 위해 Robertson-Seymour의 그래프 구조 정리를 활용한다.
• 그러한 그래프의 구조적 성질을 분석하기 위해 Grohe-Marx 분해 정리를 적용한다.
• 포스넷의 유계 높이를 활용하여 분해 구성 요소 간의 차원 증가를 제어한다.
• 조합적 추론을 통해 구조적 그래프 성질을 차원 제약 조건으로 변환한다.
• 분해 결과와 포스넷 차원 이론을 조합하여 통일된 bound를 유도한다.
• 위상적 미니처 배제와 함께 높이가 유계일 경우, 차원이 유계임을 증명한다.

실험 결과

연구 질문

• RQ1 커버 그래프가 고정된 위상적 미니처를 포함하지 않을 경우, 높이가 유계인 포스넷의 차원이 여전히 유계로 유지되는가?
• RQ2 평면 및 유계 트리너비 커버 그래프를 초월하여, 더 넓은 위상적 미니처가 없는 그래프의 클래스로 차원 유계성 결과를 확장할 수 있는가?
• RQ3 이전의 포스넷 차원 유계성 결과를 통합하는 커버 그래프에 대한 구조적 조건이 존재하는가?

주요 결과

• 고정된 위상적 미니처를 포함하지 않는 커버 그래프와 함께 높이가 유계인 임의의 포스넷의 차원은 유계이다.
• 차원에 대한 bound는 포스넷의 크기와는 무관하게 높이와 배제된 미니처에만 의존한다.
• 이 결과는 Streib와 Trotter의 평면 커버 그래프 결과 및 Joret 등이 제시한 유계 트리너비 결과를 모두 일반화한다.
• 이 증명은 이러한 모든 포스넷에 대해 통일된 차원 bound를 확립한다. 크기에 관계없이 동일한 bound가 적용된다.
• Robertson-Seymour과 Grohe-Marx의 구조 분해 정리는 이 bound를 도출하는 데 필수적이다.
• 이 작업은 Joret 등이 제기한 위상적 미니처가 없는 커버 그래프에 대한 추측을 확인한다.