The AKLT spin chain is the prototypical example of a frustration-free quantum spin system with a spectral gap above its ground state. Affleck, Kennedy, Lieb, and Tasaki also conjectured that the two-dimensional version of their model on the hexagonal lattice exhibits a spectral gap. In this paper, we introduce a family of variants of the two-dimensional AKLT model depending on a positive integer n, which is defined by decorating the edges of the hexagonal lattice with one-dimensional AKLT spin chains of length $n$. We prove that these decorated models are gapped for all $n\geq 3$.

We consider the dynamics of the quantum XY chain with disorder under the general assumption that the expectation of the eigenfunction correlator of the associated one-particle Hamiltonian satisfies a decay estimate typical of Anderson localization. We show that, starting from a broad class of product initial states, entanglement remains bounded for all times. For the XX chain, we also derive bounds on the particle transport which, in particular, show that the density profile of initial states that consist of fully occupied and empty intervals, only have significant dynamics near the edges of those intervals, uniformly for all times.

The AKLT spin chain is the prototypical example of a frustration-free quantum spin system with a spectral gap above its ground state. Affleck, Kennedy, Lieb, and Tasaki also conjectured that the two-dimensional version of their model on the hexagonal lattice exhibits a spectral gap. In this paper, we introduce a family of variants of the two-dimensional AKLT model depending on a positive integer $n$, which is defined by decorating the edges of the hexagonal lattice with one-dimensional AKLT spin chains of length $n$. We prove that these decorated models are gapped for all $n \geq 3$.