Open Access

Higher order smallest parts functions and rank-crank moment inequalities from Bailey pairs

Research in Number Theory20162:35

DOI: 10.1007/s40993-016-0063-5

Received: 12 September 2016

Accepted: 18 October 2016

Published: 13 December 2016

Abstract

We generalize a result of Garvan on inequalities and interpretations of the moments of the partition rank and crank functions. In particular for nearly 30 Bailey pairs, we introduce a rank-like function, establish inequalities with the moments of the rank-like function and an associated crank-like function, and give an associated so called higher order smallest parts function. In some cases we are able to deduce inequalities among the rank-like functions. We also conjecture additional inequalities and a large number of congruences for the higher order smallest parts functions.

Keywords

Number theory Partitions Bailey’s lemma Bailey pairs Ranks Cranks Rank moments Crank moments Inequalities Partition inequalities Smallest parts function Spt function Higher order smallest parts function

Mathematics Subject Classification

Primary 11P81 05A17

1 Background

The celebrated Rogers–Ramanujan identities state that
$$\begin{aligned} \sum _{n=0}^\infty \frac{q^{n^2}}{\left( q\right) _{n}}&= \frac{1}{\left( q;q^5\right) _{\infty } \left( q^4;q^5\right) _{\infty } } ,&\sum _{n=0}^\infty \frac{q^{n^2+n}}{\left( q\right) _{n}}&= \frac{1}{\left( q^2;q^5\right) _{\infty }\left( q^3;q^5\right) _{\infty } } , \end{aligned}$$
where here and throughout the article
$$\begin{aligned} (a)_n&\,{:=}\, (a;q)_n = \prod _{j=0}^{n-1}(1-aq^j) ,&(a)_\infty&\,{:=}\, (a;q)_\infty = \prod _{j=0}^{\infty }(1-aq^j) . \end{aligned}$$
While these identities were stated and proved by Rogers in [32], they did not gain attention until they were rediscovered by Ramanujan two decades later. It would be impossible to give here an adequate account of how the Rogers-Ramanujan identities have found their way into various branches of mathematics and related sciences, so we direct the reader to [2, 3, 6, 7, 11, 15, 24, 29]. What we do mention about these identities is that Rogers actually had several more identities of this type, and perhaps most important is that to give uniform proofs of such identities Bailey [13, 14] introduced what would later be known as the Bailey pair machinery. In particular, we recall that a pair of sequences \((\alpha ,\beta )\) form a Bailey pair relative to (aq) if
$$\begin{aligned} \beta _n&= \sum _{k=0}^n \frac{\alpha _k}{\left( q;q\right) _{n-k}\left( aq;q\right) _{n+k}} , \end{aligned}$$
and a limiting form of Bailey’s lemma is that
$$\begin{aligned} \sum _{n=0}^\infty \left( x\right) _{n} \left( y\right) _{n}\left( \frac{aq}{xy}\right) ^n \beta _n&= \frac{\left( \frac{aq}{x}\right) _{\infty } \left( \frac{aq}{y}\right) _{\infty }}{\left( aq\right) _{\infty } \left( \frac{aq}{xy}\right) _{\infty }} \sum _{n=0}^\infty \frac{\left( x\right) _{n} \left( y\right) _{n} \left( \frac{aq}{xy}\right) ^n \alpha _n}{ \left( \frac{aq}{x}\right) _{n} \left( \frac{aq}{y}\right) _{n} } . \end{aligned}$$
By letting \(x,y\rightarrow \infty \) in Bailey’s lemma and plugging in the Bailey pair, relative to (aq), given by
$$\begin{aligned} \beta _n&= \frac{1}{\left( q\right) _{n}} ,&\alpha _n&= \frac{(-1)^n (1-aq^{2n}) \left( a\right) _{n} a^n q^{\frac{n(3n-1)}{2}} }{(1-a)\left( q\right) _{n}} , \end{aligned}$$
one sees that the right hand side sums to the appropriate products for \(a=1\) and \(a=q\), according to the Jacobi triple product identity, so that Bailey has given a uniform proof of both Rogers–Ramanujan identities. After Bailey’s success with the above method, Slater [33, 34] demonstrated the incredible power of Bailey pairs by giving over 100 identities of the Rogers–Ramanujan type by further introducing Bailey pairs where an appropriate choice of x and y would allow the right hand side of Bailey’s lemma to sum to an infinite product.
Besides identities of the Rogers–Ramanujan type, Bailey pairs have found numerous uses in the study of q-series and integer partitions. We discuss two recent uses related to counting the number of smallest parts in integer partitions. For this we recall that a partition of a positive integer n is a non-increasing sequence of positive integers that sum to n; we agree that there is a single partition of 0, which is the empty partition. We let p(n) denote the number of partitions of n. As an example, we see \(p(5)=7\) as the seven partitions of 5 are given by 5, \(4+1\), \(3+2\), \(3+1+1\), \(2+2+1\), \(2+1+1+1\), and \(1+1+1+1+1\). The rank of a partition is given as the largest part minus the number of parts. The crank of a partition is defined as the largest part, if the partition does not contain any ones, and otherwise is the number of parts larger than the number of ones minus the number of ones. Of the partitions of five listed previously we see their respective ranks are 4, 2, 1, 0, \(-1\), \(-2\), and \(-4\), whereas their respective cranks are 5, 0, 3, \(-1\), 1, \(-3\), and \(-5\). We let N(mn) denote the number of partitions of n with rank m and let M(mn) denote the number of partitions of n with crank m. We call the respective generating functions R(zq) and C(zq), that is to say,
$$\begin{aligned} R(z,q)&= \sum _{n=0}^\infty \sum _{m=-\infty }^\infty N (m,n)z^mq^n ,&C (z,q)&= \sum _{n=0}^\infty \sum _{m=-\infty }^\infty M (m,n)z^mq^n . \end{aligned}$$
In [5], Andrews introduced the function \(\mathrm {spt}\left( n\right) \), which counts the total number of appearances of the smallest part in each partition of n. We can think of this as a weighted count on the partitions of n, where the weight is the number of times the smallest part appears. From the partitions of 5 listed above, we see that \(\mathrm {spt}\left( 5\right) =14\). Given a relation with the second moment of the rank function, \(\left( z\frac{\partial }{\partial z}\right) ^2 R(z,q) \big |_{z=1}\), Andrews proved that \(\mathrm {spt}\left( 5n+4\right) \equiv 0\pmod {5}\), \(\mathrm {spt}\left( 7n+5\right) \equiv 0\pmod {7}\), and \(\mathrm {spt}\left( 13n+6\right) \equiv 0\pmod {13}\). These congruences are reminiscent of Ramanujan’s congruences for the partition function \(p(5n+4)\equiv 0\pmod {5}\), \(p(7n+5)\equiv 0\pmod {7}\), and \(p(11n+6)\equiv 0\pmod {11}\). One can easily verify that a generating function for \(\mathrm {spt}\left( n\right) \) is given by
$$\begin{aligned} S(q)&= \sum _{n=0}^\infty \mathrm {spt}\left( n\right) q^n = \sum _{n=1}^\infty \frac{q^n}{(1-q^n)^2 \left( q^{n+1}\right) _{\infty }} . \end{aligned}$$
With this in mind Andrews, Garvan, and Liang [10] introduced a so called spt-crank as the series
$$\begin{aligned} S(z,q)&= \sum _{n=0}^\infty \sum _{m=-\infty }^\infty N_{S}(m,n)z^mq^n = \sum _{n=1}^\infty \frac{q^n \left( q^{n+1}\right) _{\infty } }{ \left( zq^n\right) _{\infty }\left( z^{-1}q^n\right) _{\infty } } . \end{aligned}$$
It is trivial to see that \(S(1,q)=S(q)\). Three facts that are not so trivial to prove are that each \(N_{S}(m,n)\) is a non-negative integer, the 5-dissection of \(S(e^{2\pi i/5},q)\) gives another proof of the congruence \(\mathrm {spt}\left( 5n+4\right) \equiv 0\pmod {5}\), and the 7-dissection of \(S(e^{2\pi i/7},q)\) gives another proof of the congruence \(\mathrm {spt}\left( 7n+5\right) \equiv 0\pmod {7}\). The essential trick for the dissections is to take the following Bailey pair relative to (1, q),
$$\begin{aligned} \beta _n&= \frac{1}{\left( q\right) _{n}} ,&\alpha _n&= \left\{ \begin{array}{ll} 1 &{} \quad {\text { if }} n=0,\\ (-1)^n (1+q^{n}) q^{\frac{n(3n-1)}{2}} &{} \quad {\text { if }} n\ge 1, \end{array}\right. \end{aligned}$$
and apply Bailey’s lemma with \(x=z\) and \(y=z^{-1}\) to deduce that
$$\begin{aligned} (1-z)(1-z^{-1})S(z,q)&= R(z,q)-C(z,q) . \end{aligned}$$
Inspired by this identity, Garvan and the second author [22] investigated smallest parts functions related to overpartitions and partitions without repeated odd parts in terms of spt-cranks and differences between ranks and cranks. Again the essential trick was to apply Bailey’s lemma with \(x=z\) and \(y=z^{-1}\), but with a different Bailey pair. In particular, there we used the Bailey pairs
$$\begin{aligned} \beta _n&= \frac{1}{\left( q^2;q^2\right) _{n}},&\qquad \alpha _n&= \left\{ \begin{array}{ll} 1 &{} \quad \text{ if } n=0, \\ (-1)^n 2 q^{n^2} &{} \quad \text{ if } n\ge 1, \end{array}\right. \\ \beta _n&= \frac{1}{2} \left( \frac{1}{\left( q^2;q^2\right) _{n}}+\frac{(-1)^n}{\left( q^2;q^2\right) _{n}}\right) ,&\alpha _n&= \left\{ \begin{array}{ll} 1 &{} \quad \text{ if } n=0,\\ (-1)^n (1+q^{n^2}) &{} \quad \text{ if } n\ge 1, \end{array}\right. \\ \beta _n&= \frac{1}{\left( -q,q^2;q^2\right) _{n}} ,&\alpha _n&= \left\{ \begin{array}{ll} 1 &{} \quad \text{ if } n=0,\\ (-1)^n 2 q^{2n^2-n}(1+q^{2n}) &{}\quad \text{ if } n\ge 1, \end{array}\right. \end{aligned}$$
of which the first two are relative to (1, q) and the third is relative to \((1,q^2)\). Here we note that the same form of Bailey’s lemma gave four identities for spt-crank functions. It is then natural to ask what would happen if one was to look at all of Slater’s Bailey pairs in this framework of spt-cranks; Garvan and the second author carried this out in a series of articles [23, 26, 27]. This can be compared to Slater’s work, but instead of choosing Bailey pairs that would result in a series that sums to a product by the Jacobi triple product identity, we needed to choose Bailey pairs with \(a=1\) and such that the associated spt-crank-type function dissected nicely at roots of unity. Altogether this process resulted in over 20 spt-crank-type functions and associated spt-type functions with congruences.
Another use of Bailey’s lemma related to smallest parts functions arose in [21], where Garvan considered the ordinary and symmetrized moments of the rank and crank functions,
$$\begin{aligned} N_k(n)&= \sum _{m=-\infty }^{\infty }m^k N(m,n) ,&\eta _{k}(n)&= \sum _{m = -\infty }^{\infty } \left( {\begin{array}{c}m+\left\lfloor \frac{k-1}{2}\right\rfloor \\ k\end{array}}\right) N(m,n) ,\\ M_k(n)&= \sum _{m=-\infty }^{\infty }m^kM(m,n) ,&\mu _{k}(n)&= \sum _{m = -\infty }^{\infty } \left( {\begin{array}{c}m+\left\lfloor \frac{k-1}{2}\right\rfloor \\ k\end{array}}\right) M(m,n) . \end{aligned}$$
Studies of the ordinary moments of the rank and crank function began with the work of Atkin and Garvan in [12], and Andrews introduced \(\eta _{2k}\), the symmetrized moment of the rank, in [4]. Previous to Garvan’s article, it was conjectured that \(M_{2k}(n)>N_{2k}(n)\) for all positive k and n (here only the even moments are of interest as the odd moments are zero). By asymptotics this was known to hold for sufficiently large n for each k [19]. Among Garvan’s results, we highlight three. The first is the following form of the generating function of \(\mu _{2k}(n)-\eta _{2k}(n)\),
$$\begin{aligned} \sum _{n=1}^\infty \left( \mu _{2k}(n)-\eta _{2k}(n)\right) q^n&= \sum _{n_k\ge \cdots \ge n_1\ge 1} \frac{q^{n_1+\cdots +n_k}}{\left( q^{n_1+1}\right) _{\infty }(1-q^{n_1})^2\cdots (1-q^{n_k})^2} , \end{aligned}$$
which clearly exhibits that \(\mu _{2k}(n)\ge \eta _{2k}(n)\) for all k and n, and additionally one can easily determine when the inequality is strict. The second is a formula for writing the ordinary moments as a positive integer linear combination of the symmetrized moments, and in particular \(M_{2k}(n)-N_{2k}(n) \ge \mu _{2}(n)-\eta _{2}(n)\). The last is a family of weighted counts of the partitions of n, \(\mathrm {spt}^{}_{k} \left( n\right) \), the higher order smallest parts function, such that the weighting is clearly non-negative and based on the frequency of the parts of the partitions, \(\mathrm {spt}^{}_{1} \left( n\right) =\mathrm {spt}\left( n\right) \), and \(\mathrm {spt}^{}_{k} \left( n\right) =\mu _{2k}(n)-\eta _{2k}(n)\). Additionally Garvan established a large number of congruences for \(\mathrm {spt}^{}_{k} \left( n\right) \). The linchpin in establishing the generating function for \(\mu _{2k}(n)-\eta _{2k}(n)\) was again a certain form of Bailey’s lemma applied to the Bailey pair
$$\begin{aligned} \beta _n&= \frac{1}{\left( q\right) _{n}} ,&\alpha _n&= \left\{ \begin{array}{ll} 1 &{} \quad \text{ if } n=0,\\ (-1)^n (1+q^{n}) q^{\frac{n(3n-1)}{2}} &{} \quad \text{ if } n\ge 1. \end{array}\right. \end{aligned}$$
Inspired by Garvan’s results, in [25] the second author carried out the same study of differences and inequalities between rank and crank moments related to overpartitions and partitions without repeated odd parts. The upshot was that one needed only choose different Bailey pairs compared to Garvan’s work.

It is now obvious what we are to do next. We are to consider the framework developed by Garvan in [21], but applied to all applicable Bailey pairs of Slater. Again this compares with Slater’s original use of Bailey pairs. As we will see shortly, the requirements for our choice of Bailey pairs are just that \(a=1\); \(\alpha _0=\beta _0=1\); formulaically \(\alpha _{-n}=\alpha _n\); and after multiplying by an infinite product, of our own choice, it is clear that \(\beta _n\) has non-negative coefficients. Our results will mirror that of Garvan’s study of rank and crank moments. For each Bailey pair considered, we will introduce a rank and crank-like function, obtain a generating function for the difference of symmetrized moments which clearly exhibits non-negative coefficients, deduce an inequality for the associated ordinary moments, and then give a weighted count of partitions that agrees with the difference of the symmetrized moments. To demonstrate that this can be applied to Bailey pairs past those in Slater’s list, we also consider one Bailey pair from [16]. Altogether we will give 28 instances of this process.

The rest of the article is organized as follows. In Sect. 2 we give our definitions and main results, which are series identities and inequalities. In Sect. 3 we prove the series identities and inequalities listed in Sect. 2. In Sect. 4 we prove the combinatorial interpretation of the symmetrized rank and crank moment differences, which justifies our definitions of higher order spt functions. In Sect. 5 we end with a few conjectures and remarks.

2 Definitions and statement of main results

For our series identities and inequalities, we need a small number of general identities, all of which are straightforward to prove. These identities have their origins in a combination of classical works on the rank function as well as [4, 21, 25], however here we state and prove them in generality. We combine the main identities into the single following theorem. Given that the proofs primarily already exist in the literature, we will find it takes far longer to state our results than to prove them.

Theorem 2.1

Suppose \((\alpha ,\beta )\) is a Bailey pair relative to (1, q), \(\alpha _0=\beta _0=1\), and \(\alpha _n=\alpha _{-n}\). Here we note that by \(\alpha _n=\alpha _{-n}\), we are treating \(\alpha _n\) as a bilateral sequence by extending \(\alpha _n\) to negative indices according to whatever general formula is given for \(\alpha _n\). Suppose
$$\begin{aligned} R_X(z,q) \,{:=}\, P_{X}(q) \left( 1 + \sum _{n = 1}^{\infty } \frac{\alpha _{n}q^n(1-z)(1-z^{-1})}{(1-zq^n)(1-z^{-1}q^n)} \right)&= \sum _{n=0}^\infty \sum _{m=-\infty }^\infty N_{X}(m,n) z^mq^n , \end{aligned}$$
where \(P_{X}(q)\) is a series in q, and for k a positive integer let
$$\begin{aligned} N^{X}_{k}(n)&= \sum _{m = -\infty }^{\infty } m^kN_{X}(m,n) ,&\eta ^{X}_{k}(n)&= \sum _{m = -\infty }^{\infty } \left( {\begin{array}{c}m+\left\lfloor \frac{k-1}{2}\right\rfloor \\ k\end{array}}\right) N_{X}(m,n) . \end{aligned}$$
Then
$$\begin{aligned} \sum _{n=1}^\infty \eta ^X_{2k}(n) q^n&= -P_X(q) \sum _{n=1}^\infty \frac{\alpha _{n}q^{nk}}{(1-q^n)^{2k}} , \end{aligned}$$
(2.1)
and
$$\begin{aligned} \sum _{n=1}^\infty \mathrm {spt}^{X}_{k} \left( n\right) q^n&\,{:=}\, P_X(q)\left( q\right) _{\infty } \sum _{n=1}^\infty \mu _{2k}(n)q^n - \sum _{n=1}^\infty \eta ^{X}_{2k}(n)q^n \nonumber \\&= P_X(q) \sum _{n_k\ge \cdots \ge n_1\ge 1 } \frac{\left( q\right) _{n_1}^2 \beta _{n_1} q^{n_1+\cdots +n_k} }{(1-q^{n_1})^2\cdots (1-q^{n_k})^2} . \end{aligned}$$
(2.2)
Furthermore, \(N^X_{k}(n)\) and \(\eta ^{X}_{k}(n)\) are zero if k is odd, and the moments for even k are related by the identities
$$\begin{aligned} \eta ^{X}_{2k}(n)&= \frac{1}{(2k)!}\sum _{m=-\infty }^{\infty }g_{k}(m)N_{X}(m,n) ,\end{aligned}$$
(2.3)
$$\begin{aligned} N^{X}_{2k}(n)&= \sum _{j=1}^{k}(2j)!S^*(k,j)\eta ^{X}_{2j}(n) , \end{aligned}$$
(2.4)
where \(g_k(x)=\prod _{j=0}^{k-1}(x^2-j^2)\), and the sequence \(S^*(k,j)\) is defined recursively by \(S^*(k+1,j)=S^*(k,j-1)+j^2S^*(k,j)\) and boundary conditions \(S^*(1,1)=1\) and \(S^*(k,j)=0 \) if \(j\le 0\) or \(j>k\).

Example

We first demonstrate the use of this theorem with a specific Bailey pair. Consider the Bailey pair B(2) of [33],
$$\begin{aligned} \beta _n&= \frac{q^n}{(q)_n} ,&\alpha _n&= {\left\{ \begin{array}{ll} 1 &{} n=0,\\ (-1)^nq^{\frac{3n(n-1)}{2}}(1+q^{3n}) &{} n\ge 1.\\ \end{array}\right. } \end{aligned}$$
We note that using this formula with negative n does give that \(\alpha _{n} = \alpha _{-n}\). Looking to Theorem 2.1, if \(\mathrm {spt}^{X}_{k} \left( n\right) \) is to be a non-negative integer, then we should choose \(P_X(q)=\frac{1}{\left( q\right) _{\infty }}\). From this we now know we should define a rank-like function by
$$\begin{aligned} R_{B2}(z,q)&= \sum _{n=0}^\infty \sum _{m=-\infty }^\infty N_{B2}(m,n)z^mq^n \\&= \frac{1}{\left( q;q\right) _{\infty }} \left( 1 + \sum \limits _{n=1}^\infty \frac{(1-z)(1-z^{-1})(-1)^{n}q^{\frac{n(3n-1)}{2}}(1+q^{3n})}{(1-zq^n)(1-z^{-1}q^n)} \right) , \end{aligned}$$
and we have the associated ordinary and symmetrized moments given by
$$\begin{aligned} N^{B2}_{k}(n)&= \sum _{m = -\infty }^{\infty } m^kN_{B2}(m,n) ,&\eta ^{B2}_{k}(n)&= \sum _{m = -\infty }^{\infty } \left( {\begin{array}{c}m+\left\lfloor \frac{k-1}{2}\right\rfloor \\ k\end{array}}\right) N_{B2}(m,n) . \end{aligned}$$
But then
$$\begin{aligned} \sum _{n=1}\left( \mu _{2k}(n)-\eta ^{B2}_{2k}(n)\right) q^n&= \sum _{n_k\ge \cdots \ge n_1\ge 1 } \frac{q^{2n_1+n_2+\cdots +n_k} }{\left( q^{n_1+1}\right) _{\infty }(1-q^{n_1})^2\cdots (1-q^{n_k})^2} , \end{aligned}$$
and clearly \(\mu _{2k}(n)\ge \eta ^{B2}_{2k}(n)\) for positive k and n. Additionally by taking \(k=1\) and examining the \(n_1=1\) summand,
$$\begin{aligned} \frac{q^2}{\left( q^2\right) _{\infty }(1-q)^2}&= q^2 + 2q^3+ 4q^4 + 7q^5 + 12q^6 + 19q^7 + 30q^8 + \cdots , \end{aligned}$$
we see that \(\mu _{2}(n)> \eta ^{B2}_{2}(n)\) for \(n\ge 2\). To obtain an inequality for the ordinary moments, we make the following observation. The \(S^*(k,j)\) are non-negative integers and \(S^*(k,1)\) is positive for \(k\ge 1\). In particular, we then have that
$$\begin{aligned} M_{2k}(n)-N^{B2}_{2k}(n)&= \sum _{j=1}^{k}(2j)!S^*(k,j)( \mu _{2j}(n)-\eta ^{B2}_{2j}(n)) \ge \mu _{2}(n)-\eta ^{B2}_{2}(n) . \end{aligned}$$
Thus \(M_{2k}(n)>N^{B2}_{2k}(n)\) for all positive k and \(n\ge 2\). Furthermore, we can ask what is the non-negative integer \(\mathrm {spt}^{B2}_{k} \left( n\right) \,{:=}\, \mu _{2k}(n)- \eta ^{B2}_{2k}(n)\) counting in terms of partitions? This is the question we address in Sect. 4.

We now repeat this process with the many relevant Bailey pairs from [33, 34], and tabulate our results in a corollary. In the cases where a Bailey pair would have fractional powers of q, we replace q with the appropriate power of q. It is worth noting that the Bailey pairs B1, E1, and the unlabeled Bailey pair on page 468 of [33] with \(\beta _n=\frac{1}{(-q^{1/2})_{n}\left( q\right) _{n}}\), (which is also F1 with \(q^{1/2}\mapsto -q^{1/2}\)) correspond respectively to the ordinary rank studied by Garvan in [21] and the Dyson rank for overpartitions and the M2-rank for partitions without repeated odd parts studied by the second author studied in [25]. The M2-rank for overpartitions corresponds to a Bailey pair from a specialization of a finite form of the Jacobi triple product identity. As such, we omit these Bailey pairs from our consideration. In labeling our Bailey pairs, we use the existing label in the literature when it exists, otherwise we label the Bailey pairs relative to (1, q) as X1, X2, X3, X4, X5, X6 and the Bailey pairs relative to \((1,q^2)\) as Y1, Y2, Y3, Y4. This labeling is not meant to carry any additional semantic value.

To state our corollary, we first introduce the relevant crank-like functions that will appear. In the cases of a crank that has appeared before in the literature, we follow the existing naming conventions. We let
$$\begin{aligned} C(z,q)&= \frac{\left( q\right) _{\infty }}{\left( zq\right) _{\infty }\left( z^{-1}q\right) _{\infty }} = \sum _{n=0}^\infty \sum _{m=-\infty }^\infty M(m,n)z^mq^n ,\\ \overline{C}(z,q)&= \frac{\left( -q\right) _{\infty }\left( q\right) _{\infty }}{\left( zq\right) _{\infty }\left( z^{-1}q\right) _{\infty }} = \sum _{n=0}^\infty \sum _{m=-\infty }^\infty \overline{M}(m,n)z^mq^n ,\\ C^J(z,q)&= \frac{\left( q\right) _{\infty }}{\left( q^3;q^3\right) _{\infty }\left( zq\right) _{\infty }\left( z^{-1}q\right) _{\infty }} = \sum _{n=0}^\infty \sum _{m=-\infty }^\infty M^J(m,n)z^mq^n ,\\ C^{X6}(z,q)&= \frac{\left( q\right) _{\infty }}{\left( q^2;q^2\right) _{\infty }\left( zq\right) _{\infty }\left( z^{-1}q\right) _{\infty }} = \sum _{n=0}^\infty \sum _{m=-\infty }^\infty M^{X6}(m,n)z^mq^n ,\\ C^F(z,q)&= \frac{\left( q^2;q^2\right) _{\infty }}{\left( zq^2;q^2\right) _{\infty }\left( z^{-1}q^2;q^2\right) _{\infty }} = \sum _{n=0}^\infty \sum _{m=-\infty }^\infty M^F(m,n)z^mq^n ,\\ C^G(z,q)&= \frac{\left( -q;q^2\right) _{\infty }}{\left( zq^2;q^2\right) _{\infty }\left( z^{-1}q^2;q^2\right) _{\infty }} = \sum _{n=0}^\infty \sum _{m=-\infty }^\infty M^G(m,n)z^mq^n ,\\ C^Y(z,q)&= \frac{1}{\left( zq^2;q^2\right) _{\infty }\left( z^{-1}q^2;q^2\right) _{\infty }} = \sum _{n=0}^\infty \sum _{m=-\infty }^\infty M^Y(m,n)z^mq^n ,\\ C^{L2}(z,q)&= \frac{\left( -q\right) _{\infty }\left( q^4;q^4\right) _{\infty }}{\left( zq^4;q^4\right) _{\infty }\left( z^{-1}q^4;q^4\right) _{\infty }} = \sum _{n=0}^\infty \sum _{m=-\infty }^\infty M^{L2}(m,n)z^mq^n . \end{aligned}$$
We note that C(zq) is the ordinary crank of partitions, the moments of which Garvan studied in [21], and the function \(\overline{C}(z,q)\) is known as the (first residual) crank of overpartitions [17]. Since all of these functions are directly related to the ordinary crank, upon defining the moments in the obvious way, which we omit, based on [21] we have the following,
$$\begin{aligned} \sum _{n=1}^\infty \mu _{2k}(n)q^n&= \frac{1}{(q)_{\infty }} \sum \limits _{n=1}^{\infty } \frac{(-1)^{n+1}q^{\frac{n(n-1)}{2}+kn}(1+q^n)}{(1-q^n)^{2k}} ,\\ \sum _{n=1}^\infty \overline{\mu }_{2k}(n)q^n&= \frac{(-q)_{\infty }}{(q)_\infty } \sum _{n=1}^{\infty } \frac{(-1)^{n+1}q^{\frac{n(n-1)}{2}+kn}(1+q^n)}{(1-q^n)^{2k}} ,\\ \sum _{n=1}^\infty \mu ^{J}_{2k}(n)q^n&= \frac{1}{(q^3;q^3)_{\infty }(q)_\infty } \sum _{n=1}^{\infty } \frac{(-1)^{n+1}q^{\frac{n(n-1)}{2}+kn}(1+q^n)}{(1-q^n)^{2k}} ,\\ \sum _{n=1}^\infty \mu ^{X6}_{2k}(n)q^n&= \frac{1}{(q)_\infty (q^2;q^2)_{\infty }} \sum \limits _{n=1}^{\infty } \frac{(-1)^{n+1}q^{\frac{n(n-1)}{2}+kn}(1+q^n)}{(1-q^n)^{2k}} ,\\ \sum _{n=1}^\infty \mu ^{F}_{2k}(n)q^n&= \frac{1}{(q^2;q^2)_{\infty }} \sum _{n=1}^{\infty } \frac{(-1)^{n+1}q^{n(n-1)+2kn}(1+q^{2n})}{(1-q^{2n})^{2k}} ,\\ \sum _{n=1}^\infty \mu ^{G}_{2k}(n)q^n&= \frac{(-q;q^2)_\infty }{(q^2;q^2)^2_\infty } \sum \limits _{n=1}^\infty \frac{(-1)^{n+1}q^{n(n-1)+2kn}(1+q^{2n})}{(1-q^{2n})^{2k}} ,\\ \sum _{n=1}^\infty \mu ^{Y}_{2k}(n)q^n&= \frac{1}{(q^2;q^2)^2_\infty } \sum \limits _{n=1}^\infty \frac{(-1)^{n+1}q^{n(n-1)+2kn}(1+q^{2n})}{(1-q^{2n})^{2k}} ,\\ \sum _{n=1}^\infty \mu ^{L2}_{2k}(n)q^n&= \frac{(-q)_\infty }{(q^4;q^4)_\infty } \sum _{n=1}^\infty \frac{(-1)^{n+1}q^{2n(n-1)+4kn}(1+q^{4n})}{(1-q^{4n})^{2k}} . \end{aligned}$$
We find that the ordinary and symmetrized moments satisfy the same relation as for the rank-like functions. In particular,
$$\begin{aligned} M^X_{2k}(n)&= \sum _{j=1}^{k}(2j)!S^*(k,j)\mu ^X_{2j}(n). \end{aligned}$$
We note that if one wishes to actually compute \(\mu ^{X}_{2k}(n)-\eta ^{X}_{2k}(n)\) numerically, one should do so with the above representation for \(\mu ^{X}_{2k}(n)\) and that of \(\eta ^{X}_{2k}(n)\) in (2.1), rather than by (2.2).

Corollary 2.2

  1. (1)
    Using the Bailey pair A(1) from [33], relative to (1, q),
    $$\begin{aligned} \beta _n&= \frac{1}{(q)_{2n}} ,\quad \alpha _n = {\left\{ \begin{array}{ll} 1 &{} n=0,\\ -q^{6k^2-5k+1} &{} n= 3k-1,\\ q^{6k^2-k}+q^{6k^2+k} &{}n= 3k,\\ -q^{6k^2+5k+1} &{} n=3k+1, \end{array}\right. } \end{aligned}$$
    we define
    $$\begin{aligned} R_{A1}(z,q)&=\frac{1}{\left( q\right) _{\infty }} \left( 1 - \sum \limits _{n=1}^\infty \frac{(1-z)(1-z^{-1})q^{6n^2 - 2n}}{(1-zq^{3n-1})(1-z^{-1}q^{3n-1})} \right. \\&\left. \qquad \qquad \quad - \sum \limits _{n=0}^\infty \frac{(1-z)(1-z^{-1})q^{6n^2+8n + 2}}{(1-zq^{3n+1})(1-z^{-1}q^{3n+1})} \right. \\&\left. \qquad \qquad \quad + \sum \limits _{n=1}^\infty \frac{(1-z)(1-z^{-1})q^{6n^2+2n}(1+q^{2n}) }{(1-zq^{3n})(1-z^{-1}q^{3n})} \right) , \end{aligned}$$
    and obtain
    $$\begin{aligned} \sum \limits _{n=1}^{\infty } \eta ^{A1}_{2k}(n)q^{n}&= \frac{1}{(q)_{\infty }}\left( \sum \limits _{n=1}^\infty \frac{q^{6n^2-5n+1+(3n-1)k}}{(1-q^{3n-1})^{2k}} + \sum \limits _{n=0}^\infty \frac{q^{6n^2+5n+1+(3n+1)k}}{(1-q^{3n+1})^{2k}} \right. \\&\left. \qquad \qquad \qquad \quad - \sum \limits _{n=1}^\infty \frac{q^{6n^2-n+3nk}(1+q^{2n})}{(1-q^{3n})^{2k}} \right) ,\\ \sum _{n = 1}^{\infty } \mathrm {spt}^{A1}_{k} \left( n\right) q^{n}&\,{:=}\, \sum _{n = 1}^{\infty }\left( \mu _{2k}(n)-\eta _{2k}^{A1}(n)\right) q^{n}\\&=\sum \limits _{n_k \ge \cdots \ge n_1 \ge 1} \frac{q^{n_1+\cdots {}+n_k}}{(q^{n_1+1})_{n_1}(q^{n_1+1})_{\infty }(1-q^{n_k})^{2}\ldots {}(1-q^{n_1})^2} . \end{aligned}$$
     
  2. (2)
    Using the Bailey pair A(3) from [33], relative to (1, q),
    $$\begin{aligned} \beta _n&= \frac{q^n}{(q)_{2n}} , \qquad \quad \alpha _n = {\left\{ \begin{array}{ll} 1 &{} n=0,\\ -q^{6k^2-2k} &{} n= 3k-1,\\ q^{6k^2-2k}+q^{6k^2+2k} &{} n= 3k,\\ -q^{6k^2+2k} &{} n=3k+1,\\ \end{array}\right. } \end{aligned}$$
    we define
    $$\begin{aligned} R_{A3}(z,q)&= \frac{1}{\left( q\right) _{\infty }} \Bigg ( 1 - \sum \limits _{n=1}^\infty \frac{(1-z)(1-z^{-1})q^{6n^2+n-1}}{(1-zq^{3n-1})(1-z^{-1}q^{3n-1})} \\&\qquad \qquad \quad - \sum \limits _{n=0}^\infty \frac{(1-z)(1-z^{-1})q^{6n^2+5n+1}}{(1-zq^{3n+1})(1-z^{-1}q^{3n+1})}\\&\qquad \quad \qquad + \sum \limits _{n=1}^\infty \frac{(1-z)(1-z^{-1})q^{6n^2+n}(1+q^{4n})}{(1-zq^{3n})(1-z^{-1}q^{3n})} \Bigg ) , \end{aligned}$$
    and obtain
    $$\begin{aligned} \sum \limits _{n=1}^\infty \eta ^{A3}_{2k}(n)q^n&= \frac{1}{(q)_{\infty }}\left( \sum \limits _{n=1}^\infty \frac{q^{6n^2-2n+(3n-1)k}}{(1-q^{3n-1})^{2k}} + \sum \limits _{n=0}^\infty \frac{q^{6n^2+2n+(3n+1)k}}{(1-q^{3n+1})^{2k}} \right. \\&\left. \qquad \qquad \quad - \sum \limits _{n=1}^\infty \frac{q^{6n^2-2n+3nk}(1+q^{4n})}{(1-q^{3n})^{2k}} \right) ,\\ \sum _{n = 1}^{\infty } \mathrm {spt}^{A3}_{k} \left( n\right) q^{n}&\,{:=}\, \sum _{n = 1}^{\infty }\left( \mu _{2k}(n) - \eta _{2k}^{A3}(n)\right) q^{n}\\&=\sum \limits _{n_k \ge \cdots \ge n_1 \ge 1} \frac{q^{2n_1+n_2+\cdots +n_k}}{(q^{n_1+1})_{n_1}(q^{n_1+1})_{\infty }(1-q^{n_k})^2\cdots (1-q^{n_1})^2} . \end{aligned}$$
     
  3. (3)
    Using the Bailey pair A(5) from [33], relative to (1, q),
    $$\begin{aligned} \beta _n&= \frac{q^{n^2}}{(q)_{2n}} , \quad \alpha _n = {\left\{ \begin{array}{ll} 1 &{} n=0,\\ -q^{3k^2-k} &{} n= 3k-1,\\ q^{3k^2-k}+q^{3k^2+k} &{} n= 3k,\\ -q^{3k^2+k} &{} n=3k+1,\\ \end{array}\right. } \end{aligned}$$
    we define
    $$\begin{aligned} R_{A5}(z,q)&= \frac{1}{\left( q\right) _{\infty }} \Bigg ( 1 - \sum \limits _{n=1}^\infty \frac{(1-z)(1-z^{-1})q^{3n^2+2n-1}}{(1-zq^{3n-1})(1-z^{-1}q^{3n-1})} \\&\qquad \qquad \quad - \sum \limits _{n=0}^\infty \frac{(1-z)(1-z^{-1})q^{3n^2+4n+1}}{(1-zq^{3n+1})(1-z^{-1}q^{3n+1})} \\&\qquad \qquad \quad + \sum \limits _{n=1}^\infty \frac{(1-z)(1-z^{-1})q^{3n^2+2n}(1+q^{2n})}{(1-zq^{3n})(1-z^{-1}q^{3n})} \Bigg ) , \end{aligned}$$
    and obtain
    $$\begin{aligned} \sum \limits _{n=1}^\infty \eta ^{A5}_{2k}(n)q^n&= \frac{1}{(q)_{\infty }} \left( \sum \limits _{n=1}^\infty \frac{q^{3n^2-n+(3n-1)k}}{(1-q^{3n-1})^{2k}} \right. + \sum \limits _{n=0}^\infty \frac{q^{3n^2+n+(3n+1)k}}{(1-q^{3n+1})^{2k}}\\&\quad \quad \quad \quad \quad \left. - \sum \limits _{n=1}^\infty \frac{q^{3n^2-n+3nk}(1+q^{2n})}{(1-q^{3n})^{2k}} \right) ,\\ \sum _{n = 1}^{\infty } \mathrm {spt}^{A5}_{k} \left( n\right) q^{n}&\,{:=}\, \sum _{n = 1}^{\infty }\left( \mu _{2k}(n)-\eta _{2k}^{A5}(n)\right) q^{n}\\&=\sum \limits _{n_k \ge \cdots \ge n_1 \ge 1} \frac{q^{n_1^2+n_1+n_2+\cdots +n_k}}{(q^{n_1+1})_{n_1}(q^{n_1+1})_{\infty }(1-q^{n_k})^2\cdots (1-q^{n_1})^2} . \end{aligned}$$
     
  4. (4)
    Using the Bailey pair A(7) from [33], relative to (1, q),
    $$\begin{aligned} \beta _n&= \frac{q^{n^2-n}}{(q)_{2n}} ,\quad \quad \alpha _n = {\left\{ \begin{array}{ll} 1 &{} n=0, \\ -q^{3k^2-4k+1} &{} n=3k-1, \\ q^{3k^2-2k}+q^{3k^2+2k} &{} n=3k, \\ -q^{3k^2+4k+1} &{} n=3k+1,\\ \end{array}\right. } \end{aligned}$$
    we define
    $$\begin{aligned} R_{A7}(z,q)&= \frac{1}{\left( q\right) _{\infty }} \Bigg ( 1 -\sum \limits _{n=1}^\infty \frac{(1-z)(1-z^{-1})q^{3n^2-n}}{(1-zq^{3n-1})(1-z^{-1}q^{3n-1})} \\&\qquad \qquad \quad - \sum \limits _{n=0}^\infty \frac{(1-z)(1-z^{-1})q^{3n^2+7n+2}}{(1-zq^{3n+1})(1-z^{-1}q^{3n+1})} \\&\qquad \qquad \quad + \sum \limits _{n=1}^\infty \frac{(1-z)(1-z^{-1})q^{3n^2+n}(1+q^{4n})}{(1-zq^{3n})(1-z^{-1}q^{3n})} \Bigg ) , \end{aligned}$$
    and obtain
    $$\begin{aligned} \sum \limits _{n=1}^\infty \eta ^{A7}_{2k}(n)q^n&= \frac{1}{(q)_{\infty }} \left( \sum \limits _{n=1}^\infty \frac{q^{3n^2-4n+1+(3n-1)k}}{(1-q^{3n-1})^{2k}} + \sum \limits _{n=0}^\infty \frac{q^{3n^2+4n+1+(3n+1)k}}{(1-q^{3n+1})^{2k}} \right. \\&\left. \qquad \quad \quad \quad - \sum \limits _{n=1}^\infty \frac{q^{3n^2-2n+3nk}(1+q^{4n})}{(1-q^{3n})^{2k}} \right) ,\\ \sum _{n = 1}^{\infty } \mathrm {spt}^{A7}_{k} \left( n\right) q^{n}&\,{:=}\, \sum _{n = 1}^{\infty }\left( \mu _{2k}(n)-\eta _{2k}^{A7}(n)\right) q^{n}\\&=\sum \limits _{n_k \ge \cdots \ge n_1 \ge 1} \frac{q^{n_1^2+n_2+\cdots +n_k}}{(q^{n_1+1})_{n_1}(q^{n_1+1})_{\infty }(1-q^{n_k})^2\cdots (1-q^{n_1})^2} . \end{aligned}$$
     
  5. (5)
    Using the Bailey pair B(2) from [33], relative to (1, q),
    $$\begin{aligned} \beta _n&= \frac{q^n}{(q)_n} ,&\alpha _n&= {\left\{ \begin{array}{ll} 1 &{} n=0,\\ (-1)^nq^{\frac{3n(n-1)}{2}}(1+q^{3n}) &{} n\ge 1,\\ \end{array}\right. } \end{aligned}$$
    we define
    $$\begin{aligned} R_{B2}(z,q)&= \frac{1}{\left( q\right) _{\infty }} \Bigg ( 1 + \sum \limits _{n=1}^\infty \frac{(1-z)(1-z^{-1})(-1)^{n}q^{\frac{n(3n-1)}{2}}(1+q^{3n})}{(1-zq^n)(1-z^{-1}q^n)} \Bigg ) , \end{aligned}$$
    and obtain
    $$\begin{aligned} \sum \limits _{n=1}^\infty \eta ^{B2}_{2k}(n)q^n&= \frac{1}{(q)_\infty } \sum _{n=1}^\infty \frac{(-1)^{n+1}q^{\frac{3n(n-1)}{2}+nk}(1+q^{3n})}{(1-q^n)^{2k}} ,\\ \sum _{n = 1}^{\infty } \mathrm {spt}^{B2}_{k} \left( n\right) q^{n}&\,{:=}\, \sum _{n = 1}^{\infty }\left( \mu _{2k}(n) -\eta _{2k}^{B2}(n)\right) q^{n}\\&=\sum \limits _{n_k \ge \cdots \ge n_1 \ge 1} \frac{q^{2n_1+n_2+\cdots +n_k}}{(q^{n_1+1})_{\infty }(1-q^{n_k})^2\cdots (1-q^{n_1})^2} . \end{aligned}$$
     
  6. (6)
    Using the Bailey pair C(1) from [33], which is also L(6) from [34], relative to (1, q),
    $$\begin{aligned} \beta _{n}&= \frac{1}{\left( q;q^2\right) _{n} \left( q\right) _{n}} ,&\alpha _{n}&= {\left\{ \begin{array}{ll} 1 &{} n=0,\\ (-1)^{k}q^{3k^2 - k}(1 + q^{2k}) &{} n = 2k,\\ 0 &{} n = 2k + 1, \end{array}\right. } \end{aligned}$$
    we define
    $$\begin{aligned} R_{C1}(z,q)&= \frac{1}{\left( q\right) _{\infty }} \Bigg ( 1 + \sum _{n = 1}^{\infty } \frac{(1-z)(1-z^{-1})(-1)^{n}q^{3n^2 + n}(1 + q^{2n})}{(1-zq^{2n})(1-z^{-1}q^{2n})} \Bigg ) , \end{aligned}$$
    and obtain
    $$\begin{aligned} \sum _{n = 1}^{\infty }\eta _{2k}^{C1}(n)q^n&= \frac{1}{(q)_\infty } \sum _{n = 1}^{\infty }\frac{(-1)^{n+1}q^{3n^2 - n + 2nk}(1 + q^{2n})}{(1-q^{2n})^{2k}} ,\\ \sum _{n = 1}^{\infty } \mathrm {spt}^{C1}_{k} \left( n\right) q^{n}&\,{:=}\, \sum _{n = 1}^{\infty }\left( \mu _{2k}(n)-\eta _{2k}^{C1}(n)\right) q^{n} \\&=\sum _{n_{k} \ge \cdots \ge n_{1} \ge 1} \frac{q^{n_{1} + \cdots + n_{k}}}{(q;q^2)_{n_{1}} (q^{n_{1} + 1})_{\infty } (1-q^{n_{k}})^{2}\cdots (1-q^{n_{1}})^{2}} . \end{aligned}$$
     
  7. (7)
    Using the Bailey pair C(2) from [33], relative to (1, q),
    $$\begin{aligned} \beta _{n}&= \frac{q^{n}}{\left( q;q^2\right) _{n} \left( q\right) _{n}} ,&\alpha _{n}&= {\left\{ \begin{array}{ll} 1 &{} n=0,\\ (-1)^{k}q^{3k^2 - k}(1 + q^{2k}) &{} n = 2k,\\ (-1)^{k+1}q^{3k^2 + k}(1 - q^{4k + 2}) &{} n = 2k + 1, \end{array}\right. } \end{aligned}$$
    we define
    $$\begin{aligned} R_{C2}(z,q)&= \frac{1}{\left( q\right) _{\infty }} \Bigg ( 1 + \sum _{n=1}^{\infty } \frac{(1-z)(1-z^{-1})(-1)^{n}q^{3n^2 + n}(1 + q^{2n})}{(1-zq^{2n})(1-z^{-1}q^{2n})} \\&\qquad \qquad + \sum _{n = 0}^{\infty } \frac{(1-z)(1-z^{-1})(-1)^{n+1}q^{3n^2 + 3n + 1}(1 - q^{4n + 2})}{(1-zq^{2n+1})(1-z^{-1}q^{2n+1})} \Bigg ) , \end{aligned}$$
    and obtain
    $$\begin{aligned} \sum _{n = 1}^{\infty }\eta _{2k}^{C2}(n)q^n&= \frac{1}{(q)_\infty } \left( \sum _{n = 1}^{\infty }\frac{(-1)^{n+1}q^{3n^2 - n + 2nk}(1 + q^{2n})}{(1-q^{2n})^{2k}} \right. \\&\left. \qquad \qquad \quad \quad + \sum _{n = 0}^{\infty }\frac{(-1)^{n}q^{3n^2 + n + (2n+1)k}(1 - q^{4n + 2})}{(1-q^{2n + 1})^{2k}} \right) ,\\ \sum _{n = 1}^{\infty } \mathrm {spt}^{C2}_{k} \left( n\right) q^{n}&\,{:=}\, \sum _{n = 1}^{\infty }\left( \mu _{2k}(n)-\eta _{2k}^{C2}(n)\right) q^{n}\\&=\sum _{n_{k} \ge \cdots \ge n_{1} \ge 1} \frac{q^{2n_{1} + n_{2} + \cdots + n_{k}}}{(q;q^2)_{n_{1}} (q^{n_{1} + 1})_{\infty } (1-q^{n_{k}})^{2}\cdots (1-q^{n_{1}})^{2}} . \end{aligned}$$
     
  8. (8)
    Using the Bailey pair C(5) from [33], which is also L(4) from [33], relative to (1, q),
    $$\begin{aligned} \beta _{n}&= \frac{q^{\frac{n(n-1)}{2}}}{\left( q;q^2\right) _{n} \left( q\right) _{n}} ,&\alpha _{n}&= {\left\{ \begin{array}{ll} 1 &{} n=0,\\ (-1)^{k}q^{k^2 - k}(1 + q^{2k}) &{} n = 2k,\\ 0 &{} n = 2k + 1, \end{array}\right. } \end{aligned}$$
    we define
    $$\begin{aligned} R_{C5}(z,q)&= \frac{1}{\left( q\right) _{\infty }} \Bigg ( 1 + \sum _{n =1}^{\infty } \frac{(1-z)(1-z^{-1})(-1)^{n}q^{n^2+ n}(1 + q^{2n})}{(1-zq^{2n})(1-z^{-1}q^{2n})} \Bigg ) , \end{aligned}$$
    and obtain
    $$\begin{aligned} \sum _{n = 1}^{\infty }\eta _{2k}^{C5}(n)q^n&= \frac{1}{(q)_\infty } \sum _{n = 1}^{\infty }\frac{(-1)^{n+1}q^{n^2 - n + 2nk}(1 + q^{2n})}{(1-q^{2n})^{2k}} ,\\ \sum _{n = 1}^{\infty } \mathrm {spt}^{C5}_{k} \left( n\right) q^{n}&\,{:=}\, \sum _{n = 1}^{\infty }\left( \mu _{2k}(n)-\eta _{2k}^{C5}(n)\right) q^{n}\\&=\sum _{n_{k} \ge \cdots \ge n_{1} \ge 1} \frac{q^{ \frac{n_1(n_1 + 1)}{2} + n_{2} + \cdots + n_{k}}}{(q;q^2)_{n_{1}} (q^{n_{1} + 1})_{\infty } (1-q^{n_{k}})^{2}\cdots (1-q^{n_{1}})^{2}} . \end{aligned}$$
     
  9. (9)
    Using the Bailey pair L(5), upon correcting the formula for \(\beta _n\), from [34], which also appears as the first entry in the second table of page 468 of [33], relative to (1, q),
    $$\begin{aligned} \beta _{n}&= \frac{(-1)_n}{(q)_{n}(q;q^2)_n} ,&\alpha _{n}&= {\left\{ \begin{array}{ll} 1 &{} n=0,\\ q^{\frac{n(n-1)}{2}}(1+q^n) &{} n \ge 1, \end{array}\right. } \end{aligned}$$
    we define
    $$\begin{aligned} R_{L5}(z,q)&= \frac{1}{\left( q\right) _{\infty }} \Bigg ( 1 + \sum _{n = 1}^{\infty }\frac{(1-z)(1-z^{-1})q^{n(n+1)/2}(1+q^n)}{(1-zq^n)(1-z^{-1}q^n)} \Bigg ) , \end{aligned}$$
    and obtain
    $$\begin{aligned} \sum \limits _{n=1}^\infty \eta ^{L5}_{2k}(n)q^n&= \frac{-1}{(q)_\infty } \sum _{n=1}^\infty \frac{q^{\frac{n(n-1)}{2}+nk}(1+q^n)}{(1-q^{n})^{2k}} ,\\ \sum _{n = 1}^{\infty } \mathrm {spt}^{L5}_{k} \left( n\right) q^{n}&\,{:=}\, \sum _{n = 1}^{\infty }\left( \mu _{2k}(n) - \eta _{2k}^{L5}(n)\right) q^{n} \\&= \sum \limits _{n_k \ge \cdots \ge n_1 \ge 1} \frac{(-1)_{n_1}q^{n_1+\cdots +n_k}}{(q;q^2)_{n_1} (q^{n_1+1})_{\infty }(1-q^{n_k})^2\cdots (1-q^{n_1})^2} . \end{aligned}$$
     
  10. (10)
    Using the Bailey pair in the seventh entry in the table on page 470 of [33], relative to (1, q),
    $$\begin{aligned} \beta _{n}&= \frac{\left( -1;q^2\right) _{n}}{\left( q\right) _{2n}} ,&\alpha _{n}&= {\left\{ \begin{array}{ll} 1 &{} n = 0,\\ (-1)^{k}q^{2k^2 - k}(1 + q^{2k}) &{} n = 2k,\\ (-1)^{k}q^{2k^2 + k}(1 - q^{2k+1}) &{} n = 2k + 1, \end{array}\right. } \end{aligned}$$
    we define
    $$\begin{aligned} R_{X1}(z,q)&= \frac{1}{\left( q\right) _{\infty }} \Bigg ( 1 + \sum _{n = 1}^{\infty } \frac{(1-z)(1-z^{-1})(-1)^{n}q^{2n^2 + n}(1 + q^{2n})}{(1 - zq^{2n})(1-z^{-1}q^{2n})} \\&\qquad \qquad + \sum _{n = 0}^{\infty } \frac{(1-z)(1-z^{-1})(-1)^{n}q^{2n^2 +3n+1}(1 - q^{2n+1})}{(1 - zq^{2n+1})(1 - z^{-1}q^{2n+1})} \Bigg ) , \end{aligned}$$
    and obtain
    $$\begin{aligned} \sum _{n = 1}^{\infty }\eta _{2k}^{X1}(n)q^n&= \frac{1}{(q)_{\infty }} \left( \sum _{n = 1}^{\infty } \frac{(-1)^{n+1}q^{2n^2 - n + 2nk}(1 + q^{2n})}{(1-q^{2n})^{2k}} \right. \\&\left. \qquad \qquad \quad \quad + \sum _{n = 0}^{\infty } \frac{(-1)^{n+1}q^{2n^2 + n + (2n+1)k}(1 - q^{2n + 1})}{(1 - q^{2n + 1})^{2k}} \right) ,\\ \sum _{n = 1}^{\infty } \mathrm {spt}^{X1}_{k} \left( n\right) q^{n}&\,{:=}\, \sum _{n = 1}^{\infty }\left( \mu _{2k}(n)-\eta _{2k}^{X1}(n)\right) q^{n}\\&=\sum _{n_{k} \ge \cdots \ge n_{1} \ge 1} \frac{(-1;q^{2})_{n_{1}}q^{n_{1} + \cdots + n_{k}}}{(q^{n_{1} + 1})_{n_{1}} (q^{n_{1} + 1})_{\infty } (1-q^{n_{k}})^{2}\cdots (1-q^{n_{1}})^{2}} . \end{aligned}$$
     
  11. (11)
    Using the Bailey pair in the eighth entry in the table on page 470 of [33], upon correcting the formula for \(\alpha _n\), relative to (1, q),
    $$\begin{aligned} \beta _{n}&= \frac{q^{n} \left( -1;q^2\right) _{n}}{ \left( q\right) _{2n}} ,&\alpha _{n}&= {\left\{ \begin{array}{ll} 1 &{} n = 0,\\ (-1)^{k}q^{2k^2 - k}(1 + q^{2k}) &{} n = 2k,\\ (-1)^{k+1}q^{2k^2 + k}(1 - q^{2k+1}) &{} n = 2k + 1, \end{array}\right. } \end{aligned}$$
    we define
    $$\begin{aligned} R_{X2}(z,q)&= \frac{1}{\left( q\right) _{\infty }} \Bigg ( 1 + \sum _{n = 1}^{\infty } \frac{(1-z)(1-z^{-1})(-1)^{n}q^{2n^2 + n}(1 + q^{2n})}{(1 - zq^{2n})(1-z^{-1}q^{2n})} \\&\qquad \qquad \qquad + \sum _{n = 0}^{\infty } \frac{(1-z)(1-z^{-1})(-1)^{n+1}q^{2n^2 +3n+1}(1 - q^{2n+1})}{(1 - zq^{2n+1})(1 - z^{-1}q^{2n+1})} \Bigg ) , \end{aligned}$$
    and obtain
    $$\begin{aligned} \sum _{n = 1}^{\infty }\eta _{2k}^{X2}(n)q^n&= \frac{1}{(q)_{\infty }} \left( \sum _{n = 1}^{\infty } \frac{(-1)^{n+1}q^{2n^2 - n + 2nk}(1 + q^{2n})}{(1-q^{2n})^{2k}} \right. \\&\left. \qquad \qquad \quad \quad + \sum _{n = 0}^{\infty } \frac{(-1)^{n}q^{2n^2 + n + (2n+1)k}(1 - q^{2n + 1})}{(1 - q^{2n + 1})^{2k}} \right) ,\\ \sum _{n = 1}^{\infty } \mathrm {spt}^{X2}_{k} \left( n\right) q^{n}&\,{:=}\, \sum _{n = 1}^{\infty }\left( \mu _{2k}(n)-\eta _{2k}^{X2}(n)\right) q^{n}\\&=\sum _{n_{k} \ge \cdots \ge n_{1} \ge 1} \frac{(-1;q^{2})_{n_{1}} q^{2n_{1} + n_{2} + \cdots + n_{k}}}{(q^{n_{1} + 1})_{n_{1}} (q^{n_{1} + 1})_{\infty } (1-q^{n_{k}})^{2} \cdots (1-q^{n_{1}})^{2}} . \end{aligned}$$
     
  12. (12)
    Using the Bailey pair in the first entry in the table on page 471 of [33], relative to (1, q),
    $$\begin{aligned} \beta _{n}&= {\left\{ \begin{array}{ll} 1 &{} n=0,\\ \frac{\left( -q^{2};q^{2}\right) _{n-1}}{\left( q\right) _{2n}} &{} n \ge 1 , \end{array}\right. }&\alpha _{n}&= {\left\{ \begin{array}{ll} 1 &{} n = 0,\\ 0 &{} n = 4k-2 ,\\ -q^{8k^2 - 6k + 1} &{} n = 4k -1 ,\\ q^{8k^2 - 2k}(1 + q^{4k}) &{} n = 4k ,\\ -q^{8k^2 + 6k + 1} &{} n = 4k + 1 ,\end{array}\right. } \end{aligned}$$
    we define
    $$\begin{aligned} R_{X3}(z,q)&= \frac{1}{\left( q\right) _{\infty }} \Bigg ( 1 - \sum _{n = 1}^{\infty } \frac{(1-z)(1-z^{-1})q^{8n^2 - 2n}}{(1-zq^{4n-1})(1-z^{-1}q^{4n-1})}\\&\qquad \qquad \qquad + \sum _{n=1}^{\infty } \frac{(1-z)(1-z^{-1})q^{8n^2 + 2n}(1 + q^{4n})}{(1 - zq^{4n})(1 - z^{-1}q^{4n})} \\&\qquad \qquad \qquad - \sum _{n =0}^{\infty } \frac{(1-z)(1-z^{-1})q^{8n^2 + 10n + 2}}{(1 -zq^{4n+1})(1 - z^{-1}q^{4n+1})} \Bigg ) , \end{aligned}$$
    and obtain
    $$\begin{aligned} \sum _{n = 1}^{\infty }\eta _{2k}^{X3}(n)q^n&= \frac{1}{(q)_{\infty }} \Bigg ( \sum _{n = 1}^{\infty } \frac{q^{8n^2 - 6n + 1 + (4n-1)k}}{(1-q^{4n-1})^{2k}} - \sum _{n = 1}^{\infty } \frac{q^{8n^2 - 2n + 4nk}(1 + q^{4n})}{(1-q^{4n})^{2k}} \\&\qquad \qquad \quad + \sum _{n = 0}^{\infty } \frac{q^{8n^2 + 6n + 1 + (4n + 1)k}}{(1 - q^{4n + 1})^{2k}} \Bigg ),\\ \sum _{n = 1}^{\infty } \mathrm {spt}^{X3}_{k} \left( n\right) q^{n}&\,{:=}\, \sum _{n = 1}^{\infty }\left( \mu _{2k}(n)-\eta _{2k}^{X3}(n)\right) q^{n}\\&=\sum _{n_{k} \ge \cdots \ge n_{1} \ge 1} \frac{(-q^2;q^2)_{n_{1}-1} q^{n_{1} + \cdots + n_{k}}}{(q^{n_{1}+1})_{n_{1}} (q^{n_{1} + 1})_{\infty } (1-q^{n_{k}})^{2}\cdots (1-q^{n_{1}})^{2}} . \end{aligned}$$
     
  13. (13)
    Using the Bailey pair in the second entry in the table on page 471 of [33], relative to (1, q),
    $$\begin{aligned} \beta _{n}&= {\left\{ \begin{array}{ll} 1 &{} n=0,\\ \frac{q^{n} \left( -q^2;q^2\right) _{n-1}}{\left( q\right) _{2n}} &{} n \ge 1 , \end{array}\right. }&\alpha _{n}&= {\left\{ \begin{array}{ll} 1 &{} n = 0,\\ 0 &{} n = 4k-2,\\ -q^{8k^2 - 2k} &{} n = 4k -1 ,\\ q^{8k^2 - 2k}(1 + q^{4k}) &{} n = 4k ,\\ -q^{8k^2 + 2k} &{} n = 4k + 1 , \end{array}\right. } \end{aligned}$$
    we define
    $$\begin{aligned} R_{X4}(z,q)&= \frac{1}{\left( q\right) _{\infty }} \Bigg ( 1 - \sum _{n = 1}^{\infty } \frac{(1-z)(1-z^{-1})q^{8n^2 +2n-1}}{(1-zq^{4n-1})(1-z^{-1}q^{4n-1})} \\&\qquad \qquad \qquad + \sum _{n=1}^{\infty } \frac{(1-z)(1-z^{-1})q^{8n^2 + 2}(1 + q^{4n})}{(1-zq^{4n})(1 - z^{-1}q^{4n})} \\&\qquad \qquad \qquad - \sum _{n =0}^{\infty } \frac{(1-z)(1-z^{-1})q^{8n^2 + 6n + 1}}{(1 -zq^{4n+1})(1 - z^{-1}q^{4n+1})} \Bigg ) , \end{aligned}$$
    and obtain
    $$\begin{aligned} \sum _{n = 1}^{\infty }\eta _{2k}^{X4}(n)q^n&= \frac{1}{(q)_{\infty }}\Bigg ( \sum _{n = 1}^{\infty } \frac{q^{8n^2 - 2n + (4n-1)k}}{(1-q^{4n-1})^{2k}} - \sum _{n = 1}^{\infty } \frac{q^{8n^2 - 2n + 4nk}(1 + q^{4n})}{(1-q^{4n})^{2k}} \\&\qquad \qquad \quad \quad + \sum _{n = 0}^{\infty } \frac{q^{8n^2 + 2n + (4n + 1)k}}{(1 - q^{4n + 1})^{2k}} \Bigg ) ,\\ \sum _{n = 1}^{\infty } \mathrm {spt}^{X4}_{k} \left( n\right) q^{n}&\,{:=}\, \sum _{n = 1}^{\infty }\left( \mu _{2k}(n)-\eta _{2k}^{X4}(n)\right) q^{n}\\&=\sum _{n_{k} \ge \cdots \ge n_{1} \ge 1} \frac{(-q^2;q^2)_{n_{1}-1} q^{2n_{1} + n_{2} + \cdots + n_{k}}}{(q^{n_1+1})_{n_1} (q^{n_{1} + 1})_{\infty } (1-q^{n_{k}})^{2}\cdots (1-q^{n_{1}})^{2}} . \end{aligned}$$
     
  14. (14)
    Using the Bailey pair E(4) from [33], relative to (1, q),
    $$\begin{aligned} \beta _n&= \frac{q^n}{(q^2; q^2)_n} ,&\alpha _n&= {\left\{ \begin{array}{ll} 1 &{} n=0,\\ (-1)^nq^{n^2-n}(1+q^{2n}) &{} n\ge 1,\\ \end{array}\right. } \end{aligned}$$
    we define
    $$\begin{aligned} R_{E4}(z,q)&= \frac{\left( -q\right) _{\infty }}{\left( q\right) _{\infty }} \Bigg ( 1 + \sum \limits _{n=1}^\infty \frac{(1-z)(1-z^{-1})(-1)^nq^{n^2}(1+q^{2n})}{(1-zq^n)(1-z^{-1}q^n)} \Bigg ) , \end{aligned}$$
    and obtain
    $$\begin{aligned} \sum _{n = 1}^{\infty }\eta _{2k}^{E4}(n)q^n&= \frac{(-q)_\infty }{(q)_\infty } \sum \limits _{n=1}^\infty \frac{(-1)^{n+1}q^{n^2-n+kn}(1+q^{2n})}{(1-q^n)^{2k}} ,\\ \sum _{n = 1}^{\infty } \mathrm {spt}^{E4}_{k} \left( n\right) q^{n}&\,{:=}\, \sum _{n = 1}^{\infty }\left( \overline{\mu }_{2k}(n) - \eta _{2k}^{E4}(n)\right) q^{n}\\&= \sum \limits _{n_k \ge \cdots \ge n_1 \ge 1} \frac{(-q^{n_1+1})_\infty q^{2n_1+ n_2+\cdots +n_k}}{(q^{n_1+1})_\infty (1-q^{n_k})^2\cdots (1-q^{n_1})^2} . \end{aligned}$$
     
  15. (15)
    Using the Bailey pair I(14) from [34], relative to (1, q),
    $$\begin{aligned} \beta _{n}&= {\left\{ \begin{array}{ll} 1 &{} n=0,\\ \frac{\left( -q^{2};q^{2}\right) _{n-1}}{\left( q;q^{2}\right) _{n} \left( q\right) _{n} \left( -q\right) _{n-1}} &{} n \ge 1 , \end{array}\right. }&\alpha _{n}&= {\left\{ \begin{array}{ll} 1 &{} n = 0,\\ (-1)^{k}q^{2k^2 - k}(1 + q^{2k}) &{} n = 2k ,\\ 0 &{} n = 2k + 1, \end{array}\right. } \end{aligned}$$
    we define
    $$\begin{aligned} R_{I14}(z,q)&= \frac{\left( -q\right) _{\infty }}{\left( q\right) _{\infty }} \Bigg ( 1 + \sum _{n = 1}^{\infty } \frac{(1-z)(1-z^{-1})(-1)^{n}q^{2n^2 + n}(1 + q^{2n})}{(1-zq^{2n})(1-z^{-1}q^{2n})} \Bigg ) , \end{aligned}$$
    and obtain
    $$\begin{aligned} \sum _{n = 1}^{\infty }\eta _{2k}^{I14}(n)q^n&= \frac{(-q)_{\infty }}{(q)_{\infty }} \sum _{n = 1}^{\infty } \frac{(-1)^{n+1}q^{2n^2 - n + 2nk}(1 + q^{2n})}{(1-q^{2n})^{2k}} ,\\ \sum _{n = 1}^{\infty } \mathrm {spt}^{I14}_{k} \left( n\right) q^{n}&\,{:=}\, \sum _{n = 1}^{\infty }\left( \overline{\mu }_{2k}(n)-\eta _{2k}^{I14}(n)\right) q^{n}\\&= \sum _{n_{k} \ge \cdots \ge n_{1} \ge 1} \frac{(-q^2;q^2)_{n_{1}-1} (-q^{n_{1}})_{\infty } q^{n_{1} + \cdots {} + n_{k}}}{(q;q^{2})_{n_{1}} (q^{n_{1} + 1})_{\infty } (1-q^{n_{k}})^{2}\cdots (1-q^{n_{1}})^{2}} . \end{aligned}$$
     
  16. (16)
    Using the Bailey pair in Lemma 3.1 from [16], relative to (1, q),
    $$\begin{aligned} \beta _{n}&= {\left\{ \begin{array}{ll} 1 &{} n=0,\\ \frac{\left( -q^{3};q^{3}\right) _{n-1}}{\left( -q\right) _{n} \left( q\right) _{2n-1}} &{} n \ge 1 , \end{array}\right. }&\alpha _{n} = {\left\{ \begin{array}{ll} 1 &{} n = 0,\\ (-1)^{k}q^{\frac{3k(3k-1)}{2}}(1 + q^{3k}) &{} n = 3k,\\ -2q^{18k^2 + 9k + 1} &{} n = 6k + 1,\\ 2q^{18k^2 + 15k + 3} &{} n = 6k + 2,\\ 2q^{18k^2 + 21k + 6} &{} n = 6k + 4,\\ -2q^{18k^2 + 27k + 10} &{} n = 6k + 5, \end{array}\right. } \end{aligned}$$
    we define
    $$\begin{aligned} R_{X5}(z,q)&=\frac{\left( -q\right) _{\infty }}{\left( q\right) _{\infty }} \Bigg ( 1 + \sum _{n = 1}^{\infty } \frac{(1-z)(1-z^{-1})(-1)^{n}q^{\frac{3n(3n+1)}{2}}(1 + q^{3n})}{(1-zq^{3n})(1-z^{-1}q^{3n})} \\&\quad \quad \quad \quad \quad \quad - 2\sum _{n = 0}^{\infty } \frac{(1-z)(1-z^{-1})q^{18n^2 + 15n + 2}}{(1 - zq^{6n+1})(1 - z^{-1}q^{6n+1})} \\&\quad \quad \quad \quad \quad \quad + 2\sum _{n = 0}^{\infty } \frac{(1-z)(1-z^{-1})q^{18n^2 + 21n + 5}}{(1-zq^{6n+2})(1 - z^{-1}q^{6n+2})} \\&\quad \quad \quad \quad \quad \quad + 2\sum _{n = 0}^{\infty } \frac{(1-z)(1-z^{-1})q^{18n^2 + 27n + 10}}{(1 -zq^{6n+4})(1 - z^{-1}q^{6n+4})} \\&\quad \quad \quad \quad \quad \quad - 2\sum _{n = 0}^{\infty }\frac{(1-z)(1-z^{-1})q^{18n^2 + 33n + 15}}{(1 -zq^{6n + 5})(1 - z^{-1}q^{6n+5})} \Bigg ) , \end{aligned}$$
    and obtain
    $$\begin{aligned} \sum _{n = 1}^{\infty }\eta _{2k}^{X5}(n)q^n&= \frac{(-q)_{\infty }}{(q)_{\infty }}\Bigg ( \sum _{n = 1}^{\infty } \frac{(-1)^{n+1}q^{\frac{3n(3n-1)}{2} + 3nk}(1 + q^{3n})}{(1-q^{3n})^{2k}} \\&\quad + 2\sum _{n = 0}^{\infty } \frac{q^{18n^2 + 9n + 1 + (6n+1)k}}{(1-q^{6n + 1})^{2k}} \\&\quad - 2\sum _{n = 0}^{\infty } \frac{q^{18n^2 + 15n + 3 + (6n + 2)k}}{(1 - q^{6n + 2})^{2k}} \\&\quad - 2\sum _{n = 0}^{\infty } \frac{q^{18n^2 + 21n + 6 + (6n + 4)k}}{(1 - q^{6n + 4})^{2k}} \\&\quad + 2\sum _{n = 0}^{\infty } \frac{q^{18n^2 + 27n + 10 + (6n + 5)k}}{(1 - q^{6n + 5})^{2k}} \Bigg ) , \end{aligned}$$
    $$\begin{aligned} \sum _{n = 1}^{\infty } \mathrm {spt}^{X5}_{k} \left( n\right) q^{n}&\,{:=}\, \sum _{n = 1}^{\infty }\left( \overline{\mu }_{2k}(n)-\eta _{2k}^{X5}(n)\right) q^{n}\\&= \sum _{n_{k} \ge \cdots \ge n_{1} \ge 1} \frac{(-q^3;q^3)_{n_{1}-1} (-q^{n_{1} + 1})_{\infty } q^{n_1+ \cdots + n_k}}{(q^{n_{1} + 1})_{n_{1}-1} (q^{n_1+1})_{\infty } (1-q^{n_{k}})^{2} \cdots (1-q^{n_{1}})^{2}} . \end{aligned}$$
     
  17. (17)
    Using the Bailey pair J(1) from [34], which also appears as equation (3.8) in [33], relative to (1, q),
    $$\begin{aligned} \beta _{n}&= {\left\{ \begin{array}{ll} 1 &{} n=0,\\ \frac{\left( q^{3};q^{3}\right) _{n-1}}{\left( q\right) _{2n-1}\left( q\right) _{n}} &{} n \ge 1 , \end{array}\right. }&\alpha _{n}&= {\left\{ \begin{array}{ll} 1 &{} n = 0,\\ 0 &{} n = 3k-1,\\ (-1)^{k}q^{\frac{3k(3k-1)}{2}}(1 + q^{3k}) &{} n = 3k,\\ 0 &{} n = 3k+1, \end{array}\right. } \end{aligned}$$
    we define
    $$\begin{aligned} R_{J1}(z,q) = \frac{1}{\left( q\right) _{\infty }\left( q^3;q^3\right) _{\infty }} \Bigg ( 1 + \sum _{n = 1}^{\infty } \frac{(1-z)(1-z^{-1})(-1)^{n}q^{\frac{3n(3n+1)}{2}}(1+q^{3n})}{(1-zq^{3n})(1-z^{-1}q^{3n})} \Bigg ) , \end{aligned}$$
    and obtain
    $$\begin{aligned} \sum _{n = 1}^{\infty }\eta _{2k}^{J1}(n)q^n&= \frac{1}{(q)_{\infty }(q^3;q^3)_\infty } \sum _{n = 1}^{\infty } \frac{(-1)^{n+1}q^{\frac{3n(3n-1)}{2}+3nk}(1 + q^{3n})}{(1-q^{3n})^{2k}} ,\\ \sum _{n = 1}^{\infty } \mathrm {spt}^{J1}_{k} \left( n\right) q^{n}&\,{:=}\, \sum _{n = 1}^{\infty }\left( \mu ^J_{2k}(n) - \eta _{2k}^{J1}(n)\right) q^{n} \\&= \sum _{n_{k} \ge \cdots \ge n_{1} \ge 1} \frac{q^{n_{1} + \cdots + n_{k}}}{(q)_{2n_1-1} (q^{3n_1};q^3)_\infty (q^{n_{1} + 1})_{\infty } (1-q^{n_{k}})^{2}\cdots (1-q^{n_{1}})^{2}} . \end{aligned}$$
     
  18. (18)
    Using the Bailey pair J(2) from [34], which also appears unlabeled on page 467 of [33], relative to (1, q),
    $$\begin{aligned} \beta _{n} = {\left\{ \begin{array}{ll} 1 &{} n=0,\\ \frac{\left( q^{3};q^{3}\right) _{n-1}}{\left( q\right) _{2n} \left( q\right) _{n-1}} &{} n \ge 1 , \end{array}\right. }&\alpha _{n}&= {\left\{ \begin{array}{ll} 1 &{} n = 0 ,\\ (-1)^{k+1}q^{\frac{9k(k-1)}{2}+1} &{} n = 3k-1,\\ (-1)^{k}q^{\frac{3k(3k-1)}{2}}(1 + q^{3k}) &{} n = 3k,\\ (-1)^{k+1}q^{\frac{9k(k+1)}{2}+1} &{} n = 3k+1, \end{array}\right. } \end{aligned}$$
    we define
    $$\begin{aligned} R_{J2}(z,q)&= \frac{1}{\left( q\right) _{\infty } \left( q^3;q^3\right) _{\infty }}\Bigg ( 1 + \sum \limits _{n=1}^\infty \frac{(1-z)(1-z^{-1})(-1)^{n+1}q^{\frac{3n(3n-1)}{2}}}{(1-zq^{3n-1})(1-z^{-1}q^{3n-1})} \\&\qquad \qquad \qquad \qquad \qquad + \sum \limits _{n=0}^\infty \frac{(1-z)(1-z^{-1})(-1)^{n+1}q^{\frac{3n(3n+5)}{2} + 2}}{(1-zq^{3n+1})(1-z^{-1}q^{3n+1})} \\&\qquad \qquad \qquad \qquad \qquad + \sum \limits _{n=1}^\infty \frac{(1-z)(1-z^{-1})(-1)^{n}q^{\frac{3n(3n+1)}{2}}(1 + q^{3n})}{(1-zq^{3n})(1-z^{-1}q^{3n})} \Bigg ) , \end{aligned}$$
    and obtain
    $$\begin{aligned} \sum _{n = 1}^{\infty }\eta _{2k}^{J2}(n)q^n&= \frac{1}{(q)_{\infty }(q^3;q^3)_\infty } \Bigg ( \sum _{n=1}^\infty \frac{(-1)^{n}q^{ \frac{9n(n-1)}{2} +1+ (3n-1)k}}{(1-q^{3n-1})^{2k}} \\&\qquad \qquad \qquad \qquad \quad + \sum _{n=0}^\infty \frac{(-1)^{n}q^{ \frac{9n(n+1)}{2} +1+(3n+1)k}}{(1-q^{3n+1})^{2k}} \\&\qquad \qquad \qquad \qquad \quad - \sum _{n=1}^\infty \frac{(-1)^{n}q^{ \frac{3n(3n-1)}{2}+3nk}(1 + q^{3n})}{(1-q^{3n})^{2k}} \Bigg ) , \end{aligned}$$
    $$\begin{aligned} \sum _{n = 1}^{\infty } \mathrm {spt}^{J2}_{k} \left( n\right) q^{n}&\,{:=}\, \sum _{n = 1}^{\infty }\left( \mu ^J_{2k}(n) - \eta _{2k}^{J2}(n)\right) q^{n} \\&= \sum _{n_{k} \ge \cdots \ge n_{1} \ge 1} \frac{q^{n_{1} + \cdots + n_{k}}}{(q)_{n_{1}-1} (q^{n_{1}+1})_{n_{1}} (q^{3n_1};q^3)_\infty (q^{n_{1} + 1})_{\infty } (1-q^{n_{k}})^{2}\cdots (1-q^{n_{1}})^{2}} . \end{aligned}$$
     
  19. (19)
    Using the Bailey pair J(3) from [34], which also appears unlabeled on page 467 of [33], relative to (1, q),
    $$\begin{aligned} \beta _{n}&= {\left\{ \begin{array}{ll} 1 &{} n=0,\\ \frac{q^n\left( q^{3};q^{3}\right) _{n-1}}{\left( q\right) _{2n} \left( q\right) _{n-1}} &{} n \ge 1 , \end{array}\right. }&\alpha _{n}&= {\left\{ \begin{array}{ll} 1 &{} n = 0,\\ (-1)^{k+1}q^{\frac{3k(3k-1)}{2}} &{} n = 3k-1,\\ (-1)^{k}q^{\frac{3k(3k-1)}{2}}(1 + q^{3k}) &{} n = 3k,\\ (-1)^{k+1}q^{\frac{3k(3k+1)}{2}} &{} n = 3k+1, \end{array}\right. } \end{aligned}$$
    we define
    $$\begin{aligned} R_{J3}(z,q)&= \frac{1}{\left( q\right) _{\infty } \left( q^3;q^3\right) _{\infty }} \Bigg ( 1 + \sum \limits _{n=1}^\infty \frac{(1-z)(1-z^{-1})(-1)^{n+1}q^{\frac{3n(3n+1)}{2}-1}}{(1-zq^{3n-1})(1-z^{-1}q^{3n-1})}\\&\qquad \qquad \qquad \qquad \quad + \sum \limits _{n=0}^\infty \frac{(1-z)(1-z^{-1})(-1)^{n+1}q^{\frac{9n(n+1)}{2}+1}}{(1-zq^{3n+1})(1-z^{-1}q^{3n+1})} \\&\qquad \qquad \qquad \qquad \quad + \sum \limits _{n=1}^\infty \frac{(1-z)(1-z^{-1})(-1)^{n}q^{\frac{3n(3n+1)}{2}}(1 + q^{3n})}{(1-zq^{3n})(1-z^{-1}q^{3n})} \Bigg ) , \end{aligned}$$
    and obtain
    $$\begin{aligned} \sum _{n = 1}^{\infty }\eta _{2k}^{J3}(n)q^n&= \frac{1}{(q)_{\infty }(q^3;q^3)_\infty } \Bigg (\sum \limits _{n=1}^\infty \frac{(-1)^{n} q^{ \frac{3n(3n-1)}{2} +(3n-1)k}}{(1-q^{3n-1})^{2k}} \\&\qquad \qquad \qquad \qquad \quad + \sum \limits _{n=0}^\infty \frac{(-1)^{n}q^{ \frac{3n(3n+1)}{2} +(3n+1)k}}{(1-q^{3n+1})^{2k}}\\&\qquad \qquad \qquad \qquad \quad - \sum \limits _{n=1}^\infty \frac{(-1)^{n}q^{ \frac{3n(3n-1)}{2} +3nk}(1 + q^{3n})}{(1-q^{3n})^{2k}} \Bigg ) , \end{aligned}$$
    $$\begin{aligned} \sum _{n = 1}^{\infty } \mathrm {spt}^{J3}_{k} \left( n\right) q^{n}&\,{:=}\, \sum _{n = 1}^{\infty }\left( \mu ^J_{2k}(n) - \eta _{2k}^{J3}(n)\right) q^{n} \\&= \sum _{n_{k} \ge \cdots \ge n_{1} \ge 1} \frac{q^{2n_{1} + n_{2} + \cdots + n_{k}}}{(q)_{n_{1}-1} (q^{n_{1}+1})_{n_{1}} (q^{3n_1};q^3)_\infty (q^{n_{1} + 1})_{\infty } (1-q^{n_{k}})^{2}\cdots (1-q^{n_{1}})^{2}} . \end{aligned}$$
     
  20. (20)
    Using the Bailey pair in the ninth entry in the table on page 470 of [33], relative to (1, q),
    $$\begin{aligned} \beta _{n}&= {\left\{ \begin{array}{ll} 1 &{} n=0,\\ \frac{\left( q^{2};q^{2}\right) _{n-1}}{\left( q;q^{2}\right) _{n} \left( q\right) _{n} \left( q\right) _{n-1}} &{} n \ge 1 , \end{array}\right. }&\alpha _{n}&= {\left\{ \begin{array}{ll} 1 &{} n = 0,\\ q^{2k^2 - k}(1 + q^{2k}) &{} n = 2k,\\ 0 &{} n = 2k + 1, \end{array}\right. } \end{aligned}$$
    we define
    $$\begin{aligned} R_{X6}(z,q)&= \frac{1}{\left( q\right) _{\infty } \left( q^2;q^2\right) _{\infty }} \Bigg ( 1 + \sum _{n = 1}^{\infty } \frac{(1-z)(1-z^{-1})q^{2n^2+n}(1+q^{2n})}{(1-zq^{2n})(1-z^{-1}q^{2n})} \Bigg ) , \end{aligned}$$
    and obtain
    $$\begin{aligned} \sum _{n = 1}^{\infty }\eta _{2k}^{X6}(n)q^n&= \frac{-1}{(q)_{\infty }(q^2;q^2)_{\infty }} \sum _{n = 1}^{\infty } \frac{q^{2n^2 - n + 2nk}(1 + q^{2n})}{(1-q^{2n})^{2k}} ,\\ \sum _{n = 1}^{\infty } \mathrm {spt}^{X6}_{k} \left( n\right) q^{n}&\,{:=}\, \sum _{n = 1}^{\infty }\left( \mu ^{X6}_{2k}(n)-\eta _{2k}^{X6}(n)\right) q^{n}\\&= \sum _{n_{k} \ge \cdots \ge n_{1} \ge 1} \frac{q^{n_{1} + \cdots + n_{k}}}{(q)_{n_1 - 1} (q;q^2)_{n_1} (q^{2n_1};q^2)_{\infty } (q^{n_1 + 1})_{\infty } (1-q^{n_{k}})^{2}\cdots (1-q^{n_{1}})^{2}} . \end{aligned}$$
     
  21. (21)
    Using the Bailey pair F(3) from [33], relative to \((1,q^2)\),
    $$\begin{aligned} \beta _n&= \frac{1}{q^n(q)_{2n}} , \quad \alpha _n = {\left\{ \begin{array}{ll} 1 &{} n=0,\\ q^{n}+q^{-n} &{} n\ge 1, \end{array}\right. } \end{aligned}$$
    we define
    $$\begin{aligned} R_{F3}(z,q)&= \frac{1}{\left( q^2;q^2\right) _{\infty }} \Bigg ( 1 + \sum \limits _{n=1}^\infty \frac{(1-z)(1-z^{-1})q^{n}(1+q^{2n})}{(1-zq^{2n})(1-z^{-1}q^{2n})} \Bigg ) , \end{aligned}$$
    and obtain
    $$\begin{aligned} \sum \limits _{n=1}^\infty \eta ^{F3}_{2k}(n)q^n&= \frac{-1}{(q^2;q^2)_\infty } \sum _{n=1}^\infty \frac{q^{2nk-n}(1+q^{2n})}{(1-q^{2n})^{2k}} ,\\ \sum _{n = 1}^{\infty } \mathrm {spt}^{F3}_{k} \left( n\right) q^{n}&\,{:=}\, \sum _{n = 1}^{\infty }\left( \mu ^{F}_{2k}(n) - \eta _{2k}^{F3}(n)\right) q^{n}\\&=\sum \limits _{n_k \ge \cdots \ge n_1 \ge 1} \frac{q^{n_1+2n_2\cdots +2n_k}}{(q;q^2)_{n_1} (q^{2n_1+2};q^2)_{\infty }(1-q^{2n_k})^2 \cdots (1-q^{2n_1})^2} . \end{aligned}$$
     
  22. (22)
    Using the Bailey pair G(1) from [33], which is also L(3) from [34], relative to \((1,q^2)\),
    $$\begin{aligned} \beta _n&= \frac{1}{\left( -q;q^2\right) _{n} \left( q^4;q^4\right) _{n}} ,&\alpha _n&= {\left\{ \begin{array}{ll} 1 &{} n=0,\\ (-1)^nq^{\frac{n(3n-1)}{2}}(1+q^{n}) &{} n\ge 1, \end{array}\right. } \end{aligned}$$
    we define
    $$\begin{aligned} R_{G1}(z,q)&= \frac{\left( -q;q^2\right) _{\infty }}{\left( q^2;q^2\right) _{\infty }^2} \Bigg ( 1 + \sum _{n = 1}^{\infty } \frac{(1-z)(1-z^{-1})(-1)^{n}q^{\frac{3n(n+1)}{2}}(1+q^{n})}{(1-zq^{2n})(1-z^{-1}q^{2n})} \Bigg ) , \end{aligned}$$
    and obtain
    $$\begin{aligned} \sum _{n = 1}^{\infty }\eta _{2k}^{G1}(n)q^n&= \frac{(-q;q^2)_{\infty }}{(q^2;q^2)^2_{\infty }} \sum _{n = 1}^{\infty } \frac{(-1)^{n+1}q^{ \frac{n(3n-1)}{2} +2nk}(1+q^{n})}{(1-q^{2n})^{2k}} ,\\ \sum _{n = 1}^{\infty } \mathrm {spt}^{G1}_{k} \left( n\right) q^{n}&\,{:=}\, \sum _{n = 1}^{\infty }\left( \mu ^G_{2k}(n)- \eta _{2k}^{G1}(n)\right) q^{n}\\&=\sum \limits _{n_k \ge \cdots \ge n_1 \ge 1} \frac{(-q^{2n_1+1};q^2)_\infty q^{2n_1+\cdots +2n_k}}{(q^4;q^4)_{n_1} (q^{2n_1+2};q^2)^2_{\infty } (1-q^{2n_k})^2\cdots (1-q^{2n_1})^2} . \end{aligned}$$
     
  23. (23)
    Using the Bailey pair G(3) from [33], relative to \((1,q^2)\),
    $$\begin{aligned} \beta _n&= \frac{q^{2n}}{\left( -q;q^2\right) _{n} \left( q^4;q^4\right) _{n}} ,&\alpha _n&= {\left\{ \begin{array}{ll} 1 &{} n=0,\\ (-1)^nq^{\frac{3n(n-1)}{2}}(1+q^{3n}) &{} n\ge 1, \end{array}\right. } \end{aligned}$$
    we define
    $$\begin{aligned} R_{G3}(z,q)&= \frac{\left( -q;q^2\right) _{\infty }}{\left( q^2;q^2\right) _{\infty }^2} \Bigg ( 1 + \sum _{n = 1}^{\infty } \frac{(1-z)(1-z^{-1})(-1)^{n}q^{\frac{n(3n+1)}{2}}(1+q^{3n})}{(1-zq^{2n})(1-z^{-1}q^{2n})} \Bigg ) , \end{aligned}$$
    and obtain
    $$\begin{aligned} \sum _{n = 1}^{\infty }\eta _{2k}^{G3}(n)q^n&= \frac{(-q;q^2)_{\infty }}{(q^2;q^2)^2_{\infty }} \sum _{n = 1}^{\infty } \frac{(-1)^{n+1}q^{ \frac{3n(n-1)}{2} +2nk}(1+q^{3n})}{(1-q^{2n})^{2k}} ,\\ \sum _{n = 1}^{\infty } \mathrm {spt}^{G3}_{k} \left( n\right) q^{n}&\,{:=}\, \sum _{n = 1}^{\infty }\left( \mu ^G_{2k}(n)-\eta _{2k}^{G3}(n)\right) q^{n}\\&=\sum \limits _{n_k \ge \cdots \ge n_1 \ge 1} \frac{(-q^{2n_1+1};q^2)_\infty q^{4n_1+2n_2+\cdots +2n_k}}{(q^4;q^4)_{n_1} (q^{2n_1+2};q^2)^2_{\infty } (1-q^{2n_k})^2\cdots (1-q^{2n_1})^2} . \end{aligned}$$
     
  24. (24)
    Using the Bailey pair in the first entry in the table on page 470 of [33], relative to \((1,q^2)\),
    $$\begin{aligned} \beta _{n}&= \frac{q^{n^2 - 2n}}{\left( q^4;q^4\right) _{n} \left( q;q^2\right) _{n}} ,&\alpha _{n}&= {\left\{ \begin{array}{ll} 1 &{} n = 0,\\ (-1)^{k}q^{2k^2 - 3k}(1 + q^{6k}) &{} n = 2k,\\ (-1)^{k}q^{2k^2 - k - 1}(1 - q^{6k + 3}) &{} n = 2k + 1, \end{array}\right. } \end{aligned}$$
    we define
    $$\begin{aligned} R_{Y1}(z,q)&= \frac{1}{\left( q^2;q^2\right) _{\infty }^2} \Bigg ( 1 + \sum _{n =1}^{\infty } \frac{(1-z)(1-z^{-1})(-1)^{n}q^{2n^2 + n}(1 + q^{6n})}{(1-zq^{4n})(1-z^{-1}q^{4n})} \\&\qquad \qquad \qquad \quad + \sum _{n = 0}^{\infty } \frac{(1-z)(1-z^{-1})(-1)^{n}q^{2n^2+3n+1}(1 - q^{6n + 3})}{(1-zq^{4n+2})(1-z^{-1}q^{4n+2})} \Bigg ) , \end{aligned}$$
    and obtain
    $$\begin{aligned} \sum _{n = 1}^{\infty }\eta _{2k}^{Y1}(n)q^n&= \frac{1}{(q^2;q^2)_{\infty }^2} \left( \sum _{n =1}^{\infty }\frac{(-1)^{n+1}q^{2n^2 - 3n + 4nk}(1 + q^{6n})}{(1-q^{4n})^{2k}} \right. \\&\quad \left. \qquad \qquad \quad \quad + \sum _{n = 0}^{\infty }\frac{(-1)^{n+1}q^{2n^2 - n - 1 + (4n+2)k}(1 - q^{6n + 3})}{(1-q^{4n+2})^{2k}} \right) , \end{aligned}$$
    $$\begin{aligned} \sum _{n = 1}^{\infty } \mathrm {spt}^{Y1}_{k} \left( n\right) q^{n}&\,{:=}\, \sum _{n = 1}^{\infty }\left( \mu ^{Y}_{2k}(n) - \eta _{2k}^{Y1}(n)\right) q^{n}\\&= \sum _{n_{k} \ge \cdots \ge n_{1} \ge 1} \frac{q^{n_{1}^2 + 2n_{2} + \cdots + 2n_{k}}}{(q;q^2)_{n_{1}} (q^4;q^4)_{n_{1}} (q^{2n_{1} + 2} ; q^2)_{\infty }^{2} (1-q^{2n_{k}})^{2} \cdots (1-q^{2n_{1}})^{2}} . \end{aligned}$$
     
  25. (25)
    Using the Bailey pair in the second entry in the table on page 470 of [33], relative to \((1,q^2)\),
    $$\begin{aligned} \beta _{n}&= \frac{q^{n^2}}{\left( q^4;q^4\right) _{n} \left( q;q^2\right) _{n}} ,&\alpha _{n}&= {\left\{ \begin{array}{ll} 1 &{} n = 0,\\ (-1)^{k}q^{2k^2 - k}(1 + q^{2k}) &{} n = 2k,\\ (-1)^{k+1}q^{2k^2 + k}(1 - q^{2k+1}) &{} n = 2k + 1, \end{array}\right. } \end{aligned}$$
    we define
    $$\begin{aligned} R_{Y2}(z,q)&= \frac{1}{\left( q^2;q^2\right) _{\infty }^2} \Bigg ( 1 + \sum _{n =1}^{\infty } \frac{(1-z)(1-z^{-1})(-1)^{n}q^{2n^2 + 3n}(1 + q^{2n})}{(1-zq^{4n})(1-z^{-1}q^{4n})} \\&\qquad \qquad \quad \qquad + \sum _{n = 0}^{\infty } \frac{(1-z)(1-z^{-1})(-1)^{n+1}q^{2n^2 +5n+2}(1 - q^{2n + 1})}{(1-zq^{4n+2})(1-z^{-1}q^{4n+2})} \Bigg ) , \end{aligned}$$
    and obtain
    $$\begin{aligned} \sum _{n = 1}^{\infty }\eta _{2k}^{Y2}(n)q^n&= \frac{1}{(q^2;q^2)_{\infty }^{2}}\left( \sum _{n = 1}^{\infty }\frac{(-1)^{n+1}q^{2n^2 - n + 4nk}(1 + q^{2n})}{(1-q^{4n})^{2k}} \right. \\&\left. \quad \qquad \qquad \quad \quad + \sum _{n = 0}^{\infty }\frac{(-1)^{n}q^{2n^2 + n + (4n+2)k}(1 - q^{2n+1})}{(1-q^{4n+2})^{2k}} \right) , \end{aligned}$$
    $$\begin{aligned} \sum _{n = 1}^{\infty } \mathrm {spt}^{Y2}_{k} \left( n\right) q^{n}&\,{:=}\, \sum _{n = 1}^{\infty }\left( \mu ^{Y}_{2k}(n)- \eta _{2k}^{Y2}(n)\right) q^{n} \\&= \sum _{n_{k} \ge \cdots \ge n_{1} \ge 1} \frac{q^{n_{1}^2 + 2n_{1} + 2n_{2} + \cdots + 2n_{k}}}{(q;q^2)_{n_{1}} (q^4;q^4)_{n_{1}} (q^{2n_{1} + 2} ; q^2)_{\infty }^{2} (1-q^{2n_{k}})^{2}\cdots (1-q^{2n_{1}})^{2}} . \end{aligned}$$
     
  26. (26)
    Using the Bailey pair in the third entry in the table on page 470 of [33], relative to \((1,q^2)\),
    $$\begin{aligned} \beta _{n}&= \frac{1}{\left( q^4;q^4\right) _{n} \left( q;q^2\right) _{n}} ,&\alpha _{n}&= {\left\{ \begin{array}{ll} 1 &{} n = 0,\\ (-1)^{k}q^{6k^2 - k}(1 + q^{2k}) &{} n = 2k,\\ (-1)^{k}q^{6k^2 + 5k + 1}(1 - q^{2k+1}) &{} n = 2k + 1, \end{array}\right. } \end{aligned}$$
    we define
    $$\begin{aligned} R_{Y3}(z,q)&= \frac{1}{\left( q^2;q^2\right) _{\infty }^2} \Bigg ( 1 + \sum _{n =1}^{\infty } \frac{(1-z)(1-z^{-1})(-1)^{n}q^{6n^2 + 3n}(1 + q^{2n})}{(1-zq^{4n})(1-z^{-1}q^{4n})} \\&\qquad \qquad \qquad \qquad + \sum _{n = 0}^{\infty } \frac{(1-z)(1-z^{-1})(-1)^{n}q^{6n^2 + 9n+3}(1 - q^{2n + 1})}{(1-zq^{4n+2})(1-z^{-1}q^{4n+2})} \Bigg ) , \end{aligned}$$
    and obtain
    $$\begin{aligned} \sum _{n = 1}^{\infty }\eta _{2k}^{Y3}(n)q^n&= \frac{1}{(q^2;q^2)_{\infty }^2} \left( \sum _{n = 1}^{\infty }\frac{(-1)^{n+1}q^{6n^2 - n + 4nk}(1 + q^{2n})}{(1-q^{4n})^{2k}} \right. \\&\quad \qquad \qquad \quad ~~~~ \left. + \sum _{n = 0}^{\infty }\frac{(-1)^{n+1}q^{6n^2 + 5n + 1 + (4n + 2)k}(1 - q^{2n+1})}{(1-q^{4n+2})^{2k}} \right) , \end{aligned}$$
    $$\begin{aligned} \sum _{n = 1}^{\infty } \mathrm {spt}^{Y3}_{k} \left( n\right) q^{n}&\,{:=}\, \sum _{n = 1}^{\infty }\left( \mu ^{Y}_{2k}(n)-\eta _{2k}^{Y3}(n)\right) q^{n} \\&= \sum _{n_{k} \ge \cdots \ge n_{1} \ge 1} \frac{q^{2n_1 + \cdots + 2n_k}}{(q;q^2)_{n_{1}} (q^4;q^4)_{n_{1}} (q^{2n_{1} + 2} ; q^2)_{\infty }^{2} (1-q^{2n_{k}})^{2} \cdots (1-q^{2n_{1}})^{2}} . \end{aligned}$$
     
  27. (27)
    Using the Bailey pair in the fourth entry in the table on page 470 of [33], relative to \((1,q^2)\),
    $$\begin{aligned} \beta _{n}&= \frac{q^{2n}}{\left( q^4;q^4\right) _{n} \left( q;q^2\right) _{n}} ,&\alpha _{n}&= {\left\{ \begin{array}{ll} 1 &{} n = 0,\\ (-1)^{k}q^{6k^2 - 3k}(1 + q^{6k}) &{} n = 2k,\\ (-1)^{k+1}q^{6k^2 + 3k}(1 - q^{6k+3}) &{} n = 2k + 1, \end{array}\right. } \end{aligned}$$
    we define
    $$\begin{aligned} R_{Y4}(z,q)&= \frac{1}{\left( q^2;q^2\right) _{\infty }^2} \Bigg ( 1 + \sum _{n =1}^{\infty } \frac{(1-z)(1-z^{-1})(-1)^{n}q^{6n^2 + n}(1 + q^{6n})}{(1-zq^{4n})(1-z^{-1}q^{4n})} \\&\qquad \qquad \quad \quad \quad + \sum _{n = 0}^{\infty } \frac{(1-z)(1-z^{-1})(-1)^{n+1}q^{6n^2 +7n+2}(1 - q^{6n + 3})}{(1-zq^{4n+2})(1-z^{-1}q^{4n+2})} \Bigg ) , \end{aligned}$$
    and obtain
    $$\begin{aligned} \sum _{n = 1}^{\infty }\eta _{2k}^{Y4}(n)q^n&= \frac{1}{(q^2;q^2)_{\infty }^2} \left( \sum _{n = 1}^{\infty }\frac{(-1)^{n+1}q^{6n^2 - 3n + 4nk}(1 + q^{6n})}{(1-q^{4n})^{2k}} \right. \\ {}&\quad \left. \qquad \qquad \quad \quad + \sum _{n = 0}^{\infty }\frac{(-1)^{n}q^{6n^2 + 3m + (4n + 2)k}(1 - q^{6n+3})}{(1-q^{4n+2})^{2k}} \right) , \end{aligned}$$
    $$\begin{aligned} \sum _{n = 1}^{\infty } \mathrm {spt}^{Y4}_{k} \left( n\right) q^{n}&\,{:=}\, \sum _{n = 1}^{\infty }\left( \mu ^{Y}_{2k}(n)-\eta _{2k}^{Y4}(n)\right) q^{n} \\&= \sum _{n_{k} \ge \cdots \ge n_{1} \ge 1} \frac{q^{4n_{1} + 2n_{2} + \cdots + 2n_{k}}}{(q;q^2)_{n_{1}} (q^4;q^4)_{n_{1}} (q^{2n_{1} + 2} ; q^2)_{\infty }^{2} (1-q^{2n_{k}})^{2}\cdots (1-q^{2n_{1}})^{2}} . \end{aligned}$$
     
  28. (28)
    Using the Bailey pair L(2) from [34], which is also M(1) from [34], relative to \((1,q^4)\),
    $$\begin{aligned} \beta _n&= \frac{\left( q;q^2\right) _{2n}}{\left( q^4;q^4\right) _{2n}} ,\quad \alpha _n = {\left\{ \begin{array}{ll} 1 &{} n=0,\\ (-1)^nq^{2n^2-n}(1+q^{2n}) &{} n\ge 1, \end{array}\right. } \end{aligned}$$
    we define
    $$\begin{aligned} R_{L2}(z,q)&= \frac{\left( -q;q\right) _{\infty }}{\left( q^4;q^4\right) _{\infty }} \Bigg ( 1 + \sum \limits _{n=1}^\infty \frac{(1-z)(1-z^{-1})(-1)^nq^{2n^2+3n}(1+q^{2n})}{(1-zq^{4n})(1-z^{-1}q^{4n})} \Bigg ) , \end{aligned}$$
    and obtain
    $$\begin{aligned} \sum \limits _{n=1}^\infty \eta ^{L2}_{2k}(n)q^n&= \frac{(-q)_\infty }{(q^4;q^4)_\infty } \sum _{n=1}^\infty \frac{(-1)^{n+1}q^{2n^2-n+4nk}(1+q^{2n})}{(1-q^{4n})^{2k}} , \end{aligned}$$
    $$\begin{aligned} \sum _{n = 1}^{\infty } \mathrm {spt}^{L2}_{k} \left( n\right) q^{n}&\,{:=}\, \sum _{n=1}^\infty \left( \mu ^{L2}_{2k}(n)-\eta ^{L2}_{2k}(n)\right) q^n \\&= \sum _{n_k \ge \cdots \ge n_1 \ge 1} \frac{q^{4n_1+\cdots +4n_k}}{(q^{4n_1+4};q^4)_{n_1} (q^{4n_1+1};q^2)_\infty (q^{4n_1+4};q^4)_{\infty } (1-q^{4n_k})^2 \cdots (1-q^{4n_1})^2} . \end{aligned}$$
     
As in our example, we see that in each case we have \(\mu ^{X}_{2k}(n)\ge \eta ^{X}_{2k}(n)\). We note that the symmetrized moments \(\eta ^{X}_{2k}(n)\) for \(X=F3\), L5, and X6 are non-positive integers; \(\mathrm {spt}^{X1}_{k} \left( n\right) =2\mathrm {spt}^{X3}_{k} \left( n\right) \); and \(\mathrm {spt}^{X2}_{k} \left( n\right) =2\mathrm {spt}^{X4}_{k} \left( n\right) \). By determining when \(\mu ^{X}_{2}(n)>\eta ^{X}_{2}(n)\), we also obtain the strict inequalities for \(M^{X}_{2k}(n)>N^{X}_{2k}(n)\), upon noting that
$$\begin{aligned} M^X_{2k}(n)-N^{X}_{2k}(n)&= \sum _{j=1}^{k}(2j)!S^*(k,j)( \mu ^X_{2j}(n)-\eta ^{X}_{2j}(n)) \ge \mu ^X_{2}(n)-\eta ^{X}_{2}(n) . \end{aligned}$$
We record these inequalities in Table 1.
Table 1

Strict inequalities for \(M^X_{2k}(n)>N^{X}_{2k}(n)\), for positive k

\(\varvec{X} \)

\( \varvec{n} \)

\( \varvec{X} \)

\( \varvec{n} \)

\( \varvec{X} \)

\( \varvec{n} \)

A1

\( n \ge 1\)

X2

\( n \ge 2\)

F3

\( n \ge 1\)

A3

\( n \ge 2\)

X3

\( n \ge 1\)

G1

\( n=2,{ } n \ge 4\)

A5

\( n \ge 2\)

X4

\( n \ge 1\)

G3

\( n=4,{ } n \ge 6\)

A7

\( n \ge 1\)

E4

\( n \ge 2\)

Y1

\( n \ge 1\)

B2

\( n \ge 2\)

I14

\( n \ge 2\)

Y2

\( n \ge 3\)

C1

\( n \ge 1\)

X5

\( n \ge 1\)

Y3

\( n \ge 2\)

C2

\( n \ge 2\)

J1

\( n \ge 1\)

Y4

\( n \ge 4\)

C5

\( n \ge 1\)

J2

\( n \ge 1\)

L2

\( n=4,8,9, n\ge 11\)

L5

\( n \ge 1\)

J3

\( n \ge 2\)

  

X1

\( n \ge 1\)

X6

\( n \ge 1\)

  
We can actually determine inequalities between some of the ranks that compare against the same crank. In particular, we see we have additional inequalities for two rank moments \(\eta ^{X}_{2k}(n)\) and \(\eta ^{X^\prime }_{2k}(n)\) that are compared against the same crank when
$$\begin{aligned} \frac{P_{X}(q) \left( q\right) _{n}^2\beta ^{X}_n}{(1-q^n)^2} - \frac{P_{X^\prime }(q) \left( q\right) _{n}^2\beta ^{X^\prime }_n}{(1-q^n)^2} \end{aligned}$$
clearly has non-negative coefficients. We record the identities that yield such results in the follow corollary and omit the identities that would lead to an inequality that is already present. While we could also use these identities to deduce strict inequalities between the relevant ordinary moments, we leave that as an exercise to the interested reader.

Corollary 2.3

For positive k, we have that
$$\begin{aligned} \sum _{n=1}^\infty \left( \eta ^{B2}_{2k}(n)-\eta _{2k}(n)\right) q^n&= \sum \limits _{n_k \ge \cdots \ge n_1 \ge 1} \frac{q^{n_1+\cdots +n_k} }{(q^{n_1})_{\infty }(1-q^{n_k})^{2}\cdots (1-q^{n_2})^2 } ,\\ \sum _{n=1}^\infty \left( \eta ^{B2}_{2k}(n)-\eta ^{A3}_{2k}(n)\right) q^n&= \sum \limits _{n_k \ge \cdots \ge n_1 \ge 1} \frac{q^{2n_1+n_2+\cdots +n_k} }{(q^{n_1+1})_{\infty }(1-q^{n_k})^{2}\cdots (1-q^{n_1})^2 } \\&\quad \times \left( \frac{1}{\left( q^{n_1+1}\right) _{n_1}}-1 \right) ,\\ \sum _{n=1}^\infty \left( \eta ^{B2}_{2k}(n)-\eta ^{C2}_{2k}(n)\right) q^n&= \sum \limits _{n_k \ge \cdots \ge n_1 \ge 1} \frac{q^{2n_1+n_2+\cdots +n_k} }{(q^{n_1+1})_{\infty }(1-q^{n_k})^{2}\cdots (1-q^{n_1})^2 } \\&\quad \times \left( \frac{1}{\left( q;q^2\right) _{n_1}}-1 \right) ,\\ \sum _{n=1}^\infty \left( \eta _{2k}(n)-\eta ^{A1}_{2k}(n)\right) q^n&= \sum \limits _{n_k \ge \cdots \ge n_1 \ge 1} \frac{q^{n_1+\cdots +n_k} }{(q^{n_1+1})_{\infty }(1-q^{n_k})^{2}\cdots (1-q^{n_1})^2 } \\&\quad \times \left( \frac{1}{\left( q^{n_1+1}\right) _{n_1}}-1 \right) ,\\ \sum _{n=1}^\infty \left( \eta _{2k}(n)-\eta ^{C1}_{2k}(n)\right) q^n&= \sum \limits _{n_k \ge \cdots \ge n_1 \ge 1} \frac{q^{n_1+\cdots +n_k} }{(q^{n_1+1})_{\infty }(1-q^{n_k})^{2}\cdots (1-q^{n_1})^2 } \\&\quad \times \left( \frac{1}{\left( q;q^2\right) _{n_1}}-1 \right) ,\\ \sum _{n=1}^\infty \left( \eta ^{A5}_{2k}(n)-\eta ^{A3}_{2k}(n)\right) q^n&= \sum \limits _{n_k \ge \cdots \ge n_1 \ge 1} \frac{q^{n_1+\cdots +n_k}}{(q^{n_1+1})_{n_1}(q^{n_1})_{\infty }(1-q^{n_k})^{2}\cdots (1-q^{n_2})^2} \\&\quad \times \sum _{j=0}^{n_1-2}q^{jn_1} ,\\ \sum _{n=1}^\infty \left( \eta ^{A5}_{2k}(n)-\eta ^{A7}_{2k}(n)\right) q^n&= \sum \limits _{n_k \ge \cdots \ge n_1 \ge 1} \frac{q^{n_1^2+n_2+\cdots +n_k} }{(q^{n_1+1})_{n_1}(q^{n_1})_{\infty }(1-q^{n_k})^{2}\cdots (1-q^{n_2})^2}, \end{aligned}$$
$$\begin{aligned} \sum _{n=1}^\infty \left( \eta ^{A3}_{2k}(n)-\eta ^{A1}_{2k}(n)\right) q^n&= \sum \limits _{n_k \ge \cdots \ge n_1 \ge 1} \frac{q^{n_1+\cdots +n_k}}{(q^{n_1+1})_{n_1}(q^{n_1})_{\infty }(1-q^{n_k})^{2}\cdots (1-q^{n_2})^2} ,\\ \sum _{n = 1}^{\infty }\left( \eta _{2k}^{A3}(n)-\eta _{2k}^{X4}(n)\right) q^{n}&= \sum _{n_{k} \ge \cdots \ge n_{1} \ge 1} \frac{q^{2n_{1}+n_2 + \cdots + n_{k}}\left( (-q^2;q^2)_{n_{1}-1}-1 \right) }{(q^{n_{1}+1})_{n_{1}} (q^{n_{1}+1})_{\infty } (1-q^{n_{k}})^{2}\cdots (1-q^{n_{1}})^2} ,\\ \sum _{n=1}^\infty \left( \eta ^{A7}_{2k}(n)-\eta ^{A1}_{2k}(n)\right) q^n&= \sum \limits _{n_k \ge \cdots \ge n_1 \ge 1} \frac{q^{n_1+\cdots +n_k}}{(q^{n_1+1})_{n_1}(q^{n_1})_{\infty }(1-q^{n_k})^{2}\cdots (1-q^{n_2})^2 } \\&\quad \times \sum _{j=0}^{n_1-2}q^{jn_1} , \end{aligned}$$
$$\begin{aligned} \sum _{n = 1}^{\infty }\left( \eta _{2k}^{A1}(n)-\eta _{2k}^{X3}(n)\right) q^{n}&= \sum _{n_{k} \ge \cdots \ge n_{1} \ge 1} \frac{q^{n_{1} + \cdots + n_{k}}\left( (-q^2;q^2)_{n_{1}-1}-1 \right) }{(q^{n_{1}+1})_{n_{1}} (q^{n_{1}+1})_{\infty } (1-q^{n_{k}})^{2}\cdots (1-q^{n_{1}})^2} ,\\ \sum _{n = 1}^{\infty }\left( \eta _{2k}^{X4}(n)-\eta _{2k}^{X3}(n)\right) q^{n}&= \sum _{n_{k} \ge \cdots \ge n_{1} \ge 1} \frac{(-q^2;q^2)_{n_{1}-1} q^{n_{1} + \cdots + n_{k}}}{(q^{n_{1}+1})_{n_{1}} (q^{n_{1}})_{\infty } (1-q^{n_{k}})^{2}\cdots (1-q^{n_{2}})^2} ,\\ \sum _{n = 1}^{\infty }\left( \eta _{2k}^{X4}(n)-\eta _{2k}^{X2}(n)\right) q^{n}&= \sum _{n_{k} \ge \cdots \ge n_{1} \ge 1} \frac{(-q^2;q^2)_{n_{1}-1} q^{2n_{1} +n_2+ \cdots + n_{k}}}{(q^{n_{1}+1})_{n_{1}} (q^{n_{1}+1})_{\infty } (1-q^{n_{k}})^{2}\cdots (1-q^{n_{1}})^2} ,\\ \sum _{n = 1}^{\infty }\left( \eta ^{C2}_{2k}(n)-\eta _{2k}^{C1}(n)\right) q^{n}&= \sum _{n_{k} \ge \cdots \ge n_{1} \ge 1} \frac{q^{n_{1} + n_{2} + \cdots + n_{k}}}{(q;q^2)_{n_{1}} (q^{n_{1}})_{\infty } (1-q^{n_{k}})^{2}\cdots (1-q^{n_{2}})^{2}} ,\\ \sum _{n = 1}^{\infty }\left( \eta _{2k}^{X2}(n)-\eta _{2k}^{X1}(n)\right) q^{n}&= \sum _{n_{k} \ge \cdots \ge n_{1} \ge 1} \frac{(-1;q^{2})_{n_{1}}q^{n_{1} + \cdots + n_{k}}}{(q^{n_{1} + 1})_{n_{1}} (q^{n_{1}})_{\infty } (1-q^{n_{k}})^{2}\cdots (1-q^{n_{2}})^2} ,\\ \sum _{n = 1}^{\infty }\left( \eta _{2k}^{X3}(n)-\eta _{2k}^{X1}(n)\right) q^{n}&= \sum _{n_{k} \ge \cdots \ge n_{1} \ge 1} \frac{(-q^2;q^2)_{n_{1}-1} q^{n_{1} + \cdots + n_{k}}}{(q^{n_{1}+1})_{n_{1}} (q^{n_{1}+1})_{\infty } (1-q^{n_{k}})^{2}\cdots (1-q^{n_{1}})^2} ,\\ \sum _{n = 1}^{\infty }\left( \eta ^{C5}_{2k}(n)-\eta _{2k}^{C1}(n)\right) q^{n}&= \sum _{n_{k} \ge \cdots \ge n_{1} \ge 1} \frac{q^{n_{1} + n_{2} + \cdots + n_{k}} }{ (q^{n_{1}})_{\infty } (1-q^{n_{k}})^{2}\cdots (1-q^{n_{2}})^{2}} \\&\quad \times \frac{(1-q^{\frac{n_1(n_1-1)}{2}})}{(q;q^2)_{n_{1}}(1-q^{n_1})} ,\\ \sum _{n = 1}^{\infty }\left( \eta ^{C1}_{2k}(n)-\eta _{2k}^{L5}(n)\right) q^{n}&= \sum _{n_{k} \ge \cdots \ge n_{1} \ge 1} \frac{q^{n_{1} + \cdots + n_{k}}\left( \left( -1\right) _{n_1}-1 \right) }{(q;q^2)_{n_{1}} (q^{n_{1}+1})_{\infty } (1-q^{n_{k}})^{2}\cdots (1-q^{n_{1}})^{2}}, \end{aligned}$$
$$\begin{aligned}&\sum _{n=1}^\infty \left( \eta ^{J3}_{2k}(n)-\eta ^{J2}_{2k}(n)\right) q^n \\&\quad = \sum _{n_{k} \ge \cdots \ge n_{1} \ge 1} \frac{q^{n_{1} + n_{2} + \cdots + n_{k}}}{(q)_{n_{1}-1} (q^{n_{1}+1})_{n_{1}} (q^{3n_1};q^3)_\infty (q^{n_{1}})_{\infty } (1-q^{n_{k}})^{2}\cdots (1-q^{n_{2}})^{2} } , \end{aligned}$$
$$\begin{aligned}&\sum _{n=1}^\infty \left( \eta ^{J2}_{2k}(n)-\eta ^{J1}_{2k}(n)\right) q^n\\&\quad = \sum _{n_{k} \ge \cdots \ge n_{1} \ge 1} \frac{q^{2n_{1} + n_{2} + \cdots + n_{k}}}{(q)_{2n_{1}} (q^{3n_1};q^3)_\infty (q^{n_{1}})_{\infty } (1-q^{n_{k}})^{2}\cdots (1-q^{n_{2}})^{2}} , \end{aligned}$$
$$\begin{aligned} \sum _{n=1}^\infty \left( \eta ^{E4}_{2k}(n)-\overline{\eta }_{2k}(n)\right) q^n&= \sum \limits _{n_k \ge \cdots \ge n_1 \ge 1} \frac{\left( -q^{n_1+1}\right) _{\infty } q^{n_1+\cdots +n_k} }{(q^{n_1})_{\infty } (1-q^{n_k})^{2}\cdots (1-q^{n_2})^2 } ,\\ \sum _{n = 1}^{\infty }\left( \overline{\eta }_{2k}(n)-\eta _{2k}^{X5}(n)\right) q^{n}&= \sum _{n_{k} \ge \cdots \ge n_{1} \ge 1} \frac{(-q^{n_{1} + 1})_{\infty } q^{n_1+ \cdots + n_k}}{(q^{n_1+1})_{\infty } (1-q^{n_{k}})^{2} \cdots (1-q^{n_{1}})^{2}} \\ {}&\quad \times \left( \frac{(-q^3;q^3)_{n_{1}-1} }{(q^{n_{1} + 1})_{n_{1}-1} }-1\right) ,\\ \sum _{n = 1}^{\infty }\left( \overline{\eta }_{2k}(n)-\eta _{2k}^{I14}(n)\right) q^{n}&= \sum _{n_{k} \ge \cdots \ge n_{1} \ge 1} \frac{(-q^{n_{1}+1})_{\infty } q^{n_{1} + \cdots {} + n_{k}}}{(q^{n_{1} + 1})_{\infty } (1-q^{n_{k}})^{2}\cdots (1-q^{n_{1}})^{2}}\\&\quad \times \left( \frac{(-q^2;q^2)_{n_{1}-1}(1+q^{n_1}) }{(q;q^{2})_{n_{1}} } - 1 \right) , \end{aligned}$$
$$\begin{aligned}&\sum _{n = 1}^{\infty }\left( \eta ^{G3}_{2k}(n)- \eta _{2k}^{G1}(n)\right) q^{n} \\&\quad = \sum \limits _{n_k \ge \cdots \ge n_1 \ge 1} \frac{(-q^{2n_1+1};q^2)_\infty q^{2n_1+\cdots +2n_k}}{(q^4;q^4)_{n_1} (q^{2n_1+2};q^2)_{\infty } (q^{2n_1};q^2)_{\infty } (1-q^{2n_k})^2\cdots (1-q^{2n_2})^2} , \end{aligned}$$
$$\begin{aligned} \sum _{n = 1}^{\infty }\left( \eta _{2k}^{Y2}(n) - \eta _{2k}^{Y1}(n)\right) q^{n}&= \sum _{n_{k} \ge \cdots \ge n_{1} \ge 1} \frac{q^{n_{1}^2 + 2n_{2} + \cdots + 2n_{k}}}{(q;q^2)_{n_{1}} (q^4;q^4)_{n_{1}} (q^{2n_{1} + 2} ; q^2)_{\infty }(q^{2n_{1}} ; q^2)_{\infty } } \\&\quad \times \frac{1}{(1-q^{2n_{k}})^{2} \cdots (1-q^{2n_{2}})^2}, \end{aligned}$$
$$\begin{aligned}&\sum _{n = 1}^{\infty }\left( \eta _{2k}^{Y2}(n) - \eta _{2k}^{Y3}(n)\right) q^{n} \\&\quad = \sum _{n_{k} \ge \cdots \ge n_{1} \ge 1} \frac{q^{2n_{1} + \cdots + 2n_{k}}}{(q^4;q^4)_{n_{1}} (q^{2n_{1}} ; q^2)_{\infty } (q^{2n_{1} + 2} ; q^2)_{\infty } (1-q^{2n_{k}})^{2} \cdots (1-q^{2n_{2}})^2} \\&\quad \quad \times \frac{(1-q^{n_1^2})}{\left( q;q^2\right) _{n_1}(1-q^{2n_1})} , \end{aligned}$$
$$\begin{aligned} \sum _{n = 1}^{\infty }\left( \eta _{2k}^{Y4}(n) - \eta _{2k}^{Y3}(n)\right) q^{n}&= \sum _{n_{k} \ge \cdots \ge n_{1} \ge 1} \frac{q^{2n_{1} + \cdots + 2n_{k}}}{(q;q^2)_{n_{1}} (q^4;q^4)_{n_{1}} (q^{2n_{1} + 2} ; q^2)_{\infty }(q^{2n_{1}} ; q^2)_{\infty }} \\&\quad \times \frac{1}{(1-q^{2n_{k}})^{2} \cdots (1-q^{2n_{2}})^2} . \end{aligned}$$
Here \(\overline{\eta }_{2k}\) is the symmetrized overpartition rank moment from [25] and satisfies
$$\begin{aligned} \sum _{n = 1}^{\infty }\left( \overline{\mu }_{2k}(n)-\overline{\eta }_{2k}(n)\right) q^{n}&= \sum _{n_{k} \ge \cdots \ge n_{1} \ge 1} \frac{(-q^{n_{1}+1})_{\infty } q^{n_{1} + \cdots {} + n_{k}}}{(q^{n_{1} + 1})_{\infty } (1-q^{n_{k}})^{2}\cdots (1-q^{n_{1}})^{2}} . \end{aligned}$$

3 The Proof of Theorem 2.1

Lemma 3.1

Suppose \(\alpha _n\) is a sequence such that \(\alpha _{n} = \alpha _{-n}\), then
$$\begin{aligned} \sum _{n = 1}^{\infty } \frac{\alpha _{n}q^n(1-z)(1-z^{-1})}{(1-zq^n)(1-z^{-1}q^n)}&= \sum _{n \ne 0}\frac{\alpha _{n}q^n(1-z)}{(1+q^{n})(1-zq^{n})} . \end{aligned}$$
Furthermore, if j is a positive integer, then
$$\begin{aligned} \left( \frac{\partial }{\partial {}z}\right) ^j \sum _{n = 1}^{\infty } \frac{\alpha _{n}q^n(1-z)(1-z^{-1})}{(1-zq^n)(1-z^{-1}q^n)}&= -j!\sum _{n \ne 0} \frac{\alpha _{n}q^{nj}(1-q^n)}{(1+q^n)(1-zq^n)^{j+1}} . \end{aligned}$$

Proof

We note the first identity is the standard rearrangements used for many rank functions. We have that
$$\begin{aligned} \sum _{n = 1}^{\infty } \frac{\alpha _{n}q^n(1-z)(1-z^{-1})}{(1-zq^n)(1-z^{-1}q^n)}&= \sum _{n = 1}^{\infty } \frac{\alpha _{n}q^n}{1 + q^n} \left( \frac{1-z}{1-zq^n} + \frac{1-z^{-1}}{1-z^{-1}q^n}\right) \\&= \sum _{n = 1}^{\infty } \frac{\alpha _{n}q^n(1-z)}{(1 + q^n)(1-zq^n)} + \sum _{n = -\infty }^{-1} \frac{\alpha _{-n}q^{-n}(1-z^{-1})}{(1 + q^{-n})(1-z^{-1}q^{-n})} \\&= \sum _{n = 1}^{\infty } \frac{\alpha _{n}q^n(1-z)}{(1 + q^n)(1-zq^n)} + \sum _{n = -\infty }^{-1} \frac{\alpha _{n}q^n(1-z)}{(1 + q^{n})(1-zq^{n})} \\&= \sum _{n \ne 0}\frac{\alpha _{n}q^n(1-z)}{(1+q^{n})(1-zq^{n})} . \end{aligned}$$
This establishes the first identity. The second identity follows from the first, upon noting that
$$\begin{aligned} \left( \frac{\partial }{\partial {}z}\right) ^j \frac{1-z}{1-zq^n}&= \frac{-j!(1-q^n)q^{n(j-1)}}{(1-zq^n)^{j+1}} . \end{aligned}$$
\(\square \)

Lemma 3.2

Suppose \(\alpha _n\) is a sequence such that \(\alpha _{n} = \alpha _{-n}\) and
$$\begin{aligned} R_{X}(z,q) \,{:=}\, P_{X}(q) \left( 1 + \sum _{n = 1}^{\infty } \frac{\alpha _{n}q^n(1-z)(1-z^{-1})}{(1-zq^n)(1-z^{-1}q^n)} \right)&= \sum _{n=0}^\infty \sum _{m=-\infty }^\infty N_{X}(m,n) z^mq^n , \end{aligned}$$
where \(P_{X}(q)\) is some series in q. Let
$$\begin{aligned} \eta ^{X}_{k}(n)&= \sum _{m = -\infty }^{\infty } \left( {\begin{array}{c}m+\left\lfloor \frac{k-1}{2}\right\rfloor \\ k\end{array}}\right) N_{X}(m,n) . \end{aligned}$$
Then \(\eta ^{X}_{2k+1}(n)=0\) and
$$\begin{aligned} \sum _{n=1}^\infty \eta ^X_{2k}(n) q^n&= -P_X(q) \sum _{n=1}^\infty \frac{\alpha _{n}q^{nk}}{(1-q^n)^{2k}} . \end{aligned}$$

Proof

We note this is the generalization of Theorems 1 and 2 of [4]. The proof that \(\eta ^{X}_{2k+1}=0\) follows that of Theorem 1 of [4] verbatim, as we have \(N_X(m,n)=N_X(-m,n)\) due to the symmetry in z and \(z^{-1}\). For the even moments, much the same as in the proof of Theorem 2 from [5], by Lemma 3.1 we have that
$$\begin{aligned} \sum \limits _{n=1}^\infty \eta ^X_{2k}(n)q^n&= \frac{1}{(2k)!} \left( \frac{\partial }{\partial {}z}\right) ^{2k} z^{k-1}R_X(z,q) \Bigr |_{z = 1} \\&= \frac{1}{(2k)!} \sum _{j = 0}^{k-1} \left( {\begin{array}{c}2k\\ j\end{array}}\right) (k-1)\cdots {}(k-j)R_X^{(2k-j)}(1,q) \\&= -P_X(q) \sum _{j=0}^{k-1} \left( {\begin{array}{c}k-1\\ j\end{array}}\right) \sum _{n \ne 0} \frac{\alpha _{n}q^{n(2k-j)}(1-q^n)}{(1+q^n)(1-q^n)^{2k-j+1}} \\&= -P_X(q) \sum _{n \ne 0}\frac{\alpha _{n}q^{2nk}}{(1 - q^n)^{2k}(1+q^n)} \sum _{j = 0}^{k-1}\left( {\begin{array}{c}k-1\\ j\end{array}}\right) (q^{-n}(1 - q^{n}))^{j} \\&= -P_X(q) \sum _{n \ne 0} \frac{\alpha _{n}q^{2nk}}{(1 - q^n)^{2k}(1+q^n)}( 1 + q^{-n}(1 - q^{n}))^{k - 1} \\&= -P_X(q) \sum _{n \ne 0} \frac{\alpha _{n}q^{n + nk}}{(1 - q^n)^{2k}(1+q^n)} \\&= -P_X(q) \sum _{n = 1}^{\infty } \frac{\alpha _{n}q^{nk}}{(1-q^n)^{2k}} . \end{aligned}$$
\(\square \)
With the above lemma, we have established (2.1) of Theorem 2.1. We then find (2.2) follows immediately from Eq. (3.3) and Theorem 3.3 of [21], both of which we state for completeness. Eq. (3.3) is that for positive k,
$$\begin{aligned} \sum _{n=1}^\infty \mu _{2k}(n)q^n&= \frac{1}{\left( q\right) _{\infty }} \sum _{n_k\ge \cdots \ge n_1\ge 1} \frac{q^{n_1+\cdots +n_k}}{(1-q^{n_k})^2\cdots (1-q^n_1)^2} . \end{aligned}$$
Theorem 3.3 states that if \(\alpha _{n}\) and \(\beta _{n}\) are a Bailey pair relative to (1, q) and \(\alpha _{0} = \beta _{0} = 1\). Then
$$\begin{aligned}&\sum _{n_{k} \ge \cdots \ge n_{1} \ge 1} \frac{(q )_{n_{1}}^{2} q^{n_{1} + \cdots + n_{k}}\beta _{n_{1}}}{(1-q^{n_{k}})^{2}(1-q^{n_{k-1}})^{2} \cdots (1-q^{n_{1}})^{2}} \\&\quad = \sum _{n_{k} \ge \cdots \ge n_{1} \ge 1} \frac{q^{n_{1} + \cdots + n_{k}}}{(1-q^{n_{k}})^{2}(1-q^{n_{k-1}})^{2} \cdots (1-q^{n_{1}})^{2}} + \sum _{r = 1}^{\infty }\frac{q^{kr}\alpha _{r}}{(1-q^{r})^{2k}} . \end{aligned}$$
Lastly, for (2.3) and (2.4), we find that one can follow verbatim the proof of Theorem 4.3 of [21], as the only requirement is that \(N_X(m,n)=N_{X}(-m,n)\). Thus Theorem 2.1 follows.

4 Combinatorial interpretations

To determine what the functions \(\mathrm {spt}^{X}_{2k} \left( n\right) \) are counting, we use the weight from [21] as extended to vector partitions in [25]. We recall that a vector partition of n is a vector of partitions, \((\pi _1,\cdots ,\pi _r)\), such that altogether the parts sum to n. When \(\vec {\pi }\) is a vector partition of n, we write \(|\vec {\pi }|=n\). For a partition \(\pi \) with different parts \(n_1< n_2< \cdots {} < n_m\), we take \(f_{j}(\pi )\) to be the frequency of the part \(n_j\). Given a vector partition \(\vec {\pi }=(\pi _1,\pi _2,\cdots ,\pi _r)\), we let \(f^1_{j} \,{:=}\, f^1_{j}(\vec {\pi }) = f_j(\pi _1)\), and have the weight \(\omega _k(\vec {\pi })\) given by
$$\begin{aligned} \omega _{k}(\vec {\pi })&\,{:=}\, \sum _{\begin{array}{c} m_1 + m_2 + \cdots {} + m_r = k \\ 1 \le r \le k \end{array}} \left( {\begin{array}{c}f_{1}^{1} + m_1 - 1\\ 2m_1 - 1\end{array}}\right) \\&\quad \times \sum _{2 \le j_2< j_3< \cdots < j_r} \left( {\begin{array}{c}f_{j_2}^{1} + m_2\\ 2m_2\end{array}}\right) \left( {\begin{array}{c}f_{j_3}^{1} + m_3\\ 2m_3\end{array}}\right) \cdots {}\left( {\begin{array}{c}f_{j_r}^{1} + m_r\\ 2m_r\end{array}}\right) . \end{aligned}$$
We note that the first sum is over all compositions of k. Based on the combinatorial interpretations in [21, 25], we expect to find that \(\mathrm {spt}^{X}_{2k} \left( n\right) \) is the number of vector partitions \(\vec {\pi }=(\pi _1,\pi _2,\cdots ,\pi _r)\), weighted by \(\omega _{k}\), where \((\pi _2,\cdots ,\pi _r)\) are restricted to the vector partitions enumerated by \(\left( q^{n_1+1}\right) _{\infty }\left( q\right) _{n_1}^2 P_X(q) \beta _{n_1}\), where \(n_1\) is the smallest part of \(\pi _1\). Upon minor adjustments for the cases where \(q\rightarrow q^2\) and \(q\rightarrow q^4\), this is correct. In a small number of cases one of the partitions \(\pi _k\), for \(k\ge 2\), strictly speaking may not be a partition in that we will allow a non-positive part to appear.

Definition 4.1

We define the follows sets of vector partitions. In all cases we require that \(\pi _1\) be non-empty.
  • \(S^{A1}\)—the set of vector partitions \((\pi _1, \pi _2)\) where \(\pi _1\) has smallest part n and the parts m of \(\pi _2\) satisfy \(n+1 \le m \le 2n\).

  • \(S^{A3}\)—the set of vector partitions \((\pi _1, \pi _2)\) where \(\pi _1\) has smallest part n; the parts m of \(\pi _2\) satisfy \(n \le m \le 2n\); and the part n appears exactly once in \(\pi _2\).

  • \(S^{A5}\)—the set of vector partitions \((\pi _1, \pi _2)\) where \(\pi _1\) has smallest part n; the parts m of \(\pi _2\) satisfy \(n\le m \le 2n\); and the part n appears exactly n times in \(\pi _2\).

  • \(S^{A7}\)—the set of vector partitions \((\pi _1, \pi _2)\) where \(\pi _1\) has smallest part n; the parts m of \(\pi _2\) satisfy \(n \le m \le 2n\); and the part n appears exactly \(n-1\) times in \(\pi _2\).

  • \(S^{B2}\)—the set of vector partitions \((\pi _1, \pi _2)\) where \(\pi _1\) has smallest part n and \(\pi _2\) consists of exactly one copy of the part n.

  • \(S^{C1}\)—the set of vector partitions \((\pi _1, \pi _2)\) where the smallest part of \(\pi _1\) is n and the parts m of \(\pi _2\) are odd and satisfy \(1\le m\le 2n-1\).

  • \(S^{C2}\)—the set of vector partitions \((\pi _1, \pi _2)\) where the smallest part of \(\pi _1\) is n; the parts m of \(\pi _2\) satisfy \(1\le m\le 2n-1\); the parts of \(\pi _2\) other than n are odd; if n is odd, then n appears at least once in \(\pi _2\); and if n is even, then n appears exactly once in \(\pi _2\).

  • \(S^{C5}\)—the set of vector partitions \((\pi _1, \pi _2, \pi _3)\) where the smallest part of \(\pi _1\) is n; the parts m of \(\pi _2\) are odd and satisfy \(1\le m\le 2n-1\); and \(\pi _3\) consists of exactly one copy of the part \(\frac{n(n - 1)}{2}\).

  • \(S^{L5}\)—the set of vector partitions \((\pi _1, \pi _2, \pi _3)\) where \(\pi _1\) has smallest part n; the parts m of \(\pi _2\) are odd and satisfy \(1\le m\le 2n-1\); and the parts m of \(\pi _3\) are distinct and satisfy \(0\le m \le n-1\) (so that \(\pi _3\) may contain 0 at most once).

  • \(S^{X1}\)—the set of vector partitions \((\pi _1, \pi _2, \pi _3)\) where \(\pi _1\) has smallest part n; the parts m of \(\pi _2\) satisfy \(n+1\le m\le 2n\); and the parts m of \(\pi _3\) are distinct even parts and satisfy \(0\le m\le 2n-2\) (so that \(\pi _3\) may contain the part 0 at most once).

  • \(S^{X2}\)—the set of vector partitions \((\pi _1, \pi _2, \pi _3)\) where \(\pi _1\) has smallest part n; the parts m of \(\pi _2\) satisfy \(n\le m\le 2n\); the part n appears exactly once in \(\pi _2\); and the parts m of \(\pi _3\) are distinct even parts and satisfy \(0\le m\le 2n-2\) (so that \(\pi _3\) may contain the part 0 at most once).

  • \(S^{X3}\)—the set of vector partitions \((\pi _1, \pi _2, \pi _3)\) where \(\pi _1\) has smallest n; the parts m of \(\pi _2\) satisfy \(n+1\le m\le 2n\); and the parts m of \(\pi _3\) are distinct even parts and satisfy \(1\le m\le 2n-2\).

  • \(S^{X4}\)—the set of vector partitions \((\pi _1, \pi _2, \pi _3)\) where \(\pi _1\) has smallest n; the parts m of \(\pi _2\) satisfy \(n\le m\le 2n\); the part n appears exactly once in \(\pi _2\); and the parts m of \(\pi _3\) are distinct even parts and satisfy \(1\le m\le 2n-2\).

  • \(S^{E4}\)—the set of vector partitions \((\pi _1, \pi _2)\) where \(\pi _1\) has smallest part n; the parts m of \(\pi _2\) are distinct and satisfy \(n\le m\); and the part n appears exactly once in \(\pi _2\).

  • \(S^{I14}\)—the set of vector partitions \((\pi _1, \pi _2, \pi _3)\) where \(\pi _1\) has smallest part n; the parts m of \(\pi _2\) satisfy \(1\le m\le 2n-1\); the even parts of \(\pi _2\) are distinct; and the parts m of \(\pi _3\) are distinct and satisfy \(n\le m\).

  • \(S^{X5}\)—the set of vector partitions \((\pi _1, \pi _2, \pi _3, \pi _4)\) where \(\pi _1\) has smallest part n; the parts m of \(\pi _2\) are distinct multiples of 3 and satisfy \(1\le m\le 3n-3\); the parts m of \(\pi _3\) are distinct and satisfy \(n+1\le m\); and the parts m of \(\pi _3\) satisfy \(n+1\le m \le 2n-1\).

  • \(S^{J1}\)—the set of vector partitions \((\pi _1, \pi _2)\) where \(\pi _1\) has smallest part n; \(\pi _2\) has no part m such that \(2n\le m\le 3n-1\); and the parts m of \(\pi _2\) satisfying \(3n\le m\) are multiplies of 3.

  • \(S^{J2}\)—the set of vector partitions \((\pi _1, \pi _2)\) where \(\pi _1\) has smallest part n; \(\pi _2\) has no part m such that \(m=n\) or \(2n+1\le m\le 3n-1\); and the parts m of \(\pi _2\) satisfying \(3n\le m\) are multiples of 3.

  • \(S^{J3}\)—the set of vector partitions \((\pi _1, \pi _2)\) where \(\pi _1\) has smallest part n; \(\pi _2\) has no part m such that \(2n+1\le m\le 3n-1\); the part n appears exactly once in \(\pi _2\); and the parts m of \(\pi _2\) satisfying \(3n\le m\) are multiples of 3.

  • \(S^{X6}\)—the set of vector partitions \((\pi _1, \pi _2, \pi _3)\) where \(\pi _1\) has smallest part n; the parts m of \(\pi _2\) satisfy \(1\le m\le n-1\); the parts m of \(\pi _3\) satisfying \(1\le m\le 2n-1\) are odd; and the parts m of \(\pi _3\) satisfying \(2n\le m\) are even.

  • \(S^{F3}\)—the set of vector partitions \((\pi _1, \pi _2)\) where the parts of \(\pi _1\) are even and the smallest part is 2n; \(\pi _2\) contains exactly one copy of the negative integer \(-n\); and the positive parts m of \(\pi _2\) are odd and satisfy \(1\le m\le 2n-1\).

  • \(S^{G1}\)—the set of vector partitions \((\pi _1, \pi _2, \pi _3)\) where the parts of \(\pi _1\) are even and the smallest part is 2n; the parts m of \(\pi _2\) are multiples of 4 and satisfy \(1\le m\le 4n\); the parts m of \(\pi _3\) satisfy \(2n+1\le m\); and the odd parts of \(\pi _3\) are distinct.

  • \(S^{G3}\)—the set of vector partitions \((\pi _1, \pi _2, \pi _3)\) where the parts of \(\pi _1\) are even and the smallest part is 2n; the parts m of \(\pi _2\) are multiples of 4 and satisfy \(1\le m\le 4n\); the parts m of \(\pi _3\) satisfy \(2n\le m\); the odd parts of \(\pi _3\) are distinct; and the part 2n appears exactly once in \(\pi _3\).

  • \(S^{Y1}\)—the set of vector partitions \((\pi _1,\pi _2,\pi _3,\pi _4)\) where the parts of \(\pi _1\) are even and the smallest part is 2n; the parts m of \(\pi _2\) are multiples of 4 and satisfy \(1\le m\le 4n\); the parts m of \(\pi _3\) satisfying \(1\le m\le 2n-1\) are odd; the parts m of \(\pi _3\) satisfying \(2n+2\le m\) are even; the parts 2n and \(2n+1\) do not appear in \(\pi _3\); and \(\pi _4\) consists of exactly one copy of the part \(n^2-2n\) (which in the case of \(n=1\) is \(-1\)).

  • \(S^{Y2}\)—the set of vector partitions \((\pi _1,\pi _2,\pi _3,\pi _4)\) where the parts of \(\pi _1\) are even and the smallest part is 2n; the parts m of \(\pi _2\) are multiples of 4 and satisfy \(1\le m\le 4n\); the parts m of \(\pi _3\) satisfying \(1\le m\le 2n-1\) are odd; the parts m of \(\pi _3\) satisfying \(2n+2\le m\) are even; the parts 2n and \(2n+1\) do not appear in \(\pi _3\); and \(\pi _4\) consists of exactly one copy of the part \(n^2\).

  • \(S^{Y3}\)—the set of vector partitions \((\pi _1,\pi _2,\pi _3)\) where the parts of \(\pi _1\) are even and the smallest part is 2n; the parts m of \(\pi _2\) are multiples of 4 and satisfy \(1\le m\le 4n\); the parts m of \(\pi _3\) satisfying \(1\le m\le 2n-1\) are odd; the parts m of \(\pi _3\) satisfying \(2n+2\le m\) are even; and the parts 2n and \(2n+1\) do not appear in \(\pi _3\).

  • \(S^{Y4}\)—the set of vector partitions \((\pi _1,\pi _2,\pi _3)\) where the parts of \(\pi _1\) are even and the smallest part is 2n; the parts m of \(\pi _2\) are multiples of 4 and satisfy \(1\le m\le 4n\); the parts m of \(\pi _3\) satisfying \(1\le m\le 2n-1\) are odd; the parts m of \(\pi _3\) satisfying \(2n\le m\) are even; and the part 2n appears exactly once in \(\pi _3\).

  • \(S^{L2}\)—the set of vector partitions \((\pi _1, \pi _2)\) where the parts of \(\pi _1\) are multiplies of 4 and the smallest part is 4n; the parts m of \(\pi _2\) satisfy \(m\not \equiv 2\pmod {4}\) and \(4n+1\le m\); and the parts m of \(\pi _2\) that are multiples of 4 additionally satisfy \(m\le 8n\).

Theorem 4.2

Suppose the assumptions and notation of Theorem 2.1 and let
$$\begin{aligned} \beta '_{n}(q)&= (q^{n + 1})_{\infty }(q)_{n}^{2} P_X(q) \beta _{n} . \end{aligned}$$
Suppose k is a positive integer and let A denote the set of all compositions of k, then
$$\begin{aligned} \sum _{n=1}^{\infty } \mathrm {spt}^{X}_{k} \left( n\right) q^n&= \sum _{(m_1,\cdots ,m_r)=\vec {m} \in A} \sum _{1 \le n_{1}< n_{j_2}< \cdots < n_{j_r}} \sum _{f_1=m_1}^{\infty } \sum _{f_{j_2}=m_2}^{\infty } \cdots \sum _{f_{j_r}=m_r}^{\infty } \left( {\begin{array}{c}f_{1}+m_1-1\\ 2m_1-1\end{array}}\right) \\&\quad \times \left( {\begin{array}{c}f_{j_2}+m_2\\ 2m_2\end{array}}\right) \cdots \left( {\begin{array}{c}f_{j_r}+m_r\\ 2m_r\end{array}}\right) q^{n_1f_1+n_{j_2}f_{j_2}+ \cdots +n_{j_r}f_{j_r}} \beta _{n_1}'(q) \\&\quad \times \prod _{\begin{array}{c} i > n_1 \\ i \notin \{n_{j_2},\cdots ,n_{j_r}\} \end{array}} \frac{1}{1 - q^i} . \end{aligned}$$
In particular for all of the Bailey pairs considered in Corollary 2.2, we have for all positive k and n that
$$\begin{aligned} \sum _{n=1}^\infty \mathrm {spt}^{X}_{k} \left( n\right) q^n&= \sum _{\vec {\pi } \in S^{X}}\omega _{k}(\vec {\pi }) q^{|\vec {\pi }|} . \end{aligned}$$

Proof

The proof is much the same as that of Theorem 5.6 from [21] and its generalization to Theorem 3.1 from [25]. We first note that
$$\begin{aligned} \sum _{n=1}^{\infty } \mathrm {spt}^{X}_{k} \left( n\right) q^n&= \sum _{1 \le n_1 \le n_2 \le \cdots \le n_k } \frac{ \beta '_{n_1}(q) q^{n_1+n_2+\cdots +n_k}}{(q^{n_1+1})_{\infty }(1-q^{n_k})^2\cdots (1-q^{n_1})^2} . \end{aligned}$$
(4.1)
We will use that
$$\begin{aligned} \frac{x^j}{(1-x)^{2j}}&= \sum _{n = j}^{\infty }\left( {\begin{array}{c}n + j - 1\\ 2j - 1\end{array}}\right) x^n ,&\frac{x^j}{(1-x)^{2j+1}}&= \sum _{n = j}^{\infty }\left( {\begin{array}{c}n + j\\ 2j\end{array}}\right) x^n . \end{aligned}$$
To illustrate the series rearrangements of the general proof, we first write out in full detail the case when \(k = 3\). For \(k=3\) we have
$$\begin{aligned} \sum _{n=1}^{\infty } \mathrm {spt}^{X}_{3} \left( n\right) q^n&= \sum _{n_{j_3} \ge n_{j_2} \ge n_{1} \ge 1} \frac{\beta _{n_1}'(q)q^{n_{1} + n_{j_2} + n_{j_3}}}{(q^{n_{1} + 1})_{\infty }(1-q^{n_{j_3}})^{2}(1-q^{n_{j_2}})^{2}(1-q^{n_{1}})^{2}}\\&= \left( \sum _{1 \le n_{1} = n_{j_2} = n_{j_3}} + \sum _{1 \le n_{1} = n_{j_2}< n_{j_3}} + \sum _{1 \le n_{1}< n_{j_2} = n_{j_3}} + \sum _{1 \le n_{1}< n_{j_2}< n_{j_3}} \right) \\&\quad \times \frac{\beta _{n_1}'(q)q^{n_{1} + n_{j_2} + n_{j_3}}}{(q^{n_{1} + 1})_{\infty }(1-q^{n_{j_3}})^{2}(1-q^{n_{j_2}})^{2}(1-q^{n_{1}})^{2}}\\&= \sum _{1 \le n_1} \frac{q^{3n_1}}{(1-q^{n_1})^6}\beta _{n_1}'(q)\prod _{i>n_1}\frac{1}{1-q^i} \\&\quad + \sum _{1 \le n_1< n_{j_3}} \frac{q^{2n_1}}{(1-q^{n_1})^4} \frac{q^{n_{j_3}}}{(1-q^{n_{j_3}})^3} \beta _{n_1}'(q)\prod _{\begin{array}{c} i> n_1 \\ i \ne n_{j_3} \end{array}} \frac{1}{1 - q^i} \\&\quad + \sum _{1 \le n_1< n_{j_2}} \frac{q^{n_1}}{(1-q^{n_1})^2} \frac{q^{2n_{j_2}}}{(1-q^{n_{j_2}})^5} \beta _{n_1}'(q)\prod _{\begin{array}{c} i> n_1 \\ i \ne n_{j_2} \end{array}} \frac{1}{1 - q^i} \\&\quad + \sum _{1 \le n_1< n_{j_2}<n_{j_3}} \frac{q^{n_1}}{(1-q^{n_1})^2} \frac{q^{n_{j_2}}}{(1-q^{n_{j_2}})^3}\frac{q^{n_{j_3}}}{(1-q^{n_{j_3}})^3} \beta _{n_1}'(q)\prod _{\begin{array}{c} i> n_1 \\ i \ne n_{j_2},n_{j_3} \end{array}} \frac{1}{1 - q^i} \\&= \sum _{1 \le n_{1}} \sum _{f_1=3}^{\infty } \left( {\begin{array}{c}f_1+3-1\\ 6-1\end{array}}\right) q^{n_1f_1}\beta _{n_1}'(q)\prod _{i>n_1}\frac{1}{1-q^i} \\&\quad + \sum _{1 \le n_1< n_{j_3}} \sum _{f_1=2}^{\infty } \left( {\begin{array}{c}f_1+2-1\\ 4-1\end{array}}\right) q^{n_1f_1}\sum _{f_{j_3}=1}^{\infty } \left( {\begin{array}{c}f_{j_3}+1\\ 2\end{array}}\right) q^{n_{j_3}f_{j_3}} \beta _{n_1}'(q)\prod _{\begin{array}{c} i> n_1 \\ i \ne n_{j_3} \end{array}} \frac{1}{1 - q^i} \\&\quad + \sum _{1 \le n_1< n_{j_2}} \sum _{f_1=1}^{\infty } \left( {\begin{array}{c}f_1+1-1\\ 2-1\end{array}}\right) q^{n_1f_1}\sum _{f_{j_2}=2}^{\infty } \left( {\begin{array}{c}f_{j_2}+2\\ 4\end{array}}\right) q^{n_{j_2}f_{j_2}} \beta _{n_1}'(q)\prod _{\begin{array}{c} i> n_1 \\ i \ne n_{j_2} \end{array}} \frac{1}{1 - q^i} \\&\quad + \sum _{1 \le n_1< n_{j_2}< n_{j_3}} \sum _{f_1=1}^{\infty } \left( {\begin{array}{c}f_1+1-1\\ 2-1\end{array}}\right) q^{n_1f_1}\sum _{f_{j_2}=1}^{\infty } \left( {\begin{array}{c}f_{j_2}+1\\ 2\end{array}}\right) q^{n_{j_2}f_{j_2}}\\&\quad \times \sum _{f_{j_3}=1}^{\infty } \left( {\begin{array}{c}f_{j_3}+1\\ 2\end{array}}\right) q^{n_{j_3}f_{j_3}} \beta _{n_1}'(q) \prod _{\begin{array}{c} i > n_1 \\ i \ne n_{j_2},n_{j_3} \end{array}} \frac{1}{1 - q^i} . \end{aligned}$$
Now the set of compositions of 3 is \(A= \{(3),(2,1),(1,2),(1,1,1)\}\), and so we have that
$$\begin{aligned} \sum _{n=1}^{\infty } \mathrm {spt}^{X}_{3} \left( n\right) q^n&= \sum _{(m_1,\cdots ,m_r)=\vec {m} \in A} \quad \sum _{1 \le n_{1}< n_{j_2}<\cdots < n_{j_r}} \sum _{f_1=m_1}^{\infty } \sum _{f_{j_2}=m_2}^{\infty } \cdots \sum _{f_{j_r}=m_r}^{\infty } \left( {\begin{array}{c}f_{1}+m_1-1\\ 2m_1-1\end{array}}\right) \\&\quad \times \left( {\begin{array}{c}f_{j_2}+m_2\\ 2m_2\end{array}}\right) \cdots \left( {\begin{array}{c}f_{j_r}+m_r\\ 2m_r\end{array}}\right) q^{n_1f_1+n_{j_2}f_{j_2}+\cdots +n_{j_r}f_{j_r}}\beta '(q) \prod _{\begin{array}{c} i > n_1 \\ i \notin \{n_{j_2},\cdots ,n_{j_r}\} \end{array}} \frac{1}{1 - q^i} . \end{aligned}$$
For general k we take the expression for \(\sum _{n= 1}^{\infty } \mathrm {spt}^{X}_{k} \left( n\right) q^{n}\) in (4.1) and split the sum into \(2^{k-1}\) sums by turning the index bounds into < or \(=\), each of which corresponds to a composition of k. In particular we recall that the \(2^{k-1}\) compositions of k can be obtained by taking a list of k ones and between each one we put either a plus or a comma. Given the index bounds \(n_1 \le n_2 \le \cdots \le n_k\), we make a choice of each \(\le \) being “\(=\)” or “<”; we associate to this the composition \(1^{+}, 1^{+},\cdots {{^{+}}1} ,\) where in order we choose “\(+\)” when we chose “\(=\)” and choose “, ” when we chose “<”.
If we let A be the set of all compositions of k, with the manipulations discussed above, we have that
$$\begin{aligned} \sum _{n=1}^{\infty } \mathrm {spt}^{X}_{k} \left( n\right) q^n&= \sum _{(m_1,\cdots ,m_r)=\vec {m} \in A} \quad \sum _{1 \le n_{1}< n_{j_2}< \cdots < n_{j_r}} \sum _{f_1=m_1}^{\infty } \sum _{f_{j_2}=m_2}^{\infty } \cdots \sum _{f_{j_r}=m_r}^{\infty } \left( {\begin{array}{c}f_{1}+m_1-1\\ 2m_1-1\end{array}}\right) \\&\quad \times \left( {\begin{array}{c}f_{j_2}+m_2\\ 2m_2\end{array}}\right) \cdots \left( {\begin{array}{c}f_{j_r}+m_r\\ 2m_r\end{array}}\right) q^{n_1f_1+n_{j_2}f_{j_2}+ \cdots +n_{j_r}f_{j_r}} \beta _{n_1}'(q) \prod _{\begin{array}{c} i > n_1 \\ i \notin \{n_{j_2},\cdots ,n_{j_r}\} \end{array}} \frac{1}{1 - q^i} . \end{aligned}$$
This we recognize as the generating function for vector partitions \(\vec {\pi }=(\pi _1,\ldots ,\pi _r)\) counted according to the weight \(\omega _k(\vec {\pi })\) where \(\beta _{n_1}'(q)\) determines the types of partitions in \((\pi _2,\cdots ,\pi _r)\). \(\square \)

We note that taking \(k=1\) means that for \(\mathrm {spt}^{X}_{1} \left( n\right) \) we simply count the number of appearances of the smallest part in \(\pi _1\), and many of these functions have been studied elsewhere. In particular, those \(\mathrm {spt}^{X}_{1} \left( n\right) \) which possess simple linear congruences were studied by Garvan and the second author in [23, 26, 27]; \(\mathrm {spt}^{C1}_{1} \left( n\right) \) was studied by Andrews, Dixit, and Yee in [9]; and \(\mathrm {spt}^{C1}_{1} \left( n\right) \), \(\mathrm {spt}^{C5}_{1} \left( n\right) \), and \(\mathrm {spt}^{J1}_{1} \left( n\right) \) were studied by Patkowski in [30, 31].

To demonstrate these weighted counts, we compute a table of values (Tables 2, 3, 4, 5) for \(\mathrm {spt}^{X}_{k} \left( n\right) \) with \(X=A1,B2\), \(k=1,2,3\), and \(n=4,5\). We note that the first three weights are given by
$$\begin{aligned} \omega _{1}(\pi )&= f_{1}^{1}(\pi ) ,\\ \omega _{2}(\pi )&= \left( {\begin{array}{c}f_{1}^{1}(\pi ) + 1\\ 3\end{array}}\right) + f_{1}^{1}(\pi )\sum _{2 \le j}\left( {\begin{array}{c}f_{j}^{1}(\pi ) + 1\\ 2\end{array}}\right) ,\\ \omega _{3}(\pi )&= \left( {\begin{array}{c}f_{1}^{1}(\pi ) + 2\\ 5\end{array}}\right) + \left( {\begin{array}{c}f_{1}^{1}(\pi ) + 1\\ 3\end{array}}\right) \sum _{2 \le j}\left( {\begin{array}{c}f_{j}^{1}(\pi ) + 1\\ 2\end{array}}\right) + f_{1}^{1}(\pi )\sum _{2 \le j}\left( {\begin{array}{c}f_j + 2\\ 4\end{array}}\right) \\&\quad + f_{1}^{1}(\pi )\sum _{2 \le j < k}\left( {\begin{array}{c}f_{j}^{1}(\pi ) + 1\\ 2\end{array}}\right) \left( {\begin{array}{c}f_{k}^{1}(\pi ) + 1\\ 2\end{array}}\right) . \end{aligned}$$
Table 2

A1 partitions of 4

 

\(\varvec{f_{1}^1 }\)

\(\varvec{ f_{2}^1 }\)

\(\varvec{ f_{3}^1 }\)

\(\varvec{\omega _1}\)

\(\varvec{\omega _2}\)

\(\varvec{ \omega _3}\)

\((4, \varnothing ) \)

1

0

0

1

0

0

\((3+1, \varnothing ) \)

1

1

0

1

1

0

\((2 + 2, \varnothing ) \)

2

0

0

2

1

0

\((2+1+1, \varnothing ) \)

2

1

0

2

3

1

\((1+1+1+1, \varnothing ) \)

4

0

0

4

10

6

\((1+1, 2) \)

2

0

0

2

1

0

Total

   

12

16

7

Table 3

A1 partitions of 5

 

\( \varvec{f_{1}^1 }\)

\(\varvec{ f_{2}^1 }\)

\(\varvec{ f_{3}^1 }\)

\(\varvec{\omega _1}\)

\(\varvec{\omega _2}\)

\(\varvec{\omega _3}\)

\((5, \varnothing ) \)

1

0

0

1

0

0

\((4+1, \varnothing ) \)

1

1

0

1

1

0

\((3+2, \varnothing ) \)

1

1

0

1

1

0

\((3+1+1, \varnothing ) \)

2

1

0

2

3

1

\((2+2+1, \varnothing ) \)

1

2

0

1

3

1

\((2+1+1+1, \varnothing ) \)

3

1

0

3

7

5

\((1+1+1+1+1, \varnothing ) \)

5

0

0

5

20

21

(2, 3)

1

0

0

1

0

0

\((2+1, 2) \)

1

1

0

1

1

0

\((1+1+1, 2) \)

3

0

0

3

4

1

\((1, 2+2) \)

1

0

0

1

0

0

Total

   

20

40

29

Table 4

B2 partitions of 4

 

\(\varvec{ f_{1}^1} \)

\(\varvec{ f_{2}^1 }\)

\(\varvec{ f_{3}^1 }\)

\(\varvec{ \omega _1 }\)

\(\varvec{ \omega _2} \)

\(\varvec{ \omega _3}\)

(2, 2)

1

0

0

1

0

0

\((2+1, 1) \)

1

1

0

1

1

0

\((1 + 1 + 1, 1) \)

3

0

0

3

4

1

Total

   

5

5

1

Table 5

B2 partitions of 5

 

\(\varvec{ f_{1}^1 }\)

\(\varvec{ f_{2}^1 }\)

\(\varvec{ f_{3}^1 }\)

\(\varvec{ \omega _1} \)

\(\varvec{\omega _2}\)

\(\varvec{ \omega _3}\)

\((3+1, 1) \)

1

1

0

1

1

0

\((2+1+1, 1) \)

2

1

0

2

3

1

\((1+1+1+1, 1) \)

4

0

0

4

10

6

Total

   

7

14

7

5 Conjectures and concluding remarks

As demonstrated, Bailey’s lemma is well suited to give inequalities between the moments of rank-like Lambert series and corresponding crank functions, as well as supplying the combinatorial interpretation of the difference of the symmetrized moments. In our work, we focused our attention to the \(a=1\) Bailey pairs of Slater [33, 34] with \(\alpha _n=\alpha _{-n}\). We have also seen that it is possible to work with Bailey pairs from other sources that satisfy the same conditions. However it is not true that all Bailey pairs, even from Slater’s lists, satisfy \(\alpha _n=\alpha _{-n}\). We leave it open to the interested reader to see to what extent one can develop similar identities that lead to similar results.

We have studied these new rank moments are far as possible while handling them in generality. However, we expect each function to possess interesting properties of its own. In particular, based on how the four prototypical examples from [21, 25] behave, we expect each ordinary rank moment generating function to correspond to a quasi-mock modular form, each ordinary crank moment to correspond to a quasi-modular form, and potentially an equation exists relating the certain partial derivatives of these rank and crank functions. Using these automorphic properties one could hope to derive asymptotic formulas for the moments, such as was done in [19, 20].

As we have already seen, a large number of inequalities exist between the various moments. We conjecture the following diagram gives all of the inequalities. Here a downward path from \(A_{2k}\) to \(B_{2k}\) indicates \(A_{2k}(n)\ge B_{2k}(n)\) for all positive k and n. We have split the diagram into two pieces, to decrease the height and handle the large number of crossings. Besides the rank and crank moments defined in this article, we also include the overpartition rank \(\overline{\eta }_{2k}\), the the overpartition M2-rank \(\overline{\eta 2}_{2k}\), the overpartiton M2-crank \(\overline{\mu 2}_{2k}\), the M2-rank for partitions without repeated odd parts \(\eta 2_{2k}\), and the M2-crank for partitions without repeated odd parts \(\mu 2_{2k}\) from [25]. It is likely some of these inequalities can be proved using the identities of this article, but to get the full picture one will need additional techniques. These inequalities have been verified for \(1\le k\le 10\) and \(1\le n< 1000\).
Additionally based on numerical evidence, it would appear that some of the higher order spt functions satisfy a number of congruences. While a few of these may follow by elementary means, to approach these likely one should start with the automorphic properties of the moments mentioned above, as this is the method that worked for the original examples. We conjecture the following congruences,
$$\begin{aligned} 0&\equiv \mathrm {spt}^{B2}_{3} \left( 4n+3\right) \equiv \mathrm {spt}^{E4}_{2} \left( 31n\right) \equiv \mathrm {spt}^{E4}_{2} \left( 41n\right) \equiv \mathrm {spt}^{E4}_{2} \left( 47n\right) \equiv \mathrm {spt}^{E4}_{2} \left( 16n+1\right) \\&\equiv \mathrm {spt}^{E4}_{2} \left( 32n+2\right) \equiv \mathrm {spt}^{E4}_{2} \left( 8n+7\right) \equiv \mathrm {spt}^{E4}_{2} \left( 49n+7\right) \equiv \mathrm {spt}^{E4}_{2} \left( 49n+14\right) \\&\equiv \mathrm {spt}^{E4}_{2} \left( 18n+15\right) \equiv \mathrm {spt}^{E4}_{2} \left( 24n+17\right) \equiv \mathrm {spt}^{E4}_{2} \left( 40n+17\right) \equiv \mathrm {spt}^{E4}_{2} \left( 36n+21\right) \\&\equiv \mathrm {spt}^{E4}_{2} \left( 45n+21\right) \equiv \mathrm {spt}^{E4}_{2} \left( 49n+21\right) \equiv \mathrm {spt}^{E4}_{2} \left( 32n+28\right) \equiv \mathrm {spt}^{E4}_{2} \left( 49n+28\right) \\&\equiv \mathrm {spt}^{E4}_{2} \left( 36n+30\right) \equiv \mathrm {spt}^{E4}_{2} \left( 40n+33\right) \equiv \mathrm {spt}^{E4}_{2} \left( 45n+33\right) \equiv \mathrm {spt}^{E4}_{2} \left( 48n+34\right) \\&\equiv \mathrm {spt}^{E4}_{2} \left( 49n+35\right) \equiv \mathrm {spt}^{E4}_{2} \left( 45n+39\right) \equiv \mathrm {spt}^{E4}_{2} \left( 45n+42\right) \equiv \mathrm {spt}^{E4}_{2} \left( 49n+42\right) \\&\equiv \mathrm {spt}^{E4}_{3} \left( 16n+3\right) \equiv \mathrm {spt}^{E4}_{3} \left( 32n+10\right) \equiv \mathrm {spt}^{E4}_{3} \left( 16n+13\right) \equiv \mathrm {spt}^{E4}_{3} \left( 49n+21\right) \\&\equiv \mathrm {spt}^{E4}_{3} \left( 32n+22\right) \equiv \mathrm {spt}^{E4}_{3} \left( 49n+35\right) \equiv \mathrm {spt}^{E4}_{3} \left( 49n+42\right) \equiv \mathrm {spt}^{E4}_{4} \left( 31n\right) \\&\equiv \mathrm {spt}^{E4}_{4} \left( 47n\right) \equiv \mathrm {spt}^{E4}_{4} \left( 32n+1\right) \equiv \mathrm {spt}^{E4}_{4} \left( 16n+7\right) \equiv \mathrm {spt}^{E4}_{4} \left( 32n+14\right) \\&\equiv \mathrm {spt}^{E4}_{4} \left( 48n+17\right) \equiv \mathrm {spt}^{E4}_{5} \left( 32n+11\right) \equiv \mathrm {spt}^{E4}_{5} \left( 32n+13\right) \equiv \mathrm {spt}^{E4}_{6} \left( 31n\right) \\&\equiv \mathrm {spt}^{E4}_{6} \left( 32n+17\right) \equiv \mathrm {spt}^{E4}_{6} \left( 32n+23\right) \equiv \mathrm {spt}^{E4}_{7} \left( 32n+29\right) \equiv \mathrm {spt}^{E4}_{8} \left( 31n\right) \\&\equiv \mathrm {spt}^{E4}_{8} \left( 32n+7\right) \equiv \mathrm {spt}^{X3}_{3} \left( 4n+2\right) \equiv \mathrm {spt}^{X4}_{3} \left( 44n+28\right) \equiv \mathrm {spt}^{X5}_{2} \left( 48n+1\right) \\&\equiv \mathrm {spt}^{X5}_{2} \left( 24n+7\right) \equiv \mathrm {spt}^{X5}_{2} \left( 48n+14\right) \equiv \mathrm {spt}^{X5}_{2} \left( 24n+17\right) \equiv \mathrm {spt}^{X5}_{2} \left( 24n+23\right) \\&\equiv \mathrm {spt}^{X5}_{2} \left( 48n+34\right) \equiv \mathrm {spt}^{X5}_{2} \left( 48n+46\right) \equiv \mathrm {spt}^{X5}_{3} \left( 48n+11\right) \equiv \mathrm {spt}^{X5}_{3} \left( 48n+13\right) \\&\equiv \mathrm {spt}^{X5}_{3} \left( 48n+29\right) \equiv \mathrm {spt}^{X5}_{3} \left( 48n+43\right) \equiv \mathrm {spt}^{X5}_{4} \left( 48n+7\right) \equiv \mathrm {spt}^{X5}_{4} \left( 48n+17\right) \\&\equiv \mathrm {spt}^{X5}_{4} \left( 32n+23\right) \equiv \mathrm {spt}^{X5}_{4} \left( 48n+23\right) \equiv \mathrm {spt}^{X6}_{2} \left( 46n+3\right) \equiv \mathrm {spt}^{X6}_{2} \left( 49n+15\right) \\&\equiv \mathrm {spt}^{X6}_{2} \left( 49n+29\right) \equiv \mathrm {spt}^{X6}_{2} \left( 41n+36\right) \equiv \mathrm {spt}^{X6}_{2} \left( 49n+36\right) \equiv \mathrm {spt}^{X6}_{3} \left( 4n\right) \\&\equiv \mathrm {spt}^{X6}_{3} \left( 18n+2\right) \equiv \mathrm {spt}^{X6}_{3} \left( 18n+14\right) \equiv \mathrm {spt}^{X6}_{3} \left( 49n+15\right) \equiv \mathrm {spt}^{X6}_{3} \left( 49n+29\right) \end{aligned}$$
$$\begin{aligned}&\equiv \mathrm {spt}^{X6}_{3} \left( 49n+36\right) \equiv \mathrm {spt}^{X6}_{6} \left( 8n\right) \equiv \mathrm {spt}^{X6}_{6} \left( 8n+7\right) \equiv \mathrm {spt}^{X6}_{6} \left( 41n+36\right) \\&\equiv \mathrm {spt}^{F3}_{2} \left( 4n+1\right) \equiv \mathrm {spt}^{F3}_{3} \left( 4n\right) \equiv \mathrm {spt}^{F3}_{4} \left( 8n+1\right) \equiv \mathrm {spt}^{F3}_{5} \left( 8n+4\right) \equiv \mathrm {spt}^{F3}_{6} \left( 8n+5\right) \\&\equiv \mathrm {spt}^{F3}_{8} \left( 16n+1\right) \equiv \mathrm {spt}^{F3}_{10} \left( 16n+5\right) \pmod {2} ,0 \equiv \mathrm {spt}^{A3}_{2} \left( 9n\right) \equiv \mathrm {spt}^{B2}_{4} \left( 3n\right) \\&\equiv \mathrm {spt}^{E4}_{3} \left( 27n+15\right) \equiv \mathrm {spt}^{E4}_{4} \left( 27n+6\right) \equiv \mathrm {spt}^{X5}_{2} \left( 9n\right) \equiv \mathrm {spt}^{X5}_{2} \left( 24n+11\right) \\&\equiv \mathrm {spt}^{X5}_{2} \left( 32n+12\right) \equiv \mathrm {spt}^{X5}_{8} \left( 27n\right) \equiv \mathrm {spt}^{F3}_{2} \left( 6n+1\right) \equiv \mathrm {spt}^{L2}_{3} \left( 27n+26\right) \pmod {3} , \\ 0&\equiv \mathrm {spt}^{L5}_{4} \left( 44n+28\right) \equiv \mathrm {spt}^{E4}_{2} \left( 16n+14\right) \equiv \mathrm {spt}^{E4}_{2} \left( 36n+33\right) \pmod {4}, \\ 0&\equiv \mathrm {spt}^{A1}_{2} \left( 5n\right) \equiv \mathrm {spt}^{A1}_{2} \left( 5n+1\right) \equiv \mathrm {spt}^{A1}_{4} \left( 25n+24\right) \equiv \mathrm {spt}^{A1}_{5} \left( 25n+24\right) \\&\equiv \mathrm {spt}^{A3}_{2} \left( 5n+1\right) \equiv \mathrm {spt}^{A3}_{2} \left( 5n+2\right) \equiv \mathrm {spt}^{A3}_{2} \left( 5n+4\right) \equiv \mathrm {spt}^{A5}_{2} \left( 5n\right) \equiv \mathrm {spt}^{A5}_{2} \left( 5n+4\right) \\&\equiv \mathrm {spt}^{A5}_{3} \left( 25n+9\right) \equiv \mathrm {spt}^{A5}_{3} \left( 25n+14\right) \equiv \mathrm {spt}^{A7}_{2} \left( 5n+1\right) \equiv \mathrm {spt}^{A7}_{2} \left( 5n+4\right) \\&\equiv \mathrm {spt}^{A7}_{3} \left( 25n+24\right) \equiv \mathrm {spt}^{B2}_{2} \left( 5n+1\right) \equiv \mathrm {spt}^{B2}_{2} \left( 5n+2\right) \equiv \mathrm {spt}^{B2}_{2} \left( 5n+4\right) \\&\equiv \mathrm {spt}^{B2}_{3} \left( 25n+1\right) \equiv \mathrm {spt}^{B2}_{3} \left( 25n+9\right) \equiv \mathrm {spt}^{B2}_{4} \left( 25n+2\right) \equiv \mathrm {spt}^{B2}_{4} \left( 25n+4\right) \\&\equiv \mathrm {spt}^{B2}_{8} \left( 25n+12\right) \equiv \mathrm {spt}^{C5}_{2} \left( 5n\right) \equiv \mathrm {spt}^{C5}_{2} \left( 5n+1\right) \equiv \mathrm {spt}^{C5}_{2} \left( 5n+4\right) \\&\equiv \mathrm {spt}^{C5}_{3} \left( 25n+24\right) \equiv \mathrm {spt}^{C5}_{4} \left( 25n+3\right) \equiv \mathrm {spt}^{C5}_{4} \left( 25n+5\right) \equiv \mathrm {spt}^{C5}_{4} \left( 25n+24\right) \end{aligned}$$
$$\begin{aligned}&\equiv \mathrm {spt}^{C5}_{5} \left( 25n+4\right) \equiv \mathrm {spt}^{C5}_{5} \left( 25n+24\right) \equiv \mathrm {spt}^{C5}_{6} \left( 25n+5\right) \equiv \mathrm {spt}^{C5}_{6} \left( 25n+10\right) \\&\equiv \mathrm {spt}^{E4}_{2} \left( 5n\right) \equiv \mathrm {spt}^{E4}_{2} \left( 5n+2\right) \equiv \mathrm {spt}^{F3}_{3} \left( 25n+3\right) \equiv \mathrm {spt}^{F3}_{3} \left( 25n+23\right) \\&\equiv \mathrm {spt}^{Y1}_{5k} \left( 10n+3\right) \equiv \mathrm {spt}^{Y1}_{5} \left( 25n+8\right) \equiv \mathrm {spt}^{Y1}_{10} \left( 25n+8\right) \equiv \mathrm {spt}^{Y2}_{5k} \left( 10n+9\right) \pmod {5},\\ 0&\equiv \mathrm {spt}^{A1}_{2} \left( 49n+12\right) \equiv \mathrm {spt}^{A1}_{3} \left( 49n+47\right) \equiv \mathrm {spt}^{A3}_{2} \left( 49n+19\right) \equiv \mathrm {spt}^{A5}_{2} \left( 7n+1\right) \\&\equiv \mathrm {spt}^{A5}_{3} \left( 7n\right) \equiv \mathrm {spt}^{A5}_{3} \left( 7n+1\right) \equiv \mathrm {spt}^{A5}_{3} \left( 7n+3\right) \equiv \mathrm {spt}^{A5}_{3} \left( 7n+5\right) \\&\equiv \mathrm {spt}^{A5}_{6} \left( 7n+5\right) \equiv \mathrm {spt}^{A7}_{2} \left( 7n\right) \equiv \mathrm {spt}^{A7}_{2} \left( 7n+1\right) \equiv \mathrm {spt}^{A7}_{3} \left( 7n\right) \\&\equiv \mathrm {spt}^{A7}_{3} \left( 7n+1\right) \equiv \mathrm {spt}^{A7}_{3} \left( 7n+2\right) \equiv \mathrm {spt}^{A7}_{3} \left( 7n+4\right) \equiv \mathrm {spt}^{A7}_{5} \left( 49n+47\right) \\&\equiv \mathrm {spt}^{A7}_{6} \left( 49n+47\right) \equiv \mathrm {spt}^{B2}_{2} \left( 7n+1\right) \equiv \mathrm {spt}^{B2}_{2} \left( 7n+5\right) \equiv \mathrm {spt}^{B2}_{3} \left( 7n\right) \\&\equiv \mathrm {spt}^{B2}_{3} \left( 7n+1\right) \equiv \mathrm {spt}^{B2}_{3} \left( 7n+3\right) \equiv \mathrm {spt}^{B2}_{3} \left( 7n+5\right) \equiv \mathrm {spt}^{B2}_{4} \left( 49n+1\right) \\&\equiv \mathrm {spt}^{B2}_{5} \left( 49n+33\right) \equiv \mathrm {spt}^{B2}_{6} \left( 7n+5\right) \pmod {7}, \\ 0&\equiv \mathrm {spt}^{E4}_{2} \left( 32n+30\right) \pmod {8} , \\ 0&\equiv \mathrm {spt}^{X5}_{5} \left( 27n\right) \equiv \mathrm {spt}^{X5}_{5} \left( 27n+18\right) \pmod {9} , \\ 0&\equiv \mathrm {spt}^{B2}_{2} \left( 11n+1\right) \pmod {11} , 0 \equiv \mathrm {spt}^{A5}_{3} \left( 25n+24\right) \\&\equiv \mathrm {spt}^{B2}_{2} \left( 25n+14\right) \equiv \mathrm {spt}^{C5}_{2} \left( 25n+24\right) \equiv \mathrm {spt}^{F3}_{2} \left( 25n+23\right) \pmod {25},\\ 0&\equiv \mathrm {spt}^{B2}_{3} \left( 49n+26\right) \pmod {49} . \end{aligned}$$
Lastly, there is also the concept of positive moments, where m ranges over just the positive integers, rather than all of \(\mathbb {Z}\), that is to say,
$$\begin{aligned} N^+_k(n)&= \sum _{m=1}^{\infty }m^k N(m,n) ,&\eta ^+_{k}(n)&= \sum _{m=1}^{\infty } \left( {\begin{array}{c}m+\left\lfloor \frac{k-1}{2}\right\rfloor \\ k\end{array}}\right) N(m,n) ,\\ M^+_k(n)&= \sum _{m=1}^{\infty }m^kM(m,n) ,&\mu ^+_{k}(n)&= \sum _{m=1}^{\infty } \left( {\begin{array}{c}m+\left\lfloor \frac{k-1}{2}\right\rfloor \\ k\end{array}}\right) M(m,n) . \end{aligned}$$
The advantage to these positive moments is that while \(N_{2k}(n)=2N^{+}_{2k}(n)\) and \(M_{2k}(n)=2M^{+}_{2k}(n)\), it is no longer the case that the odd moments are zero. It is true that \(M^{+}_{2k+1}(n)>N^{+}_{2k+1}(n)\), and there have been several studies of the positive moments corresponding to the rank and crank of ordinary partitions as well as overpartitions, see [1, 8, 18, 28, 35]. As such we should expect that analogous results and inequalities hold for the moments of this article, however our methods do not directly apply and it is not clear if one can handle positive moments in the generality we have managed for the original moments.

Acknowledgements

This research was supported by the National Science Foundation Grant DMS-1359173.

Declarations

Open Access

This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors’ Affiliations

(1)
The Pennsylvania State University
(2)
Department of Mathematics, Oregon State University
(3)
University of Miami

References

  1. Andrews, G., Chan, S.H., Kim, B., Osburn, R.: The first positive rank and crank moments for overpartitions. Ann. Comb. 20(2), 193–207 (2016)MathSciNetView ArticleMATHGoogle Scholar
  2. Andrews, G.E.: The theory of partitions. Encyclopedia of mathematics and its applications. Addison-Wesley Publishing Co., London (1976)Google Scholar
  3. Andrews, G.E.: \(q\)-series: their development and application in analysis, number theory, combinatorics, physics, and computer algebra, In: CBMS Regional Conference Series in Mathematics. Published for the Conference Board of the Mathematical Sciences, vol. 66, American Mathematical Society, Washington, RI (1986)
  4. Andrews, G.E.: Partitions, durfee symbols, and the Atkin–Garvan moments of ranks. Invent. Math. 169(1), 37–73 (2007)MathSciNetView ArticleMATHGoogle Scholar
  5. Andrews, G.E.: The number of smallest parts in the partitions of \(n\). J. Reine Angew. Math. 624, 133–142 (2008)MathSciNetMATHGoogle Scholar
  6. Andrews, G.E., Baxter, R.J.: A motivated proof of the Rogers–Ramanujan identities. Amer. Math. Monthly 96(5), 401–409 (1989)MathSciNetView ArticleMATHGoogle Scholar
  7. Andrews, G.E., Berndt, B.C.: Ramanujan’s lost notebook. Part I. Springer, New York (2005)MATHGoogle Scholar
  8. Andrews, G.E., Chan, S.H., Kim, B.: The odd moments of ranks and cranks. J. Combin. Theory Ser. A 120(1), 77–91 (2013)MathSciNetView ArticleMATHGoogle Scholar
  9. Andrews, G.E., Dixit, A., Yee, J.: Partitions associated with the Ramanujan/Watson mock theta functions \(\omega (q)\), \(\nu (q)\) and \(\phi (q)\). Res. Number Theor. 1, 19 (2015)MathSciNetView ArticleMATHGoogle Scholar
  10. Andrews, G.E., Garvan, F.G., Liang, J.: Combinatorial interpretations of congruences for the spt-function. Ramanujan J. 29(1–3), 321–338 (2012)MathSciNetView ArticleMATHGoogle Scholar
  11. Askey R. Orthogonal polynomials and theta functions. Theta functions—Bowdoin 1987, Part 2 (Brunswick, 1987), vol. 49, In: Proceedings Symposium Pure Mathmatics, pp. 299–321. American Mathematical Society (1989)
  12. Atkin, A.O.L., Garvan, F.G.: Relations between the ranks and cranks of partitions. Ramanujan J. 7(1), 343–366 (2003). (Rankin memorial issues)MathSciNetView ArticleMATHGoogle Scholar
  13. Bailey, W.N.: Some identities in combinatory analysis. Proc. London Math. Soc. 2(49), 421–425 (1947)MathSciNetView ArticleMATHGoogle Scholar
  14. Bailey, W.N.: Identities of the Rogers–Ramanujan type. Proc. London Math. Soc. 2(50), 1–10 (1948)MathSciNetView ArticleMATHGoogle Scholar
  15. Berndt, B.C.: Ramanujan’s notebooks. Springer-Verlag, New York (1991)View ArticleMATHGoogle Scholar
  16. Bowman, D., Mc Laughlin, J., Sills, A.V.: Some more identities of the Rogers–Ramanujan type. Ramanujan J. 18(3), 307–325 (2009)MathSciNetView ArticleMATHGoogle Scholar
  17. Bringmann, K., Lovejoy, J., Osburn, R.: Rank and crank moments for overpartitions. J. Number Theory 129(7), 1758–1772 (2009)MathSciNetView ArticleMATHGoogle Scholar
  18. Bringmann, K., Mahlburg, K.: Asymptotic inequalities for positive crank and rank moments. Trans. Amer. Math. Soc. 366(2), 1073–1094 (2014)MathSciNetView ArticleMATHGoogle Scholar
  19. Bringmann, K., Mahlburg, K., Rhoades, R.C.: Asymptotics for rank and crank moments. Bull. Lond. Math. Soc. 43(4), 661–672 (2011)MathSciNetView ArticleMATHGoogle Scholar
  20. Bringmann, K., Mahlburg, K., Rhoades, R.C.: Taylor coefficients of mock-Jacobi forms and moments of partition statistics. Math. Proc. Cambridge Philos. Soc. 157(2), 231–251 (2014)MathSciNetView ArticleMATHGoogle Scholar
  21. Garvan, F.G.: Higher order spt-functions. Adv. Math. 228(1), 241–265 (2011)MathSciNetView ArticleMATHGoogle Scholar
  22. Garvan, F.G., Jennings-Shaffer, C.: The spt-crank for overpartitions. Acta Arith. 166(2), 141–188 (2014)MathSciNetView ArticleMATHGoogle Scholar
  23. Garvan, F.G., Jennings-Shaffer, C.: Exotic Bailey-Slater SPT-functions II: Hecke-Rogers-type double sums and Bailey pairs from groups A, C. E. Adv. Math. 299, 605–639 (2016)MathSciNetView ArticleMATHGoogle Scholar
  24. Griffin, M.J., Ono, K., Warnaar, S.O.: A framework of Rogers–Ramanujan identities and their arithmetic properties. Duke Math. J. 165(8), 1475–1527 (2016)MathSciNetMATHGoogle Scholar
  25. Jennings-Shaffer, C.: Higher order SPT functions for overpartitions, overpartitions with smallest part even, and partitions with smallest part even and without repeated odd parts. J. Number Theory 149, 285–312 (2015)MathSciNetView ArticleMATHGoogle Scholar
  26. Jennings-Shaffer, C.: Exotic Bailey-Slater SPT-Functions III: Bailey Pairs From Groups B, F, G, and. J. Acta Arith. 173(4), 317–364 (2016)MathSciNetMATHGoogle Scholar
  27. Jennings-Shaffer, C.: Exotic Bailey slater SPT-functions I: group A. Adv. Math. 305, 479–514 (2017)View ArticleGoogle Scholar
  28. Larsen, A., Rust, A., Swisher, H.: Inequalities for positive rank and crank moments of overpartitions. Int. J. Number Theory 10(8), 2115–2133 (2014)MathSciNetView ArticleMATHGoogle Scholar
  29. Lepowsky, J., Wilson, R.L.: A Lie theoretic interpretation and proof of the Rogers–Ramanujan identities. Adv. Math. 45(1), 21–72 (1982)MathSciNetView ArticleMATHGoogle Scholar
  30. Patkowski, A.E.: Another smallest part function related to Andrews’ \({\text{ spt }}\) function. Acta Arith. 168(2), 101–105 (2015)MathSciNetView ArticleMATHGoogle Scholar
  31. Patkowski, A.E.: A strange partition theorem related to the second Atkin–Garvan moment. Int. J. Number Theory 11(7), 2191–2197 (2015)MathSciNetView ArticleMATHGoogle Scholar
  32. Rogers, L.J.: Second memoir on the expansion of certain infinite products. Proc. London Math. Soc. 25, 318–343 (1894)MathSciNetGoogle Scholar
  33. Slater, L.J.: A new proof of Rogers’s transformations of infinite series. Proc. London Math. Soc. 2(53), 460–475 (1951)MathSciNetView ArticleMATHGoogle Scholar
  34. Slater, L.J.: Further identities of the Rogers–Ramanujan type. Proc. London Math. Soc. 2(54), 147–167 (1952)MathSciNetView ArticleMATHGoogle Scholar
  35. Zapata Rolon, J.M.: Asymptotics of higher order ospt-functions for overpartitions. Ann. Comb. 20(1), 177–191 (2016)MathSciNetView ArticleMATHGoogle Scholar

Copyright

© The Author(s) 2016