[论文解读] A complexity dichotomy for partition functions with mixed signs

Leslie Ann Goldberg, Martin Grohe+2 more|ArXiv.org|Apr 11, 2008

Markov Chains and Monte Carlo Methods参考文献 18被引用 5

一句话总结

本文建立了具有混合符号的对称实矩阵定义的划分函数的复杂性二分法，证明了每个此类函数要么可在多项式时间内计算，要么为#P-完全。关键贡献是提出了一个可判定的多项式时间可解性准则，并通过在𝔽₂上的二次型对Hadamard矩阵进行了完整表征。

ABSTRACT

Partition functions, also known as homomorphism functions, form a rich family of graph invariants that contain combinatorial invariants such as the number of k-colourings or the number of independent sets of a graph and also the partition functions of certain "spin glass" models of statistical physics such as the Ising model. Building on earlier work by Dyer, Greenhill and Bulatov, Grohe, we completely classify the computational complexity of partition functions. Our main result is a dichotomy theorem stating that every partition function is either computable in polynomial time or #P-complete. Partition functions are described by symmetric matrices with real entries, and we prove that it is decidable in polynomial time in terms of the matrix whether a given partition function is in polynomial time or #P-complete. While in general it is very complicated to give an explicit algebraic or combinatorial description of the tractable cases, for partition functions described by a Hadamard matrices -- these turn out to be central in our proofs -- we obtain a simple algebraic tractability criterion, which says that the tractable cases are those "representable" by a quadratic polynomial over the field GF(2).

研究动机与目标

• 对由具有混合符号的对称实矩阵定义的划分函数的计算复杂性进行分类。
• 将先前仅限于0-1矩阵或非负矩阵的二分法结果扩展到包含负元素的一般情况。
• 提供一个可判定的多项式时间准则，以确定给定的划分函数是否可解或#P-完全。
• 通过在有限域𝔽₂上的二次型表征Hadamard矩阵的可解情况。
• 在约束满足和图不变量的框架下，建立对可解划分函数的完整代数与组合分类。

提出的方法

• 利用由对称矩阵A ∈ ℝ^m×m定义的同态函数（划分函数）的框架。
• 应用代数与谱技术分析矩阵结构，特别关注Hadamard矩阵及其张量分解。
• 通过二分化引入块分解，并利用矩阵恒等式将求值问题简化为更简单、结构化的子问题。
• 采用矩阵幂的层次结构与迹条件，推导出可解性所需的预均匀性与对角一致性条件（C1–C5）。
• 利用均匀性与矩阵块间符号一致性概念，推导出多项式时间可计算性的必要与充分条件。
• 应用代数图论与Tutte多项式的结果，将划分函数与已知的组合不变量（如流与着色）联系起来。

实验结果

研究问题

• RQ1 对于哪些具有混合符号的对称实矩阵，其关联的划分函数可在多项式时间内计算？
• RQ2 是否存在一个可判定的准则，以确定给定的划分函数是否可解或#P-完全？
• RQ3 Hadamard矩阵的可解情况能否通过代数方式表征，若能，如何实现？
• RQ4 矩阵的结构性质（如对称性、块结构、符号模式）如何决定其关联计数问题的复杂性？
• RQ5 在表征可解划分函数时，基域（如𝔽₂）的作用是什么，特别是在二次型的背景下？

主要发现

• 由对称矩阵A ∈ ℝ_𝔸^m×m定义的每个划分函数，要么可在多项式时间内计算，要么为#P-完全，从而确立了完整的复杂性二分法。
• 基于矩阵A，划分函数的可解性可在多项式时间内判定，扩展了先前针对非负或0-1矩阵的结果。
• 对于Hadamard矩阵，可解情况恰好是那些可在有限域𝔽₂上由二次多项式表示的情形。
• 证明依赖于将矩阵结构分解为块，并推导出确保预均匀性与对角一致性的条件（C1）–（C5）。
• 当且仅当矩阵满足所推导出的代数条件时，求值问题EVAL(A)才可在多项式时间内计算，且这些条件可高效验证。
• 该框架统一并推广了已知的计数同态、着色、独立集与无零流等结果，作为划分函数的特例。