compact self-adjoint operators; trace-class operators; mixed states; occupation numbers; Lieb-Thirring inequality; Schr dinger operator; asymptotic distribution of eigenvalues; free energy; temperature; entropy; Hartree-Fock model; self-consistent potential; orbital stability; nonlinear equation; loss of compactness