Ising-Potts Modeles and Matiyasevich's Theorem on Chromatic and Flow Polynomials

We discuss the combinatorial properties of generalized Ising-Potts models within the framework of Biggs's interaction models. We demonstrate that the partition function of this generalized model satisfies the deletion-contraction relation and can be expressed in terms of Tutte-Grothendieck invariants. By combining these results with an analogue of the high-temperature expansion for the classical Ising model, we provide a sketch of a simple proof of Matiyasevich's theorem on chromatic and flow polynomials. Furthermore, we present a sketch of a proof of the inverse to Matiyasevich's theorem.