무작위 k 충족 문제의 클러스터와 복제 대칭 파괴

초록

본 논문은 무작위 k‑SAT 공식들의 해 공간을 평균장 이론의 캐비티 방법으로 분석한다. 클러스터링 전이점 α_d(k)와 새로운 응축 전이점 α_c(k)를 정확히 규정하고, 순수 상태(클러스터)의 내부 엔트로피 대편차율을 계산한다. 또한 m=1 경우를 트리 재구성 문제와 연결시키는 간소화된 캐비티 공식과 대규모 k 전개식을 제시한다.

상세 분석

논문은 먼저 평균장 이론에서 사용되는 순수 상태(pure state)와 복제 대칭 파괴(replica symmetry breaking, RSB)의 개념을 수학적으로 정의한다. 순수 상태는 상관 함수의 거리 의존성 감소 혹은 전도도(conductance)의 역다항식 스케일링을 통해 정의되며, 이러한 정의는 물리학적 직관과 일치한다. 이후 무작위 k‑SAT을 인수 그래프(factor graph) 형태로 기술하고, 가중치 함수 w_a를 논리식의 만족 여부를 나타내는 지시 함수로 설정한다. 이때 전체 가중치의 로그 평균이 자유 에너지 밀도 φ를 결정한다.

캐비티 방법은 트리 구조에 대해 정확히 해를 구할 수 있는 메시지 전달 방정식(베일리 전파, BP)과 그 확장인 1‑RSB(한 단계 복제 대칭 파괴) 방정식을 도입한다. 특히 m 파라미터를 도입한 복제 자유 에너지 Φ(m)=lim_{N→∞} (1/N)E