[论文解读] Optimal Mixing of Glauber Dynamics: Entropy Factorization via High-Dimensional Expansion

Zongchen Chen, Kuikui Liu+1 more|arXiv (Cornell University)|Nov 4, 2020

Markov Chains and Monte Carlo Methods参考文献 57被引用 5

一句话总结

该论文通过基于高维展开的新型熵分解框架，建立了在有界度图上反铁磁2自旋系统及相关模型中，Glauber动力学的最优 $O(n\log n)$ 混合时间。通过证明基于块分解的熵近似张量化，并利用局部到全局的谱展开，作者在树唯一性区域实现了紧致的混合时间界，涵盖临界阈值以下的硬核模型及 $q$-色化三角形自由图（$q > \alpha\Delta$，$α \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.

研究动机与目标

• 解决长期存在的猜想：在有界度图上的自旋系统树唯一性区域内，Glauber动力学的混合时间是否为 $O(n\log n)$。
• 通过基于块分解的熵近似张量化，建立一个证明最优混合时间的通用框架。
• 将谱独立性技术扩展至更广泛的模型，包括硬核模型、$q$-色化与单体-二聚体模型，超越以往结果。
• 统一并推广先前关于谱独立性与高维展开器的工作，特别是在马尔可夫链混合时间的背景下。
• 提供依赖于谱独立性与边际有界性的紧致定量混合时间界，改进以往对度数或参数的指数依赖。

提出的方法

• 通过将熵分解为固定线性大小的块，而非单个顶点，提出一种新的熵分解方法，证明熵的近似张量化。
• 将Alev与Lau（2020）的局部到全局方案适配至满足局部谱展开的加权单纯复形，建立块熵分解。
• 利用高维展开性质控制影响矩阵并有界最大特征值，从而支持谱独立性论证。
• 结合谱独立性与边际有界性，通过定理1.11推导出最优混合时间界，该定理将这些性质与 $O(n\log n)$ 混合时间联系起来。
• 通过验证每种情形下的谱独立性与边际有界性，将该框架应用于具体模型：硬核模型、三角形自由图的 $q$-色化与单体-二聚体模型。
• 利用已知的 $q$-色化与单体-二聚体模型的谱独立性结果，并将其适配至新的基于块的熵分解框架。

实验结果

研究问题

• RQ1 在有界度图上的反铁磁2自旋系统树唯一性区域内，Glauber动力学的 $O(n\log n)$ 混合时间界是否可被确立？
• RQ2 在改进的对数Sobolev不等式证明中，是否可用基于块的分解替代熵分解步骤，从而实现更紧致的混合时间界？
• RQ3 局部到全局谱展开框架是否可扩展至一般加权单纯复形，而不仅限于先前的设定？
• RQ4 混合时间对最大度数 $\Delta$ 与谱独立性参数 $\eta$ 的依赖关系能否从指数级改进为多项式级？
• RQ5 在正则树上，单体-二聚体模型的最优谱独立性常数是多少？其是否与影响矩阵范数导出的界一致？

主要发现

• 对于任意最大度数为 $\Delta$ 的 $n$-顶点图上的硬核模型，当 $\lambda < \lambda_c(\Delta)$（即 $\Delta$-正则树上的临界活性）时，Glauber动力学的混合时间为 $O(n\log n)$。
• 对于树唯一性区域内的反铁磁2自旋系统，Glauber动力学在任意有界度图上的混合时间为 $O(n\log n)$。
• 对于满足 $q > \alpha\Delta$（$α \approx 1.763$）的三角形自由图的 $q$-色化，Glauber动力学的混合时间为 $O(n\log n)$。
• 对于满足 $q \geq 3\Delta$ 的 $q$-色化，混合时间受 $2n\log(n/\varepsilon)$ 限制，这是由于Dobrushin唯一性条件。
• 对于具有 $m$ 条边的有界度图上的单体-二聚体模型，Glauber动力学的混合时间为 $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)$。