On the spectrum of a random walk on the discrete Heisenberg group and the norm of Harper's operator

Harper's operator is the self-adjoint operator on defined by

Full-size image

. We first show that the determination of the spectrum of the transition operator on the Cayley graph of the discrete Heisenberg group in its standard presentation, is equivalent to the following upper bond on the norm of H_θ,: H_{θ,≤ 2(1 + √2 + cos(2πθ))}. We then prove this bound by reducing it to a problem on periodic Jacobi matrices, viewing H_θ, as the image of H_θ = U_θ + _θ^* + V_θ + V_θ^* in a suitable representation of the rotation algebra A_θ. We also use powers of H_θ to obtain various upper and lower bounds on H_θ = maxH_θ,. We show that “Fourier coefficients” of H_θ^k in A_θ have a combinatorial interpretation in terms of paths in the square lattice ². This allows us to give some applications to asymptotics of lattice paths combinatorics.