Correlation decay and the absence of zeros property of partition functions

From MaRDI portal
(Redirected from Publication:6077053)



Abstract: Absence of (complex) zeros property is at the heart of the interpolation method developed by Barvinok cite{barvinok2017combinatorics} for designing deterministic approximation algorithms for various graph counting and computing partition functions problems. Earlier methods for solving the same problem include the one based on the correlation decay property. Remarkably, the classes of graphs for which the two methods apply sometimes coincide or nearly coincide. In this paper we show that this is more than just a coincidence. We establish that if the interpolation method is valid for a family of graphs satisfying the self-reducibility property, then this family exhibits a form of correlation decay property which is asymptotic Strong Spatial Mixing (SSM) at distances omega(logn), where n is the number of nodes of the graph. This applies in particular to amenable graphs, such as graphs which are finite subsets of lattices. Our proof is based on a certain graph polynomial representation of the associated partition function. This representation is at the heart of the design of the polynomial time algorithms underlying the interpolation method itself. We conjecture that our result holds for all, and not just amenable graphs.




Cites work









This page was built for publication: Correlation decay and the absence of zeros property of partition functions

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