Motion of Lee-Yang zeros

TL;DR

This paper studies the behavior of Lee-Yang zeros of the Ising model's partition function, proving their local motion properties and monotonicity in specific models like the Curie-Weiss case.

Contribution

It establishes the local disjointness of zero trajectories and proves monotonicity of principal zeros in the Curie-Weiss model.

Findings

Zeros' trajectories are disjoint and local.

Principal zeros decrease strictly with interaction strength in the Curie-Weiss model.

Monotonicity of zeros in the ferromagnetic Ising model.

Abstract

We consider the zeros of the partition function of the Ising model with ferromagnetic pair interactions and complex external field. Under the assumption that the graph with strictly positive interactions is connected, we vary the interaction (denoted by $t$) at a fixed edge. It is already known that each zero is monotonic (either increasing or decreasing) in $t$; we prove that its motion is local: the entire trajectories of any two distinct zeros are disjoint. If the underlying graph is a complete graph and all interactions take the same value $t\geq 0$ (i.e., the Curie-Weiss model), we prove that all the principal zeros (those in $i[0,\pi/2)$) decrease strictly in $t$.