Spectral Bounds for the Ising Ferromagnet on an Arbitrary Given Graph

Alaa Saade (1) , Florent Krzakala (1) , Lenka Zdeborová (2)

1 LPS - Laboratoire de Physique Statistique de l'ENS
2 IPHT - Institut de Physique Théorique - UMR CNRS 3681

We revisit classical bounds of M. E. Fisher on the ferromagnetic Ising model, and show how to efficiently use them on an arbitrary given graph to rigorously upper-bound the partition function, magnetizations, and correlations. The results are valid on any finite graph, with arbitrary topology and arbitrary positive couplings and fields. Our results are based on high temperature expansions of the aforementioned quantities, and are expressed in terms of two related linear operators: the non-backtracking operator and the Bethe Hessian. As a by-product, we show that in a well-defined high-temperature region, the susceptibility propagation algorithm converges and provides an upper bound on the true spin-spin correlations.

Keywords: Cond-mat; Mathematic; math-ph

Domains: Mathematical Physics [math-ph]

Alaa Saade, Florent Krzakala, Lenka Zdeborová. Spectral Bounds for the Ising Ferromagnet on an Arbitrary Given Graph. 2017. ⟨cea-01448128⟩