[論文レビュー] 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ダイナミクスのスペクトルギャップに対する新たな下界を確立し、サンプリングおよび分配関数の近似における混合時間の高速化を可能にした。この手法により、均一なランダムなスパニングツリーのサンプリング、三角形を含まないグラフにおけるproperな彩色、ハードコアモデルの分配関数近似において、従来の手法に比べて顕著に高速化されたランタイムバウンドを達成した。

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スピン系における混合時間解析に、従来のカップリング手法が失敗する重要なギャップを埋めること。
• 定常分布とのカップリング技術の制限を超える、新たなスレクトルギャップ下界を確立すること。
• 主要な統計物理学的モデルにおける近似サンプリングおよび分配関数近似のランタイムを改善すること。
• スパarsなランダムグラフにおける均一なランダムマッチングのサンプリングおよび三角形を含まないグラフにおけるproperな彩色のためのより高速なアルゴリズムを達成すること。
• マコフ連鎖解析における高次元拡張子の文脈で、スペクトル独立性および分散収縮技術を統合・拡張すること。

提案手法

• 順序-(r,s)のグローバル分散収縮を用いたGlauberダイナミクスのスレクトルギャップを評価する新規フレームワークを導入すること。
• 局所的分散収縮と局所的スペクトル拡張の等価性を確立し、スペクトル独立性と分散の減衰を結びつけること。
• 条件付き期待値のレベルごとの分散減衰に関する再帰的不等式を導出する。この際、スペクトル独立性パラメータから導かれるαkに基づく収縮率を用いる。
• 3つの主要なモデル（properな彩色、ハードコアモデル、モノマー・ダイマー・モデル）にこのフレームワークを適用すること。
• 適応的シミュレーテッド・アンネーリングと組み合わせて、分配関数近似におけるほぼ線形の混合時間（˜Oδ(n)）を達成すること。
• スペクトル独立性が局所的スペクトル拡張を意味することを活用し、グローバル分散収縮率を評価すること。

実験結果

リサーチクエスチョン

• RQ1 定常分布とのカップリングに起因する制限を克服できる、新たなスレクトルギャップ下界を導出可能か？
• RQ2 高最大次数Δを持つqスピン系において、新規の分散収縮フレームワークがGlauberダイナミクスの混合速度を向上させられるか？
• RQ3 改善されたスレクトルギャップ下界により、スパースなランダムグラフにおけるランダムスパニングツリーのサンプリングに、サブキュービック時間のアルゴリズムが可能か？
• RQ4 本手法により、従来のgirthや次数の制限を超えて、properな彩色およびハードコアモデルのサンプリングに関する先行結果をどの程度まで拡張可能か？
• RQ5 新規のスレクトルギャップ下界を用いることで、混合時間および分配関数近似のランタイムにどの程度の定量的改善が得られるか？

主な発見

• 最大次数Δ≥3の三角形を含まないグラフにおいて、k≥(1.763⋯+δ)Δ色を用いたproperなk彩色に対して、Glauberダイナミクスのスレクトルギャップは˜Ωδ(|V|−1)である。これは、従来の結果がgirth≥5またはΔが有界である必要があったのに対し、より強い結果を達成した。
• 次数Δ≥3でgirth≥6の正則グラフにおいて、活性度λ≤(1−δ)λc(∆)のハードコアモデルの分配関数は、(1+ε)-要因内に˜Oδ(n²ε⁻²)時間で近似可能であり、従来のgirth≥7を要する結果を上回った。
• d=O(1)の二項ランダムグラフG(n,d/n)において、高確率でO_d(n²+o(1))時間でほぼ一様なランダムマッチングがサンプリング可能であり、従来の˜O_d(n³)の境界を改善した。
• 新規のスレクトルギャップ下界は、新規のグローバル分散収縮フレームワークを用いて導出された。このフレームワークにより、(C,η)-スペクトル独立性が、αk=1−min(η,C/(n−k−1))/(1+min(η,C/(n−k−1)))に依存する順序-(r,s)グローバル分散収縮を意味することが示された。
• 本手法により、ウォームスタート条件下でほぼ線形の混合時間˜Oδ(n)を達成し、適応的シミュレーテッド・アンネーリングを用いた分配関数近似において、˜Oδ(n) × n × poly(log n) × ε⁻² log(ε⁻¹)のランタイムを実現した。
• フレームワークはスペクトル独立性と分散収縮を統合し、局所的分散収縮が局所的スペクトル拡張と等価であり、両者がスペクトル独立性によって示唆されることを示した。