Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4647118 | Discrete Mathematics | 2016 | 12 Pages |
Abstract
Let p be a prime number and consider a p-automatic sequence u=(un)nâN and its generating function U(X)=ân=0âunXnâFp[[X]]. Moreover, let us suppose that u0=0 and u1â 0 and consider the formal power series VâFp[[X]] which is a compositional inverse of U(X), i.e., U(V(X))=V(U(X))=X. In this note we initiate the study of arithmetic properties of the sequence of coefficients of the power series V(X). We are mainly interested in the case when un=tn, where tn=s2(n)(mod2) and t=(tn)nâN is the Prouhet-Thue-Morse sequence defined on the two letter alphabet {0,1}. More precisely, we study the sequence c=(cn)nâN which is the sequence of coefficients of the compositional inverse of the generating function of the sequence t. This sequence is clearly 2-automatic. We describe the sequence a characterizing solutions of the equation cn=1. In particular, we prove that the sequence a is 2-regular. We also prove that an increasing sequence characterizing solutions of the equation cn=0 is not k-regular for any k. Moreover, we present a result concerning some density properties of a sequence related to a.
Keywords
Related Topics
Physical Sciences and Engineering
Mathematics
Discrete Mathematics and Combinatorics
Authors
Maciej Gawron, Maciej Ulas,