The Ten Martini Problem

We prove the conjecture (known as the "Ten Martini Problem" after Kac and Simon) that the spectrum of the almost Mathieu operator is a Cantor set for all nonzero values of the coupling and all irrational frequencies.