[논문 리뷰] Approximability of the Six-vertex Model

Jin‐Yi Cai, Tianyu Liu외 1명|arXiv (Cornell University)|2017. 12. 16.

Markov Chains and Monte Carlo Methods인용 수 8

한 줄 요약

이 논문은 6-정점 모델의 근사 복잡도에 대한 최초의 종합적 분류를 제공하며, 상전이 임계점에서 날카로운 이분법을 보여준다: 파artition 함수를 근사하는 것은 매개변수 설정에 따라 FPTAS 또는 #BIS-난이도가 된다. 비음성 매개변수에 대해 근사가 가능할 조건은 특정 대수적 조건을 만족할 때에만 성립하며, 예를 들어 평면 그래프에서는 $c^2 = a^2 + b^2$ 조건이 필요하고, 비균형 영역에서는 #BIS-난이도임을 증명한다.

ABSTRACT

In this paper we take the first step toward a classification of the approximation complexity of the six-vertex model, an object of extensive research in statistical physics. Our complexity results conform to the phase transition phenomenon from physics. We show that the approximation complexity of the six-vertex model behaves dramatically differently on the two sides separated by the phase transition threshold. Furthermore, we present structural properties of the six-vertex model on planar graphs for parameter settings that have known relations to the Tutte polynomial $T(G, x, y)$.

연구 동기 및 목표

• 모든 음이 아닌 매개변수 설정에서 6-정점 모델의 근사 복잡도를 분류하는 것.
• 통계역학의 상전이 현상과 일치하는, 처리 가능 영역과 처리 불가능 영역의 경계를 규명하는 것.
• 6-정점 모델과 평면 그래프에서의 투트 토폴로지 다항식 사이의 구조적 연결 고리를 설정하는 것.
• 특정 매개변수 $(a,b,c) = (1,1,2)$에서의 $T(G;3,3)$ 근사 가능성에 대한 열린 문제를 6-정점 모델을 통해 해결하는 것.
• 특정 대수적 제약 조건, 예를 들어 평면 그래프에서 $c^2 = a^2 + b^2$를 만족할 때에만 FPTAS가 존재하고, 그 외의 경우는 항상 #BIS-난이도임을 증명하는 것.

제안 방법

• 이중 그래프에서 독립 집합 수를 세는 #BIS-완전 문제에서 6-정점 모델의 파artition 함수로의 감소.
• 감소 과정에서 제약 조건을 시뮬레이션하기 위해 锁 장치(gadget)를 구성하여, 유의미하게 기여하는 것은 오직 유효한 구성만이 되도록 보장.
• 가중치를 가진 구성과 그 합의 경계를 사용하여, 적절한 매개변수 설정 시 손상된 锁이 있는 구성의 기여가 무시할 만큼 작다는 것을 보여줌.
• 구성의 가중치 합을 경계함으로써 이분법을 수립: 모든 锁이 활성화된 구성은 $c^{6\tilde{\kappa}n^3}(\tilde{c}_{\lambda n}\tilde{b}_{\lambda n})^{3s}$로 유계이며, 손상된 锁이 있는 구성은 지수적으로 더 작다는 것을 보임.
• 특히 중간 그래프에서 $Z(H;1,1,2) = 2T(G;3,3)$임을 고려한 투트 토폴로지 다항식에 대한 기존 결과를 활용하여 6-정점 모델과 알려진 복잡도 클래스 사이의 연결 고리를 설정.
• 마르코프 체인 몽테카를로 기법과 빠른 혼합 결과(예: Luby-Randall-Sinclair 및 Randall-Tetali)를 응용하여 복잡도 구도를 해석함.

실험 결과

연구 질문

• RQ1 음이 아닌 매개변수 설정 $(a,b,c)$ 중에서 6-정점 모델의 파artition 함수가 완전 다항 시간 내에 근사 가능한 경우는 언제인가?
• RQ2 통계역학에서의 상전이 임계점은 6-정점 모델의 근사 복잡도에 대해 어떤 계산 복잡도 임계점으로 대응하는가?
• RQ3 평면 그래프에서 $c^2 = a^2 + b^2$ 조건을 만족할 경우 6-정점 모델의 근사 복잡도는 어떻게 되는가?
• RQ4 $(a,b,c) = (1,1,2)$에서의 6-정점 모델, 즉 $T(G;3,3)$은 평면 그래프에서 근사 가능한가?
• RQ5 6-정점 모델을 통해 #BIS와 같은 알려진 난이도 문제로의 감소를 통해 투트 토폴로지 다항식 $T(G;x,y)$의 복잡도를 분류할 수 있는가?

주요 결과

• 6-정점 모델의 파artition 함수는 평면 그래프에서 매개변수가 $c^2 = a^2 + b^2$를 만족할 때 또는 $a,b,c$ 중 하나가 0이고 나머지 두 개가 서로 같을 때에만 완전 다항 시간 내에 근사 가능하다.
• 그 외의 모든 음이 아닌 매개변수 설정에 대해서는 파artition 함수의 근사가 #BIS-난이도이며, 이는 복잡도 클래스가 붕괴하지 않는 한 FPTAS가 존재하지 않음을 시사한다.
• $(a,b,c) = (1,1,1)$일 때 6-정점 모델의 파artition 함수는 정확하게 계산하는 데 #P-난이도이며, 평면 그래프에서도 여전히 #P-난이도이다.
• 감소 과정에서 #BIS-난이도가 입증되기 위해 锁 장치를 사용하여, 유의미하게 기여하는 것은 오직 일관된 锁 상태를 가진 구성들 뿐임을 보장한다.
• 매개변수를 $ \kappa \gg \lambda \geq 1$로 선택할 경우, 손상된 锁이 있는 구성의 기여는 주항목의 절반 이하이며, 이는 주로 모든 锁이 활성화된 구성이 지배적임을 증명한다.
• 논문은 평면 그래프에서 $T(G;3,3)$의 복잡도에 대한 열린 문제를 해결하였으며, 이는 $(1,1,2)$에서의 6-정점 모델과 동치이며 #BIS-난이도임을 보여주어 평면 경우는 여전히 열려 있으나 잘 정의된 복잡도 클래스에 속함을 밝혔다.