Efficient sampling and counting algorithms for the Potts model on ℤᵈ at all temperatures

For d ≥ 2 and all q≥ q0(d) we give an efficient algorithm to approximately sample from the q-state ferromagnetic Potts and random cluster models on the torus (ℤ / n ℤ )d for any inverse temperature β≥ 0. This stands in contrast to Markov chain mixing time results: the Glauber dynamics mix slowly at and below the critical temperature, and the Swendsen–Wang dynamics mix slowly at the critical temperature. We also provide an efficient algorithm (an FPRAS) for approximating the partition functions of these models. Our algorithms are based on representing the random cluster model as a contour model using Pirogov–Sinai theory, and then computing an accurate approximation of the logarithm of the partition function by inductively truncating the resulting cluster expansion. One important innovation of our approach is an algorithmic treatment of unstable ground states; this is essential for our algorithms to apply to all inverse temperatures β. By treating unstable ground states our work gives a general template for converting probabilistic applications of Pirogov–Sinai theory to efficient algorithms.

[1]  David Preiss,et al.  Cluster expansion for abstract polymer models , 1986 .

[2]  Senya Shlosman,et al.  First-order phase transitions in large entropy lattice models , 1982 .

[3]  Alistair Sinclair,et al.  Random-cluster dynamics in Z 2 , 2016, SODA 2016.

[4]  Ron Peled,et al.  Rigidity of proper colorings of $${\mathbb {Z}}^{d}$$ , 2018, Inventiones mathematicae.

[5]  Alistair Sinclair,et al.  Random-cluster dynamics in $${{\mathrm{\mathbb {Z}}}}^2$$Z2 , 2017 .

[6]  Y. Sinai,et al.  Phase diagrams of classical lattice systems , 1975 .

[7]  Yvan Alain Velenik,et al.  Statistical Mechanics of Lattice Systems: A Concrete Mathematical Introduction , 2017 .

[8]  Will Perkins,et al.  Algorithms for #BIS-hard problems on expander graphs , 2018, SODA.

[9]  Lahoussine Laanait,et al.  Interfaces in the Potts model I: Pirogov-Sinai theory of the Fortuin-Kasteleyn representation , 1991 .

[10]  Tobias Friedrich,et al.  Zeros and approximations of Holant polynomials on the complex plane , 2019, computational complexity.

[11]  H. Kunz,et al.  General properties of polymer systems , 1971 .

[12]  C. Borgs,et al.  A unified approach to phase diagrams in field theory and statistical mechanics , 1989 .

[13]  C. Borgs,et al.  Finite-size scaling for Potts models , 1991 .

[14]  Allan Sly,et al.  Counting in two-spin models on d-regular graphs , 2014 .

[15]  Reza Gheissari,et al.  Quasi‐polynomial mixing of critical two‐dimensional random cluster models , 2019, Random Struct. Algorithms.

[16]  Catherine S. Greenhill,et al.  Mixing of the Glauber dynamics for the ferromagnetic Potts model , 2013, Random Struct. Algorithms.

[17]  RIGIDITY OF PROPER COLORINGS OF Zd , 2018 .

[18]  Eric Vigoda,et al.  Improved Inapproximability Results for Counting Independent Sets in the Hard-Core Model , 2011, APPROX-RANDOM.

[19]  Leslie Ann Goldberg,et al.  Approximating the partition function of the ferromagnetic Potts model , 2010, JACM.

[20]  H. Duminil-Copin Lectures on the Ising and Potts Models on the Hypercubic Lattice , 2017, 1707.00520.

[21]  Christian Borgs,et al.  Tight bounds for mixing of the Swendsen–Wang algorithm at the Potts transition point , 2010, ArXiv.

[22]  Alexander I. Barvinok,et al.  Weighted counting of solutions to sparse systems of equations , 2017, Combinatorics, Probability and Computing.

[23]  Amin Coja-Oghlan,et al.  Algorithmic Barriers from Phase Transitions , 2008, 2008 49th Annual IEEE Symposium on Foundations of Computer Science.

[24]  Cristopher Moore,et al.  Asymptotic analysis of the stochastic block model for modular networks and its algorithmic applications , 2011, Physical review. E, Statistical, nonlinear, and soft matter physics.

[25]  Vincent Tassion,et al.  Sharp phase transition for the random-cluster and Potts models via decision trees , 2017, Annals of Mathematics.

[26]  Andrea Montanari,et al.  Gibbs states and the set of solutions of random constraint satisfaction problems , 2006, Proceedings of the National Academy of Sciences.

[27]  K. Alexander Mixing properties and exponential decay for lattice systems in finite volumes , 2004 .

[28]  F. Martinelli,et al.  For 2-D lattice spin systems weak mixing implies strong mixing , 1994 .

[29]  Reza Gheissari,et al.  Mixing Times of Critical Two‐Dimensional Potts Models , 2018 .

[30]  Will Perkins,et al.  Algorithmic Pirogov–Sinai theory , 2019, Probability Theory and Related Fields.

[31]  Madhu Sudan,et al.  Performance of Sequential Local Algorithms for the Random NAE-K-SAT Problem , 2017, SIAM J. Comput..

[32]  Jiabao Lin,et al.  Counting independent sets and colorings on random regular bipartite graphs , 2019, APPROX-RANDOM.

[33]  Allan Sly,et al.  Computational Transition at the Uniqueness Threshold , 2010, 2010 IEEE 51st Annual Symposium on Foundations of Computer Science.

[34]  Dror Weitz,et al.  Counting independent sets up to the tree threshold , 2006, STOC '06.

[35]  M. Jerrum,et al.  Random cluster dynamics for the Ising model is rapidly mixing , 2016, SODA.

[36]  Eric Vigoda,et al.  Danielštefankovič ‡ , 2022 .

[37]  Alexander I. Barvinok,et al.  Combinatorics and Complexity of Partition Functions , 2017, Algorithms and combinatorics.

[38]  Viresh Patel,et al.  Deterministic polynomial-time approximation algorithms for partition functions and graph polynomials , 2016, Electron. Notes Discret. Math..

[39]  Eric Vigoda,et al.  Fast Algorithms at Low Temperatures via Markov Chains , 2019, APPROX-RANDOM.

[40]  Mario Ullrich,et al.  Comparison of Swendsen‐Wang and heat‐bath dynamics , 2011, Random Struct. Algorithms.

[41]  T. D. Lee,et al.  Statistical Theory of Equations of State and Phase Transitions. II. Lattice Gas and Ising Model , 1952 .

[42]  Will Perkins,et al.  Counting independent sets in unbalanced bipartite graphs , 2020, SODA.

[43]  Mark Jerrum,et al.  Polynomial-Time Approximation Algorithms for the Ising Model , 1990, SIAM J. Comput..

[44]  Eric Vigoda,et al.  Adaptive Simulated Annealing: A Near-optimal Connection between Sampling and Counting , 2006, 48th Annual IEEE Symposium on Foundations of Computer Science (FOCS'07).