<p>We consider spin systems on general <i>n</i>-vertex graphs of unbounded degree and explore the effects of spectral independence on the rate of convergence to equilibrium of global Markov chains. Spectral independence is a novel way of quantifying the decay of correlations in spin system models, which has significantly advanced the study of Markov chains for spin systems. We prove that whenever spectral independence holds, the popular Swendsen–Wang dynamics for the <i>q</i>-state ferromagnetic Potts model on graphs of maximum degree <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\Delta \)</EquationSource> </InlineEquation>, where <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\Delta \)</EquationSource> </InlineEquation> is allowed to grow with <i>n</i>, converges in <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(O((\Delta \log n)^c)\)</EquationSource> </InlineEquation> steps where <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(c &gt; 0\)</EquationSource> </InlineEquation> is a constant independent of <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\Delta \)</EquationSource> </InlineEquation> and <i>n</i>. We also show a similar mixing time bound for the block dynamics of general spin systems, again assuming that spectral independence holds. Finally, for <i>monotone</i> spin systems such as the Ising model and the hardcore model on bipartite graphs, we show that spectral independence implies that the mixing time of the systematic scan dynamics is <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(O(\Delta ^c \log n)\)</EquationSource> </InlineEquation> for a constant <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(c&gt;0\)</EquationSource> </InlineEquation> independent of <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\Delta \)</EquationSource> </InlineEquation> and <i>n</i>. Systematic scan dynamics are widely popular but are notoriously difficult to analyze. Our result implies optimal <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(O(\log n)\)</EquationSource> </InlineEquation> mixing time bounds for any systematic scan dynamics of the ferromagnetic Ising model on general graphs up to the tree uniqueness threshold. Our main technical contribution is an improved factorization of the entropy functional: this is the common starting point for all our proofs. Specifically, we establish the so-called <i>k</i>-partite factorization of entropy with a constant that depends polynomially on the maximum degree of the graph.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Rapid Mixing of Global Markov Chains via Spectral Independence: The Unbounded Degree Case

  • Antonio Blanca,
  • Xusheng Zhang

摘要

We consider spin systems on general n-vertex graphs of unbounded degree and explore the effects of spectral independence on the rate of convergence to equilibrium of global Markov chains. Spectral independence is a novel way of quantifying the decay of correlations in spin system models, which has significantly advanced the study of Markov chains for spin systems. We prove that whenever spectral independence holds, the popular Swendsen–Wang dynamics for the q-state ferromagnetic Potts model on graphs of maximum degree \(\Delta \) , where \(\Delta \) is allowed to grow with n, converges in \(O((\Delta \log n)^c)\) steps where \(c > 0\) is a constant independent of \(\Delta \) and n. We also show a similar mixing time bound for the block dynamics of general spin systems, again assuming that spectral independence holds. Finally, for monotone spin systems such as the Ising model and the hardcore model on bipartite graphs, we show that spectral independence implies that the mixing time of the systematic scan dynamics is \(O(\Delta ^c \log n)\) for a constant \(c>0\) independent of \(\Delta \) and n. Systematic scan dynamics are widely popular but are notoriously difficult to analyze. Our result implies optimal \(O(\log n)\) mixing time bounds for any systematic scan dynamics of the ferromagnetic Ising model on general graphs up to the tree uniqueness threshold. Our main technical contribution is an improved factorization of the entropy functional: this is the common starting point for all our proofs. Specifically, we establish the so-called k-partite factorization of entropy with a constant that depends polynomially on the maximum degree of the graph.