The all-charge multicenter Dirac lower-bound conjecture
Let M⩾2M\geqslant2M⩾2, let R1,…,RM∈R3R_1,\ldots,R_M\in\mathbb{R}^3R1,…,RM∈R3, and let νm⩾0\nu_m\geqslant0νm⩾0 satisfy ∑m=1Mνm⩽1\sum_{m=1}^M\nu_m\leqslant1∑m=1Mνm⩽1. Let D0D_0D0 be the free Dirac operator and let λ1\lambda_1λ1 de…