Tensor-network area-law bound (source code)

= Tensor-network area-law bound

If a bipartition cuts $n_\partial$ tensor-network bonds of dimension at most $\chi$, its Schmidt rank is at most $\chi^{n_\partial}$ and its <entanglement entropy> is at most $n_\partial\log\chi$.