무작위 정규 그래프에서 최대 절단과 최소 이분화의 놀라운 동등성

초록

무작위 r-정규 그래프에서 최대 절단 크기는 전체 간선 수에서 최소 이분화 폭을 뺀 값과 거의 동일하다는 새로운 추측을 제시한다. 이 관계는 스핀 유리 이론과 게이지 변환을 이용해 설명되며, 수치 실험으로 뒷받침된다.

상세 분석

본 논문은 무작위 r‑정규 그래프에서 두 유명한 NP‑완전 문제인 최대 절단(Max‑Cut)과 최소 이분화(Min‑Bisection) 사이에 비직관적인 선형 관계가 존재한다는 추측을 제시한다. 식 (1) |MC| = |E| − |BW| + o(|BW|)는 그래프가 충분히 큰 경우 최대 절단의 크기가 전체 간선 수에서 최소 이분화 폭을 뺀 값에 거의 일치한다는 의미이다. 이를 증명하기 위해 저자들은 스핀 유리 모델의 해석을 도입한다. 그래프를 정점에 ±1 스핀을 할당한 이징 모델로 보고, 최대 절단은 반강자성(anti‑ferromagnetic) 상호작용 J = −1, 최소 이분화는 강자성(J = +1)이며 전체 자화가 0인 경우로 정의한다. 두 문제는 동일한 해밀토니안 H = −∑{(ij)∈E}J{ij}S_iS_j의 다른 파라미터 ρ(=0, 1)에서의 바닥 상태 에너지 E_GS와 직접 연결된다. 핵심은 ρ에 관계없이 바닥 상태 에너지가 동일하다는 가정이다. 이는 무작위 정규 그래프가 국소적으로 트리와 유사하고, 트리에서는 게이지 변환 σ_i∈{±1}을 통해 모든 J_{ij}를 −1로 고정할 수 있기 때문에 가능하다. 트리의 경계 조건이 전체 시스템에 미치는 영향을 분석하면, 정규 그래프에서는 경계의 자화가 0이어야만 게이지 변환이 보존된다. 따라서 ρ가 0이든 1이든, 제로 자화 제약 하에서는 동일한 베타(β) 방정식이 적용되고, 결과적으로 E_GS는 ρ‑독립적이다. 이론적 논증은 복제 대칭 파괴와 베타 방정식의 해가 상태(state)마다 동일한 분포를 갖는다는 점을 이용한다. 또한, 비정규 그래프(예: Erdős‑Rényi)에서는 정점 차수의 이질성 때문에 자화가 0이어도 스핀 분포가 비대칭이 될 수 있어 ρ‑독립성이 깨진다. 마지막으로 저자들은 Extremal Optimization(EO) 알고리즘을 이용해 0 ≤ ρ ≤ 1 구간 전반에 걸친 바닥 상태 에너지를 수치적으로 측정하였다. 실험 결과는 r이 3 이상인 경우 오차가 통계적 수준에 머물며, 식 (1)의 정확성을 강력히 지지한다. 전체적으로 이 논문은 스핀 유리 이론, 트리 근사, 게이지 변환이라는 물리학적 도구를 활용해 그래프 이론의 오래된 문제 사이에 새로운 연결 고리를 제시하고, 수치 실험을 통해 그 타당성을 검증한다.