Current browse context:
math.PR
Change to browse by:
References & Citations
Mathematics > Probability
Title: More on zeros and approximation of the Ising partition function
(Submitted on 22 May 2020 (this version), latest version 10 May 2021 (v3))
Abstract: We consider the problem of computing $\sum_x e^{f(x)}$, where $f(x)=\sum_{ij} a_{ij} \xi_i \xi_j + \sum_i b_i \xi_i$ is a real-valued quadratic function and $x=\left(\xi_1, \ldots, \xi_n\right)$ ranges over the Boolean cube $\{-1, 1\}^n$. We prove that for any $\delta >0$, fixed in advance, the value of $\sum_x e^{f(x)}$ can be approximated within relative error $0 < \epsilon < 1$ is quasi-polynomial $n^{O(\ln n - \ln \epsilon)}$ time, as long as $\sum_j |a_{ij}| \leq 1-\delta$ for all $i$. We apply the method of polynomial interpolation, for which we prove that $\sum_x e^{f(x)} \ne 0$ for complex $a_{ij}$ and $b_i$ such that $\sum_j |\Re\thinspace a_{ij}| \leq 1-\delta$, $\sum_j |\Im\thinspace a_{ij}| \leq \delta^2/10$ and $|\Im\thinspace b_i| \leq \delta^2/10$ for all $i$, which is interpreted as the absence of a phase transition in the Lee - Yang sense in the corresponding Ising model. The bounds are asymptotically optimal. The novel feature of the bounds is that they control the total interaction of each vertex but not every pairwise interaction.
Submission history
From: Alexander Barvinok [view email][v1] Fri, 22 May 2020 15:22:10 GMT (11kb)
[v2] Wed, 27 May 2020 13:29:37 GMT (14kb)
[v3] Mon, 10 May 2021 15:12:52 GMT (15kb)
Link back to: arXiv, form interface, contact.