The complexity of approximating the complex-valued Ising model on bounded degree graphs

DOI10.1137/21M1454043arXiv2105.00287MaRDI QIDQ6366603FDOQ6366603

Authors: Andreas Galanis, Leslie Ann Goldberg, Andrés Herrera-Poyatos 

Publication date: 1 May 2021

Abstract: We study the complexity of approximating the partition function $$ of the Ising model in terms of the relation between the edge interaction $$ and a parameter $Delta$ which is an upper bound on the maximum degree of the input graph $G$. Following recent trends in both statistical physics and algorithmic research, we allow the edge interaction $$ to be any complex number. Many recent partition function results focus on complex parameters, both because of physical relevance and because of the key role of the complex case in delineating the tractability/intractability phase transition of the approximation problem. In this work we establish both new tractability results and new intractability results. Our tractability results show that $$ has an FPTAS when $$. The core of the proof is showing that there are no inputs~$G$ that make the partition function $0$ when $$ is in this range. Our result significantly extends the known zero-free region of the Ising model (and hence the known approximation results). Our intractability results show that it is $$-hard to multiplicatively approximate the norm and to additively approximate the argument of $$ when $$ is an algebraic number such that $$ and $$. These are the first results to show intractability of approximating $$ on bounded degree graphs with complex $$. Moreover, we demonstrate situations in which zeros of the partition function imply hardness of approximation in the Ising model.

Mathematics Subject Classification ID

Combinatorics in computer science (68R05)

This page was built for publication: The complexity of approximating the complex-valued Ising model on bounded degree graphs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6366603)