[논문 리뷰] Distance graphs with large chromatic number and arbitrary girth

Andrey Kupavskii|arXiv (Cornell University)|2013. 06. 17.

Limits and Structures in Graph Theory참고 문헌 7인용 수 15

한 줄 요약

이 논문은 $\mathbb{R}^n$에서 임의로 큰 둘레와 $\delta>0$에 따라 의존하는 $(1+\delta)^n$의 속도로 증가하는 색수를 갖는 거리 그래프를 구성한다. 적절하게 조정된 간선 확률과 라보스의 국소 레미의 의존성 분석을 사용한 확률적 방법을 통해, 임의의 $k\geq3$에 대해 $\mathbb{R}^n$에서 둘레가 적어도 $k$ 이상이고 색수가 $n$에 대해 지수적으로 증가하는 거리 그래프가 존재함을 증명한다. 이는 기하 거리 그래프에서 둘레와 색수 사이의 상호관계를 이해하는 데 오랫동안 남아있던 격차를 해결한다.

ABSTRACT

In this article we consider a problem related to two famous combinatorial topics. One of them concerns the chromatic number of the space. The other deals with graphs having big girth (the length of the shortest cycle) and large chromatic number. Namely, we prove that for any $l\in \mathbb{N}$ there exists a sequence of distance graphs in $\mathbb{R}^n$ with girth at least $l$ and the chromatic number equal to $(c+\bar{o}(1))^n$ with $c>1$.

연구 동기 및 목표

• 거리 제약 조건 하에서 $\mathbb{R}^n$에서 거리 그래프의 최대 가능한 색수를 이해하는 데 있어 남아있는 격차를 메우는 것.
• 임의의 $k\geq3$에 대해 $\mathbb{R}^n$에서 둘레가 적어도 $k$ 이상이고 색수가 $n$에 대해 지수적으로 증가하는 거리 그래프가 존재함을 입증하는 것, 즉 어떤 $\delta>0$에 대해 $\xi_k \geq 1+\delta$임을 보이는 것.
• 이전의 클리크나 홀수 사이클 제약 조건 하에서의 색수 상한을, 더 강력한 조건인 모든 길이 $\leq k$인 사이클을 배제하는 조건으로 확장하여 $\xi_k$에 대한 비자명한 지수하한을 증명하는 것.

제안 방법

• 적절하게 선택된 간선 확률 $p = \gamma^{4n}$ ($\gamma < 1$)에 기반하여 $\mathbb{R}^n$에서 거리 그래프를 확률적으로 구성한다.
• 라보스의 국소 레미를 적용하여, 작은 사이클(둘레 $\geq k$)이나 조밀한 부분그래프가 존재하지 않는 부분그래프의 존재를 보이며, 악성 사건(작은 사이클 또는 조밀한 부분그래프 존재) 간의 의존성을 제어한다.
• 악성 사건 $X_i$ (길이 $k$의 클리크 존재)와 $Y^s_i$ (길이 $s \leq k$의 사이클 존재)를 정의하고, 대칭형 라보스의 국소 레미를 사용하여 $\delta^x_i$와 $\delta^y_i(s)$를 적절히 선택하여 모든 악성 사건을 피할 수 있는 확률이 양수임을 보장한다.
• 각 $X_i$와 $Y^s_i$의 종속 사건 수를 유계로 제한하여 공통된 간선을 공유하는 부분그래프의 수를 계산하고, $n$과 $k$에 기반한 지수적 경계를 사용하여 레미의 부등식을 만족시키기 위한 조건을 유도한다.
• 지수적 항목 $\gamma^{4n(s-1-f)}$와 $2^{4n(s-2)}$를 포함하는 부등식을 통해 $\gamma$에 대한 충분조건을 유도하여, 종속 사건의 확률 합이 유계로 유지됨을 보장한다.
• $\frac{2-\delta}{4-\epsilon} < \gamma < 2^{-\frac{k-2}{k-1-f}}$ 조건을 만족시키는 $\epsilon, f, \delta, \gamma$의 매개변수 조합을 선택함으로써, 모든 $k \geq 3$에 대해 라보스의 국소 레미 조건이 만족됨을 보장한다.

실험 결과

연구 질문

• RQ1 거리 그래프를 $\mathbb{R}^n$에서 임의로 큰 둘레와 $n$에 대해 지수적으로 증가하는 색수를 갖도록 구성할 수 있는가?
• RQ2 모든 길이 $\leq k$인 사이클이 금지된 조건 하에서, 거리 그래프의 색수의 최대 가능한 지수적 증가율은 무엇인가?
• RQ3 임의의 고정된 $k \geq 3$에 대해, 모든 길이 $\leq k$인 사이클을 배제하는 조건 하에서 거리 그래프의 색수에 대해 양의 지수하한을 달성할 수 있는가?

주요 결과

• 임의의 고정된 $k \geq 3$에 대해, $\delta = \delta(k) > 0$인 상수가 존재하여, 둘레가 적어도 $k$ 이상인 $\mathbb{R}^n$에서의 거리 그래프의 색수가 적어도 $(1+\delta)^n$의 속도로 증가함을 보였다.
• 논문은 $\xi_k = \liminf_{n\to\infty} \max_{G \in \mathcal{G}(n,k)} \chi(G)^{1/n}$에 대해 비자명한 지수하한 $\xi_k \geq 1+\delta$를 확립하여, 이전 연구에서 $k \geq 4$에 대해 이러한 하한이 알려져 있지 않았던 격차를 해결하였다.
• 간선 확률 $p = \gamma^{4n}$을 사용한 확률적 구성과 라보스의 국소 레미를 적용하여, 작은 사이클과 조밀한 부분그래프를 피함으로써 높은 색수를 확보한다.
• 충분히 큰 $n$에 대해, 둘레가 적어도 $k$ 이상이고 색수가 적어도 $(1+\delta)^n$ 이상인 거리 그래프가 $\mathbb{R}^n$에 존재함을 증명하였다. 여기서 $\delta > 0$는 $k$에만 의존한다.
• 사이클과 클리크에 해당하는 사건 간의 의존성을, 겹치는 부분그래프의 수를 유계로 제한하고 간선 확률의 지수 감소를 활용하여 효과적으로 다루었다.
• 결과적으로, 강력한 둘레 제약 조건 하에서도 거리 그래프의 색수가 지수적으로 증가할 수 있음을 확인하였으며, 일반 그래프에서의 색수와 둘레의 관계에 대한 이전 결과를 기하 거리 그래프의 맥락으로 확장하였다.