[논문 리뷰] The Complexity of Approximating the Complex-Valued Potts Model

Andreas Galanis, Leslie Ann Goldberg외 1명|arXiv (Cornell University)|2020. 01. 01.

Markov Chains and Monte Carlo Methods인용 수 2

한 줄 요약

이 논문은 복소수 매개변수를 가진 q-스테이트 Potts 모델과 Tutte 다항식의 분할 함수 근사화에 대한 완전한 복잡도 분류를 제공하며, q ≥ 2일 때 모든 비실수 매개변수 값에서 #P-난이도를 입증한다. 이는 근본적인 난이도가 실수축 외부에 위치할 때 발생함을 보여주며, 이전에 Ising 모델(q=2)에 국한되었던 결과를 q ≥ 2의 모든 경우로 확장하여 평면 그래프에서의 근사 계산 이론과 양자 컴퓨팅 분야의 오랜 열린 문제를 해결한다.

ABSTRACT

We study the complexity of approximating the partition function of the q-state Potts model and the closely related Tutte polynomial for complex values of the underlying parameters. Apart from the classical connections with quantum computing and phase transitions in statistical physics, recent work in approximate counting has shown that the behaviour in the complex plane, and more precisely the location of zeros, is strongly connected with the complexity of the approximation problem, even for positive real-valued parameters. Previous work in the complex plane by Goldberg and Guo focused on q = 2, which corresponds to the case of the Ising model; for q > 2, the behaviour in the complex plane is not as well understood and most work applies only to the real-valued Tutte plane. Our main result is a complete classification of the complexity of the approximation problems for all non-real values of the parameters, by establishing #P-hardness results that apply even when restricted to planar graphs. Our techniques apply to all q ≥ 2 and further complement/refine previous results both for the Ising model and the Tutte plane, answering in particular a question raised by Bordewich, Freedman, Lovász and Welsh in the context of quantum computations.

연구 동기 및 목표

• 모든 비실수 값의 간선 상호작용 매개변수 y와 q ≥ 2에 대해 q-스테이트 Potts 모델의 분할 함수 근사화의 계산 복잡도를 분류하는 것.
• 이전에 q=2(Ising 모델) 또는 실수 매개변수에 국한되었던 난이도 결과를 일반적인 q ≥ 2에 대해 복소 평면 전체로 확장하는 것.
• 교착한 링크의 존스 다항식 근사화의 복잡도에 관한 양자 컴퓨팅 분야에서 오랫동안 남아있던 열린 질문을 해결하는 것.
• Potts 및 Tutte 모델의 복소수 근사 문제에서 다항식 시간 가능 사례와 #P-난이도 사례 사이의 완전한 이분법을 설정하는 것.

제안 방법

• 저자들은 분할 함수의 노름과 각도를 곱셈 오차 또는 덧셈 오차 내에서 근사화하는 작업을 형식화하기 위해 두 가지 계산 문제인 Factor-K-NormPotts와 Distance-ρ-ArgPotts를 정의한다.
• 복소 평면에서 분할 함수의 영점과 특이점의 위치를 분석하기 위해 대수 기법과 복소 해석학을 사용하며, 이를 계산 난이도와 연결한다.
• 증명은 주로 기존의 #P-난이도 문제로부터의 감소를 기반으로 하며, 구조적 기법과 대수적 조작을 활용하고 특히 Tutte 다항식과 존스 다항식 간의 관계를 활용한다.
• 다항시간 근사 체계(PTAS) 이론과 영점이 없는 영역을 적용하여, 복소 평면 내의 영점 존재가 계산 비가역성과 관련이 있음을 보인다.
• 핵심적인 숙련 기술은 그래프 구성 기반의 대수적 점을 복소 도메인으로 확장하여 비실수 매개변수에 대한 난이도 증명을 가능하게 한다.
• Thistlethwaite의 정리를 통해 평면 그래프에서의 Tutte 다항식 결과를 교착 링크의 존스 다항식으로 변환함으로써 양자 계산 분야에의 적용을 가능하게 한다.

실험 결과

연구 질문

• RQ1 q ≥ 2일 때, 복소수 매개변수 y의 어떤 값에서 q-스테이트 Potts 모델의 분할 함수 근사화가 계산적으로 난이도가 높은가?
• RQ2 비실수 y일 때, Potts 모델 분할 함수 근사화의 계산 난이도가 Ising 모델(q=2)을 넘어서 q ≥ 2의 모든 경우로 확장되는가?
• RQ3 복소수 매개변수를 가진 평면 그래프에서 Tutte 다항식의 노름과 각도 근사화의 경우에 대해, 다항식 시간 가능 사례와 #P-난이도 사례 사이의 정확한 경계는 무엇인가?
• RQ4 교착 링크의 존스 다항식 근사화의 복잡도는 완전히 분류될 수 있는가, 특히 양자 컴퓨팅에 관련된 중요한 점들에서 말이다?
• RQ5 복소수 매개변수에 대해 Tutte 다항식의 실수부의 부호 계산은 #P-난이도인지, 그리고 이는 양자 계산 복잡도와 어떻게 관련이 있는가?

주요 결과

• q ≥ 2 및 모든 비실수 y에 대해, 평면 그래프로 제한된 경우에도 Potts 분할 함수 ZPotts(G; q, y)의 노름 근사는 #P-난이도이다.
• 모든 비실수 y와 q ≥ 2에 대해, 평면 그래프에서 Potts 분할 함수의 각도는 ρ = π/3의 덧셈 오차 내에서 근사화하는 데 #P-난이도이다.
• 모든 비실수 t 중에서 Re(t) > 0인 경우, 교착 링크의 존스 다항식은 노름과 각도 근사화에서 #P-난이도이며, 유일한 예외는 t ∈ {1, −e^{2πi/3}, −e^{4πi/3}} 세 개의 특별한 점을 제외한다.
• 평면 그래프에서 Tutte 다항식에 대해, q = (x−1)(y−1) ≥ 2를 만족하는 모든 비실수 (x, y) 쌍에 대해 #P-난이도가 성립하며, 정확한 평가가 가능한 고립된 특별한 점을 제외한다.
• Bordewich, Freedman, Lovász, Welsh가 제기한 Tutte 다항식의 실수부 부호 계산의 복잡도 문제를 해결하였으며, 이는 양자 컴퓨팅에서 중요한 점인 t = e^{2πi/5}에 해당하는 매개변수에서 #P-난이도임을 입증한다.
• 기존에 실수 매개변수에서의 부호 계산에 영향을 미치는 것으로 알려진 q = 32/27의 계면 전이 현상이, 복소수 매개변수 영역에서도 계산 난이도의 임계점으로서 작용하는 것으로 밝혀졌다.