almost Mathieu, Harper, Hofstadter butterfly, renormalization, 
periodic orbit, self-similar, scaling, Hamiltonian, spectrum, 
energy, rotation number, computer-assisted proof