퍼뮤테드 k색칠 임계값의 정확한 경계

초록

본 논문은 무작위 그래프 G(n,m=dn/2)와 각 간선에 무작위 순열을 부여한 퍼뮤테드 k‑색칠 문제에 대해, 통계 물리학의 예측을 바탕으로 표준 k‑색칠 임계값과 동일하다는 가설을 제시한다. 추가적인 대칭성을 활용해 두 번째 모멘트 방법으로 하한을, 가중 첫 번째 모멘트 방법으로 상한을 구해, 충분히 큰 k에 대해
(2k\ln k-\ln k-2-\varepsilon < d_k < 2k\ln k-\ln k-1+\varepsilon)
를 증명한다. 이는 기존 표준 k‑색칠에 대한 알려진 상·하한 사이의 (\Theta(\ln k)) 격차를 상수 수준으로 축소한 최초의 결과이다.

상세 분석

논문은 먼저 퍼뮤테드 k‑색칠(permuted k‑coloring)이라는 새로운 제약 만족 문제를 정의한다. 그래프의 각 간선 (u,v)마다 k개의 색에 대한 임의 순열 (\pi_{u,v})를 부여하고, 색칠 함수 (\sigma:V\to{1,\dots,k})가 모든 간선에 대해 (\sigma(v)\neq\pi_{u,v}(\sigma(u)))를 만족하도록 한다. 이 모델은 표준 k‑색칠(모든 (\pi_{u,v})가 항등 순열)보다 대칭성이 풍부해, 확률적 분석이 용이해진다.

임계값에 대한 가설
저자들은 두 가지 주요 가설을 제시한다. 첫 번째는 퍼뮤테드 k‑색칠에 대해 평균 차수 d에 대한 급격한 전이(임계값) (d_k)가 존재한다는 것; 두 번째는 이 (d_k)가 표준 k‑색칠의 임계값과 동일하다는 것이다. 트리 구조에서는 순열을 “풀어” 항등 순열로 변환할 수 있기 때문에 두 문제는 동일한 재구성 임계값을 갖는다. 또한, 정점마다 무작위 순열 (\pi_u)를 선택하고 (\pi_{u,v}=\pi_u^{-1}\pi_v) 로 정의하면, 사이클을 제외한 모든 간선의 순열이 독립이고 균등하게 분포한다는 점을 이용해 두 모델의 통계적 동등성을 논증한다. 마지막으로, 베이시안 메시지 패싱( belief propagation, survey propagation)에서 도출되는 캐비티 방정식이 두 모델에 대해 동일하게 나타난다는 물리학적 근거를 제시한다.

하한 증명(두 번째 모멘트)
두 번째 모멘트 방법을 적용하기 위해, 전체 색칠 수 (X)의 기대값과 분산을 계산한다. 순열이 독립적으로 선택되므로, 두 색칠 (\sigma,\tau)가 동시에 만족할 확률 (p(\sigma,\tau))는 두 색칠 사이의 겹침 비율 (\zeta)만의 함수가 된다. 구체적으로, \