[논문 리뷰] Chromatic numbers for the hyperbolic plane and discrete analogs

Hugo Parlier, Camille Petit|ArXiv.org|2017. 01. 30.

Limits and Structures in Graph Theory참고 문헌 2인용 수 3

한 줄 요약

이 논문은 거리 제약 조건 하에서 유클리드 평면과 q-정규 트리에 대한 색수를 조사하며, 거리 d에 대한 선형 상한을 확보하기 위해 초반색 체스판 색칠 전략을 도입한다. d ≥ 2 log(3)일 때 χ(ℍ, d) ≤ 5(⌈d/log(4)⌉ + 1)임을 증명하고, 간격 색수에 대해 날카운 감마 상한을 제공하여 χ(ℍ, [d,cd])가 e^{(cd−1)/2} 정도로 증가함을 보인다. 다항식 인자까지 고려할 때의 지수적 성장이다.

ABSTRACT

We study colorings of the hyperbolic plane, analogously to the Hadwiger-Nelson problem for the Euclidean plane. The idea is to color points using the minimum number of colors such that no two points at distance exactly $d$ are of the same color. The problem depends on $d$ and, following a strategy of Kloeckner, we show linear upper bounds on the necessary number of colors. In parallel, we study the same problem on $q$-regular trees and show analogous results. For both settings, we also consider a variant which consists in replacing $d$ with an interval of distances.

연구 동기 및 목표

• 정확히 거리 d에 있는 두 점이 같은 색을 가지지 않도록 초반색 평면을 칠하기 위해 필요한 최소 색의 수를 결정하는 것.
• 초반색 평면의 이산적 유사체인 q-정규 트리로 색수 문제를 확장하는 것.
• 거리가 단일 값이 아닌 간격 [d, cd]로 제약될 경우 색수의 행동을 분석하는 것.
• 구조화된 체스판 색칠 방법을 사용하여 초반색 평면과 트리에 대한 개선된 상한을 제공하는 것.
• 특히 큰 d에 대해 클리크 구성과 간격 클리크 수를 통해 하한을 확립하는 것.

제안 방법

• Székely와 Kloeckner의 영감을 얻어, 너비 w = d, 높이 h = log(4)인 직사각형 스트라타로 초반색 평면을 분할하는 초반색 체스판 색칠 전략을 사용한다.
• 간격 색칠 제약 조건을 관리하기 위해 매 (⌊cd⌋ + 1)개의 스트라타마다 색을 반복 사용한다.
• 초반색 삼각법을 적용하여 반지름 (c−1)d/2인 원 위의 점들 사이의 각도 분리를 추정하고, 상호간에 거리 d를 가지는 점들의 수를 제한한다.
• 트리의 경우, 원주형 분해를 사용하고, 거리 ⌊cd/2⌋ + 1에 공통 조상이 있는 정점을 묶어 색 할당을 위한 그룹을 형성한다.
• 공통 조상으로부터 ⌊cd/2⌋ + 1 단계 내에 있는 정점의 슈퍼 번들을 사용하여, 다른 색을 가진 번들의 간격이 > cd가 되도록 보장한다.
• 클리크 구성으로 하한을 유도한다: ℍ의 경우, 원 위에 위치한 점들로 이루어진 클리크이며, 상호간 거리는 [d, cd]에 속한다. T_q의 경우, 루트로부터 고정된 거리에 있는 정점들을 사용한다.

실험 결과

연구 질문

• RQ1 d가 증가함에 따라 색수 χ(ℍ, d)의 점 渐차적 성장은 어떻게 되는가?
• RQ2 거리가 단일 값이 아닌 간격 [d, cd]로 제약될 경우 색수는 어떻게 행동하는가?
• RQ3 이산적 유사체인 q-정규 트리는 초반색 평면의 색수 행동을 모델링할 수 있는가?
• RQ4 단일 및 간격 거리 제약 조건에 대해 χ(ℍ, d)와 χ(T_q, d)에 대한 가장 날카운 상한과 하한은 무엇인가?
• RQ5 d와 c에 대한 성장률 측면에서 초반색 평면과 트리의 색수는 어떻게 비교되는가?

주요 결과

• d ≥ 2 log(3)일 때, 초반색 평면의 색수는 χ(ℍ, d) ≤ 5(⌈d/log(4)⌉ + 1)를 만족하며, 이는 d에 대한 선형 상한을 제공한다.
• 작은 d ≤ 2 log(2)에 대해서는 더 날카운 상한을 확립한다: χ(ℍ, d) ≤ 9.
• 간격 색수 χ(ℍ, [d, cd])에 대해 지수적 성장이 증명된다: 충분히 큰 d에 대해 2e^{(cd−1)/2} < χ(ℍ, [d, cd]) < 2(2e^{(cd−1)/2} + 1)(cd + 1)이다.
• q-정규 트리의 경우, 색수 χ(T_q, d)는 d가 홀수일 때 정확히 2이며, d가 짝수일 때는 최대 (q−1)(d+1)이다.
• 트리의 간격 색수는 q(q−1)^{⌊cd/2⌋−⌈d/2⌉} ≤ χ(T_q, [d, cd]) ≤ (q−1)^{⌊cd/2+1⌋}(⌊cd⌋ + 1)를 만족하여, cd에 대해 지수적 성장함을 보인다.
• 일반화된 Moser 스펜들 구성은 χ(T_3, 8)에 대해 하한 q+1을 제공하며, 색수 값이 클리크 수를 초월함을 시사하여 비트리비얼한 구조가 있음을 나타낸다.