Perturbative diagonalization and spectral gaps of quasiperiodic operators on ²(ᵈ) with monotone potentials

We obtain a perturbative proof of localization for quasiperiodic operators on ²(ᵈ) with one-dimensional phase space and monotone sampling functions, in the regime of small hopping. The proof is based on an iterative scheme which can be considered as a local (in the energy and the phase) and convergent version of KAM-type diagonalization, whose result is a covariant family of uniformly localized eigenvalues and eigenvectors. We also proof that the spectra of such operators contain infinitely many gaps.