An entanglement area law is a bound on the von Neumann entropy of a reduced quantum state by
the size of the boundary separating a region from its
complement. For a pure state 
on a lattice domain 
, put 
. Using natural logarithms,
the bound has the form
 |
where 
consists of nearest-neighbor edges crossing the cut.
For a product state the entropy is zero.
