[논문 리뷰] Zero-free regions of partition functions with applications to algorithms and graph limits

Guus Regts|arXiv (Cornell University)|2015. 01. 01.

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

한 줄 요약

이 논문은 유계 차수 그래프 위의 엣지-색칠 모델의 분할 함수에 대한 영이 없는 영역을 확립하여 바르비노크의 방법을 통해 준다항식 시간 근사법을 가능하게 한다. 특정 조건 하에서 엣지-색칠 모델의 매개변수에 대해 분할 함수가 영이 아니며 효율적으로 근사 가능하다는 것을 증명하며, 투트 툴레 다항식 및 매칭 다항식과 같은 그래프 다항식에 응용되며, 벤자민-슈람의 수렴에 대해 연속성을 보인다.

ABSTRACT

Based on a technique of Barvinok and Barvinok and Sober\\'on we identify a class of edge-coloring models whose partition functions do not evaluate to zero on bounded degree graphs. Subsequently we give a quasi-polynomial time approximation scheme for computing these partition functions. As another application we show that the normalised partition functions of these models are continuous with respect the Benjamini-Schramm topology on bounded degree graphs. We moreover give quasi-polynomial time approximation schemes for evaluating a large class of graph polynomials, including the Tutte polynomial, on bounded degree graphs.

연구 동기 및 목표

• 유계 차수 그래프에서 엣지-색칠 모델의 분할 함수가 항상 영이 아닐 조건을 규명하는 것.
• 바르비노크의 영이 없는 영역 기법을 사용하여 이러한 분할 함수에 대한 준다항식 시간 근사 알고리즘을 개발하는 것.
• 이러한 모델에 대해 정규화된 분할 함수의 연속성을 벤자민-슈람 위상에 대해 확립하는 것.
• 분할 함수의 근사 프레임워크를 투트 다항식 및 매칭 다항식을 포함한 광범위한 그래프 다항식 클래스로 확장하는 것.
• 희소 그래프 수열의 효율적 계산과 그 한계에 대한 이론적 기초를 제공하는 것.

제안 방법

• 분할 함수 다항식의 복소 평면 내 영이 없는 영역을 식별하는 바르비노크의 기법을 적용한다.
• 이러한 영이 없는 영역 내에서 분할 함수의 로그의 저차수 테일러 근사를 사용한다.
• 엣지-색칠 모델에 대한 충분조건을 설정: β > 0.35 이고 |α| ≤ Δ 이면, |h(α) - 1| ≤ β/(Δ+1) 이며, 최대 차수 Δ인 그래프에서 분할 함수가 영이 아님을 보장한다.
• 서브그래프 수(ind(H,G))의 선형 조합으로 분할 함수의 계산을 줄이기 위해 조각 기반 분해와 모비우스 역전환을 사용한다.
• 텐서 네트워크와 엣지-색칠 모델의 구조를 활용하여 표준 정점-색칠 모델을 초월한 결과를 일반화한다.
• 제타 행렬과 그 역행렬을 사용하여 조각 수(ind*(F,G))를 서브그래프 수(ind(H',G))의 선형 조합으로 표현함으로써 알고리즘적 감소를 가능하게 한다.

실험 결과

연구 질문

• RQ1 엣지-색칠 모델의 매개변수에 대해 어떤 조건이면 최대 차수 Δ인 모든 그래프에서 분할 함수가 항상 영이 아닐가?
• RQ2 영이 없는 영역 분석을 통해 엣지-색칠 모델의 분할 함수에 대한 준다항식 시간 근사법을 구성할 수 있는가?
• RQ3 벤자민-슈람 위상에 대해 이러한 모델의 정규화된 분할 함수의 로그가 연속적인가?
• RQ4 이 프레임워크는 투트 다항식 및 매칭 다항식과 같은 광범위한 그래프 다항식 클래스를 근사하는 데로 확장될 수 있는가?
• RQ5 이러한 분할 함수의 정확한 영이 없는 영역의 구조는 무엇이며, 현재의 구형 경계를 초월해 개선될 수 있는가?

주요 결과

• 모든 Δ ∈ ℕ에 대해, β > 0.35 이 존재하여, 모든 α ∈ ℕᵏ 에 대해 |α| ≤ Δ 이면 |h(α) - 1| ≤ β/(Δ+1) 이면, 최대 차수 Δ 이하인 모든 그래프 G에 대해 p(G)(h) ≠ 0 이다.
• 이러한 엣지-색칠 모델의 분할 함수는 임의의 정밀도로 준다항식 시간 내에 근사 가능하다.
• 정규화된 분할 함수의 로그는 유계 차수 그래프에서 벤자민-슈람 위상에 대해 연속적이다.
• 투트 다항식 및 매칭 다항식을 유계 차수 그래프에서 평가하기 위한 준다항식 시간 근사법이 확립되었다.
• 크기가 (Δ+1)m 이하인 서브그래프의 수를 사용하여 조각 수를 표현할 수 있으며, 이는 모비우스 역전환을 통해 서브그래프 수로의 감소를 가능하게 한다.
• 이 방법은 텐서 네트워크로 일반화되며, 광범위한 휠란트 문제를 근사하는 프레임워크를 제공한다.