Schur's determinants and partition theorems.
Let spt(n) denote the total number of appearances of the smallest parts in all the partitions of n. Recently, we found new combinatorial interpretations of congruences for the spt-function modulo 5 and 7. These interpretations were in terms of a restricted set of weighted vector partitions which we call S-partitions. We prove that the number of self-conjugate S-partitions, counted with a certain weight, is related to the coefficients of a certain mock theta function studied by the first author,...
Let p3(n) denote the number of 3-component multipartitions of n. Recently, using a 3-dissection formula for the generating function of p3(n), Baruah and Ojah proved that for n ≥ 0, p3(9n + 5) ≡ 0 (mod 33) and p3 (9n + 8) ≡ 0 (mod 34). In this paper, we prove several congruences modulo powers of 3 for p3(n) by using some theta function identities. For example, we prove that for n ≥ 0, p3 (243n + 233) ≡ p3 (729n + 638) ≡ 0 (mod 310).
Euler's pentagonal number theorem was a spectacular achievement at the time of its discovery, and is still considered to be a beautiful result in number theory and combinatorics. In this paper, we obtain three new finite generalizations of Euler's pentagonal number theorem.
Let denote the number of overpartitions of n in which only odd parts are used. Some congruences modulo 3 and powers of 2 for the function have been derived by Hirschhorn and Sellers, and Lovejoy and Osburn. In this paper, employing 2-dissections of certain quotients of theta functions due to Ramanujan, we prove some new infinite families of Ramanujan-type congruences for modulo 3. For example, we prove that for n, α ≥ 0, .
We study integer partitions with respect to the classical word statistics of levels and descents subject to prescribed parity conditions. For instance, a partition with summands may be enumerated according to descents while tracking the individual parities of and . There are two types of parity levels, E = E and O = O, and four types of parity-descents, E > E, E > O, O > E and O > O, where E and O represent arbitrary even and odd summands. We obtain functional equations and explicit...