An estimate on the number of eigenvalues of a quasiperiodic Jacobi matrix of size \(n\) contained in an interval of size \(n^{-C}\) (Q1943723)

Let \({\mathbb T}:=\frac {\mathbb R}{\mathbb Z}\) and let \(a:{\mathbb T} \rightarrow {\mathbb C}\), \(b:{\mathbb T} \rightarrow {\mathbb C}\) be real analytic functions, with \(b \not\equiv 0\). Let \(\omega \in (0,1)\) satisfy a condition of the form \(||n\omega ||\geq \frac{C_{\omega}}{n(\log n)^{\alpha}}\), where \(\alpha >1\) is fixed. It is considered the quasiperiodic Jacobi operator \(H(x,\omega )\) defined on \(l^2 (\mathbb Z)\). Let \(L(E)\) be the Lyapunov exponent associated with \(H(x,\omega )\). Main Theorem. Assume that \(E_0 \in {\mathbb R}\) is such that \(L(E_0 ) \geq \gamma >0\). Then there exist constants \(C_0 =C_0 (\omega )\), \(C_1 =C_1 (a,b,E_0 , \omega , \gamma )\), and \(n_0 =n_0 (a,b,E_0 , \omega , \gamma )\) such that, for all \(x \in {\mathbb T}\) and \(n \geq n_0 \), the number of eigenvalues for \(H^{(n)} (x,\omega )\) located in \(\{ E:|E-E_0 |<n^{-C_1} \}\) is at most \((\log n)^{C_0}\) and, furthermore, for any \(x_0 \in {\mathbb T}\) and \(n\geq n_0 \), the number of zeros for \(\det (H^{(n)} (\cdot ,\omega)-E_0 )\) contained in \(\{ z:|z-x_0 | <n^{-1} \}\) is at most \((\log n)^{C_0}\).