A remark about the positivity problem of fourth order linear recurrence sequences

Abstract

Consider 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.