English

On the dependence of the zero-free region of a partition function on the external field

Mathematical Physics 2026-08-04 v1 Combinatorics Probability

Abstract

Let {0,1}n\{0, 1\}^n be the Boolean cube, endowed with the probability product measure, where P(1)=p{\Bbb P}(1)=p and P(0)=q{\Bbb P}(0)=q with 0<pq=1p0 < p \leq q=1-p. Let ϕi:{0,1}nC\phi_i: \{0, 1\}^n \longrightarrow {\Bbb C} be 11-Lipschitz functions in the Hamming metric, such that each ϕi\phi_i depends on at most rr coordinates of x{0,1}nx \in \{0, 1\}^n, where rp12rp \geq 12. For j=1,,nj=1, \ldots, n, let IjI_j be the set of indices ii such that ϕi\phi_i depends on the jj-th coordinate. We prove that Eexp{i=1mλiϕi}0E\thinspace \exp\left\{ \sum_{i=1}^m \lambda_i \phi_i \right\} \ne 0 provided λiC\lambda_i \in {\Bbb C} satisfy iIjλi110rp\sum_{i \in I_j} |\lambda_i| \leq {1 \over 10 \sqrt{rp}} for all jj. This translates into a regime for ±1\pm 1 spin systems, where a linear increase in the energy of multi-spin interactions requires only a logarithmic increase of the external field to keep the partition function zero-free and the system away from the phase transition.

Keywords

Cite

@article{arxiv.2608.03687,
  title  = {On the dependence of the zero-free region of a partition function on the external field},
  author = {Alexander Barvinok},
  journal= {arXiv preprint arXiv:2608.03687},
  year   = {2026}
}

Comments

24 pages