Semiclassical mean-field limit of the Levy-Lieb functional
Semiclassical mean-field limit conjecture. For every function fff satisfying f⩾0f\geqslant 0f⩾0, f∈H1(Rd)\sqrt{f}\in H^1(\mathbb{R}^d)f∈H1(Rd) and ∫Rdf=1\int_{\mathbb{R}^d}f=1∫Rdf=1, one has