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

Vichian Laohakosol, Pinthira Tangsupphathawat
2014 Acta et Commentationes Universitatis Tartuensis de Mathematica  
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.
doi:10.12697/acutm.2014.18.01 fatcat:qt56e6hmibadrm72mjyvye5huu