Local limits of lozenge tilings are stable under bounded boundary height perturbations

Abstract

We show that bounded changes to the boundary of a lozenge tilings do not affect the local behaviour inside the domain. As a consequence we prove the existence of a local limit in all domains with planar boundary. The proof does not rely on any exact solvability of the model beyond its links with uniform spanning trees.