[논문 리뷰] Weak Coloring Numbers of Intersection Graphs

Dvo\v{r}\'ak, Zden\v{e}k, Jakub Pekárek외 2명|arXiv (Cornell University)|2021. 03. 31.

Advanced Graph Theory Research인용 수 1

한 줄 요약

이 논문은 구, 초입방체, 상하좌우로 정렬된 상자와 같은 R^d 내 기하 객체들의 교차 그래프에 대해 k-번째 약한 색칠 수의 날카러운 상한과 하한을 확립한다. 강한 색칠 수가 k에 대해 다항식적으로 증가하는 반면, 약한 색칠 수는 지수적으로 증가할 수 있음을 보여주며, 특히 고차원에서 특정 기하 그래프 계열에 대해 두 개념 간의 복잡성 차이를 드러낸다.

ABSTRACT

Weak and strong coloring numbers are generalizations of the degeneracy of a graph, where for each natural number $k$, we seek a vertex ordering such every vertex can (weakly respectively strongly) reach in $k$ steps only few vertices with lower index in the ordering. Both notions capture the sparsity of a graph or a graph class, and have interesting applications in the structural and algorithmic graph theory. Recently, the first author together with McCarty and Norin observed a natural volume-based upper bound for the strong coloring numbers of intersection graphs of well-behaved objects in $\mathbb{R}^d$, such as homothets of a centrally symmetric compact convex object, or comparable axis-aligned boxes. In this paper, we prove upper and lower bounds for the $k$-th weak coloring numbers of these classes of intersection graphs. As a consequence, we describe a natural graph class whose strong coloring numbers are polynomial in $k$, but the weak coloring numbers are exponential. We also observe a surprising difference in terms of the dependence of the weak coloring numbers on the dimension between touching graphs of balls (single-exponential) and hypercubes (double-exponential).

연구 동기 및 목표

• R^d 내 기하 객체들의 교차 그래프에 대해 약한 색칠 수의 渐近적 행동을 이해한다.
• 약한 색칠 수가 강한 색칠 수보다 지수적으로 증가하는 데 기여하는 구조적 요인과 차원적 요인을 규명한다.
• 구나 초입방체의 접촉 그래프를 포함한 교차 그래프 계열에 대해 약한 색칠 수의 날카러운 상한과 하한을 확립한다.
• 차원과 얇기(t-thin)의 역할이 약한 색칠 수의 증가율을 결정하는 데 어떻게 기여하는지 명확히 한다.
• 이 경계들이 유계 확장 그래프 계열과 어디에도 흩어지지 않는 그래프 계열에 미치는 영향을 탐색한다.

제안 방법

• 객체의 직경 기반 크기 순서 정점 순서를 사용하여 교차 그래프 내 약한 및 강한 색칠 수를 경계한다.
• 부피 기반 추론과 기하 스케일링(예: 크기가 확대된 객체 또는 반지름 (m+1)diam(v)인 구 Bm(v))을 적용하여 k단계 내의 도달 가능성을 통제한다.
• Lemma 11를 활용해 크기 순서 정렬 하에 정점 수와 약한 색칠 수의 관계를 규명하는 명시적 그래프 가족(예: m-수축 시퀀스의 구간, 직사각형, 정사각형)을 구성한다.
• 스카피드 구조(제8조)와 AH 변환을 활용하여 구간 또는 직사각형 그래프를 고차원 교차 그래프로 올리되, 색칠 수 하한을 유지한다.
• 제14조와 추론 15를 적용하여 색수를 차원으로 전환시키며, 교차 그래프를 고차원에서 초입방체의 접촉 그래프로 변환한다.
• 구간 그래프가 완전하고 적절하게 색칠 가능하므로 클리크 수를 경계하고 하한 구성에 기여한다.

실험 결과

연구 질문

• RQ1 R^d 내 t-thin인 d차원 구 집합의 교차 그래프에 대해 k-번째 약한 색칠 수의 渐近적 증가율은 무엇인가?
• RQ2 R^d 내 초입방체의 교차 그래프에서 약한 색칠 수와 강한 색칠 수는 k에 대해 어떻게 다름이 있는가?
• RQ3 R^d 내 축에 평행한 상자나 구의 교차 그래프에서 약한 색칠 수는 차원 d에 어떻게 의존하는가?
• RQ4 강한 색칠 수가 다항식적으로 증가하는 동안 약한 색칠 수가 지수적으로 증가할 수 있는가?
• RQ5 그래프의 색수는 고차원에서 초입방체의 접촉 그래프로의 표현 가능성과 어떻게 관련되는가?

주요 결과

• R^d 내 상하좌우로 정렬된 동일한 축을 가진 t-thin 상자 집합의 교차 그래프에 대해 k-번째 약한 색칠 수는 t(2k+1)^d 이하로 경계된다.
• R^d 내 b-ball 유사 객체의 교차 그래프에 대해 k-번째 약한 색칠 수는 bt(2k+2)^d 이하로 경계된다.
• R^1 내 t-thin 구간 그래프에 대해 크기 순서 정렬 하에 k-번째 약한 색칠 수는 Ω(k^t / t!)의 속도로 증가한다.
• R^d 내 단위 구의 접촉 그래프에 대해 k-번째 약한 색칠 수는 Ω(k^{d/2})로 증가하지만, 강한 색칠 수는 O(k^{d-1})로 증가한다.
• R^d 내 초입방체의 교차 그래프에 대해 k-번째 약한 색칠 수는 d ≥ 2일 때 Ω(2^k)로 증가할 수 있으나, 강한 색칠 수는 O(k^d)로 증가한다.
• Corollary 15에 따르면, 색수 최대 2^c인 임의의 그래프가 R^d 내 초입방체의 교차 그래프로 표현 가능하면, R^{d+c} 내 초입방체의 접촉 그래프로 표현 가능하다.