# Computing the Independence Polynomial: from the Tree Threshold down to the Roots

@inproceedings{Harvey2016ComputingTI,
title={Computing the Independence Polynomial: from the Tree Threshold down to the Roots},
author={Nicholas J. A. Harvey and Piyush Srivastava and Jan Vondr{\'a}k},
booktitle={ACM-SIAM Symposium on Discrete Algorithms},
year={2016}
}
• Published in
ACM-SIAM Symposium on…
7 August 2016
• Mathematics, Computer Science
We study an algorithm for approximating the multivariate independence polynomial Z(z), with negative and complex arguments. While the focus so far has been mostly on computing combinatorial polynomials restricted to the univariate positive setting (with seminal results for the independence polynomial by Weitz (2006) and Sly (2010)), the independence polynomial with negative or complex arguments has strong connections to combinatorics and to statistical physics. The independence polynomial with…

## Figures from this paper

• Mathematics
ArXiv
• 2022
We study the locations of complex zeroes of independence polynomials of bounded degree hypergraphs. For graphs, this is a long-studied subject with applications to statistical physics, algorithms,
• Mathematics
SODA
• 2023
It is known from the work of Shearer (1985) (and also Scott and Sokal (2005)) that the independence polynomial $Z_G(\lambda)$ of a graph $G$ of maximum degree at most $d+1$ does not vanish provided
• Mathematics
2020 IEEE 61st Annual Symposium on Foundations of Computer Science (FOCS)
• 2020
It is shown that natural Glauber dynamics mixes rapidly (in polynomial time) to generate a random independent set from the hardcore model up to the uniqueness threshold, improving the quasi-polynomial running time of Weitz's deterministic correlation decay algorithm.
• D. Gamarnik
• Mathematics, Computer Science
Random Struct. Algorithms
• 2023
It is established that if the interpolation method developed by Barvinok is valid for a family of graphs, then this family exhibits a form of the correlation decay property which is asymptotic strong spatial mixing at superlogarithmic distances.
• Mathematics
ICALP
• 2019
This work shows that for positive real $\gamma$ it is possible to approximate the value of the matching polynomial using a correlation decay algorithm on graphs with bounded connective constant (and potentially unbounded maximum degree) and explores whether the maximum degree parameter can be replaced by the connective Constant.
An algorithm to approximately count the number of solutions to a CNF formula Φ when the width is logarithmic in the maximum degree is introduced, which closes an exponential gap between the known upper and lower bounds.
An algorithm to approximately count the number of solutions to a CNF formula Ф when the width is logarithmic in the maximum degree is introduced, which closes an exponential gap between the known upper and lower bounds.
• Mathematics
STOC
• 2018
The main result shows that for every λ outside of ΛΔ, the problem of approximating ZG(λ) on graphs G with maximum degree at most Δ is indeed NP-hard, and on the negative real axis, it is #P-hard to even decide whether ZG (λ)>0, resolving in the affirmative a conjecture of Harvey, Srivastava and Vondrak.
• Mathematics
Journal of Statistical Physics
• 2021
This work introduces the contraction property as a unified sufficient condition to devise FPTAS via either Weitz's algorithm or Barvinok's algorithm and shows the existence of correlation decay in these regions based on the zero-freeness of the partition function.

## References

SHOWING 1-10 OF 56 REFERENCES

• Mathematics, Computer Science
ArXiv
• 2016
The multivariate independence polynomial is considered, since there is a natural multivariate region of interest -- Shearer's region for the LLL -- and its results extend to graphs of unbounded degree that have a bounded connective constant.
• Mathematics
• 2005
We elucidate the close connection between the repulsive lattice gas in equilibrium statistical mechanics and the Lovász local lemma in probabilistic combinatorics. We show that the conclusion of the
• Mathematics, Computer Science
2013 IEEE 54th Annual Symposium on Foundations of Computer Science
• 2013
It is proved that thehard core model with vertex activity λ <; λc(Δ+1) exhibits strong spatial mixing on any graph of connective constant Δ, irrespective of its maximum degree, and hence an FPTAS is derived for the partition function of the hard core model on such graphs.
• Mathematics
SODA '07
• 2007
The principle insight of the present work is that the correlation decayproperty can be established with respect to certain computation tree, as opposed to the conventional correlation decay property which is typically established withrespect to graph theoretic neighborhoods of a given node.
• Mathematics, Computer Science
Random Struct. Algorithms
• 2014
Sly's inapproximability result is extended by improving upon the technical work of Mossel et al., via a more detailed analysis of independent sets in random regular graphs, which proves torpid mixing of the Glauber dynamics for sampling from the associated Gibbs distribution on almost every regular graph of degree Δ.
• Mathematics, Computer Science
SODA
• 2015
The best possible rates of decay of correlations in the natural probability distributions induced by both the hard core model and the monomer-dimer model in graphs with a given bound on the connective constant are proved.
This paper gives a randomized algorithm that finds a satisfying assignment to every k-CNF formula in which each clause has a neighbourhood of at most the asymptotic optimum of 2(k-5)-1 other clauses and that runs in expected time polynomial in the size of the formula, irrespective of k.
• Mathematics
STOC
• 2014
The first analog of the above inapproximability results for multi-spin systems is presented, and it is proved that for even k, in the tree non-uniqueness region, it is NP-hard, unless NP=RP, to approximate the number of colorings for triangle-free Δ-regular graphs.