More On Zeros And Approximation Of The Ising Partition Function

We consider the problem of computing the partition function Sigma(x) e(f) (x), where f : {-1, 1}(n) -> R is a quadratic or cubic polynomial on the Boolean cube {-1, 1}(n). In the case of a quadratic polynomial f, we show that the partition function can be approximated within relative error 0 < epsilon < 1 in quasi-polynomial n(O()(lnn)(-ln epsilon)) time if the Lipschitz constant of the non-linear part off with respect to the l(1) metric on the Boolean cube does not exceed 1 - delta, for any delta > 0, fixed in advance. For a cubic polynomial f, we get the same result under a somewhat stronger condition. We apply the method of polynomial interpolation, for which we prove that Sigma(x) e(f) over tilde ( (x)) not equal 0 for complex-valued polynomials (f) over tilde in a neighborhood of a real-valued f satisfying the above mentioned conditions. The bounds are asymptotically optimal. Results on the zero-free region are interpreted as the absence of a phase transition in the Lee-Yang sense in the corresponding Ising model. The novel feature of the bounds is that they control the total interaction of each vertex but not every single interaction of sets of vertices.