Linear independence of automatic formal power series (Q2502905)

The author proves the following theorem: Let \(u\) be a quasistrongly \(p\)-additive sequence over \(\mathbb F_p\) (where \(p\) is a prime number). Let \(P_1,\dots,P_k\) be polynomials of \(_{p}[X]\) with \(k >0\) so that \(1<\deg P_1<\cdots <\deg P_k\). Let \(Q_1,\dots,Q_k\) be polynomials of \(\mathbb F_p[X]\) so that the formal power series \(\sum_{i=1}^kQ_iF_{P_i}\) is algebraic over \(\mathbb F_p(X)\) (which is equivalent to the \(p\)-automaticity of the sequence associated to \(G\)), denoting \(F_{P_i}=\sum_{n=0}{\infty}u\circ P_i(n)X^n\). If at least one of the polynomials \(Q_1,\dots,Q_k\) is different from \(0\) then the sequence \(u\) is ultimately periodic. This theorem is an extension of a result by Allouche and Salon on linear independence of formal power series associated to polynomial extraction of quasistrongly \(p\)-additive sequences.