그래프 커버와 독립집합에 대한 새로운 추측 및 베트 근사와의 연결

초록

본 논문은 이분 그래프와 그 M‑커버에 대해 독립집합 다변량 다항식이 계수별로 “덜” 크다는 추측을 제시한다. 이 추측이 성립하면, 이분 그래프 위의 이진 쌍방향 상호작용 모델에서 실제 파티션 함수가 베트 근사값보다 항상 크다는 결과를 얻는다.

상세 분석

논문은 먼저 그래프 G=(V,E)의 M‑커버 ˜G를 ‘퍼뮤테이션 전압 할당’이라는 군론적 도구를 이용해 구성한다. 각 무방향 간선 uv에 대해 두 개의 방향 간선을 만들고, 전압 할당 α: ~E→S_M (S_M은 순열군) 은 α(u→v)=α(v→u)⁻¹을 만족한다. 이렇게 정의된 α에 따라 정점 집합 ˜V=V×{1,…,M}와 간선 집합 ˜E가 결정되며, 자연 투사 π:˜G→G는 “층 번호”를 무시하는 방식으로 정의된다.

독립집합 다변량 다항식 p(G)=∑{I∈Ind(G)}∏{v∈I}x_v 를 도입하고, π를 변수 수준으로 확장한 사상 Π를 정의한다. Π는 각 변수 x_{(v,k)}를 x_v 로 매핑하고, 이를 다항식 전체에 적용한다.

추측 1은 “이분 그래프 G와 그 M‑커버 ˜G에 대해 Π(p(˜G)) ≤ p(G)^M” (모든 단항식 계수에 대해 부등호) 라는 형태이다. 이는 동일한 기본 정점 집합 U⊆V에 대해 ˜G의 독립집합 중 π가 U로 사상되는 개수가, M개의 복사본을 겹쳐 만든 트리비얼 커버 G⊕M에서의 개수보다 작거나 같다는 명제와 동치이다.

논문은 4‑사이클을 3‑커버로 만든 예시를 통해 계수 비교를 직접 수행하고, 추측이 성립함을 확인한다. 또한, 독립집합 다항식과 이진 쌍방향 모델의 파티션 함수 Z(G;J,h) 사이의 변환 관계를 전개한다. J_uv≥0 (양성 상호작용)인 경우, Z는 간선 변수 A_uv=e^{J_uv}−1 와 정점 변수 B_v=e^{−h_v} 로 표현된 ‘확장된’ 독립집합 다항식 p(G′;A,B) 로 바뀐다. 여기서 G′는 원래 그래프 G의 각 간선에 새로운 정점을 삽입해 만든 이분 그래프이다.

이때 추측 1이 참이면, 모든 M‑커버 ˜G에 대해 Z(G)^M ≥ Z(˜G) 가 성립한다. 베트 근사 Z_B는 “무한히 큰 M‑커버들의 평균 파티션 함수의 M제곱근”으로 정의되므로, 위 부등식은 바로 Z(G) ≥ Z_B 를 도출한다. 즉, 추측이 맞다면 베트 근사는 항상 하한이 된다.

마지막으로, 영구(permanent)와 베트 영구에 대한 기존 결과(예: Gurvits의 Schrijver 부등식)와의 연관성을 언급하며, 비슷한 형태의 추측이 영구 문제에도 적용될 수 있음을 시사한다.