Pure gapped ground states of spin chains are short-range entangled
The paper rigorously proves that every unique gapped ground state of a finite-range spin chain is short-range entangled (SRE). This establishes that one-dimensional gapped systems are topologically trivial in the bulk. The proof maps these states to product states via local automorphisms generated by exponentially quasi-local interactions, providing a complete classification.