On $p$-adic valuations of certain $m$ colored $p$-ary partition functions

TL;DR

This paper investigates the $p$-adic valuations of certain colored $p$-ary partition functions, providing explicit formulas and bounds, generalizing previous results in the area.

Contribution

It computes the exact $p$-adic valuation of the partition functions $S_{p,m}(n)$ and establishes bounds on their possible values, extending prior work.

Findings

Exact $p$-adic valuation formulas for $S_{p,m}(n)$

Finite set of possible valuation values with explicit bounds

Generalization of previous results by Churchhouse and others

Abstract

Let $k\in\N_{\geq 2}$ and for given $m\in\Z\setminus\{0\}$ consider the sequence $(S_{k,m}(n))_{n\in\N}$ defined by the power series expansion $$ \frac{1}{(1-x)^{m}}\prod_{i=0}^{\infty}\frac{1}{(1-x^{k^{i}})^{m}}=\sum_{n=0}^{\infty}S_{k,m}(n)x^{n}. $$ The number $S_{k,m}(n)$ for $m\in\N_{+}$ has a natural combinatorial interpretation: it counts the number of representations of $n$ as sums of powers of $k$, where the part equal to $1$ takes one among $mk$ colors and each part $>1$ takes $m(k-1)$ colors. We concentrate on the case when $k=p\in\mathbb{P}$. Our main result is the computation of the exact value of the $p$-adic valuation of $S_{p,m}(n)$. In particular, in each case the set of values of $\nu_{p}(S_{p,m}(n))$ is finite and the maximum value is bounded by $\op{max}\{\nu_{p}(m)+1,\nu_{p}(m+1)+1\}$. Our results can be seen as a generalization of earlier work of Churchhouse and recent work of Gawron, Miska and Ulas, and the present authors.

Equations

$$\frac{1}{(1-x{)}^m}\prod _{i=0}^{\infty }\frac{1}{(1-x^{k^i}{)}^m}=\sum _{n=0}^{\infty }{S}_{k,m}(n)x^n.$$

$$n=\sum _{i=0}^u{k}^{s_i},$$

$$B(x)=\prod _{n=0}^{\infty }\frac{1}{1-x^{2^n}}=\sum _{n=0}^{\infty }b(n)x^n.$$

$$b(2n)=b(2n-1)+b(n),b(2n+1)=b(2n).$$

$${\nu }_p(n):=\max \{k\in \mathbb{N}:p^k\mid n\}$$

$${\nu }_2(b(n))=\{\begin{array}{ll}\frac{1}{2}|t_n-2t_{n-1}+t_{n-2}|,& \text{mbox}ifn\ge 2\\ 0,& \text{mbox}ifn\in \{0,1\}\end{array},$$

$$T(x)=\frac{1}{B(x)}=\prod _{n=0}^{\infty }\left(1-x^{2^n}\right)=\sum _{n=0}^{\infty }{t}_n{x}^n.$$

$$t_0=1,t_{2n}=t_n,t_{2n+1}=-t_n.$$

$$B(x{)}^m=\prod _{n=0}^{\infty }\frac{1}{{\left(1-x^{2^n}\right)}^m}=\sum _{n=0}^{\infty }{b}_m(n)x^n.$$

$$G_k(x)=\frac{1}{1-x}\prod _{n=0}^{\infty }\frac{1}{(1-x^{k^n}{)}^{k-1}}=\sum _{n=0}^{\infty }{S}_k(n)x^n.$$

$$H_{k,m}(x)=G_k(x{)}^m=\frac{1}{(1-x{)}^m}\prod _{n=0}^{\infty }\frac{1}{(1-x^{k^n}{)}^{m(k-1)}}=\sum _{n=0}^{\infty }{S}_{k,m}(n)x^n,$$

$$c_m(n):=S_{2,m}(n),d_m(n):=S_{p,m}(n)\text{mbox}forfixedp\in {\mathbb{P}}_{\ge 3}.$$

$$\sum _{n=0}^{\infty }b(2n)x^n=\frac{1}{2}(B(\sqrt{x})+B(-\sqrt{x}))=\frac{1}{1-x}\prod _{n=0}^{\infty }\frac{1}{1-x^{2^n}}=H_{2,1}(x).$$

$$C(x):=G_2(x),C_m(x):=G_2(x{)}^m.$$

$$C_m(x)={\left(\frac{1+x}{1-x}\right)}^m{C}_m(x^2),$$

$$C_{m_1}(x)C_{m_2}(x)=C_{m_1+m_2}(x).$$

$${\nu }_2(c_1(n))=$$

$${\nu }_2(c_{-1}(n))=$$

$$C_{-1}(x)=(1-x)\prod _{n=0}^{\infty }(1-x^{2^n})=(1-x)\sum _{n=0}^{\infty }{t}_n{x}^n=1+\sum _{n=1}^{\infty }(t_n-t_{n-1})x^n.$$

$$c_{\pm 2}(2n)=$$

$$c_{\pm 2}(2n+1)=$$

$$\nu_{2}(c_{m}(n))=\begin{cases}\begin{array}[]{lll}\nu_{2}(m)+1,&&\mbox{if }\;m\equiv 0\ (\mathrm{mod}\ 2)\\ 1,&&\mbox{if }\;m\equiv 1\ (\mathrm{mod}\ 2)\;\mbox{and}\;t_{n}\neq t_{n-1}\\ \nu_{2}(m+1)+1,&&\mbox{if }\;m\equiv 1\ (\mathrm{mod}\ 2)\;\mbox{and}\;t_{n}=t_{n-1}\end{array}\end{cases}.$$

$$c_{-3}(n)=\sum _{i=0}^n{c}_{-1}(i)c_{-2}(n-i)=c_{-2}(n)+t_n-t_{n-1}+\sum _{i=1}^{n-1}(t_i-t_{i-1})c_{-2}(n-i).$$

$${\nu }_2((t_i-t_{i-1})c_{-2}(n-i))\ge 3.$$

$$c_{-3}(n)\equiv c_{-2}(n)+t_n-t_{n-1}\equiv 4+t_n-t_{n-1}(\mathrm{mod}8).$$

$$c_{4k}(n)=2c_{2k}(n)+\sum _{i=1}^{n-1}{c}_{2k}(i)c_{2k}(n-i).$$

$$c_{4k+2}(n)=c_2(n)+c_{4k}(n)+\sum _{i=1}^{n-1}{c}_{4k}(i)c_2(n-i).$$

$$c_{4k+1}(n)=c_{4k}(n)+c_1(n)+\sum _{i=1}^{n-1}{c}_{4k}(i)c_1(n-i).$$

$$\nu_{2}(c_{4k}(n)+c_{1}(n))=\nu_{2}(c_{1}(n))=\begin{cases}\begin{array}[]{lll}1,&&\mbox{if }\;t_{n}\neq t_{n-1}\\ 2,&&\mbox{if }\;t_{n}=t_{n-1}\end{array}\end{cases}.$$

$$c_{4k+3}(n)=c_{4(k+1)}(n)+c_{-1}(n)+\sum _{i=1}^{n-1}{c}_{4(k+1)}(i)c_{-1}(n-i).$$

$${\nu }_2(c_{4k+3}(n))$$

Full text

[TABLE]

The number $S_{k,m}(n)$ for $m\in\mathbb{N}_{+}$ has a natural combinatorial interpretation: it counts the number of representations of $n$ as sums of powers of $k$, where the part equal to $1$ takes one among $mk$ colors and each part $>1$ takes $m(k-1)$ colors. We concentrate on the case when $k=p\in\mathbb{P}$. Our main result is the computation of the exact value of the $p$-adic valuation of $S_{p,m}(n)$. In particular, in each case the set of values of $\nu_{p}(S_{p,m}(n))$ is finite and the maximum value is bounded by $\operatorname{max}\{\nu_{p}(m)+1,\nu_{p}(m+1)+1\}$. Our results can be seen as a generalization of earlier work of Churchhouse and recent work of Gawron, Miska and Ulas, and the present authors.

During the preparation of the work, the second author was a scholarship holder of the Kartezjusz program funded by the Polish National Centre for Research and Development.

1. Introduction

Theory of partitions is a classical part of number theory. Main arithmetical questions concerning counting functions of various type of partitions are related to divisibility properties and $p$-adic behaviour for various values of $p\in\mathbb{P}$. Particular partition functions are connected with $k$-ary representations of integers. Let us recall that by a $k$-ary partition of an integer $n$ we understand the representation of $n$ into powers of $k$, i.e., the representation of the form

[TABLE]

where $s_{i}\in\mathbb{N}$ for $i=0,\ldots,u$ and $s_{0}\leq s_{1}\leq\ldots\leq s_{u}$. By a colored $k$-ary representation we understand the $k$-ary representation, where parts take colors from finite sets.

The basic $k$-ary partition function is related to the case of $k=2$. Then, the counting function $b(n)$ of representations of $n$ in the form (1) is called the binary partition function. The sequence $(b(n))_{n\in\mathbb{N}}$ was introduced by Euler, who also noticed the identity

[TABLE]

The series $B$ satisfies the functional equation $(1-x)B(x)=B(x^{2})$. In consequence, by comparing the coefficients near $x^{n}$ on the both sides of the functional relation, we see that the sequence $(b(n))_{n\in\mathbb{N}}$ satisfies: $b(0)=b(1)=1$ and

[TABLE]

However, it seems that the first non-trivial result concerning the sequence $(b(n))_{n\in\mathbb{N}}$ was obtained by Churchhouse in [4]. In order to state his result, let $p\in\mathbb{P}$ be given and recall that the $p$-adic valuation of an integer $n$, denoted by $\nu_{p}(n)$, is just the highest power of $p$ dividing $n$, i.e.,

[TABLE]

with the convention that $\nu_{p}(0)=+\infty$. It is clear that the $p$-adic valuation satisfies the properties: $\nu_{p}(n_{1}n_{2})=\nu_{p}(n_{1})+\nu_{p}(n_{2})$ and $\nu_{p}(n_{1}+n_{2})\geq\operatorname{min}\{\nu_{p}(n_{1}),\nu_{p}(n_{2})\}$. Churchhouse proved that the sequence of the $2$-adic valuations of $(b(n))_{n\in\mathbb{N}}$ is bounded by 2. More precisely, if $n\geq 2$, we have $\nu_{2}(b(n))=2$ if and only if $n$ or $n-1$ can be written in the form $4^{r}(2u+1)$ for some $r\in\mathbb{N}_{+}$ and $u\in\mathbb{N}$. In the remaining cases we have $\nu_{2}(b(n))=1$. One can observe that we can shortly write

[TABLE]

where $(t_{n})_{n\in\mathbb{N}}$ is the Prouhet-Thue-Morse sequence (the PTM sequence for short). The PTM sequence can be defined in many equivalent ways but the most natural in the context of binary partitions is the one through generating functions. More precisely, we have

[TABLE]

As an immediate consequence of the functional relation $T(x)=(1-x)T(x^{2})$ we get the recurrence relations

[TABLE]

The PTM sequence appears in many different areas of mathematics (and even physics). An interesting introduction to the properties of this sequence can be found in [1]. We will encounter this sequence in the sequel one more time.

In the recent paper [7] Gawron, Miska and the first author generalized the result of Churchhouse in the following way. Let $m\in\mathbb{N}_{+}$ and consider the sequence $(b_{m}(n))_{n\in\mathbb{N}}$, where

[TABLE]

The sequence $(b_{m}(n))_{n\in\mathbb{N}}$ has a natural combinatorial interpretation. More precisely, the number $b_{m}(n)$ counts the number of binary representations (1), where each part has one among $m$ colors. In the cited paper it was proved that the sequence $(\nu_{2}(b_{m}(n)))_{n\in\mathbb{N}}$, with $m=2^{k}-1,k\in\mathbb{N}_{+}$, is bounded by 2 (and independent of $k$ - a rather unexpected result). This result was further generalized for $p$-ary colored partitions with $p\in\mathbb{P}_{\geq 3}$ in [11]. Indeed, let $A_{p,m}(n)$ denotes the number of $p$-ary representations (1) of the number $n$, where each summand has one among $m$ colors. We proved that for each $p\in\mathbb{P}_{\geq 3}$ and $s\in\mathbb{N}_{+}$, the $p$-adic valuation of the number $A_{p,(p-1)(p^{s}-1)}(n)$ is equal to 1 for $n\geq p^{s}$. We also obtained some results concerning the behaviour of the sequence $(\nu_{p}(A_{p,(p-1)(up^{s}-1)}(n)))_{n\in\mathbb{N}}$ for fixed $u\in\{2,\ldots,p-1\}$ and $p\geq 3$. Let us note that the exponent $(p-1)(p^{s}-1)$ for $p=2$ reduces to $2^{s}-1$ considered in [7] (in particular $b_{2^{s}-1}(n)=A_{2,2^{s}-1}(n)$ for all $n\in\mathbb{N}$). This shows striking difference in behaviour of the $p$-adic valuations of $A_{p,(p-1)(p^{s}-1)}(n)$ between the case of $p=2$ and $p\in\mathbb{P}_{\geq 3}$.

In the light of the cited results a natural question arises whether there is a $p$-ary partition type function such that its colored version has a bounded $p$-adic valuation for each fixed number of colors (not only of particular forms like in the cases considered in [7, 11]). The aim of this paper is to present such a function and obtain exact expression for the corresponding sequence of $p$-adic valuations.

For $k\in\mathbb{N}_{\geq 2}$ we consider the power series expansion

[TABLE]

Then, for $m\in\mathbb{Z}\setminus\{0\}$ we consider the power series

[TABLE]

and the sequence $(S_{k,m}(n))_{n\in\mathbb{N}}$. Similarly, as in the previous cases the coefficient $S_{k,m}(n)$ for $m\in\mathbb{N}_{+}$, has a natural combinatorial interpretation. The number $S_{k,m}(n)$ counts the number of $k$-ary representations (1), such that the part equal to 1 takes one among $km$ colors and each part $>1$ takes one among $(k-1)m$ colors. In the paper we are concentrate on the case $k=p\in\mathbb{P}$. As we will see, it is possible to compute the expression for $\nu_{p}(S_{p,m}(n))$ for each $p\in\mathbb{P}$, $n\in\mathbb{N}$ and $m\in\mathbb{Z}$, explicitly. Let us note that in the case $m<0$ we are working with the sequence with varying signs and it is a non-trivial question whether the number $S_{p,m}(n)$ can be zero. Unexpectedly, we will show that this is not the case. This non-obvious observation will be consequence of our main results. We should also mention that as in previous works the case of $p=2$ and $p\in\mathbb{P}_{\geq 3}$ are quite different. Thus, we introduce the following definitions with the aim to simplify the notation a bit. More precisely, we write

[TABLE]

Let us note that we have the equality $c_{1}(n)=b(2n)$ which is a consequence of the equalities

[TABLE]

We are in position to state the content of the paper in some details.

In Section 2 we consider the case $p=2$ and obtain the closed formula for $\nu_{2}(c_{m}(n))$ for any given $m\in\mathbb{Z}$. The formula is stated in Theorem 2.4 and implies that $\nu_{2}(c_{m}(n))$ is constant for even $m$ and positive $n$. In the case of odd $m$ the value of $\nu_{2}(c_{m}(n))$ is equal to 1 or $\nu_{2}(m+1)+1$, depending on whether $t_{n}\neq t_{n-1}$ or $t_{n}=t_{n-1}$, respectively.

The next two sections are devoted to the proof of the equality $\nu_{p}(d_{m}(n))=\nu_{p}(m)+1$ which holds for $n\in\mathbb{N}_{+}$ and each $m\in\mathbb{Z}\setminus\{0\}$ (Theorem 3.5 and Theorem 3.7). According to our best knowledge our results are the first concerning the exact computation of the $p$-adic valuations of $m$ colored partitions (with non-rational generating function of course). Moreover, our results can be seen as natural generalizations of Churchhouse result. As a by-product of the employed methods we also get an unexpected fact that the sequence $\left(\frac{d_{m}(n)}{pm}\ (\mathrm{mod}\ p)\right)_{n\in\mathbb{N}_{+}}$ is independent on $m$. Thus, a more detailed analysis of this sequence is performed in Section 4. The main result of this section is the proof of $p$-automaticity of the sequence $\left(\frac{d_{m}(n)}{pm}\ (\mathrm{mod}\ p)\right)_{n\in\mathbb{N}_{+}}$ (Theorem 4.1) and transcendence of the corresponding ordinary generating function (Theorem 4.6).

In Section 5 we present study of the $p$-adic behaviour of the difference $d_{m}(pn)-d_{m}(n)$. In particular we prove sufficient conditions for the inequality $\nu_{p}(d_{m}(pn)-d_{m}(n))\geq\nu_{p}(m)+3$ to hold (Theorem 5.5).

Finally, in the last section we ask for a possible generalization of our results, present effects of some numerical computations and formulate some questions, problems and conjectures.

2. The case of $p=2$

In order to simplify the notation a bit let us put

[TABLE]

Let us observe the power series $C(x)$ satisfies the functional relation $(1-x)C(x)=(1+x)C(x^{2})$ . In consequence, for $m\in\mathbb{Z}$ we have the relation

[TABLE]

which will be useful in the proof of Lemma 2.2 below. Moreover, in the sequel we will need the following functional property: for $m_{1},m_{2}\in\mathbb{Z}$ we have

[TABLE]

We start our investigations with a simple lemma which is a consequence of the result of Churchhouse and the product form of the series $C_{-1}(x)$.

Lemma 2.1**.**

For $n\in\mathbb{N}_{+}$, we have the following equalities:

[TABLE]

Proof.

The first equality is an immediate consequence of the equalities $c_{1}(n)=b(2n),\nu_{2}(b(n))=\frac{1}{2}|t_{n}-2t_{n-1}+t_{n-2}|$ and the recurrence relations satisfied by the PTM sequence $(t_{n})_{n\in\mathbb{N}}$, i.e., $t_{2n}=t_{n},t_{2n+1}=-t_{n}$.

The second equality comes from the expansion

[TABLE]

∎

In order to compute the 2-adic valuations of the sequence $(c_{\pm 2}(n))_{n\in\mathbb{N}}$ we need the following simple

Lemma 2.2**.**

The sequences $(c_{\pm 2}(n))_{n\in\mathbb{N}}$ satisfy the following recurrence relations: $c_{\pm 2}(0)=1,c_{\pm 2}(1)=\pm 4$ and for $n\geq 1$ we have

[TABLE]

Proof.

The recurrence relations for the sequence $(c_{\pm 2}(n))_{n\in\mathbb{N}}$ are immediate consequence of the functional equation $C_{\pm 2}(x)=\left(\frac{1+x}{1-x}\right)^{\pm 2}C_{\pm 2}(x^{2})$, which can be rewritten in an equivalent form $(1\mp x)^{2}C_{\pm 2}(x)=(1\pm x)^{2}C_{\pm 2}(x^{2})$. Comparing now the coefficients on both sides of this relation we get the result. ∎

As a consequence of the recurrence relations for $(c_{\pm 2}(n))_{n\in\mathbb{N}}$ we get

Corollary 2.3**.**

For $n\in\mathbb{N}_{+}$ we have $c_{\pm 2}(n)\equiv 4\ (\mathrm{mod}\ 8)$. In consequence, for $n\in\mathbb{N}_{+}$ we have $\nu_{2}(c_{\pm 2}(n))=2$.

Proof.

The proof relies on a simple induction. Indeed, we have $c_{\pm 2}(1)=\pm 4,c_{-2}(2)=4,c_{2}(2)=12$ and thus our statement folds for $n=1,2$. Assuming it holds for all integers $\leq n$ and applying the recurrence relations given in Lemma 2.2 we get the result.

The second part is an immediate consequence of the obtained congruence. ∎

Theorem 2.4**.**

Let $m\in\mathbb{Z}\setminus\{0,-1\}$ and consider the sequence ${\bf c}_{m}=(c_{m}(n))_{n\in\mathbb{N}}$. Then $c_{m}(0)=1$ and for $n\in\mathbb{N}_{+}$ we have

[TABLE]

Proof.

First of all, let us note that our theorem is true for $m=1,\pm 2$. This is a consequence of Lemma 2.1 and Corollary 2.3. Let $m\in\mathbb{Z}$ and $|m|>2$. Because $c_{m}(0)=1$ and $c_{m}(1)=2m$, our statement is clearly true for $n=0,1$. We can assume that $n\geq 2$.

We start with the case $m=-3$. From the functional relation $C_{-3}(x)=C_{-2}(x)C_{-1}(x)$ we immediately get the identity

[TABLE]

Let us observe that for $i\in\{1,\ldots,n-1\}$, from Lemma 2.1 and Corollary 2.3, we obtain the inequality

[TABLE]

In consequence, from Lemma 2.2, we get

[TABLE]

It is clear that $4+t_{n}-t_{n-1}\not\equiv 0\ (\mathrm{mod}\ 8)$. Thus, we get the equality $\nu_{2}(c_{-3}(n))=\nu_{2}(4+t_{n}-t_{n-1})$ and the result follows for $m=-3$.

We are ready to prove the general result. At first, we prove it for even numbers $m$. We proceed by induction on $|m|$. As we have already proved, our theorem is true for $m=\pm 2$. Let us assume that it is true for each $m$ satisfying $|m|<2M$. Let $|m|=2M$ and write $m=4k+r$ for some $k\in\mathbb{Z}$ and $r\in\{0,2\}$.

If $m=4k$, then from the identity $C_{4k}(x)=C_{2k}(x)^{2}$ we get the expression

[TABLE]

From the induction hypothesis (notice, that $|4k|>|2k|$) we have $\nu_{2}(c_{2k}(i)c_{2k}(n-i))=2(\nu_{2}(2k)+1)>\nu_{2}(2c_{2k}(n))=\nu_{2}(2k)+2$. In consequence $\nu_{2}(c_{m}(n))=\nu_{2}(c_{4k}(n))=\nu_{2}(2c_{2k}(n))=\nu_{2}(2k)+2=\nu_{2}(4k)+1$. The obtained equality finishes the proof in the case $m\equiv 0\ (\mathrm{mod}\ 4)$.

Similarly, if $m=4k+2$ is positive, we use the identity $C_{4k+2}(x)=C_{4k}(x)C_{2}(x)$, and get

[TABLE]

Observe, that $|4k+2|>|4k|$. From the equalities $\nu_{2}(c_{2}(n))=\nu_{2}(2)+1$ and $\nu_{2}(c_{4k}(n))=\nu_{2}(4k)+1,n\in\mathbb{N}_{+}$, we get $\nu_{2}(c_{4k}(i)c_{2}(n-i))=\nu_{2}(k)+5$ for each $i\in\{1,\ldots,n-1\}$. Thus $\nu_{2}(c_{2}(n)+c_{4k}(n))=\nu_{2}(c_{2}(n))=2=\nu_{2}(4k+2)+1$.

If $m=4k+2$ is negative, we use the identity $C_{4k+2}(x)=C_{4(k+1)}(x)C_{-2}(x)$ and proceed in exactly the same way (here we can use the induction hypothesis because $|4k+2|>|4(k+1)|$ since $k<0$).

Thus we can conclude, that the statement is true for all even numbers $m$. We go to odd ones. We have already showed the theorem for $m=-1$ and $m=-3$. Similarly as before, let us write $m=4k+r$ for some $k\in\mathbb{Z}$ and $r\in\{1,3\}$.

If $m=4k+1>0$, then we use the identity $C_{4k+1}(x)=C_{4k}(x)C_{1}(x)$ and get

[TABLE]

From the even case we have $\nu_{2}(c_{4k}(i)c_{1}(n-i))\geq\nu_{2}(4k)+2\geq 4$. Moreover, for $n\in\mathbb{N}_{+}$ we have $\nu_{2}(c_{1}(n))\in\{1,2\}$. Thus

[TABLE]

as we claimed.

If $m=4k+1<0$, we write $m=4(k+1)-3$ and use the identity $C_{4k+1}(x)=C_{4(k+1)}(x)C_{-3}(x)$. Next, using the obtained expression for $\nu_{2}(c_{-3}(n))$ and $\nu_{2}(c_{4(k+1)}(n))$ and the same reasoning as in the positive case we get the result.

If $m=4k+3>0$ we use the identity $C_{4k+3}(x)=C_{4(k+1)}(x)C_{-1}(x)$ which leads us to the expression

[TABLE]

It is clear that $\nu_{2}(c_{4(k+1)}(i)c_{-1}(n-i))>\nu_{2}(c_{4(k+1)}(n)+c_{-1}(n))$ for each $n\in\mathbb{N}_{+}$ and $i\in\{1,\ldots,n-1\}$. In consequence, by induction hypothesis

[TABLE]

Finally,, if $m=4k+3<0$, then we write $4k+3=4(k+1)-1$ and employ the identity $C_{4k+3}(x)=C_{4(k+1)}(x)C_{-1}(x)$. Using the same reasoning as in the previous cases we get the result. ∎

The explicit form of the value of $\nu_{2}(c_{m}(n))$ for $m$ odd allow us to prove the following.

Corollary 2.5**.**

Let $m\in\mathbb{Z}$ be odd and $n\in\mathbb{N}_{+}$. Then $\nu_{2}(c_{m}(2n)-c_{m}(n))=1$.

Proof.

Let us observe that the necessary condition for the inequality $\nu_{2}(c_{m}(2n)-c_{m}(n))>1$ to hold is the condition

[TABLE]

However, if $t_{n}\neq t_{n-1}$, then $t_{n}=-t_{n-1}$ and thus $t_{2n}-t_{2n-1}=t_{n}+t_{n-1}=0$. Similarly, the equality $t_{n}=t_{n-1}$ implies that $t_{n}+t_{n-1}=2t_{n}$ and thus $t_{2n}-t_{2n-1}=2t_{n}\neq 0$. In other words, if $\nu_{2}(c_{m}(n))=1$ then $\nu_{2}(c_{m}(2n))>1$ and vice versa. In consequence we have the equality $\nu_{2}(c_{m}(2n)-c_{m}(n))=1$ and get the result. ∎

Corollary 2.6**.**

Let $m\in\mathbb{N}_{+}$ and suppose that $N\in\mathbb{N}_{+}$ satisfy the condition $\nu_{2}(N)>\nu_{2}(m+1)+1$. Then, the congruence $c_{m}(n)\equiv 0\pmod{N}$ has no solutions.

Let us observe that the sequence $(\nu_{2}(c_{m}(n)))_{n\in\mathbb{N}}$ (for $m$ odd) can be seen alternatively as a solution of the recurrence relation: $w_{m}(0)=0,w_{m}(1)=1,w_{m}(2)=\nu_{2}(m+1)+1$ and

[TABLE]

The above recurrence is an immediate consequence of our explicit formula given in Theorem 2.4. We use it in order to show that the sequence $(\nu_{2}(c_{m}(n)))_{n\in\mathbb{N}}$ is $2$-automatic. However, before we do this we need to recall the notion of a $k$-automatic sequence. More precisely, let $k\in\mathbb{N}_{\geq 2}$ be given. We say that the sequence ${\bf\varepsilon}=(\varepsilon_{n})_{n\in\mathbb{N}}$ is $k$-automatic if and only if the following set

[TABLE]

called the $k$-kernel of ${\bf\varepsilon}$, is finite. If the $k$-kernel of the sequence ${\bf\varepsilon}$ is infinite but finitely generated then we say that our sequence is $k$-regular.

Let us also recall that one of equivalent conditions for automaticity, is the following result of Christol: let $p\in\mathbb{P}$ and $q$ be a power of $p$, and ${\bf a}=(a_{n})_{n\in\mathbb{N}}$ be a sequence over $\mathbb{F}_{q}$. Then ${\bf a}$ is $p$-automatic if and only if the formal power series $\sum_{n=0}^{\infty}a_{n}x^{n}$ is algebraic over $\mathbb{F}_{q}(x)$. The proof can be found in [3] or in recent monograph [1, Theorem 12.2.5].

We are ready to prove that the sequence $(\nu_{2}(c_{m}(n)))_{n\in\mathbb{N}}$ is $2$-automatic for each $m\in\mathbb{Z}\setminus\{0,-1\}$.

Theorem 2.7**.**

For each $m\in\mathbb{Z}\setminus\{0,-1\}$ the sequence $\left(\nu_{2}(c_{m}(n))\right)_{n\in\mathbb{N}_{+}}$ is $2$-automatic.

Proof.

The result is obvious if $m$ is even, because in this case the sequence is ultimately constant by Theorem 2.4. Let us assume that $m$ is odd and denote $\tilde{c}_{m}(n):=\nu_{2}(c_{m}(n))$ for $n\in\mathbb{N}$, and $\tilde{C}_{m}(x):=\sum_{n=0}^{\infty}\tilde{c}_{m}(n)x^{n}$. Theorem 2.4 and the remark given above imply the relations:

[TABLE]

Hence,

[TABLE]

Equivalently:

[TABLE]

so $\tilde{C}_{m}(x)$ is algebraic over $\mathbb{F}_{2}(x)$ and the result follows from Christol’s Theorem. ∎

It is worth to note, that a sequence is $k$-automatic if and only if there exists an automaton for it. Roughly speaking, automaton is a procedure that allow us to compute for each $n\in\mathbb{N}$ the $n$-th member of a sequence by using only the digits in the (unique) representation of $n$ in the base $k$. For more precise definition see [2]. We can either use the convention to read the digits of the base-$k$ representation of $n$ from the highest power of $k$ that appear in the representation to the lowest one (that is, from the right to the left), or conversely, that is, from the lowest (i.e., from the [math]’th power) to the highest one (that is, from the left to the right). It is known, that a given sequence is $k$-automatic in the first convention if and only if it is $k$-automatic in the second one, but automatons may be different depending on the convention.

We can present automatons generating the sequence $(\nu_{p}(c_{m}(n)))_{n\in\mathbb{N}_{+}}$ in both conventions. In the case of even $m$ it is very simple. For odd $m$, they are presented below.

$-$start1$$-$$\nu_{2}(m+1)+1$$1[math]$0,1$[math]1$$0,1

Figure 1. Automaton generating $(\nu_{2}(c_{m}(n)))_{n\in\mathbb{N}_{+}}$ for odd $m$ when reading digits of $n$ from the left to the right.

$1$start\nu_{2}(m+1)+1$$1[math]$0,1$

Figure 2. Automaton generating $(\nu_{2}(c_{m}(n)))_{n\in\mathbb{N}_{+}}$ for odd $m$ when reading digits of $n$ from the right to the left.

Remark 2.8**.**

The second automaton is very similar to the one generating so called period-doubling sequence given by $e_{n}=\nu_{2}(n+1)\ (\mathrm{mod}\ 2)$ for $n\in\mathbb{N}$. This sequence was considered for example in [5]. This similarity is not a coincidence, because the period-doubling sequence can be defined also as the sequence $e_{n}=1-(s_{2}(n)-s_{2}(n-1))\ (\mathrm{mod}\ 2)$, where $s_{2}(n)$ is the number of 1’s in the unique binary expansion of $n$. On the other hand, the value of the quantity $\nu_{2}(c_{m}(n))$ depends on the difference $t_{n}-t_{n-1}$ and hence, because of the equality $t_{n}=(-1)^{s_{2}(n)}$, on the difference $s_{n}-s_{n-1}$.

From the above discussion one can observe, that $e_{n}=1$ if and only if $t_{n}\neq t_{n-1}$. Thus, Theorem 2.4 for odd $m$ can be rewritten as

[TABLE]

for all $n\geq 1$. **

Corollary 2.9**.**

If $m<-1$, then $c_{m}(n)\neq 0$ for $n\in\mathbb{N}$.

Proof.

From our description of the 2-adic valuation of $c_{m}(n)$ given in Theorem 2.4, we see that $\nu_{2}(c_{m}(n))\neq+\infty$ for $n\in\mathbb{N}$. This is equivalent with the non-vanishing of $c_{m}(n)$ for $n\in\mathbb{N}$ and hence the result. ∎

Let us recall that in [7] the sequence $(t_{m}(n))_{n\in\mathbb{N}}$, $m\in\mathbb{N}_{+}$, was investigated. Here $t_{m}(n)$ is the Cauchy convolution of $m$-copies of the PTM sequence, i.e.,

[TABLE]

We characterized the solutions of the equation $t_{3}(n)=0$ in terms of the expansion of $n$ in base 4. In particular, the equation $t_{3}(n)=0$ has infinitely many solutions. Moreover, $t_{m}(n)\neq 0$ for $m$ being power of 2. We also conjectured the non-vanishing of $t_{m}(n)$ for $m\neq 3$ but we were unable to prove such a statement. Thus, the above corollary also shows strong difference of the sequences $(t_{m}(n))_{n\in\mathbb{N}}$ and $(c_{-m}(n))_{n\in\mathbb{N}}$ for $m\in\mathbb{N}_{+}$.

The result obtained in Theorem 2.4 can be also used to prove the following

Corollary 2.10**.**

Let $m\in\mathbb{N}_{+}$ and $U_{m}(n)$ denotes the number of binary partitions of $n$ such the part equal to 1 takes one among $2m+1$ colors and parts $>1$ take one among $m$ colors. Then $U_{m}(n)\equiv 1\ (\mathrm{mod}\ 2)$ for $n\in\mathbb{N}$.

Proof.

From the definition of $U_{m}(n)$ we immediately deduce that $U_{m}(n)=\sum_{i=0}^{n}c_{m}(i)$. Because $c_{m}(0)=1$ and from Theorem 2.4 we know that $c_{m}(n)\equiv 0\ (\mathrm{mod}\ 2)$ for $n\in\mathbb{N}_{+}$, we get that $C_{m}(n)$ is odd for $n\in\mathbb{N}$. ∎

3. The case of $p\in\mathbb{P}_{\geq 3}$

Let $p\in\mathbb{P}_{\geq 3}$ be fixed. In this section we are interested in the computation of the exact formula for the $p$-adic valuations of the elements of the sequence $(d_{m}(n))_{n\in\mathbb{N}}$, where

[TABLE]

and $m\in\mathbb{Z}\setminus\{0\}$ is fixed. Because $p$ is fixed in the sequel in order to simplify the notation a bit we introduce the quantity:

[TABLE]

Let us recall that the number $d_{m}(n)$ counts the number of $p$-ary representations of $n$, where each part $>1$ can take $(p-1)m$ colors and additionally the part equal to 1 can take $pm$ colors. Moreover, in the sequel we will frequently use the following notation:

[TABLE]

where $A$ is given logical formula.

We start with the proof of recurrence relations satisfied by the sequence $(d_{m}(n))_{n\in\mathbb{N}}$ for $m\in\mathbb{N}_{+}$.

Lemma 3.1**.**

Let $m\in\mathbb{N}_{+}$. Then $d_{m}(0)=1$ and for $n\geq 1$ we have the following recurrence relation

[TABLE]

Proof.

In order to get the result it is enough to note the functional identity

[TABLE]

Indeed, we have the following equalities

[TABLE]

Comparing now the coefficients near $x^{n}$ on both sides we see that if $p\nmid n$, then

[TABLE]

and if $p\mid n$, then we have

[TABLE]

Solving for $d_{m}(n)$ we get the result. ∎

In the sequel we will heavily use the notion of congruences between power series. More precisely, let $f(x)=\sum_{n=0}^{\infty}a_{n}x^{n}$ and $g(x)=\sum_{n=0}^{\infty}b_{n}x^{n}$ are formal power series with coefficients in $\mathbb{Z}$ and $M\in\mathbb{N}_{\geq 2}$ be given. We say that $f,g$ are congruent modulo $M$ if and only if for all $n$ the coefficients of $x^{n}$ in both series are congruent modulo $M$. In other words

[TABLE]

It is an easy exercise to prove that for any given $f,F,g,G\in\mathbb{Z}[[x]]$ satisfying $f\equiv g\ (\mathrm{mod}\ M)$ and $F\equiv G\ (\mathrm{mod}\ M)$, we have $f\pm F\equiv g\pm G\ (\mathrm{mod}\ M)$ and $fF\equiv gG\ (\mathrm{mod}\ M)$. Moreover, if $f(0),g(0)\in\{-1,1\}$, then the series for $1/f$ and $1/g$ have integer coefficients and then $\frac{1}{f}\equiv\frac{1}{g}\ (\mathrm{mod}\ M)$. Consequently, in this case we have $f^{k}\equiv g^{k}\ (\mathrm{mod}\ M)$ for all $k\in\mathbb{Z}$.

Now we are ready to state the following.

Lemma 3.2**.**

Let $m=p^{\alpha}k$. Then

[TABLE]

for all $n\geq 1$.

Proof.

From the relation $(1-x)^{p}\equiv 1-x^{p}\ (\mathrm{mod}\ p)$ we get $(1-x)^{p^{\alpha+1}}\equiv(1-x^{p})^{p^{\alpha}}\ (\mathrm{mod}\ p^{\alpha+1})$, and hence,

[TABLE]

This, together with the equality $(1-x)^{pm}H_{m}(x)=(1-x^{p})^{m}H_{m}(x^{p})$ gives

[TABLE]

The above relation simply implies $d_{m}(n)\equiv 0\ (\mathrm{mod}\ p^{\alpha+1})$ if $p\nmid n$, and $d_{m}(n)\equiv d_{m}(n/p)\ (\mathrm{mod}\ p^{\alpha+1})$ if $p\mid n$. Hence, if $n=p^{\beta}l$, then

[TABLE]

Therefore, the only coefficient of the series $H_{m}(x)$ not divisible by $p^{\alpha+1}$ is $d_{m}(0)=1$. ∎

Lemma 3.3**.**

Let $m=p^{\alpha}k$. Then

[TABLE]

for all $n\geq 1$.

Proof.

We use the induction argument. For $n=1$ we have by Lemma 3.1:

[TABLE]

Observe, that if $p\nmid i$ then $p\mid\binom{pm}{i}$. From Lemma 3.2 we also have $p^{\alpha+1}\mid d_{m}(p-i)$ for $i=1,\ldots,p-1$. Hence, $\binom{pm}{i}d_{m}(p-i)\equiv 0\ (\mathrm{mod}\ p^{\alpha+2})$ for $i=1,\ldots,p-1$, so

[TABLE]

Let us assume that the statement is true for all numbers less than some number $n$. We want to prove it for $n$. Lemma 3.1 implies

[TABLE]

In the above computations we used the induction hypothesis, Lemma 3.2 and the congruence $\binom{pm}{pi}\equiv\binom{m}{i}\ (\mathrm{mod}\ p)$ which is a consequence of Lucas theorem. The result follows. ∎

Lemma 3.4**.**

Let $m=p^{\alpha}$. Then

[TABLE]

for all $n\geq 1$ such that $p\nmid n$.

Proof.

Let $n\in\mathbb{N}_{+}$ and assume that $p\nmid n$. Then Lemma 3.1 implies the equality

[TABLE]

If $p\nmid i$ then $p|\binom{pm}{i}$, and by Lemma 3.2 we get the divisibility property $p^{\alpha+1}|d_{m,p}(n-i)$ which holds for $n>i$ . Therefore, if $n<pm$, then the only term in the above sum that may not be divisible by $p^{\alpha+2}$ is the one corresponding to $i=n$, i.e., $(-1)^{n+1}\binom{pm}{n}d_{m,p}(0)=(-1)^{n+1}\binom{pm}{n}$. Similarly, if $n>pm$, then the only such term can be the one corresponding to $i=pm$, i.e., $(-1)^{pm+1}\binom{pm}{pm}d_{m}(n-pm)=d_{m}(n-pm)$. ∎

Now we are ready to prove the following general result concerning the expression of $\nu_{p}(d_{m}(n))$ for $m\in\mathbb{N}_{+}$.

Theorem 3.5**.**

Let $p\in\mathbb{P}_{\geq 3}$ and $m\in\mathbb{N}$. Let $n\in\mathbb{N}_{\geq 1}$ and $n=n_{s}p^{s}+\ldots+n_{t}p^{t}$ be (the unique) representation of $n$ in base $p$. Here $s\leq t$ and $n_{s}\neq 0$. Then

[TABLE]

In particular,

[TABLE]

Proof.

At the beginning observe, that for each $m$ we have $d_{m}(0)=1$, so $\nu_{p}(d_{m}(0))=0$.

Let us assume that $n\geq 1$ and $m=p^{\alpha}$ for some $\alpha\geq 0$. By Lemma 3.2 it is reasonable to consider the sequence ${\bf a}_{\alpha}=(a_{\alpha}(n))_{n\in\mathbb{N}_{+}}$ of elements of $\mathbb{Z}/p\mathbb{Z}$, where

[TABLE]

Lemmas 3.3 and 3.4 imply the following recurrence relations:

[TABLE]

Observe, that if $n<p^{\alpha+1}$ and $p\nmid n$ then

[TABLE]

Thus $a_{\alpha}(n)=\frac{1}{n}\ (\mathrm{mod}\ p)$ for $n<p^{\alpha+1}$ such that $p\nmid n$. If $n$ is arbitrary, then recurrence relations for $a_{\alpha}(n)$ imply

[TABLE]

Write $n=n_{s}p^{s}+\ldots+n_{t}p^{t}$, $s\leq t$, $n_{s}>0$. Then

[TABLE]

(we define $n_{i}=0$ for $i>t$ if required). Observe, that for $M=n_{s}^{-1}\ (\mathrm{mod}\ p)$ we have $MN\equiv 1\ (\mathrm{mod}\ p)$. Hence, $a_{\alpha}(n)=n_{s}^{-1}\ (\mathrm{mod}\ p)$.

From the definition we get

[TABLE]

Hence the result is true if $m$ is a power of $p$ or $m=1$.

If $m=p^{\alpha}k$, where $k\in\mathbb{N}_{+}$ and $p\nmid k$, then

[TABLE]

so

[TABLE]

We note that, if at least two numbers among $a_{1},\ldots,a_{k}$ are non–zero, then by Lemma 3.2 we get $d_{p^{\alpha}}(a_{1})\cdot\ldots\cdot d_{p^{\alpha}}(a_{k})\equiv 0\ (\mathrm{mod}\ p^{\alpha+2})$. Hence, the expression $d_{p^{\alpha}}(a_{1})\cdot\ldots\cdot d_{p^{\alpha}}(a_{k})$ may not be divisible by $p^{\alpha+2}$ only if $a_{j}=n$ for some $j$ and $a_{i}=0$ for all $i\neq j$. Thus

[TABLE]

and our result follows. ∎

One can ask, whether it is possible to give a theorem similar to Theorem 3.5 but for negative integers $m$? In order to give an answer, let us introduce the sequence $(D_{p}(n))_{n=1}^{\infty}$ defined as

[TABLE]

Observe, that

[TABLE]

Therefore, $d_{-1}(n)=D_{p}(n)-D_{p}(n-1)$ for $n\geq 1$, and $d_{-1}(0)=1$. From [11, Lemma 2.3] we get the equality

[TABLE]

We will also need the following simple fact.

Lemma 3.6**.**

Let $i\in\mathbb{N}_{\geq 2}$ and $p\in\mathbb{P}_{\geq 3}$. Then

[TABLE]

Proof.

Let $i\in\mathbb{N}_{\geq 1}$. We always have $i>\nu_{p}(i)$, i.e., $i\geq\nu_{p}(i)+1$. Thus if $i<\nu_{p}(i)+2$, then $i=\nu_{p}(i)+1$. From the Bernoulli’s inequality we get:

[TABLE]

Hence, $p^{\nu_{p}(i)}=2^{\nu_{p}(i)}$, so $\nu_{p}(i)=0$ and thus $i=1$. ∎

We are ready to prove the following analogue of Theorem 3.5.

Theorem 3.7**.**

Let $m\in\mathbb{N}_{\geq 1}$. Then

[TABLE]

In particular,

[TABLE]

Proof.

Firstly, we prove the result for $m=p^{\alpha}$. Observe, that

[TABLE]

because $d_{-1}(0)=1$. From Lemma 3.6 we have for $i\geq 2$:

[TABLE]

Therefore,

[TABLE]

Hence, the result is true when $m$ is a power of $p$ or $m=1$. If $m=p^{\alpha}k$, where $p\nmid k$, then similarly as in the proof of Theorem 3.5 we get:

[TABLE]

The result follows. ∎

Corollary 3.8**.**

If $m\leq-1$, then $d_{m}(n)\neq 0$ for $n\in\mathbb{N}$.

Proof.

From our description of the $p$-adic valuation of $d_{m}(n)$ given in Theorem 3.7, we see that $\nu_{p}(d_{m}(n))\neq+\infty$ for $n\in\mathbb{N}$. This is equivalent with the non-vanishing of $d_{m}(n)$ for $n\in\mathbb{N}$ and hence the result. ∎

As a very surprising corollary from Theorems 3.5 and 3.7 we get the next fact.

Corollary 3.9**.**

If $p\in\mathbb{P}_{\geq 3}$ and $m\in\mathbb{Z}\setminus\{0\}$, then the sequence $\left(\frac{d_{m}(n)}{pm}\ (\mathrm{mod}\ p)\right)_{n\in\mathbb{N}_{+}}$ depends only on the sign of $m$.

4. $p$-automaticity of the sequence $\left(\frac{d_{m}(n)}{pm}\ (\mathrm{mod}\ p)\right)_{n\in\mathbb{N}_{+}}$

For $p\in\mathbb{P}_{\geq 3}$ and $n\in\mathbb{N}_{+}$, let us denote $y_{p}(n):=\frac{d_{m}(n)}{pm}\ (\mathrm{mod}\ p)$ if $m>0$, and $z_{p}(n):=\left(-\frac{d_{m}(n)}{pm}\right){\ (\mathrm{mod}\ p)}$ if $m<0$. In this section we will study the sequences $(y_{p}(n))_{n\in\mathbb{N}_{+}},(z_{p}(n))_{n\in\mathbb{N}_{+}}$ more closely. In particular we prove $p$-automaticity of our sequences.

Let

[TABLE]

i.e., $Y_{p}$ and $Z_{p}$ are the generating functions of the sequences $(y_{p}(n))_{n\in\mathbb{N}_{+}}$ and $(z_{p}(n))_{n\in\mathbb{N}_{+}}$, respectively.

Now we are ready to state the main result of this section.

Theorem 4.1**.**

Both sequences, $(y_{p}(n))_{n\in\mathbb{N}_{+}}$ and $(z_{p}(n))_{n\in\mathbb{N}_{+}}$, are $p$-automatic.

Proof.

By Christol’s Theorem, it is enough to show, that $Y_{p}$ and $Z_{p}$ are both algebraic over $\mathbb{F}_{p}(x)$. First we consider the series $Y_{p}$. Let us denote

[TABLE]

In the proof of Theorem 3.5 it was shown, that the sequence $(y_{p}(n))_{n=1}^{\infty}$ satisfies the following recurrence relations:

[TABLE]

Therefore,

[TABLE]

Equivalently,

[TABLE]

so $Y_{p}$ is indeed algebraic over $\mathbb{F}_{p}(x)$.

For the proof of the case of the sequence $Z_{p}$, notice the following relations:

[TABLE]

The last congruence follows from the fact that $z_{p}(n)\equiv\frac{d_{-1}(n)}{p}\ (\mathrm{mod}\ p)$. Thus (we consider the equalities below as equalities over $\mathbb{F}_{p}$, i.e., modulo $p$)

[TABLE]

because for each $1\leq n\leq p-1$:

[TABLE]

We can write the equation for $Z_{p}$ in an equivalent form as

[TABLE]

so $Z_{p}$ is also algebraic over $\mathbb{F}_{p}(x)$. ∎

The explicit form of the equations satisfied by $Y_{p}$ and $Z_{p}$ allow us to show the strong relation between sequences $(y_{p}(n))_{n\in\mathbb{N}_{+}}$ and $(z_{p}(n))_{n\in\mathbb{N}_{+}}$.

Corollary 4.2**.**

If $p\in\mathbb{P}_{\geq 3}$ and $n\in\mathbb{N}_{\geq 1}$, then:

[TABLE]

Proof.

Summing equations (3) and (4) we get

[TABLE]

Because the [math]th term in the second factor is not divisible by $p$ we need to have

[TABLE]

and this is equivalent to the statement. ∎

In the case of sequences $(y_{p}(n))_{n\in\mathbb{N}_{+}}$ and $(z_{p}(n))_{n\in\mathbb{N}_{+}}$ we can write the automatons down in both conventions (recall the discussion on the end of Section 2). Now we show them for the first of these sequences. In the case of the second one, it is enough to switch $n^{-1}$ into $-n^{-1}$ for all $n=1,\ldots,p-1$. The automaton generating $(y_{p}(n))_{n\in\mathbb{N}_{+}}$ when we read digits from the left to the right is presented below.

$-$start1^{-1}$$2^{-1}$$\vdots$$(p-1)^{-1}$$1$$2$$p-1[math]0,\ldots,p-1$$0,\ldots,p-1$$0,\ldots,p-1

Figure 3. Automaton generating $(y_{p}(n))_{n\in\mathbb{N}}$ when reading digits of $n$ from the left to the right.

On the other side, if we read the digits in the opposite direction we present the corresponding automaton generating $(y_{p}(n))_{n\in\mathbb{N}}$ below.

$-$start1^{-1}$$2^{-1}$$\vdots$$(p-1)^{-1}$$1$$2$$p-1     0,1$$2$$p-1$$0,2$$1$$p-1$$0,p-1$$2$$1

Figure 4. Automaton generating $(y_{p}(n))_{n\in\mathbb{N}}$ when reading digits of $n$ from the right to the left.

More precisely, in the second automaton each arrow with number [math] forms a loop, and each arrow with a number $n\in\{1,\ldots,p-1\}$ goes to the state with $n^{-1}$.

Let us note that in the case $p\geq 3$ the sequence $(\nu_{p}(d_{m}(n)))_{n\in\mathbb{N}}$ is $p$-automatic, which is an immediate consequence of the fact that it is ultimately constant.

Corollary 4.2 can be used to find a relation between numbers $d_{m}(n)$ and $d_{-m}(n)$, and generalize some results obtained previously only for positive $m$. We have the following

Theorem 4.3**.**

For each $p\in\mathbb{P}_{\geq 3}$, $m\in\mathbb{N}_{\geq 1}$ and $n\in\mathbb{N}$ we have

[TABLE]

In particular,

[TABLE]

Proof.

The first part follows from Theorems 3.5 and 3.7, and Corollary 4.2. Indeed,

[TABLE]

The second part is now an immediate consequence of Lemma 3.3. ∎

We group the fact above, Theorems 3.5 and 3.7, and Corollary 3.9 and simply get the following general result.

Corollary 4.4**.**

Let $p\in\mathbb{P}_{\geq 3}$ and $m\in\mathbb{Z}\setminus\{0\}$. Let $n\in\mathbb{N}_{\geq 1}$ and $n=n_{s}p^{s}+\ldots+n_{t}p^{t}$ be its base–$p$ representation, where $s\leq t$ and $n_{s}\neq 0$. Then

[TABLE]

In particular,

[TABLE]

and the sequence $\left(\frac{d_{m}(n)}{pm}\ (\mathrm{mod}\ p)\right)_{n=1}^{\infty}$ does not depend on $m$.

We can apply Corollary 4.4 to the problem that was considered in [11]. Let us define for $p\in\mathbb{P}_{\geq 3}$, $m\in\mathbb{N}_{\geq 1}$ a sequence $(A_{p,m}(n))_{n\in\mathbb{N}}$ as

[TABLE]

The number $A_{p,m}(n)$ counts the number of $p$-ary representations of $n$ such that each part takes one among $m$ colors. The sequence $(A_{p,m}(n))_{n\in\mathbb{N}}$ was thorough studied in [11]. One of main results of the cited paper states that for each $\alpha\in\mathbb{N}_{\geq 1}$ and $n\geq p^{\alpha}$ the following equality holds:

[TABLE]

Using our previous findings we are able to improve the above equality to the following

Theorem 4.5**.**

Let $p\in\mathbb{P}_{\geq 3}$, $\alpha\in\mathbb{N}_{\geq 1}$ and $n\geq p^{\alpha}$. Let $n=\sum_{j=s}^{t}n_{j}p^{j}$, where $s\leq t$ and $n_{s}\neq 0$, be the base-$p$ representation of $n$. Then

[TABLE]

Proof.

The relation on the very end of the proof of Theorem 3.1 from [11] implies that

[TABLE]

(we assume that $n_{j}=0$ for $j<s$). Corollary 4.4 gives

[TABLE]

For the end of the proof it is enough to observe that for each $j\in\{0,\ldots,\alpha-1\}$:

[TABLE]

∎

We finish this section with the following

Theorem 4.6**.**

Let us consider the sequences $(y_{p}(n))_{n\in\mathbb{N}_{+}}$, $(z_{p}(n))_{n\in\mathbb{N}_{+}}$ as the sequences with terms in the set $\{1,\ldots,p-1\}$ and the corresponding ordinary generating functions $Y_{p}(x)$, $Z_{p}(x)$ as the power series in $\mathbb{C}[[x]]$. Then both $Y_{p}$, $Z_{p}$ are analytic in the circle $|x|<1$ and are transcendental over $\mathbb{C}(x)$.

Proof.

Because $y_{p}(n),z_{p}(n)\in\{1,\ldots,p-1\}$ (treated as elements in $\mathbb{Z}$), then it is clear that the series $Y_{p}(x)$ and $Z_{p}(x)$ are absolutely convergent in the set $\{x\in\mathbb{C}:\;|x|<1\}$ and thus define analytic functions. From Corollary 4.2 and the fact that $0<y_{p}(n),z_{p}(n)<p$, we get that $z_{p}(n)=p-y_{p}(n)$ for all $n\in\mathbb{N}_{+}$. Thus simply

[TABLE]

Therefore, in order to get the transcendence of the functions $Y_{p}(x)$ and $Z_{p}(x)$, it is enough to prove it only for $Y_{p}(x)$.

In the proof of Theorem 4.1 we obtained the functional equation for the function $Y_{p}(x)$:

[TABLE]

where $W_{p}(x)=\sum_{n=1}^{p-1}(n^{-1}\mod{p})x^{n-1}$. This equation was proved in fact over $\mathbb{C}$, not only over $\mathbb{F}_{p}$ (because all equalities in this case were ’true’ equalities, i.e., not equalities modulo $p$).

The transcendence of $Y_{p}$ will be consequence of a general result of Nishioka [9]. This result says that a power series, say $f$, with rational coefficients, which defines an analytic function in some neighborhood of zero and satisfying functional equation of the form $f(x)=A(x)+B(x)f(x^{m})$ for some $m\in\mathbb{N}_{\geq 2}$ and functions $A,B\in\mathbb{C}(x)$, is either rational of transcendental. In the light of this remark we see, that in order to get transcendence of $Y_{p}$ it is enough to prove that our function is not rational.

Let us suppose that $Y_{p}(x)$ is rational, i.e., $Y_{p}(x)=P(x)/Q(x)$ for some $P,Q\in\mathbb{C}[x]$ with $\gcd(P(x),Q(x))=1$. Putting the expression for $Y_{p}$ into the functional equation and clearing the denominators we get the equation:

[TABLE]

From the above equation we get $Q(x^{p})\mid(1-x^{p})x^{p-1}P(x^{p})Q(x)$. However, the co-primality of the polynomials $P(x),Q(x)$ implies co-primality of the polynomials $P(x^{p}),Q(x^{p})$ and thus we get

[TABLE]

Consequently $p\operatorname{deg}Q\leq 2p-1+\operatorname{deg}Q$ and thus $\operatorname{deg}Q\leq 2+\frac{1}{p-1}$. We thus see that the degree of the polynomial $Q$ is bounded by 2.

Let us put $x=1$ in (5). We get that $Q(1)^{2}W_{p}(1)=0$, but $W_{p}(1)>0$, so $Q(1)=0$. In particular, $\deg Q\geq 1$ and we can write $Q(x)=(1-x)S(x)$. Plug it into (5) and get after dividing by $1-x$:

[TABLE]

If $\deg Q=1$, then $S$ is a constant, say $S(x)=S_{0}\neq 0$. Equation (6) implies:

[TABLE]

Observe, that $\deg W_{p}(x)=p-2$. If $\deg P\geq 1$, then the degree of the polynomial of the right hand side of the last equation is equal to $\deg(x^{p-1}P(x^{p}))\geq 2p-1>p-2$, a contradiction. Hence, $\deg P=0$, so we can write $P(x)=P_{0}\neq 0$. Then we get from the last equation:

[TABLE]

that is again a contradiction, since not all coefficients of $W_{p}(x)$ are equal to each other. Thus we may assume that $\deg Q=2$ and $\deg S=1$.

Let us write $S(x)=S_{1}x+S_{0}$. From (6) we get $S(x^{p})\mid x^{p-1}P(x^{p})S(x)$, but $S(x^{p})$ and $P(x^{p})$ are co-prime, so $S(x^{p})\mid x^{p-1}S(x)$. Thus there exists a polynomial $T(x)$ such that $S(x^{p})T(x)=x^{p-1}S(x)$, and by comparing the degrees we get $\deg T=0$. Comparing the coefficients near $x^{p-1}$ implies $S_{0}=0$, i.e., $S(x)=S_{1}x$. Equation (6) implies:

[TABLE]

If $\deg P\geq 2$, then $\deg\left(\frac{1}{S_{1}x}\left(\frac{1-x^{p}}{1-x}P(x)-P(x^{p})\right)\right)=p\deg P-1>p-2$. Hence, $\deg P\leq 1$. Write $P(x)=P_{1}x+P_{0}$. Thus

[TABLE]

that is a contradiction.

Summing up our discussion: we proved that there are no polynomials $P,Q\in\mathbb{C}[x]$ satisfying the equation (5) and thus the function $Y_{p}(x)$ can not be rational. ∎

Remark 4.7**.**

In the above proof, instead of use result of Nishioka, we could use classical result of Fatou: if a power series $\sum_{n=0}^{\infty}a_{n}x^{n}$ with integer coefficients converges inside the unit disk, then it is either rational or transcendental over $\mathbb{C}(x)$ [6]. However, it is clear that the burden of the proof lies in the proof of irrationality of $Y_{p}(x)$. **

An immediate consequence of our result is the following.

Corollary 4.8**.**

The sequences $(y_{p}(n))_{n\in\mathbb{N}_{+}},(z_{p}(n))_{n\in\mathbb{N}_{+}}$ are not periodic.

Proof.

It is clear that the ordinary generating function of a periodic sequence is rational. However, in the theorem above we proved that the ordinary generating functions of our sequences are transcendental. ∎

Remark 4.9**.**

One can investigate further properties of the sequence $(y_{p}(n))_{n\in\mathbb{N}_{+}}$. We note only one property. More precisely, one can easily prove the following summation formula

[TABLE]

5. Further congruences for $d_{m}(pn)-d_{m}(n)$

Observe, that Theorem 3.5 can be viewed as a generalization of Lemma 3.2. Therefore, it is natural to use this more general fact in order to generalize some of results that we have previously obtained. In the sequel, we will need the following lemma, that is a generalization of Wolstenholme’s theorem [12], which says, that for $p\in\mathbb{P}_{\geq 5}$ the following congruence holds

[TABLE]

The Wolstenholme’s theorem is equivalent to the following pair of the congruences

[TABLE]

that will be used in the proof.

Lemma 5.1**.**

Let $m\in\mathbb{N}_{\geq 1}$, $i\in\{0,\ldots,m\}$, $p\in\mathbb{P}_{\geq 3}$. Then

[TABLE]

where $\chi=[p=3]-\left[p=3,\ \nu_{3}(m)\geq 1,\ \nu_{3}\left(\binom{m}{i}\right)=0\right]$.

Proof.

The statement is obvious if $i=0$ or $i=m$. Assume $1\leq i\leq m-1$ and denote $\alpha:=\nu_{p}(m)$. Then

[TABLE]

In order to finish the proof, it is enough to show that for each $j$:

[TABLE]

We have

[TABLE]

If $p=3$ and $\nu_{3}(m)$ and $\nu_{3}\left(\binom{m}{i}\right)$ are arbitrary, we are in fact interested in the congruence modulo $p^{\alpha+2}$ instead of $p^{\alpha+3}$. In that case, the quantity in the brackets simplifies to

[TABLE]

so the statement holds. When $p=3$ and additionally $\nu_{3}(m)\geq 1$ and $\nu_{3}\left(\binom{m}{i}\right)=0$, then $3^{\alpha+3}\mid 3^{2}m^{2}$, so the expression in the square brackets simplifies in the same way as before. Hence,

[TABLE]

Therefore,

[TABLE]

The conditions $3\mid m$ and $3\nmid\binom{m}{i}$ imply $3\mid i$. Thus

[TABLE]

The proof of this case is complete.

Assume that $p\geq 5$. Wolstenholme’s Theorem implies:

[TABLE]

and

[TABLE]

Therefore,

[TABLE]

Hence, indeed

[TABLE]

and the proof is finished. ∎

Remark 5.2**.**

For $i=1$, it is possible to strengthen the result. Indeed, using the techniques from the proof of Lemma 5.3 we get

[TABLE]

We can repeat the proof of the previous fact and get result modulo $p^{\nu_{p}(m)+\nu_{p}(m-1)+3-\chi}$. Observe, that at most one of the number $\nu_{p}(m)$ and $\nu_{p}(m-1)$ may be non-zero. Hence, if $\nu_{p}(m-1)=0$, we can still apply Lemma 5.3 that is better in this case. Finally, we get

[TABLE]

However, we will not need this fact later. **

Now we want to state a stronger version of Lemma 3.3. Let us define

[TABLE]

Lemma 5.3**.**

Let $p\in\mathbb{P}_{\geq 3}$, $m\in\mathbb{N}_{\geq 1}$. Then $\vartheta_{m}(1)\equiv 0\ (\mathrm{mod}\ p^{2\nu_{p}(m)+3-[p=3]})$ and

[TABLE]

Proof.

We prove only the case $p\geq 5$. If $p=3$, the proof is analogous and in fact simpler because of some additional cancellations. Let us write $m=p^{\alpha}k$, where $p\nmid k$. For $n=1$ we have

[TABLE]

By Lemma 5.1 we get that $p^{2\alpha+3}\mid\binom{pm}{p}-m$. Moreover,

[TABLE]

and using Theorem 3.5 we obtain the congruence

[TABLE]

Thus always $d_{m}(p)\equiv d_{m}(1)\ (\mathrm{mod}\ p^{2\alpha+3})$, i.e., $\vartheta_{m}(1)\equiv 0\ (\mathrm{mod}\ p^{2\alpha+3})$. Now assume, that $n$ is arbitrary. The recurrence relation for $d_{m}(n)$ gives

[TABLE]

where

[TABLE]

At first, we deal with $\Sigma_{1}$. Observe, that if $i=\delta p+\gamma$ for some $\delta\in\mathbb{N}$ and $\gamma\in\{1,\ldots,p-1\}$, then

[TABLE]

Hence,

[TABLE]

Now we focus on $\Sigma_{2}$. We can write:

[TABLE]

because $p^{\alpha+3}\mid\binom{pm}{pn}-\binom{m}{n}$ by Lemma 5.1, and $p^{\alpha+1}\mid d_{m}(p(n-i))$ for $i\neq n$. The result follows. ∎

Remark 5.4**.**

From the above result we can write exact expression for the remainder of the division of $d_{m}(pn)-d_{m}(p)$ by $p^{2\nu_{p}(m)+3-[p=3]}$. More precisely, let

[TABLE]

be the generating function of the sequence $(\vartheta_{m}(n))_{n=0}^{\infty}$. Lemma 5.3 can be restated in the following way:

[TABLE]

Equivalently, due to the identity

[TABLE]

we get the congruence

[TABLE]

Observe, that we can also rewrite the above functional equation for $\Theta_{m}$ as

[TABLE]

Thus simply:

[TABLE]

for all $n\geq 1$. **

Lemma 5.3 allow us to simply get the following theorem concerning the problem of finding natural numbers $k$ such that the congruence $d_{m}(pn)\equiv d_{m}(n)\ (\mathrm{mod}\ p^{\nu_{p}(m)+k})$ holds for all $n\geq 1$.

Theorem 5.5**.**

Let $m\in\mathbb{N}_{\geq 1}$ and $p\in\mathbb{P}_{\geq 3}$. If one of the following conditions holds:

1. (1)

$p\geq 5$, 2. (2)

$p=3$* and $\nu_{3}(m)\geq 1$,*

then the congruence

[TABLE]

is true for all $n\geq 1$.

Proof.

It is easy to check, that if $p$ and $m$ satisfy one of the conditions from the statement then $2\nu_{p}(m)+3-[p=3]\geq\nu_{p}(m)+3$. Lemma 5.3 implies, that in order to prove the theorem, it is enough to show that $p^{\alpha+3}\mid\binom{pm}{pi}-\binom{m}{i}$ for $p$ and $m$ satisfying one of the conditions from the statement, and $i\in\{1,\ldots,m\}$. If $p\geq 5$ it follows directly from Lemma 5.1. Assume $p=3$ and $\nu_{3}(m)\geq 1$. From Lemma 5.1 it is enough to show that then $\nu_{p}\left(\binom{m}{i}\right)+3-\chi\geq 3$, i.e., $\nu_{p}\left(\binom{m}{i}\right)\geq\chi$. If $3\mid i$ this is obvious because $\chi=0$ then. If $3\nmid i$, then $3\mid\binom{m}{i}$, so $\nu_{p}\left(\binom{m}{i}\right)\geq 1=\chi$, so the inequality is also satisfied. ∎

6. Questions, problems and conjectures

In this section we collect some questions, problems and conjectures which appeared during our work.

It is well known that if $k\in\mathbb{N}_{+}$ and $t\equiv 1\ (\mathrm{mod}\ 2)$, then

[TABLE]

(remember $c_{1}(n)=b(2n)$, where $b(n)$ counts the binary partitions of $n$). The above congruences were conjectured by Churchhouse in [4] and independently proved by Rödseth [10] and Gupta [8]. Moreover, it is known that there is no higher power of 2 which divides $c_{1}(4n)-c_{1}(n)$. These results generated a lot of research devoted to certain differences connected with other partition functions. This result motivates the question concerning the divisibility of the number $c_{m}(2^{k+2}n)-c_{m}(2^{k}n)$ by powers of 2. We performed some numerical computations in case of $m\in\{2,3,\ldots,10\}$ and $n\leq 10^{5}$ and believe that the following is true.

Conjecture 6.1**.**

For $k\in\mathbb{N}_{+}$ and each $n\in\mathbb{N}_{+}$, we have:

[TABLE]

Moreover, for $k\in\mathbb{N}$ and $n\in\mathbb{N}_{+}$ the following inequalities hold

[TABLE]

In each case the equality holds for infinitely many $n\in\mathbb{N}$.

In case of $p\in\mathbb{P}_{\geq 3}$ we can use Theorem 5.5 to get some information about the behaviour of the differences $d_{m}(p^{2}n)-d_{m}(n)$ modulo powers of $p$. However, we predict that results obtained in this way are far from being optimal. For example, a direct application of Theorem 5.5 gives

[TABLE]

On the other hand, we believe that the following, much stronger property, is true.

Conjecture 6.2**.**

Assume that $m=pk+i$ for some $k\in\mathbb{N}$ and $i\in\{0,\ldots,p-1\}$. Then we have the following equality:

[TABLE]

In the case $i=p-1$ the following inequality is true:

[TABLE]

For infinitely many values of $n$ the above inequality is an equality.

In the light of results obtained in the previous section it is quite natural to ask about existence of pairs $m\in\mathbb{N}_{+}$ and $k\in\mathbb{N}_{\geq 3}$ such that the following congruence

[TABLE]

holds. We performed numerical search for values of $m\in\{2,\ldots,100\}$ such that the congruence (7) is satisfied for $k=5$ or $k=6$, $p\in\{3,5,\ldots,29\}$ and all $n\leq 10^{3}$. For $k=5$ we found the following pairs

[TABLE]

Among the above pairs only the pairs $(p,m)=(3,80),(3,81)$ extend to solutions of (7) with $k=6$.

We formulate the following general

Problem 6.3**.**

For which triples $(p,m,k)\in\mathbb{P}_{\geq 3}\times\mathbb{N}_{+}\times\mathbb{N}_{\geq 3}$ the congruence (7) holds for all $n\in\mathbb{N}_{+}$?

Let $p\in\mathbb{P}$ and for $n\in\mathbb{N}_{+}$ write $n=\sum_{i=0}^{k}\varepsilon_{i}p^{i}$, where $\varepsilon_{i}\in\{0,1,\ldots,p-1\}$ and $k\leq\log_{p}n$. This representation is just the (unique) $p$-ary expansion of $n$ in base $p$. Let us observe that the equality $\nu_{p}(n)=u$ implies $\varepsilon_{0}=\ldots=\varepsilon_{u-1}=0$ and $\varepsilon_{u}\neq 0$ in the above representation. Thus, if $m\in\mathbb{Z}\setminus\{-1\}$ is fixed, our results concerning the exact value of $\nu_{2}(c_{m}(n))$ and $\nu_{p}(d_{m}(n))$ for $p\in\mathbb{P}_{\geq 3}$ given in Theorem 2.4 and Theorems 3.5 and 3.7 respectively, imply that the set of values of the numbers of trailing zeros in the binary expansion of $c_{m}(n)$ and $p$-ary expansion of $d_{m}(n)),n\in\mathbb{N}_{+}$, is bounded. This observation suggests the question whether the index of the next non-zero digit in the binary expansion in $c_{m}(n)$ or $p$-ary expansion of $d_{m}(n)$ is in bounded distance from the first one. We state this in equivalent form as the following

Question 6.4**.**

Let $m\in\mathbb{N}_{+}$ and write

[TABLE]

where $p\in\mathbb{P}_{\geq 3}$. Does there exist $m\in\mathbb{N}_{+}$ such that some of the sequences $(u_{m}(n))_{n\in\mathbb{N}_{+}},(v_{p,m}(n))_{n\in\mathbb{N}_{+}}$ has finite set of values?

In order to see what is going on, we performed numerical computations for $m\in\{1,\ldots,100\}$ and $n\leq 10^{5}$. We observed that in the considered range there are many values of $m$ such that the set of values of the sequence $(u_{m}(n))_{n\in\mathbb{N}}$ is small (we looked for sets with cardinality $\leq 4$). We define:

[TABLE]

In the table below we present the results of our computations.

[TABLE]

Table 1. Values of $m\in\{1,\ldots,100\}$ such that $L_{m}(10^{5})\leq 4$ together with the largest value of $u_{m}(n)$ for $n\leq 10^{5}$.

Our numerical computations strongly suggest that there should be infinitely many $m\in\mathbb{Z}$ such that the sequence $(u_{m}(n))_{n\in\mathbb{N}}$ is bounded. We even dare to formulate the following

Conjecture 6.5**.**

Let $k\in\mathbb{N}_{+}$ and $m=2^{2k}-1$. Then the sequence $(u_{m}(n))_{n\in\mathbb{N}}$ is bounded.

In fact, we expect that for $n\in\mathbb{N}$ the inequality $u_{2^{2k}-1}(n)\leq 2k$ is true.

In case of $p\in\mathbb{P}_{\geq 3}$ we expect that for all $m\in\mathbb{N}_{+}$ the sequence $(v_{p,m}(n))_{n\in\mathbb{N}_{+}}$ is unbounded.

Finally, let us note that in earlier sections we proved results concerning the $p$-adic behaviour of the sequence $(d_{m}(n))_{n\in\mathbb{N}}$ with $p\in\mathbb{P}$ and $m\in\mathbb{Z}\setminus\{0\}$. A first question which comes to mind is whether anything similar can be proved for the sequence $(S_{k,m}(n))_{n\in\mathbb{N}}$, where $k$ is not a prime number. Here we back to our general definition of $S_{k,m}(n)$ as the $n$-th coefficient in the power series expansion of $H_{k,m}(x)$. We thus ask about the behaviour of $\varphi_{k}(S_{k,m}(n))$, where $\varphi_{k}:\;\mathbb{N}\rightarrow\mathbb{N}$ is an analogue of the $p$-adic valuation function, i.e., for given $n\in\mathbb{N}$ we define

[TABLE]

It is clear that if $k\not\in\mathbb{P}$, then the function $\varphi_{k}$ is not additive. Indeed, if $k=k_{1}k_{2}$ with $k_{1},k_{2}>1$ and $n_{1}=k_{1}u_{1},n_{2}=k_{2}u_{2}$ with $\gcd(u_{1}u_{2},k)=1$, then $\varphi_{k}(n_{1}n_{2})=1\neq\varphi_{k}(n_{1})+\varphi_{k}(n_{2})=0$. However, the question concerning the behaviour of the sequence $(\varphi_{k}(S_{m,k}(n))_{n\in\mathbb{N}}$ is still interesting and non-trivial. Moreover, it seems that in the case of composite $k$ some new phenomena arise. We concentrate on the first non-trivial case, i.e., $k=4$, and formulate several conjectures.

Conjecture 6.6**.**

• (1)

If $m\equiv 6\ (\mathrm{mod}\ 8)$, then the sequence $(\varphi_{4}(S_{4,m}(n)))_{n\in\mathbb{N}}$ is unbounded.

• (2)

If $m\not\equiv 6\ (\mathrm{mod}\ 8)$, then the sequence $(\varphi_{4}(S_{4,m}(n)))_{n\in\mathbb{N}}$ is 4-automatic.

• (3)

If $a_{n}=\varphi_{4}(S_{4,1}(n+1))$, then $a_{0}=a_{7}=1,a_{1}=a_{3}=0$ and

[TABLE]

• (4)

If $b_{n}=\varphi_{4}(S_{4,2}(n+1))$, then $b_{0}=b_{1}=1,b_{3}=2$ and

[TABLE]

• (5)

For $s\in\mathbb{N}_{\geq 2}$ we have

[TABLE]

In particular,

[TABLE]

• (6)

For $s\in\mathbb{N}_{\geq 3}$ and each $m\in\mathbb{N}$ we have

[TABLE]

Our numerical calculations suggest that for $k=p^{a}$ and $m=p^{b},a,b\in\mathbb{N}_{+}$, the sequence of the $p$-adic valuations of $S_{k,m}(n)$ is $p$-automatic (and thus bounded). However, we were unable to formulate such nice formula for the corresponding valuation like in the case $k=4$ and $m=2^{s}$.

Anyway one can state the following general

Problem 6.7**.**

For given $k=p^{a}$, where $p\in\mathbb{P}$ and $a\in\mathbb{N}_{+}$ characterize those values of $m\in\mathbb{N}_{+}$ such that the sequence $(\nu_{p}(S_{k,m}(n)))_{n\in\mathbb{N}}$ is $p$-automatic (is bounded).

Numerical computations suggest the following

Conjecture 6.8**.**

1. (1)

If $k$ is not a power of a prime number, then for each $m\in\mathbb{N}_{+}$ the sequence $(\varphi_{k}(S_{k,m}(n)))_{n\in\mathbb{N}}$ is unbounded. 2. (2)

If $k$ is not a power of a prime number, then for each $m\in\mathbb{N}_{+}$ the sequence $(\varphi_{k}(S_{k,m}(n)))_{n\in\mathbb{N}}$ is not $k$-regular.