Effective Divergence Analysis for Linear Recurrence Sequences

We study the growth behaviour of rational linear recurrence sequences. We show that for low-order sequences, divergence is decidable in polynomial time. We also exhibit a polynomial-time algorithm which takes as input a divergent rational linear recurrence sequence and computes effective fine-grained lower bounds on the growth rate of the sequence.

[1]  A. Tarski.  A Decision Method for Elementary Algebra and Geometry , 2023 .

[2]  D. W. Masser.  New Advances in Transcendence Theory: Linear relations on algebraic groups , 1988 .

[3]  Jan-Hendrik Evertse,et al.  On sums of S-units and linear recurrences , 1984 .

[4]  James Renegar,et al.  On the Computational Complexity and Geometry of the First-Order Theory of the Reals, Part I: Introduction. Preliminaries. The Geometry of Semi-Algebraic Sets. The Decision Problem for the Existential Theory of the Reals , 1992, J. Symb. Comput..

[5]  Joël Ouaknine,et al.  Positivity Problems for Low-Order Linear Recurrence Sequences , 2013, SODA.

[6]  Gisbert Wüstholz,et al.  Logarithmic forms and group varieties. , 1993 .

[7]  T. N. Shorey,et al.  On the Diophantine equation $ax^{2t}+bx^ty+cy^2=d$ and pure powers in recurrence sequences. , 1983 .

[8]  Joël Ouaknine,et al.  Reachability problems for Markov chains , 2015, Inf. Process. Lett..

[9]  Henri Cohen,et al.  A course in computational algebraic number theory , 1993, Graduate texts in mathematics.

[10]  Mark Braverman,et al.  Termination of Integer Linear Programs , 2006, CAV.

[11]  Joël Ouaknine,et al.  On linear recurrence sequences and loop termination , 2015, SIGL.

[12]  T. Cusick,et al.  The Markoff and Lagrange Spectra , 1989 .

[13]  Joël Ouaknine,et al.  Effective Positivity Problems for Simple Linear Recurrence Sequences , 2013, ArXiv.

[14]  Yasushige Watase,et al.  Introduction to Diophantine Approximation , 2015, Formaliz. Math..

[15]  Joël Ouaknine,et al.  Ultimate Positivity is Decidable for Simple Linear Recurrence Sequences , 2013, ICALP.

[16]  Joël Ouaknine,et al.  On the Positivity Problem for Simple Linear Recurrence Sequences, , 2013, ICALP.

[17]  A. V. D. Poorten,et al.  Additive relations in fields , 1991, Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics.

[18]  M. Mignotte.  A note on linear recursive sequences , 1975 .