论文标题
基于模拟退火解决稀疏硬推理问题的算法的限制和性能
Limits and performances of algorithms based on simulated annealing in solving sparse hard inference problems
论文作者
论文摘要
种植的着色问题是一个典型的推理问题,可以通过分析计算贝叶斯最佳算法(例如信仰传播(BP))的阈值。在本文中,我们分析了模拟退火(SA)的限制和性能,这是一种基于蒙特卡洛的算法,比BP更一般,更健壮,因此具有更广泛的适用性。我们表明,SA在恢复种植溶液的恢复中是最佳的,因为它被玻璃状的说明所吸引,相反,它不会影响BP算法。与以前的猜想不同,我们通过比较顺磁相和动态临界温度的旋转点来提出对SA算法阈值的分析估计。这是热力学相变和Glauber动力学的平衡行为之间的基本联系。我们还研究了改进的SA版本,称为Repliced SA(RSA),其中几个弱耦合的复制品被冷却在一起。我们显示了数值证据表明,RSA的算法阈值与贝叶斯最佳阈值一致。最后,我们开发了一个近似的分析理论,该理论解释了RSA的最佳性能,并预测了大量复制品的限制,向植物溶液的过渡的位置。我们的RSA结果支持以下想法:与生成模型相对于先前的参数不匹配可能会产生最佳且非常健壮的算法。
The planted coloring problem is a prototypical inference problem for which thresholds for Bayes optimal algorithms, like Belief Propagation (BP), can be computed analytically. In this paper, we analyze the limits and performances of the Simulated Annealing (SA), a Monte Carlo-based algorithm that is more general and robust than BP, and thus of broader applicability. We show that SA is sub-optimal in the recovery of the planted solution because it gets attracted by glassy states that, instead, do not influence the BP algorithm. At variance with previous conjectures, we propose an analytic estimation for the SA algorithmic threshold by comparing the spinodal point of the paramagnetic phase and the dynamical critical temperature. This is a fundamental connection between thermodynamical phase transitions and out of equilibrium behavior of Glauber dynamics. We also study an improved version of SA, called replicated SA (RSA), where several weakly coupled replicas are cooled down together. We show numerical evidence that the algorithmic threshold for the RSA coincides with the Bayes optimal one. Finally, we develop an approximated analytical theory explaining the optimal performances of RSA and predicting the location of the transition towards the planted solution in the limit of a very large number of replicas. Our results for RSA support the idea that mismatching the parameters in the prior with respect to those of the generative model may produce an algorithm that is optimal and very robust.