TY - JOUR A1 - Cramer, Marcus A1 - Eisert, Jens A1 - Plenio, Martin B. A1 - Dreißig, Julian T1 - Entanglement-area law for general bosonic harmonic lattice systems N2 - We demonstrate that the entropy of entanglement and the distillable entanglement of regions with respect to the rest of a general harmonic-lattice system in the ground or a thermal state scale at most as the boundary area of the region. This area law is rigorously proven to hold true in noncritical harmonic-lattice systems of arbitrary spatial dimension, for general finite-ranged harmonic interactions, regions of arbitrary shape, and states of nonzero temperature. For nearest-neighbor interactions-corresponding to the Klein-Gordon case-upper and lower bounds to the degree of entanglement can be stated explicitly for arbitrarily shaped regions, generalizing the findings of Phys. Rev. Lett. 94, 060503 (2005). These higher-dimensional analogs of the analysis of block entropies in the one-dimensional case show that under general conditions, one can expect an area law for the entanglement in noncritical harmonic many-body systems. The proofs make use of methods from entanglement theory, as well as of results on matrix functions of block- banded matrices. Disordered systems are also considered. We moreover construct a class of examples for which the two- point correlation length diverges, yet still an area law can be proven to hold. We finally consider the scaling of classical correlations in a classical harmonic system and relate it to a quantum lattice system with a modified interaction. We briefly comment on a general relationship between criticality and area laws for the entropy of entanglement Y1 - 2006 UR - http://pra.aps.org/ U6 - https://doi.org/10.1103/Physreva.73.012309 ER -