[论文解读] The complexity of approximating complex-valued Ising and Tutte partition functions

Leslie Ann Goldberg, Heng Guo|arXiv (Cornell University)|Sep 19, 2014

Quantum Computing Algorithms and Architecture被引用 9

一句话总结

本文使用组合方法而非量子计算，对复参数下的伊辛模型和图 Tutte 分区函数提供了完整的复杂性分类。它证明了大多数参数值下该问题为 #P-难，并确定了精确的多项式时间可解情形，特别是当参数为单位根时，解决了近似计数与复杂性理论领域长期存在的开放问题。

ABSTRACT

We study the complexity of approximately evaluating the Ising and Tutte partition functions with complex parameters. Our results are partly motivated by the study of the quantum complexity classes BQP and IQP. Recent results show how to encode quantum computations as evaluations of classical partition functions. These results rely on interesting and deep results about quantum computation in order to obtain hardness results about the difficulty of (classically) evaluating the partition functions for certain fixed parameters. The motivation for this paper is to study more comprehensively the complexity of (classically) approximating the Ising and Tutte partition functions with complex parameters. Partition functions are combinatorial in nature and quantifying their approximation complexity does not require a detailed understanding of quantum computation. Using combinatorial arguments, we give the first full classification of the complexity of multiplicatively approximating the norm and additively approximating the argument of the Ising partition function for complex edge interactions (as well as of approximating the partition function according to a natural complex metric). We also study the norm approximation problem in the presence of external fields, for which we give a complete dichotomy when the parameters are roots of unity. Previous results were known just for a few such points, and we strengthen these results from BQP-hardness to #P-hardness. Moreover, we show that computing the sign of the Tutte polynomial is #P-hard at certain points related to the simulation of BQP. Using our classifications, we then revisit the connections to quantum computation, drawing conclusions that are a little different from (and incomparable to) ones in the quantum literature, but along similar lines.

研究动机与目标

• 全面分类复参数下伊辛和 Tutte 分区函数近似问题的复杂性，且不依赖于量子计算。
• 解决复边相互作用下近似伊辛分区函数模长与幅角的开放问题。
• 将先前的 BQP-难结果扩展至特定参数值下的 #P-难性，特别是当参数为单位根时。
• 在参数为单位根且存在外场的情况下，建立模长近似问题的完整二分法。
• 通过纯组合论证重新表述与量子复杂性类（BQP、IQP）的联系，从而获得更紧致的复杂性界。

提出的方法

• 开发一种组合框架，用于分析复值伊辛分区函数的行为，重点关注边相互作用和外场。
• 引入变换函数 $ w(\theta, \theta) $，以分析有效相互作用强度，并判断其是否落在 $(-1, 0)$ 或 $(-\infty, -1)$ 内，从而支持约化技术。
• 运用数论论证于单位根，证明某些参数组合仅在满足特定代数条件时才可能成立，否则导致矛盾。
• 应用约化技术，通过图构造模拟外场和边相互作用，实现在不同参数集之间的难易度传递。
• 使用幂提升与抵消技术操纵外场（例如将 $ z $ 提升至幂 $ r $），以实现期望的相互作用强度。
• 结合先前工作结果（如引理 17、引理 20）与新引理，建立所有尚未知为可解的参数区域中的难易度。

实验结果

研究问题

• RQ1 对于哪些复参数，伊辛分区函数的模长近似是 #P-难的？
• RQ2 复边相互作用下，伊辛分区函数幅角近似的复杂性如何？
• RQ3 在存在外场时，伊辛和 Tutte 分区函数在何种条件下模长近似是可解的，特别是当参数为单位根时？
• RQ4 能否通过组合方法将特定伊辛参数的 BQP-难结果强化为 #P-难？
• RQ5 近似伊辛和 Tutte 分区函数的复杂性与 BQP、IQP 等量子复杂性类之间有何关系？

主要发现

• 对于所有复边相互作用 $ y $ 和外场 $ z $，伊辛分区函数的模长近似为 #P-难，除非 $ y = \pm 1 $ 或 $ y = \pm i $ 且 $ z \in \{1, -1, i, -i\} $。
• 当 $ y = \pm i $ 且 $ z $ 为不在 $ \{1, -1, i, -i\} $ 中的单位根时，模长近似问题为 #P-难，将先前的 BQP-难结果扩展至更强的复杂性类难。
• 当外场 $ z $ 为单位根时，建立了完整二分法：若 $ z \in \{1, -1, i, -i\} $ 且 $ y = \pm i $，则模长近似可解；否则为 #P-难。
• 本文证明，在与 BQP 模拟相关的某些点上，计算图 Tutte 多项式的符号是 #P-难的，从而强化了先前基于量子的难易度结果。
• 当 $ y = \pm i $ 且 $ z $ 为非平凡单位根时，伊辛模型在模长近似下为 #P-难，尽管此前仅知其为 BQP-难。
• 作者证明，当 $ y = \pm i $ 且 $ z $ 不在 $ \{1, -1, i, -i\} $ 中时，有效相互作用 $ w(\theta, \theta) $ 可被设为实数且位于 $ (-\infty, -1) $，从而可使用幂提升技术约化至已知难问题。