Title: 1D area law with ground-state degeneracy

Abstract: An area law is proved for 1D spin systems with ground-state degeneracy. In particular, consider a chain of $d$-dimensional spins governed by a Hamiltonian with nearest-neighbor interaction. Suppose the ground states are $n$-fold (exactly) degenerate with $n=O(1)$, and are separated from excited states by an energy gap $\epsilon$. Then for any given cut there exists a ground state such that the entanglement entropy across the cut is upper bounded by $\tilde O((\log^3d)/\epsilon)$.