Support for the existence of invertible maps between electronic densities and non-analytic 1-body external potentials...

Provided the initial state, the Runge-Gross theorem establishes that the time-dependent (TD) external potential of a system of non-relativistic electrons determines uniquely their TD electronic density, and vice versa (up to a constant in the potential). This theorem requires the TD external potential and density to be Taylor-expandable around the initial time of the propagation. This paper presents an extension without this restriction. Given the initial state of the system and evolution of the density due to some TD scalar potential, we show that a perturbative (not necessarily weak) TD potential that induces a non-zero divergence of the external force-density, inside a small spatial subset and immediately after the initial propagation time, will cause a change in the density within that subset, implying that the TD potential uniquely determines the TD density. In this proof, we assume unitary evolution of wavefunctions and first-order differentiability (which does not imply analyticity) in time of the internal and external force-densities, electronic density, current density, and their spatial derivatives over the small spatial subset and short time interval.