[논문 리뷰] Approximate Counting via Correlation Decay on Planar Graphs

Yitong Yin, Chihao Zhang|arXiv (Cornell University)|2012. 07. 16.

Markov Chains and Monte Carlo Methods인용 수 4

한 줄 요약

이 논문은 평면 및 염기-미너러-프리 그래프 위의 광범위한 홀란트 문제 클래스에 대해 상관성 감쇠(강한 공간 혼합)가 결정적이고 다항시간 내에 근사 가능한 알고리즘(FPTAS)을 유도함을 확립한다. 유계-트리폭이 제한된 그래프에서 정확한 계산을 위한 고정-파rameter 트래컆블 알고리즘을 개발하고, 재귀적 쌍화 기법을 확장함으로써, 페로자거로닉 페츠 모델 및 특정 매개변수 조건 하에서의 서브그래프 월드 문제와 같은 문제들에 대해 FPTAS를 증명하며, 다양한 수의 세기 문제들 간의 근사 결과를 통합한다.

ABSTRACT

We show for a broad class of counting problems, correlation decay (strong spatial mixing) implies FPTAS on planar graphs. The framework for the counting problems considered by us is the Holant problems with arbitrary constant-size domain and symmetric constraint functions. We define a notion of regularity on the constraint functions, which covers a wide range of natural and important counting problems, including all multi-state spin systems, counting graph homomorphisms, counting weighted matchings or perfect matchings, the subgraphs world problem transformed from the ferromagnetic Ising model, and all counting CSPs and Holant problems with symmetric constraint functions of constant arity. The core of our algorithm is a fixed-parameter tractable algorithm which computes the exact values of the Holant problems with regular constraint functions on graphs of bounded treewidth. By utilizing the locally tree-like property of apex-minor-free families of graphs, the parameterized exact algorithm implies an FPTAS for the Holant problem on these graph families whenever the Gibbs measure defined by the problem exhibits strong spatial mixing. We further extend the recursive coupling technique to Holant problems and establish strong spatial mixing for the ferromagnetic Potts model and the subgraphs world problem. As consequences, we have new deterministic approximation algorithms on planar graphs and all apex-minor-free graphs for several counting problems.

연구 동기 및 목표

• 제한된 그래프 가족에서 상관성 감쇠와 효율적 근사 간의 일반적 연결 고리를 확립하기 위해.
• 재귀적 쌍화 기법을 홀란트 문제로 확장하여, 페로자거로닉 페츠 모델과 같은 모델에 대해 강한 공간 혼합 증명을 가능하게 하기 위해.
• 정규 제약 함수를 가진 유계-트리폭 그래프에서 정확한 홀란트 계산을 위한 고정-파ram터 트래컆블 알고리즘을 개발하기 위해.
• 염기-미너러-프리 그래프 위의 홀란트 문제에서 강한 공간 혼합이 FPTAS를 유도함을 증명하기 위해, 평면 그래프 포함.
• 스핀 시스템, 그래프 호모모르피즘, 가중 매칭과 같은 다양한 수의 세기 문제들 간의 근사 결과를 하나의 프레임워크로 통합하기 위해.

제안 방법

• 홀란트 문제의 제약 함수에 대해 정규성의 개념을 도입하여, 고정된 차수를 가진 대칭 함수 및 다양한 수의 세기 문제를 포함한다.
• 트리 분해를 기반으로 한 동적 프로그래밍을 사용하여, 유계-트리폭을 가진 그래프에서 정확한 홀란트 값을 계산하기 위한 고정-파ram터 트래컆블 알고리즘을 개발한다.
• 염기-미너러-프리 그래프의 국소적으로 나무 구조를 가진 특성을 활용하여, 정확한 알고리즘을 상관성 감쇠를 통한 근사 해로 확장한다.
• 재귀적 쌍화 기법을 적용하여, 페로자거로닉 페츠 모델 및 서브그래프 월드 문제에 대해 강한 공간 혼합을 증명한다.
• 마진 확률과 분할 함수 간의 자기-감소 등가성을 활용하여, 상관성 감쇠와 근사 가능성 간의 관계를 규명한다.
• FPTAS 존재를 위한 명시적 매개변수 임계값(차수 Δ, 역온도 β, 도메인 크기 q)을 유도한다.

실험 결과

연구 질문

• RQ1 상관성 감쇠가 평면 및 염기-미너러-프리 그래프 위의 홀란트 문제에 대해 FPTAS를 유도하는 조건은 무엇인가?
• RQ2 재귀적 쌍화 방법은 스핀 시스템을 초월한 홀란트 문제로 일반화될 수 있는가?
• RQ3 강한 공간 혼합과 정규 제약 함수를 가진 홀란트 문제에서 근사 수의 세기의 처리 가능성 간의 관계는 무엇인가?
• RQ4 염기-미너러-프리 그래프에서 페로자거로닉 페츠 모델 및 서브그래프 월드 문제의 어떤 매개변수 영역에서 FPTAS가 존재하는가?
• RQ5 유계-트리폭 그래프에서의 고정-파ram터 트래컆бл 알고리즘은 어떻게 더 일반적인 그래프 가족으로 확장되어 근사 체계를 도출할 수 있는가?

주요 결과

• 홀란트 문제의 깁스 측도에서 강한 공간 혼합이 성립하면, 제약 함수가 정규일 경우 염기-미너러-프리 그래프에서 FPTAS가 존재한다.
• 최대 차수 Δ가 (1 + λμ²)² / (1 − μ²)를 만족할 경우, 0 < μ, λ < 1 인 매개변수를 가진 서브그래프 월드 문제에 대해 FPTAS가 존재한다.
• 역온도 β와 외부 필드 B를 가진 페로자거로닉 이징 모델에 대해, Δ < (e²ᵇ⁺⁴ᴮ + e²ᵇ + 2e²ᴮ)² / [e²ᴮ(e²ᵇ + 1)²(e²ᴮ + 1)²] 이면 FPTAS가 존재한다.
• q-상태 페로자거로닉 페츠 모델에 대해, β < ln((q−2)/(Δ−1)) / (Δ+1) 이고 q−2 > (λ−1)(Δ−1)λ^Δ 라면 FPTAS가 존재한다.
• 재귀적 쌍화 기법이 성공적으로 홀란트 문제로 확장되어, 페로자거로닉 페츠 모델에 대해 강한 공간 혼합을 증명할 수 있었다.
• 이 프레임워크는 스핀 시스템, 그래프 호모모르피즘, 가중 제약 만족 문제(CSPs) 등 다양한 문제들의 근사 알고리즘을 하나의 이론적 우산 아래 통합한다.