[论文解读] The Complexity of Ferromagnetic Two-spin Systems with External Fields

Jing‐Cheng Liu, Pinyan Lu+1 more|arXiv (Cornell University)|Feb 18, 2014

Markov Chains and Monte Carlo Methods被引用 7

一句话总结

该论文证明，对于除伊辛模型外的铁磁双自旋系统，当外场超过某一阈值时，计算其配分函数为#BIS难问题，即使在均匀外场下也是如此。作者通过保持近似性的约化方法证明了这一点，并利用对数误差界与迭代构造分析递归近似，表明计算困难性恰好在外部场超过临界值时出现，这与伊辛模型的可解性形成对比。

ABSTRACT

We study the approximability of computing the partition function for ferromagnetic two-state spin systems. The remarkable algorithm by Jerrum and Sinclair showed that there is a fully polynomial-time randomized approximation scheme (FPRAS) for the special ferromagnetic Ising model with any given uniform external field. Later, Goldberg and Jerrum proved that it is #BIS-hard for Ising model if we allow inconsistent external fields on different nodes. In contrast to these two results, we prove that for any ferromagnetic two-state spin systems except the Ising model, there exists a threshold for external fields beyond which the problem is #BIS-hard, even if the external field is uniform.

研究动机与目标

• 刻画在具有外部场的铁磁双自旋系统中近似计算配分函数的计算复杂性。
• 解决关于外部场是否在伊辛模型之外引发计算困难相变的开放问题。
• 确定外部场超过某一阈值时问题变为#BIS难的阈值值，即使在均匀场下也成立。
• 将已知的非一致外部场下的困难性结果扩展至非伊辛铁磁系统的均匀场情形。

提出的方法

• 使用保持近似性的约化方法，通过用均匀场模拟任意外部场来证明#BIS难性。
• 采用基于树状结构的递归近似方案，并通过迭代构造外部场值。
• 应用对数误差分析以界定真实与估计配分函数值之间的偏差。
• 引入一个递归函数F(z)来建模正确的配分函数递归关系，并将其与近似版本F̃(z)进行比较。
• 通过深度ℓ的归纳法，证明对数尺度下近似误差的界为O(α^ℓ)。
• 证明所构造的外部场集合的大小以exp(O(ℓ))增长，从而确保在近似参数下为多项式时间复杂度。

实验结果

研究问题

• RQ1 在伊辛模型之外，外部场的存在是否会在铁磁双自旋系统中引发计算相变？
• RQ2 当外部场超过某一阈值时，非伊辛铁磁双自旋系统的配分函数计算是否为#BIS难？
• RQ3 在原本已因非一致场而#BIS难的系统中，均匀外部场是否也能引发#BIS难性？
• RQ4 在非伊辛铁磁系统中，触发计算困难性的外部场的精确阈值是多少？
• RQ5 在对数域中，近似误差如何通过递归构造传播？

主要发现

• 对于任何非伊辛模型的铁磁双自旋系统，存在一个阈值μ₀，使得当外部场μ > μ₀时，问题为#BIS难。
• 该阈值μ₀明确地以β、γ及系统参数表示，其依赖于比值β/γ和图的度数。
• 即使在均匀外部场下，当超过该阈值时问题仍为#BIS难，这与伊辛模型的可解性形成矛盾。
• 对数尺度下的近似误差被界为O(α^ℓ)，其中α = (βγ−1)/(√(βγ)+1) < 1，确保收敛性。
• 所构造的外部场集合的大小以exp(O(ℓ))增长，使得约化高效且适用于FPRAS约化。
• 该证明表明，伊辛模型是唯一在所有外部场下仍保持可解性的铁磁双自旋系统，凸显了其特殊地位。