Title: AKLT models on decorated square lattices are gapped

Abstract: Abdul-Rahman et al. in arXiv:1901.09297 provided an elegant approach and proved analytically the existence of nonzero spectral gap for the AKLT models on the decorated honeycomb lattice (for the number $n$ of spin-1 decorated sites on each original edge to be no less than 3). We perform the same calculations for the decorated square lattice and show that the corresponding AKLT models are gapped if $n\ge 4$. Furthermore, using the results from both the decorated honeycomb and square lattice, we also show analytically that a family of decorated hybrid AKLT models, whose original lattice is of mixed vertex degrees 3 and 4, are also gapped for $n\ge 4$. Our numerical results further improve the nonzero gap to $n\ge 2$.