Computer Validation of Open Gaps for the Almost Mathieu Operator with Critical Coupling

Jordi-Lluís Figueras, Joaquim Puig

We present some computer assisted methods to prove the existence of spectral gaps for the Almost Mathieu operator at critical coupling and give rigorous numerical estimates on thei…