[논문 리뷰] Correlation Decay up to Uniqueness in Spin Systems

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

Markov Chains and Monte Carlo Methods참고 문헌 19인용 수 15

한 줄 요약

이 논문은 최대 차수 Δ 이하인 그래프에서 강한 공간 혼합성을 보이는 이중 상태 반강자성 스핀 시스템에 대해 완전한 특성화를 수립한다. 이는 이러한 그래프에서의 강한 공간 혼합성이 최대 차수 Δ 이하인 무한 정규 트리에서의 긴밀한 거래 측정의 유일성과 동치임을 증명하며, 이러한 유일성 조건이 성립할 경우 항상 FPTAS를 얻을 수 있음을 보여준다.

ABSTRACT

We give a complete characterization of the two-state anti-ferromagnetic spin systems which are of strong spatial mixing on general graphs. We show that a two-state anti-ferromagnetic spin system is of strong spatial mixing on all graphs of maximum degree at most $Δ$ if and only if the system has a unique Gibbs measure on infinite regular trees of degree up to $Δ$, where $Δ$ can be either bounded or unbounded. As a consequence, there exists an FPTAS for the partition function of a two-state anti-ferromagnetic spin system on graphs of maximum degree at most $Δ$ when the uniqueness condition is satisfied on infinite regular trees of degree up to $Δ$. In particular, an FPTAS exists for arbitrary graphs if the uniqueness is satisfied on all infinite regular trees. This covers as special cases all previous algorithmic results for two-state anti-ferromagnetic systems on general-structure graphs. Combining with the FPRAS for two-state ferromagnetic spin systems of Jerrum-Sinclair and Goldberg-Jerrum-Paterson, and the hardness results of Sly-Sun and independently of Galanis-Stefankovic-Vigoda, this gives a complete classification, except at the phase transition boundary, of the approximability of all two-state spin systems, on either degree-bounded families of graphs or family of all graphs.

연구 동기 및 목표

• 최대 차수 Δ 이하인 그래프에서 강한 공간 혼합성을 보이는 이중 상태 반강자성 스핀 시스템을 특성화하기 위해.
• 이러한 시스템의 분할 함수에 대해 FPTAS가 존재하는 정확한 조건을 규명하기 위해.
• 무한 d-정규 트리에서의 강한 공간 혼합성이 최대 차수 d인 모든 그래프에서 강한 공간 혼합성을 유도하는지 여부에 대한 열린 질문을 해결하기 위해.
• 일반적인 이중 상태 스핀 시스템에서 무한 정규 트리에서의 유일성과 상관관계 감쇠 성질 사이의 관계를 명확히 하기 위해.

제안 방법

• 유한 그래프에서의 상관관계 감쇠를 무한 트리에서의 행동과 연결하기 위해 Weitz의 자가 피하기 보행 트리 구성법을 사용한다.
• 계산적으로 효율적인 상관관계 감쇠 프레임워크를 적용하여, 유일성 조건 하에서 분할 함수에 대한 FPTAS를 유도한다.
• 더 높은 차수의 노드를 시뮬레이션하기 위해 가짜 정점이 포함된 트리에서 스핀 분포를 분석하기 위해 재귀적 비율 전파 방법을 활용한다.
• 무한 d-정규 트리에서의 긴밀한 거래 측정의 유일성 조건을 사용하여 이중 상태 스핀 시스템의 매개변수 공간을 분석한다.
• 일반적인 트리-최악의 경우 가정의 일반성에 대한 반례를 구성하기 위해 γ > 1 및 λ > λ_c^upper(β,γ)인 경우를 활용한다.
• 이전의 편자성 시스템 연구 결과와 하드네스 결과를 활용하여, 근사 가능성의 완전한 분류를 완성한다.

실험 결과

연구 질문

• RQ1 무한 d-정규 트리에서의 강한 공간 혼합성이 최대 차수 d인 모든 그래프에서 강한 공간 혼합성을 유도하는 조건은 무엇인가?
• RQ2 무한 정규 트리에서의 긴밀한 거래 측정의 유일성이 최대 차수 d인 그래프에서의 강한 공간 혼합성에 대해 필수적이고 충분한 조건인가?
• RQ3 모든 d-정규 트리에서 최대 차수 Δ 이하에 대해 유일성 조건이 성립할 경우, 이중 상태 반강자성 스핀 시스템의 분할 함수에 대해 FPTAS를 구성할 수 있는가?
• RQ4 d-정규 트리에서의 강한 공간 혼합성이 최대 차수 d인 모든 그래프로의 일반화가 모든 이중 상태 반강자성 스핀 시스템에 대해 성립하는가?
• RQ5 단조성은 d-정규 트리에서의 유일성과 상관관계 감쇠 성질 사이의 관계에서 어떤 역할을 하는가?

주요 결과

• 이중 상태 반강자성 스핀 시스템이 최대 차수 Δ 이하인 모든 그래프에서 강한 공간 혼합성을 보이려면, 모든 d-정규 트리( d ≤ Δ)에서 긴밀한 거래 측정이 유일할 때에만 가능하다.
• 최대 차수 Δ 이하인 그래프에서 이러한 시스템의 분할 함수에 대해 FPTAS가 존재하며, 이는 모든 d-정규 트리( d ≤ Δ)에서의 유일성 조건이 성립할 경우에만 가능하다.
• 무한 d-정규 트리에서의 강한 공간 혼합성이 최대 차수 d인 모든 그래프에서 강한 공간 혼합성으로 이어지는 것은 0 ≤ β, γ ≤ 1 제약 조건 하에서만 성립하며, 일반적으로 성립하지 않는다.
• γ > 1 및 λ > λ_c^upper(β,γ)인 시스템에서는 큰 d-정규 트리에서는 유일성이 성립할 수 있지만, 작은 트리에서는 비유일성이 발생할 수 있으며, 이는 단조성의 붕괴와 함께 일반적인 트리-최악의 경우 가정을 무너뜨린다.
• 논문은 [22]에서 제기된 추측을 반박하며, d-정규 트리가 모든 이중 상태 스핀 시스템에서 일반적으로 최악의 상관관계 감쇠를 대표하지는 않음을 보여준다.
• FPTAS, 기존의 FPRAS 및 하드네스 결과를 조합함으로써, 단서 전이 경계를 제외한 이중 상태 스핀 시스템의 근사 가능성에 대한 완전한 분류를 완성한다.