On Hastings factorization for quantum many-body systems in the infinite volume setting

We will give self-contained and detailed proofs of the (multidimensional) Hastings factorization as well as a (1-dimensional) area law in a wider setup than previous works. Especially, they are applicable to both quantum spin and fermion chains of infinite volume as special cases.