[논문 리뷰] Optimal Mixing of Glauber Dynamics: Entropy Factorization via High-Dimensional Expansion

Zongchen Chen, Kuikui Liu외 1명|arXiv (Cornell University)|2020. 11. 04.

Markov Chains and Monte Carlo Methods참고 문헌 57인용 수 5

한 줄 요약

이 논문은 고차원 확장성에 기반한 새로운 엔트로피 분해 프레임워크를 사용하여, 유계 차수 그래프 위의 반강자성 2스핀 시스템과 관련 모델에서 고글라우어 역동성의 최적 $O(n\log n)$ 혼합 시간을 확립한다. 블록 분해를 통한 엔트로피의 근사 텐서화를 증명하고 국소-전역 스펙트럼 확장성을 활용하여, 나무 유일성 영역 내에서 엄밀한 혼합 시간 경계를 달성한다. 이는 임계 임계값 이하의 퍼지시티에서 하드코어 모델과 $q$-색칠이 삼각형이 없는 그래프에서 $q > \alpha\Delta$ ($\alpha \approx 1.763$)일 경우를 포함하여 적용된다.

ABSTRACT

We prove an optimal mixing time bound on the single-site update Markov chain known as the Glauber dynamics or Gibbs sampling in a variety of settings. Our work presents an improved version of the spectral independence approach of Anari et al. (2020) and shows $O(n\log{n})$ mixing time on any $n$-vertex graph of bounded degree when the maximum eigenvalue of an associated influence matrix is bounded. As an application of our results, for the hard-core model on independent sets weighted by a fugacity $λ$, we establish $O(n\log{n})$ mixing time for the Glauber dynamics on any $n$-vertex graph of constant maximum degree $Δ$ when $λ<λ_c(Δ)$ where $λ_c(Δ)$ is the critical point for the uniqueness/non-uniqueness phase transition on the $Δ$-regular tree. More generally, for any antiferromagnetic 2-spin system we prove $O(n\log{n})$ mixing time of the Glauber dynamics on any bounded degree graph in the corresponding tree uniqueness region. Our results apply more broadly; for example, we also obtain $O(n\log{n})$ mixing for $q$-colorings of triangle-free graphs of maximum degree $Δ$ when the number of colors satisfies $q > αΔ$ where $α\approx 1.763$, and $O(m\log{n})$ mixing for generating random matchings of any graph with bounded degree and $m$ edges.

연구 동기 및 목표

• 유계 차수 그래프 위의 스핀 시스템에 대해, 나무 유일성 영역에서 고글라우어 역동성이 $O(n\\log n)$ 시간 내에 혼합된다는 오랫동안 남아있던 추측을 해결하는 것.
• 블록 분해를 통한 엔트로피의 근사 텐서화를 확립하여 최적 혼합 시간을 증명하는 일반적 프레임워크를 개발하는 것.
• 이전 결과를 넘어서 하드코어 모델, $q$-색칠, 모노머-다이머 모델을 포함한 더 넓은 모델로 스펙트럼 독립성 기법을 확장하는 것.
• 특히 마코프 체인 혼합 시간 맥락에서 스펙트럼 독립성과 고차원 확장자 이론의 이전 연구를 통합하고 일반화하는 것.
• 스펙트럼 독립성과 근처 확률의 유계성에 의존하는 혼합 시간의 엄밀한 정량적 경계를 제공하여, 이전의 차수나 매개변수에 대한 지수적 의존도를 개선하는 것.

제안 방법

• 고정된 선형 크기의 블록으로 분해하여 엔트로피의 근사 텐서화를 증명하는 방식으로, 기존의 단일 정점 기반 접근법을 대체하는 새로운 엔트로피 분해 접근법을 도입한다.
• 알레프와 로우(2020)의 국소-전역 기법을 수정하여, 국소 스펙트럼 확장을 만족하는 가중 치수 복합체에서 블록 엔트로피 분해를 확립한다.
• 고차원 확장 성질을 활용하여 영향 행렬을 제어하고 최대 고유값을 유계화함으로써, 스펙트럼 독립성 논증을 가능하게 한다.
• 스펙트럼 독립성과 근처 확률의 유계성을 조합하여, 이 두 성질이 $O(n\log n)$ 혼합 시간으로 이어지는 Theorem 1.11을 통해 최적 혼합 시간 경계를 도출한다.
• 스펙트럼 독립성과 근처 확률의 유계성을 각각 검증함으로써, 하드코어 모델, 삼각형이 없는 그래프의 $q$-색칠, 모노머-다이머 모델에 이 프레임워크를 적용한다.
• 기존에 알려진 $q$-색칠과 모노머-다이머 모델에 대한 스펙트럼 독립성 결과를 활용하고, 이를 새로운 블록 기반 엔트로피 분해 프레임워크에 적응시킨다.

실험 결과

연구 질문

• RQ1 유계 차수 그래프 위의 반강자성 2스핀 시스템에 대해, 나무 유일성 영역에서 고글라우어 역동성의 $O(n\log n)$ 혼합 시간 경계를 확립할 수 있는가?
• RQ2 수정된 로그-소볼레프 부등식 증명에서 엔트로피 분해 단계를, 더 엄밀한 혼합 시간 경계를 가능하게 하는 블록 기반 분해로 대체할 수 있는가?
• RQ3 국소-전역 스펙트럼 확장 프레임워크는 이전 설정을 초월하여 일반적인 가중 치수 복합체로 확장 가능한가?
• RQ4 혼합 시간이 최대 차수 $\Delta$와 스펙트럼 독립성 매개변수 $\eta$에 대한 지수적 의존도를 다항식 의존도로 개선할 수 있는가?
• RQ5 정규 $\Delta$-정점 트리에서 모노머-다이머 모델의 최적 스펙트럼 독립성 상수는 무엇이며, 영향 행렬 노름으로 유도된 경계와 일치하는가?

주요 결과

• 최대 차수 $\Delta$인 $n$-정점 그래프에서 하드코어 모델의 고글라우어 역동성은 $\lambda < \lambda_c(\Delta)$일 때 $O(n\log n)$ 시간 내에 혼합된다. 여기서 $\lambda_c(\Delta)$는 $\Delta$-정점 정규 트리에서의 임계 퍼지시티이다.
• 나무 유일성 영역에 있는 반강자성 2스핀 시스템에 대해, 임의의 유계 차수 그래프에서 고글라우어 역동성은 $O(n\log n)$ 시간 내에 혼합된다.
• 삼각형이 없는 그래프의 $q$-색칠에 대해 $q > \alpha\Delta$ ($\alpha \approx 1.763$)일 경우, 고글라우어 역동성은 $O(n\log n)$ 시간 내에 혼합된다.
• $q \geq 3\Delta$인 $q$-색칠의 경우, 도브루시닌 유일성 조건에 의해 혼합 시간은 $2n\log(n/\varepsilon)$ 이하로 유계화된다.
• 에지 수 $m$인 유계 차수 그래프에서의 모노머-다이머 모델에 대해, 고글라우어 역동성은 $O(m\log n)$ 시간 내에 혼합된다.
• 무한한 $\Delta$-정점 정규 트리에서 모노머-다이머 모델의 스펙트럼 독립성은 정확히 $\frac{2x}{1-x}$이며, 여기서 $x = \frac{1}{\Delta-1}\left(1 - \frac{2}{\sqrt{1+4\lambda(\Delta-1)}+1}\right)$이다. 이는 $\Delta \geq 3$일 때 $O(1/\Delta)$ 의존도를 보인다.