Diverging Exchange Force and Form of the Exact Density Matrix Functional

For translationally invariant one-band lattice models, we exploit the ab initio knowledge of the natural orbitals to simplify reduced density matrix functional theory (RDMFT). Striking underlying features are discovered. First, within each symmetry sector, the interaction functional F depends only on the natural occupation numbers n. The respective sets P_{N}^{1} and E_{N}^{1} of pure and ensemble N-representable one-matrices coincide. Second, and most importantly, the exact functional is strongly shaped by the geometry of the polytope E_{N}^{1}≡P_{N}^{1}, described by linear constraints D^{(j)}(n)≥0. For smaller systems, it follows as F[n]=[under ∑]i,i^{'}V[over ¯]_{i,i^{'}}sqrt[D^{(i)}(n)D^{(i^{'})}(n)]. This generalizes to systems of arbitrary size by replacing each D^{(i)} by a linear combination of {D^{(j)}(n)} and adding a nonanalytical term involving the interaction V[over ^]. Third, the gradient dF/dn is shown to diverge on the boundary ∂E_{N}^{1}, suggesting that the fermionic exchange symmetry manifests itself within RDMFT in the form of an "exchange force." All findings hold for systems with a nonfixed particle number as well and V[over ^] can be any p-particle interaction. As an illustration, we derive the exact functional for the Hubbard square.