A remark about the positivity problem of fourth order linear recurrence sequences
Keywords: positivity problem, recurrence sequences, decidability
AbstractConsider a fourth order linear recurrence with integer coefficients whose characteristic polynomial has two distinct real and a complex conjugate pair of roots. A new proof showing that its positivity problem is decidable is given for the case where there is exactly one real root having the same absolute value as the two complex conjugate roots.
Download data is not yet available.