Localization of Interacting Fermions in the Aubry-Andre Model

We consider interacting electrons in a one-dimensional lattice with an incommensurate Aubry-Andre 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.