[논문 리뷰] The Chromatic Number of Random Regular Graphs

Dimitris Achlioptas, Cristopher Moore|arXiv (Cornell University)|2004. 07. 11.

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

한 줄 요약

이 논문은 모든 d ≥ 3에 대해 랜덤 d-정규 그래프의 색수를 세 가지 값 이내로 결정한다. 이는 거의 확실히 k, k+1, 또는 k+2임을 보여주며, 여기서 k는 d < 2k log k를 만족하는 가장 작은 정수이다. 핵심 결과는 균형 잡힌 색칠에 대해 두 번째 모멘트 방법을 적용함으로써 도출되며, 이는 이전의 희박한 랜덤 그래프에 대한 연구를 정규 설정으로 확장하고, 마팅게일 부등식을 통해 엄밀한 농도 경계를 확보한다.

ABSTRACT

Given any integer d &gt;= 3, let k be the smallest integer such that d &lt; 2k log k. We prove that with high probability the chromatic number of a random d-regular graph is k, k+1, or k+2, and that if (2k-1) \log k &lt; d &lt; 2k \log k then the chromatic number is either k+1 or k+2.

연구 동기 및 목표

• 랜덤 d-정규 그래프의 가능한 색수의 정확한 범위를 규명하는 것.
• 희박한 랜덤 그래프(G(n,p))에 대한 결과를 더 제약이 있는 정규 그래프 모델(G_{n,d})로 확장하는 것.
• 확률적 방법을 사용하여 색수의 두 점 및 세 점 농도를 확립하는 것.
• 모든 d ≥ 3에 대해 색수를 세 값 이내로 정확히 규명하며, 약 절반의 값에 대해 더 엄밀한 경계를 제공하는 것.

제안 방법

• 랜덤 d-정규 다중그래프 C_{n,d}를 다루기 위해 구성 모델을 사용하며, 이는 거의 확실히 단순 그래프임을 보장한다.
• 정점 중 k개 색으로 칠할 수 없는 수가 거의 확실히 집중됨을 보이기 위해 마팅게일 기반의 농도 부등식을 적용한다.
• 균형 잡힌 k-색칠의 수에 대해 두 번째 모멘트 방법을 적용하여 k-색칠 가능성의 양의 확률을 확립한다.
• 색칠 제약 체계의 완화와 라그랑주 승수법을 사용하여 색칠 수의 두 번째 모멘트를 경계한다.
• 기존에 알려진 경계가 존재하는 G(n,m) 모델과의 연관성을 통해 두 번째 모멘트의 상한을 유도한다.
• 함수 g_{G(n,m)}의 최댓값이 균일한 색칠 분포에서 발생함을 이용하여 최종 경계를 유도한다.

실험 결과

연구 질문

• RQ1 랜덤 d-정규 그래프의 색수는 무엇이며, 얼마나 엄밀하게 집중될 수 있는가?
• RQ2 희박한 G(n,p)의 경우와 마찬가지로 두 번째 모멘트 방법이 정규 그래프에서 k-색칠 가능성의 양의 확률을 증명하는 데 적응될 수 있는가?
• RQ3 어떤 d 값에 대해 G_{n,d}의 색수가 거의 확실히 k+1인가?
• RQ4 d가 2k log k에 아주 가까운 값일 때 색수는 어떻게 행동하는가?

주요 결과

• 모든 d ≥ 3에 대해, 랜덤 d-정규 그래프의 색수는 거의 확실히 k, k+1, 또는 k+2이며, 여기서 k는 d < 2k log k를 만족하는 가장 작은 정수이다.
• d ∈ (u_k, c_k) 이며 u_k = (2k-1)log k, c_k = 2k log k일 경우, 색수는 거의 확실히 k+1 또는 k+2이다.
• d ∈ (c_{k-1}, u_k)일 경우, 색수는 거의 확실히 k, k+1, 또는 k+2이며, 첫 번째 모멘트 추론에 의해 (k-1)-색칠 가능성은 배제된다.
• 이 경계는 날카롭다: d = 1,000,000일 경우, 색수는 거의 확실히 46,523 또는 46,524이다.
• 두 번째 모멘트 방법은 균형 잡힌 k-색칠 수의 두 번째 모멘트에 대한 경계를 제공하며, 이는 G(n,m)의 경우와 상수 요소 이내로 일치한다.
• 논문은 무작위 정규 그래프에서 k-색칠 가능성에 대해 날카로운 임계점이 존재할 것이라 추측하며, 만약 무어의 추측이 g_{G(n,m)}에 대해 참이라면 '나쁜' 간격은 측도가 0이 되도록 수축할 것이다.