[논문 리뷰] The computational hardness of counting in two-spin models on d-regular graphs

Allan Sly, Nike Sun|arXiv (Cornell University)|2012. 03. 12.

Markov Chains and Monte Carlo Methods참고 문헌 17인용 수 60

한 줄 요약

이 논문은 d-정규 그래프에서 두 스핀 시스템(예: 하드코어 모델 및 반강자성 이징 모델)의 분할 함수를 근사하는 것이, 시스템이 d-정규 트리에서 비유일성(Non-uniqueness)을 보일 경우, NP-난이도임을 입증한다. 저자들은 이 결과를 새로운 무작위화된 max-cut으로의 감소를 통해 도출하며, 국소적으로 나무와 유사한 확산 그래프를 사용하고 자유 에너지 밀도가 베티 예측값으로 수렴함을 보여, 전통적인 두 번째 모멘트 방법 기법을 회피한다.

ABSTRACT

The class of two-spin systems contains several important models, including random independent sets and the Ising model of statistical physics. We show that for both the hard-core (independent set) model and the anti-ferromagnetic Ising model with arbitrary external field, it is NP-hard to approximate the partition function or approximately sample from the model on d-regular graphs when the model has non-uniqueness on the d-regular tree. Together with results of Jerrum--Sinclair, Weitz, and Sinclair--Srivastava--Thurley giving FPRAS's for all other two-spin systems except at the uniqueness threshold, this gives an almost complete classification of the computational complexity of two-spin systems on bounded-degree graphs. Our proof establishes that the normalized log-partition function of any two-spin system on bipartite locally tree-like graphs converges to a limiting "free energy density" which coincides with the (non-rigorous) Bethe prediction of statistical physics. We use this result to characterize the local structure of two-spin systems on locally tree-like bipartite expander graphs, which then become the basic gadgets in a randomized reduction to approximate MAX-CUT. Our approach is novel in that it makes no use of the second moment method employed in previous works on these questions.

연구 동기 및 목표

• 유계 차수 그래프에서 두 스핀 시스템의 분할 함수 근사화의 계산 복잡도를 분류하는 것.
• d-정규 트리에서의 유일성 임계점이 두 스핀 모델의 계산 전이 점을 정확히 나타내는지 여부를 해결하는 것.
• 이전의 난이도 결과에서 사용된 두 번째 모멘트 방법에 의존하지 않는 새로운 증명 기법을 제공하는 것.
• 외부 필드가 임의인 반강자성 이징 모델의 경우까지 난이도 결과를 확장하는 것.
• 동질적인 두 스핀 시스템에 대해 d-정규 그래프에서의 계산 복잡도 분류를 완성하는 것(유일성 임계점 제외함).

제안 방법

• 난이도 감소를 위한 기반으로 사용되는 이분형 국소적으로 나무와 유사한 확산 그래프를 구성하는 것.
• 정규화된 로그-분할 함수가 통계역학에서의 베티 예측값과 일치하는 한계 자유 에너지 밀도로 수렴함을 증명하는 것.
• 자유 에너지의 수렴을 이용해 국소적으로 나무와 유사한 이분형 확산 그래프에서의 두 스핀 시스템의 국소적 구조를 특성화하는 것.
• 근사 max-cut에서 두 스핀 시스템의 분할 함수 근사화로의 무작위 감소를 설계하는 것.
• 3-정규 그래프 $ H $의 정점들을 기본 그래프 $ G $ 의 복제본으로 대체하고, 대응하는 경계 집합 간에 $ 2k $ 개의 간선을 연결함으로써 그래프 구조 $ H^G $ 를 정의하는 것.
• 두 스핀 모델에서 유도된 매개변수 $ \Gamma $ 와 $ \Theta $ 를 사용하여 $ Z_{H^G} $ 와 $ Z_{\widehat{H}^G} $ 사이의 비율 상한을 확립함으로써 분할 함수가 $ H $ 의 max-cut과 관련됨을 보이는 것.

실험 결과

연구 질문

• RQ1 d-정규 트리에서의 유일성 임계점이 d-정규 그래프에서 두 스핀 모델의 다항시간 근사가 가능한지 여부의 정확한 경계가 되는가?
• RQ2 두 번째 모멘트 방법 계산에 의존하지 않고 분할 함수 근사의 계산 난이도를 입증할 수 있는가?
• RQ3 국소적으로 나무와 유사한 그래프에서 두 스핀 시스템의 점근적 행동을 베티 예측값이 자유 에너지 밀도로 정확히 묘사할 수 있는가?
• RQ4 확산 그래프에서 두 스핀 모델을 사용하여 max-cut으로의 무작위 감소를 구성할 수 있는가?
• RQ5 외부 필드가 임의인 반강자성 이징 모델의 경우에도 계산 전이점이 d-정규 트리에서의 유일성 임계점에 위치하는가?

주요 결과

• $ d \geq 3 $ 이고 $ \lambda > \lambda_c(d) = \frac{(d-1)^{d-1}}{(d-2)^d} $ 일 때, 하드코어 모델의 경우 d-정규 그래프에서 FPRAS가 존재하지 않으며, NP = RP 가 성립하지 않는 한.
• $ d \geq 3 $, $ B \in \mathbb{R} $, 그리고 $ \beta < \beta_{c,\text{af}}(B,d) $ 일 때, 외부 필드 $ B $ 를 가진 반강자성 이징 모델의 경우 d-정규 그래프에서 FPRAS가 존재하지 않으며, NP = RP 가 성립하지 않는 한.
• 이분형 국소적으로 나무와 유사한 그래프에서 어떤 두 스핀 시스템의 정규화된 로그-분할 함수도 한계 자유 에너지 밀도로 수렴하며, 이는 베티 예측값과 일치한다.
• 저자들은 $ H^G $ 에서의 두 스핀 모델의 분할 함수가 $ H $ 의 max-cut과 밀접하게 연관되어 있음을 입증하였으며, 비율이 $ (1 \pm \epsilon)^m $ 으로 유계화되어 있어 무작위 감소를 가능하게 한다.
• 증명 과정에서 두 번째 모멘트 방법을 회피함으로써, 이전 연구에서 섬세한 두 번째 모멘트 계산에 의존한 것보다 더 개념적이고 일반적인 접근법을 제공한다.
• 결과적으로 동질적인 두 스핀 시스템에 대해 d-정규 그래프에서의 계산 복잡도 분류를 완성하였으며, 비유일성 영역에서는 난이도가 입증되었고, 유일성 영역에서는 FPTAS가 알려져 있다.