[论文解读] Approximability of the Six-vertex Model

Jin‐Yi Cai, Tianyu Liu+1 more|arXiv (Cornell University)|Dec 16, 2017

Markov Chains and Monte Carlo Methods被引用 8

一句话总结

本文首次对六-vertex模型的近似复杂度进行了全面分类，表明在相变阈值处存在一个尖锐的二分：根据参数设置，近似划分函数要么属于FPTAS，要么属于#BIS-hard。研究证明，对于非负参数，仅当参数满足特定代数条件（例如在平面图上满足$c^2 = a^2 + b^2$）时，近似才是可 tractable 的，并在非平衡区域证明了#BIS-hard性。

ABSTRACT

In this paper we take the first step toward a classification of the approximation complexity of the six-vertex model, an object of extensive research in statistical physics. Our complexity results conform to the phase transition phenomenon from physics. We show that the approximation complexity of the six-vertex model behaves dramatically differently on the two sides separated by the phase transition threshold. Furthermore, we present structural properties of the six-vertex model on planar graphs for parameter settings that have known relations to the Tutte polynomial $T(G, x, y)$.

研究动机与目标

• 对所有非负参数设置下的六-vertex模型的近似复杂度进行分类。
• 确定可 tractable 与不可 tractable 区域之间的边界，与统计物理中的相变现象相一致。
• 建立六-vertex模型与平面图上Tutte多项式之间的结构联系。
• 通过在平面图上$(a,b,c) = (1,1,2)$处的六-vertex模型解决$T(G;3,3)$近似可计算性方面的开放问题。
• 证明FPTAS仅在特定代数约束下存在，例如在平面图上满足$c^2 = a^2 + b^2$，否则为#BIS-hard。

提出的方法

• 将计数二分图中独立集的#BIS完全问题约化到六-vertex模型的划分函数。
• 构建锁定装置以在约化中模拟约束，确保仅有效配置对划分函数有显著贡献。
• 使用加权配置及对权重和的界，证明当参数适当前提下，锁被破坏的配置的贡献可忽略不计。
• 通过界定配置加权和建立二分：所有锁均激活的配置受$ c^{6 ilde{\kappa}n^3}(\tilde{c}_{\lambda n}\tilde{b}_{\lambda n})^{3s} $的限制，而锁被破坏的配置则被证明呈指数级更小。
• 利用Tutte多项式已知结果，特别是对中位图有$Z(H;1,1,2) = 2T(G;3,3)$，将六-vertex模型与已知复杂度类联系起来。
• 应用马尔可夫链蒙特卡洛技术及快速混合结果（例如Luby-Randall-Sinclair和Randall-Tetali）以阐明复杂度格局。

实验结果

研究问题

• RQ1 对于哪些非负参数设置$(a,b,c)$，六-vertex模型的划分函数可在完全多项式时间内近似？
• RQ2 统计力学中的相变阈值如何对应于六-vertex模型近似中的计算复杂度阈值？
• RQ3 当$c^2 = a^2 + b^2$时，六-vertex模型在平面图上的近似复杂度是什么？
• RQ4 在$(a,b,c) = (1,1,2)$处的六-vertex模型（对应于$T(G;3,3)$）在平面图上是否可近似？
• RQ5 六-vertex模型能否通过约化到#BIS等已知难题，用于对Tutte多项式$T(G;x,y)$的复杂度进行分类？

主要发现

• 六-vertex模型仅当参数在平面图上满足$c^2 = a^2 + b^2$，或$a,b,c$中有一个为零且其余两个相等时，才可在完全多项式时间内近似。
• 对于所有其他非负参数设置，近似划分函数为#BIS-hard，表明除非复杂度类坍缩，否则不存在FPTAS。
• 在$(a,b,c) = (1,1,1)$处，六-vertex模型的划分函数精确计算为#P-hard，且在平面图上仍保持#P-hard。
• 通过模拟约束的锁定装置建立到#BIS-hard的约化，确保仅具有一致锁状态的配置对划分函数有显著贡献。
• 当参数满足$\kappa \gg \lambda \geq 1$时，锁被破坏的配置的贡献小于主项的一半，证明主导配置为所有锁均激活的配置。
• 本文通过证明$T(G;3,3)$在平面图上等价于$(1,1,2)$处的六-vertex模型（为#BIS-hard），解决了该问题的开放复杂度问题，尽管平面情况仍为开放，但已置于明确定义的复杂度类中。