Here we develop a polynomial time algorithm that provably finds the ... this possibility is ruled out by examples of 1D systems in which the ground state satisfies an area law with only a ...