The complexity of approximating averages on bounded-degree graphs

04/20/2020
by   Andreas Galanis, et al.
0

We prove that, unless P=NP, there is no polynomial-time algorithm to approximate within some multiplicative constant the average size of an independent set in graphs of maximum degree 6. This is a special case of a more general result for the hard-core model defined on independent sets weighted by a parameter λ>0. In the general setting, we prove that, unless P=NP, for all Δ≥ 3, all λ>λ_c(Δ), there is no FPTAS which applies to all graphs of maximum degree Δ for computing the average size of the independent set in the Gibbs distribution, where λ_c(Δ) is the critical point for the uniqueness/non-uniqueness phase transition on the Δ-regular tree. Moreover, we prove that for λ in a dense set of this non-uniqueness region the problem is NP-hard to approximate within some constant factor. Our work extends to the antiferromagnetic Ising model and generalizes to all 2-spin antiferromagnetic models, establishing hardness of computing the average magnetization in the tree non-uniqueness region. Previously, Schulman, Sinclair and Srivastava (2015) showed that it is #P-hard to compute the average magnetization exactly, but no hardness of approximation results were known. Hardness results of Sly (2010) and Sly and Sun (2014) for approximating the partition function do not imply hardness of computing averages. The new ingredient in our reduction is an intricate construction of pairs of rooted trees whose marginal distributions at the root agree but their derivatives disagree. The main technical contribution is controlling what marginal distributions and derivatives are achievable and using Cauchy's functional equation to argue existence of the gadgets.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/04/2021

Sampling Colorings and Independent Sets of Random Regular Bipartite Graphs in the Non-Uniqueness Region

For spin systems, such as the q-colorings and independent-set models, ap...
research
06/23/2022

Approximating observables is as hard as counting

We study the computational complexity of estimating local observables fo...
research
11/01/2017

Inapproximability of the independent set polynomial in the complex plane

We study the complexity of approximating the independent set polynomial ...
research
08/02/2021

Approximate counting and sampling via local central limit theorems

We give an FPTAS for computing the number of matchings of size k in a gr...
research
10/13/2018

Computing the partition function of the Sherrington-Kirkpatrick model is hard on average

We consider the algorithmic problem of computing the partition function ...
research
12/31/2012

Bethe Bounds and Approximating the Global Optimum

Inference in general Markov random fields (MRFs) is NP-hard, though iden...
research
07/19/2021

Algorithms for general hard-constraint point processes via discretization

We study a general model for continuous spin systems with hard-core inte...

Please sign up or login with your details

Forgot password? Click here to reset