Uniqueness of the translation-invariant Gibbs measure for Hard-Core models with four-states on the Cayley tree

Abstract

We consider fertile HC-models with four-states and the parametre activity on a Cayley tree. It is known that three types of such models exist. For each of these models we prove uniqueness of the translation-invarinat Gibbs measure on a Cayley tree of order two.