previous works have shown that arctic circle phenomenons and limiting behaviors of some integrable discrete systems can be explained by a variational principle. in this talk we will present the first results of the same type for a non-integrable discrete system: graph homomorphisms form $z^d$ to a regular tree. we will also explain how the technique used could be applied to other non-integrable models.