베일리프 전파와 스펙트럼 기법이 3‑색칠 문제를 푸는 새로운 연결고리

본 논문은 3‑색칠 문제에 대한 베일리프 전파(Belief Propagation, BP) 알고리즘의 수렴과 정확성을 그래프의 스펙트럼 특성과 연결시키는 새로운 이론을 제시한다. 먼저, 저자들은 (d, ε)‑정규 그래프라는 정의를 도입한다. 이 그래프는 3‑색칠이 가능하고, 각 색 클래스 V₁,V₂,V₃에 대해 차벡터 𝟙_{V_i}−𝟙_{V_j}가 인접 행렬 A(G)의 고유벡터이며 고유값이 −d인 특성을 갖는다. 또한, 고유벡터 공간에 직교하는 모든 벡터 ξ에 대해 ‖A(G)ξ‖ ≤ εd‖ξ‖이 성립한다. ε가 충분히 작으면(예: ε<0.01) 각 정점은 다른 두 색 클래스에 정확히 d개의 이웃을 가지며, 색 클래스 간의 이분 그래프는 좋은 확장성을 보인다. 이러한 구조는 색이 미리 심어진(planted) 3‑색칠이 존재한다는 점에서 무작위 플랜티드 모델과 일치한다. 스펙트럼 기반 휴리스틱은 A(G)의 −d 고유값에 대응하는 두 개의 직교 고유벡터 χ₁,χ₂를 계산하고, 정점 v와 w가 χ₁(v)=χ₁(w) 그리고 χ₂(v)=χ₂(w)일 때 같은 색 클래스로 묶는다. 이 절차는 V₁,V₂,V₃를 정확히 복원한다는 것이 증명된다. 핵심 기여는 BPCol이라는 무작위 초기화와 다항 시간 반복을 포함한 BP 알고리즘이 위의 스펙트럼 휴리스틱을 사실상 에뮬레이트한다는 점이다. BPCol은 각 방향(정점→이웃)마다 색 a∈{1,2,3}에 대한 메시지 η_{a}^{v→w}∈