Arxiv:2108.08639V1 [Math.CO]

Home , Rank of a partition

arXiv:2108.08639v1 [math.CO] 19 Aug 2021 where h eeaigfnto fsl--ojgt vrattosand overpartitions self-3-conjugate functions of function generating the Keywords usqety y(.)AknadSinro-yr[]poe Dyso proved [4] Swinnerton-Dyer and Atkin (1.1) by Subsequently, md1)cmiaoily hs yo ute ojcue tha conjectured further Dyson Thus, combinatorially. 11) (mod 0 provided statistic the congruences minus partition Ramanujan’s part this largest of that the tations conjectured be to Dyson defined 1944, is In partition a of rank Dyson’s Introduction 1 Classifications AMS of ooelndprs hscicdswt the with coincides this parts, overlined no oevr trdcst h -ako noepriinwhen overpartition an of D-rank the to reduces it Moreover, ucinfrthe for function (22)]: Abstract. n eetees yo’ akfist xli aaua’ hr congr third Ramanujan’s explain to fails rank Dyson’s Nevertheless, eeadi h eul euetesadr oainof notation standard the use we sequel, the in and Here ihrank with p ( n eeaiain fDsnsRn nOverpartitions on Rank Dyson’s of Generalizations X stenme fpriin of partitions of number the is ) yo’ ak attos vrattos okteafunctions theta mock overpartitions, partitions, rank, Dyson’s : eitoueasaitco vrattoscle the called overpartitions on statistic a introduce We ( q ini nvriyo ehooy ini 034 ..China P.R. 300384, Tianjin Technology, of University Tianjin and ) X n ∞ m =0 k eas on h olwn eeaigfnto of function generating following the found also He . rn foepriin sgvn eas sals eainbetween relation a establish also We given. is overpartitions of -rank N χ ( ( ,n m, ( q j a 18,0A7 33D15 05A17, 11P81, : ). ( ; z q ; ) ) q ∞ q =( := ) n := = [email protected] n Y ( ∞ z =0 q ; ; olg fScience of College 1 q (1 q lc ..Zhao X.H. Alice ) ) p ∞ ∞ (5 − ( n X n q/z aq ∞ n =1 4) + Let . n ( ; 1 k ) − q , rn fapriinitoue yGarvan. by introduced partition a of -rank ) 1) ( ∞ ≡ a N n ( ; − q md5 and 5) (mod 0 q ( ; 1 ) ,n m, q q n n ) ∞ := (3 n . eoetenme fpartitions of number the denote ) − ( 1) aq ( / a 2+ q ; n q -series: ; h et re oktheta mock order tenth the | ) q m ∞ ) | n ∞ k k p (1 obntra interpre- combinatorial , rn.We hr are there When -rank. (7 .Tegenerating The 2. = hr xssanother exists there t ’ conjecture. n’s − n ubro at [8]. parts of number q 5) + uence n ) N . . ≡ ( ,n m, p (11 md7), (mod 0 8 eq. [8, ) n +6) (1.1) ≡ partition statistic, the crank of a partition, which would likewise give a combinatorial refinement of this congruence. The crank hypothesized by Dyson was discovered by Andrews and Garvan [3], which is defined as the the largest part if the partition contains no ones, and otherwise as the number of parts larger than the number of ones minus the number of ones. Let M(m, n) denote the number of partitions of n with crank m. The generating function of M(m, n) was given by [11, eq. (7.17)],

∞ 1 ∞ M(m, n)qn = (−1)n−1qn(n−1)/2+|m|n(1 − qn). (q; q) n=0 ∞ n=1 X X

For any positive integer k, Garvan [10] deﬁne Nk(m, n) by

∞ 1 ∞ N (m, n)qn = (−1)n−1qn((2k−1)n−1)/2+|m|n(1 − qn). (1.2) k (q; q) n=0 ∞ n=1 X X

It is easy to see that N1(m, n)= M(m, n) and N2(m, n)= N(m, n). To give a combinatorial interpretation of Nk(m, n), he introduced the k-rank of a partition by decomposing the Ferrers graph of the partition into successive Durfee squares [2]. Recall that the (first) Durfee square of a partition is the largest square within its Ferrers graph and that the i-th Durfee square is the Durfee square of the partition which lies under the (i − 1)-th Durfee square. For a partition π and j ≥ 1, define nj(π) to be the size of the j-th Durfee square of π. If the number of the successive Durfee squares of π is less than l, then nl(π) = 0. For convenience, we define n0(π) = ∞. The k-rank of the partition π is defined as the number of columns in the Ferrers graph of π which lie to the right of the first Durfee square with length ≤ nk−1(π) minus the number of parts of π that lie below the (k −1)-th Durfee square. When k = 2, the k-rank coincides with Dyson’s rank. Garvan found that

Theorem 1.1. [10, Theorem 1.12] For k ≥ 2, Nk(m, n) is the number of partitions of n into at least k − 1 successive Durfee squares with k-rank equal to m.

In the past few years, overpartitions, as a new component of the theory of partitions, have been heavily studied. Meanwhile, many notions and theorems on ordinary partitions have been extended to overpartitions. Recall that an overpartition [5] is a partition in which the ﬁrst occurrence of each distinct number may be overlined. The D-rank of an overpartition is the largest part minus the number of parts. Let N(m, n) be the number of overpartitions of n with D- rank m. Lovejoy [13, Proposition 3.2] established the following generating function of N(m, n): 2 ∞ (−q; q) ∞ (−1)n−1qn +|m|n(1 − qn) N(m, n)qn =2 ∞ . (1.3) (q; q) 1+ qn n=1 ∞ n=1 X X

2 For any positive integer k ≥ 2, we deﬁne N k(m, n, j) by

∞ ∞ ∞ (−aq; q) 2 (−1/a; q) N (m, n, j)ajqn = ∞ (−1)n−1anq(k−1)n +|m|n(1−qn) n . (1.4) k (q; q) (−aq; q) n=0 j=0 ∞ n=1 n X X X Setting a = 0 and a = 1 in (1.4) respectively, we can easily deduce the following two identities from (1.2) and (1.3):

N k(m, n, 0) = Nk(m, n), (1.5) ∞

N 2(m, n, j)= N(m, n). (1.6) j=0 X

This inspires us to seek a combinatorial interpretation of N k(m, n, j). To this end, we ﬁrst establish the following theorem.

Theorem 1.2. For k ≥ 2, we have

∞ ∞ ∞ j n m N k(m, n, j)a q z m=−∞ n=0 j=0 X X X n1+1 2 2 n1 ( 2 )+n2+···+nk−1 a q (−1/a; q)n1 = −1 . (1.7) (q; q)n1−n2 ··· (q; q)nk−2−nk−1 (zq; q)nk−1 (z q; q)nk−1 n1≥···≥nk− ≥1 X 1

For an overpartition λ, let λ1 denote the largest part of λ, l(λ) denote the number of parts of λ, and o(λ) denote the number of overlined parts of λ. To interpret (1.7) combinatorially, we investigate the vector partitions (γ,δ,α,β), where γ is a partition of the form (l(γ),l(γ) − 1,..., 1), δ is a partition into distinct non-negative parts less than l(γ), and α and β are partitions with parts at most l(γ). We say (γ,δ,α,β) is a vector partition of n if |λ| + |µ| + |α| + |β| = n. Let V(n) denote the set of such vector partitions of n. The following lemma can be deduced from the proof of Proposition 2.2 of [7].

Lemma 1.3. There exists a bijection between the vector partitions (γ,δ,α,β) of n counted by V(n) and overpartitions λ of n such that λ1 = l(γ)+ l(α), l(λ) = l(γ)+ l(β), and o(λ)= l(γ) − l(δ).

Let ν(λ) denote the vector partition corresponding to the overpartition λ in the above bijection. We deﬁne the k-rank of an overpartition as follows.

Deﬁnition 1.4. For an overpartition λ, let ν(λ)=(γ,δ,α,β). For k ≥ 2, let nk(β) denote the size of the k-th successive Durfee square of β, let sk(α) denote the number of parts of α not exceeding nk(β), and let tk(β) denote the number of parts of β below its k-th Durfee square. The k-rank of λ is deﬁned to be sk−2(α) − tk−2(β).

3 For example, let λ = (13, 10, 9, 7, 6, 4, 4, 4, 3, 1, 1, 1). From the proof of Lemma 1.3, we will see that ν(λ) = (γ,δ,α,β), where γ = (6, 5, 4, 3, 2, 1), δ = (5, 3, 1, 0), α = (5, 5, 4, 2, 1, 1, 1) and β = (4, 4, 3, 1, 1, 1). Note that n1(β)=3, n2(β)=1, n3(β) = 1. Then we have s3(α) = 3 and t3(β) = 1, thus the 5-rank of λ is s3(α) − t3(β)=3 − 1 = 2. It is worth mentioning that the k-rank coincides with the D-rank when k = 2. For an overpartition λ with ν(λ)=(γ,δ,α,β), since n0(β)= ∞, s0(α)= l(α) and t0(β)= l(β), we have that the 2-rank of λ is l(α) − l(β). Thus, from Lemma 1.3, we can deduce that the 2-rank of λ is equal to λ1 − l(λ), i.e. the D-rank of λ. With the aid of the k-rank of an overpartition, we give a combinatorial interpretation of N k(m, n, j).

Theorem 1.5. For k ≥ 2, N k(m, n, j) is the number of overpartitions λ of n into at least k − 2 successive Durfee squares in β with j overlined parts and k-rank m, where β is the fourth component of ν(λ).

In view of (1.5), we will see that the j = 0 case of Theorem 1.5 reduces to Theorem 1.1. From (1.6) and Theorem 1.5, we can also ﬁnd that N 2(m, n, j) is a dissection of N(m, n) according to the number of overlined parts. From (1.4), it is easily seen that

N k(m, n, j)= N k(−m, n, j). (1.8)

For an overpartition λ, let ν(λ)=(γ,δ,α,β). We ﬁnd that (1.8) can be proved combinatorially by interchanging the parts enumerated by sk−2(α) and tk−2(β). We call this operation as the k-conjugation, which is essentially the same as the k-conjugation introduced by Corteel, Lovejoy and Mallet [6, p. 1616]. If an overpartition is ﬁxed by k-conjugation, then it is called a self-k-conjugate overpartition. Corteel, Lovejoy and Mallet derived an identity related to the generating function of self-k-conjugate overpartitions [6, eq (1.8)]:

n1+1 2 2 ( 2 )+n2+···+nk−1 n1 q a (−1/a; q)n1 2 2 (q; q)n1−n2 ··· (q; q)nk−2−nk−1 (q ; q )nk−1 n1≥...≥nk− ≥0 X 1 ∞ 2 n+1 (−aq; q) (−1/a; q) (−1)nanq(k−1)n +( 2 ) = ∞ n . (1.9) (q; q) (−aq; q) ∞ n=−∞ n X From the k = 3 case of (1.9), we derive the following identity equivalent to [14, eq. (1.2)]. Especially, this identity establishes a relation between the generating function for self-3-conjugate overpartitions and the tenth order mock theta functions X(q) and χ(q) [15], where

2 2 ∞ (−1)nqn ∞ (−1)nq(n+1) X(q)= and χ(q)= . (−q; q) (−q; q) n=0 2n n=0 2n+1 X X 4 Theorem 1.6. We have n1+1 2 ( 2 )+n2 (−1; q)n1 q 2(−q; q)∞X(q) 2(−q; q)∞χ(q) (q; q)∞ 2 2 = 5 4 5 − 2 5 3 5 − . (q; q)n1−n2 (q ; q )n2 (q; q )(q ; q )∞ (q ; q )(q ; q )∞ (−q; q)∞ n1≥n2≥0 X This paper is organized as follows. In Section 2, we give a proof of Theorem 1.2 by utilizing Andrews’ multiple series transformation. Section 3 is devoted to giving a combinatorial interpretation of N k(m, n), which is stated in Theorem 1.5. In Section 4, we aim to show the relation between the generating function of self-3-conjugate overpartitions and mock theta functions as stated in Theorem 1.6.

2 Proof of Theorem 1.2

In this section, we prove that Theorem 1.2 follows from Andrews’ k-fold generalization of q-Whipple’s theorem [1], which is stated as follows. For any positive integer k, 1 1 −N k k+N a, qa 2 , −qa 2 , b1, c1, ..., bk, ck, q a q 2k+4φ2k+3 1 1 ; q, a 2 , −a 2 , aq/b , aq/c , ..., aq/b , aq/c , aqN+1 b ··· b c ··· c 1 1 k k 1 k 1 k

(aq; q) (aq/b c ; q) (aq/b1c1; q) (aq/b2c2; q) ··· (aq/bk−1ck−1; q) k− = N k k N m1 m2 m 1 (aq/bk; q) (aq/ck; q) (q; q)m1 (q; q)m2 ··· (q; q)mk−1 N N m1,...,mk− ≥0 X 1 (b2; q) (c2; q) (b3; q) (c3; q) ··· (bk; q) × m1 m1 m1+m2 m1+m2 m1+···+mk−1 (aq/b1; q)m1 (aq/c1; q)m1 (aq/b2; q)m1+m2 (aq/c2; q)m1+m2 ··· (aq/bk−1; q)m1+···+mk−1 q−N ; q (ck; q)m1+···+mk−1 m1+···+mk−1 × · −N (aq/ck−1; q)m1+···+mk−1 (bkckq /a; q)m1+···+mk−1 (aq)mk−2+2mk−3+···+(k−2)m1 qm1+···+mk−1 × m1 m1+m2 m1+···+mk−2 , (2.1) (b2c2) (b3c3) ··· (bk−1ck−1) here ∞ n a0, a1, ..., ar (a0; q)n(a1; q)n ··· (ar; q)nz r+1φr ; q, z = . b1, ..., br (q; q) (b ; q) ··· (b ; q) n=0 n 1 n r n X−1 Proof of Theorem 1.2 In (2.1), let a =1, b1 = c1 = z, then set bk = −1/a and let N and all the other bi and ci tend to inﬁnity. After simpliﬁcation, we obtain 2 ∞ (−1)nan(−1/a; q) q(k−1)n +n(1 + qn)(1 − z)(1 − z−1) 1+ n (−aq; q) (1 − zqn)(1 − z−1qn) n=1 n X m1+···+mk−1+1 2 2 +(m1+···+mk− ) +···+m (q; q) q( 2 ) 2 1 = ∞ (−aq; q)∞ (q; q)m2 ··· (q; q)mk−1 m1,...,mk− ≥0 X 1 m1+···+mk−1 a (−1/a; q)m1+···+mk−1 × −1 . (2.2) (zq; q)m1 (z q; q)m1

5 Multiplying both sides of (2.2) by (−aq; q)∞/(q; q)∞, and setting nk−i = m1 +m2 +···+mi for 1 ≤ i ≤ k − 1, we have

2 (−aq; q) ∞ (−1)nan(−1/a; q) q(k−1)n +n(1 + qn)(1 − z)(1 − z−1) ∞ 1+ n (q; q) (−aq; q) (1 − zqn)(1 − z−1qn) ∞ n=1 n ! X n1+1 2 2 n1 ( 2 )+n2+···+nk−1 a q (−1/a; q)n1 = −1 . (2.3) (q; q)n1−n2 ··· (q; q)nk−2−nk−1 (zq; q)nk−1 (z q; q)nk−1 n1≥···≥nk− ≥0 X 1 Invoking Garvan’s Lemma [10, Lemma 3.6]

qn(1 − z)(1 − z−1) 1 − qn ∞ 1 − qn ∞ =1 − zmqmn − z−mqmn, (1 − zqn)(1 − z−1qn) 1+ qn 1+ qn m=0 m=1 X X we ﬁnd that the left side of (2.3) equals

∞ (−aq; q) 2 (−1/a; q) ∞ 1+ (−1)nanq(k−1)n (1 + qn) n (q; q) (−aq; q) ∞ ( n=1 n X 1 − qn ∞ 1 − qn ∞ × 1 − zmqmn − z−mqmn 1+ qn 1+ qn m=0 m=1 !) ∞ X X (−aq; q) 2 (−1/a; q) = ∞ 1+ (−1)nanq(k−1)n (1 + qn) n (q; q) (−aq; q) ∞ n=1 n ! ∞ X ∞ ∞ (−aq; q) 2 (−1/a; q) + ∞ (−1)n−1anq(k−1)n (1 − qn) n zmqmn + z−mqmn . (q; q) (−aq; q) ∞ n=1 n m=0 m=1 ! X X X It is easy to see that

∞ −1 2 (−1/a; q) 2 (−1/a; q) (−1)nanq(k−1)n n = (−1)nanq(k−1)n +n n . (−aq; q) (−aq; q) n=1 n n=−∞ n X X Thus we have

∞ (−aq; q) 2 (−1/a; q) ∞ 1+ (−1)nanq(k−1)n (1 + qn) n (q; q) (−aq; q) ∞ n=1 n ! ∞X (−aq; q) 2 (−1/a; q) = ∞ (−1)nanq(k−1)n +n n (q; q) (−aq; q) ∞ n=−∞ n X n1+1 2 2 an1 q( 2 )+n2+···+nk−2 (−1/a; q) = n1 , (2.4) (q; q)n1−n2 ··· (q; q)nk−3−nk−2 (q; q)nk−2 n1≥···≥nk− ≥0 X 2

6 where the last equality follows from [7, eqs. (1.1) and (6.1)]

∞ (−aq; q) 2 (−1/a; q) ∞ (−1)nanqkn +(k−i+1)n n (q; q) (−aq; q) ∞ n=−∞ n X n1+1 2 2 an1 q( 2 )+n2+···+nk−1+ni+···+nk−1 (−1/a; q) = n1 (q; q)n1−n2 ··· (q; q)nk−2−nk−1 (q; q)nk−1 n1≥···≥nk− ≥0 X 1 with i = k and k replaced by k − 1. We note that the last term in (2.4) corresponds to the part of the sum on the right side of (2.3) with nk−1 = 0. Subtracting this term from both sides of (2.3) by using (2.4), we deduce that

n1+1 2 2 n1 ( 2 )+n2+···+nk−1 a q (−1/a; q)n1 −1 (q; q)n1−n2 ··· (q; q)nk−2−nk−1 (zq; q)nk−1 (z q; q)nk−1 n1≥···≥nk− ≥1 X 1 ∞ ∞ ∞ (−aq; q) 2 (−1/a; q) = ∞ (−1)n−1anq(k−1)n (1 − qn) n zmqmn + z−mqmn (q; q) (−aq; q) ∞ n=1 n m=0 m=1 ! ∞ ∞ X∞ X X j n m = N k(m, n, j)a q z . m=−∞ n=0 j=0 X X X Thus we complete the proof of Theorem 1.2.

3 Combinatorial interpretation of N k(m,n,j)

In this section we mainly give a proof of Theorem 1.5. To achieve this, we shall first show Lemma 1.3 with the aid of the generalized Durfee square [7] of an overpartition. Recall that the size of the generalized Durfee square of an overpartition is defined to be the largest number N such that the number of overlined parts plus the number of non- overlined parts greater than or equal to N is at least N. For example, the size of the generalized Durfee square of λ = (13, 10, 9, 7, 6, 4, 4, 4, 3, 1, 1, 1) is 6. We now proceed to give a proof of Lamma 1.3. Proof of Lemma 1.3 For a vector partition (γ,δ,α,β) ∈ V(n), let N = l(γ) and let ′ ′ ′ ′ α = (α1,α2,...,αN ) be the conjugate of α = (α1,α2,..., ). If α1 is less than N, we set ′ αj = 0 for α1 < j ≤ N. We will construct an overpartition λ as follows. We first add γ to ′ ′ ′ ′ α to get a distinct partition σ =(α1 + N,α2 + N − 1,...,αN +1). It is easy to see that ′ l(σ) = N and σi = αi + N − i +1 ≥ N − i +1 for 1 ≤ i ≤ N. Next we overline all the parts of σ. For each part s in δ, we add s to the part σs+1 and remove its overline. Noting that σs+1 + s ≥ N, after reordering the parts we then get an overpartition π with each non-overlined part ≥ N. Finally, by jointing π and β together, we get an overpartition λ

7 of n with generalized Durfee square of size N. From the above procedure, we can easily check that the largest part of λ is the largest part of σ, which equals to l(α)+ l(γ). The number of parts of λ is l(γ)+ l(β). And the number of overlined parts of λ is l(γ) − l(δ). For example, let ν = (γ,δ,α,β) ∈ V(63), where γ = (6, 5, 4, 3, 2, 1), δ = (5, 3, 1, 0), α = (5, 5, 4, 2, 1, 1, 1) and β = (4, 4, 3, 1, 1, 1). Then we have α′ = (7, 4, 3, 3, 2, 0), and σ = (13, 9, 7, 6, 4, 1). The overpartition π follows from σ and δ according to the following procedure:

(σ, δ)=(13+9+7+6+4+1, 5+3+1+0) ⇒ (13+ 9+ 7+ 6+ 4+ 1, 5+3+1+0) ⇒ (13 + 9+ 7+ 6+ 4+ 1, 5+3+1) ⇒ (13+10+ 7+ 6+ 4+ 1, 5+3) ⇒ (13+10+9+ 7+ 4+ 1, 5) ⇒ (13+10+9+ 7+6+ 4) = π.

Finally, jointing π and β together, we derive λ = (13, 10, 9, 7, 6, 4, 4, 4, 3, 1, 1, 1), which is an overpartition of 63. The above process can be uniquely reversed. For an overpartition λ of n, let j be the number of its overlined parts and N be the size of its generalized Durfee square. The vector partition (γ,δ,α,β) is constructed as follows.

We ﬁrst decompose λ into three partitions ρ = (λ1,...,λj), µ = (λj+1,...,λN ) and our desired β =(λN+1,...,λl(λ)), where λp (1 ≤ p ≤ j) is the overlined part of λ with its overline removed and λ1 > λ2 > ··· > λj and λq (j +1 ≤ q ≤ l(λ)) is the non-overlined part of λ such that λj+1 ≥ λj+2 ≥ ··· ≥ λl(λ). From the deﬁnition of the generalized Durfee square of an overpartition, we can check that λN ≥ N and λN+1 ≤ N. To get the distinct non-negative partition δ, we initialize δ = ∅ and σ = ρ and do the following operation to λt for t from N to j +1. Let σi be the i-th part of σ. For convenience, let σ0 = ∞. Let s be the largest number such that λt − t − s + j +1 < σs. If s ≥ 1, then we insert the part λt − t − s + j + 1 into σ right after σs and add the part t + s − j − 1 to δ. If s = 0, then we insert the part λt − t + j + 1 into σ before σ1. After the operation, we derive a distinct partition σ and a distinct partition δ with parts lying in [0, N − 1]. Next we split σ into two partitions γ =(N, N − 1,..., 1) and η, where ηi = σi + i − 1 − N for 1 ≤ i ≤ N. Taking the conjugate of η, we then get the partition α with parts ≤ N. Finally, we get the vector partition (γ,δ,α,β) ∈ V(n). For example, let λ = (13, 10, 9, 7, 6, 4, 4, 4, 3, 1, 1, 1) be an overpartition of 63. It is easy to see that j = 2 and N = 6. Thus we have ρ = (7, 4), µ = (13, 10, 9, 6) and

8 β = (4, 4, 3, 1, 1, 1). For each part in µ, we do the following operation

(µ, ρ, δ)=(13+10+9+6, 7+4, ∅) ⇒ (13+10+9, 7+4+1, 5) ⇒ (13+ 10, 7+6+4+1, 5+3) ⇒ (13, 9+7+6+4+1, 5+3+1) ⇒ (∅, 13+9+7+6+4+1, 5+3+1+0)=(∅, σ, δ).

Then we have δ = (5, 3, 1, 0), γ = (6, 5, 4, 3, 2, 1), η = (7, 4, 3, 3, 2, 0) and α = η′ = (5, 5, 4, 2, 1, 1, 1). Hence we get a vector partition ν =(γ,δ,α,β) ∈ V(63). Therefore we complete the proof of Lemma 1.3.

We are ready to present the proof of Theorem 1.5. Proof of Theorem 1.5 First let us rewrite the sum on the right side of (1.7) as

n1+1 1 q( 2 ) × (1 − qnk−1+1) ··· (1 − qn1 )(1 − zq) ··· (1 − zqnk−1 ) n1≥···≥nk− ≥1 X 1 1 2 n 2 n 1 n1 n2 1 nk−1 k−2 × a (− ; q)n1 × q ×···× q × . (3.1) a n n (1 − z−1q) ··· (1 − z−1qnk−1 ) 2 k−1

n1+1 ( 2 ) The factor q generates the partition γ =(n1, n1 − 1,..., 1). The term 1 an1 (− ; q) a n1 generates partitions δ into distinct non-negative parts less than n1, and the power of a counts n1 − l(δ). Since n m is the generating function for partitions into at most m parts each ≤ n − m, the term

2 n1 2 nk−2 1 qn2 ×···× qnk−1 × −1 −1 nk−1 n2 nk−1 (1 − z q) ··· (1 − z q ) n2≥···≥nk− ≥1 X 1 generates partitions β into parts ≤ n1 and at least k − 2 successive Durfee squares. The power of z−1 keeps track the number of parts that lie below its (k − 2)-th Durfee square. The term 1 (1 − qnk−1+1) ··· (1 − qn1 )(1 − zq) ··· (1 − zqnk−1 ) generates partitions α into parts ≤ n1 and the power of z counts the number of parts ≤ nk−1, where nk−1 is the size of the (k − 2)-th Durfee square of β.

9 Thus, (3.1) is the generating function of vector partitions (γ,δ,α,β) ∈ ∪nV(n). The power of a in (3.1) counts l(γ) − l(δ), and the power of z counts the number of parts of α that are ≤ nk−1 minus the number of parts of β that lie below the (k−2)-th Durfee square of β, where nk−1 is the size of (k − 2)-th Durfee square of β. In light of Lemma 1.3, we can deduce that (3.1) also generates overpartitions λ into at least k − 2 successive Durfee squares in β, where β is the fourth component of the vector partition ν(λ). Moreover, the power of a counts the number of overlined parts of λ, i.e. o(λ), and the power of z counts the k-rank of λ. Therefore Theorem 1.5 follows from (1.7) and (3.1).

Remarks 3.1. For an overpartition λ, let ν(λ)=(γ,δ,α,β). Note that if there are no overlined parts in λ (i.e., λ is a partition), then from the proof of Lemma 1.3 we can see that δ = (l(γ) − 1,l(γ) − 2,..., 1, 0) and the (k − 2)-th Durfee square of β is in fact the (k − 1)-th Durfee square of λ. And from the deﬁnition of k-rank, it is easy to see that the k-rank of λ is actually the k-rank of λ. Recall that N k(m, n, 0) = Nk(m, n). Consequently, the j = 0 case of Theorem 1.5 coincides with Theorem 1.1.

4 Proof of Theorem 1.6

This section is devoted to showing the relation between the generating function of self-3- conjugate overpartitions and the mock theta functions as stated in Theorem 1.6. To this end, we mainly express both of them in terms of the Appell-Lerch sum m(x, q, z), where

∞ n 1 (−1)nq(2)zn m(x, q, z)= . j(z; q) 1 − qn−1xz n=−∞ X Hickerson and Mortenson [12] showed that j(q3; q10)j(q5; q10) X(q)=2m(−q2, q5, q4) − , (4.1) j(q; q5) j(q; q10)j(q5; q10) χ(q)=2m(−q, q5, q2)+ q . (4.2) j(q2; q5)

Now we proceed to present our proof of Theorem 1.6. Proof of Theorem 1.6 Setting a = 1 and k = 3 in (1.9), it follows that

n1+1 2 ∞ n ( 2 )+n2 n 5(2)+3n (−1; q)n1 q 2(−q; q)∞ (−1) q 2 2 = n . (q; q)n1−n2 (q ; q )n2 (q; q)∞ 1+ q n1≥n2≥0 n=−∞ X X Since 1 1+ x + ··· + xk−1 = , 1 − x 1 − xk

10 we have

n1+1 2 ( 2 )+n2 (−1; q)n1 q 2 2 (q; q)n1−n2 (q ; q )n2 n1≥n2≥0 X ∞ n 2(−q; q) (−1)nq5(2)+3n(1 − qn + q2n − q3n + q4n) = ∞ (q; q) 1+ q5n ∞ n=−∞ X ∞ n ∞ n ∞ n+1 2(−q; q) (−1)nq5(2)+3n (−1)nq5(2)+4n (−1)nq5( 2 ) = ∞ − + (q; q) 1+ q5n 1+ q5n 1+ q5n ∞ n=−∞ n=−∞ n=−∞ X X X ∞ n ∞ n (−1)nq5(2)+6n (−1)nq5(2)+7n − + 1+ q5n 1+ q5n n=−∞ n=−∞ ! X X ∞ n ∞ n ∞ n+1 2(−q; q) (−1)nq5(2)+3n (−1)nq5(2)+4n (−1)nq5( 2 ) = ∞ 2 − 2 + (q; q) 1+ q5n 1+ q5n 1+ q5n ∞ n=−∞ n=−∞ n=−∞ ! X X X 2(−q; q) (q5; q5)3 = ∞ 2j(q3; q5)m(−q2, q5, q3) − 2j(q4; q5)m(−q, q5, q4)+ ∞ , (4.3) (q; q) j(−1; q5) ∞ where the last equality follows from [15, p. 1]

∞ n+1 (−1)nq( 2 ) (q; q)3 = ∞ . 1 − zqn j(z; q) n=−∞ X ∗ Recall that for generic x, z0, z1 ∈ C , the following identity [12, eq. (3.7)] holds

3 z0(q; q)∞j(z1/z0; q)j(xz0z1; q) m(x, q, z1) − m(x, q, z0)= . (4.4) j(z0; q)j(z1; q)j(xz0; q)j(xz1; q) From (4.4), we can deduce that −(q5; q5)3 m(−q2, q5, q3) − m(−q2, q5, q4)= ∞ , (4.5) j(q3; q5)j(−q5; q5) (q5; q5)3 m(−q, q5, q4) − m(−q, q5, q2)= ∞ . (4.6) j(q4; q5)j(−q5; q5)

Substituting (4.1), (4.2), (4.5) and (4.6) into (4.3) yields

n1+1 2 ( 2 )+n2 (−1; q)n1 q 2 2 (q; q)n1−n2 (q ; q )n2 n1≥n2≥0 X 2(−q; q) j(q3; q5) 2(−q; q) j(q4; q5) 2(−q; q) = ∞ X(q) − ∞ χ(q)+ ∞ (q; q)∞ (q; q)∞ (q; q)∞ j(q3; q5)j(q3; q10)j(q5; q10) j(q4; q5)j(q; q10)j(q5; q10) 3(q5; q5)3 × + q − ∞ . j(q; q5) j(q2; q5) j(−1; q5) 11 To ﬁnish the proof of Theorem 1.6, we just need to show that the series in the brackets on 2 2 the right hand side is equal to −(q; q)∞/2(−q; q)∞. Note that this is an identity between modular forms, thus we can easily verify it with a ﬁnite computation by using Garvan’s MAPLE program, thetaids [9], available at https://qseries.org/fgarvan/qmaple/thetaids. Hence we complete the proof of Theorem 1.6.

Acknowledgments. The author was supported by the National Natural Science Foun- dation of China (No. 11901430).

References

[1] G.E. Andrews, Problems and prospects for basic hypergeometric series, Theory and appli- cation of special functions, Academic Press, New York, 1975, pp. 191-224. [2] G.E. Andrews, Partitions and Durfee dissection, Amer. J. Math. 101 (1979) 735–742. [3] G.E. Andrews, F.G. Garvan, Dyson’s crank of a partition. Bull. Am. Math. Soc. 18 (1988) 167–171. [4] A.O.L. Atkin and P. Swinnerton-Dyer, Some properties of partitions, Proc. Lond. Math. Soc. III. Ser. 4 (1954) 84–106. [5] S. Corteel, J. Lovejoy, Overpartitions, Trans. Amer. Math. Soc. 356 (2004) 1623–1635. [6] S. Corteel, J. Lovejoy, O. Mallet, An extension to overpartitions of the Rogers- Ramanujan identities for even moduli, J. Number Theory 128 (2008) 1602–1621. [7] S. Corteel, O. Mallet, Overpartitions, lattice paths and Rogers-Ramanujan identities, J. Combin. Theory Ser. A 114 (8) (2007) 1407–1437. [8] F.J. Dyson, some guesses in the theory of partitions, Eureka (Cambrige) 8 (1944) 10–15. [9] J. Frye, F.G. Garvan, Automatic proof of theta-function identities, in: Elliptic Integrals, Elliptic Functions and Modular Forms in Quantum Field Theory, in: Texts Monogr. Sym- bol. Comput., Springer, Cham, 2019, pp. 195–258. [10] F.G. Garvan, Generalizations of Dyson’s rank and non-Rogers-Ramanujan partitions, Manuscr. Math. 84 (1994) 343–359. [11] F.G. Garvan, New combinatorial interpretations of Ramanujan’s partition congruences mod 5, 7, 11. Trans. Am. Math. Soc. 305 (1988) 47–77. [12] D. Hickerson, E. Mortenson, Hecke-type double sums, Appell-Lerch sums, and mock theta functions, I, Proc. Lond. Math. Soc. (3) 109 (2014) 382–422. [13] J. Lovejoy, Rank and conjugation for the Frobenius representation of an overpartition, Ann. Combin. 9 (3) (2005) 321–334. [14] J. Lovejoy, R. Osburn, Mixed mock modular q-series, J. Indian Math. Soc., Special Volume to commemorate the 125th Birth Anniversary of Srinivasa Ramanujan and the National Mathematics Year-2012 (2013) 45–61. [15] S. Ramanujan, The lost notebook and other unpublished papers, Narosa Publishing House, New Delhi, 1988.