Norm error and entropy error

The estimate can require exponentially large $D$ as a function of $S/{\epsilon }^2$, and separate cut truncations need not glue into one PEPS. Thus an entropy upper bound alone is not the polynomial-PEPS construction theorem.