[논문 리뷰] Approximate Counting via Correlation Decay in Spin Systems

Liang Li, Pinyan Lu외 1명|arXiv (Cornell University)|2011. 09. 03.

Markov Chains and Monte Carlo Methods인용 수 9

한 줄 요약

이 논문은 무한 정규 트리에서의 유일성 조건을 만족할 때, 임의의 그래프에서 두 상태 스핀 시스템의 분할 함수를 계산하기 위한 최초의 결정적 전역 다항시간 근사계량법(FPTAS)을 제시한다. 저자들은 보다 정교한 거리 척도와 잠재함수 분석을 사용하여 계산적으로 효율적인 상관관계 감쇠(correlation decay)를 도입하여 다항시간 내에 역다항식 정밀도를 달성한다. 이는 물리학적 유일성 임계점까지의 근사 가능 영역을 확장한다.

ABSTRACT

We give the first deterministic fully polynomial-time approximation scheme (FPTAS) for computing the partition function of a two-state spin system on an arbitrary graph, when the parameters of the system satisfy the uniqueness condition on infinite regular trees. This condition is of physical significance and is believed to be the right boundary between approximable and inapproximable. The FPTAS is based on the correlation decay technique introduced by Bandyopadhyay and Gamarnik [SODA 06] and Weitz [STOC 06]. The classic correlation decay is defined with respect to graph distance. Although this definition has natural physical meanings, it does not directly support an FPTAS for systems on arbitrary graphs, because for graphs with unbounded degrees, the local computation that provides a desirable precision by correlation decay may take super-polynomial time. We introduce a notion of computationally efficient correlation decay, in which the correlation decay is measured in a refined metric instead of graph distance. We use a potential method to analyze the amortized behavior of this correlation decay and establish a correlation decay that guarantees an inverse-polynomial precision by polynomial-time local computation. This gives us an FPTAS for spin systems on arbitrary graphs. This new notion of correlation decay properly reflects the algorithmic aspect of the spin systems, and may be used for designing FPTAS for other counting problems.

연구 동기 및 목표

• 기존의 FPRAS 영역을 넘어서 두 상태 스핀 시스템의 근사 가능성에 대한 격차를 메우기 위해.
• 무한 정규 트리에서 시스템 매개변수가 유일성 조건을 만족할 경우 분할 함수에 대한 결정적 FPTAS를 수립하기 위해.
• 고도가 무한대인 임의의 그래프에서도 효율적인 계산이 가능한 새로운 상관관계 감쇠 프레임워크를 개발하기 위해.
• 일반화 가능한 알고리즘 기법을 통해 이전의 스핀 시스템 및 하드코어 모델 결과를 통합하고 확장하기 위해.
• 유일성 임계점에서의 추측된 계산 단계 전이에 대한 이론적 기반을 제공하기 위해.

제안 방법

• 기존의 그래프 거리가 아닌 보다 정교한 척도에서 감쇠를 측정하는 계산적으로 효율적인 상관관계 감쇠의 새로운 개념을 도입한다.
• 잠재함수 방법을 사용하여 상관관계 감쇠의 평균화된 행동을 분석하고, 다항시간 내에 역다항식 정밀도로 수렴함을 보장한다.
• 자기방지보행(SAW) 트리 구축을 적용하여 분할 함수 계산을 국소 확률 추정으로 환원한다.
• 상관관계 감쇠 속도가 무한 정규 트리에서의 유일성 조건 하에 결정적 FPTAS를 보장함을 입증한다.
• 하드코어 모델과 β=0인 스핀 시스템 간의 등가성을 활용하여 기존의 난이도 결과와 연결한다.
• 임의의 그래프에서의 최대 컷(max-cut) 문제를 정규 그래프로의 환원을 통해 하드코어 모델에 대한 난이도 결과를 강화한다.

실험 결과

연구 질문

• RQ1 무한 정규 트리에서의 유일성 조건을 만족할 경우, 임의의 그래프에서 두 상태 스핀 시스템의 분할 함수에 대해 결정적 FPTAS를 설계할 수 있는가?
• RQ2 정교한 척도에서의 계산적으로 효율적인 상관관계 감쇠는 고도 그래프에서의 다항시간 근사 가능성을 보장하는가?
• RQ3 무한 정규 트리에서의 유일성 임계점은 근사 가능과 근사 불가능한 두 상태 스핀 시스템의 진정한 경계인가?
• RQ4 하드코어 모델에 대한 난이도 결과를 d-정규 그래프로 확장하여 근사 불가능성의 날카로운 임계점을 확립할 수 있는가?
• RQ5 제안된 상관관계 감쇠 프레임워크는 스핀 시스템을 초월한 다른 수량 문제로 일반화될 수 있는가?

주요 결과

• 논문은 무한 정규 트리에서 매개변수가 유일성 조건을 만족할 경우, 임의의 그래프에서 두 상태 스핀 시스템의 분할 함수를 계산하기 위한 최초의 결정적 FPTAS를 수립한다.
• 제안된 계산적으로 효율적인 상관관계 감쇠는 고도가 무한대인 그래프에서도 다항시간 내에 역다항식 정밀도를 달성한다.
• 이 방법은 고도가 높은 그래프에서 국소 계산 시간이 초다항식으로 증가하는 문제로 인해 실패하는 고전적 상관관계 감쇠의 한계를 성공적으로 극복한다.
• 저자들은 하드코어 모델에서 최대 차수 d인 그래프에 대해 난이도 결과가 d-정규 그래프로까지 확장됨을 증명하며, d ≥ 6일 때 λ > (d−1)^(d−1)/(d−2)^d에서의 임계점이 확인된다.
• β=0 및 γ < 10·11^(-11/12)일 때 d=12인 경우, FPRAS가 존재하지 않으며 NP=RP이 아니면, 이는 근사 불가능성 경계를 확인한다.
• 이 프레임워크는 스핀 시스템을 초월한 다른 수량 문제에 대한 FPTAS 설계에 적용 가능한 일반적인 기법을 제공한다.