Abstract
Let z be a complex number. For any positive integer n it is well known that the sum of the zth powers of the positive divisors of n can be computed without knowing all the divisors of n, if we take into account the factorization of n. In this paper, we rely on the integer partitions of n in order to investigate computational methods for \(\sum _{d|n} (\pm 1)^{d+1}\,d^z\), \(\sum _{d|n} (-1)^{n/d+1}\,d^z\) and \(\sum _{d|n} (-1)^{n/d+d}\,d^z\). To compute these sums of divisors of n, it is sufficient to know the multiplicity of 1 in each partition involved in the computational process. Our methods do not require knowing the divisors of n or the factorization of n. New congruences involving Euler’s partition function p(n) are experimentally discovered in this context.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
For a complex number z, the sum of positive divisors functions \(\sigma _z^\pm (n)\) and \(\widetilde{\sigma }_z^{\pm }(n)\) are defined as the sum of the zth powers of the positive divisors of n as follows:
The origin of the functions \(\sigma _z^-(n)\) and \(\widetilde{\sigma }_{z}^{\pm }(n)\) goes back to Glaisher [6, 7]. In his paper [6], Glaisher defined seven quantities depending on the positive divisors of n and studied the relation among them. For example, the functions \(\sigma _z^-(n)\) and \(\widetilde{\sigma }_{z}^{+}(n)\) can be expressed in terms of \(\sigma _z^+(n)\) as follows [6]:
where \(\sigma _z^+(n)=0\) when n is not a positive integer.
In elementary multiplicative number theory it is well known that one can compute \(\sigma _z^+(n)\) without having to write down all the positive divisors of n. To do this, one can use a formula which is obtained by summing a geometric series. This formula implies knowing the factorization of n. If we write
where \(\omega (n)\) is the number of distinct prime factors of n, \(p_i\) is the ith prime factor, and \(e_i\) is the maximum power of \(p_i\) by which n is divisible, then we have
A composition of a positive integer n is a sequence \(\lambda =(\lambda _1,\lambda _2,\ldots ,\lambda _k)\) of positive integers whose sum is n, i.e.,
The positive integers in the sequence are called parts [2]. When the order of integers \(\lambda _i\) does not matter, the representation (1) is known as an integer partition and can be rewritten as
where each positive integer i appears \(t_i\) times in the partition. As usual, we denote by p(n) the number of integer partitions of n, i.e.,
For consistency, a partition of n will be written with the summands in nonincreasing order. For example, the following are the partitions of 5:
so \(p(5)=7\). For convenience, we define \(p(0)=1\).
It is well-known (cf. [8, p. 231]) that logarithmic differentiation of the generating function for p(n),
yields
This in turn via the Euler’s pentagonal number theorem
gives a way to evaluate \(\sigma _1^+(n)\) that does not involve knowing the divisors of n:
Here and throughout the paper, we use the following customary q-series notation:
Because the infinite product \((a;q)_{\infty }\) diverges when \(a\ne 0\) and \(|q| \geqslant 1\), whenever \((a;q)_{\infty }\) appears in a formula, we shall assume \(|q| < 1\).
Upon reflection, one expects that there might be an infinite family of decompositions of \(\sigma _z^{\pm }(n)\) where (5) is a very special case.
Theorem 1.1
Let z be a complex number. For any positive integers m and n,
where
If \(n\not \equiv 0\pmod m\), then the number \(a_{m,z}^\pm (n)\) satisfies Euler’s recurrence relation for the partition function p(n),
Clearly, \(m^z\cdot a_{m,z}^+(n)\) is the sum of the zth powers of the parts \(\equiv 0\pmod m\) in all the partitions of n, while \(m^z\cdot a_{m,z}^-(n)\) is the difference between the sum of the zth powers of the parts \(\equiv m\pmod {2m}\) and the sum of the zth powers of the parts \(\equiv 0\pmod {2m}\) in all the partitions of n.
In analogy to Theorem 1.1, we have the following result involving \(\widetilde{\sigma }_z^{\pm }(n)\).
Theorem 1.2
Let z be a complex number. For any positive integers m and n,
where
If \(n\not \equiv 0\pmod m\), then the number \(\widetilde{a}_{m,z}^{\pm }(n)\) satisfies Euler’s recurrence relation for the partition function p(n),
When n is odd, we have \(\sigma _{z}^{+}(n)=\sigma _{z}^{-}(n)=\widetilde{\sigma }_{z}^{+}(n)=\widetilde{\sigma }_{z}^{-}(n)\). In this case Theorems 1.1 and 1.2 provide four infinite families of decompositions of \(\sum _{d|n} d^z\). For example, the cases \(z=1\), \(n=3\) and \(m=1,2,3\) of Theorem 1.1 read as follows:
and
The cases \(z=1\), \(n=3\) and \(m=1,2,3\) of Theorem 1.2 read as follows:
and
As can be seen, \(a_{m,z}^{\pm }(n)\) is a sum over the partitions of n which contain at least one part congruent to 0 modulo m. In this context, the following result introduces new interpretations for \(a_{m,z}^{\pm }(n)\).
Theorem 1.3
Let z be a complex number. For any positive integers m and n, we have:
and
In the first equation of Theorem 1.3, \(a_{m,z}^{\pm }(n)\) is a sum over the partitions of n which contain at least one part with multiplicity greater than or equal to m. In the second equation of Theorem 1.3, \(a_{m,z}^{\pm }(n)\) is a sum over the partitions of n in which the multiplicity of 1 is greater than or equal to m. By the second equation, we easily deduce that \(a_{m,z}^{\pm }(n)\) can be written as a sum over all the partitions of \(n-m\).
Corollary 1.4
Let z be a complex number. For any positive integers m and n,
where \(k=n-m\).
For example, by (2) we see that \(2\,a_{2,1}^+(5)\), the sum of the even parts in all the partitions of 5, is
According to Corollary 1.4, we can compute \(a_{2,1}^+(5)\) considering the multiplicity of 1 in all the partitions of 3:
We can write:
For a non-negative integer n we denote by \(n_2\) the residue of n modulo 2. Let t be a non-negative integer and let m be a positive integer. It is not difficult to prove that
By Theorem 1.3, we easily derive the following interpretations for \(\widetilde{a}_{m,z}^{\pm }(n)\).
Corollary 1.5
Let z be a complex number and let n be a positive integer. Then
and
In analogy to Corollary 1.4, we have the following result.
Corollary 1.6
Let z be a complex number. For any positive integers m and n,
where \(k=n-m\).
Definition 1
Let z be a complex number. For two positive integers m and n, we define:
-
1.
\(a_{m,z,e}^+(n)\) to be the sum of the zth powers of parts \(\equiv 0 \pmod m\) in all the partitions of n with an even number of parts \(\equiv 0 \pmod m\);
-
2.
\(a_{m,z,o}^+(n)\) to be the sum of the zth powers of parts \(\equiv 0 \pmod m\) in all the partitions of n with an odd number of parts \(\equiv 0 \pmod m\);
-
3.
\(a_{m,z,e}^-(n)\) to be the difference between the sum of the zth powers of parts \(\equiv m\pmod {2m}\) and the sum of the zth powers of parts \(\equiv 0\pmod {2m}\) in all the partitions of n with an even number of parts \(\equiv 0\pmod {m}\);
-
4.
\(a_{m,z,o}^-(n)\) to be the difference between the sum of the zth powers of parts \(\equiv m\pmod {2m}\) and the sum of the zth powers of parts \(\equiv 0\pmod {2m}\) in all the partitions of n with an odd number of parts \(\equiv 0\pmod {m}\);
-
5.
\(b_{m,z}^\pm (n):= a_{m,z,e}^\pm (n) - a_{m,z,o}^\pm (n)\).
It is clear that
and
In analogy to Theorem 1.3, we remark the following interpretation for \(b_{m,z}^\pm (n)\).
Theorem 1.7
Let z be a complex number and let m and n be positive integers. Then
The following result shows that the partition function \(b_{m,z}^\pm (n)\) is closely related to \(\widetilde{a}_{m,z}^{\pm }(n)\).
Theorem 1.8
Let z be a complex number and let m and n be positive integers. Then
The remainder of the paper is organized as follows. In Sect. 2, we will prove Theorems 1.1 and 1.2. Theorems 1.3, 1.7 and 1.8 will be proved in Sects. 4–6. Our proof of these theorems relies on generating functions. Combinatorial proofs of these theorems would be very interesting. In the last section, we will present a collection of Ramanujan-type congruences for \(a_{m,1}^+(n)\) and seven congruence identities involving Euler’s partition function p(n). These were experimentally discovered and remain open problems.
2 Proof of Theorems 1.1 and 1.2
It is well known that the generating functions for \(\sigma _z^{\pm }(n)\) and \(\widetilde{\sigma }_z^{\pm }(n)\) are given by
and
More details can be found in [6, 7]. To obtain the generating functions for \(a_{m,z}^\pm (n)\) and \(\widetilde{a}_{m,z}^{\pm }(n)\), we can write:
and
By (6) and (7), with q replaced by \(q^m\), we have:
and
where we have invoked (8), (9) and Euler’s pentagonal number theorem (4). The proof follows easily considering Cauchy’s multiplication of two power series.
3 Truncated forms of Theorems 1.1 and 1.2
While investigating a truncated form of Euler’s pentagonal number theorem (4), Andrews and Merca [3] introduced the partition function \(M_k(n)\), which counts the number of partitions of n where k is the least positive integer that is not a part and there are more parts \(>k\) than there are parts \(<k\). For example, we have \(M_3(18)=3\) because the three partitions in question are
Recently, Xia and Zhao [9] introduced a new truncated version of Euler’s pentagonal number theorem (4) and defined \(\widetilde{P}_k(n)\) to be the number of partitions of n in which every part \(\leqslant k\) appears at least once and the first part larger that k appears at least \(k + 1\) times. For example, \(\widetilde{P}_2(17)=9\), and the partitions in question are:
We consider the partition functions \(M_k(n)\) and \(\widetilde{P}_k(n)\) in order to show that Theorems 1.1 and 1.2 are limiting cases of more general results.
Theorem 3.1
Let z be a complex number. For any positive integers k, m and n, we have:
and
where \(\sigma _{z}^{\pm }(x)=0\) when x is not a positive integer.
Proof
In [3], Andrews and Merca considered Euler’s pentagonal number theorem (4) and they proved the following truncated form: For any \(k\geqslant 1\),
where
We note that the series on the right hand side of (10) is the generating function for \(M_k(n)\), i.e.,
Multiplying both sides of (10) by
we obtain
The proof of the first identity follows easily considering Cauchy’s multiplication of two power series.
The proof of the second identity is quite similar to the proof of the first identity. In [9], Xia and Zhao considered Euler’s pentagonal number theorem (4) and proved the following truncated form:
Multiplying both sides of (13) by (12), we obtain
where we have invoked the generating function for \(\widetilde{P}_k(n)\) [9],
The proof of the second identity follows easily considering Cauchy’s multiplication of two power series. \(\square \)
Two infinite families of linear inequalities involving \(a_{m,z}^+(n)\) can be easily obtained as an immediate consequence of Theorem 3.1 when z is a real number.
Corollary 3.2
Let z be a real number. For any positive integers k, m and n, we have:
and
where \(\sigma _{z}^{+}(x)=0\) when x is not a positive integer.
As a consequence of this corollary, we remark the following infinite family of double inequalities.
Corollary 3.3
Let z be a real number. For any positive integers k, m and n, we have:
In analogy to Theorem 3.1 and Corollary 3.2, we have the following results involving \(\widetilde{\alpha }_{m,z}^{\pm }(n)\).
Theorem 3.4
Let z be a complex number. For any positive integers k, m and n, we have:
and
where \(\widetilde{\sigma }_{z}^{\pm }(x)=0\) when x is not a positive integer.
Proof
The proof is quite similar to the proof of Theorem 3.1, so we omit the details. \(\square \)
Corollary 3.5
Let z be a real number. For any positive integers k, m and n, we have:
and
where \(\widetilde{\sigma }_{z}^{+}(x)=0\) when x is not a positive integer.
As a consequence of this corollary, we remark the following infinite family of double inequalities.
Corollary 3.6
Let z be a real number. For any positive integers k, m and n, we have:
4 Proof of Theorems 1.3
By (8), we see that the expression of the generating function for the left-hand side of our identity is
To obtain the generating function for the right-hand side of the first identity, we can write:
Considering that
we obtain
and the first identity is proved.
To obtain the generating function for the right-hand side of the second identity, we can write:
This concludes the proof.
5 Proof of Theorem 1.7
The generating function for the left-hand side of our identity is given by
In a similar way, we obtain the generating function for the right-hand side of our identity:
We have
and
Hence
This concludes the proof.
6 Proof of Theorem 1.8
The following theta identity is often attributed to Gauss [2, p. 23, Eq. (2.2.12)]:
By this identity, with q replaced by \(q^m\) we get:
According to (15) and (17), we can write:
The proof of Theorem 1.8 follows easily considering Cauchy’s multiplication of two power series.
Recall that, the reciprocal of the product in (16) is the generating function for the number of the overpartitions of n. An overpartition is an ordinary partitions with the added condition that the first appearance of any part may be overlined or not [5]. Thus there are eight overpartitions of 3:
While investigating a truncated form of (16), Andrews and Merca [4] defined \(\overline{M}_k(n)\) to be the number of overpartitions of n in which the first part larger than k appears at least \(k+1\) times. For example, \(\overline{M}_2(12) =16\), and the overpartitions in question are:
We have the following truncated form of Theorem 1.8.
Theorem 6.1
Let z be a complex number and let k, m and n be positive integers. Then
Proof
Andrews and Merca considered the identity (16) and provided in [4, Theorem 7] the following result: for \(k>0\),
Take into account that the generating function of \(\overline{M}_k(n)\) is given by
we can write
By this identity, with q replaced by \(q^m\), we obtain
Multiplying both sides of (18) by
we deduce that
The proof follows easily by considering Cauchy’s multiplication of two power series. \(\square \)
7 Experimental results and open problems
It is well known that the logarithmic differentiation of the generating function of p(n) allows us to derive a classical formula that combines the functions p(n) and \(\sigma _1^+(n)\):
By the equations (6) - (9), we obtain the following expressions for the generating functions of \(a_{m,z}^\pm (n)\) and \(\widetilde{a}_{m,z}^{\pm }(n)\):
and
By these relations, we easily derive the following generalization of (19).
Theorem 7.1
Let z be a complex number. For any positive integers m and n, we have:
and
Ramanujan discovered various surprising congruences for p(n) when n is in certain special arithmetic progressions. For example:
Surprisingly there do not seem to be any such congruences modulo 2 or 3. In fact, one of the unsolved problems in the theory of integer partitions is to find a simple criterion for deciding whether Euler’s partition function p(n) is even or odd.
In the following subsections, we present a collection of conjectures involving Ramanujan type congruences for \(a_{m}^+(n)\). We verified the statement of these conjectures numerically up to \(10^7\).
7.1 Congruences modulo 2
Let \(\mathcal {M}_2=\{5,7,11,13,17,19,23\}\) be a set of prime numbers. For each \(m\in \mathcal {M}_2\), we define the set \(\mathcal {R}_{2,m}\) as follows:
For each \(m\in \mathcal {M}_2\), we see that \(|\mathcal {R}_{2,m}|=\lfloor m/2 \rfloor \). Related to the parity of our partition function \(a_{m,1}^\pm (n)\), there is a substantial amount of numerical evidence to state the following conjectures.
Conjecture 1
Let \(m\in \mathcal {M}_2\) and let n be a nonnegative integer such that \(n\equiv \mathcal {R}_{2,m} \pmod {2m}\). Then
Conjecture 2
Let \(m\in \{7,17,23\}\) and let n be a positive integer such that \(n\equiv \{4,14,34,44\} \pmod {50}\). Then
Conjecture 3
Let n be a positive integer such that \(n\equiv 4 \pmod {10}\). Then
It is well known that \(\sigma _1^\pm (n) \equiv 1 \pmod 2\) if and only if n is a square or twice square. Assuming Conjectures 1–3 and considering Theorem 7.1, we easily derive the following identities.
Conjecture 4
Let n be a nonnegative integer.
-
(a)
If \(m\in \mathcal {M}_2\) and \(n\equiv \mathcal {R}_{2,m} \pmod {2\,m}\), then
$$\begin{aligned} \sum _{k=1}^\infty p\left( n-mk^2\right) \equiv \sum _{k=1}^\infty p\left( n-2mk^2\right) \pmod 2. \end{aligned}$$ -
(b)
If \(m\in \{7,17,23\}\) and \(n\equiv \{4,14,34,44\} \pmod {50}\), then
$$\begin{aligned} \sum _{k=1}^\infty p\left( n-mk^2\right) \equiv \sum _{k=1}^\infty p\left( n-2mk^2\right) \pmod 2. \end{aligned}$$ -
(c)
If \(n\equiv 4 \pmod {10}\), then
$$\begin{aligned} \sum _{k=1}^\infty p\left( n-25k^2\right) \equiv \sum _{k=1}^\infty p\left( n-50k^2\right) \pmod 2. \end{aligned}$$
7.2 Congruences modulo 3
Let \(\mathcal {M}_3=\{7,13,19\}\) be a set of prime numbers. For each \(m\in \mathcal {M}_3\), we define the set \(\mathcal {R}_{3,m}\) as follows:
For each \(m\in \mathcal {M}_3\), we see that \(|\mathcal {R}_{3,m}|=\lfloor m/2 \rfloor \). There is a substantial amount of numerical evidence to state the following conjectures related to congruences modulo 3.
Conjecture 5
Let \(m\in \mathcal {M}_3\) and let n be a nonnegative integer such that \(n\equiv \mathcal {R}_{3,m} \pmod {3m}\). Then
Conjecture 6
Let n be a positive integer such that \(n\equiv 4 \pmod {15}\). Then
Let \(\mathcal A\) be the set of the positive integers that are decomposable into \(x^2+xy+y^2\) with \(x,y\in \mathbb {Z}\) and let \({\mathcal {A}}_1\) be the set of the positive integers that are uniquely decomposable into \(x^2+xy+y^2\) with \(y>x>0\). It is clear that \({\mathcal {A}}_1 \subset {\mathcal {A}}\). According to [1, Theorem 7.1], \(\sigma (k) \not \equiv 0 \pmod 3\) if and only if there are \(x,y\in \mathbb {Z}\) such that \(k= x^2+xy+y^2\). Inspired by Conjectures 5 and 6, we propose the following open problem.
Conjecture 7
Let n be a nonnegative integer.
-
(a)
If \(m\in \mathcal {M}_3\) and \(n\equiv \mathcal {R}_{3,m} \pmod {3\,m}\), then
$$\begin{aligned} \sum _{k\in {\mathcal {A}}} p(n-mk) + \sum _{k\in {\mathcal {A}}_1} p(n-mk) \equiv 0 \pmod 3. \end{aligned}$$ -
(b)
If \(n\equiv 4 \pmod {15}\), then
$$\begin{aligned} \sum _{k\in {\mathcal {A}}} p(n-25k) + \sum _{k\in {\mathcal {A}}_1} p(n-25k) \equiv 0 \pmod 3. \end{aligned}$$
7.3 Congruences modulo 4
There is a substantial amount of numerical evidence to state the following conjecture related to congruences modulo 4.
Conjecture 8
Let n be a nonnegative integer.
-
(a)
If \(n\equiv \{0,8,12,16,28,32,36,44\} \pmod {68}\), then
$$\begin{aligned} a_{17,1}^\pm (n) \equiv 0 \pmod 4. \end{aligned}$$ -
(b)
If \(n\equiv \{4,44\} \pmod {100}\), then
$$\begin{aligned} a_{17,1}^\pm (n) \equiv 0 \pmod 4. \end{aligned}$$
7.4 Congruences modulo 5
Let \(\mathcal {M}_5=\{2,7,11,13,17,23,31,37,41,47,61,71\}\) be a set of prime numbers. For each \(m\in \mathcal {M}_5\), we define the set \(\mathcal {R}_{5,m}\) as follows:
For each \(m\in \mathcal {M}_5 {\setminus } \{2\}\), we see that \(|\mathcal {R}_{5,m}|=m-1\). There is a substantial amount of numerical evidence to state the following conjecture related to congruences modulo 5.
Conjecture 9
Let \(m\in \mathcal {M}_5\) and let n be a nonnegative integer such that \(n\equiv \mathcal {R}_{5,m} \pmod {5m}\). Then
The characterization of integers k such that \(\sigma (k) \equiv 0 \pmod 5\) is an interesting question.
7.5 Congruences modulo 7
Let \(\mathcal {M}_7=\{5,13,19,29,43\}\) be a set of prime numbers. For each \(m\in \mathcal {M}_7\), we define the set \(\mathcal {R}_{7,m}\) as follows:
For each \(m\in \mathcal {M}_7\), we see that \(|\mathcal {R}_{7,m}|=m-1\). There is a substantial amount of numerical evidence to state the following conjecture related to congruences modulo 7.
Conjecture 10
Let \(m\in \mathcal {M}_7\) and let n be a nonnegative integer such that \(n\equiv \mathcal {R}_{7,m} \pmod {7m}\). Then
7.6 Congruences modulo 11
There is a substantial amount of numerical evidence to state the following conjecture related to congruences modulo 11.
Conjecture 11
Let n be a positive integer such that
Then
7.7 Congruences modulo 13
Let \(\mathcal {M}_{13}=\{5,7,13\}\) be a set of prime numbers. For each \(m\in \mathcal {M}_{13}\), we define the set \(\mathcal {R}_{13,m}\) as follows:
There is a substantial amount of numerical evidence to state the following conjecture related to congruences modulo 13.
Conjecture 12
Let \(m\in \mathcal {M}_{13}\) and let n be a nonnegative integer such that \(n\equiv \mathcal {R}_{13,m} \pmod {13m}\). Then
References
Amdeberhan, T., Moll, V.H., Sharma, V., Villamizar, D.: Arithmetic properties of the sum of divisors. J. Number Theory 223, 325–349 (2021)
Andrews, G.E.: The Theory of Partitions. Cambridge Mathematical Library. Cambridge University Press, Cambridge (1998) (Reprint of the 1976 original)
Andrews, G.E., Merca, M.: The truncated pentagonal number theorem. J. Combin. Theory Ser. A 119, 1639–1643 (2012)
Andrews, G.E., Merca, M.: Truncated theta series and a problem of Guo and Zeng. J. Combin. Theory Ser. A 154, 610–619 (2018)
Corteel, S., Lovejoy, J.: Overpartitions. Trans. Am. Math. Soc. 356, 1623–1635 (2004)
Glaisher, J.W.L.: On certain sums of products of quantities depending upon the divisors of a number. Mess. Math. 15, 1–20 (1885)
Glaisher, J.W.L.: On the representations of a number as the sum of two, four, six, eight, ten, and twelve squares. Quart. J. Math. 38, 1–62 (1907)
Rademacher, H.: Topics in Analytic Number Theory. Springer, Berlin (1973)
Xia, E.X.W., Zhao, X.: Truncated sums for the partition function and a problem of Merca. Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Math. RACSAM 116, 22 (2022)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Merca, M. From sums of divisors to partition congruences. Rev. Real Acad. Cienc. Exactas Fis. Nat. Ser. A-Mat. 118, 115 (2024). https://doi.org/10.1007/s13398-024-01617-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s13398-024-01617-9