[논문 리뷰] On the concentration of the chromatic number of random graphs

Alex Scott|arXiv (Cornell University)|2008. 06. 02.

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

한 줄 요약

이 논문은 고정된 p ∈ (0,1)를 가진 조밀한 무작위 그래프 G ∈ 𝒢(n,p)에 대해 색수 χ(G)의 농도를 개선한다. 마팅게일 추론과 잔류 정점에 대한 탐욕적 색칠 전략을 사용하여, χ(G)가 너비 ω(n)√n / log n인 간격 안에 농도함을 증명한다. 이는 이전의 Shamir–Spencer 결과인 ω(n)√n 보다 향상된 결과이며, n → ∞일 때 고확률로 성립한다.

ABSTRACT

Let 0

연구 동기 및 목표

• 고정된 p ∈ (0,1)를 가진 조밀한 무작위 그래프 G ∈ 𝒢(n,p)에서 색수 χ(G)의 알려진 농도 간격을 향상시키는 것.
• 로즈카의 희박한 그래프 농도 기법을 국소적 희박성이 성립하지 않는 조밀한 경우로 확장하는 것.
• Shamir와 Spencer의 결과인 ω(n)√n보다 더 날카로운 농도 구간을 확보하는 것, 즉 ω(n)√n / log n을 얻는 것.
• 원래 노가 알론의 결과를 스스로 완전한 증명으로 제시하여 문헌의 빈도를 메우는 것 (이미 별도로 발견되었음에도 불구하고)

제안 방법

• h(n)을 ℙ(χ(G) ≤ r) > 1/ω(n)를 만족하는 최소 정수 r로 정의하여, h(n)이 χ(G)의 고확률 하한이 되도록 보장한다.
• 정점 노출 마팅게일에 아즈마–후프딩 부등식을 적용하여, 가장 큰 h(n)-색칠 가능한 부분그래프의 크기 s(G)가 n − O(√(ω(n)n)) 근처에 농도함을 보인다.
• 잔류 정점에 탐욕적 색칠 알고리즘을 적용하며, 무작위 그래프에 큰 독립집합이 존재한다는 사실에 의존한다.
• 레마 2를 활용하여, |W| > n^{1/3}인 임의의 큰 부분집합 W는 G에서 Ω(log n) 크기의 클리크를 포함하거나, 동치로 보완 그래프에서 Ω(log n) 크기의 독립집합을 포함함을 보장한다.
• 잔류 집합 U에 필요한 색의 수를 O(|U| / log n)로 bound하며, 이는 |U| ≤ 2√(ω(n)n)일 때 O(√(ω(n)n) / log n) 색을 의미한다.
• 결론적으로, χ(G) ≤ h(n) + ω(n)√n / log n 이 고확률로 성립함을 증명함으로써 개선된 농도 간격을 확보한다.

실험 결과

연구 질문

• RQ1 고정된 p ∈ (0,1)를 가진 조밀한 무작위 그래프 G ∈ 𝒢(n,p)의 색수 χ(G)가 ω(n)√n 보다 더 작은 간격 안에 농도할 수 있는가?
• RQ2 로즈카의 희박한 그래프에 대한 2점 농도 기법이, 국소적 희박성이 성립하지 않는 조밀한 그래프에 대해 대체적인 구조적 추론을 통해 확장 가능한가?
• RQ3 조밀한 영역에서 χ(G)의 최적의 농도 너비는 무엇이며, Shamir–Spencer 결과를 초월해 개선할 수 있는가?
• RQ4 마팅게일 기반 분석과 탐욕적 색칠이 조밀한 무작위 그래프에서 더 날카로운 농도 구간을 도출할 수 있는가?
• RQ5 기본적인 확률 도구와 독립성 구조만으로 ω(n)√n에서 ω(n)√n / log n로의 개선이 달성 가능한가?

주요 결과

• 고정된 p ∈ (0,1)를 가진 G ∈ 𝒢(n,p)에서 색수 χ(G)는 n → ∞일 때 고확률로 너비 ω(n)√n / log n인 간격 안에 농도함.
• 결과 ω(n)√n / log n는 이전의 Shamir–Spencer 결과인 ω(n)√n 보다 향상된 농도 간격을 제공함.
• 고확률로 가장 큰 h(n)-색칠 가능한 부분그래프의 크기 s(G)는 s(G) ≥ n − 2√(ω(n)n)를 만족하며, 여기서 h(n)은 ℙ(χ(G) ≤ h(n)) > 1/ω(n)로 정의된다.
• h(n) 색으로 칠할 수 없는 잔류 정점 집합 U의 크기는 고확률로 2√(ω(n)n) 이하이다.
• U에 대한 탐욕적 색칠 알고리즘은 최대 O(√(ω(n)n) / log n)개의 색을 사용하며, 이는 큰 n에 대해 ω(n)√n / log n 이하로 bound된다.
• 결과는 χ(G)가 h(n) 주변으로 날카럽게 농도함을 보이며, 고확률로 h(n) ± ω(n)√n / log n 내에 존재함을 확인하며, 알론의 이전 비공개 결과와 일치한다.