Fast algorithms at low temperatures via Markov chains.pdf (350.43 kB)
Fast algorithms at low temperatures via Markov chains
journal contributionposted on 2023-04-17, 21:49 authored by Z Chen, A Galanis, LA Goldberg, William PerkinsWilliam Perkins, J Stewart, E Vigoda
For spin systems, such as the hard-core model on independent sets weighted by fugacity λ > 0, efficient algorithms for the associated approximate counting/sampling problems typically apply in the high-temperature region, corresponding to low fugacity. Recent work of Jenssen, Keevash and Perkins (2019) yields an FPTAS for approximating the partition function (and an efficient sampling algorithm) on bounded-degree (bipartite) expander graphs for the hard-core model at sufficiently high fugacity, and also the ferromagnetic Potts model at sufficiently low temperatures. Their method is based on using the cluster expansion to obtain a complex zero-free region for the partition function of a polymer model, and then approximating this partition function using the polynomial interpolation method of Barvinok. We present a simple discrete-time Markov chain for abstract polymer models, and present an elementary proof of rapid mixing of this new chain under sufficient decay of the polymer weights. Applying these general polymer results to the hard-core and ferromagnetic Potts models on bounded-degree (bipartite) expander graphs yields fast algorithms with running time O(n log n) for the Potts model and O(n2 log n) for the hard-core model, in contrast to typical running times of nO(log ∆) for algorithms based on Barvinok’s polynomial interpolation method on graphs of maximum degree ∆. In addition, our approach via our polymer model Markov chain is conceptually simpler as it circumvents the zero-free analysis and the generalization to complex parameters. Finally, we combine our results for the hard-core and ferromagnetic Potts models with standard Markov chain comparison tools to obtain polynomial mixing time for the usual spin system Glauber dynamics restricted to even and odd or “red” dominant portions of the respective state spaces.