Localization of interacting fermions in the Aubry-Andre'model

We consider interacting electrons in a one-dimensional lattice with an incommensurate Aubry-André potential in the regime when the single-particle eigenstates are localized. We rigorously establish the persistence of ground state localization in the presence of weak many-body interaction, for almost all the chemical potentials. The proof uses a quantum many-body extension of methods adopted for the stability of tori of nearly integrable Hamiltonian systems and relies on number-theoretic properties of the potential incommensurate frequency.