  This paper provides theoretical consistency results for compressed modes. We
prove that as L1 regularization term in certain non-convex variational
optimization problems vanishes, the solutions of the optimization problem and
the corresponding eigenvalues converge to Wannier-like functions and the
eigenvalues of the Hamiltonian, respectively.
