absolutely continuous spectrum, Jacobi matrices, trace formulae