On an upper bound of the degree of polynomial identities regarding linear recurrence sequences

Ana Paula Chaves, Carlos Gustavo Moreira, Eduardo Henrique no Nascimento

Let $(F_n{)}_{n\ge 0}$ be the Fibonacci sequence given by $F_{n+2}=F_{n+1}+F_n$, for $n\ge 0$, where $F_0=0$ and $F_1=1$. There are several interesting identities involving this se…