The aim of the project is to develop several aspects of the theory of Gibbs states and phase transitions of lattice models. Gradient lattice models, where the challenge is to understand the case of non-convex potentials, will be studied by means of multiscale analysis and a refinement of cluster expansions. In particular, we will present a proof of the strict convexity of the free energy and...