[论文解读] Quantum Speedup for Sampling Random Spanning Trees

Vishesh Jain, Huy Tuan Pham+1 more|arXiv (Cornell University)|May 3, 2021

Quantum chaos and dynamical systems参考文献 23被引用 11

一句话总结

本文為 q-自旋系統的 Glauber 擾動過程建立了新的譜間隔下界，進而實現了抽樣與估算分割函數的更快混合時間。透過結合譜獨立性與新型變異數收縮技術，作者在抽樣均勻隨機生成樹、三角形自由圖的正確著色，以及硬核模型分割函數方面，達成了更佳的執行時間界，於關鍵區域顯著優於先前方法。

ABSTRACT

We present a new lower bound on the spectral gap of the Glauber dynamics for the Gibbs distribution of a spectrally independent $q$-spin system on a graph $G = (V,E)$ with maximum degree $Δ$. Notably, for several interesting examples, our bound covers the entire regime of $Δ$ excluded by arguments based on coupling with the stationary distribution. As concrete applications, by combining our new lower bound with known spectral independence computations and known coupling arguments: (1) We show that for a triangle-free graph $G = (V,E)$ with maximum degree $Δ\geq 3$, the Glauber dynamics for the uniform distribution on proper $k$-colorings with $k \geq (1.763\dots + δ)Δ$ colors has spectral gap $ ildeΩ_δ(|V|^{-1})$. Previously, such a result was known either if the girth of $G$ is at least $5$ [Dyer et.~al, FOCS 2004], or under restrictions on $Δ$ [Chen et.~al, STOC 2021; Hayes-Vigoda, FOCS 2003]. (2) We show that for a regular graph $G = (V,E)$ with degree $Δ\geq 3$ and girth at least $6$, and for any $\varepsilon, δ> 0$, the partition function of the hardcore model with fugacity $λ\leq (1-δ)λ_{c}(Δ)$ may be approximated within a $(1+\varepsilon)$-multiplicative factor in time $ ilde{O}_δ(n^{2}\varepsilon^{-2})$. Previously, such a result was known if the girth is at least $7$ [Efthymiou et.~al, SICOMP 2019]. (3) We show for the binomial random graph $G(n,d/n)$ with $d = O(1)$, with high probability, an approximately uniformly random matching may be sampled in time $O_{d}(n^{2+o(1)})$. This improves the corresponding running time of $ ilde{O}_{d}(n^{3})$ due to [Jerrum-Sinclair, SICOMP 1989; Jerrum, 2003].

研究动机与目标

• 彙整 Glauber 擾動過程在 q-自旋系統上混合時間分析中的關鍵缺口，此問題在先前基於耦合的分析方法中無法解決。
• 發展一種新的譜間隔下界，適用於超越靜態分佈耦合技術限制的場景。
• 改善關鍵統計物理模型的近似抽樣與分割函數估算之執行時間。
• 實現抽樣稀疏隨機圖中均勻隨機匹配與三角形自由圖中正確著色的更快演算法。
• 統合並延伸譜獨立性與變異數收縮技術，以應用於馬可夫鏈分析中的高維展平空間。

提出的方法

• 提出一種新框架，利用階-(r,s) 全局變異數收縮來界定 Glauber 擾動過程的譜間隔。
• 建立局部變異數收縮與局部譜擴散之間的等價關係，連結譜獨立性與變異數衰減。
• 推導出條件化層級之間變異數衰減的遞迴不等式，使用由譜獨立性參數導出的 αk-基收縮率。
• 將此框架應用於三個核心模型：正確著色、硬核模型與單體-二聚體模型。
• 結合新譜間隔下界與自適應模擬退火，實現分割函數估算的近乎線性混合時間。
• 利用譜獨立性暗示局部譜擴散的事實，並以此界定全局變異數收縮速率。

实验结果

研究问题

• RQ1 能否推導出一種新的譜間隔下界，以克服 Glauber 擾動過程中基於靜態分佈耦合的限制？
• RQ2 此新變異數收縮框架是否能提升最大度數 ∆ 較高的 q-自旋系統的混合速度？
• RQ3 改進的譜間隔下界是否能導致抽樣稀疏隨機圖中隨機生成樹的亞立方時間演算法？
• RQ4 此新方法在多大程度上可將先前關於正確著色與硬核模型抽樣結果的限制，延伸至超越週長或度數限制的範圍？
• RQ5 使用新譜間隔下界後，混合時間與分割函數估算執行時間的量化改進為何？

主要发现

• 對於最大度數 ∆≥3 的三角形自由圖，當使用 k≥(1.763⋯+δ)∆ 種顏色進行正確著色時，Glauber 擾動過程的譜間隔為 ˜Ωδ(|V|−1)，優於先前結果中需週長 ≥5 或 ∆ 有界的條件。
• 對於度數 ∆≥3 且週長 ≥6 的正則圖，當硬核模型的活度 λ≤(1−δ)λc(∆) 時，可在 ˜Oδ(n²ε⁻²) 時間內以 (1+ε)-因子近似分割函數，優於先前需週長 ≥7 的結果。
• 對於二項式隨機圖 G(n,d/n)，其中 d=O(1)，以高機率可在 Od(n²+o(1)) 時間內抽樣出近乎均勻的隨機匹配，優於先前 ˜Od(n³) 的界。
• 新的譜間隔下界是透過一項新型全局變異數收縮框架推導而出，顯示 (C,η)-譜獨立性可導致階-(r,s) 全局變異數收縮，其收縮速率取決於 αk=1−min(η,C/(n−k−1))/(1+min(η,C/(n−k−1)))。
• 該方法在暖啟動下可達近乎線性混合時間 ˜Oδ(n)，進而透過自適應模擬退火實現高效分割函數估算，執行時間為 ˜Oδ(n) × n × poly(log n) × ε⁻² log(ε⁻¹)。
• 該框架統合了譜獨立性與變異數收縮，顯示局部變異數收縮等價於局部譜擴散，且二者皆由譜獨立性所隱含。