Abstract:
We consider fertile Hard-Core (HC) models with activity parameter $\lambda>0$ and four states on the Cayley tree of order two. It is known that there are three types of such models. In this paper for each of these models the uniqueness of the translation-invariant Gibbs measure is proved.