[논문 리뷰] Computing the independence polynomial in Shearer's region for the LLL.

Nicholas J. A. Harvey, Piyush Srivastava외 1명|arXiv (Cornell University)|2016. 08. 07.

Markov Chains and Monte Carlo Methods참고 문헌 33인용 수 10

한 줄 요약

이 논문은 러브라스 로컬 레미의 레이먼드 영역 내에서 복소수 벡터에 대해 다변수 독립 다항식을 (1+ε) 승수 오차 내에서 결정적 알고리즘으로 근사하는 방법을 제시한다. 최대 차수 d인 n-정점 그래프에 대해 런타임은 (n/(εα))^{O(log d / α)}이며, α ∈ (0,1]이다. 이 방법은 연결 수가 유계인 그래프로 확장 가능하며, ε, α, d에 대한 뚜렷한 런타임 의존성을 확립한다.

ABSTRACT

The independence polynomial has been widely studied in algebraic graph theory, in statistical physics, and in algorithms for counting and sampling problems. Seminal results of Weitz (2006) and Sly (2010) have shown the that the computational complexity of approximating the independence polynomial with positive activities is tightly linked to a uniqueness phase transition for a Gibbs measure. We study algorithms for approximating the independence polynomial with negative and complex arguments. The independence polynomial with complex arguments may not have a counting interpretation, but it does have strong connections to combinatorics and to statistical physics. The independence polynomial with negative arguments determines the maximal region of probabilities to which the Lov\'{a}sz Local Lemma (LLL) can be extended, and also gives a lower bound on the probability in the LLL's conclusion (Shearer 1985). In statistical physics, complex (and negative) zeros of the independence polynomial relate to existence of phase transitions (Penrose 1963). Whereas many algorithms for computing combinatorial polynomials are restricted to the univariate setting, we consider the multivariate independence polynomial, since there is a natural multivariate region of interest -- Shearer's region for the LLL. Our main result is: for any $n$-vertex graph of degree at most $d$, any $\alpha \in (0,1]$, and any complex vector $p$ such that $(1+\alpha) \cdot p$ lies in Shearer's region, there is a deterministic algorithm to approximate the independence polynomial at $p$ within $(1+\epsilon)$ multiplicative error and with runtime $(\frac{n}{\epsilon \alpha})^{O(\log(d)/\alpha)}$. Our results also extend to graphs of unbounded degree that have a bounded connective constant. We also give hardness results addressing the dependence of the runtime of the algorithm on the above parameters.

연구 동기 및 목표

• 러브라스 로컬 레미의 레이먼드 영역 내에서 복소수 매개변수를 가진 다변수 독립 다항식을 근사하는 결정적 알고리즘을 개발하는 것.
• 특히 음수 및 복소수 매개변수의 맥락에서, 양의 활성도를 초월한 독립 다항식의 계산 복잡도를 다루는 것.
• 역수 α, 오차 ε, 최대 차수 d에 의존하는 뚜렷한 런타임 경계를 확립하는 것.
• 차수의 상한이 없지만 연결 수가 유계인 그래프로 알고리즘의 확장을 이루는 것.
• 이러한 설정에서 독립 다항식 근사의 본질적 난이도를 규명하고, 알고리즘의 런타임 매개변수 ε, α, d와의 관계를 밝히는 것.

제안 방법

• 알고리즘은 다변수 설정에서 작동하며, LLL의 Shearer 영역에 대해 (1+α)·p가 속하는 복소수 벡터 p를 대상으로 한다.
• 그래프의 구조와 LLL 내의 의존성 국소성에 기반한 재귀적 분해를 사용하며, Shearer 영역이 악성 사건을 피할 수 있는 확률이 양수임을 보장하는 최대 확률 집합임을 활용한다.
• 승수 오차 (1+ε) 내에서 독립 다항식을 근사하기 위해 결정적 보간 및 절단 기법을 적용한다.
• Weitz의 상관관계 감쇠 기법을 복소수 매개변수로 확장한, 다변수 설정에서 국소 마진의 수렴에 대한 새로운 분석에 기반한다.
• 오차 전파를 통제하는 깊이 제한된 재귀 트리 구조를 사용하여 런타임을 (n/(εα))^{O(log d / α)}로 경계한다.
• 접근 수가 유계인 그래프로의 확장을 위해, 이웃 영역의 지수적 성장에 대응하는 감쇠 분석을 적응시켰다.

실험 결과

연구 질문

• RQ1 LL의 Shearer 영역 내에서 복소수 매개변수를 가진 다변수 독립 다항식 근사의 계산 복잡도는 무엇인가?
• RQ2 이 영역에서 (1+ε) 승수 근사가 가능한 결정적 알고리즘이 존재하는가? 이에 따른 런타임은 ε, α, d에 어떻게 의존하는가?
• RQ3 입력 벡터가 Shearer 영역 내에서 얼마나 멀리 떨어져 있는지에 따라 매개변수 α에 따라 알고리즘 성능은 어떻게 변화하는가?
• RQ4 차수의 상한이 없지만 연결 수가 유계인 그래프로 알고리즘의 확장을 어느 정도까지 가능하게 할 수 있는가?
• RQ5 이 설정에서 독립 다항식 근사의 본질적 난이도는 무엇이며, 이는 알고리즘의 런타임 매개변수 ε, α, d와 어떻게 관련되는가?

주요 결과

• 알고리즘은 (1+α)·p가 Shearer 영역에 속하는 임의의 복소수 벡터 p에 대해 다변수 독립 다항식을 (1+ε) 승수 오차 내에서 근사한다.
• 최대 차수 d인 n-정점 그래프에 대해 런타임은 (n/(εα))^{O(log d / α)}로 경계된다. 여기서 α ∈ (0,1]이다.
• 차수의 상한이 없지만 연결 수가 유계인 그래프로도 알고리즘이 확장 가능하며, 유사한 런타임 경계를 유지한다.
• α에 대한 의존성은 날카로운 것으로 확인되었으며, α를 줄일수록 런타임이 지수적으로 증가함을 하드네스 결과로 입증하였다.
• 하드네스 결과는 알고리즘의 런타임이 ε, α, d에 대해 표준 복잡도 가정 하에 거의 최적임을 보여준다.
• 이 작업는 독립 다항식의 계산 복잡도와 LLL 내 Shearer 영역의 구조적 성질 사이의 연결 고리를 확립한다.