Nonvanishing of minimizers of the approximate Levy-Lieb functional
Nonvanishing-minimizer conjecture. Any minimizer ψ\psiψ of Fα,(0)(r)F^{\boldsymbol{\alpha},(0)}(r)Fα,(0)(r) satisfies
Continuity of the Levy-Lieb and Lieb functionals
Continuity conjecture. If