A Skolem–Mahler–Lech theorem in positive characteristic and finite automata

Lech proved in 1953 that the set of zeroes of a linear recurrence sequence in a field of characteristic 0 is the union of a finite set and finitely many infinite arithmetic progressions. This result is known as the Skolem–Mahler–Lech theorem. Lech gave a counterexample to a similar statement in positive characteristic. We will present some more pathological examples. We will state and prove a correct analog of the Skolem–Mahler–Lech theorem in positive characteristic. The zeroes of a recurrence sequence in positive characteristic can be described using finite automata.

[1]  E. Szemerédi.  On sets of integers containing k elements in arithmetic progression , 1975 .

[2]  Christos H. Papadimitriou,et al.  Elements of the Theory of Computation , 1997, SIGA.

[3]  D. Eisenbud.  Commutative Algebra: with a View Toward Algebraic Geometry , 1995 .

[4]  Jan-Hendrik Evertse,et al.  The Absolute Subspace Theorem and linear equations with unknowns from a multiplicative group , 2002 .

[5]  Dan Abramovich,et al.  Toward a proof of the Mordell-Lang conjecture in characteristic p , 1992 .

[6]  Ehud Hrushovski,et al.  The Mordell-Lang conjecture for function fields , 1996 .

[7]  K. Schmidt,et al.  Mixing sets and relative entropies for higher-dimensional Markov shifts , 1993, Ergodic Theory and Dynamical Systems.

[8]  Pieter Moree,et al.  RECURRENCE SEQUENCES (Mathematical Surveys and Monographs 104) By GRAHAM EVEREST, ALF VAN DER POORTEN, IGOR SHPARLINSKI and THOMAS WARD: 318 pp., US$79.00, ISBN 0-8218-3387-1 (American Mathematical Society, Providence, RI, 2003) , 2004 .

[9]  W. Schmidt,et al.  Zeros of linear recurrence sequences , 1999, Publicationes Mathematicae Debrecen.

[10]  J. Bell.  A Generalised Skolem–Mahler–lech Theorem for Affine Varieties , 2005, math/0501309.

[12]  Igor E. Shparlinski,et al.  Recurrence Sequences , 2003, Mathematical surveys and monographs.

[13]  Klaus Schmidt.  Dynamical Systems of Algebraic Origin , 1995 .

[14]  S A Stepanov,et al.  ON THE CONSTRUCTION OF A PRIMITIVE NORMAL BASIS IN A FINITE FIELD , 1990 .

[15]  J. W. S. Cassels,et al.  On the Taylor coefficients of rational functions , 1956 .

[16]  Jan-Hendrik Evertse,et al.  A quantitative version of the Absolute Subspace Theorem , 2002 .

[17]  S. A. Stepanov,et al.  On the construction of primitive elements and primitive normal bases in a finite field , 1991 .

[18]  Rahim Moosa.  THE MORDELL-LANG CONJECTURE IN POSITIVE CHARACTERISTIC REVISITED , 2003 .

[19]  D. Masser.  Mixing and linear equations over groups in positive characteristic , 2004 .

[20]  W. P. Schmidt,et al.  The Number of Solutions of Polynomial-Exponential Equations , 2000, Compositio Mathematica.

[21]  Christer Lech,et al.  A note on recurring series , 1953 .

[22]  W. Schmidt,et al.  Linear equations in variables which Lie in a multiplicative group , 2002 .

[23]  Wolfgang M. Schmidt,et al.  The zero multiplicity of linear recurrence sequences , 1999 .