Existence of A Rigorous Density-Functional Theory for Open Electronic Systems

Xiao Zheng, Fan Wang, GuanHua Chen

We prove that the electron density function of a real physical system can be uniquely determined by its values on any finite subsystem. This establishes the existence of a rigorous…