[Paper Review] On generalized sum rules for Jacobi matrices

Fëdor Nazarov, Franz Peherstorfer+2 more|ArXiv.org|Nov 26, 2003

Mathematical functions and polynomials7 references4 citations

TL;DR

This paper establishes generalized sum rules for Jacobi matrices using functional analysis and the classical Szegö theorem, deriving explicit sum rule identities that link spectral data to recurrence coefficients. The key contribution is a new asymptotic formula for orthonormal polynomials under general conditions, extending the Killip-Simon sum rule framework to finite-rank perturbations and establishing Hilbert-Schmidt conditions for spectral stability.

ABSTRACT

This work is in a stream initiated by a paper of Killip and Simon [Ann. of Math. (2003)]. Using methods of Functional Analysis and the classical Szegö Theorem we prove sum rule identities in a very general form. Then, we apply the result to obtain new asymptotics for orthonormal polynomials.

Motivation & Objective

• To generalize the Killip-Simon sum rule framework to Jacobi matrices via functional analytic methods and the Szegö theorem.
• To derive explicit sum rule identities that express spectral data (eigenvalues and absolutely continuous spectrum) in terms of recurrence coefficients.
• To establish new asymptotic formulas for orthonormal polynomials under general spectral conditions.
• To characterize the Hilbert-Schmidt regularity of spectral perturbations using recurrence coefficient conditions.
• To investigate the quadratic form structure of the spectral functional $ H_A(J) $ near the free Jacobi matrix $ J_0 $, leading to a conjectural counterpart of Simon's conjecture.

Proposed method

• Uses the resolvent function $ r(z) = \langle (J - z)^{-1}e_0, e_0 \rangle $ and its spectral representation to relate $ J $ to its spectral measure $ \sigma $.
• Defines finite-dimensional perturbations $ J(n) $ of the free Jacobi matrix $ J_0 $, with explicit determinant representation $ \Delta_n(z) = (p_n P_n(z) - \zeta P_{n-1}(z)) \zeta^n $, where $ \zeta = \frac{z - \sqrt{z^2 - 4}}{2} $.
• Derives the spectral density via $ \sigma_{\text{ac}}^{(n)\prime}(x) = \frac{1}{\pi} \frac{\sqrt{4 - x^2}}{|p_n P_n(x) - \zeta(x+i0) P_{n-1}(x)|^2} $, linking it to the perturbation determinant.
• Applies the perturbation determinant $ \Delta_n(z) $ to express the Killip-Simon functional $ \Lambda_A(J(n)) $ as an integral over spectral data, using boundary values of $ \log \Delta_n(z) $.
• Uses the representation $ A(z)\sqrt{z^2 - 4} \log \Delta_n(z) = B_n(z) + \int \frac{d\lambda_n}{x - z} $ to decompose $ \Lambda_A(J(n)) $ into contributions from eigenvalues and absolutely continuous spectrum.
• Applies trace identities and matrix perturbation theory to show that $ T(J) - T(J_0) $ is Hilbert-Schmidt if the recurrence coefficients satisfy $ \{p_k - 1\}, \{q_k\} \in l^2 $, and derives the quadratic form $ H_A(J) = \frac{1}{2} \langle dj | A(J_0) | dj \rangle + \cdots $.

Experimental results

Research questions

• RQ1 How can generalized sum rules be derived for Jacobi matrices using functional analysis and the Szegö theorem?
• RQ2 What is the precise relationship between the spectral data of finite-rank perturbations $ J(n) $ and the recurrence coefficients $ p_k, q_k $?
• RQ3 Under what conditions on $ p_k, q_k $ does the perturbation determinant $ \Delta_n(z) $ yield a well-defined spectral functional $ \Lambda_A(J) $?
• RQ4 How does the quadratic form $ H_A(J) $ expand around $ J_0 $, and what does this imply for spectral stability?
• RQ5 What conditions on $ p_k, q_k $ ensure that $ T(J) - T(J_0) $ is Hilbert-Schmidt, and how does this relate to Simon's conjecture?

Key findings

• The paper derives a generalized sum rule identity that expresses the Killip-Simon functional $ \Lambda_A(J) $ as an integral over spectral data, including contributions from eigenvalues outside $[-2,2]$ and the absolutely continuous spectrum.
• For finite-rank perturbations $ J(n) $, the spectral density satisfies $ \sigma_{\text{ac}}^{(n)\prime}(x) = \frac{1}{\pi} \frac{\sqrt{4 - x^2}}{|p_n P_n(x) - \zeta(x+i0) P_{n-1}(x)|^2} $, linking it directly to the recurrence coefficients.
• The perturbation determinant $ \Delta_n(z) $ is shown to satisfy $ \Delta_n(z) = (p_n P_n(z) - \zeta P_{n-1}(z)) \zeta^n $, providing an explicit analytic representation in terms of orthonormal polynomials.
• The functional $ \Lambda_A(J(n)) $ is expressed as $ \int d\lambda_n $, where $ \lambda_n' $ is explicitly given in terms of $ A(x) $, the spectral measure, and the number of eigenvalues in $[x, \infty)$ or $(-\infty, x]$.
• The paper proves that $ T(J) - T(J_0) $ is Hilbert-Schmidt if and only if $ \{p_k - 1\}, \{q_k\} \in l^2 $, establishing a sharp condition for spectral regularity.
• The quadratic form of $ H_A(J) $ near $ J_0 $ is shown to be $ \frac{1}{2} \langle dj | A(J_0) | dj \rangle + \cdots $, with $ dj = \{2dp_k, dq_k\} $, providing a foundation for a conjectural extension of Simon's conjecture.