[论文解读] Counting Perfect Matchings and the Eight-Vertex Model

Jin‐Yi Cai, Tianyu Liu|arXiv (Cornell University)|Apr 23, 2019

Markov Chains and Monte Carlo Methods参考文献 17被引用 3

一句话总结

本文建立了4-正则图上八顶点模型与近似计数完美匹配问题之间的首次近似复杂度等价性。通过引入一个新颖的几何引理和保持近似的约化，证明了在参数空间的新区域内，计算划分函数的难度与近似计数问题等价，并对箭头反转对称性下的非负四元匹配门给出了完整刻画。

ABSTRACT

We study the approximation complexity of the partition function of the eight-vertex model on general 4-regular graphs. For the first time, we relate the approximability of the eight-vertex model to the complexity of approximately counting perfect matchings, a central open problem in this field. Our results extend those in arXiv:1811.03126 [cs.CC]. In a region of the parameter space where no previous approximation complexity was known, we show that approximating the partition function is at least as hard as approximately counting perfect matchings via approximation-preserving reductions. In another region of the parameter space which is larger than the previously known FPRASable region, we show that computing the partition function can be reduced to (with or without approximation) counting perfect matchings. Moreover, we give a complete characterization of nonnegatively weighted (not necessarily planar) 4-ary matchgates, which has been open for several years. The key ingredient of our proof is a geometric lemma. We also identify a region of the parameter space where approximating the partition function on planar 4-regular graphs is feasible but on general 4-regular graphs is equivalent to approximately counting perfect matchings. To our best knowledge, these are the first problems of this kind.

研究动机与目标

• 对4-正则图上八顶点模型的近似复杂度进行分类，特别是在此前无相关结果的区域。
• 建立八顶点模型可近似性的连接与近似计数完美匹配这一核心开放问题之间的关系。
• 对在箭头反转对称性下具有非负权重的四元匹配门提供完整刻画，解决一个长期存在的开放问题。
• 识别出在平面4-正则图上划分函数可近似，但在一般图上等价于近似完美匹配计数的区域。

提出的方法

• 引入一个几何引理，以分析平移四面体的闵可夫斯基和及其对参数空间的覆盖。
• 采用保持近似的约化，将八顶点模型的划分函数与近似计数完美匹配问题联系起来。
• 使用具有矩阵表示 M(f) 的四元匹配门约束函数来建模局部构型，并推导出属于集合 E≤2 的不等式。
• 应用保持权重且单射的映射 μ 在完美匹配集合之间，以证明匹配门可实现性的必要不等式。
• 利用 DO、d-SUM 和 SQ-SUM 等集合分析参数空间结构，以识别可解与困难区域。
• 利用对称性以及沿单纯形 (V) 的边对平移权重区域 (W) 进行平行移动，以覆盖整个参数空间。

实验结果

研究问题

• RQ1 在八顶点模型的参数空间的哪些区域中，近似划分函数的难度与近似计数完美匹配问题相当？
• RQ2 在已知的FPRAS可计算区域之外，是否能通过保持近似的约化将八顶点模型的划分函数约化为完美匹配计数？
• RQ3 在箭头反转对称性下，非负权重四元匹配门的完整刻画是什么？
• RQ4 是否存在一个区域，使得八顶点模型在平面4-正则图上可近似，但在一般4-正则图上等价于近似完美匹配计数？
• RQ5 如何利用几何技术通过平移四面体和射线覆盖八顶点模型的整个参数空间？

主要发现

• 本文证明了在参数空间的新区域内，近似八顶点模型划分函数的难度至少与近似计数完美匹配问题相当，扩展了先前的结果。
• 本文确立了在比先前已知的FPRAS可计算区域更大的区域内，计算划分函数可约化为（无论是否保持近似）完美匹配计数问题。
• 提供了对非负权重四元匹配门的完整刻画，表明此类匹配门属于 E≤2，其条件为对角权重乘积受非对角对乘积之和的限制。
• 本文识别出一个区域，使得八顶点模型在平面4-正则图上可近似，但在一般4-正则图上等价于近似完美匹配计数。
• 几何引理使得通过沿单纯形 V 的边界滑动四面体 W 的平移副本，并辅以 (1,1,1) 方向的射线，实现了对整个参数空间的完全覆盖。
• 保持权重的单射 μ 在匹配集之间成立，证明了不等式 𝑎1𝑎2 ≤ 𝑏1𝑏2 + 𝑐1𝑐2 + 𝑑1𝑑2，这是四元匹配门在箭头反转对称性下可实现的必要条件。