1 problem

Lieb–Solovej's conjecture. The quantity $S(v)$ is minimized when $v$ is any of the coherent state vectors $\Omega_R$.