More on zeros and approximation of the Ising partition function

Zeros of polynomials, rational functions, and other analytic functions of one complex variable (e.g., zeros of functions with bounded Dirichlet integral) (30C15) Approximation algorithms (68W25) Analysis of algorithms (68W40) Lattice systems (Ising, dimer, Potts, etc.) and systems on graphs arising in equilibrium statistical mechanics (82B20)

Abstract: We consider the problem of computing the partition function

s u m_{x} e^{f (x)}

, where

f : {- 1, 1}^{n} l o n g r i g h t a r r o w B b b 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 < e p s i l o n < 1

in quasi-polynomial

n^{O (l n n - l n e p s i l o n)}

time if the Lipschitz constant of the non-linear part of

f

with respect to the

e l l^{1}

metric on the Boolean cube does not exceed

1 - d e l t a

, for any

d e l t a > 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

s u m_{x} e^{i l d e f (x)} e 0

for complex-valued polynomials

i l d e f

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.

Recommendations

Cites work

Cited in

(6)

This page was built for publication: More on zeros and approximation of the Ising partition function

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