[论文解读] From Coupling to Spectral Independence and Blackbox Comparison with the Down-Up Walk

Kuikui Liu|arXiv (Cornell University)|Mar 22, 2021

Markov Chains and Monte Carlo Methods参考文献 43被引用 14

一句话总结

本文建立了一个黑箱比较框架，将局部马尔可夫链的良好耦合存在性与谱独立性及Glauber动力学的快速混合联系起来。通过利用可变长度路径耦合与Stein方法，证明了在有界度图上，当颜色数 q ≥ (11/6 − ε)∆ 时，Glauber动力学的混合时间为 O(n log n)，实现了最优谱间隙与切尔诺夫型浓度界——此前通过空间混合或无根区域方法无法实现。

ABSTRACT

Let G = (V,E) be a graph on n vertices and let m^*(G) denote the size of a maximum matching in G. We show that for any δ > 0 and for any 1 ≤ k ≤ (1-δ)m^*(G), the down-up walk on matchings of size k in G mixes in time polynomial in n. Previously, polynomial mixing was not known even for graphs with maximum degree Δ, and our result makes progress on a conjecture of Jain, Perkins, Sah, and Sawhney [STOC, 2022] that the down-up walk mixes in optimal time O_{Δ,δ}(nlog{n}). In contrast with recent works analyzing mixing of down-up walks in various settings using the spectral independence framework, we bound the spectral gap by constructing and analyzing a suitable multi-commodity flow. In fact, we present constructions demonstrating the limitations of the spectral independence approach in our setting.

研究动机与目标

• 通过基于耦合的技术，建立局部马尔可夫链与上下行随机游走之间的黑箱比较。
• 弥合自旋系统中经典耦合方法与现代谱独立性框架之间的差距。
• 在颜色数低于 2∆ 的情况下，为正确列表着色实现最优混合时间与浓度界。
• 解决在 (11/6 − ε)∆ 范围内列表着色的谱独立性开放问题，该范围下空间混合与无根区域方法失效。
• 证明即使在无最坏情况收缩的前提下，摊销收敛耦合也蕴含谱独立性。

提出的方法

• 引入 C-摊销收敛耦合的概念，要求随时间推移的期望汉明距离之和可求和，而非依赖单步收缩。
• 应用马尔可夫链的Stein方法，从良好耦合推导谱独立性。
• 使用 [Che+19] 中的可变长度路径耦合作为列表着色翻转动力学的关键技术工具。
• 建立黑箱比较定理：若局部链具有良好耦合且条件链之间差异有界，则上下行随机游走的谱间隙为 n−O(1)。
• 采用一种新颖的耦合构造，追踪汉明距离的演化，并利用停止时间论证来界定期望距离衰减。
• 通过在 (11/6 − ε)∆ 颜色阈值下验证耦合与差异条件，将该框架应用于列表着色。

实验结果

研究问题

• RQ1 局部马尔可夫链的良好耦合是否可在不依赖最坏情况收缩的前提下蕴含谱独立性？
• RQ2 C-摊销收敛耦合的存在是否能为Glauber动力学提供最优谱间隙与对数Sobolev常数？
• RQ3 在 (11/6 − ε)∆ 范围内，是否可为列表着色中的汉明Lipschitz函数建立切尔诺夫型浓度界？
• RQ4 在颜色数低于 2∆ 的列表着色范围内，谱独立性是否可实现，尽管空间混合与无根区域技术失效？
• RQ5 Dobrushin型混合是否在一般情况下蕴含谱独立性？

主要发现

• 本文证明了在有界度图上，当颜色数 q ≥ (11/6 − ε)∆ 时，正确列表着色的Glauber动力学混合时间为 O(n log n)，该结果渐近最优。
• 在Ollis（2009）的曲率条件下，建立了标准与修正对数Sobolev常数的最优下界。
• 该框架在 (11/6 − ε)∆ 范围内为汉明Lipschitz函数提供了切尔诺夫型浓度界，此前尚未知。
• 通过耦合方法证明了Gibbs分布的谱独立性，无需依赖空间混合或无根区域论证。
• 基于耦合的方法即使在链平均仅更新 O(1) 个坐标（而非最坏情况）时，也能实现 O(1) 的谱独立性。
• 该方法提供了一条新的、通用的谱独立性路径，不依赖相关性衰减或生成函数根。