Orthogonal polynomials, Trace formula, Sum rule, Jacobi matrix