Abstract
The notion of broken k-diamond partitions was introduced by Andrews and Paule. Let \(\Delta _k(n)\) denote the number of broken k-diamond partitions of n for a fixed positive integer k. Recently, Paule and Radu conjectured that \(\Delta _3(343n+82)\equiv \Delta _3(343n+278)\equiv \Delta _3(343n+327)\equiv 0\ (\mathrm{mod} \ 7)\). Jameson confirmed this conjecture and proved that \(\Delta _3(343n+229)\equiv 0 \ (\mathrm{mod} \ 7)\) by using the theory of modular forms. In this paper, we prove several infinite families of Ramanujan-type congruences modulo 7 for \(\Delta _3(n)\) by establishing a recurrence relation for a sequence related to \(\Delta _3(7n+5)\). In the process, we also give new proofs of the four congruences due to Paule and Radu, and Jameson.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The aim of this paper is to establish several infinite families of Ramanujan-type congruences modulo 7 for broken 3-diamond partitions. In the process, we also present new proofs of four congruences modulo 7 for broken 3-diamond partitions due to Paule and Radu [13], and Jameson [9].
Let us begin with some notation and terminology on q-series and partitions. We use the standard notation
and often write
Recall that the Ramanujan theta function f(a, b) is defined by
where \(|ab|<1\). The Jacobi triple product identity can be restated as
Two special cases of (1.3) are defined by
and
In this paper, for any positive integer n, we use \(f_n\) to denote \(f(-q^n)\), that is,
By (1.4), (1.5) and (1.6), we have
A combinatorial study guided by MacMahon’s Partition Analysis led Andrews and Paule [2] to the construction of a new class of directed graphs called broken k-diamond partitions. Let \(\Delta _k(n)\) denote the number of broken k-diamond partitions of n for a fixed positive integer k. Andrews and Paule [2] established the following generating function of \(\Delta _k(n)\):
Employing generating function manipulations, Andrews and Paule [2] proved that for all integers \(n \ge 0\),
They also gave three conjectures modulo 2, 5 and 25 for \(\Delta _k(n)\). Since then, a number of congruences satisfied by \(\Delta _k(n)\) for small values of k have been proved. Hirschhorn and Sellers [8] established an explicit representation of the generating function for \(\Delta _1 (2n+1)\) which implied (1.10). Mortenson [12] reproved (1.10) by developing a statistic on the partitions enumerated by \(\Delta _1 (2n+1)\) which naturally breaks these partitions into three subsets of equal size. In addition, Hirschhorn and Sellers [8] also provided elementary proofs of four congruences modulo 2 for \(\Delta _1(n)\) and \(\Delta _2(n)\) and one of which was a conjecture due to Andrews and Paule [2]. Radu and Sellers [15] established several infinite families of congruences modulo 3 for \(\Delta _2(n)\). Lin and Wang [11] presented elementary proofs of some results of Radu and Sellers [15]. Chen, Fan and Yu [6] discovered two infinite families of congruences for \(\Delta _2(n) \) modulo 3. Chan [5] found two infinite families of congruences modulo 5 for broken 2-diamond partitions. Radu and Sellers [14] have given numerous beautiful congruence properties for broken k-diamond partitions. Radu and Sellers [16] provided an extensive analysis of the parity of the function \(\Delta _3(n)\), including a number of Ramanujan-like congruences modulo 2. Lin [10] gave elementary proofs of the results due to Radu and Sellers [16]. Cui and Gu [7] proved several infinite families of congruences modulo 2 for \(\Delta _3(n)\). Xia [17] considered congruences modulo 4 for \(\Delta _3(n)\) and proved a conjecture of Radu and Sellers [16]. Yao [19] proved several infinite families of congruences modulo 2 for \(\Delta _{11}(n)\) and generalized some results due to Radu and Sellers [14]. Ahmed and Baruah [1] discovered some parity results for broken 5-diamond, 7-diamond and 11-diamond partitions. Paule and Radu [13] discovered two non-standard infinite families of congruences for broken 2-diamond partitions. They also presented four conjectures related to \(\Delta _3(n)\) and \(\Delta _5(n)\). Xiong [18] proved the following congruence which was a conjecture of Paule and Radu [13]:
Employing the theory of modular forms, Jameson [9] proved the following theorem:
Theorem 1.1
For \(n\ge 0\),
Congruences (1.12), (1.14) and (1.15) were conjectured by Paule and Radu [13] and congruence (1.13) was discovered by Jameson [9].
In this paper, we prove several infinite families of Ramanujan-type congruences modulo 7 for \(\Delta _3(n)\) by establishing a recurrence relation for the coefficients of \(f_1^4f_2^6\). Furthermore, we give a new proof of Theorem 1.1. Our proof mainly relies on (1.11) and some identities involving theta functions due to Ramanujan. The main results of this paper can be stated as follows.
Theorem 1.2
For \(n\ge 0\) and \(k\ge 0\), we have
and
In order to state the following theorem, we introduce the Legendre symbol. Let \(p\ge 3\) be a prime. The Legendre symbol \(\left( \displaystyle \frac{a}{p}\right) \) is defined by
Theorem 1.3
Let \(p\ge 5\) be a prime such that \(\left( \displaystyle \frac{-7}{p}\right) =-1\). For \(n\ge 0\), \(j\ge 0\) and \(k\ge 1\), we have
where \(s\in \{2,\ 3,\ 4,\ 6\}\).
Theorem 1.4
Let \(p\ge 5\) be a prime such that \(\left( \displaystyle \frac{-7}{p}\right) =-1\) and let \(n\ge 0\), \(j\ge 0\) and \(k\ge 1\) be integers. If \(p\not \mid n\), then
This paper is organized as follows: In Sect. 2, we present a new proof of Theorem 1.1 based on (1.11). In Sect. 3, we establish a recurrence relation for a(n) where the generating function of a(n) is \(f_1^4f_2^6\). Moreover, we also derive some generating functions of \(a(An+B)\) modulo 7 for some values of A and B. In Sect. 4, we prove Theorem 1.2 by using the recurrence relation given in Sect. 3. In Sect. 5, we prove Theorems 1.3 and 1.4 by employing the generating functions of \(a(An+B)\) modulo 7.
2 A new proof of Theorem 1.1
By the binomial theory, it is easy to see that for any positive integer k,
where \(\psi (q)\) is defined by (1.8). From Entry 17 (iv) on page 303 in Berndt’s book [3], we have the 7-dissection
where
Therefore, combining (2.2) and (2.3), we get
Extracting the terms in (2.5) that involves \(q^{7n+4}\), dividing the resulting identity by \(q^4\) and then replacing \(q^7\) by q, we deduce that
By (1.4), it is easy to check that
Thanks to (1.8), (2.6) and (2.7),
From Entry 17 (v) on page 303 in [3], we have the 7-dissection
Replacing q by \(q^2\) in (2.9), we get
If we substitute (2.9) and (2.10) into (2.8) and compare relevant powers of q, we obtain (1.12), (1.14), (1.15) and
Congruence (1.13) follows from (2.1) and (2.11). This completes the proof. \(\square \)
3 A recurrence relation of a sequence
In this section, we establish a recurrence relation of a(n), where a(n) is related to \(\Delta _3(7n+5)\) and the generating function of a(n) is \(f_1^4f_2^6\). The recurrence relation plays an important role in this paper. In the process, we also find generating functions for \(a(mn+k)\) for some small values of m and k by using an iterative method, which are helpful in proving Theorems 1.2, 1.3 and 1.4.
Theorem 3.1
Let a(n) be defined by
For \(n\ge 0\), we have
Proof
The following relations are the consequences of dissection formulas of Ramanujan collected in Entry 25 in Berndt’s book [3, p.40]:
and
Substituting (3.3) into (3.1), we have
which yields
If we substitute (3.3) into (3.6) and (3.7), and then extract the even parts and the odd parts in the resulting identity, we get
Similarly, substituting (3.3) into (3.8) and (3.9), and then extracting the even parts and the odd parts in the resulting identity, we have
Substituting (3.4) into (3.12) and (3.13), and then extracting the even parts and the odd parts in the resulting identity, we see that
Substituting (3.3) and (3.4) into (3.14) and (3.15), and then extracting the even parts and the odd parts in the resulting identity, we deduce that
If we substitute (3.3) and (3.4) into (3.18) and (3.19), and then extract the even parts and the odd parts in the resulting identity, we find that
Substituting (3.3) and (3.4) into (3.20) and (3.21), and then extracting the even parts and the odd parts in the resulting identity, we have
Theorem 3.1 follows from (3.6), (3.12) and (3.24). The proof is complete. \(\square \)
4 Proof of Theorem 1.2
In this section, we present a proof of Theorem 1.2. We first prove the following two lemmas.
Lemma 4.1
For \(k\ge 1\),
where \(f(1)=32\), \(f(2)=640\), \(f(3)=5632\), \(f(4)=-186368\) and for \(k\ge 5\),
Proof
We are ready to prove Lemma 4.1 by induction on k. Substituting (3.3) and (3.4) into (3.25), we find that
which yields
By (3.10), (3.16), (3.22) and (4.4), we see that Lemma 4.1 holds when \(k=1,\ 2,\ 3,\ 4\). Now suppose \(k\ge 5\) and that the lemma is true for \(l< k\). Then
and
If in Theorem 3.1 we replace 2n by \(4^{k-3}n+\frac{11\times 4^{k-4}-2}{3}\), we obtain
This lemma is proved by induction. \(\square \)
Employing (3.11), (3.17), (3.23) and Theorem 3.1, we can prove the following lemma:
Lemma 4.2
For \(k\ge 1\),
where \(h(1)=1\), \(h(2)=-4\), \(h(3)=-240\), \(h(4)=1984\) and for \(k\ge 5\),
The proof of Lemma 4.2 is analogous to the proof of Lemma 4.1, and hence is omitted.
Now, we turn to prove Theorem 1.2.
It is easy to check that \(f(2)\equiv 3 \ (\mathrm{mod}\ 7)\), \(f(3)\equiv 4 \ (\mathrm{mod}\ 7)\), \(f(4)\equiv 0 \ (\mathrm{mod}\ 7)\), and for \(k\ge 5\), \(f(k)\equiv 5f(k-2)+2f(k-3)\ (\mathrm{mod}\ 7)\). It follows that the sequence \(\{f(k)\ (\mathrm{mod}\ 7)\}\) is, for \(k \ge 2\),
which is periodic with period 42, and for any integer \(k\ge 0\),
By Lemma 4.1 and (4.10), we see that for \(k\ge 0\) and \(n\ge 0\),
In view of (1.11) and (3.1), we see that for \(n\ge 0\),
Replacing n by \(4^{7k+4}n+\frac{11\times 4^{7k+3}-2}{3}\) in (4.12) and utilizing (4.11), we arrive at the congruence (1.16).
Similarly, we can prove that for \(k\ge 1\),
The proof of (4.13) is analogous to the proof of (4.10), and hence is omitted. It follows from (4.8) and (4.13) that for \(n\ge 0\) and \(k\ge 1 \),
Congruence (1.17) follows from (4.12) and (4.14). This completes the proof. \(\square \)
5 Proofs of Theorems 1.3 and 1.4
In this section, we present proofs of Theorem 1.3 and 1.4. We first prove the following lemma:
Lemma 5.1
Define
Let \(p\ge 5\) be a prime such that \(\big (\frac{-7}{p}\big )=-1\). For \(n\ge 0\),
Proof
The following identity is Euler’s pentagonal number theorem
which is a direct consequence of Jacobi’s triple product identity; see Corollary 1.3.5 on page 12 of Berndt’s book [4]. The following identity is a consequence of the quintuple product identity:
which is Corollary 1.3.22 on page 21 of Berndt’s book [4]. In view of (5.1), (5.3) and (5.4),
Hence,
Note that \(7\alpha ^2+(2\beta )^2\equiv 0\ (\mathrm{mod}\ p)\). Since \(p\ge 5\) is a prime and \(\big (\frac{-7}{p}\big ) = -1\), then \(\alpha \equiv \beta \equiv 0 \ (\mathrm{mod}\ p)\). Set \(\alpha = \big (\frac{-3}{p}\big )p\alpha ^{'}\) and \(\beta = \big (\frac{-3}{p}\big )p\beta ^{'}\). The facts \( \alpha \equiv 1 \ (\mathrm{mod}\ 6)\) and \(\beta \equiv 1 \ (\mathrm{mod}\ 3)\) imply that \( \alpha ^{'} \equiv 1 \ (\mathrm{mod}\ 6)\) and \(\beta ^{'} \equiv 1 \ (\mathrm{mod}\ 3)\). Therefore,
and
Combining (5.5), (5.6), (5.7) and (5.8), we get
This completes the proof of this lemma. \(\square \)
Now, we are ready to prove Theorems 1.3 and 1.4. Replacing n by np in (5.2), we have
By (5.10) and mathematical induction, we find that for \(j\ge 0\),
It follows from (5.2) that if \(p\not \mid n\), then
Replacing n by \(pn+\frac{11(p^2-1)}{12}\) in (5.11) and employing (5.12), we see that if \(p\not \mid n\), then
In view of (5.1) and (5.4), we find that
It is easy to check that if \(\beta \equiv 1 \ (\mathrm{mod}\ 3),\) then
Thus,
Furthermore, \(\frac{\beta ^2-1}{3}\equiv 2 \ (\mathrm{mod}\ 7)\) holds if and only if \(\beta \equiv 0\ (\mathrm{mod}\ 7)\). Therefore,
Replacing n by \(7n+s\) \((s\in \{2,\ 3,\ 4,\ 6\})\) in (5.11) and using (5.16) and (5.17), we deduce that
By (2.1) and (5.1), we see that
In view of (4.1) and (5.19), we see that for \(n\ge 0\),
where f(k) is defined by (4.2). Replacing n by \( p^{2j}(7n+s)+\frac{11(p^{2j}-1)}{12}\) \((s\in \{2,\ 3,\ 4,\ 6\})\) in (5.20) and utilizing (5.18), we see that for \(n\ge 0\), \(k\ge 1\) and \(j\ge 0\),
Similarly, it follows from (5.13) and (5.20) that for \(n\ge 0\), \(k\ge 1\) and \(j\ge 0\),
Congruences (1.19) and (1.20) follow from (4.12), (5.21) and (5.22). This completes the proof. \(\square \).
References
Ahmed, Z., Baruah, N.D.: Parity results for broken 5-diamond, 7-diamond and 11-diamond partitions. Int. J. Number Theory 11, 527–542 (2015)
Andrews, G.E., Paule, P.: MacMahon’s partition analysis XI: broken diamonds and modular forms. Acta Arith. 126, 281–294 (2007)
Berndt, B.C.: Ramanujan’s Notebooks Part III. Springer, New York (1991)
Berndt, B.C.: Number Theory in the Spirit of Ramanujan. American Mathematical Society, Providence (2006)
Chan, S.H.: Some congruences for Andrews–Paule’s broken \(2\)-diamond partitions. Discrete Math. 308, 5735–5741 (2008)
Chen, W.Y.C., Fan, A.R.B., Yu, R.T.: Ramanujan-type congruences for broken 2-diamond partitions modulo 3. Sci. China Math. 57, 1553–1560 (2014)
Cui, S.P., Gu, N.S.S.: Congruences for broken 3-diamond and 7 dots bracelet partitions. Ramanujan J. 35, 165–178 (2014)
Hirschhorn, M.D., Sellers, J.A.: On recent congruence results of Andrews and Paule. Bull. Aust. Math. Soc. 75, 121–126 (2007)
Jameson, M.: Congruences for broken \(k\)-diamond partitions. Ann. Comb. 17, 333–338 (2013)
Lin, B.L.S.: Elementary proofs of parity results for broken 3-diamond partitions. J. Number Theory 135, 1–7 (2014)
Lin, B.L.S., Wang, A.Y.Z.: Elementary proofs of Radu and Sellers’ results for broken 2-diamond partitions. Ramanujan J. 37, 291–297 (2015)
Mortenson, E.: On the broken \(1\)-diamond partition. Int. J. Number Theory 4, 199–218 (2008)
Paule, P., Radu, S.: Infinite families of strange partition congruences for broken 2-diamonds. Ramanujan J. 23, 409–416 (2010)
Radu, S., Sellers, J.A.: Parity results for broken \(k\)-diamond partitions and \((2k+1)\)-cores. Acta Arith. 146, 43–52 (2011)
Radu, S., Sellers, J.A.: Infinitely many congruences for broken 2-diamond partitions modulo 3. J. Comb. Number Theory 4, 195–200 (2013)
Radu, S., Sellers, J.A.: An extensive analysis of the parity of broken \(3\)-diamond partitions. J. Number Theory 133, 3703–3716 (2013)
Xia, E.X.W.: New congruences modulo powers of 2 for broken 3-diamond partitions and 7-core partitions. J. Number Theory 141, 119–135 (2014)
Xiong, X.: Two congruences involving Andrews–Paule’s broken \(3\)-diamond partitions and 5-diamond partitions. Proc. Jpn. Acad., Ser. A (Math. Sci.) 87(5), 65–68 (2011)
Yao, O.X.M.: New parity results for broken 11-diamond partitions. J. Number Theory 140, 267–276 (2014)
Author information
Authors and Affiliations
Corresponding author
Additional information
This work was supported by the National Natural Science Foundation of China (11201188).
Rights and permissions
About this article
Cite this article
Xia, E.X.W. Infinite families of congruences modulo 7 for broken 3-diamond partitions. Ramanujan J 40, 389–403 (2016). https://doi.org/10.1007/s11139-015-9692-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11139-015-9692-x