1: \begin{abstract}

2: We present a formally exact van der Waals inclusive electronic structure theory, called FDE-vdW, 

3: based on the Frozen

4: Density Embedding formulation of subsystem Density-Functional Theory. 

5: In subsystem DFT, the energy functional is composed of subsystem additive and

6: non-additive terms. We show that an appropriate definition of the long--range correlation

7: energy is given by the value of the non-additive correlation functional. 

8: This functional is evaluated using the Fluctuation--Dissipation Theorem aided by a formally exact decomposition

9: of the response functions into subsystem contributions.

10: %, van der Waals corrected binding

11: %energies of weakly bound molecular systems can be computed. Theory side, we analyze

12: FDE-vdW is derived in detail and several approximate schemes are proposed, which lead to practical

13: implementations of the method. We show that FDE-vdW is Casimir--Polder consistent,

14: i.e.\ it reduces to the generalized Casimir--Polder formula for asymptotic

15: inter-subsystems separations. Pilot calculations of binding energies of 13 weakly bound

16: complexes singled out from the S22 set

17: show a dramatic improvement  upon semilocal

18: subsystem DFT, provided that an appropriate exchange functional is employed.

19: The convergence of FDE-vdW with basis set size is discussed, as well as its dependence on

20: the choice of associated density functional approximant.

21: \end{abstract}

22: