[논문 리뷰] The Swendsen-Wang Dynamics on Trees

Antonio Blanca, Zongchen Chen외 2명|arXiv (Cornell University)|2021. 01. 01.

Markov Chains and Monte Carlo Methods인용 수 2

한 줄 요약

이 논문은 이징 및 작은 q-치 푸츠 모델의 유일성 임계값을 초월하여 d-진수 트리에서 스웬센-왕 역학의 최적 O(log n) 혼합 시간과 Ω(1) 스펙트럼 갭을 확립한다. 이는 고차원 확장자에서의 새로운 스펙트럼 및 엔트로피 분해 기법을 사용하여 분산 혼합과 엔트로피 혼합 조건이 빠른 혼합을 이끌어낸다는 것을 증명한다.

ABSTRACT

The Swendsen-Wang algorithm is a sophisticated, widely-used Markov chain for sampling from the Gibbs distribution for the ferromagnetic Ising and Potts models. This chain has proved difficult to analyze, due in part to the global nature of its updates. We present optimal bounds on the convergence rate of the Swendsen-Wang algorithm for the complete d-ary tree. Our bounds extend to the non-uniqueness region and apply to all boundary conditions. We show that the spatial mixing conditions known as Variance Mixing and Entropy Mixing, introduced in the study of local Markov chains by Martinelli et al. (2003), imply Ω(1) spectral gap and O(log n) mixing time, respectively, for the Swendsen-Wang dynamics on the d-ary tree. We also show that these bounds are asymptotically optimal. As a consequence, we establish Θ(log n) mixing for the Swendsen-Wang dynamics for all boundary conditions throughout the tree uniqueness region; in fact, our bounds hold beyond the uniqueness threshold for the Ising model, and for the q-state Potts model when q is small with respect to d. Our proofs feature a novel spectral view of the Variance Mixing condition inspired by several recent rapid mixing results on high-dimensional expanders and utilize recent work on block factorization of entropy under spatial mixing conditions.

연구 동기 및 목표

• d-진수 트리에서 스웬센-왕 알고리즘의 날것 있는 혼합 시간 경계를 확립하기 위해.
• 이징 및 q-상태 푸츠 모델의 유일성 임계값을 초월한 빠른 혼합 결과를 확장하기 위해.
• 공간 혼합 조건인 분산 혼합과 엔트로피 혼합을 전역 역학의 스펙트럼 갭과 혼합 시간과 연결하기 위해.
• 고차원 확장자 기반의 새로운 분산 혼합 조건의 스펙트럼적 해석을 개발하기 위해.
• 도구로 도출된 경계의 점근적 최적성을 증명하기 위해 도전장 및 악연 접합에 대한 꼬리 추정을 사용하기 위해.

제안 방법

• 스웬센-왕 역학을 수정된 그래프 ˆG 위의 블록 역학으로 매핑하기 위해 리프팅 기법을 적용한다.
• 혼합 및 도전장 분석을 위해 MHB(Metropolis Heat-Bath) 역학을 대체로 사용한다.
• 하위수의 간의 악연 접합 수 ≤M 이하인 구성의 집합 AM 을 도입하여 도전장을 제어한다.
• 대부분의 구성 요소 간 접합 수에 대한 체르노프 불등식을 사용하여 지수 꼬리 감쇠를 보여준다.
• 공간 혼합 하에서 엔트로피의 블록 분해를 활용하여 이완 시간을 경계한다.
• 고차원 확장자 기법을 통해 분산 혼합 조건의 새로운 스펙트럼적 해석을 사용한다.

실험 결과

연구 질문

• RQ1 모든 경계 조건 하에서 d-진수 트리에서 스웬센-왕 역학이 O(log n) 시간 내에 혼합되는가?
• RQ2 분산 혼합과 엔트로피 혼합 조건이 전역 역학에 대해 Ω(1) 스펙트럼 갭과 O(log n) 혼합 시간을 유도할 수 있는가?
• RQ3 이징 및 푸츠 모델의 유일성 임계값을 초월한 스웬센-왕 역학의 행동은 어떠한가?
• RQ4 공간 혼합 조건은 비가환 그래프에서 전역 마르코프 체인의 스펙트럼 성질과 어떻게 관련되는가?
• RQ5 d-진수 트리에서 스웬센-왕 역학에 대해 O(log n) 혼합 시간 및 Ω(1) 스펙트럼 갭 경계가 점근적으로 최적인가?

주요 결과

• d-진수 트리에서 스웬센-왕 역학은 모든 경계 조건 하에 O(log n) 혼합 시간과 Ω(1) 스펙트럼 갭을 가진다.
• d-진수 트리에서 스웬센-왕 역학에 대해 분산 혼합은 Ω(1) 스펙트럼 갭을 유도하고, 엔트로피 혼합은 O(log n) 혼합 시간을 유도한다.
• 이 경계는 이징 모델의 유일성 임계값을 초월하고, q-상태 푸츠 모델에서 작은 q 에 대해서도 성립한다.
• 도전장 및 악연 접합에 대한 꼬리 경계를 통해 O(log n) 혼합 시간이 점근적으로 최적임을 입증하였다.
• 악연 접합 수가 M을 초과하는 구성의 확률은 e−Ω(M) 으로 지수적으로 감쇠한다.
• 이 증명은 분산 혼합 조건에 대한 새로운 스펙트럼적 해석을 확립하였으며, 고차원 확장자와 엔트로피 분해와 연결한다.