[논문 리뷰] An FPTAS for Counting Proper Four-Colorings on Cubic Graphs

Pinyan Lu, Kuan Yang외 2명|arXiv (Cornell University)|2016. 11. 13.

Markov Chains and Monte Carlo Methods참고 문헌 22인용 수 8

한 줄 요약

이 논문은 삼차 그래프(최대 차수 Δ=3)에서 적절한 4색 칠하기를 세는 데 있어 최초의 전역 다항시간 근사계량법(FPTAS)을 제안한다. 이는 최적의 경계 q=Δ+1을 달성한다. 기존의 마르코프 체인 몬테카를로 방법의 근본적 장벽을 극복하기 위해 새로운 상관관계 감쇠 기법을 도입함으로써, 엄밀한 수학적 분석과 컴퓨터 보조 검증을 통한 수렴성 분석을 가능하게 한다.

ABSTRACT

Graph coloring is arguably the most exhaustively studied problem in the area of approximate counting. It is conjectured that there is a fully polynomial-time (randomized) approximation scheme (FPTAS/FPRAS) for counting the number of proper colorings as long as $q \geq Δ+ 1$, where $q$ is the number of colors and $Δ$ is the maximum degree of the graph. The bound of $q = Δ+ 1$ is the uniqueness threshold for Gibbs measure on $Δ$-regular infinite trees. However, the conjecture remained open even for any fixed $Δ\geq 3$ (The cases of $Δ=1, 2$ are trivial). In this paper, we design an FPTAS for counting the number of proper $4$-colorings on graphs with maximum degree $3$ and thus confirm the conjecture in the case of $Δ=3$. This is the first time to achieve this optimal bound of $q = Δ+ 1$. Previously, the best FPRAS requires $q > \frac{11}{6} Δ$ and the best deterministic FPTAS requires $q > 2.581Δ+ 1$ for general graphs. In the case of $Δ=3$, the best previous result is an FPRAS for counting proper 5-colorings. We note that there is a barrier to go beyond $q = Δ+ 2$ for single-site Glauber dynamics based FPRAS and we overcome this by correlation decay approach. Moreover, we develop a number of new techniques for the correlation decay approach which can find applications in other approximate counting problems.

연구 동기 및 목표

• Δ=3일 때, 그래프 색칠법에 대한 근사 수량의 격차를 메우기 위해 추측된 최적 경계 q=Δ+1을 달성하고자 한다.
• Glauber 동역기반 FPRAS의 내재적 한계를 극복하고자 하며, 이는 비ergodicity로 인해 q=Δ+1에서 혼합되지 않기 때문이다.
• 유한 차수 그래프에서 적절한 q-색칠법에 대한 결정론적 FPTAS를 가능하게 하는 새로운 상관관계 감쇠 기법을 개발하고자 한다.
• 특히 Δ=3일 경우에 대해 이전의 MCMC 기반 방법보다 더 단순하고 강건한 분석 프레임워크를 제공하고자 한다.
• 반자성 다중스핀 시스템, 특히 표준 색칠 문제에 대해 상관관계 감쇠를 일반화하여 유일성 임계점 q=Δ+1에 도달하는 데 기반을 마련하고자 한다.

제안 방법

• 수명 나무 분해에서의 마진 확률을 모델링하는 재귀 함수 기반의 새로운 상관관계 감쇠 프레임워크를 도입한다.
• 특히 x∈(0,1/2)에 대해 Φ(x) = 1/(x(1/2−x))로 정의된 유리함수의 역수를 포함하는 철저히 설계된 잠재함수를 사용한 재귀적 수축 분석을 수행한다.
• 대칭적 경우, 경계 조건 및 대칭적 구성 등 여러 경우에 걸쳐 수축 부등식을 컴퓨터 보조 방식으로 검증한다.
• 다양한 색상 분포에 대한 기여도를 가중치로 고려한 상관관계 감쇠 방법의 수정 버전을 적용하며, f_i 및 y_i 함수를 사용해 마진 확률을 표현한다.
• Mathematica를 활용해 컴act 영역에서의 다변수 부등식을 검증하여 수축 인자가 1보다 엄격히 작다는 것을 보장한다.
• 대칭적 구성 요소를 처리하기 위해 대칭성 가정(예: f3=f4, y3=y4)을 통해 변수를 줄이는 새로운 기법을 도입하여 증명 공간을 단순화한다.

실험 결과

연구 질문

• RQ1 삼차 그래프에서 이론적 임계점 q=Δ+1에서 적절한 4색 칠하기를 세는 데 대해 결정론적 FPTAS를 구성할 수 있는가?
• RQ2 Glauber 동역기의 ergodicity 장벽을 상관관계 감쇠 기법을 통해 q=Δ+1에서 우회할 수 있는가?
• RQ3 대칭적이고 고차수의 그래프 색칠 문제에서 상관관계 감쇠를 증명하기 위해 어떤 새로운 분석 도구가 필요한가?
• RQ4 복잡한 다변수 부등식을 상관관계 감쇠 증명에 효과적으로 검증하기 위해 컴퓨터 보조 검증을 활용할 수 있는가?
• RQ5 일반적인 Δ≥3에 대해 상관관계 감쇠 방법을 어떻게 확장하여 유일성 임계점 q=Δ+1에 도달할 수 있는가?

주요 결과

• 논문은 삼차 그래프(Δ=3)에서 적절한 4색 칠하기를 세는 데 있어 최초의 FPTAS를 수립한다. 이는 최적의 경계 q=Δ+1에서 성립한다.
• 알고리즘은 결정론적이며 전역 다항 시간 내에 수행되며, 임의의 ε>0에 대해 (1±ε)-근사치를 달성한다.
• 상관관계 감쇠 방법은 이전에 FPRAS 구축을 방해했던 Glauber 동역기의 비ergodicity 장벽을 성공적으로 극복한다.
• 컴퓨터 보조 증명을 통해 최악의 경우 수축 인자가 0.9638 이하로 제한됨을 검증하여 수렴성을 보장한다.
• 이전의 MCMC 기반 분석에 비해 단순화되었으며, Δ=3, q=5일 경우에 대해 이전에는 광범위한 사례별 추론과 컴퓨터 점검이 필요로 했으나, 이제는 이를 간소화한다.
• 제안된 기법은 일반화 가능하며, 유일성 임계점 근처의 다른 반자성 다중스핀 시스템에도 적용 가능할 수 있다.