Computational thresholds for the fixed-magnetization Ising model
share
The ferromagnetic Ising model is a model of a magnetic material and a central topic in statistical physics. It also plays a starring role in the algorithmic study of approximate counting: approximating the partition function of the ferromagnetic Ising model with uniform external field is tractable at all temperatures and on all graphs, due to the randomized algorithm of Jerrum and Sinclair. Here we show that hidden inside the model are hard computational problems. For the class of bounded-degree graphs we find computational thresholds for the approximate counting and sampling problems for the ferromagnetic Ising model at fixed magnetization (that is, fixing the number of +1 and -1 spins). In particular, letting β_c(Δ) denote the critical inverse temperature of the zero-field Ising model on the infinite Δ-regular tree, and η_Δ,β,1^+ denote the mean magnetization of the zero-field + measure on the infinite Δ-regular tree at inverse temperature β, we prove, for the class of graphs of maximum degree Δ: 1. For β < β_c(Δ) there is an FPRAS and efficient sampling scheme for the fixed-magnetization Ising model for all magnetizations η. 2. For β > β_c(Δ), there is an FPRAS and efficient sampling scheme for the fixed-magnetization Ising model for magnetizations η such that |η| >η_Δ,β,1^+. 3. For β > β_c(Δ), there is no FPRAS for the fixed-magnetization Ising model for magnetizations η such that |η| <η_Δ,β,1^+ unless NP=RP.
READ FULL TEXT