[논문 리뷰] Constant-Time Algorithms for Monomer-Dimer Systems on Bounded Degree Graphs

Marc Lelarge, Hang Zhou|arXiv (Cornell University)|2012. 08. 17.

Graph theory and applications인용 수 1

한 줄 요약

이 논문은 유한 차수 그래프에서 단량체-이량체 분할 함수 log Z(G, λ)의 근사값을 애드티브 오차 ɛn으로 구하는 최초의 서브라인 시간 알고리즘을 제시한다. 이 알고리즘은 1/ɛ에 대한 다항식 시간 쿼리 복잡도를 달성하며, 급격한 상관관계 감쇠(correlation decay)를 활용하여 매칭 확률, 평균 매칭 크기, 엔트로피를 효율적으로 추정한다. 또한 1/ɛ에 대한 이차 하한을 증명한다.

ABSTRACT

For a graph G on n vertices, let Z(G, λ) be the partition function of the monomer-dimer system defined by: Z(G, λ) = ∑ k mk(G)λk, where mk(G) is the number of matchings of cardinality k in G. We develop a constant-time algorithm for approximating log Z(G, λ) at an arbitrary point λ ≥ 0 with additive error ɛn. In the bounded degree model, the query complexity of our algorithm is polynomial in 1/ɛ, and we provide a lower bound quadratic in 1/ɛ for this problem. This is the first analysis of a sublinear-time algorithm for a #P-complete problem. Our approach is based on the correlation decay of the Gibbs distribution associated with Z(G, λ). We show that our algorithm approximates the probability for a vertex to be covered by a matching sampled according to this Gibbs distribution in a near-optimal sublinear-time. We extend our results to approximate the average size and the entropy of such a matching with an additive error in constant time, where again the query complexity is polynomial in 1/ɛ and the lower bound is quadratic in 1/ɛ. Our algorithms are simple to implement and of practical use when dealing with massive datasets. Our results extend to many other problems where the correlation decay is known to hold as for independent sets or the Ising model up to the critical activity.

연구 동기 및 목표

• 유한 차수 그래프에서 단량체-이량체 분할 함수 Z(G, λ)를 근사하는 서브라인 시간 알고리즘을 개발하는 것.
• log Z(G, λ)를 애드티브 오차 ɛn으로 일정 시간 내에 근사하는 것.
• 동일한 오차 및 쿼리 복잡도로 갈릭스 분포(Gibbs distribution) 하에서 평균 매칭 크기와 엔트로피를 추정하는 데로 접근을 확장하는 것.
• 이 문제에 대해 1/ɛ에 대한 이차 하한을 증명하여 쿼리 복잡도의 최적성에 대한 근거를 마련하는 것.
• 상관관계 감쇠가 성립하는 다른 #P-완전 문제들, 예를 들어 독립 집합과 이징 모델 등으로 이 프레임워크를 일반화하는 것.

제안 방법

• 알고리즘은 단량체-이량체 시스템과 관련된 갈릭스 분포에서의 상관관계 감쇠를 활용하여 그래프 내의 장거리 의존성을 제한한다.
• 정점의 매칭에 의해 커버되는 조건부 확률을 추정하기 위해, 유한 깊이까지 국소적 이웃을 순환적으로 탐색한다.
• 쿼리 복잡도는 1/ɛ에 대한 다항식이며, 상관관계 감쇠 감쇠율을 통해 오차 한계를 확보하기 위해 탐색 깊이를 선택한다.
• 지역 샘플링 및 집계 기법을 사용하여 log Z(G, λ), 평균 매칭 크기, 엔트로피의 근사값을 계산한다.
• 정점 커버리지 확률을 추정하는 데의 감소를 통해, 서브라인 쿼리로 전역 통계를 효율적으로 계산할 수 있다.
• 독립 집합 및 이징 모델 등의 다른 모델로의 확장을 위해, 해당 설정에서 알려진 상관관계 감쇠 결과를 활용한다.

실험 결과

연구 질문

• RQ1 유한 차수 그래프에서 단량체-이량체 분할 함수 log Z(G, λ)는 애드티브 오차 ɛn으로 서브라인 시간 내에 근사 가능할까?
• RQ2 유한 차수 모델에서 log Z(G, λ)를 근사하는 데 있어 최적의 쿼리 복잡도는 무엇인가?
• RQ3 이 알고리즘은 동일한 오차 및 시간 복잡도로 갈릭스 분포 하에서 랜덤 매칭의 평균 크기와 엔트로피를 추정할 수 있는가?
• RQ4 갈릭스 분포에서의 상관관계 감쇠 성질은 전역 그래프 통계의 일정 시간 근사 가능성을 보장하는가?
• RQ5 이 프레임워크는 상관관계 감쇠가 알려진 다른 #P-완전 문제들, 예를 들어 독립 집합과 이징 모델 등으로 일반화될 수 있는가?

주요 결과

• 논문은 1/ɛ에 대한 다항식 쿼리 복잡도를 갖는 일정 시간 알고리즘을 제시하여, 애드티브 오차 ɛn으로 log Z(G, λ)를 근사한다.
• 알고리즘은 먼 정점의 영향을 제한하기 위해 상관관계 감쇠를 활용하여 국소 계산이 가능하도록 한다.
• 쿼리 복잡도에 대해 1/ɛ에 대한 이차 하한이 증명되어, 이 알고리즘이 거의 최적임을 보여준다.
• 동일한 애드티브 오차 ɛn으로 평균 매칭 크기와 엔트로피의 일정 시간 근사도 가능하다.
• 상관관계 감쇠가 알려진 다른 문제들, 예를 들어 독립 집합과 이징 모델 등으로 이 프레임워크를 확장할 수 있다.
• 알고리즘들은 간단하게 구현 가능하며, 서브라인 쿼리 복잡도 덕분에 대규모 데이터셋에 실용적이다.