Effective results on the Skolem problem for linear recurrence sequences (Q1634425): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2963627549 / rank | |||
Normal rank |
Revision as of 00:40, 20 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Effective results on the Skolem problem for linear recurrence sequences |
scientific article |
Statements
Effective results on the Skolem problem for linear recurrence sequences (English)
0 references
18 December 2018
0 references
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.
0 references
linear recurrence sequence
0 references
Skolem problem
0 references
height
0 references
linear form in logarithms
0 references