Fast Sampling via Spectral Independence Beyond Bounded-Degree Graphs

Authors Ivona Bezáková, Andreas Galanis, Leslie Ann Goldberg, Daniel Štefankovič



PDF
Thumbnail PDF

File

LIPIcs.ICALP.2022.21.pdf
  • Filesize: 0.75 MB
  • 16 pages

Document Identifiers

Author Details

Ivona Bezáková
  • Department of Computer Science, Rochester Institute of Technology, NY, USA
Andreas Galanis
  • Department of Computer Science, University of Oxford, UK
Leslie Ann Goldberg
  • Department of Computer Science, University of Oxford, UK
Daniel Štefankovič
  • Department of Computer Science, University of Rochester, Rochester, NY, USA

Cite AsGet BibTex

Ivona Bezáková, Andreas Galanis, Leslie Ann Goldberg, and Daniel Štefankovič. Fast Sampling via Spectral Independence Beyond Bounded-Degree Graphs. In 49th International Colloquium on Automata, Languages, and Programming (ICALP 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 229, pp. 21:1-21:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
https://doi.org/10.4230/LIPIcs.ICALP.2022.21

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, 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.

Subject Classification

ACM Subject Classification
  • Theory of computation → Graph algorithms analysis
  • Theory of computation → Random walks and Markov chains
Keywords
  • Hard-core model
  • Random graphs
  • Markov chains

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. V. L. Alev and L. C. Lau. Improved analysis of higher order random walks and applications. In Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing, STOC 2020, pages 1198-1211, 2020. Google Scholar
  2. N. Anari, K. Liu, and S. Oveis Gharan. Spectral independence in high-dimensional expanders and applications to the hardcore model. In Proceedings of the 61st Annual Symposium on Foundations of Computer Science (FOCS), pages 1319-1330, 2020. Google Scholar
  3. I. Bezáková, A. Galanis, L. A. Goldberg, and D. Štefankovič. The complexity of approximating the matching polynomial in the complex plane. ACM Trans. Comput. Theory, 13(2), 2021. Google Scholar
  4. A. Blanca and R. Gheissari. Sampling from Potts on random graphs of unbounded degree via random-cluster dynamics. CoRR, abs/2107.10246, 2021. Google Scholar
  5. X. Chen, W. Feng, Y. Yin, and X. Zhang. Rapid mixing of Glauber dynamics via spectral independence for all degrees. CoRR, abs/2105.15005, 2021. URL: http://arxiv.org/abs/2105.15005.
  6. Z. Chen. Optimal Mixing of Markov Chains for Spin Systems via Spectral Independence. PhD thesis, Georgia Institute of Technology, 2021. Google Scholar
  7. Z. Chen, K. Liu, and E. Vigoda. Rapid mixing of Glauber dynamics up to uniqueness via contraction. In Proceedings of the 61st Annual Symposium on Foundations of Computer Science (FOCS), pages 1307-1318, 2020. Full version at URL: https://arxiv.org/abs/2004.09083.
  8. Z. Chen, K. Liu, and E. Vigoda. Optimal mixing of Glauber dynamics: Entropy factorization via high-dimensional expansion. In Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing, STOC 2021, pages 1537-1550, 2021. Full version at URL: https://arxiv.org/abs/2011.02075.
  9. I. Dinur and T. Kaufman. High dimensional expanders imply agreement expanders. In 58th Annual IEEE Symposium on Foundations of Computer Science - FOCS 2017, pages 974-985. IEEE Computer Soc., Los Alamitos, CA, 2017. URL: https://doi.org/10.1109/FOCS.2017.94.
  10. C. Efthymiou. MCMC sampling colourings and independent sets of G(n, d/n) near uniqueness threshold. In Proceedings of the Twenty-Fifth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2014, pages 305-316, 2014. Google Scholar
  11. C. Efthymiou, T. P. Hayes, D. Štefankovič, and E. Vigoda. Sampling random colorings of sparse random graphs. In Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2018, pages 1759-1771, 2018. Google Scholar
  12. A. Galanis, Q. Ge, D. Štefankovič, E. Vigoda, and L. Yang. Improved inapproximability results for counting independent sets in the hard-core model. Random Struct. Algorithms, 45(1):78-110, 2014. Google Scholar
  13. A. Galanis, D. Štefankovič, and Eric Vigoda. Inapproximability of the partition function for the antiferromagnetic Ising and hard-core models. Comb. Probab. Comput., 25(4):500-559, 2016. Google Scholar
  14. V. Jain, H. T. Pham, and T. D. Vuong. Spectral independence, coupling with the stationary distribution, and the spectral gap of the Glauber dynamics. CoRR, abs/2105.01201, 2021. URL: http://arxiv.org/abs/2105.01201.
  15. M. Jerrum. Counting, sampling and integrating: algorithms and complexity. Springer Science & Business Media, 2003. Google Scholar
  16. M. Jerrum and A.r Sinclair. Approximating the permanent. SIAM Journal on Computing, 18(6):1149-1178, 1989. Google Scholar
  17. T. Kaufman and D. Mass. High dimensional random walks and colorful expansion. In 8th Innovations in Theoretical Computer Science Conference, volume 67 of LIPIcs. Leibniz Int. Proc. Inform., pages Art. No. 4, 27. Schloss Dagstuhl. Leibniz-Zent. Inform., Wadern, 2017. Google Scholar
  18. T. Kaufman and I. Oppenheim. High order random walks: beyond spectral gap. Combinatorica, 40(2):245-281, 2020. URL: https://doi.org/10.1007/s00493-019-3847-0.
  19. L.Li, P. Lu, and Y. Yin. Correlation decay up to uniqueness in spin dystems. In Proceedings of the 24th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2013, pages 67-84, 2013. Google Scholar
  20. E. Mossel and A. Sly. Exact thresholds for Ising–Gibbs samplers on general graphs. The Annals of Probability, 41(1):294-328, 2013. URL: https://doi.org/10.1214/11-AOP737.
  21. I. Oppenheim. Local spectral expansion approach to high dimensional expanders Part I: Descent of spectral gaps. Discrete Comput. Geom., 59(2):293-330, 2018. URL: https://doi.org/10.1007/s00454-017-9948-x.
  22. V. Patel and G. Regts. Deterministic polynomial-time approximation algorithms for partition functions and graph polynomials. SIAM J. Comput., 46(6):1893-1919, 2017. Google Scholar
  23. H. Peters and G. Regts. On a conjecture of Sokal concerning roots of the independence polynomial. Michigan Mathematical Journal, 68(1):33-55, 2019. Google Scholar
  24. A. Sinclair, P. Srivastava, D. Štefankovič, and Y. Yin. Spatial mixing and the connective constant: optimal bounds. Probability Theory and Related Fields, 168(1):153-197, 2017. Google Scholar
  25. A. Sinclair, P. Srivastava, and M. Thurley. Approximation algorithms for two-state anti-ferromagnetic spin systems on bounded degree graphs. In Proceedings of the Twenty-Third Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2012, pages 941-953, 2012. Google Scholar
  26. A. Sinclair, P. Srivastava, and Y. Yin. Spatial mixing and approximation algorithms for graphs with bounded connective constant. In 54th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2013, pages 300-309. IEEE Computer Society, 2013. Google Scholar
  27. A. Sly. Computational transition at the uniqueness threshold. In Proceedings of the 51th Annual IEEE Symposium on Foundations of Computer Science, FOCS '10, pages 287-296, 2010. Google Scholar
  28. A. Sly and N. Sun. The computational hardness of counting in two-spin models on d-regular graphs. In 53rd Annual IEEE Symposium on Foundations of Computer Science, FOCS 2012, pages 361-369, 2012. Google Scholar
  29. D. Weitz. Counting independent sets up to the tree threshold. In Proceedings of the 38th Annual ACM Symposium on Theory of Computing, STOC '06, pages 140-149, 2006. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail