[논문 리뷰] Grad and classes with bounded expansion III. restricted dualities

Jaroslav Nešetřil, Patrice Ossona de Mendez|arXiv (Cornell University)|2005. 08. 17.

Advanced Graph Theory Research참고 문헌 12인용 수 9

한 줄 요약

이 논문은 유계 확장 성질을 가진 클래스에 대해 제한된 호모모르피즘 이중성을 수립하며, 임의의 이러한 클래스와 홀수 정수 p에 대해 p제곱 그래프 G^{ atural p} 및 정확한 거리 그래프 G^{[ atural p]}의 색수는 유계임을 증명한다. 주요 기여는 이러한 클래스에 속하는 그래프가 유한 개의 유계 깊이 그래프와 호모모르피즘 동치인 소수의 색 클래스에 의해 유도되는 부분그래프를 가진다는 구조적 분해 정리이다.

ABSTRACT

We study restricted homomorphism dualities in the context of classes with bounded expansion. This presents a generalization of restricted dualities obtained earlier for bounded degree graphs and also for proper minor closed classes. This is related to distance coloring of graphs and to the ''approximative version'' of Hadwiger conjecture.

연구 동기 및 목표

• 유계 차수 및 마이너-폐쇄 그래프 클래스에서의 제한된 이중성을 더 넓은 유계 확장 클래스의 맥락으로 확장한다.
• 유계 확장 클래스에서 홀수 p에 대해 그래프의 거듭제곱 G^{ atural p} 및 정확한 거리 그래프 G^{[ atural p]}의 색수 성질을 조사한다.
• 유계 확장 클래스에 속하는 그래프에 대해, 소수의 색 클래스에 의해 유도되는 부분그래프가 유한 개의 유계 깊이 그래프와 호모모르피즘 동치가 되는 정규 분할 정리 수립.
• 이러한 결과들을 거리 색칠과 하드비거의 추측의 근사적 형태와 연결한다.

제안 방법

• 금지된 호모모르피즘에 대해 유한한 보편 그래프 U(𝒦,ℱ)의 존재를 이용한 호모모르피즘 이중성 개념의 활용.
• 트리 깊이 p의 개념을 적용하고, 깊이 p를 가진 임의의 그래프와 호모모르피즘 동치가 되는 유한한 그래프 집합 D̂_p를 구성한다.
• 유계 확장 성질을 이용해 이러한 호모모르피즘 동치 대표의 수가 유한함을 보장한다.
• 분해 정리를 적용하여 정점 집합을 N개의 색 클래스로 분할하여, 임의의 j개의 색 클래스에 의해 유도되는 부분그래프가 D̂_p에 속하는 그래프와 호모모르피즘 동치가 되도록 한다.
• 구조적 분해를 |V(U(𝒦,ℱ))|개의 색을 사용한 색칠을 통해 색수의 유계를 도출한다.
• 정리 4.2를 기초 결과로 활용하여 G^{ atural p} 및 G^{[ atural p]}의 색수 유계성에 대한 정리 5.2 및 5.3를 유도한다.

실험 결과

연구 질문

• RQ1 제한된 호모모르피즘 이중성은 유계 차수 및 마이너-폐쇄 클래스에서 유계 확장 클래스로 확장될 수 있는가?
• RQ2 유계 확장 클래스와 홀수 p ≥ 1에 대해, G ∈ 𝒦 이고 홀수 둘레(G) > p인 모든 G에 대해 G^{ atural p}의 색수는 일관되게 유계인가?
• RQ3 유계 확장 클래스에 속하는 모든 G에 대해 정확한 거리 그래프 G^{[ atural p]}의 색수는 일관되게 유계인가?
• RQ4 유계 확장 클래스에 속하는 그래프는 유한 개의 색 클래스로 분할될 수 있으며, 소수의 색 클래스에 의해 유도되는 부분그래프가 유한한 개의 유계 깊이 그래프와 호모모르피즘 동치가 되는가?
• RQ5 이러한 결과들은 거리 색칠과 하드비거의 추측의 근사적 형태와 어떻게 관련되는가?

주요 결과

• 모든 유계 확장 클래스 𝒦와 홀수 p ≥ 1에 대해, χ(G^{ atural p}) ≤ N 인 정수 N = N(𝒦, p)이 존재한다. 여기서 G ∈ 𝒦 이고 홀수 둘레(G) > p 이다.
• 모든 유계 확장 클래스 𝒦와 홀수 p ≥ 1에 대해, χ(G^{[ atural p]}) ≤ N′ 인 정수 N′ = N′(𝒦, p)이 존재한다. 여기서 G ∈ 𝒦 이다.
• 모든 유계 확장 클래스 𝒦와 모든 p ≥ 1에 대해, 유한한 N이 존재하여, 모든 G ∈ 𝒦는 N개의 색으로 정점 색칠이 가능하며, 임의의 j개의 색 클래스에 의해 유도되는 부분그래프가 유한한 집합 D̂_p의 트리 깊이-p 그래프와 호모모르피즘 동치가 된다.
• 구조적 분해는 소수의 색 클래스에 의해 유도되는 부분그래프의 가능한 컴포넌트 유형 수가 유한하고 일관되게 유계됨을 시사한다.
• 이러한 결과는 이전의 유계 차수 및 마이너-폐쇄 클래스에 대한 이중성을 일반화하며, 희박한 그래프에 대한 정규 분할 프레임워크를 제공한다.
• 이 프레임워크는 정리 4.2의 다른 증명을 가능하게 하며, 순차-병렬 그래프에서 호모모르피즘 순서의 보편성과 연결된다.