Spectral gap, and split property in quantum spin chains

In this article, we consider a class of ground states with spectral gap for quantum spin chains on an integer lattice and we prove that the factorization lemma of Hastings ["Topology and phases in fermionic systems," J. Stat. Mech.: Theory Exp.2008, L01001] implies split property (weak statistical independence) of left and right semi-infinite subsystems.