Arithmetic properties of coefficients of power series expansion of _n=0^ ( 1-x^2ⁿ) ^t (with an appendix by Andrzej Schinzel)

From MaRDI portal
Publication:681479



Abstract: Let F(x)=prodn=0infty(1−x2n) be the generating function for the Prouhet-Thue-Morse sequence ((−1)s2(n))ninN. In this paper we initiate the study of the arithmetic properties of coefficients of the power series expansions of the function F_{t}(x)=F(x)^{t}=sum_{n=0}^{infty}f_{n}(t)x^{n}. For tinN+ the sequence (fn(t))ninN is the Cauchy convolution of t copies of the Prouhet-Thue-Morse sequence. For the n-th term of the sequence (fn(t))ninN counts the number of representations of the number n as a sum of powers of 2 where each summand can have one among −t colors. Among other things, we present a characterization of the solutions of the equations fn(2k)=0, where kinN, and fn(3)=0. Next, we present the exact value of the 2-adic valuation of the number fn(1−2m) - a result which generalizes the well known expression concerning the 2-adic valuation of the values of the binary partition function introduced by Euler and studied by Churchhouse and others.


The Prouhet-Thue-Morse sequence \(\{T_n\}_{n\geq 0}\) is defined on the alphabet \(\varSigma = \{0,1\}\) by \(T_n=0\) if the sum of the binary digits of the integer \(n\) is even, and \(T_n=1\) if the sum of the binary digits of \(n\) is odd. This sequence was introduced by Thue in 1906 and rediscovered by Morse in 1921. However, it was already implicit in an \(1851\) paper of Prouhet. The Prouhet-Thue-Morse sequence has many remarkable properties and found applications in combinatorics of words, analysis on manifolds, number theory and even physics. In this paper, the authors investigated the arithmetic properties of coefficients of the power series expansions of the function \[ F_t(x)=F(x)^t = \sum_{n=0}^\infty f_n(t) x^n, \] where \[ F(x)=\prod_{n=0}^\infty (1-x^{2^n}) = \sum_{n=0}^\infty (-1)^{T_n} x^n \] is the generating function of the Prouhet-Thue-Morse sequence. Such a study does not have been previously considered. An interesting generalization of the well known expression concerning the \(2\)-adic valuation of the values of the binary partition function introduced by Euler is given in this context.





Describes a project that uses

Uses Software






This page was built for publication: Arithmetic properties of coefficients of power series expansion of \(\prod _{n=0}^{\infty }\left( 1-x^{2^{n}}\right) ^{t}\) (with an appendix by Andrzej Schinzel)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q681479)