Effective results on the Skolem problem for linear recurrence sequences (Q1634425): Difference between revisions

Let \(\{u_n\}\) be a simple linear recurrence sequence of algebraic numbers defined by of order \(m \geq 2\) with characteristic polynomial \[f(X)=X^m-a_{m-1}X^{m-1}-\dots-a_0\] with algebraic coefficients. Suppose that \(f(X)\) has a dominant root. Let \(d\) be the degree of the normal closure of \({\mathbb Q}(a_0,\dots,a_{m-1})\) over \({\mathbb Q}\), and \(f^*(X)=\delta_f f(X)=\sum_{k=0}^m a_i^* X^i\) be the polynomial with the smallest positive integer \(\delta_f\) for which all \(a_i^*\) are algebraic integers. The author gives an explicit bound \(B\) in terms of \(d,m, h(a_i^*)\) and \(D=[{\mathbb Q}(u_0,\dots,u_{m-1}):{\mathbb Q}]\) for which one can claim that \(u_n \ne 0\) whenever \(n \geq B\). A similar bound is obtained in the case when \(f\) has exactly two roots of maximal modulus, and moreover their quotient is not a root of unity.