- Email: [email protected]
On partition functions of Andrews and Stanley
ARTICLE IN PRESS
Journal of Combinatorial Theory, Series A 107 (2004) 313–321
Note
On partition functions of Andrews and Stanley Ae Ja Yee1 Department of Mathematics, The Pennsylvania State University, 218 McAllister, University Park, PA 16802, USA Received 27 May 2003
Abstract Andrews has established a refinement of the generating function for partitions p according to the numbers rðpÞ and sðpÞ of odd parts in p and the conjugate of p; respectively. In this paper, we derive a refined generating function for partitions into at most M parts less than or equal to N; which is a finite case of Andrew’s refinement. r 2004 Elsevier Inc. All rights reserved. Keywords: Integer partitions; Gaussian polynomial; Modular partitions
1. Introduction A partition p of n is a weakly decreasing sequence of positive integers whose sum equals n; p can be written as p ¼ ð1f1 2f2 3f3 4f4 ?Þ; where exactly fi part of p are equal to i (see [1, p. 1].) We denote the conjugate of p by p0 and the number of odd parts of p by OðpÞ: Stanley [5,6] has shown that 1 tðnÞ ¼ ðpðnÞ þ f ðnÞÞ; 2 1
E-mail address: [email protected]. Research partially supported by a grant from the Number Theory Foundation.
0097-3165/$ - see front matter r 2004 Elsevier Inc. All rights reserved. doi:10.1016/j.jcta.2004.04.005
ð1:1Þ
ARTICLE IN PRESS A.J. Yee / Journal of Combinatorial Theory, Series A 107 (2004) 313–321
314
where tðnÞ is the number of partitions of n for which OðpÞ Oðp0 Þðmod 4Þ; pðnÞ is the number of partitions of n; and f ðnÞ is defined by N X
f ðnÞqn ¼
n¼0
Y
ð1 þ q2i1 Þ
i¼1N
ð1 q4i Þð1 þ q4i2 Þ2
:
Definition 1.1. For any integers N; n; r; and s; let SN ðn; r; sÞ be the number of partitions p of n; where each part of p is less than or equal to N; OðpÞ ¼ r; and Oðp0 Þ ¼ s: Andrews [2] has examined SN ðn; r; sÞ: As a corollary, he has derived a refinement of the generating function for partitions according to OðpÞ and Oðp0 Þ and proved (1.1) in an analytic way. Sills [4] and Boulet [3] have independently given combinatorial proofs of the case when N tends to infinity. Definition 1.2. For any integers N; M; n; r; and s; let SN;M ðn; r; sÞ be the number of partitions p of n counted by SN ðn; r; sÞ where p has at most M parts. In this paper, we examine the generating function for SN;M ðn; r; sÞ and establish a combinatorial proof of an explicit expression for the generating function. The idea of the combinatorial proof will be generalized to provide combinatorial proofs of Andrews’ results. We explain what partitions f ðnÞ counts in Section 3. Throughout this paper, we use boxes for Ferrers graphs instead of dots. MacMahon introduced modular partitions [1, p. 13]. Let n and k be positive integers. Then there exist hX0 and 0ojpk such that n ¼ kh þ j: The modular representation of a partition to the modulus k is a modification of the Ferrers graph so that n is represented by a row of h k’s and one j: Thus the representation of 5 þ 4 þ 4 þ 3 þ 1 to the modulus 2 is the following:
2
2
2
2
2
2
2
1
1
1
2. Main results Let ða; qÞ0 :¼ 1;
ða; qÞn :¼ ð1 aÞð1 aqÞð1 aq2 Þ?ð1 aqn1 Þ;
nX1
ARTICLE IN PRESS A.J. Yee / Journal of Combinatorial Theory, Series A 107 (2004) 313–321
315
and let the q-binomial coefficient be defined by n ðq; qÞn ¼ ðq; qÞ k q k ðq; qÞnk
ð2:1Þ
for k ¼ 0; 1; y; n and a nonnegative n: Note that the q-binomial coefficient (2.1) is the generating function for partitions into at most k parts less than or equal to n k: Throughout this paper, for convenience, we define n 1 for k ¼ 0; ¼ k q 0 for k40; for any nok: Theorem 2.1. If SN;M ðn; r; sÞ is as defined in Section 1, then X S2N;2M ðn; r; sÞqn zr ys n;r;sX0
X j M N X X m 2k N þ k 1 2ðNjÞ m1 4 ð 1 Þ M k ¼ ðzqÞ ðyqÞ ðyzqÞ q 2 m1 k q4 j¼0 q4 m1 ¼0 k¼0 X Nj m3 M k þ j m1 M k ðzq=yÞm3 q4ð 2 Þ m3 j m1 q4 m3 ¼0 q4 M þ N k j 1 m3 ; N j m3 q4 X
S2N;2Mþ1 ðn; r; sÞqn zr ys
n;r;sX0
¼
M X
ðzqÞ2k
N þk1
X N
k
q4 j¼0
k¼0
X Nj M k þ j m1 j m1
ðyqÞ2ðNjÞ
j X m1 ¼0
m3
ðzq=yÞm3 q4ð 2 Þ
q4 m3 ¼0
M þ N k j m3
N j m3
m1
ðyzqÞm1 q4ð 2 Þ
M k m3
M þ1k m1
q4
q4
and X
S2Nþ1;2Mþ1 ðn; r; sÞqn zr ys
n;r;sX0
¼
M X k¼0
ðzqÞ2k
N þk k
X N q4 j¼0
ðyqÞ2ðNjÞ
j X m1 ¼0
m1
ð1 þ yzqÞðyzq5 Þm1 q4ð 2 Þ
q4
ARTICLE IN PRESS A.J. Yee / Journal of Combinatorial Theory, Series A 107 (2004) 313–321
316
M þ1k
M k þ j m1
m1
q4
j m1
M k m3
q4
X Nj
M þ N k j m3 N j m3
m3
ðzq=yÞm3 q4ð 2 Þ
q4 m3 ¼0
: q4
Proof. Let p be a partition counted by S2N;2M ðn; r; sÞ: We write p ¼ ð1o1 2e1 3o2 4e2 ?ð2N 1ÞoN ð2NÞeN Þ; where exactly oi parts of p are equal to 2i 1 and exactly ei parts of p are equal to 2i: Let P be the modular representation of p to the modulus 2. Then P has parts of size i a total of ðoi þ ei Þ times for i ¼ 1; y; N: There are oi parts of size i whose last boxes have 1: For instance, P of ð10 21 30 42 53 60 Þ is
2
2
1
2
2
1
2
2
1
2
2
2
2
2 We cut the odd parts of size 2i 1 out 2Ioi =2m times from p so that the parts ending * of the resulting partition p* are distinct. We with 1 in the modular representation P P
form a modular partition P using the parts cut out from p: Let k ¼ N i¼1 Ioi =2m; which is less than or equal to M: Since P is a modular partition into 2k parts that are less than or equal to N; and end with 1; and the parts of P have even multiplicity, P is generated by N þk1 ðzqÞ2k : ð2:2Þ k q4 * of ð10 21 30 42 53 60 Þ are as follows: For instance, P and P
2
2
1
2
2
2
2
1
2
2
2
2
1
2 * ending with 1 are all distinct, and P * has at most M k Note that the parts of P 0 parts. Moreover, the number of odd parts of p* is equal to that of the conjugate p0 of p; since we cut out from p the odd parts of size 2i 1 a total of 2Ioi =2m times. We
ARTICLE IN PRESS A.J. Yee / Journal of Combinatorial Theory, Series A 107 (2004) 313–321
317
* and put add up the numbers inside the boxes in rows 2j 1 and 2j of the graph of P the sums into the boxes in rows 2j 1 deleting rows 2j to obtain a Ferrers graph * of ð10 21 30 42 53 60 Þ fitting inside the rectangle of size ðM kÞ N: For instance, P becomes
4
4
4
2
1
Let mi be the number of columns whose last boxes have i for i ¼ 1; 2; 3; 4 in the resulting graph. Then, m1 þ m2 þ m3 þ m4 pN: The columns with 2 in the last boxes contribute twice to s; and the columns with 3 in the last boxes contribute once to each of r and s: Thus those columns are generated by m3 M k M k 1 þ m2 ðyqÞ2m2 ðzyq3 Þm3 q4ð 2 Þ m3 m2 q4 q4 m3 M k M k 1 þ m2 ¼ ðyqÞ2ðm2 þm3 Þ ðzq=yÞm3 q4ð 2 Þ ; ð2:3Þ m3 m2 q4 q4 since the columns with 3 in their last boxes are of different length. On the other hand, the remaining columns have either 1 or 4 in their last boxes. The columns with 1 are of different length and they contribute once to r and s at the same time. Thus those columns are generated by m M k 1 þ m4 m1 4ð 1 Þ M k 4m 4 q : ð2:4Þ ðzyqÞ q 2 m1 m4 q4 q4 Since m1 þ m2 þ m3 þ m4 pN; let m2 þ m3 ¼ N j for some j and m1 þ m4 pj: The sum of (2.3) all over m2 and m3 with m2 þ m3 ¼ N j becomes Nj X m M k 1 þ N j m3 2ðNjÞ m3 4 ð 3 Þ M k 2 ðyqÞ ðzq=yÞ q ð2:5Þ m3 N j m3 q4 q4 m3 ¼0 and the sum of (2.4) all over m1 and m4 with m1 þ m4 pj becomes j X m M k þ j m1 m1 4ð 1 Þ M k 2 ðzyqÞ q ; m1 j m1 q4 q4 m1 ¼0 since jm X1 i¼0
q
4m4
M k 1 þ m4 m4
by identity (3.3.9) in [1].
M k þ j m1 ¼ j m1
ð2:6Þ
ARTICLE IN PRESS A.J. Yee / Journal of Combinatorial Theory, Series A 107 (2004) 313–321
318
Summing identities (2.2), (2.5), and (2.6) over all kpM and jpN; we obtain the first identity of the theorem X
S2N;2M ðn; r; sÞqn zr ys
n;r;sX0 M X
¼
2k
ðzqÞ
N þk1
X N
k
q4 j¼0
k¼0
X Nj M k þ j m1 j m1
ðyqÞ
2ðNjÞ
j X
m1 ðzyqÞm1 q4ð 2 Þ
M k
m1 ¼0 m3
ðzq=yÞm3 q4ð 2 Þ
q4 m3 ¼0
M k 1 þ N j m3
M k m3
m1
q4
q4
:
N j m3
q4
Similarly, we can prove the other two identities. We omit the proofs.
&
Andrews [2] has found special cases of the generating function for SN;M ðn; r; sÞ when M tends to infinity. We prove Andrews’ results in the following theorem. Corollary 2.2. If SN ðn; r; sÞ is as defined in Section 1, then X
S2N ðn; r; sÞqn zr ys
n;r;sX0
! N . X N 2N2j ðzyq; q4 Þj ðzy1 q; q4 ÞNj ðyqÞ ðq4 ; q4 ÞN ðz2 q2 ; q4 ÞN : j q4 j¼0
¼
and X
S2Nþ1 ðn; r; sÞqn zr ys
n;r;sX0
!
N X N
¼
j¼0
j
1
4
4
ðzyq; q Þjþ1 ðzy q; q ÞNj ðyqÞ
2N2j
.
ðq4 ; q4 ÞN ðz2 q2 ; q4 ÞNþ1 :
q4
Proof. We take M to infinity in the first formula in Theorem 2.1. Then, we have X
S2N ðn; r; sÞqn zr ys ¼ lim
M-N
n;r;sX0
¼ lim
M-N
M X k¼0
ðzqÞ2k
X
S2N;2M ðn; r; sÞqn zr ys
n;r;sX0
N þk1 k
N X q4 j¼0
ðyqÞ2ðNjÞ
j X m1 ¼0
m1
ðyzqÞm1 q4ð 2 Þ
ARTICLE IN PRESS A.J. Yee / Journal of Combinatorial Theory, Series A 107 (2004) 313–321
319
X Nj m M k M k þ j m1 m3 4 ð 3 Þ M k ðzq=yÞ q 2 m1 m3 j m1 q4 q4 m3 ¼0 q4 M þ N k j 1 m3 N j m3 q4 m1 j N N X X X ðyzqÞm1 q4ð 2 Þ 2k N þ k 1 2ðNjÞ ¼ ðzqÞ ðyqÞ ðq4 ; q4 Þm1 ðq4 ; q4 Þjm1 k q4 j¼0 m1 ¼0 k¼0
Nj X m3 ¼0
m3 ðzq=yÞm3 q4ð 2 Þ ðq4 ; q4 Þm3 ðq4 ; q4 ÞNjm3 m
1 j N X X 1 ðyzqÞm1 q4ð 2 Þ 2ðNjÞ ðyqÞ ðzq2 ; q4 ÞN j¼0 ðq4 ; q4 Þm1 ðq4 ; q4 Þjm1 m ¼0
¼
1
Nj X
m3 ðzq=yÞm3 q4ð 2 Þ
ðq4 ; q4 Þm3 ðq4 ; q4 ÞNjm3 j N X X m1 N j 1 2ðNjÞ ¼ ðyqÞ ðyzqÞm1 q4ð 2 Þ 2 4 4 4 ðzq ; q ÞN ðq ; q ÞN j¼0 j q4 m1 ¼0 m1 q4 Nj X m3 N j ðzq=yÞm3 q4ð 2 Þ m3 q4 m3 ¼0 N X N 1 ¼ ðyqÞ2ðNjÞ ðzyq; q4 Þj ðzq=y; q4 ÞNj ðzq2 ; q4 ÞN ðq4 ; q4 ÞN j¼0 j q4 m3 ¼0
by identities (3.3.7) and (3.3.6) in [1]. We obtain the same result by taking the limit in the second formula in Theorem 2.1. Here we present a combinatorial proof of the generating function for S2N ðn; r; sÞ; which can be derived from the method for the finite cases. We rewrite the first identity as X
S2N ðn; r; sÞqn zr ys ¼
n;r;sX0
N X 1 ðzyq; q4 ÞNk ðzy1 q; q4 Þk ðy2 q2 Þk : ðz2 q2 ; q4 ÞN k¼0 ðq4 ; q4 ÞNk ðq4 ; q4 Þk
Let p be a partition counted by S2N ðn; r; sÞ: We write p ¼ ð1o1 2e1 3o2 4e2 ?ð2N 1ÞoN ð2NÞeN Þ; where exactly oi parts of p are equal to 2i 1 and exactly ei parts of p are equal to 2i: We consider the modular representation of p: We cut out part i ending with 1 a total of 2Ioi =2m times. These parts form a partition p generated by 1 ðz2 q2 ; q4 Þ
: N
ð2:7Þ
ARTICLE IN PRESS A.J. Yee / Journal of Combinatorial Theory, Series A 107 (2004) 313–321
320
* of p* has Let the resulting partition be p: * Note that the modular representation P boxes with 1 at the corners and the number of odd parts of the conjugate p* 0 of p* is equal to the number of odd parts of the conjugate p0 of p: We add up the numbers * and put the sums into the inside the boxes in rows 2j 1 and 2j of the graph of P boxes in rows 2j 1 deleting rows 2j: Suppose that there are k columns whose last boxes have either 2 or 3: The columns with 2 contribute twice to s; and the columns with 3 contribute once to r and s: Thus those columns are generated by ðy2 q2 þ zyq3 Þðy2 q2 þ zyq7 Þ?ðy2 q2 þ zyq4k1 Þ ; ðq4 ; q4 Þk
ð2:8Þ
since the columns with 3 in their last boxes are of different length. On the other hand, the remaining columns have either 1 or 4 in their last boxes. The columns with 1 are of different length and they contribute once to r and s at the same time. Thus those columns are generated by ð1 þ zyqÞð1 þ zyq5 Þ?ð1 þ zyq4ðNkÞ3 Þ : ðq4 ; q4 ÞNk
ð2:9Þ
Combining the two cases above, we obtain the first identity of the theorem. The generating function for S2Nþ1 ðn; r; sÞ can be obtained in a similar way. We omit the proof. & One of the referees has pointed out that we can get identity (4.1) in Andrews’ paper [2] by letting N tend to infinity after replacing j by N j in the first identity in Theorem 2.1. By letting N tend to infinity in the formulas in Corollary 2.2, we have the following refinement of the generating function for partitions obtained by Andrews [2]. A combinatorial proof of Corollary 2.3 can be derived by generalizing the idea we employed in the combinatorial proofs of the finite cases. Thus we omit the proof. Corollary 2.3. Let SN ðn; r; sÞ be the number of partitions p of n such that p has r odd parts and the conjugate p0 of p has s odd parts. Then X
SN ðn; r; sÞqn zr ys ¼
n;r;sX0
N Y
ð1 þ zyq2j1 Þ : ð1 q4j Þð1 z2 q4j2 Þð1 y2 q4j2 Þ j¼1
ð2:10Þ
3. Remarks As Andrews pointed out [2], we can easily see from the generating function (2.10) that OðpÞ Oðp0 Þðmod 2Þ: Recall that tðnÞ is the number of partitions of n for which OðpÞ Oðp0 Þðmod 4Þ: Andrews showed that 1 tðnÞ ¼ ðpðnÞ þ f ðnÞÞ; 2
ð3:1Þ
ARTICLE IN PRESS A.J. Yee / Journal of Combinatorial Theory, Series A 107 (2004) 313–321
where N X
f ðnÞqn ¼
n¼0
N Y
ð1 þ q2i1 Þ
i¼1
ð1 q4i Þð1 þ q4i2 Þ2
321
:
To see that tðnÞ is equal to ðpðnÞ þ f ðnÞÞ=2; we examine the generating function (2.10). In (2.10), the factors ð1 þ zyq2j1 Þ and 1=ð1 q4j Þ have nothing to do with the parities of OðpÞ and Oðp0 Þ: However, by changing the negative sign to positive in the other factors 1=ð1 z2 q4j2 Þ and 1=ð1 y2 q4j2 Þ; we see that p has weight 0
ð1ÞjOðpÞOðp Þj=2 : Thus f ðnÞ is equal to the number of partitions p of n where OðpÞ Oðp0 Þðmod 4Þ minus the number of partitions of p of n where OðpÞcOðp0 Þðmod 4Þ: Therefore, tðnÞ is equal to half of ðpðnÞ þ f ðnÞÞ:
Acknowledgments The author thanks B.C. Berndt for his suggestion of these problems and encouragement, and also thanks D. Stanton for his comments. The author is grateful to anonymous referees for very helpful comments.
References [1] G.E. Andrews, The Theory of Partitions, Addison-Wesley, Reading, MA, 1976 (reissued by Cambridge University Press, Cambridge, 1984). [2] G.E. Andrews, On a partition function of Richard Stanley, Electron. J. Combin., to appear. [3] C.E. Boulet, A four-parameter partition identity, preprint. [4] A.V. Sills, A combinatorial proof of a partition identity of Andrews and Stanley, Int. J. Math. Math. Sci., to appear. [5] R.P. Stanley, Problem 10969, Amer. Math. Monthly 109 (2002) 760. [6] R.P. Stanley, Some remarks on sign-balanced and maj-balanced possets, Adv. Appl. Math., to appear.
Journal of Combinatorial Theory, Series A 107 (2004) 313–321
Note
On partition functions of Andrews and Stanley Ae Ja Yee1 Department of Mathematics, The Pennsylvania State University, 218 McAllister, University Park, PA 16802, USA Received 27 May 2003
Abstract Andrews has established a refinement of the generating function for partitions p according to the numbers rðpÞ and sðpÞ of odd parts in p and the conjugate of p; respectively. In this paper, we derive a refined generating function for partitions into at most M parts less than or equal to N; which is a finite case of Andrew’s refinement. r 2004 Elsevier Inc. All rights reserved. Keywords: Integer partitions; Gaussian polynomial; Modular partitions
1. Introduction A partition p of n is a weakly decreasing sequence of positive integers whose sum equals n; p can be written as p ¼ ð1f1 2f2 3f3 4f4 ?Þ; where exactly fi part of p are equal to i (see [1, p. 1].) We denote the conjugate of p by p0 and the number of odd parts of p by OðpÞ: Stanley [5,6] has shown that 1 tðnÞ ¼ ðpðnÞ þ f ðnÞÞ; 2 1
E-mail address: [email protected]. Research partially supported by a grant from the Number Theory Foundation.
0097-3165/$ - see front matter r 2004 Elsevier Inc. All rights reserved. doi:10.1016/j.jcta.2004.04.005
ð1:1Þ
ARTICLE IN PRESS A.J. Yee / Journal of Combinatorial Theory, Series A 107 (2004) 313–321
314
where tðnÞ is the number of partitions of n for which OðpÞ Oðp0 Þðmod 4Þ; pðnÞ is the number of partitions of n; and f ðnÞ is defined by N X
f ðnÞqn ¼
n¼0
Y
ð1 þ q2i1 Þ
i¼1N
ð1 q4i Þð1 þ q4i2 Þ2
:
Definition 1.1. For any integers N; n; r; and s; let SN ðn; r; sÞ be the number of partitions p of n; where each part of p is less than or equal to N; OðpÞ ¼ r; and Oðp0 Þ ¼ s: Andrews [2] has examined SN ðn; r; sÞ: As a corollary, he has derived a refinement of the generating function for partitions according to OðpÞ and Oðp0 Þ and proved (1.1) in an analytic way. Sills [4] and Boulet [3] have independently given combinatorial proofs of the case when N tends to infinity. Definition 1.2. For any integers N; M; n; r; and s; let SN;M ðn; r; sÞ be the number of partitions p of n counted by SN ðn; r; sÞ where p has at most M parts. In this paper, we examine the generating function for SN;M ðn; r; sÞ and establish a combinatorial proof of an explicit expression for the generating function. The idea of the combinatorial proof will be generalized to provide combinatorial proofs of Andrews’ results. We explain what partitions f ðnÞ counts in Section 3. Throughout this paper, we use boxes for Ferrers graphs instead of dots. MacMahon introduced modular partitions [1, p. 13]. Let n and k be positive integers. Then there exist hX0 and 0ojpk such that n ¼ kh þ j: The modular representation of a partition to the modulus k is a modification of the Ferrers graph so that n is represented by a row of h k’s and one j: Thus the representation of 5 þ 4 þ 4 þ 3 þ 1 to the modulus 2 is the following:
2
2
2
2
2
2
2
1
1
1
2. Main results Let ða; qÞ0 :¼ 1;
ða; qÞn :¼ ð1 aÞð1 aqÞð1 aq2 Þ?ð1 aqn1 Þ;
nX1
ARTICLE IN PRESS A.J. Yee / Journal of Combinatorial Theory, Series A 107 (2004) 313–321
315
and let the q-binomial coefficient be defined by n ðq; qÞn ¼ ðq; qÞ k q k ðq; qÞnk
ð2:1Þ
for k ¼ 0; 1; y; n and a nonnegative n: Note that the q-binomial coefficient (2.1) is the generating function for partitions into at most k parts less than or equal to n k: Throughout this paper, for convenience, we define n 1 for k ¼ 0; ¼ k q 0 for k40; for any nok: Theorem 2.1. If SN;M ðn; r; sÞ is as defined in Section 1, then X S2N;2M ðn; r; sÞqn zr ys n;r;sX0
X j M N X X m 2k N þ k 1 2ðNjÞ m1 4 ð 1 Þ M k ¼ ðzqÞ ðyqÞ ðyzqÞ q 2 m1 k q4 j¼0 q4 m1 ¼0 k¼0 X Nj m3 M k þ j m1 M k ðzq=yÞm3 q4ð 2 Þ m3 j m1 q4 m3 ¼0 q4 M þ N k j 1 m3 ; N j m3 q4 X
S2N;2Mþ1 ðn; r; sÞqn zr ys
n;r;sX0
¼
M X
ðzqÞ2k
N þk1
X N
k
q4 j¼0
k¼0
X Nj M k þ j m1 j m1
ðyqÞ2ðNjÞ
j X m1 ¼0
m3
ðzq=yÞm3 q4ð 2 Þ
q4 m3 ¼0
M þ N k j m3
N j m3
m1
ðyzqÞm1 q4ð 2 Þ
M k m3
M þ1k m1
q4
q4
and X
S2Nþ1;2Mþ1 ðn; r; sÞqn zr ys
n;r;sX0
¼
M X k¼0
ðzqÞ2k
N þk k
X N q4 j¼0
ðyqÞ2ðNjÞ
j X m1 ¼0
m1
ð1 þ yzqÞðyzq5 Þm1 q4ð 2 Þ
q4
ARTICLE IN PRESS A.J. Yee / Journal of Combinatorial Theory, Series A 107 (2004) 313–321
316
M þ1k
M k þ j m1
m1
q4
j m1
M k m3
q4
X Nj
M þ N k j m3 N j m3
m3
ðzq=yÞm3 q4ð 2 Þ
q4 m3 ¼0
: q4
Proof. Let p be a partition counted by S2N;2M ðn; r; sÞ: We write p ¼ ð1o1 2e1 3o2 4e2 ?ð2N 1ÞoN ð2NÞeN Þ; where exactly oi parts of p are equal to 2i 1 and exactly ei parts of p are equal to 2i: Let P be the modular representation of p to the modulus 2. Then P has parts of size i a total of ðoi þ ei Þ times for i ¼ 1; y; N: There are oi parts of size i whose last boxes have 1: For instance, P of ð10 21 30 42 53 60 Þ is
2
2
1
2
2
1
2
2
1
2
2
2
2
2 We cut the odd parts of size 2i 1 out 2Ioi =2m times from p so that the parts ending * of the resulting partition p* are distinct. We with 1 in the modular representation P P
form a modular partition P using the parts cut out from p: Let k ¼ N i¼1 Ioi =2m; which is less than or equal to M: Since P is a modular partition into 2k parts that are less than or equal to N; and end with 1; and the parts of P have even multiplicity, P is generated by N þk1 ðzqÞ2k : ð2:2Þ k q4 * of ð10 21 30 42 53 60 Þ are as follows: For instance, P and P
2
2
1
2
2
2
2
1
2
2
2
2
1
2 * ending with 1 are all distinct, and P * has at most M k Note that the parts of P 0 parts. Moreover, the number of odd parts of p* is equal to that of the conjugate p0 of p; since we cut out from p the odd parts of size 2i 1 a total of 2Ioi =2m times. We
ARTICLE IN PRESS A.J. Yee / Journal of Combinatorial Theory, Series A 107 (2004) 313–321
317
* and put add up the numbers inside the boxes in rows 2j 1 and 2j of the graph of P the sums into the boxes in rows 2j 1 deleting rows 2j to obtain a Ferrers graph * of ð10 21 30 42 53 60 Þ fitting inside the rectangle of size ðM kÞ N: For instance, P becomes
4
4
4
2
1
Let mi be the number of columns whose last boxes have i for i ¼ 1; 2; 3; 4 in the resulting graph. Then, m1 þ m2 þ m3 þ m4 pN: The columns with 2 in the last boxes contribute twice to s; and the columns with 3 in the last boxes contribute once to each of r and s: Thus those columns are generated by m3 M k M k 1 þ m2 ðyqÞ2m2 ðzyq3 Þm3 q4ð 2 Þ m3 m2 q4 q4 m3 M k M k 1 þ m2 ¼ ðyqÞ2ðm2 þm3 Þ ðzq=yÞm3 q4ð 2 Þ ; ð2:3Þ m3 m2 q4 q4 since the columns with 3 in their last boxes are of different length. On the other hand, the remaining columns have either 1 or 4 in their last boxes. The columns with 1 are of different length and they contribute once to r and s at the same time. Thus those columns are generated by m M k 1 þ m4 m1 4ð 1 Þ M k 4m 4 q : ð2:4Þ ðzyqÞ q 2 m1 m4 q4 q4 Since m1 þ m2 þ m3 þ m4 pN; let m2 þ m3 ¼ N j for some j and m1 þ m4 pj: The sum of (2.3) all over m2 and m3 with m2 þ m3 ¼ N j becomes Nj X m M k 1 þ N j m3 2ðNjÞ m3 4 ð 3 Þ M k 2 ðyqÞ ðzq=yÞ q ð2:5Þ m3 N j m3 q4 q4 m3 ¼0 and the sum of (2.4) all over m1 and m4 with m1 þ m4 pj becomes j X m M k þ j m1 m1 4ð 1 Þ M k 2 ðzyqÞ q ; m1 j m1 q4 q4 m1 ¼0 since jm X1 i¼0
q
4m4
M k 1 þ m4 m4
by identity (3.3.9) in [1].
M k þ j m1 ¼ j m1
ð2:6Þ
ARTICLE IN PRESS A.J. Yee / Journal of Combinatorial Theory, Series A 107 (2004) 313–321
318
Summing identities (2.2), (2.5), and (2.6) over all kpM and jpN; we obtain the first identity of the theorem X
S2N;2M ðn; r; sÞqn zr ys
n;r;sX0 M X
¼
2k
ðzqÞ
N þk1
X N
k
q4 j¼0
k¼0
X Nj M k þ j m1 j m1
ðyqÞ
2ðNjÞ
j X
m1 ðzyqÞm1 q4ð 2 Þ
M k
m1 ¼0 m3
ðzq=yÞm3 q4ð 2 Þ
q4 m3 ¼0
M k 1 þ N j m3
M k m3
m1
q4
q4
:
N j m3
q4
Similarly, we can prove the other two identities. We omit the proofs.
&
Andrews [2] has found special cases of the generating function for SN;M ðn; r; sÞ when M tends to infinity. We prove Andrews’ results in the following theorem. Corollary 2.2. If SN ðn; r; sÞ is as defined in Section 1, then X
S2N ðn; r; sÞqn zr ys
n;r;sX0
! N . X N 2N2j ðzyq; q4 Þj ðzy1 q; q4 ÞNj ðyqÞ ðq4 ; q4 ÞN ðz2 q2 ; q4 ÞN : j q4 j¼0
¼
and X
S2Nþ1 ðn; r; sÞqn zr ys
n;r;sX0
!
N X N
¼
j¼0
j
1
4
4
ðzyq; q Þjþ1 ðzy q; q ÞNj ðyqÞ
2N2j
.
ðq4 ; q4 ÞN ðz2 q2 ; q4 ÞNþ1 :
q4
Proof. We take M to infinity in the first formula in Theorem 2.1. Then, we have X
S2N ðn; r; sÞqn zr ys ¼ lim
M-N
n;r;sX0
¼ lim
M-N
M X k¼0
ðzqÞ2k
X
S2N;2M ðn; r; sÞqn zr ys
n;r;sX0
N þk1 k
N X q4 j¼0
ðyqÞ2ðNjÞ
j X m1 ¼0
m1
ðyzqÞm1 q4ð 2 Þ
ARTICLE IN PRESS A.J. Yee / Journal of Combinatorial Theory, Series A 107 (2004) 313–321
319
X Nj m M k M k þ j m1 m3 4 ð 3 Þ M k ðzq=yÞ q 2 m1 m3 j m1 q4 q4 m3 ¼0 q4 M þ N k j 1 m3 N j m3 q4 m1 j N N X X X ðyzqÞm1 q4ð 2 Þ 2k N þ k 1 2ðNjÞ ¼ ðzqÞ ðyqÞ ðq4 ; q4 Þm1 ðq4 ; q4 Þjm1 k q4 j¼0 m1 ¼0 k¼0
Nj X m3 ¼0
m3 ðzq=yÞm3 q4ð 2 Þ ðq4 ; q4 Þm3 ðq4 ; q4 ÞNjm3 m
1 j N X X 1 ðyzqÞm1 q4ð 2 Þ 2ðNjÞ ðyqÞ ðzq2 ; q4 ÞN j¼0 ðq4 ; q4 Þm1 ðq4 ; q4 Þjm1 m ¼0
¼
1
Nj X
m3 ðzq=yÞm3 q4ð 2 Þ
ðq4 ; q4 Þm3 ðq4 ; q4 ÞNjm3 j N X X m1 N j 1 2ðNjÞ ¼ ðyqÞ ðyzqÞm1 q4ð 2 Þ 2 4 4 4 ðzq ; q ÞN ðq ; q ÞN j¼0 j q4 m1 ¼0 m1 q4 Nj X m3 N j ðzq=yÞm3 q4ð 2 Þ m3 q4 m3 ¼0 N X N 1 ¼ ðyqÞ2ðNjÞ ðzyq; q4 Þj ðzq=y; q4 ÞNj ðzq2 ; q4 ÞN ðq4 ; q4 ÞN j¼0 j q4 m3 ¼0
by identities (3.3.7) and (3.3.6) in [1]. We obtain the same result by taking the limit in the second formula in Theorem 2.1. Here we present a combinatorial proof of the generating function for S2N ðn; r; sÞ; which can be derived from the method for the finite cases. We rewrite the first identity as X
S2N ðn; r; sÞqn zr ys ¼
n;r;sX0
N X 1 ðzyq; q4 ÞNk ðzy1 q; q4 Þk ðy2 q2 Þk : ðz2 q2 ; q4 ÞN k¼0 ðq4 ; q4 ÞNk ðq4 ; q4 Þk
Let p be a partition counted by S2N ðn; r; sÞ: We write p ¼ ð1o1 2e1 3o2 4e2 ?ð2N 1ÞoN ð2NÞeN Þ; where exactly oi parts of p are equal to 2i 1 and exactly ei parts of p are equal to 2i: We consider the modular representation of p: We cut out part i ending with 1 a total of 2Ioi =2m times. These parts form a partition p generated by 1 ðz2 q2 ; q4 Þ
: N
ð2:7Þ
ARTICLE IN PRESS A.J. Yee / Journal of Combinatorial Theory, Series A 107 (2004) 313–321
320
* of p* has Let the resulting partition be p: * Note that the modular representation P boxes with 1 at the corners and the number of odd parts of the conjugate p* 0 of p* is equal to the number of odd parts of the conjugate p0 of p: We add up the numbers * and put the sums into the inside the boxes in rows 2j 1 and 2j of the graph of P boxes in rows 2j 1 deleting rows 2j: Suppose that there are k columns whose last boxes have either 2 or 3: The columns with 2 contribute twice to s; and the columns with 3 contribute once to r and s: Thus those columns are generated by ðy2 q2 þ zyq3 Þðy2 q2 þ zyq7 Þ?ðy2 q2 þ zyq4k1 Þ ; ðq4 ; q4 Þk
ð2:8Þ
since the columns with 3 in their last boxes are of different length. On the other hand, the remaining columns have either 1 or 4 in their last boxes. The columns with 1 are of different length and they contribute once to r and s at the same time. Thus those columns are generated by ð1 þ zyqÞð1 þ zyq5 Þ?ð1 þ zyq4ðNkÞ3 Þ : ðq4 ; q4 ÞNk
ð2:9Þ
Combining the two cases above, we obtain the first identity of the theorem. The generating function for S2Nþ1 ðn; r; sÞ can be obtained in a similar way. We omit the proof. & One of the referees has pointed out that we can get identity (4.1) in Andrews’ paper [2] by letting N tend to infinity after replacing j by N j in the first identity in Theorem 2.1. By letting N tend to infinity in the formulas in Corollary 2.2, we have the following refinement of the generating function for partitions obtained by Andrews [2]. A combinatorial proof of Corollary 2.3 can be derived by generalizing the idea we employed in the combinatorial proofs of the finite cases. Thus we omit the proof. Corollary 2.3. Let SN ðn; r; sÞ be the number of partitions p of n such that p has r odd parts and the conjugate p0 of p has s odd parts. Then X
SN ðn; r; sÞqn zr ys ¼
n;r;sX0
N Y
ð1 þ zyq2j1 Þ : ð1 q4j Þð1 z2 q4j2 Þð1 y2 q4j2 Þ j¼1
ð2:10Þ
3. Remarks As Andrews pointed out [2], we can easily see from the generating function (2.10) that OðpÞ Oðp0 Þðmod 2Þ: Recall that tðnÞ is the number of partitions of n for which OðpÞ Oðp0 Þðmod 4Þ: Andrews showed that 1 tðnÞ ¼ ðpðnÞ þ f ðnÞÞ; 2
ð3:1Þ
ARTICLE IN PRESS A.J. Yee / Journal of Combinatorial Theory, Series A 107 (2004) 313–321
where N X
f ðnÞqn ¼
n¼0
N Y
ð1 þ q2i1 Þ
i¼1
ð1 q4i Þð1 þ q4i2 Þ2
321
:
To see that tðnÞ is equal to ðpðnÞ þ f ðnÞÞ=2; we examine the generating function (2.10). In (2.10), the factors ð1 þ zyq2j1 Þ and 1=ð1 q4j Þ have nothing to do with the parities of OðpÞ and Oðp0 Þ: However, by changing the negative sign to positive in the other factors 1=ð1 z2 q4j2 Þ and 1=ð1 y2 q4j2 Þ; we see that p has weight 0
ð1ÞjOðpÞOðp Þj=2 : Thus f ðnÞ is equal to the number of partitions p of n where OðpÞ Oðp0 Þðmod 4Þ minus the number of partitions of p of n where OðpÞcOðp0 Þðmod 4Þ: Therefore, tðnÞ is equal to half of ðpðnÞ þ f ðnÞÞ:
Acknowledgments The author thanks B.C. Berndt for his suggestion of these problems and encouragement, and also thanks D. Stanton for his comments. The author is grateful to anonymous referees for very helpful comments.
References [1] G.E. Andrews, The Theory of Partitions, Addison-Wesley, Reading, MA, 1976 (reissued by Cambridge University Press, Cambridge, 1984). [2] G.E. Andrews, On a partition function of Richard Stanley, Electron. J. Combin., to appear. [3] C.E. Boulet, A four-parameter partition identity, preprint. [4] A.V. Sills, A combinatorial proof of a partition identity of Andrews and Stanley, Int. J. Math. Math. Sci., to appear. [5] R.P. Stanley, Problem 10969, Amer. Math. Monthly 109 (2002) 760. [6] R.P. Stanley, Some remarks on sign-balanced and maj-balanced possets, Adv. Appl. Math., to appear.