2Δ 이하 색으로 색칠하기 영점 부재와 결정론적 근사 계산

초록

**
이 논문은 최대 차수가 Δ 인 그래프에 대해 색의 수 q 가 (2‑η)Δ (η ≥ 0.002) 이상이면, 반강자성 q‑상 Potts 모델의 분할함수 Z_G(q,w) 가 복소수 구간

상세 분석

**
본 연구는 색칠 문제의 결정론적 근사 계산에 있어 오래된 q ≥ 2Δ 장벽을 약간이라도 낮추는 데 성공하였다. 핵심 아이디어는 Potts 모델의 분할함수 Z_G(q,w) 에 대한 영점‑없는 영역을 보다 정밀히 구축하는 것이다. 기존의 Liu‑Sinclair‑Srivastava(LSS) 결과는 (★) 조건, 즉 임의의 뿌리 정점 v 에 대해 색 i 가 할당될 주변 확률이 1/(d+2) (여기서 d 는 아직 색칠되지 않은 이웃 수) 이하임을 이용해 q ≥ 2Δ 일 때 영점‑없음을 증명했다. 그러나 q < 2Δ 이면 (★) 조건이 일반 그래프에 대해 깨지는 사례가 존재해 LSS 방법을 직접 확장하기 어려웠다.

저자들은 두 가지 새로운 기술을 도입한다. 첫째, 기존의 직접적인 재귀 분석 대신 로그 비율 R_{G,v;i,j}(w)=log \tilde R_{G,v;i,j}(w) 을 사용해 복소 평면에서 각 비율이 작은 각을 이루도록 제어한다. 로그 변환은 곱셈 구조를 덧셈 구조로 바꾸어, 작은 변동이 누적될 때도 선형적으로 관리할 수 있게 한다. 둘째, 뿌리 정점 v 의 주변 구조를 정밀히 활용한다. 특히 v 의 고정된(핀) 이웃 색을 벡터 c_{G,v} 로 표현하고, 이 벡터가 차수 Δ 보다 작을 때(즉, v 의 자유 차수가 Δ‑1 이하)에는 기존 (★) 조건을 완화한 새로운 부등식을 증명한다. 이는 “핀된 이웃이 적을수록 색 할당 확률이 더 균등하게 분포한다”는 직관을 정량화한 것으로, q 가 (2‑η)Δ 일 때도 충분히 작은 각을 보장한다.

기술적으로는 다음과 같은 단계가 핵심이다.

1. 부분 색칠 그래프와 비율 정의: (G,S,φ) 형태의 부분 색칠 그래프를 도입하고, 특정 자유 정점 v 에 대해 색 i 와 j 에 대한 부분 분할함수 Z_i, Z_j 를 정의한다.
2. 로그 비율의 재귀 전개: v 의 이웃을 순서대로 처리하면서, 각 단계에서 새로운 자유 정점을 추가하고 그에 대한 로그 비율을 이전 단계의 로그 비율에 대한 함수 형태로 전개한다. 이때 사용되는 함수는 복소 평면에서 Lipschitz 연속성을 갖는다.
3. 텔레스코핑과 각 제한: 로그 비율들의 차이를 단계별로 합산해 전체 차이가 ε₂ 이하가 되도록 보인다. 여기서 ε₁, ε₂ 은 Δ 에 대한 역다항식 수준으로 설정된다.
4. 영점‑없는 영역 구축: 위 과정을 통해 w∈