Effective upper bounds for the number of zeros of a linear recursive sequence
type: Item
instance of: scholarly article
title: Effective upper bounds for the number of zeros of a linear recursive sequence
zbMATH Open document ID: 0605.10006
author: B. George
published in: Moscow University Mathematics Bulletin
publication date: 1986-01-01T00:00:00Z
review text: Consider the recurrence sequence \(u_n=a_1 u_{n-1}+ \ldots +a_d u_{n-d}\) where the \(a_i\) are algebraic numbers. This paper gives a refinement in a well known result of Mahler concerning the set \(E=\{n;\ u_n=0\}\). For almost all prime ideals \(\mathfrak p\) of the ring of algebraic integers, there is given a number \(r_{\mathfrak p}\) and an explicit upper bound for \(\#E\) from the valuation \(v_{\mathfrak p}(u_n)\) \((0\le n<dr_{\mathfrak p})\). Then rough simplifications lead to the upper bound: \[ \# E\leq \log_2 C(6H)^{2d^ 2 d!} \] where \(C=\max (2, | u_0|,\ldots,| u_{d-1}|)\) and \(H\) is the height of the characteristic polynomial.
reviewed by: Gilles Christol
Mathematics Subject Classification ID: 11B37
zbMATH DE Number: 3977079
zbMATH Keywords: Skolem's p-adic method
zbMATH Keywords: finiteness of number of zeros
zbMATH Keywords: linear recursive sequence
zbMATH Keywords: effective upper bounds
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 3977079