Fast Sampling via Spectral Independence Beyond Bounded-degree Graphs
Open Access
- 22 January 2024
- journal article
- research article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Algorithms
- Vol. 20 (1) , 1-26
Abstract
Spectral independence is a recently developed framework for obtaining sharp bounds on the convergence time of the classical Glauber dynamics. This new framework has yielded optimal O(n log n) sampling algorithms on bounded-degree graphs for a large class of problems throughout the so-called uniqueness regime, including, for example, the problems of sampling independent sets, matchings, and Ising-model configurations. Our main contribution is to relax the bounded-degree assumption that has so far been important in establishing and applying spectral independence. Previous methods for avoiding degree bounds rely on using L p -norms to analyse contraction on graphs with bounded connective constant (Sinclair, Srivastava, and Yin, FOCS’13). The non-linearity of L p -norms is an obstacle to applying these results to bound spectral independence. Our solution is to capture the L p -analysis recursively by amortising over the subtrees of the recurrence used to analyse contraction. Our method generalises previous analyses that applied only to bounded-degree graphs. As a main application of our techniques, we consider the random graph G (n, d/n) , where the previously known algorithms run in time n O (log d ) or applied only to large d . We refine these algorithmic bounds significantly, and develop fast nearly linear algorithms based on Glauber dynamics that apply to all constant d , throughout the uniqueness regime.Keywords
All Related Versions
Funding Information
- NSF (DUE-1819546, and CCF-2007287)
This publication has 30 references indexed in Scilit:
- MCMC sampling colourings and independent sets of G(n, d/n) near uniqueness threshold2013
- Spatial Mixing and Approximation Algorithms for Graphs with Bounded Connective Constant2013
- Exact thresholds for Ising–Gibbs samplers on general graphsThe Annals of Probability, 2013
- Improved inapproximability results for counting independent sets in the hard‐core modelRandom Structures & Algorithms, 2012
- The Computational Hardness of Counting in Two-Spin Models on d-Regular Graphs2012
- Approximation algorithms for two-state anti-ferromagnetic spin systems on bounded degree graphs2012
- Counting independent sets up to the tree threshold2006
- The Repulsive Lattice Gas, the Independent-Set Polynomial, and the Lov sz Local LemmaJournal of Statistical Physics, 2005
- Glauber dynamics on trees and hyperbolic graphsProbability Theory and Related Fields, 2004
- Approximating the PermanentSIAM Journal on Computing, 1989