Professional Documents
Culture Documents
OF MATHEMATICS
and Its Applications
GIAN-CARLO ROT A, Editor
Department of Mathematics
Massachusetts Institute of Technology
Cambridge, Massachusetts
Editorial Board
The Theory of
Partitions
George E. Andrews
Pennsylvania State University
University Park, Pennsylvania
...
"'1976
"'
Addison-Wesley Publishing Company
Advanced Book Program
Reading, Massachusetts
Editor's Statement xi
Preface . . . . . xiii
l.l Introduction . . . . . . . . . .
1.2 Infinite Product Generating Functions of One Variable. 3
1.3 Graphical Representation of Partitions . 6
Examples 13
Notes . . 14
References 14
2.1 Introduction . . . . . . . . . . 17
2.2 Elementary Series-Product Identities . l7
2.3 Applications to Partitions. 23
Examples. 28
Notes . . 30
References 31
3.1 Introduction . . . . . . . . . . . 33
3.2 The Generating Function for Restricted Partitions . 33
3.3 Properties of Gaussian Polynomials . . . . . . . 35
3.4 Permutations and Gaussian Multinomial Coefficients 39
3.5 The Unimodal Property 45
Examples. 49
Notes . . 51
References 52
vii
viii Contents
1.1 Introduction
In this book we shall study in depth the fundamental additive decomposition
process: the representation of positive integers by sums of other positive
integers.
DEFINITION l.l. A partition of a positive integer n is a finite nonincreasing
sequence of positive integers A. 1 , A. 2 ,. •• , A., such that L~= 1 A., = n. The A., are
called the parts of the partition.
Many times the partition (A. 1 , A. 2 , •• • , A.,) will be denoted by A., and we shall
write A. I- n to denote "A. is a partition of n." Sometimes it is useful to use a
notation that makes explicit the number of times that a particular integer
occurs as a part. Thus if A. = (A.., A. 2 , • •• , A.,) I- n, we sometimes write
A.= (1 1 •2113 13 · · ·)
where exactly f 1 of the A.1 are equal to i. Note now that I,,-;. 1 f 1i = n.
Numerous types of partition problems will concern us in this book;
however, among the most important and fundamental is the question of
enumerating various sets of partitions.
DEFINITION 1.2. The partition function p(n) is the number of partitions
of n.
Remark. Obviously p(n) = 0 when n is negative. We shall set p(O) = 1 with
the observation that the empty sequence forms the only partition of zero. The
following list presents the next six values of p(n) and tabulates the actual
partitions.
p(1) = 1: 1 = (1);
p(2) = 2: 2 = (2), 1 + 1 = (1 2 );
p(3) = 3: 3 = (3), 2 + 1 = (12), 1 + 1 + 1 = (1 3 );
p(4) = 5: 4 = (4), 3 + 1 = (13), 2 + 2 = (2 2 ),
2 + 1 + 1 = (1 2 2), 1 + 1 + 1 + 1 = (1 4 );
We point out the rather curious fact that p(~. n) = p(~. n) for n ~ 7,
although there is little apparent relationship between the various partitions
listed (see Corollary 1.2).
In this chapter, we shall present two of the most elemental tools for treating
partitions: (l) infinite product generating functions; (2) graphical representa-
tion of partitions.
DEFINITION 1.6. Let H be a set of positive integers. We let "H" denote the
set of all partitions whose parts lie in H. Consequently, p("H", n) is the
number of partitions of n that have all their parts in H.
Thus if H 0 is the set of all odd positive integers, then "H 0 " = ~-
DEFINITION 1.7. Let H be a set of positive integers. We let "H"( ~d) denote
the set of all partitions in which no part appears more than d times and each
part is in H.
Thus if N is the set of all positive integers, then p(" N"( ~ 1), n) = p(~. n).
n( l -
J(q) =
neH
q")-~. (1.2.3)
=n ld+ q")-
(l - l)n)(l - I. (1.2.4)
neH
Remark. The equivalence of the two forms for fiq) follows from the simple
formula for the sum of a finite geometric series:
l - x•+ 1
l + x + x 2 + · · · + x' = ---- ·
1-x
Proof. We shall proceed in a formal manner to prove (1.2.3) and (1.2.4);
at the conclusion of our proof we shall sketch how to justify our steps analyt-
ically. Let us index the elements of H, so that H = { h 1, h 2, h 3, h 4 , ••• } • Then
L L L .. ·qatht+a2h2+a3hl+ ···
Gt~O a2~0 G]~0
and We ObserVe that the exponent Of q is just the partition (h 1a1 h2 a2h3 a,' ' ').
Hence qN will occur in the foregoing summation once for each partition of n
into parts taken from H. Therefore
n(l -
neH
q") -I = L p("H", n)q".
n~O
The proof of (1.2.4) is identical with that of (1.2.3) except that the infinite
geometric series is replaced by the finite geometric series:
L L L .. ·qatht+a2hl+a3h3+"·
d~a 1 ~0 d~a2~0 4~43~0
1=1
- qh·>-1 ~no
oo
1=1
- qh·>-1 < 00.
Therefore
q")-1.
)=0 i= I neH
/
Similar justification can be given for the proof of (1.2.4).
L p(m, n)q" =
n~O
n(l -
00
n= I
q2n-l)- I
and
00
Now
(1.2.5)
Hence
and since a power series expansion of a function is unique, we see that p(eJ, n) =
p({i!, n) for all 11. •
COROLLARY 1.3 (Giaisher). Let N d denote the set of those positive integers
not divisi/Jle by d. Then
for a/ln.
n= 1
----n-
I )n)
oo I
n
n=l (l- q")
(d+ I ){n
There are numerous results of the type typified by Corollaries 1.2 and 1.3.
•
We shall run into such results again in Chapters 7 and 8, where much deeper
theorems of a similar nature will be discussed.
Note that the ith row of the graphical representation of (A. 1 , A. 2 , •• • , An)
contains A. 1 points (or dots, or nodes).
We remark that there are several equivalent ways of forming the graphical
representation. Some authors use unit squares instead of points, so that the
graphical representation of 8 + 6 + 6 + 5 + l becomes
I I
'---
r-- •
•••••
or • • • • • •
I I
••••••
••••••••
Since most of the classical texts on partitions use the first representation
shown in this section, we shall also.
and the conjugate of this partition is obtained by counting the dots in successive
columns; that is, the graphical representation of the conjugate is obtained
by reflecting the graph in the main diagonal. Thus the graph of the conjugate
partition is
Notice that not only does the graphical representation provide a simple
method by which to obtain the conjugate of A, but it also shows directly that
the conjugate partition ).' is a partition of the same integer .as A is; that is,
.Di = I' A/. Furthermore, it is clear that conjugation is an involution of the
partitions of any integer, in that the conjugate of the conjugate of A is again A.
Let us now prove some theorems on partitions, using graphical representa-
tion.
THEOREM 1.4. The number of partitions of n with at most m parts equals
the number of partitions of n in whic/1 no part exceeds m.
6 1+ 1+ 1+ 1+ 1+ 1
5+1 2 + 1+ 1+ 1+ 1
4+2 2+2+1+1
4 +1+1 3 + 1+ 1+ 1
3+3 2+2+2
3+2+1 3+2+1
2+2+2 3 +3
Theorem 1.4 is quite useful and shows how a graphical representation can
be used directly to obtain important information. More subtle uses of this
technique can be seen in the following two theorems.
THEOREM 1.5. The number of partitions of a - c into exactly b - 1 parts,
none exceeding c, equals the number of partitions of a - b into c - 1 parts,
none exceeding b.
Proof. Let us consider the graphical representation of a typical partition
of the first type mentioned in the theorem. We transform the partition as
follows: first we adjoin a new top row of c nodes; then we delete the first
column (which now has b nodes); and then we take the conjugate:
c c- 1
..-"-.. ~
THEOREM 1.6. Let p.(~. n) (resp. p0(~. n)) denote the number of partitions
of n into an even (resp. odd) number of distinct parts. Then
(- l)"' if n = !m(3m ± l),
P.(~. n) - Po(~. n) = { O
otherwise.
Proof. We shall attempt to establish a one-to-one correspondence between
the partitions enumerated by p.(~. n) and those enumerated by p0(~. n).
For most integers n our attempt wiii be successful; however, whenever n is
one of the pentagonal numbers !m(3m ± l), a single exceptional case wiii
arise.
To begin with, we note that each partition A. = (A. 1 , ••. , A.,) of n has a
smallest part s(A.) = A.,; also, we observe that the largest part A. 1 of A. =
().~> A. 2 , ••• , A.,) is the first of a sequence of, say, u(A.) consecutive integers that
are parts of A. (formally u(A.) is the largest j such that A.1 = A. 1 - j + l).
Graphically the parameters s(A.) and u(A.) are easily described:
.....
A= (76432) A=(8765)
~
••••• f!l t.r(~)=2
•••• cr(~)=4
•••
eLi:> s(~) =5
s( ~) =2
We transform partitions as follows.
Case l. s(..l.) :s:; u(A.). In this event, we add one to each of the s(A.) largest
parts of A. and we delete the smallest part. Thus
....
that is
·~
.•••..'
• ••• •W
1.3 Graphical Representation of Partitions 11
Case 2. s(.A.) > a(.A.). In this event, we subtract one from each of the a(.A.)
largest parts of A. and insert a new smallest part of size a(.A.). Thus
A. = (8743)-+ (76432);
that is
•••••••
••••••
••••
<iii>
<U:>
The foregoing procedure in either case changes the parity of the number of
parts of the partition, and noting that exactly one case is applicable to any
partition A., we see directly that the mapping establishes a one-to-one cor-
respondence. However, there are certain partitions for which the mapping
will not work. The example A. = (8765) is a case in point. Case 2 should be
applicable to it; however, the image partition is no longer one with distinct
parts. Indeed, Case 2 breaks down in precisely those cases when the partition
has r parts, a(A.) = r and s(A.) = r + l, in which case the number being
partitioned is
(r + l) + (r + 2) + .. · + 2r = lr(3r + l).
On the other hand, Case l breaks down in precisely those cases when the
partition has r parts, a(A.) = r and s(A.) = r, in which case the number being
partitioned is
r + (r + l) + · · · + (2r - l) = lr(3r - l).
Consequently, if n is not a pentagonal number, p.(~. n) = p0 (~. n); if
n = lr(3r ± l), p.(~. n) = Po(~. n) + (- l)•. •
CoROLLARY 1.7 (Euler's pentagonal number theorem).
00 00
= L (- l)"'qtm(3m-1). (1.3.1)
m=-oo
Proof. Clearly
oo oo -oo
L (_ l)"'qflll(3m-1) = 1 + L (_ l)"'qim(3m-1) + L (_ l)"'qtm(3m-1)
m=-oo
= 1 + f (_1)"'qtm(3m-1i + f (_1)"'qtm(3m+ 1)
12 The Elementary Theory of Partitions Chap. 1.3
00
+ I(-J)mq!m(Jm-1)(1 + qm)
m=l
by Theorem 1.6.
To complete the proof we must show that
= n (I
00 00
Now
as in the proof of ( 1.2.4) in Theorem 1.1. Note now that each partition with
distinct parts is counted with a weight (-!)"•+•,+•,+···, which is+ l if the
partition has an even number of parts and - l if the partition has an odd
number of parts. Consequently
n (I
oo
- q") = I
I
I
I
I
I
... (- l)"'+a,+a,+···q···l +a,·2+a,·3+···
n=l aa=Oa2=0a3-==0
n o - q")- n o - q")
00 00
= I •
n=I n= I
=I
Examples 13
Examples
n = kh + j.
The "modular" partitions are a modification of the Ferrers graph so that
n is represented by a row of IJ k's and one j. Thus the representation of
8 + 8 + 7 + 7 + 6 + 5 + 2 to the modulus 2 is
2222
2222
2221
2221
222
221
2
Note that the ordinary Ferrers graph is just the modular representation
with modulus 1.
6. Let W1 (r, m, n) denote the number of partitions of n into m parts,
each largr · ian 1, with exactly r odd parts, each distinct. Let W2(r, m, n)
denote the .. urn ber of partitions of n with 2m as largest part and exactly r
14 The Elementary Theory of Partitions Chap. 1
Notes
References
Andrews, G. E. (1967a). "A generalization of a partition theorem of MacMahon,"
J. Combinatorial Theory 3, 100-101.
Andrews, G. E. (1967b). "Enumerative proofs of certain q-identities," Glasgow Math. J.
8, 33-40.
Andrews, G. E. (1970). "Note on a partition theorem," Glasgow Math. J. 11, 108-109.
Andrews, G. E. (1971). Number Theory. Saunders, Philadelphia.
Andrews, G. E. (1972). "Two theorems of Gauss and allied identities proved arithmet-
ically," Pacific J. Math. 41, 563-578.
References IS
2.1 Introduction
00
f.(z; q) = I
m=O n=O
= I 2 #(A)qa(A)
AeS
where if).= (..l. 1 , .•• , ..l.,), #(..l.) = r, a(..l.) = ). 1 + · · · + ..l.,. The double series
above converges absolutely for lzl < lql- 1 > l. This may be easily seen by
proving (in the manner in which Theorem l.l is proved) that
00
I I
00
m=O n=O
p(.'.l', m, n)zmqn = no -
00
n=l
zqn)-1
I
00
m=O n=O
00
00
I I
m=O n=O
00
We begin with a theorem due to Cauchy; as we shall see, this result provides
the tool for doing everything else in this section.
THEOREM 2.1. If iqi < 1, ltl < l, then
1
+ ~
n~l
Q_= a)<!_=aq)· · ·(l - aq"- )t"
( l - q)(l- q2)· • ·(l- q")
1
= Il (l( l-- atq").
n=O tq") (2.2.1)
Remark. We shall try always to state our theorems with as little notational
disguise as possible. However, for the proofs, it seems only sensible to use
the following standard abbreviations
(a) 00 = (a; q) =
00 lim( a; q).,
..... 00
(a)o = l.
We may define (a). for all real numbers n by
1 + L (a + nn -
oo
• ~ 1
1) t" = (1 - t)-a, as q -+ 1-.
F(t) = fi (l -
.~o (l -
at~") =
tq)
I
.~o
A.t" (2.2.2)
where A. = A.(a, q). We note that the A. exist since the infinite product is
uniformly convergent for fixed a and q inside ltl :s:; 1 - e, and therefore it
defines a function oft analytic inside ltl < l.
Now
n= 1 tq
")
1
(1 - atq•+
oo )
= (l -at) 0- - - - = (1 - at)F(tq). (2.2.3)
.~o (l - tq•+ 1 )
or
(2.2.4)
(a).
= (q)•.
Substituting this value for A. into (2.2.2), we obtain the theorem. •
Euler found the two following special cases of Theorem 2.1. Each of these
identities is directly related to partitions in Example 17 at the end of this
chapter.
2.2 Elementary Series-Product Identities 19
00 t"
1 + n~1 -,-(1---q-:-)-,-,(1-----,q2:-:--).-.-.(,..,--1---q~") (2.2.5)
oo t•qt•(n- 1)
x
I 1 <1 - q 1 - q 2> ' ' ' - q ">
1 + nc
0
n
ao
= n=O (1 + tq"). (2.2.6)
COROLLARY 2.3 (Heine). For iqi < 1, ltl < 1, lbl < 1
oo (l - a)(l - aq)· · ·(1 - aq"- 1 )(1 - b)(1 - bq)· · ·(l - bq"- 1 )t"
+ .~ 1
1
(1 - q)(1 - q 2 )· • ·(l - q")(1 - c)(l - cq)· · ·(l- cq"- 1)
= fi (1 - bqm)(1 - atq'")
rn=O (l - cq'")(1 - tq'")
oo (1 - c/b)(1 - cqfb)· · ·(1 - cq"- 1 /b) x
X 1+I.;__-'--'-'-------':.:......C.--'---~-'--'---
{ n=1 (l- q)(1 - q 2)•' ·(1 - q"- 1) X
Proof.
I (a).(b).t" = (b) 00 I
(a).t" . (cq") 00
n=O (q).(c). (c) 00 n=O (q). (bq")oo
= (b) 00 f
(cjb)mb'" (atq'")oo
(c)oo rn=O · (q)m (tq'")oo
I
= (b) 00 (at) 00 (cjb),.(t)mb'".
(c)oo(t)oo rn=O (q),.(at),. •
20 lnfinile Series Generating Functions Chap. 2.2
1
+ f (I-: a)(l_~ aq)· ~·(I:- {ur )(1 :-=.~1)(1-:-: ~q)~·(l- !!_~"-_ )(cfabJ
1 1
= fi (I ~ cqmfa)(! - cqm/b)_
m=O (I - cqm)(l - cqm/ab)
I ({l),.(b).(c/ab)" = (b)x(c/b) 00 I
(cfab).~~
n=O (q),.(c). (c) 00 (c/ab) 00 n=O (q).
(b)"(c/b) 00 • (c/a).o
(c),.(c/ab) 00 (b)"
(c/a)"(c/b) 00
(C) 00 (c/a6):;. •
CoROLLARY 2.5 (Bailey). If II/I < min( I, lbl), then
l + f •!
(I - a)(l - aq) .. I - {!{r I )(I :- ~)(I -: bq) .. ~ ~q·~~)(-: qf!JX ·(!
n=l ( I - q)(l- q 2)· ··(I- q")(l- aqfb)(l- aq 2/b)· ··(I- aq"/b)
n (l- zqm)-
00
= 1
• (2.2.8)
m=O
2.2 Elementary Series-Product Identities 21
(2.2.9)
Remark. Equation (2.2.8) is due to Cauchy, and Eq. (2.2.9) is due to Euler.
1
+ I (a. - l )(a. - q) · · · (a. - q"- 1)(/1 - 1)(/1 - q) . .. ({1 _ q"- • )z"
n= 1 (q).(z).
(za.) 00 (zf1)oo
= (Z) 00
(za.f1)oo '
and if we set a.
COROLLARY 2.7. If
= f1 = 0 in
iqi
this identity, we obtain (2.2.8).
< I,
•
~ (I - a)(l - aq)·. ·(l- aq•-•)q_ •<•+__
nt2 = noo (l- aq2m-1)(l +q"').
l + n=l
L....
(l-q)(l-q 2)···(l-q") m=l
The next result, Jacobi's triple product identity, may be viewed as a corollary
of Corollary 2.2; however, it is so important that we label it a theorem.
= n <•-
00 00
n (l + zq2•+ I)=
oo
n=O
oo
I
m=O
z q
mml
(q 2 ; q 2 ).,
(by (2.2.6))
l
= 2 2 I
00
z"'q"',(q2"'+2;q2)oo
(q ; q )oo m=O
l
= 22 I
00
z"'q"',(q2m+ 2; q2)oo
(q ; q )oo m=- oo
00
I q<m+r)> 2 m+r
m=-oo
This is the desired result. Note that absolute convergence pertains everywhere
only so long as lzl > lql, lql < I. However, the full result of the theorem
follows either by invoking analytic continuation, or by observing that the
entire argument may be carried out again with z- 1 replacing z. •
I (-
00
1)"q(2k+l)n(n+l)/2-in
n=- oo
00
00 00
=I(- J)"q(2k+l)n(n+l)/2-in +I(- 1)"q(2k+l)n(n-l)/2+in
n=O
oo -oo
=I(- 1)"q(2k+l)n(n+l)/2-in + I(- 1)"q(2k+l)n(n+l)/2-in
n=O n=-1
n=l
f (- l)"q"l = m=t(1+q)
n=-oo
fi (1 - q:) ' (2.2.12)
I
00
q•(o+l)/2 = n
00 (1
- 2q2"')1 . (2.2.13)
n=O m=t(1-q "'- )
I q·<·+
n=O
1)/2 = 1
n=-oo
I q·<·+ 1)/2
So far this section seems filled with much mathematics and little commentary.
•
It has been the hope that the power of Theorem 2.1 and simple series manipula-
tion would be fully appreciated if numerous significant results followed in
rapid-fire order. The reader will have a chance to practice the techniques
involved in the many examples at the end of this chapter.
THEOREM 2.11. Let ~(k, i) denote all those partitions with distinct parts
in which each part is congruent to 0, ± i (modulo 2k + l). Let p.(~(k, i), n)
(resp. Po(~(k, i), n)) denote the number of partitions of n taken from ~(k, i)
with an even (resp. odd) number of parts. Then
24 Infinite Series Generating Functions Chap. 2.3
Proof. The proof is exactly like the proof of Corollary l. 7 done backwards.
Here we read the partition-theoretic result by comparing coefficients on both
sides of (2.2.11 ). •
Proof. We note that the method of proof of (1.2.3) in Theorem l.l may
be extended to show that
n (I + aq
00 00 00
(2.3.1)
into two distinct classes: (I) if I is a part of A., then A.' is a partition of n in
which the largest part is unique, every positive integer smaller than the largest
part appears, and exactly k - I of these parts appear more than once;
(2) if I is not a part of A., then A.' is a partition of n in which the largest part
is repeated, every positive integer smaller than the largest part appears, and
exactly k parts appear more than once.
Consequently
oo oo oo N-1
I I
k=O n=O
Bk(n)akq• = I + I
N=l
aqN n
)=I
(qj + aq 2j + aq 3j + ... )
n
oo N -I
+ I (aq2N + aq3N + .. ·) (qj + aq2j + aq3j + .. ·)
N=l j=l
(by Corollary 2. 7)
00 00
Analytic Proof of Theorem 1.5. If we let Pb,c(a -c) denote the number
of the first type of partition described in Theorem 1.5, then the theorem
asserts that Pb,c(a - c) = Pc,b(a - b). Now
rn a tJ n
n (I + xqi + x 2q 2 + x 3q 3 + ... )
tYJ
I I c~O
I Pb ,(a)xb_(q" = I + n~I
u=O b=O ' I
xy"
j= I
j j
oo xv"
= t + I ·...
n= 1 (xq).
26 Infinite Series Generating Functions Chap. 2.3
Therefore if
00 00 00
then we need only show f(x, y) = f(y, x) to obtain the desired result:
= X I
n=O
~C9-~q_Myql
(q).(xq).
= X _ _j'[~oo --
(xq) 00 (yq)oo n=O
I
~~.(~i[~n'[:
(q).
(by Corollary 2.3)
= X _(q)oo --· I
~,!'q)~~~nl[:
(xq) 00 (yq)oo n=O (q).(O).
Therefore
= l +Ioo yx"q"
(--~)- =f(y,x).
n= I yq n •
As a third example we consider a second refinement of Euler's theorem
(Corollary 1.2) due to N. J. Fine.
Now
00
tq I<- q)jqlti
j=O
(by (2.2.5))
(by (2.2.5))
= tq(q2;q2) 00 I (tq;q2}m(tq2;q2)mq2m
(tq)oo m=O 2 2
(q ; q )m
•
00
= I (t q,. q2)m+l
m=O
Combinatorial Proof of Eq. (2.2.9). To each partition A.= (..1. 1 , . 1. 2 , ••• , A.,)
we may assign a parameter d(A.) as the number of A.1 s~ch that A.1 ;.?; j. Let us
see what d(A.) measures in the graphical representation of A.. Suppose A. =
(124 2 57 2 ), then d(A.) = 4, the graphical representation is
28 Infinite Series Generating Functions Chap. 2
•••••••
•••••••
•••••
••••
••••
••
•
and as we have indicated, d(,l.) measures the largest square of nodes contained
in the partition ..l.. This square is called the Durfee square (after W. P. Durfee),
and d(,l.) is called the side of the Durfee square. It is clear from the graphical
representation that if). 1- n and d(..l.) = s, then the partition). may be uniquely
written as (s•) + ).' + )." where (s•) counts the nodes in the Durfee square,
).' represents the nodes below the Durfee square (and is therefore some
partition all of whose parts are ,;; s), and )." represents the conjugate of
the nodes to the right of the Durfee square and so )." is also some partition
whose parts are ,;; s. In the foregoing example the partition ). = (124 2 57 2 )
is uniquely written as (4 4 ) + (124) + (2 2 3). Since partitions with parts ,;; s
are generated by
I l
(f:::.- q)(l - q 2 )· ··(I - q•) (q).
(Theorem 1.1 ), we see that the set of all partitions with Durfee square of
side s is generated by
2
2 l l q•
q 5 ---· - - = ---2.
(q). (q), (q).
Therefore
l oo oo
•
52
--- =
(q)oo
I p(n)q" = s=O
n=O
I (q)s
_l_LT
Examples
2. I 2
(bh.t " = <- tb) 00 I ~<b>,_c__.
n=o(q 2 ;q 2). (- t)oo m=O (q)m(- tb)m
oo (t; q2).b" (btq; q2)oo oo (t; q2)mbm
.~o -(q~= (bq;q 2 )~-:: m~o(q 2 ;q 2 )m(btq;q 2 )m
3
"
00
(a).(b; q 2).t" (at; q 2)00 (bt; q 2 ) 00 00 (a; q 2)m(b; q 2)m(tq)m
4. I 2 = ------------ I -- ---------- ·
n=O (q).(atb;q ). (t; q 2) (abt; q 2) m=O (q 2 ; q 2)m(bt; q 2)m
00 00
I (- xqfy; q 2)mYm·
m=O
7. The identity used in the proof of Theorem 2.13 is a special case of the
one in Example 4.
where U 2 .+ 1(n) is the number of partitions of n with odd parts and largest
part 2r + I, and where Vs(n) is the number of partitions of n into distinct
parts such that the largest part minus the number of parts equals s.
10. It is possible to prove that
oo • oo ( _
1 )"x2•q•<• + 1l/2
I - x I (xq).-l(xq) = I ---------
•= 1 n=O (xq).
00
s(O, q) = l.
II. Euler's pentagonal number theorem is a corollary of Example 10.
12. Example 10 can be proved in a purely combinatorial manner. The
approach must consider not only what number n is being partitioned, but
also m, the sum of the largest part and the number of parts. The in variance
of m in the transformations of the proof of Theorem 1.6 suffices to treat
the second equation in Example I 0.
In his last letter to G. H. Hardy, Ramanujan considered several families
of functior- which he called "mock-theta functions." Four of the fifth-order
mock-thet Jnctions are
30 Infinite Series Generating Functions Chap. 2
Cf) q•' 00
fo(q) = I ( ·) ,
n=O - q n
tPo(IJ) = I q"'(- q; q 2 ).,
n=O
13.
15. I ____z" 00
I (q; q2),.z2".
n=O (- z)n+ 1 n=O
I
m n
S(T; Ill, II)X £/ =
nh7 (I- x2q2k) "' x2•-•q•<2n-IJ
,, . . I -- ---- .
m;n;.o njot(l-xq 1 ) .. ~t (-xq)2n
Notes
The origin of Theorem 2.1 is uncertain; it has been attributed to Euler
(Hardy, 1940, p. 223). Heine ( 1847) was the first to study systematically this
type of series, and so Theorem 2.1 is often attributed to him; however, Cauchy
proved this result in 1843 (see Cauchy, 1893, p. 45). Corollary 2.2 is truly
due to Euler ( 1748). Corollaries 2.3 and 2.4 arc due to ~leine ( 1847). W. N.
Bailey ( 1941) and J. A. Daum ( 1942) independently discovered Corollary 2.5.
Corollary 2.6 is due to Cauchy (1893). Corollary 2.7 appears to be due to
V. A. Lebesgue ( 1840). Corollary 2.8 is the celebrated Jacobi triple product
identity (Jacobi, 1829); the proof given here was found independently by
References 31
Andrews (1965) and P. K. Menon (1965). Equations (2.2.12) and (2.2.13) are
generally attributed either to Jacobi (1829) or to Gauss (1866). Theorem 2.12
is an extension of Euler's theorem (Corollary 1.2) due to Sylvester (1884-
1886); the proof we give is in essence due to V. Ramamani and K.
Venkatachaliengar (1972; see also Andrews, 1974). Theorem 2.13 is an
unpublished result due to N. J. Fine (1954; see also Andrews, t966b). The
use of Durfee squares has been studied extensively in Andrews (1971 b, 1972a).
The relationship between series and product identities has not been exten-
sively treated in books. Certain elementary problems are broached in Andrews
(197la; see also 1972b). The advanced theory of these series may be found
in Andrews (1974), Bailey (1935), Hahn (1949, 1950), and Slater (1966).
Much of the recent literature is reviewed in Section P60 of LeVeque (1974).
Examples 1-3. Andrews (1966c).
Example 4. Andrews (1966b).
Example 5. Andrews (1966a, c).
Examples 6, 7. Andrews (1966b).
Example 8. This identity is originally due to N. J. Fine (1954), and it
appears in Andrews ( 1966b).
Example 9. Andrews (1966b), Fine (1948).
Example 10. Rogers (1916), Andrews (1966b), Fine (1954).
Example 12. Subbarao (1971), Andrews (1972a).
Examples 13, 14. Watson (1936), Andrews (1966a).
Example 15. Carlitz (1967).
Example 16. Andrews (1974).
Example 18. Andrews ( 1970). In this paper, Sylvestered partitions are
called "flushed" in accordance with Sylvester's original work. Since Sylvester
was one of the all-time champion coiners of new mathematical terms, it
seems appropriate to call flushed partitions "Sylvestered."
Examples 19, 20. Andrews (1970).
References
Andrews, G. E. (1965). "A simple proof of Jacobi's triple product identity," Proc. Amer.
Math. Soc. 16, 333-334.
Andrews, G. E. (1966a). "On hasic hypergeometric series, mock theta functions, and
partitions, 1," Quart. J. Math. Oxford Ser. 17, 64-8C.
Andrews, G. E. ( 1966b). "On basic hypergeometric series, mock theta functions, and
partitions, 11," Quart. J. Math. Oxford Ser. 17, 132-143.
Andrews, G. E. (1966c). "q-ldentities of Auluck, Carlitz and Rogers," Duke Math. J.
33, 575-582.
Andrews, G. E. (1966d). "On generalizations of Euler's partition theorem," Michigan
Math. J. 13, 491-498.
Andrews, G. E. (1970). "On a partition problem of J. J. Sylvester," J. London Math. Soc.
(2) 2, 571-576.
Andrews, G. E. (1971a). Number Theory. Saunders, Philadelphia.
Andrews, G. E. (1971b). "Generalization of the Durfee square," J. London Math. Soc.
(2) 3, 563-570.
Andrews, G. E. ( 1972a). "Two theorems of Gauss and allied identities proved arith-
metically," Pacrfic J. Math. 41, 563-578.
Andrews, G. E. (1972b). "Partition identities," Advances in Math. 9, 10-51.
32 Infinite Series Generating Functions Chap. 2
3.1 Introduction
In Chapters l and 2, we studied various partition problems utilizing infinite
series and infinite products. In the application of partitions (such as in
statistics), we are often interested in restricted partitions, that is, partitions
in which the largest part is, say, :s:; Nand the number of parts is :s:; M. In this
chapter, we shall examine restricted partitions. This undertaking will naturally
lead us to the Gaussian polynomials and from there we shall be led to
questions concerning permutations.
p(N, M, NM) = 1.
(3.2.1)
Note that (3.2.2) and (3.2.3) uniquely define g(N, M; q) for all nonnegative
integers M and N (a fact easily proved by a double mathematical induction
on Nand M).
On the other hand,
{~
if N = M = n = 0,
p(N, 0, n) = p(O, M, n) = (3.2.4)
otherwise,
since the empty partition of 0 is the only partition in which no part is positive
and is also the only partition in which the number of parts is nonpositive.
Equation (3.2.4) means that
Thus since g(N, M; q) and G(N, M; q) satisfy the same initial conditions
((3.2.2) and (3.2.5) resp.) and the same defining recurrence ((3.2.3) and
(3.2.7) resp.), they must be identical. Therefore
•
3.3 Properties of Gaussian Polynomials 35
if 0 :s:; m :s:; n,
otherwise.
Note that
by Theorem 3.1. We shall, however, not make use of this fact in this section.
THEOREM 3.2. Let 0 :s:; m :s:; n be integers. The Gaussian polynomial [;]
is a polynomial of degree m(n - m) in q that satisfies the following relations.
(3.3.1)
(3.3.2)
(3.3.3)
(3.3.4)
(3.3.5)
Proof. Equations (3.3.1) and (3.3.2) are obvious from Definition 3.1. As for
(3.3.3), we see that
(q).-1q"-"'(l - q"')
(q).,(q).- ...
= qn-m()
q n-1 = q•-m
(q).,_ 1 (q).-...
rn-1]
m- l
.
36 Restricted Partitions and Permutations Chap. 3.3
= n n-1-~- -···-----~
n-m+l
m m- l I
=
n! (")
m !( n - m)! = m · •
Many times the Gaussian polynomials arise due to their relationship with
certain finite products.
THEOREM 3.3
(3.3.6)
(z)N- 1
=
00
= I ~. !l/~N_~- (-
j=O (q)iq)N-j
lhjqj(j- I )/2 = I
j=O
r~J
}
(- l)izi qj(j- 1)/2'
which is (3.3.6).
Again by Theorem 2.1,
•
3.3 Properties of Gaussian Polynomials 37
THEOREM 3.4
if m = 2n,
(3.3.8)
if m is odd;
[n+m m+ 1] =
+1 J=O
± ql [m + i]
m
for m, n;.?; 0; (3.3.9)
I ["]k [h-mk]
k=O
q<•-kl(h-k) = [m + "] ;
h
(3.3.10)
I
r?;o
[M- m] [N ++ m] [m M+ +nN+ r]
r m r
q<N-r)(M-r-m) = [m + "] ["].
M N
(3.3.11)
oo oo (- 1)lzm+J
=I I - --
(q)j(q),.
j=O m=O
=I- 1)jzi_z_
J
00 ( 00 "'
"" z2•
(by (2.2.5)).
= I
n=O
<q 2., q2)n
+ +2] = r +
n
m+l+l ] +q" r. + +l ]
n m n
r m+l
nJ +I nJ
m
I ·rm+j]
= n+l ql .
i=O m
= (z)m+n = (z).(zq")m
=I["]
k=O k
zk(- ttl(k-1)/2 I ['~] (-
i=O I
l)iziqni+i(i-1)/2
=I h;.O
zh(- ltl(h-1)/2 I["] r
BO k h - k
In ] q<•-k)(h-k).
(c/a)N(c/b)N
(3.3.12)
(c)N(c(a7J)--;; ·
Equation (3.3.12) was first proved by F. H. Jackson and is called the q-analog
of Saalschutz's theorem; Eq. (3.3.12) reduces to (3.3.11) if we make the sub-
stitutions a= q-M+m, b = qm+n+l, c = qm+l, and then simplify.
To obtain (3.3.12), we must utilize an identity that is easily deduced from
Corollary 2.3.
= (b)""(at)oo_
(c) 00 (t) 00
I
n~o
<tMc:/b).~:
(q).(at).
= ~~)oc(~l)""
(c) 00 (t) 00
. ~~/~)""(bD<Xl
(at) (b)
I
n=O
(a~Y~!.(b).i~/b)"
(q).(bt).
00 00
= ~~~~ooSb!~oo__ I (b).(a_~tfc).(c{~):
(c) 00 (t) 00 n=O (q).(bt).
3.4 Pennutations and Gaussian Multinomial Coefficients 39
= (abtfc)"' I (cfa).(cfb).(abt/c)".
(3.3.13)
(t)oo n=O (q).(c).
Let us multiply the extremes of this string of eqUations by (t) 00 j(abtjc) 00 and
then compare coefficients of tN on each side. Thus
I (a).(b).(cjab)N-• = (cfaMcfb)NaNbNc-N.
(3.3.14)
n=O (q).(c).(q)N-n (qMc)N
Multiplying both sides of (3.3.14) by (q)Na-Nb-NcNj(cfab)N and simplifying,
we obtain (3.3.12). •
[
m1 + m2 + ··· + m,] (q).,,+m,+ ... +m,
(3.4.1)
m 1 , m 2 , •• •, m, = (q).,,(q).,, · · ·(q).,,.
Note that
is the generating function for p(m 1 , m 2 , n), the number of partitions of n with
at most m 2 parts, each ~ m 1 •
We shall now consider a different type of mathematical object with the
same enumerative function p(m 1 , m 2 , n).
mI =II
~
-l -r
m2 =7
---
~
•
We follow the path indicated by the dots, starting with the upper right node
and moving to the left ami downward: if the path moves vertically, we write
a 2 and if horiwntally we write a I. Hence the ~cqucncc corresponding to
this graph is I I I 2 I I 2 2 I I I I I 2 2 I 2 2.
Notice that the number of l's to the right of the first 2 tells us the largest
part of our partition; the number of l's to the right of our second 2 tells us
the second part of our partition. and in general the number of l's to the right
oft he ith 2 tells us the ith part of our partition. Clearly the above relationship
between partitions and permutations establishes a bijection between the
permutations of {1"'•2'"'} with 11 inversions and the partitions of 11 with at
most 111 2 parts, each ,::: 111 1• Hence, inv(m 1 , II' 11) = p(m 1 , 111 2 , 11). •
3.4 Permutations and Gaussian Multinomial Coefficients 41
Theorem 3.5, together with Theorem 3.1, yields the special case in which
r = 2 of the foil owing general result:
THEOREM 3.6. For r ;.?; l,
(3.4.2)
(3.4.3)
00 00
m 1 + ···+m,.-1
L X(~,)= n
i::::::t
where x(~ 1 ) = i if~~> ~~+ 1 and x(~ 1) = 0 otherwise. The sum L7; ~ ···+m,-l x(~;)
is called the greater Index of the permutation.
(3.4.4)
(3.4.6)
where Ea 1 + Eb 1 + · · · + Ex 1 = N.
Now we. define a one-to-one correspondence between such arrays and
ordered pairs (1t, u) where 0' is a permutation of {l m,2m1. · · r"'•} and 1t is a
partition with exactly m 1 + m 2 + · · · + m, nonnegative parts. For convenience
we let M = m 1 + m 2 + · · · + m,.
The correspondence is constructed thus: we take the partition 1t: A 1 +
A 2 + · · · + AM and write directly below it the permutation 0' = ~ 1 ~ 2 • • • ~M:
5 3 2 2 0
5 3 3' 3' 2 2 2' l, 0
3' 3' 2' l' --+ --+ 5 3 3, 3, 2 2 2' 2" l, l" 1" 0.
2" 1" l"
2" l" l"
44 Restricted Part it ions and Permutations Chap. 3.4
533322221110 5 3 2 2 0
112211232331 3 3 2 1
2
as desired.
To prove that we have a partition n =(A 1 A2 ···AM) with strict inequality
at the appropriate terms (specified by the falls in the permutation u =
~~~ 2 · · ·~M), we start with an arbitrary partition
and we define
( 3.4. 7)
But I ..
qg = Ln?oo ind(111 1 , m 2 , .. ., m,; n)q", and so (3.4.5) is established, as
desired. •
Array (3.4.6)
(:) no a
0 0 0 3 0 0 0 0 2 0 0 0 0 2 1 2
3 0 2 2
3 0 0 3 0 0 0 0 3 0 0 0 0 2 2
0 0 2 2
2 0 2 0 0 0 2 1 0 0 0 2 2
0 0 2 2
3.5 The Unimodal Property 4S
2 0 0 2 0 0 0 l 0 0 0 0 2 l 2
0 2 2
0 0 2 0 0 0 l 0 0 0 2 l l 2
2 0 2 2
0 0 0 2 0 0 0 l 0 0 0 0 2 2 l
2 2 2
0 0 l 0 0 2 2
0 0 2 2
0 0 0 0 0 0 0 0 2 l 2
0 2 2
0 0 0 0 0 0 0 0 0 2 2 l
2 2
COROLLARY 3.8
00
= L ind(mi> m
.;o
2 , •• • , m,; n)q",
The subject matter of this section has been greatly extended by D. Foata
•
and R. P. Stanley. We note in passing that Foata has provided a purely
combinatorial proof of Corollary 3.8.
THEOREM 3.9. Let p(q) and r(q) be reciprocal, 1111imodal polynomials with
nonnegative coefficients; then p(q)r(q) is also a reciprocal, unimodal
polynomial with nonnegative coefficients.
where
00
c; = L
j:;:;- 00
ajbi-J (3.5.1)
q•+ms(q-1) = q"p(q-l)qmr(q-1)
= p(q)r(q) = s(q),
2(cj- cj-d = L
i:;:;-oo
a;bj-i + L
j:;:;-oo
a•-i+lbj-n+i-l
"~ 00
- L i= -(f)
a;-lbj-i- L
i=-oo
a.-;bj-n+i-l
00 ~
L (a; -
i=- 00
a;_ .)bj-; + L
j:;:;- 00
bi-n+ i- 1(a._ i+ 1 - a._;)
00
= L
i= -ex;
(a;- ll;-d(bj-i- bj-n+i-d
n+l
= L (a; -
i=O
a;- d(bi-;- bj-n+ ;-.)
~(•+ l)
L
i=O
(a;- U;-d(bj-i- bj-n+i-d
f(n+ l)
+ L
;~o
(a.~ 1 -;-a.-;)(bj-n-l+i-bj-;)
3.5 The Unimodal Property 41
Hence
•12
c1 - c1 _ 1 = L (a 1 - a 1_ 1 )(b1 _ 1 - bJ-•+ 1- 1 ). (3.5.2)
i=O
Since 0 :s:; i :s:; n/2, we see that a1 - a 1_ 1 ~ 0. If j - i :s:; mj2, then since
n + 1 > 2i, we see that m/2 ~ j - i > j - n + i - 1; hence b1 _ 1 -
bJ-•+I-I ~ 0 in this case. If j - i > m/2, then for 0 :s:; j :s:; (m + n)/2, we
see that m + n + 1 > 2j, and so m/2 > m - j + i > j - n + i - 1;
therefore in this second case b1 _ 1 - bJ-•+I-I = bm-J+I- bJ-•+I-I ~ 0.
Hence, in any case, both factors of each term on the right-hand side of
(3.5.2) are nonnegative provided that 0 :s:; j :s:; (m + n)/2. Therefore, since
s(q) is reciprocal, we see that it is also unimodal. •
THEOREM 3.10. For all N, M, n ~ 0
I
n=o
p(N, M, n)q" = G(N, M; q) = [N M+ M] = (qMq)M
(q)N+M .
is symmetric in N and M.
The degree of G(N, M; q) is just
and
qNMG(N, M; q-1)
(1 _ q-1)(1 _ q-2),. ·(1 _..:. q-N-M)
_ NM----------~--~~--~~--~--~--~---------
- q (1 - q-1)(1 - q-2), • ·(1 - q-N)(1 - q-1)(1- q2), • ·(1- q-M)
48 Restricted Partitions and Permutations Chap. 3.5
(3.5.6)
(3.5.7)
(3.5.8)
we see that
m +"·+m]
[ ~, •... , m, r
m1 + m 2 +···+ m,]
r m 1 , m 2 , .. . , 1nr
is just
L Hm+n(t)ymz• = (tyz) 00
m,n;lo 0 (q)m( q). (Y) 00 (Z) 00 (ty)oo(tz) 00
9. From Example 8, we may deduce that
I H.(t)H.(s)x" =
2
(stx ) 00
n=O (q). (X) 00 (tX) 00 (SX) 00 (tsX) 00
10. Let [x] denote the greatest integer function, then we may prove
I ql'+aj n+1-a-j]
[
. = I"' (_ 1fqth(Sh+ l)-2ah [ n+1 ]
J;l>O J h=-oo [!(n+1-5h)+a]
(where a = 0 or 1), by showing that the assertion is true for n = 0 and 1
and that each side satisfies the recurrence/.= f.- 1 + q"f.- 2 •
11. The Rogers-Ramanujan identities may be deduced from Example 10,
namely, for a = 0 or 1,
qP+~ 1
1~0 (q)J = }Jo (1 _ qSJ+a+ 1)(1 _ qSJ+4-a)
1] D.-1-j •
D2.= I•
j=O
ql• [" +.
}
and D. = 1 + I
j=l
qjDj-2•
13. Let the "kth excess" of the partition A.= (..1. 1..1. 2 • ··A.,) denote ..1. 1 - A.k+ 1.
The generating function for partitions with j parts whose first excess is at
most i is
14. Example l3 may be extended to show that for any k ~ j, the generating
function for partitions with kth excess at most i is
H.(x 1 , . . •, xJ = L
j,, ... ,j,";>O
. . .
[}I,}2,···•Js,n
n
-}I
. -···-Js
. ] x/•· · ·x/•.
The related generating function is
f H.(x 1 ,. • • , x.)t" =
n=O (q). (t) 00 (tx 1)..,: . . (tx.) 00
18. A protruded partition of n is a decreasing sequence of positive integers
• • • ~ A., > 0, together with a sequence of nonnegative integers
. 1. 1 ~ . 1. 2 ~
satisfying 0 :s:; p 1 :s:; A.i for 1 :s:; i :s:; r, such that 2'(..1. 1 + p 1) = n. (The p 1 are
the protrusions of the ordinary partition (..1. 1 . 1. 2 ···A.,). The product
Um = n (l _
m
ql _ qi+ I _ ... _ q21)-l
j=l
is the generating function for the protruded partitions with each . 1. 1 :s:; m.
19. From (3.3.13) (with a= x-t, b = x-t, c = q 2 f(1 - q), t replaced
by xzq 2 /(1 - q)) it follows when x -+ 0 that
q•<•+ llz•
. L -------------------
oo
2
.
•=o(1- q)(l- q )· · ·(1- q")(l- q- q 2)· · ·(1- q- qn+ 1
)
Notes
References
4.1 Introduction
T!JEOREM 4.1
c(m, 11) = (
II- I) =
(11- I)!
m- 1 (m- l)!(11- m)!
First proof of Theorem 4.1. The argument used to prove Theorem l.l
may be easily adapted to show that
00
m -
r
I) q' (by the binomial series)
(4.2.1)
54
4.2 Composition of Numben 55
0
• •
2
)(
3
•
4 5
• •
6 7 8
)(
9
.
10 I
~
1)1 .
c(m, n) = ( mn-_
•
DEFINITION 4.2. We let c(N, M, n) denote the number of compositions of
n with exactly M parts, each ~ N.
Proof. Following the argument in the first proof of Theorem 3.1, we see
directly that
fl.u(ll) ~
1(II- I)
111! ,\1- I
flM(II);;:,
I
!If! c(Af, II)=
I (II-
M! /11- I .
I) (4.2.4)
On the other hand. if lf.~t(ll) denotes the number of partitions of 11 with /11
parts all distinct, then
(4.2.5)
I
~
111
! c(/\1, '' + ~M(/\1- I))
= I ("+~M(/11-1)-1)· (4.2.6)
J\1! M-
4.3 Vector Compositions 57
1 ~
PM(n)
------ ~
(n + !M(M- 1)- l)!(n- M)!
·---
"" _1 ( n - 1) "" (n -1)!(n + !M(M- 3))!
M! M-1
= (1 + !M(~- 1))M-t
Thus P =(2, 1, 1; 2) = 5, since there are five partitions of (2, 1, l) into two
parts: (2, 1, 0)(0, 0, 1), (2, 0, 1)(0, 1, 0), (2, 0, 0)(0, 1, 1), (1, 1, 0)(1, 0, 1),
(l, 1, 1)(1, 0 0); c(2, 1, 1; 2) = 10 since each of the five partitions produces
two comp, .ons.
58 Compositions and Simon Newcomb's Prot· Chap. 4.3
DEFINITION 4.6. We let P(a:., ... , a:,) (respectively c(a: 1, •.. , a:,)) denote the
total number of partitions (respectively compositions) of (a: 1 , a: 2 , .•• , a:,).
For later convenience we define c(O, 0, ... , O) = ~-
Notethat Im~ 1 P =(a:., ... ,a:,; m) = P(a: 1, . .. , a:,), and Im~ 1 c(e< 1 , .•. , a:,; m) =
c(a:., ... 'a:,).
THEOREM 4.4
I>-
a:., ... ,a:,....-0
c(a: 1, .•. , a:,)r.·,--- r:· ;r<i=-1)~<1.=-})-:-:-:-(-i-=t) _ 2 .
=
I 2 r
(4.3.1)
( " • ")m
= L. (t''"(,r
CZ(, •.• ,a:,.~O
not all zero
(4.3.2)
Hence
00
=!+I
m=l a:,, ... ,a:,.~O
not all zero
l
= 2cr=-i~Xr=r;r:--:-11 - r,)- 1·
as desired.
Now Eq. (4.3.2) provides a means for obtaining a reasonably simple formula
•
for c(a: 1 , .•• , a:,; m).
4.4 Simon Newcomb's Probleln 59
c(tX 1 , • .. , IX,; m)
m
=I (-
1=0
1)1 (7)e· + miX~ i - 1)
x (IXl + m
IX2
- i- 1) ... (IX, + m a~ i - 1) . (4.3.3)
Proof. By Eq. (4.3.2) (assuming c(O, ... , 0; m) = 0)
"(~
L.. L_.(-
a: ••... ,a:,.~O i=O
l) (m)(IX +m-i-1)
.
l
1
r:J. 1
. ..
• • •
(
IXr + 111IX,- i - 1)) tt"•·. ·t:•. (4.3.4)
Comparing coefficients oft 1"'t 2 " 2 • • • r:· in the extremes of (4.3.4), we obtain
the desired result. •
c( 2• 1• 1; 2) = G) G) G) - G) G) C) C) + G) C) C)
= 3·2·2- 2·1·1·1 + 0·0·0 = 10.
The problem we shall treat now is one that P. A. MacMahon solved neatly
and completely in 1907. The problem and its history were succinctly described
by MacMahon in Combinatory Analysis, Vol. 1 (1915, p. 187):
DEFINITION 4.7. Let N(m 1 , m 2 , ... , m,; n) denote the number of permuta-
tions of {I m,2m' · · · rm'} with exactly n runs (a run in the permutation
~ 1 ~ 2 · • ·~,.., + ···+m, is a maximal subsequence of the form ~i ~ ~i+ 1 ~ ~i+ 2 ~
... ~ ~j-1 ~ ~).
a,. -
_"-I (/' -
I j) .+
II
b.-j for all 11 ~ I; (4.4.1)
j= () 1
bn =I (r - n. + j) (- .
n- I
l)'an-j for all n ~ l. (4.4.2)
j= 0 1
Proof. We begin by observing that we need only show that (4.4.2) always
implies (4.4.1 ), since once this assertion is established the reverse implication
follows by considering b.' = (- I )"b. and a; = (- I )"a •.
Now assuming (4.4.2), we see that
n-l(r-n+j)
I . ·=·-•(r-n+j)n-j-I(r-n+j+k)
I . I h._,
_ k <
k
t)a.-j-k
j=O } j=O } k=O
j.k;> 0
="fa._ I
h=O
h
j+k=h
(r - ~ + j) (r - + h) (-
}
11
k
lt
j,k;>O
-I
_ n-1
a.-h<- oI h n (ll - r- l) (r- n +. h)
h=O j=O h -}
4.4 Simon Newcomb's Problem 61
as desired.
•
LEMMA 4.7
c(rx 1 , rx 2 , • •• , rx,; n) =
n
L-I (IX 1 +rx 2 +···+rx
j '
-n+j)
N(rx 1 , ••• , rx,; n - j).
j=O
(4.4.3)
First we see that c(rx., . .. , rx,; n) enumerates the number of ways that rx 1
balls labeled l, rx 2 balls labeled 2, ... , rx, balls labeled r may be distributed
among n labeled boxes so that no box is empty. To see this we note that the
composition
of (rx 1 , . . . , rx,) corresponds to the distribution that places exactly {3/ 1> balls
labeled i in the jth box.
A very similar interpretation can be given to N(rx 1 , •• . , rx,; n). Indeed the
jth run in a permutation may be viewed as specifying the elements to be
placed in the jth box. It is important to note that the function N(rx 1 , . .• , rx,; n)
does not enumerate all possible distributions (as does c(rx., ... , rx,; n)), but
only those for which the smallest element in each box is strictly smaller than
the largest element in the preceding box. Therefore to each permutation
enumerated by N(rx 1 , ••• , rx,; n - j) we may associate a unique set of distribu-
tions enumerated by c(rx 1 , .•. , rx,; n) as follows: First place a vertical line
between each of the n - j runs in the given permutation. There are now
r:J. 1 + rx 2 + · · · + rx, - (n - j - l) - l pairs ~i~i+ 1 that have no vertical bar
between them; place a vertical bar between j of these pairs and we have a
distribution of rx 1 ones, rx 2 twos, and so on, into n labeled nonempty boxes.
Since the final set of j vertical bars may be placed in
62 Compositions and Simon Newcomb's Prol Chap. 4.4
as desired.
I)' I s
n- I (cx + · · · + cx - n + j)
=,.~0(-
7: l)j I j r c ( C(l' . . . ' ~"•
N n - j")
=
n-1
I (- I)'
·(cxl+···+cx-n+j)n-j
.r I (- l)'
·(n-j)
.
j=O ./ i=O I
(4.4.5)
Now
= (_ l)s I (" - ~ - l) (s - n -j l)
j=O } S -
Examples 63
(4.4.6)
ck(m, n) -
_(n - (k - 1)m - 1) .
m- 1
5. Examples 2 and 4 imply that
I
n - (k - l)m - 1) -tFn-J•
_
m~l
( m- 1
X (IX2 + h3 + ··· +
IX2
h,)·. ·(IXr-1 + h,) •
IX,_ 1
IX; + j )
+ · · •+IX,- k •
9. If the polynomial
2a,-l n {xlx2· ..
i= 2
Xi-1 +(I+ x;)(l + X2)·· ·(l + X;-1)}"•
( IX·
I+ I +· .~i+ IX
r
- k)'
the result is c(1X 1, ... , IX,).
The foregoing assertion is merely that
We prove this throu&h the expansion of each factor by the binomial theorem
and then invoking Example 8 to reduce the identity to Example 7.
10. By expanding (I + x 1)j through the binomial theorem, we may deduce
the Chu-Vandermonde (Eq. (3.3.1 0) when q = l) summation from Example 8.
t (j) (
s= 0 S IX;+ I + •· . +
IX;
IX, - k -
)
S
= (
IX;+ I
IX;
+ . •. +
+j
IX, - k
) .
II. The case of q = l of Eq. (3.3.11) can be deduced easily through the
use of Long operators. We write the desired result equivalently as
L
,;.o
(m)r (mn -+ rJl) (mll ++ vn ++ r)v = ( 11
Jl.
+
+ m
v) (nv) .
If we consider linear operators L 1 and L 2 , defined by
L 1(x') = ( n ) , Jl. +v )
n- r Liy') = ( m + n + Jl. - s '
L 1(x'(l + x)') = (
n + t) and Liy'(l + y)") =
p+v+u)
( m+n+p-s .
n- r
From here it follows that
= I
1 ~o j
(m) (
m
Jl + v
+ n + Jl- j
) (" + Jl + m
n - j
- j)
= ( u
Jl
+ v) (m)j (v - m)j
I
+ m 1~0 n -
r ++ mv) (nv)
-- (: (by Example 10).
Notes
References
Carlitz, L. (1960). "Eulerian numbers and polynomials of higher order," Duke Math. J.
27, 401-424.
Carlitz, L. (1964). "Extended Bernoulli and Eulerian numbers," Duke Math. J. 31,
667-690.
Carlitz, L. (1972a). "Enumeration of sequences by rises and falls: A refinement of the
Simon Newcomb problem," Duke Math. J. 39, 267-280.
Carlitz, L. (1972b). "Sequences, paths, and ballot numbers," Fibonacci Quart. 10, 531-
549.
Carlitz, L. (1972c). "Eulerian numbers and operators," The Theory of Arithmetic Func-
tions (A. A. Gioia and D. L. Goldsmith, eds.) (Lecture Notes in Math. No. 251).
Springer, New York.
Carlitz, L. (1973a). "Enumeration of a special class of permutations by rises," Pub/.
Elek. Fak. Unlv. Beogradu 451, 189-196.
Carlitz, L. (1973b). "Enumeration of up--down permutations by number of rises,"
Padfk J. Math. 45, 49-58.
Carlitz, L. (1973c). "Enumeration of up--down sequences," Discrete Math. 4, 273-286.
Carlitz, L. (1973d). "Permutations with prescribed pattern," Math. Nachr. 58, 31-53.
Carlitz, L. (1974a). "Permutations and sequences," Advances In Math. 14, 92-120.
Carlitz, L. (1974b). "Up-down and down-up partitions," Proc. Eulerian Series and
Applications Con/. Pennsylvania State Univ.
Carlitz, L., and Riordan, J. (1955). "The number of labeled two-terminal series-parallel
networks," Duke Math. J. 23, 435-446.
Carlitz, L., and Riordan, J. (1971). "Enumeration of some two-line arrays by extent,"
J. Combinatorial Theory 10, 271-283.
Carlitz, L., and Scoville, R. (1972). "Up--down sequences," Duke Math. J. 39, 583-598.
Carlitz, L., and Scoville, R. (1973). "Enumeration of rises and falls by position," D1"screte
Math. 5, 45-59.
Carlitz, L., and Scoville, R. (1974). "Generalized Eulerian numb.ers: Combinatorial
applications," J. Reine Angew. Math. 265, 110-137.
Carlitz, L., and Scoville, R. (1975). "Enumeration of up-down permutations by upper
records," Arch. Math. (Basel)
Carlitz, L., Roselle, D., and Scoville, R. (1966). "Permutations· and sequences with
repetitions by number of increases," J. Combinatorial Theory 1, 350--374.
Cayley, A. (1876). "Theorems in trigonometry and on partitions," Coli. Math. Papers
of A. Cayley 10, 16.
Dillon, J. F., and Roselle, D. (1968). "Eulerian numbers of higher order," Duke Math. J.
35, 247-256.
Dillon, J. F., and Roselle, D. (1969). "Simon Newcomb's problem," SIAM J. Appl.
Math. 17, 1086-1093.
Erdos, P., and Lehner, J. (1941 ). "The distribution of the number of summands in the
partitions of a positive integer," Duke Math. J. 8, 335-345.
Foata, D. (1965). "Etude algebrique de certains problemes d'analyse combinatoire et
du calcul des probabilites, " Pub/. lnst. Statist. Unlv. Paris 14, 81-241.
Foata, D., and Riordan, J. (1974). "Mappings of acyclic and parking functions,"
Aequatlones Math. 10, 10--22.
Foata, D., and Schutzenberger, M.-P. (1970). Theorle geometrique des polynomes
eulerlens, (Lecture Notes in Math. No. 138). Springer, New York.
Foata, D., and Schiitzenberger, M.-P. (1973). "Nombres d'Euler et permutations
alternantes," A Survey of Combinatorial Theory (J. N. Srivastava et al., eds.), pp.
173-187. North-Holland, Amsterdam.
Referer 67
Foata, D., and Strehl, V. (1974). "Rearrangements of the symmetric group and enu-
merative properties of the tangent and secant numbers," Math. Z. 137, 257-264.
Foulkes, H. 0. (1975). "Enumeration of permutations with prescribed up-down and
inversion sequence," Discrete Math. 9, 365-374.
Fray, R. D., and Roselle, D. (1971). "Weighted lattice paths," Pacific J. Math. 37,
85-96.
Gupta, H. (1942). "On an asymptotic formula in partitions," Proc. Indian Acad. Sci.
At6, 101-102.
Gupta, H. (1955). "Partitions in general," Res. Bull. Panjab Univ. 67, 31-38.
Gupta, H. (1970). "Partitions-a survey," J. Res. Nat. Bur. Standards 748, 1-29.
Kreweras, G. (1965). "Sur une classe de probl~mes de denombrement lies au treillis des
partitions des entiers," Cahiers du B. U.R.O. No. 6.
Kreweras, G. (1966). "Denombrements de chemins minimaux il sauts imposes," C. R.
Acad. Sci. Paris 263, 1-3.
Kreweras, G. (1967). "Traitement simultane du 'Probl~me de Young' et du 'Probl~me de
Simon Newcomb'," Cahiers du B.U.R.O. No. 10.
Kreweras, G. (1969a). "Inversion des polynames de Bell bidimensionnels et application
au denombrement des relations binaires connexes," C. R. Acad. Sci. Paris 268,
577-579.
Kreweras, G. (1969b). "Denombrement systematique de relations binaires extemes,"
Math. Sci. Humaines 7, 5-15.
Kreweras, G. (1970). "Surles eventails de segments," Cahiers du B.U.R.O., No. 15.
LeVeque, W. J. (1974). Reviews in Number Theory, Vol. 4. A mer. Math. Soc., Providence,
R.I.
Long, C. (1970). "On a problem in partial difference equations," Canadian Math. Bull.
13, 333-335.
MacMahon, P. A. (1894). "Memoir on the theory of the compositions of numbers,"
Philos. Trans. Roy. Soc. London A184, 835-901.
MacMahon, P. A. (1908). "Second memoir on the composition of numbers," Philos.
Trans. Roy. Soc. London A207, 65-134.
MacMahon, P. A. (1915). Combinatory Analysis, Vol. I. Cambridge Univ. Press, London
and New York (reprinted by Chelsea, New York, 1960).
Roselle, D. (1969). "Permutations by number of rises and successions," Proc. Amer.
Math. Soc. 19,8-16.
Stanley, R. P. (1972). "Ordered structures and partitions," Mem. Amer. Math. Soc. 119.
Star, Z. (1976). "An asymptotic formula in the theory of compositions," Aequationes
Math.
CHAPTER 5
The Hardy-Ramanujan-Rademacher
Expansion of p(n)
5.1 Introduction
I must say something finally of the paper on partitions ... written jointly
with Hardy. The number p(n) of the partitions of n increases rapidly with n,
thus:
p(200) = 3972999029388.
(1)
where Aq(n) = Iwp,qe-lnp•ifq, the sum being over p's prime to q and less than
it, wp,q is a certain 24qtli root of unity, vis of the order of and /n,
C = nJf.
68
5.1 Introduction 69
take v = a.Jn a
(or rather its integral part), where is any positive constant
we please, provided n exceeds a value n0 (a) depending only on a.
The reader does not need to be told that this is a very astonishing theorem,
and he will readily believe that the methods by which it was established
involve a new and important principle, which has been found very fruitful
in other fields. The story of the theorem is a romantic one. (To do it justice
I must infringe a little the rules about collaboration. I therefore add that
Prof. Hardy confirms and permits my statements of bare fact.) One of
Ramanujan's Indian conjectures was that the first term of (1) was a very
good approximation to p(n); this was established without great difficulty.
At this stage the n - (1/24) was represented by a plain n- the distinction
is irrelevant. From this point the real attack begins. The next step in develop-
ment, not a very great one, was to treat (1) as an "asymptotic" series, of
which a fixed number of terms (e.g. v = 4) were to be taken, the error being
of the order of the next term. But from now to the very end Ramanujan
always insisted that much more was true than had been established: "there
must be a formula with error 0(1)." This was his most important contribu-
tion; it was both absolutely essential and most extraordinary. A severe
numerical test was now made, which elicited the astonishing facts about p(100)
and p(200). Then v was made a function of n; this was a very great step, and
involved new and deep function-theory methods that Ramanujan obviously
could not have discovered by himself. The complete theorem thus emerged.
But the solution of the final difficulty was probably impossible without one
more contribution from Ramanujan, this time a perfectly characteristic one.
As if its analytical difficulties were not enough, the theorem was entrenched
also behind almost impregnable defences of a purely formal kind. The form
of the function 1/Jq(n) is a kind of indivisible unit; among many asymptot-
ically equivalent forms it is essential to select exactly the right one. Unless
this is done at the outset, and the - 1/24 (to say nothing of the dfdn) is an
extraordinary stroke of formal genius, the complete result can never come
into the picture at all. There is, indeed, a touch of real mystery. If only we
knew there was a formula with error 0(1), we might be forced, by slow stages,
to the correct form of 1/Jq. But why was Ramanujan so certain there was one?
Theoretical insight, to be the explanation, had to be of an order hardly to
be credited. Yet it is hard to see what numerical instances could have been
available to suggest so strong a result. And unless the form of 1/J q was known
already, no numerical evidence could suggest anything of the kind- there
seems no escape, at least, from the conclusion that the discovery of the correct
form was a single stroke of insight. We owe the theorem to a singularly
happy collaboration of two men, of quite unlike gifts, in which each contrib-
uted the best, most characteristic, and most fortunate work that was in him.
Ramanujan's genius did have this one opportunity worthy of it.
The formula that we shall prove is in the final form obtained by Rademacher:
THEOREM 5.1
where
Ak(n) = L wh,ke-2•i•h!k
hmodl:
(h,k)= I
This unbelievable identity wherein the left-hand side is the humble arithmetic
function p(n) and the right-hand side is an infinite series involving rr, square
roots, complex roots of unity, and derivatives of hyperbolic functions provides
not only a theoretical formula for p(n) but also a formula which admits
relatively rapid computation.
For example, p(200) = 3972999029388, while if we compute the first eight
terms of the series in (I) we find that the result is
+ 3,972,998,993,185.896
+ 36,282.978
- 87.555
+ 5.147
+ 1.424
+ 0.071
+ 0.000
+ 0.043
3,972,999,029,388.004
which is the correct value of p(n) within 0.004. It is a simple matter to determine
explicitly the error when the infinite series is truncated, so we can determine
with certainty values of p(n) directly from (5.1.1). For small values of n we
can, of course, obtain p(n) via the recurrence given in Corollary 1.8.
Furthermore it is a simple matter to show that each term of the infinite
series in (5.1.1) is O(exp[rr(2n) 112 /kJ3]). Consequently the term k = I
provides an asymptotic formula for p(n), and if we note that A 1(n) = I, we
see without much trouble that as n --> oo
(5.1.2)
m=t
•
( ) (2 . )
n exp 1tl/lt
P(q) (5.2.1)
n~O n= 1
then
P(exp(2rri(h + iz)/k))
p(n) = ~ J~~~2 dx
21r1 x•+l
(5.2.7)
c
where, say, C is a circle centered on the origin and inside the unit circle:
lxl= l. How can we evaluate this integral? By examining the generating
1'
function P(x) =
n:=l 1n:= I (I - x")- we see that each partial product
(I - x")- has a pole of order Nat X= l, a pole of order [N/2] at
x = - I, poles of order [N/3] at x = exp(2rri/3) and exp(4rri/3), and so on.
Furthermore, we note that (5.2.2) gives us extremely good information on the
behavior of P(x) near exp(2rrih/k), namely, as z--> 0 (Re z > 0):
l· (5.2.8)
Fs = {0, !, !. !, ~. ~. !. §, f, !. I}.
Seeing the Farey fractions arise in this natural manner, we surmise that we
should divide our circle C of radius p into segments so that each segment
is in some sense "centered" on the successive rational points pe 2 •ihft where
h/k E F N· We must now rely on the elementary properties ofF N to suggest
the optimal choice of intervals. As is well known (and easily proved), if h/ k
and htfk 1 are successive terms in FN, then - ~ rational number with least
5.2 The Formula for p(n) 73
.. hi+ h h
(Jh t = - - - -. (5.2.9)
. k, + h k
Then clearly
J,
(h,k); I
O~h<l:
T[r
-Bh,k
•
P oxp (>~h + 2rri~ )] oxp (-
2 "~"h - '"'"~)d~
(5.2.10)
All that awaits now before the application of(5.2.2) is an appropriate choice
of p; we could leave the matter indefinite and choose p as well as possible
when compelled to do so. However, for simplicity we shall make the "right"
choice immediately:
(5.2.11)
8~·.
X r 2
p {exp [ 1t:h -
2
: (~2 - ikt/J)]} exp(- 2nint/J)dt/J; (5.2.12)
...
8'
74 The Hardy-Ramanujan-Rademacher Expan~- _of p(n) Chap.5.2
X '(. o>p [' (' :;,~ '!I +·P 1,,, (h'+J'- ')II O<p(- '''"~) d~.
-B~.k
(5.2.14)
Now as z-> 0 with Re z > 0, we see that exp[2rri(h' + iz- 1 )/k] -> 0 rapidly.
Therefore the obvious way to evaluate (5.2.14) is to replace in the integrand
P(x) by I + (P(x)- 1). Hence
+exp( 2 rr;)
N
I
k= I
exp(-
k l J 12k
(h,k)= I ·
O~h<k -o,..,k
r .(ll'· + kiz-')1}
x ( P {exp l2m -- - - I ) exp(- 2rrin4J) d4J = .[ 1 + I' 2 •
(5.2.15)
It is our natural expectation that I' 1 will contribute our principal estimate for
p(n) and that the contribution of I' 2 will be negligible. We undertake our long
analysis of (5.2.15) by proving that I' 2 is indeed negligible: First (recalling
that z = kN- 2 - ik4J),
! r (z-'-z) ( { r (ll'+iz-') }
explrr -lik -- P expl2rri ~-k·---- -1
)I
Iz 1 1
5.2 The Formula for p(n) 75
Now
From (5.2.9) it is immediate that each of O~.t and e~:k satisfies l/2kN ~
< l/kN, and since - O~.k ~ 4J ~ e~·.k, we see that
Oh,k
Also
Hence by (5.2.16), (5.2.17), and (5.2.18) we have the following estimate for r2:
IE 2 1 ~exp(~~) J1
(h,k)= I
2 1N-texp(- 12~ 2 )
O~h<k
-B~.k
= exp (
2
1t~ ~-
N
-
l2N
i) 2* N-t I
m= 1
p(m) exp r-
l 1t _l_)]
(m - _
24
~ CN -t exp (2rrn)
fV2 . (5.2.19)
This estimate suffices for our purposes, since N-t exp(2rrnN- 2 ) ...... 0 as
N ...... oo for fixed n.
We now handle E 1 , the main term in Eq. (5.2.15). Here we shall show that
the integral is the most significant portion of a Hankel-type loop integral.
Once we establish this fact (Eq. (5.2.26)), it will then be a simple matter to
complete our evaluation of p(n).
In the integral for E 1 (see (5.2.15)) we set w = N- 2 - i4J, and thus the
integral becomes
76 The Hardy-Rama nuja n-Rademacher Expansion of p( n) Chap.5.2
N- 2 -
...
w··
N-2+ ifl'
N-2+i0;1,k
where
y(w)=w!expf2rr(n-
I
1
24
)w+ rr
l2k 2 w
l·
The integrand of this last integral is single valued and analytic in the complex
w-plane cut along the entire negative real axis. Hence we may write (invoking
Cauchy's theorem):
T· J - J )g(w) dw
-co
(5.2.21)
•
where the integral J~ ~ is the loop integral along the contour !I' in Fig. 5.1.
We assume 0 < e < N- 2 and we shall mostly be interested in what happens
as c--> 0. For brevity, we rewrite (5.2.21) as
(5.2.22)
and our next task is to show that each of the four integrals 12 , / 3, / 4 , and / 5
is negligible:
-8"
...(e 2
+ v2 )* exp I 1t Re ( - -! -:--)1 exp r-
l 2rr (n - I) E J ldvl.
0J
l2k 2 - E + IV 24
.
5.2 The Formula for p(n) 77
lI
~ I
---------------~---4-----
1
----
-- I
I
I
I
I
1w-plane
Figure 5.1
as ll-> 0.
(5.2.23)
Integral Is is treated in exactly the same way and (5.2.23) is also valid with
12 replaced by Is. As for / 3 ,
N- 2
l/ 3 1~ J(u 2
+ 1(~ )i exp [~
1
Re ( --... )] exp [2rr (n - __!__) u] du.
l2k u- dJu 24
Now
-·
'l'
~
0
"'"'
~
;; Hence
...
6
:z:I:Q
f:!l l/ 3 1< (N- 4 + Oh,t)
"2 i exp (rr) (2rrn)
3 exp N (e + N-2
2
)
78 The llardy-Ramanujan-Rademacher Expak n of p(n) Chap.5.2
rr 2rrn)
~ (~: + N _ 2 )2*k _ iN _ t exp ( 3 + J.f'l
and the final inequality in (5.2.24) is also easily seen to hold with / 3 replaced
by Is.
The integrals I 1 and I 6 are not negligible; however,
I 1 + /6 = -· --- ( rri) r 1t ( l ) J
2 expl 12 k 2 u + 2rr n- 24 u du
-co
JJlul exp -
+ rJfUI exp (;i) exp ~ li~2u + 2rr(n - 2~) u] du
-· 00
= - 2i Jt! exp r-
l 2rr (n - __!__) t -
24
---~-]
l2k t 2dt
•
(5.2.25)
(5.2.26)
where the constants implied in the 0 terms are absolute. Consequently, writing
(5.2.27)
;, I (
we sec from (5.2.15), (5.2.19), and (5.2.26) that
(5.2.28)
Now At(n) is precisely as it appears in (5.1.1) and the error terms here.are
all -> 0 as N-+ oo. Hence the final problem for us is to show that
We may do this fairly easily, assuming certain classical results about Hankel's
integral. First
1 _ 1 (OJ+) t [ 1t ( 1) ]
i Lt - i w exp l2k2w + 2rr n - 24 w dw
-co
(0+)
~I Jwtexp [2rr(n- 24
_!_)w] I (rr/l ~ w)' dw
2
2
=
s~ 0 S.
-co
(0+)
~ -
-- 21tL.. (rr/12k2)'
---
[2 1t ( n--1 )]s-3/2 - 1 Jez -s+t d z
z
.~o s! 24 2rri
-co
312
_ -t ( _ _!_)- co [rr 2(n - lf24)f6k 2]'
- (2 rr) n 24 .~o s !r(s - l/2)
where the final equation follows from Hankel's loop integral formula for the
reciprocal of the gamma function:
(0+)
l
r(s -
-
TI - l
2rri
Je z -s+t d z.
z
-co
Now
Hence
80 The Hardy-Ramanujan-Rademacher Expansion of p( n) Chap. 5.2
- l~ r- t + y2 d- I -y2•+1 - -] 00
= 2:1rr r-t + v 2
d~ic~~ll_f=-!)];
and so with Y = (rr/k)(2/3(x- l/24))t, we see that
I
i
Lk = (2rr)-! ('' - I )- 3!2 ? I,
24 -, rr
r-l I + y2 ~~(cosh }"_=-~)]
dy y x=n
= 2 -3j2rr-l(n _
24 l dY Y x=n
312
= 2 -J/2rr-l ( 11 _ I ·)- Jy r d (cosh )")/dYJ}
2
24 l dx Y 1 dx x=n
7r
3
d (cosh Y)J
dx Y x=n
~ 00
1 1
exp(- c t- a t- )t-t dt = 2 exp(- c2 u 2
2 2
1 - a 2 u- 2 ) du = ~~exp(- 2ac).
0 0
Hence
CX)
and since (5.2.33) is just (5.2.29), we see that Theorem 5.1 is established. •
Examples
I. The number of partitions of n into at most two parts ( = p(" {I, 2} ", n)
by Theorem 1.4) may be shown to be [n/2] + I by examination of the
decomposition of the generating function
I 1/2 1/2
------------- = -- + -~--.
(I - q)(l - q2) (1 - q)l (l - ql)
I 1/6
--------------- = ~-- + - 1/4 1/4
---- + ----- 1/3
+ -----
(1 _ q)(l _ q2)(l _ q3) (I _ q)J (I _ q)l (1 _ q2) (I _ qJ)
I
X --------~- - - - - - - -- --- ---
(J - q)Po(l - q2)Pl· · ·(l- q')P<
where the summation runs over all partitions (I Po2P 1 2P' · · · iP•) of i. We shall
give this formula in Example I of Chapter 12 as a special case of results on
Bell polynomials.
3*. There are many modular functions besides 17( r) that have transformation
formulas like (5.2.2).1ndeed it has been shown by Hagis and Subramanyasastri
that if H is the set of integers = ± a 1 , ± a 2 ,. • • , ± a, (mod k), then there
exists ar 'Symptotic series expansion for p("H", n) of the same form as that
82 The Hardy-Ramanujan-Rademacher Expar 1 of p(n) Chap. 5
given in Theorem 5.1. In fact, the same assertion is true of p(" H"( ~ 1), n)
as well. As an example of these results, we present the series for p(!J1, n) =
p(~ 1 • n) (Corollary 1.2), which was found through different techniques by
H ua, lseki, and Hagis:
p(v,n)=rri
r oo
k= 1
kodd
l I
hmodk
(h,k)= I
k
(-
x(!t,k)exp- 2rrinh)]
------ - - -1- - t / 1 [---(48n+2).
k(24n + l)
rr
12k
t] .
here
oo (z/2 )2n+l
I (z) =
I n= 0
I n-!(n--------
+ 1)!
•
and x(h, k) is the root of unity arising in the modular transformation formula
for L:.;.o
p(!il, n)q" precisely the way wh,k arises from (5.2.2).
4*. Apart from the modular functions, there exists a class of functions
called mock-theta functions (originally studied by S. Ramanujan and G. N.
Watson) for which reasonable asymptotic series for the coefficients may be
derived. For example, let
= I"' a.q".
n::O
this development:
00
Vz = (az + b)f(cz + d)
where a, b, c, d are integers with c > 0, and ad - be = 1;
g(z, s) = I (mz + n)-•
m~O
dm-cn>O
Res> 1
L(z, s) = "
c Ju•- I e- (cz +d)}ufc eiJdfc)u
du
j:--1 (l - e-(cz+d)u)(e"- 1)
"#
where {x} = x - [x], with [x] the largest integer not exceeding x, and
where <(f is the following loop in the u plane oriented counterclockwise:
~---~-----------------------
6. It is easy to show that A(z, 0) = (rriz/12) - log 17(z); we need only use
the fact that log(1 - w)- 1 =I:':,
w"fn.
84 The llardy·Ramanujan-Rademacher Expansion of p(n) Chap. 5
m'!1;0 m>O
and dm -en> 0 ordm-cn~O
"'
r(s)h(z, s) = 2: f u'- 1
exp(- mzu - nu) du
m>O
n>dmfc 0
J
= m'.t=o I
0
"'
1
u'- exp(- (m' + l)zu- (n' + l + [(m'd + d)/c])u)du
where m' = m - I and n' = n - [md/c] - I, with [x] the greatest integer
function.
10. If in the second sum in Example 9 we replace n' by n and set m' =
pc + j - I, 0 ~ p < w, I ~ j ~ c, then it follows that
= (I - exp(2rrisW 1 I
j= 1
f ~-I :xp( -::(cz -j-_~U~/~±J/~~}~~ du.
J'C (I - cxp(- (cz + d)u))(exp(u)- l)
II. Applying Example 10 to Example 8 and hence to Example 7, we find
that for Res > 2, Re z > - d/c, lm z > 0,
(cz + d)-T(s)G( Vz, s) = r(s)G(z, s) - 2i sin rrsr(s)((s) + e-•i·'L(z, s).
12*. (The Lipschitz Summation Formula.) For lm z > 0 andRes> l,
~
L..
( _ ( - 2rri}'
n+z )-s ------- "L.. n ,,- 1 e 2ninz .
n=-oo T(s) n+o>O
13. It is possible to dissect the sum for G(z, s) as follows.
where by Example 12
S2 = e• 1• ( - 2ni)'A(z, s)jr(s), S 3 = (- 2ni)'A(z, s)/r(s).
14. The result in Example 13 may be rewritten as
G(z, s) = (1 + e• 1')((s) + (1 + e• 1' ) ( - 2ni)'A(z, s)/r(s),
which gives the analytic continuation of G(z, s) to the entire complex s plane.
15. From Example 14 and the definition of H(z, s), it is possible to rewrite
Example 11 in terms of H(z, s):
(cz + d)-'H(Vz, s) = H(z, s)- e• 1'(2ni)-'(cz + d)-'r(s)(1 + e• 1')((s)
+ (2rri)-'r(s)(1 + e• 1')((s) + (2ni)-'L(z, s).
16*. The calculus of residues may be utilized to show that
·( - 1 (cz +d)
L(z, O) = 21tl 12c(cz + d) - -12c- + s(d, c) - l) '
where s(d, c) is given in Eq. (5.2.6).
17. Settings = 0 in Example 15 and applying Example 16, we may deduce
that
rri . ni(a +d)
+ !Iog(cz + d) - 1r1s(d, c)+ ~ ~,
log 17( Vz) = log 17(z) -
4 1
a result equivalent to (5.2.2).
Notes
References
Andrews, G. E. ( 1966). "On the theorems of Watson and Dragonette for Ramanujan's
mock theta functions,'' Anter. J. Matlt. 88, 454-490.
Arkin, J. (1970). "Researches on partitions,'' Duke Matlt. J. 38, 403-409.
Ayoub, R. (1963). An Introduction to the Analytic Theory of Numbers, American
Mathematical Soc., Providence.
Berndt, B. (1973). "Generalized Dedekind eta-functions and generalized Dedekind sums,''
Trans. Amer. Math. Soc. 178, 495-508.
Berndt, B. (1975). "Generalized Eisenstein series and modified Dedekind sums," J.
Reine Angew. Math. 272, 182-193.
Cayley, A. (1898). "Researches in the partition of numbers," Collected Math. Papers 2,
235-249, 506-512.
Dragonette, L. A. ( 1952). "Some asymptotic formulae for the mock theta series of
Ramanujan,'' Trans. Amer. Math. Soc. 72, 474-500.
Grosswald, E. (1958). "Some theorems concerning partitions," Trans. Amer. Math.
Soc. 89. 113-128.
Grosswald, E. (1960). "Partitions into prime powers," Michigan Math. J. 7, 97-122.
Hagis, P. (1962). "A problem on partitions with a prime modulus p;. 3," Trans. Amer.
Math. Soc. 102, 30-62.
Hagis, P. (1963). "Partitions into odd summands," Amer. J. Math. 85, 213-222.
Hagis, P. (1964a). "On a class of partitions with distinct summands,'' Trans. Amer.
Math. Soc. 112,401-415.
Hagis, P. (1964b). "Partitions into odd and unequal parts,'' Amer. J. Math. 86, 317-324.
Hagis, P. (1965a). "A correction of some theorems on partitions,'' Trans. Amer. Math.
Soc. 118, 550.
Hagis, P. (1965b). "Partitions with odd summands -some comments and corrections,"
Amer. J. Math. 87, 218-220.
Hagis, P. (1965c). "On the partitions of an integer into distinct odd summands,'' Amer.
J. Math. 87, 867-873.
Hagis, P. (1966). "Some theorems concerning partitions into odd summands," Amer.
J. Math. 88, 664-681.
Hardy, G. H. (1940). Ramanujan. Cambridge Univ. Press, London and New York
(reprinted by Chelsea, New York).
Hardy, G. H., and Ramanujan, S. (1918). ''Asymptotic formulae in combinatory analysis,"
Proc. London Math. Soc. (2) 17, 75-115. (Also, Collected Papers of S. Ramanujan,
pp. 276-309. Cambridge Univ. Press, London and New York, 1927; reprinted by
Chelsea, New York, 1962.)
Hua, L. K. (1942). "On the number of partitions of a number into unequal parts,''
Trans. Amer. Math. Soc. 51, 194-201.
lseki, S. (1959). "A partition function with some congruence condition," Amer. J.
Math. 81, 939-961.
lseki, S. (1960). "On some partition functions," J. Math. Soc. Japan 12, 81-88.
lseki, S. (1961). "Partitions in certain arithmetic progressions,'' Amer. J. Math. 83,
243-264.
Referen 87
6.1 Introduction
f(r) = fl (l - q")-a"
n::: I
where q = e-' and Re r > 0 (or equivalently lql < l). We restrict the a.
to be nonnegative real numbers. We also consider an auxiliary Dirichlet
series:
which is assumed to converge for a > r:x, a positive real number. Furthermore,
we assume that D(s) possesses an analytic continuation in the region a ~
- C 0 (0 < C 0 < l) and that in this region D(s) is analytic except for a pole
of order l at s = r:x with residue A. Finally, we assume that
(6.1.3)
Now if r = y + 2rrix (x, y real), we shall also assume that for larg rl > rr/4,
lxl ~ !,
Re(g(r)) - g(y) ~ - C 1 y-• (6.1.5)
(6.1.6)
lex
"= D(O)- 1-
1 + ex
. (6.1.8)
The proof of this theorem relies on application of the saddle point method.
In the examples at the end of the chapter, we shall present numerous applica-
tions of Theorem 6.2.
LEMMA 6.1. Under the assumptions on f(r), D(s), and g(r) presented in
Section 6.1 (with r = y + 2rrix),
(6.2.2)
1
=
k= I
Ioo ~k~ Iv=oo I
a,.e
-vkt
. (6.2.4)
Now recall that e-' is the Mellin transform of r(s); that is,
,-•r(s)((s + l)D(s)
l
= 2 + (D ,(0) I
- D(O) og r) ~
l
+ · · ·;
s s
6.2 Proof of Theorem 6.2 91
+
2~; -c·rX)
-Co-loo
,-·nsms + t)D(s) ds; (6.2.7)
the shift of the line of integration made in passing from (6.2.6) to (6.2.7)
is permissible since for larg rl ~ rr/4, we see that
(by assumption), while classical results on the C and r functions assert that
and
as t ..... oo.
Finally we observe that
-Co+ loo
~ 2~; J ,-•r(s)((s + l)D(s)ds I
-Co- ico
00
(since larg tl ~ rr/4 implies l2rrxl ~ y and thus lrl ~ .J2 y). Equation (6.2.1)
now follows from (6.2.7) once we estimate the integral in (6.2.7) by means
of (6.2.8).
We now turn to Eq. (6.2.2); here we consider two cases: (1) yll ~ lxl ~
yf2n and (2) yf2n ~ lxl ~ t· (One or both of these cases may be vacuous,
depending on y, but since we are interested only.in y approaching 0, we may
always assume y sufficiently small to make both nonvacuous.)
92 The Asymptotics of Infinite Product Generating Functions Chap. 6.2
2rrlxl 1t
tanlarg tl = --- ·
y
~ l or largrl ~
4•
as assumed above. Hence we may estimate (6.2.7) in the way done before, and
we determine that
The extra terms we might expect on the right-hand side of (6.2.9) have all
been accounted for by C6 llog rl. since the other terms are of lower order of
magnitude (remember y is approaching 0, so that llog yl dominates all non-
negative powers of y). Recalling that 1<1 = y 2 + 4n 2x 2, we see from ( 6.2. 9)
2
that
loglf(y + 2rrix)l
~ Ar(a)((cx + l)y-• + Ar(cx)((cx + l)y· "[(I + 4n 2x 2y- 2)-"' 2 - I]
+ C611og yl
~ Ar(cx)((cx + l)y-•- C7 y-•lxl 2 y- 2 :( Ar(cx)((cx + l)y-•- C 7 y-•+l(/l-l).
(6.2.10)
The next to last inequality follows from the observation that as Y -+ o+,
(l + A Y)-" 12 - I - - cxA Y/2 and the llogyl is dominated by any negative
power of y as y approaches 0.
Now by (6.2.3), we see that - ex + 2({3 - I) = - cxb/2 ~ - ~: 1 , say. Hence,
in case l,
(6.2.11)
00 l 00
k~ k .~
loglf(y + 2rrix)l- Re(g(r)) =
2 1 a.e-•·kycos(2nkvx)
00 l 00
(6.2.12)
since the a. are all nonnegative. Now we have the hypotheses necessary to
apply (6.1.5). Hence in case 2
6.2 Proof of Theorem 6.2 93
r(n) =
2 ~i J <o
f( r)e"' dr
t
= Jf(y + 2nix)e"Y+2ninx dx. (6.2.14)
-t
We wish to apply the saddle point method to the evaluation of this integral.
Since the maximum absolute value of the integrand occurs for x = 0, and
since for x = 0, Lemma 6.1 implies that the integrand is well approximated by
the saddle point method suggests that we should minimize this expression;
that is, we should require that y be chosen so that
d -
dy {exp[Ar(cx)((cx + 1)y • + ny]} = 0.
Hence we take
(6.2.15)
where
94 The Asymptotics of Infinite Product Gener ·g Functions Chap. 6.2
R. = -r J
-t
+
yP
f(y + 2rrix)e2ninx dx (6.2.18)
and where {3 is defined by (6.2.3). The interval of integration is being split into
two parts in a manner related to the Hardy-Ramanujan Farey dissection'
applied to the partition generating function in Chapter 5. To actually under-
stand how (6.2.3) arises we may note that we have already used explicitly in
the proof of Lemma 6.1 that - r:x + 2({3 - l) should be a small negative
number.
By Lemma 6.1,
(6.2.19)
(6.2.20)
as n -+ oo.
Equation (6.2.20) provides an adequate estimate for the second term in
(6.2.17). We must now treat the main integral. Let us choose n ~ n2 ~ n 1 ,
where n2 is sufficiently large that 2rr(m/n)P-I ~ l (this is quite permissible,
since {3 > l and mfn -+ 0 as n -+ oo ). Then by Lemma 6.1
(m/n)P
where
(6.2.22)
note that the choice of n 1 guarantees that throughout the interval of integra-
tion lxl ~ L and the choice of n2 guarantees that arg r ~ rr/4 as well.
We now make the change of variable 2rrx = (mfn)w, and we obtain
(6.2.23)
6.2 Proof of Theorem 6.2 95
where
C 1 om(l-/l)/•
and
as m --+ oo.
Our problem is now reduced to obtaining an asymptotic expression for /.
First
(6.2.26)
where
R2 = c,.mrP)/O exp
-c.om<l-/l)/•
r- m ~-~-!2 w l [exp(<f>iw)) -
2 1] dw, (6.2.27)
with
<f>iw)= m[--~---
ex(1 + 1w)"
- _!_ + iw +ex
ex
+'-~w
2
2 ]-D(O)Iog(1 + iw) + O(m-c•'")
(6.2.28)
1 1 . ex + l 2 ]
m ex(1 + iw)" - -; +
r IW + -2 - w
= m -
l L (ex + }j. - 1) (- 1)1i1w1 -
1
-
+ 1 2]
+ iw + ex---w
r
exj~O ex 2
(6.2.29)
while
96 TheAsymptotics of Infinite Product Generating Functions Chap. 6.2
Therefore, as m -+ oo
exp(<f>iw))- l = 0(1</>iw)l)
where
(6.2.32)
by (6.2.3).
Since the length of the interval of integration in (6.2.27) is O(m(I-P)/•), we
see that as m -+ oo
(6.2.33)
where
. (Co
-r:i- + 1 b b) ·
= 2 - 4 . 1-
J1 2 mtn (6.2.34)
t
2rr
= ------ + O(m -t exp(- C 12 m ~/4 )).
rm(cx+l) 1 ·
(6.2.35)
(6.2.36)
where
1
p(n) - - - - exp(rr(i)tnt).
4n.J3
Proof. In Theorem 6.2, set an= 1 for all n; then r(n) = p(n); D(s) = C(s)
(and C'(O) = - !Iog(2rr), C(O) =-!);and g(r) = (1- e-')- 1 • It is an
easy matter to check the various conditions listed in (6.1.3}-(6.1.5), and the
result above follows from Theorem 6.2 once the indicated substitutions are
made.
THEOREM 6.4. Let Hk,a denote all positive integers congruent to a modulo k.
•
Then for 1 ~ a ~ k,
where
and
This result follows in exactly the way Theorem 6.3 was proved. Now D(s) =
k-'C(s, afk), where C(s, h)= Ln;.o (n + h)-' is the Hurwitz zeta function,
and g(s) = e-a'(l- e-kT)- 1. •
Examples
p( "H k ± , , n)
' a
- csc(na/k) n _ 314 exp ( ·21t ( - n
4n3*k* 3k
)t) •
T11<• A~ymptotics of Infinite Product Genr ng Functions Chap. 6
2. In order to compute explicitly the r(n) in Theorem 6.2, we use the well-
known logarithmic derivative:
r.;~ 1 ll r( ll )q"
= q
d I og floc ( l - q")-a "
L:'~or(n)q" dq .~1
where
D1 = L da 4 •
d)j
00
The desired inequality is trivial for n = I, and we may use the recurrence
to prove the full inequality by induction. We sketch the procedure:
n n
11
nr(n) < L L a,l! exp[c(n - kD)'I<•+ ]
k~ I u~ I
ku<n
< I I
k=lu=l
auvexp[cn•/(•+l)- ~?-k'!_ __ n-t/(•+1)]
(r:x+l)
Examples 99
00
= exp(cn•!(-+t))A I A.-·-•r(cx + l)
k=t
8*. Example 7 provides a formula for F 4(q) that can yield the behavior
of F 4(q) for lql near l. Using the circle method, we can then show that
where
p(" H"( ~ 1), n) = i<r- 3)/2- (a, +a2 + ... +a,)/M)r*n- 3f4env'rnf3M {1 + O(n -tH)}'
provided g.c.d.(a 1 , a 2 , •• • , a,, M) = l.
12*. The number Pn.k ( = p(n, k, n)- p(n, k - 1, n)) of partitions of n into
exactly k parts is unimodal in k if n is sufficiently large (i.e. there exists
k 1 = k 1(n) such that Pn.k > Pn.k+ 1 fork > k~o and Pn.k < Pn.k+ 1 fork < k 1 ).
13*. Almost all partitions rr 0 of n (i.e. with the exception of o(p(n))) have
#(rr 0 ) summands where
(1 + o(1))cx -.J6n
log n
1t
Notes
References
Auluck, F. C., and Haselgrove, C. B. (1952). "On Ingham's Tanberian theorem for
partitions," Proc. Cambridge Phil. Soc. 48, 566-570.
Bateman, P., and Erdos, P. (1956). "Monotonicity of partition functions," Mathematika
3, 1-14.
Brigham, N. A. (1950). "A general asymptotic formula for partition functions," Proc.
Amer. Math. Soc. I, 182-191.
Erdos, P. (1942). "On an elementary proof of some asymptotic formulas in the theory
of partitions," Ann. of Math. 43, 437-450.
Erdos, P., and Lehner, J. (1941). "The distribution of the number of summands in the
partitions of a positive integer," Duke Math. J. 8, 335-345.
Erdos, P., and Turan, P. (1965). "On some problems of a statistical group theory, I,"
Z. Wahrscheinlichkeitstheorie und Verw. Gebiete 4, 175-186.
Erdos, P., and Turan, P. (1967a). "On some problems of a statistical group theory, II,"
Acta Math. Acad. Sci. Hungar. I8, 151-163.
Erdos, P., and Turan, P. (1967b). "On some problems of a statistical group theory, Ill,"
Acta Math. Acad. Sci. Hungar. I8, 171-173.
Erdos, P., and Turan, P. (1967c). "Certain problems of statistical group theory,"
Magyar Tud. Akad. Mat. Fiz. Oszt. Kozl. I1, 51-57.
Erdos, P., and Turan, P. (1968). "On some problems of a statistical group theory, IV,',
Acta Math. Acad. Sci. Hungar. I9, 413-435.
Erdos, P., and Turan, P. (1971a). "On some general problems in the theory of partitions,
1," Acta Arith. I8, 53-62.
Erdos, P., and Turan, P. (1971 b). "On some problems of a statistical group theory, V,"
Period. Math. Hungar. I, No. I, 5-13.
Hardy, G. H., and Ramanujan, S. (1918). "Asymptotic formulae in combinatory
analysis," Proc. London Math. Soc. (2) 17, 75-115. (Also in Collected Papers of
S. Ramanujan, pp. 276-309, Cambridge Univ. Press, Cambridge, 1927; reprinted
by Chelsea, New York, 1962.)
Haselgrove, C. B., and Temperley, H. N. V. (1954): "Asymptotic formulae in the theory
of parti.tions," Proc. Cambridge Phil. Soc. SO, 225-241.
102 The Asymptotics of Infinite Product Gener~ting FunctiOns Chap. 6
Ingham, A. E. (1941). "A Tauberian theorem for partitions," Ann. of Math. (2) 42,
1075-1090.
Kohlhecker, E. E. (1958). "Weak asymptotic properties of partitions," Trans. Amer.
. Math: Soc. ~,; 346-365. , ,1 ' '
Lehmer, D. H. (1972a). "On reciprocally weighted partitions," Acta Arith. 21, 379-388.
Lehmer, D. H. (1972b). "Calculating moments of partitions," Proceedings of the Second
Manitoba Conference on Numerical !lfathematics, Oct. 5-7, 1972.
Lehmer, D. H. (1972c). "Some structural aspects of the partitions of an integer," Pro-
ceedings of the 1972 Number Theory Conference, University of Colorado, Boulder,
pp. 122-127.
LeVeque, W. J. (1974). Reviews in Number Theory, Vol. 4, A mer. Math. Soc., Providence,
R.I.
Livingood, J. (1945). "A partition function with the prime modulus p > 3," Amer. J.
Math. 61, 194-208.
MacMahon, P. A. (1923). "The connexion between the sum of the squares of the divisors
and the number of partitions of a given number," Messenger of Math. 52, I 13-116.
Meinardus, G. (1954a). "Asymptotische Aussagen iiber Partitionen," Math. Z. 59,
388-398.
Meinardus, G. (1954b). "Uber Partitionen mit Differenzenbedingungen," Math. Z. 61,
289-302.
Richmond, B. (1972). "On a conjecture of Andrews," Utilitas Math. 2, 3-8.
Richmond, B. (1975a). "Asymptotic relations for partitions," J. Number Theory 1,
389-405.
Richmond, B. (1975b). "A general asymptotic result for partitions," Canadian J. Math.
27, 1083-1091.
Richmond, B. (1975c). "The moments of partitions, I," Acta Arith. 26, 411-425.
Roth, K. F., and Szekeres, G. (1954). "Some asymptotic formulae in the theory of
partitions," Quart. J. Math. Oxford Ser. (2) 5, 241-259.
Schwarz, W. (1967). "C. Mahler's Partitionsproblem," J. Reine Angew. Math. 229,
182-188"
Schwarz, W. (1968). "Schwache asymptotische Eigenschaften von Partitionen," J. Reine
Angew. Math. 232, 1-16.
Schwarz, W. (1969). "Asymptotische Formeln fiir Partitionen," J. Reine Angew. Math.
234, 174-178.
Szekeres, G. (1951). "An asymptotic formula in the theory of partitions, I," Quart. J.
Math. Oxford Ser. (2) 2, 85-108.
Szekeres, G. (1953). "An asymptotic formula in the theory of partitions, II," Quart.
J. Math. Oxford Ser. (2), 4, 96-111.
Tunin, P. (1973). "Combinatorics, partitions, group theory," Proceedings of the Interna-
tional Colloquium on Combinatorial Theories, Rome, September 3-15, 1973.
Tunin, P. (1974). "On a property of partitions," J. Number Theory 6, 405-411.'
Turan, P. (1975). "On some phenomena in the theory of partitions," Journees Arith-
metiques de Bordeaux, Societe Math. de France, Asterisque 24-25, pp. 311-319.
Vahlen, K. T. (1893). "Beitrage zu einer additiven Zahlentheorie," Cre/le J. 112, 1-36.
Watson, G. N. (1937). "A note on Spence's logarithmic transcendant," Quart. J. Math.
Oxford Ser. (2) 8, 39-42.
Wright, E. M. (1931). "Asymptotic partition formulae, 1," Quart J. Math. Oxford Ser.
(2) 2, 177-189.
Wright, E. M. (1933). "Asymptotic partition formulae, II," Proc. London Math. Soc. (2)
36, 117-141.
Wright, E. M. (1934). "Asymptotic partition formulae, Ill," Acta Math. 63, 143-191.
CHAPTER 7
7.1 Introduction
The Rogers-Ramanujan identities provide ·one of the most fascinating
chapters in the history of partitions. The story begins with the discovery of
the Indian genius S. Ramanujan by G. H. Hardy. In his first letter to Hardy
(dated January 16, 1913) Ramanujan stated several marvelous theorems on
continued fractions. Two are of special interest to us now:
e-2•
--= (1/S_Js
v--2 _J52+ 1)e2. s 1
1 + - --4.
---
1 + _e_ __
e-6•
1 +-.-
Of these (and a related formula), Hardy says, in the article "The Indian
Mathematician Ramanujan" (Amer. Math. Monthly 44 (1937), p. 144),
"[These formulas] defeated me completely. I had never seen anything in the
least like them before. A single look at them is enough to show that they could
only be written down by a mathematician of the highest class. They must be
true because, if they were not true, no one would have had the imagination
to invent them."
Before we conclude our history, it is useful to see how these two continued
fractions are related to mathematical constructs of the type previously
considered. Let us consider F(x) to be a function analytic in x at 0, F(O) = l,
(7.1.2)
(7.1.3)
Hence
qt +3+···+(ln- I) q"2
- - - - ---- Ao(q) = - - · (7.1.4)
(q). (q).
Hence
"' (1
= TI _ qSn+l)-l(l _ qSn+4)-l (7.1.6)
n=O
and
We note that any value for a is admissible, even a = 0, since a"(a -I). =
(a - I)( a - q) · · ·(a - q" -I) is merely a polynomial in a whose value at 0
is (- I )"q•<•- 1 )/ 2 •
Very little can be said in way of motivation for this section. Actually
extensive work in the theory of basic hypergeometric series and partition
identities shows that "well-poised" basic hypergeometric series provide the
generating functions for numerous families of partition identities. The series
in (7.2.1) (once the infinite products have been factored out: "Icx.(Aq")! 1 =
I
(A)! 1 ex.( A); 1 ") is an example of a well-poised series.
LEMMA 7.1
(7.2.3)
we see that
= I xk•l••+na"(axq•+l:"'(a-l).q-i•
•= 1 (q).-l(xq )co
+ I xk•qknl+"a"(axq•+l)"'(a-l).xi-lq•<l-1)
n=O (q).(xq"+ 1) 00
"' xk•qk•l+i•a•(axq•+2) (a-1) {
= x 1- I '\'
L.. co
~~----~
n (J - axq n+ I)
n=O (q).(xq"+ 1) 00
+ axk-l+lq2•(k-i)+k-i+l+n (t _~")}
·-1 "' xk•qk•l + i•a•(axqn+ 2)(a -I).
= x1 I-~-----~-----~ [I_ (xqt-l+lq•[l(k-i+l)-11]
n=O (q).(xqn+ 1) 00
LEMMA 7.2
•
- aJk,k-l+ia; xq; q)). (7.2.4)
Proof.
"'
Jk,;(O; I; q) = n
n= 1
(7.2.5)
.,.o,± i(mod 2k+ I)
Proof. By (7.2.2)
Jk,;(O; I; q) = Hk,;(O; q; q)
n"'
n=l
nl' 0, ± i(mod 2k +I)
(by Corollary 2.9).
•
LEMMA 7.4. For 1 ~ i ~ k, lql < I,
n"'
n=l
(7.2.6)
""' l(mod4)
""' 0, ± (li- 1 )(mod 4k)
Proof.
( I _ ~--------
X _____
li+4ni)
+q
co
"' ( _ l)"qlkn+lkn'-(2i-3)n
(1 + q2•+ 1) .:--o
-"'
q-
0
--
"'
0
"'
6
z
=
f!l
7.3 The Rogers-Ramanujan Identities and Gonlon'sGeneralli:ation 109
= (- q; q )co
2
f (- 1)"qltnl+(2t-21+1)n
(q2; q2)co n=-co
= (-
2
2
q; q )co
2
f (1 _ q4tn+4tX1 _ q4tn+ll-1)
(q ; q )co n=O
X (1 _ q4tn+4t-li+ I)
= 1 fi (1 _ q4t(n+I)X1 _ q4tn+ll-l)
(q; q 2)co(q4 ; q 4 )co n=O
X (1 _ q4t(n+ 1)-li+ I)
n
n=l
n;t l(mod 4)
n;t0,±(21-l)(mod4t)
•
7.3 The Rogers-Ramanujan Identities and Gordon's Generalization
In this section we shall utilize the analytic work in Section 7.2 to prove
the following theorem, which is due to B. Gordon.
THEOREM 7.5. Let Bt,(n) denote the number of partitions of n of the form
(b 1 b 2 · ··b.), where b1 - b1 + t - l ~ 2, and at most i - 1 of the b1 equall.
Let At,ln)denote thenumberofpartitionsofn into parts~ 0, ± i(mod 2k + 1).
Then At, 1(n) = Bt, 1(n) for all n.
Before we prove Theorem 7.5, it is appropriate to give center stage to its
two most celebrated corollaries, the Rogers-Ramanujan identities (stated in
terms of partitions).
CoROLLARY 7.6 (The first Rogers-Ramanujan identity). The partitions of
an integer n in which the difference between any two parts is at least 2 are
equinumerous with the partitions of n into parts =
1 or 4 (modulo 5).
Proof. Take k
CoROLLARY
= i = 2 in Theorem 7.5.
7.7 (The second Rogers-Ramanujan identity). The partitions
•
of an integer n in which each part exceeds 1 and the difference between any
two parts is at least 2 are equinumerous with the partitions of n into parts
= 2 or 3 (modulo 5).
Proof. Take k = i + 1 = 2 in Theorem 7.5.
Proof of Theorem 1.5. Let bt,lm, n) denote the number of partitions
•
(b 1 b 2 · · · b'") of n with exactly m parts such that b1 ~ b J+ 1 , b1 - b1 +t-l ~ 2,
and at most i - 1 of the b1 equal 1. Then for 1 ~ i ~ k
110 ldentit ies of the Rogers-Ramanujan Type Chap. 7.3
if m =n= 0
if m ~ 0 or n ~ 0 but (m, n) # (0, O);
(7.3.1)
bk,o(m, n) = 0; (7.3.2)
for I ~ i ~ k
Equations (7.3.1) and (7.3.2) are obvious once we recall that the only partition
that is either of a nonpositive number or has a nonpositive number of parts
is the empty partition of 0.
Equation (7.3.3) requires careful attention: bk,.{m, n) - bk,i- 1(m, n)
enumerates the number of partitions among those enumerated by bt, 1(m, n)
that have exactly i - I appearances of I. Let us transform this set of partitions
by deleting the i - I ones, and then subtracting I from each of the remaining
parts. The resulting partitions (b 1 '· .. b~-i+t) have m- i + l parts; they
partition n - m, and the parts satisfy b/ - b;+k-t ~ 2. Since originally l
appeared i - I times and the total number appearances of ones and twos
could not exceed k - I (due to the difference condition), we see that originally
2 appeared at most (k - i + I) - I times, and thus after the transformation 1
appears at most k - i + I times. The transformation described above
establishes a one-to-one correspondence between the partitions enumerated
by bk, 1(m, n)- bk, 1- 1(m, n)and those enumerated by bk,k- i+ 1(m- i + l,n- m).
Hence (7.3.3) is established.
We now make a simple yet essential observation: the bk, 1(m, n) (0 ~ i ~ k)
are uniquely determined by (7.3.1), (7.3.2), and (7.3.3). To see this, proceed
by a double mathematical induction first on n and then on i. Equation (7.3.1)
takes care of n ~ 0, m ~ 0, i > 0. Equation (7.3.2) handles all n when
i = 0. Equation (7.3.3) represents bk, 1(m, n) as a two-term sum in which the
first term has a lower i index and the second a lower n index (since we can
assume m > 0).
Now let us consider
Jk)O; 0; q) = Jk,,{O; x; 0) = I,
we see that for l ~ i ~ k
7.3 The Rogers-Ramanujan Identities and Gordon's Generalization Ill
if m = n = 0
if m ~ 0 or n ~ 0 but (m, n) # (0, 0).
(7.3.4)
ct,o(m, n) = 0. (7.3.5)
So we see that the ck, 1(m, n) also satisfy the system of equations (7.3.1)-
(7.3.3) that uniquely defines the bk, 1(m, n). Therefore, bk, 1(m, n) = ck)m, n)
for all m and n with 0 ~ i ~ k.
Hence, since Lrn;l>o bk, 1(m, n) = Bk, 1(n), we see that
•=1
n"' (by (7.2.5))
.,.o,± i(modlt+ I)
(7.3.8)
Then for 1 ~ i ~ k,
(7.3.10)
and
Rk,o(x; q) = 0. (7.3.11)
Finally
7.4 The Golinitz-Gordon Identities and Their Generalization 113
n~O
Recalling that the coefficients in the expansion of Jk, 1(0; x; q) were uniquely
determined by (7.3.4), (7.3.5), and (7.3.6), we conclude that since Rk, 1(x; q)
satisfies (7.3.10), (7.3.11), and (7.3.12), and thus its coefficients must satisfy
(7.3.4), (7.3.5), and (7.3.6), therefore Rk,i(x; q) = Jk, 1(0; x; q) for 0 ~ i ~ k.
Thus we have (7.3.9) and with it Theorem 7.8. •
COROLLARY 7.9 (Eq. (7.1.6)).
n
= "' (1 _ qS•+ 1)-1(J _ qSn+4)-1.
n=-0
Proof. Set k
COROLLARY
= i = 2 in Theorem 7.8.
7.10 (Eq. (7.1.7)).
•
=no_
"' qSn+l)-1(1 _ qSn+3)-1.
n=-0
THEOREM 7.11. Let i and k be integers with 0 < i ~ k. Let ck,i(n) denote
the number of partitions of n into parts '¥= 2 (mod 4) and '¥. 0, ± (2i - 1)
(mod 4k). Let Dk,,{n) denote the number of partitions (b 1 b 2 • ··b.) of n in
wlticlt no odd part is repeated, b1 ~ b1+1 , b1 - b 1+k_ 1 ~ 2 if b1 odd,
b1 - bJ+k- 1 > 2 if b1 even, and at most i - 1 parts are~ 2. Then Ct, 1(n) =
Dk,i(n).
Remark. The proof of this theorem is very similar to that of Theorem 7.5.
The role of Jk, 1(0; x; q) in Theorem 7.5 is now played by Jk,i(q- 1 ; x; q 2 ).
We shall, therefore, proceed somewhat rapidly through those portions of this
theorem that are familiar ground.
if m =n=0
if m ~ 0 or n ~ 0 but (m, n) = (0, 0). (7.4.1)
(7.4.2)
The proof of (7.4.2) and (7.4.3) is exactly like the proof of (7.3.3). For
example, dk, 1(m, n) - dk, 1_ 1(m, n) enumerates the number of partitions of
the type enumerated by dk, 1(m, n) with the added condition that the total
number of parts each ~ 2 is exactly i - l. Such partitions may be split into
two disjoint classes: (I) those that have l as a part; (2) those that do not.
We transform the partitions in class I by deleting the I and the (i- 2)2's, and
subtracting 2 from each of the remaining parts. This transformation establishes
a one-to-one correspondence between the partitions in class I and those
enumerated by dk,k-i+2(m- i + l,n- 2m+ I). We transform the parti-
tions in class 2 by deleting the i - I 2's and subtracting 2 from each of the
remaining parts. In this way, a one-to-one correspondence is established
betweenthepartitionsinclass2andthoseenumeratedbydk,k-i+t(m- i +I,
n - 2m). This establishes (7.4.3), and (7.4.2) is treated similarly. Furthermore
(just as the bk.i(m, n) were uniquely determined by (7.3.1)-(7.3.3)), we may
7.4 The GOUnitz-Gordon Identities and Their Generalization 115
easily prove that the dt,;(m, n) are uniquely determined by (7.4.1), (7.4.2), and
(7.4.3).
Now we consider
1 2
Jt,{- q- ;x;q ) =I"' "'
IetJm,n)x'"q".
m::=:O n=O
That Eq. (7.4.1) is also true for the et,;(m, n) follows from
while the truth of (7.4.2) for the et, 1(m, n) follows from
Finally, we may deduce (7.4.3) for the ek.i(m, n) from the fact that
00 00 00
n=l
n"' o - q")-1 (by (7.2.6))
""' l(mod4)
n,.O,±(li-1)(mod4k)
00
n
n=-1
(7.4.4)
n>' l(mod 4)
n1' 0, ± (2k- I )(mod 4k)
Examples
I. Let s1(m, n) denote the number of partitions (A. 1 A. 2 • • ·A.m) of n such that
for l ~ i < m, A. 1 - A;+ 1 ~ 3 with strict inequality if 3IA. 1 and Am ~ j. We
can prove (similar to the proof of Theorem 7.5) that if fix)= Lm,n;. 0sj(m, n)
X Xmq•, then
if A1+ 1 = l,2,4(mod7),
r.: if A;+ 1 = 3 (mod 7),
A;-AI+I~\ 10 if AI+ 1 = 5, 6 (mod 7),
15 if A;+ 1 = 0 (mod 7).
8.· Let .s&lk,a(N) denote the number of partitions of N into parts '¥. 0,
± 2a (mod 4k + 2). Let ~k.a(N) denote the number of partitions (1 1 •212 3'' · · ·)
of N such thatf 1 ~ 2a- I, and
2k- I if / 1 is even,
/; + fi+ I :::::; {2k if f 1 is odd.
qln 1 +2[(4-a)fl]n
"' co
n
n=O
o- q")-1 = <- q) I--(ql; q 2-).(------~--·
00
n=O q)2n+ 1-[afl]
nl O,±a{mot17)
( - xq 2 ,• q 6) (
7 - xq 4., q 6) "'- ( - xq s., q 6)_oo = I"' ___A~.X-_
• .
(x; q6)x •= o (q6; q6).
118 Identities of the Rogers-Ramanujan TyPe Chap. 7
Let cm( n) denote the number of partitions (A. 1 A. 2 • • ·A.,) (s arbitrary) of n such
that m ~ A. 1 , A., # I or 3, and for I ~ i < s, A.i - A.i+ 1 ~ 6 with strict
inequality if A.i+ 1 = 0, I or 3 (mod 6), and let
dm(q) = I cm(n)q".
n~O
Then
Notes
The material in the introduction comes primarily from Chapters I and 6
of Ramanujan by G. H. Hardy (1940). The first two continued fractions in
the introduction were proved by Watson (1929). The analytic identities in
Section 7.2 appear for a = 0 in Rogers (1919) and Selberg (1936) and for
a = - q- 1 in Andrews ( 1967d). Very general identities of this nature are
treated in Andrews ( 1968c, 1974b ).
Theorem 7.5 is due to Gordon (1961), our proof is by Andrews (1966;
see also 1969d, 1975a, b). Theorem 7.8 is due to Andrews (1974c); a related
theorem involving the Alder polynomials is due to V. N. Singh (1957).
Theorem 7.11 in the case k = 2 is due to H. Gollnitz (1967) and B. Gordon
( 1965); for arbitrary k the result was obtained by Andrews ( 1967d). Identity
(7.4.4) is also due to Andrews (1975d).
For more detailed accounts of work of this nature there arc several survey
articles with extensive bibliographies: Alder (1969), Andrews (1970, 1972,
1974a), Gupta (1970). Reviews of recent work in this area occur in Section
P68 of LeVeque (1974).
Examples 1-3. Andrews (1968a).
Example 4. Andrews (1968a, 1971a, b), Schur (1926).
Examples 5-7. Andrews (1968b, 1969a, 1972).
Example 8. Andrews (1967b).
Example 9. Andrews (1967c, 1969c).
Example 10. Selberg (1936), Andrews (1968c, 1975a).
Example II. Gollnitz (1967), Andrews (1969b).
References
Gupta, H. (1970). "Partitions-a survey," J. Res. Nat. Bur. Standards 748, 1-29.
Hardy, G. H. (1940). Ramanujan. Cambridge Univ. Press, London and New York;
reprinted by Chelsea, New York.
Lehner, J. (1941). "A partition function associated with the modulus five," Duke
Math. J. 8, 631-655.
LeVeque, W. J. (1974). Ret•iews in Number Theory, Vol. 4. Amer. Math. Soc., Providence,
R.I.
Rogers, L. J. (I 894). "Second memoir on the expansion of certain infinite products,"
Proc. London Math. Soc. 25, 318-343.
Rogers, L. J. (1919). "Proof of certain identities in combinatory analysis,'' Proc.
Camhrid,qe Phil. Soc. 19, 211-214.
Schur, I. J. (1917). "Ein Beitrag zur additiven Zahlentheorie und zur Theorie der
Kettenbriiche," S.-B. Preuss. Akad. Wiss. Phys.-Math. Kl. pp. 302-321. (Reprinted
in I. Schur, Gesammelte Abhandlun,qen, Vol. 2, pp. 117-136. Springer, Berlin, 1973.)
Schur, I. J. (1926). "Zur additiven Zahlentheorie," S.-B. Preuss. Akad. Wiss. Phys.-Math.
Kl. pp. 488-495. (Reprinted in I. Schur, Gesammelte Abhandlungen, Vol. 3, pp. 43-50.
Springer, Berlin, 1973.)
Selberg, A. (1936). "Ober einige arithmetische ldentitaten," Avhl. Norske Vid. 8, 23 pp.
Singh, V. N. (1957). "Certain generalized hypergeometric identities of the Rogers-
Ramanujan type," Pacific J. Math. 1, 1011-1014.
Watson, G. N. (1929). "Theorems stated by Ramanujan (VII): Theorems on continued
fractions," J. London Math. Soc. 4, 39-48.
CHAPTER 8
8.1 Introduction
The results in Chapter 7 indicate that a general study of partition identities
such as the Rogers-Ramanujan identities or the Gollnitz-Gordon identities
should help to illuminate these appealing but seemingly unmotivated theorems.
In this chapter we shall undertake the foundations of this study. As will
become abundantly clear, there are very few truly satisfactory answers to the
questions that we shall examine. We shall instead have to settle for partial
answers. After presenting the fundamental structure of such problems in the
next section, we devote Section 8.3 to "partition ideals of order 1," a topic
which we can handle adequately and which suggests the type of answers
we would like for our general questions of Section 8.2. The final section of
the chapter describes a large class of partition problems wherein the related
generating function satisfies a linear homogeneous q-difference equation with
polynomial coefficients. In some ways this final section is unsatisfactory, in
that the theory of q-difference equations has not been adequately developed
to provide answers generally to questions about partition identities and parti-
tion asymptotics; however, the theorems of Section 8.4 do suggest that
q-difference equations are indeed worthy of future research.
8.2 Foundations
We begin with a simple intuitive observation which forms the basis of our
work here. In all the partition identities considered in Chapter 7 (Theorem 7.5,
Corollaries 7.6 and 7.7, Theorem 7.11) partition functions were considered
that enumerated partitions lying in some subset C of the set of all partitions.
For example, C might be the set of all partitions where the difference between
parts is at least 2 (see Corollary 7.6), or C might be the set of all partitions
with parts congruent to 1, 4, 7 (mod 8)(seeTheorem 7.11 when k = i = 2). The
interesting fact to note is that all the considered subsets C of partitions have
the property that if 1t is a partition inC and one or several parts are removed
from 1t to form a new partition n', then n' is also in C.
This observation suggests that we should define a partial ordering on
partitions by rr' ~ 1t whenever any integer i appears at least as often in 1t as
in rr'. This approach immediately leads us to a lattice structure on partitions:
DEFINITION 8.1. Let//' denote the set of all sequences {f1} f= 1 of nonnegative
integers wherein only finitely many of the f 1 are nonzero.
We note that this definition is consistent with the order structure intuitively
suggested at the beginning of this section. Furthermore, .'/'is actually a lattice
whose "meet" and "join" operations are given by {!1} n {g;} = {min(/1, g 1)},
{f;} v {gJ = {max(/1, g 1)}.
After this inundation of definitions let us slow down a little and see how
these definitions actually fit in with the results obtained in Chapter 7. First, let
(8.2.3)
8.2 Foundations 123
since p(l!, n) is the number of partitions of n with odd parts and p(I2, n) is
the number of partitions of n with distinct parts.
Next, let
for 1 ~a ~ k. (8.2.6)
Finally, if we define
and
for 1 ~ a ~ k. (8.2.9)
That dt,a• ~t.a• ~t.a• I2t,a are all partition ideals is immediate from their
definitions; however, it requires a moment's calculation to see that truly
p(~t.a• n) = Bk,a(n) (and p(I2t,a• n) = Dt,a<n)). To aid the reader in this matter,
we observe that if(b 1 b 2 • • • b 3 ) is a partition of n with b1 ~ bJ+ 1 , b1 - bJ+t- 1 ~ 2,
then such partitions are characterized by the fact that for any i, the total
number of appearances of i and i + 1 (namely,f1 + f 1+ 1) in that partition is
at most k - t ; otherwise, if b1 is chosen as the first i, then b1 - b1 H _ 1 ~ 1.
Since the equivalence relation in Definition 8.5 can be used to describe the
results in Chapter 7 as well as Euler's theorem (Corollary 1.2), we are led to
the following question:
The last section was based on the observation that a certain order of
partitions is inherent in all the partition problems treated in Chapter 7.
Next we note a certain "local" property involved in these problems: to
determine if {!1} E dk,a (see (8.2.5)) we need only examine the sequence one
term at a time, at each stage checking the condition "f1 > 0 implies i =
0, ±a (mod 2k + 1)." However, to determine if {!1} e!Ht,a we must check
consecutive pairs f 1,fi+ 1 against the condition "f1 + fi+ 1 ~ k - 1" after
having checked the initial condition f 1 ~ a - l. The following definition
makes precise the notion of how narrowly an examination can be focused on
{!;} E .'7 to determine whether {!1} E C.
DEFINITION 8.6. We shall say that a partition ideal C has order k if k is the
least positive integer such that whenever {!1} ¢ C, then there exists m such
that {!,'} ¢ C where
+ +
{~'
for i = m, m 1, .. . , m k - 1,
f/ = otherwise.
THEOREM 8.1. Let C be a partition ideal. Then Cis of order 1 if and only if
there exists d 1 , d 2 , d 3 , ••. such tltat
partition ideal and if {!1} ¢ C, then there exists j such that f 1 > d1 for some
j and hence {!,'} ¢ C where f,' = 0 if i '# j and f/ = fr
On the other hand, suppose C is of order 1; then define d1 = sup
1111 eef1•
With this definition of C it is clear that C c C. Conversely, if {!1} ¢ C, theri
there exists j such that {!,'} ¢ C where f,' = 0 if i '# j and f/ = f;. I claim
that f 1 > d1, for if not, by the very definition of d1 we see that there must
exist {11 1} e C such thatf1 ~ h1 ~ d1 and thus{!,'} ~ {h 1} e C, which would
imply that{!,'} e C, an impossibility. Thus sincef1 > d1, we see that {!1} ¢ C,
and therefore C = C, as desired. •
Our next result shows that the partition ideals of order 1 have a large
amount of algebraic structure:
THEOREM 8.2. The ideals of Y are just the partition ideals of order l.
Proof. Recall the meet and join operations in Y: {!1} n {g 1} = {min(/1, g 1)}
and {!;} v {g 1} = {max(/1, g 1)}, and recall that an ideal S of!/' is merely
a partition ideal that is closed under the join operation.
Let us therefore assume that S is an ideal of Y. Thus S is a partition ideal.
Define d1 = sup 11 , 1esfi, and let
THEOREM 8.4. Let C and C' be partition ideals of order l with d1 = sup 11 , 1ecf1
and d/ = sup 1111 ec f 1. Then C ~ C' if and only if the two sequences of
positive integers {j(d1 + l)} f= 1 and {j(d/ + l)} f= 1 are merely reorderings
~<oo ~<oo
of each other.
Proof. If the two sequences in question are merely reorderings of each other,
then by Theorem 8.3
8.3 Partition Ideals of Order 1 127
Hi= (l - qj(d/+
I
dJ'<oo
I))
_ _ _ _ __
Hi= o- q1) I
=I p(C',n)q".
n~O
= I p(C', n)q"
n~O
Therefore
n(l -
00
q1)6(j) = n(l -
00
q1)6'(}).
j=h j=h
= I x"'<lf•llq"<lf•ll, (8.4.1)
{ffleC
8.4 Linked Partition Ideals 129
00
Furthermore, it is not difficult to show (by the means used in Theorem l.l)
that
00
a product absolutely convergent for lql < I, lxl < lql- 1 • Consequently, since
the number of partitions of n with m parts in an arbitrary partition ideal C
clearly does not exceed the total of such in //', we see by the comparison test
(applying (8.4.3) to (8.4.1 )) that the series in (8.4.1) is absolutely convergent
for lql < I, lxl < lql- 1 •
Q-difference equations (like (7.1.1) and (7.2.4)) were very important in
Chapter 7. Now we must clear away the specific nature of the problems to
determine general qualities of partition ideals that allow q-difference equations
to arise. The first important property is the existence of a "modulus."
DEFINITION 8.8. We denote by rjJ the bijection rjJ: .'/'---+ .9"< 1 > given by
r/J({f;}) = {g;} where
0 if i = 1,
gi = {
fi-1 if i > l.
Intuitively the function rjJ merely adds I to each part of the partition, since
00 00
dk.a in (8.2.5) has modulus 2k + l; Pk.a in (8.2.7) has modulus 2, and ~k.a
in (8.2.8) has modulus 4k.
The relationship between the modulus and q-differcnce equations is made
explicit by the following:
= I x"'<<l>~<ff•ll>q"<.P~<u.m
ff•)eC
I x"'<ffillq"<ff•ll
ff•)e,P~c
I
ff .leC(m)
x"'((f,llq"<ffill = fc,~>(x; q).
•
DEFINITION 8.10. We define, for each partition ideal C of modulus m,
(8.4.4)
Proof. We note that since C has modulus m, r/Jimc = cum> for each j =
l, 2, 3, .... (This is because rjJ: C-+ c<m> is a bijection and consequently
rjJc<m> must contain precisely the elements {!;} of C with / 1 = / 2 = · · · =
!2m = 0; that is, rjJmc(m) = c<lm) and so r/J 2mc = rflmrjJmc = rjJmc(m) = c<lm);
the proof for arbitrary j follows similar lines.)
Now for any rr = {!;},we have uniquely
To conclude our lemma, we must show that when C has modulus m and
rreC, then each rr1 ELc. Clearly, rfJU-I>mrr1 ~ rreC; hence rfJU-I>mrr1 eC.
But r/J(j-l)mc = c<U-l)m). Therefore since r/J(j-l)mrrj E c<U-l)m) = r/J(j-l)mc_.
we see that rr1 E C, and so rr1 E Lc. •
DEFINITION 8.12. We say that Cis a linked partition ideal if
(i) C has a modulus, say m;
(ii) the Lc corresponding tom is a finite set;
(iii) for each rra E Lc there corresponds a subset !I' c(rra) of Lc (called the
linking set of rra) and a positive integer /(rra) (called the span of rra) such that
for any rr E /I', rr E C if and only if the representation (8.4.4) has the property
thatforeachj,rrJ+I•rrJ+ 2, ... ,rrJ+I(KJl-I = {0,0,0,0, ... } and rrJ+I(nJ)e.!l'c(rr1).
Since the definition of a linked partition ideal is somewhat complicated,
let us consider some examples. From (8.2.4) let us consider
for 0 ~ i ~ k - l.
From (8.2. 7), we see that !?k,k =!»*has modulus 2, and ifrr 1 = {0, i, 0, 0, ... },
t/1 1 = {l, i, 0, 0, ... }, then L 2 • = {rr0 , rr 1, ... , rrk-I• t/1 0 , t/11•· .. , t/lk-2},/(rr;) =
/(t/J,) = /(rrk-I) = 1 fori= 0,1, ... , k- 2,!/'!:i,(t/1 1) = !1'9 ,(rr;) = {rr 0 , rr 1, .•. ,
rrk-i-1• t/Jo, t/l~t· · ., t/lk-i-2}.
If the linking set .Y'c(rr) = {rr0 } and /(rr) = r, then there actually is a second
choice of span and linking set for rr, namely,!!'c(rr) = Lc and /(rr) = r + 1;
generally the first choice is best in order to keep the spans as small as possible.
We remark that @k,a for 1 ~ a < k and qk,a for 1 ~ a < k are not linked
partition ideals; however, they are importantly related to !18k,k and !ilk,k•
respectively, as we now make clear.
As we shall see, the Cil are very important in the main theorem on linked
partition ideals (Theorem 8.11 ). Crucial to the proof of Theorem 8.11 will
be the following result, which is an adaptation to q-difference equations of
an algorithm of F. J. Murray and K. S. Miller (1954) for the corresponding
problem in differential equations.
validfor lql < I, lxl < lql- 1, where the yj(x) are analytic in x and q inside
this domain and the Pik(x) are rational functions in x and q. Then there
exists r ~ 11 such that
r
I Mx)y 1(xqk"') = 0, (8.4.6)
k=O
Either p 12 (x), ... , [7;.(x) are all identically 0 or not. If they are, we have
(8.4.6) with r = I. If they are not identically 0, we may (through a suitable
renumbering of the y 2(x), ... , Y.(x)) assume then that p 12 (x) is not identically 0.
Define
(8.4. 7)
and now we may eliminate y 2 (x) from our system of equations via
8.4 United Partition Ideals 133
=
1~
1~2
Yl(x) Ct2
Pa(xqm)Ptl(x))
After substituting (8.4.8) into (8.4.5)1 for 3 ~ j ~ n, we see that the resulting
equations are again of the same form, namely
"
+L PJk(x)yk(x), 3 ~ j ~ n. (8.4.9)1
k=3
(8.4.10)
If the p 2ix), ... , p 2.(x) are all identically zero, then (8.4.9) 1 and (8.4.9h imply
which is (8.4.6) with r = 2, and we would be done.lfnot all the p 2ix), . .. , p 2.(x)
are identically zero, then the elimination yix) (in the same manner in which
y 2 (x) w ~liminated) yields
134 A General Theory of Partition Identities Chap. 8.4
+ I" P3k(x)yk(x),
k=4
+ I" Pik(x)yk(x).
k=4
We may repeat this process until either all of the yix), yix), . .. , y.(x) have
been eliminated or until one of the resulting
has PJ.J+ 1(x), ... , p1.(x) all identically zero. In any event, there exists r ~ n
such that
The first of these equations may be used to eliminate wix) from the system.
Hence
- P11(x)y1(x)) + wix);
Proof. We begin by numbering the elements of Lc. say Lc = {rr 0 , rr 1 , rr 2 , ..• , rrd,
and since for all e,
{0, 0, 0, ... } E Lc. we make the convention that rr 0 =
{0, 0, 0, ... }. We should quickly remark that the rr 1 here are not necessarily
the same as the rr 1 used in treating the examples considered prior to this
theorem.
Let us define for 0 ~ i ~ k
Now since rro = {0, 0, 0, ... }. it follows immediately that eftO = e<ml = rjJme.
Hence by Lemma 8.8
Ho(x) = I x"'<ftlq"(ft)
1l'ECn
0
where
with .!l'c(rr;) = {rrJ .. rrh• rrh, ... , rrj)• Obviously the eft,,• eft,l'' ..• eft,. are
disjoint sets of partitions. Hence for 0 ~ i ~ k
H,(x) = I x"'<ftlq"<nl
1l'ECn
1
136 A General Theory of Partition Identities Chap. 8
r
= x#(Kj)q<1(Kj) I I x#(K')qi(K,)m#(K')+<J(n')
II= 1 7t'EC.rcJ,.
r
= x#(K,)q"(K,) I llj,(xq'(K,)m). (8.4.13)
h=l
To conclude our theorem we need only show that our system of q-difference
equations can be reduced to one higher-order equation in H 0 (x), and this
requires the utilization of Lemma 8.1 0.
Define
0 ~ i ~ k, 0 ~ j < /(rr;) - 1,
(8.4.15)
0
I Pk(x)H 0(x-lq-km) = 0;
k=O
hence
0
0 =I iik(x-lq-om)Ho(xq<fl-k)m); (8.4.16)
k=O
furthermore, we may assume that the Pk(x- 1q-nm) are polynomials in x and
q since we may clear denominators by multiplication of(8.4.16) by a suitably
chosen polynomial. By the remark following Eq. (8.4.12) we see that the
establishment (8.4.16) is sufficient to prove Theorem 8.11. •
Examples
l. For each k ;:?: 2, every integer has a unique representation to the base
k; that is, every integer is uniquely representable as a sum of powers of k
where no part is repeated more than k - 1 times.
2. A perfect partition of n is a partition rr = {A 1 , ••• , A,) such that for
each m ~ n there is exactly one rr' ~ rr such that rr' is a partition of m. The
number of perfect partitions of n is the same as the number of ordered
factorizations of n + l. To see this, we remark that all perfect partitions of n
may be written
Notes 137
hence
= glg2·. ·gk- l.
defined for each sequence {g;} I= 1 of integers each larger than I. From
Example 2 it is obvious that for each integer n there is a unique rr with rr < rr 00
such that rr is a partition of n. A moment's reflection shows that if Jt is the
equivalence class of ideals of order 1 that contains {{.f;} I/; = 0 if i > 1},
then
p(Jt; n) = 1 for all n,
Notes
8.6 is called an Euler pair; this result was originally given in Andrews (1969b),
and was extended by Subbarao (1971). Reviews of work related to the material
in this chapter occur in LeVeque (1974), Section P68.
Example I. This is just the ancient radix representation theorem (see
Andrews, 1969a, b for this treatment).
Examples 2-4. MacMahon (1886, 1891, 1923).
Example 5. This is Zeckendorf's theorem. See Daykin (1960) for a more
extensive treatment.
References
Andrews, G. E. (1969a). "On radix representation and the Euclidean algorithm," Amer.
Math. Monthly 76, 66-68.
Andrews, G. E. (1969b). "Two theorems of Euler and a general partition theorem,"
Proc. Amer. Math. Soc, 20, 499-502.
Andrews, G. E. (1971). Number Theory. Saunders, Philadelphia,
Andrews, G. E. (1972). "Partition identities," Advances in Math. 9, 10-51.
Andrews, G. E. (1974). "A general theory of identities of the Rogers-Ramanujan type,"
Bull. Amer, Math, Soc. 80, 1033-1052.
Andrews, G. E. (1975). "Problems and prospects for basic hypergeometric functions,"
Theory and Application of Special Functions. (R. Askey, ed.), pp. 191-224. Academic
Press, New York.
Daykin, D. E. (1960). "Representations of natural numbers as sums of generalized
Fibonacci numbers," J. London Math, Soc. 35, 143-160.
LeVeque, W. J. (1974). Re11iews in Number Theory, Vol. 4. A mer, Math. Soc., Providence,
R.I.
MacMahon, P. A. (1886). "Certain special partitions of numbers," Quart. J, Math.
Oxford Ser. 21, 367-373.
MacMahon, P. A. (1891). "The theory of perfect partitions and the compositions of
multipartite numbers," Messenger of Math, 20, 103-119.
MacMahon, P. A. (1915). Combinatory Analysis, Vol. I. Cambridge Univ. Press, London
and New York (reprinted by Chelsea, New York, 1960).
MacMahon, P. A. (1923). "The partitions of infinity with some arithmetic and algebraic
consequences," Proc Cambridge Phil. Soc. 21, 642-650.
Miller, K. S., and Murray, F .. J. (1954). Existence Theorems for Ordinary Differential
Equations. New York Univ. Press, New York.
Subbarao, M. V. (1971). "Partition theorems for Euler pairs," Proc. Amer, Math. Soc.
28, 330--336.
CHAPTER 9
9.1 Introduction
9.2 Inclusion-Exclusion
We begin with a reexamination of Corollary 1.2 that will yield a purely
combinatorial treatment of Euler's theorem.
n=O
p(!», n)q" = n
oo
n=l
(1 + q") = n - q. = n
oo
n=J(1-q)
2n)
n=11-q
oo
2.-1 =
oo
I
n=O
p(t!J,n)q".
E(n) = I (- 1)'
111> ···>ar
bl~···~b.
139
140 Sieve Methods Related to Partitions Chap. 9.2
m > 0.
0,
Next we note that since each a 1 is even in (9.2.1), we may write a 1 = 21X 1, and
thus our representation is equivalent to
IX1 >' '' > IX,, bl ;:?: '' ';:?: b,. (9.2.2)
C(M, N) = L IX,.
"
oi'(•)=M
<J(~t)=N
and the approach used in the combinatorial proof of Eq. (2.2.9) at the end
1
of Chapter 2 shows that x"q" • qt•<•+ nf(q). is the generating function for all
partitions with n parts, all distinct and each > n. Hence
q!n(n+ I)
1
x"q" · - - - -
(q). (xq"+ l)oo
(9.2.5)
N = a1 + a2 + · · · + a. + (n + 1) + b1 + ···+ b. (9.2.6)
where a 1 > a 2 > · · · > a.> n + 1, b 1 ;?: · · ·;?: b.> n with s arbitrary.
In this instance, each ordinary partition rr whose smallest part is m and
that contains t different integers (some or all of these t integers may occur in
rr with repetition) can be broken into several representations (9.2.6); namely,
provided .that m = n + l, exactly
142 Sieve Methods Related to Partitions Chap. 9.3
(
t -
n
l) = ( t -
m- l
l)
choices may be made for the a;. Hence rr contributes only to the term of the
second sum in (9.2.4) with n = m - l and its contribution to this term is
(- 1)m (
t -
•
l)
m- l,
Hence for
C(M, N) = L IXK
ft
#(K)=M
<I(K)=N
we see that the weighting factor cxft is zero if rr has a smallest part m. Thus the
only partition that can have a positive weighting factor is the empty partition
of zero whose weighting factor is clearly I. Therefore
= C(O, 0) = l.
•
9.3 A Sieve for Successive Ranks
In 1944, F. J. Dyson defined the rank of a partition as the largest part minus
the number of parts. Thus the rank of the preceding partition is 7 - 8 = - 1.
9.3 A Sieve for Successive Ranks 143
Later, Atkin defined the successive ranks of a partition. One can view the
graphical representation of a partition as a set of nested right angles of nodes.
The partition (7 7 53 3 1 1 1) may be viewed as three such right angles
DEFINITION 9.2. Let g be the largest integer for which there exists a sequence
j 1 < h < · · · < j 9 such that r 1 ,(rr) ~ - (i - l), rh(rr) > 2k- i - 1, rh(n) ~
- (i - l), r 1.(rr) > 2k - i - l, and so on. We define g to be the (k, i)-
negative oscillation of rr.
DEFINITION 9.3. Let pk.i(a, b; 11: N) (resp. mk,;(a, b; 11; N)) denote the
number of partitions of N with at most b parts, with largest part at most a,
and with (k, i)-positive (resp. (k, i)-negative) oscillation at least Jl·
We next shall derive recurrences for these functions that will allow us
to identify them with expressions involving Gaussian polynomials. We start
144 Sieve Methods Related to Partitions Chap. 9.3
Proof. Let j 1 < h < · · · < jh be the sequence related to the (k, i)-positive
oscillation as given in Definition 9.1. Either there does exist a j 0 < j 1 such
that r 10(rr) ,;::; - (i - l) or there does not. In the first case, we see that the
(k. i)-negative oscillation is l larger and in the second case it is l smaller. •
LEMMA 9.4. Tlte following recurrences /told for J1 ;?: l:
Proof. Let us start by examining the left-hand side of(9.3.3). The expression
mk,;(a, b; Jl; N)- mk,;(a - l, b; Jl; N) denotes the number of partitions of
N with at most b parts, with (k, i)-negative oscillation at least Jl, and with
largest part exactly equal to a. Therefore, the expression
Suppose first that a - b > - (i - 1); then the removal of the outer right
angle of nodes from the graphical representation has no effect on the (k, i)-
negative oscillation, which is still equal to Jl. Consequently our transformed
partition is of the type enumerated by mt,la - l, b - 1; 11; N - a - b + 1).
Since the foregoing procedure is clearly reversible, we see that if a - b >
- (i - 1), then
+ mk,;(a- 1, b- 1:11: N)
It is now a simple matter to translate Lemma 9.4 into relations among the
generating functions.
_ a+b-l
Mk ' ,.(a - l, b - l; J1; q) if a - b > - (i - l),
- q { Pk,;(a - l, b - l; J1 - l; q) if a - b ~ - (i - 1);
(9.3.5)
146 Sieve Methods Related to Partitions Chap. 9.3
a
Pk . ;(a, b; 0; q) = Mk . ;(a, b; 0; q) = [
+ b] , (9.3.7)
a
Proof. For (9.3. 7), we observe that all partitions have (k, i)-positive and
(k, i)-negative oscillation at least 0. Hence Pt,;(a, b; 0; q) and Mt,;(a, b; 0; q)
are each the generating function for partitions with largest part at most a
and with at most b parts. By Theorem 3.1, this generating function is [a~b];
thus (9 .3. 7) is established.
As for (9.3.8), we observe that only the empty partition of 0 has either no
parts or no largest part. Since the empty partition of 0 has 0 for all of its
(k, i)-oscillations, we see that the generating functions appearing in (9.3.8)
must all be identically 0. •
LEMMA 9.7.
qL A + B]
[B-X
_ qL [A + B-
B-X
1] _ qL [A + B-
B-X-1
l]
+ qL [A + B-
B-X-1
2]
= qA+B-lqL A+ B- 2] ,
[
B-X-1
Proof. By (3.3.3), we see that
qL A + B]
[B-X
_ qL [A + B -
B-X
l] _ qL [A + B -
B-X-1
+ l] qL [A + B -
B-X-1
2]
9.3 A Sieve for Successive Ranks 147
= qL+A+X
[A+ B - 1] _ qL+A+X [A + B - 2]
B-X-1 B-X-2
2]
LEMMA
= qL+A+B-1 A+ B-
[ B-X-l
= qL+r(A+Y+l) 2A +X]
. [ A+Y
2
+'t qL+A+Y+j+2+(r-j-2)(A+Y+l)[2A +X
J=O A + y- 1
+j]·
Also, by repeated application of (3.3.4), we see that
qL+2A+2Y+r [2A +X + r - 2]
A+Y
+ qL+2A+2Y+r+(r-2)(A+Y) 2A +X]
[ A+Y
+ qL+r(A+Y+l) 2A +X]
[ A+Y
148 Sieve Methods Related to Partitions Chap. 9.3
J=O A + y- 1
+ qL+r(A+Y+l) 2A +X] ,
[ A+ y
= qL+A+Y+r
2A +X+ r - 2] + f(A - 1 r· X Y L)
[ A+Y-1 '' ''
A+ y- 2
j]
+ qr(A+Y-1) 2A +X-
[ A+ Y- 1
2]}
+f(A- l,r;X, Y,L) (by repeated application of (3.3.4))
+ qL+(r+1)(.4+f)
2A +X- 2] +f(A -1,r;X, Y,L)
[ A+ Y- l
L qL+A+Y+j+1 (l_______
+ r-2 - q<•-l><A+Yl)
_ [2(A - 1) +X+ 1']
J=O (1 - qA+Y) A - 1 + y- 1
= f(A - l, r + l; X, Y, L).
p (a b.
211 _ 1 ·q)=q<2~t-IH(2k+IJ~t-IJ a +b ]•
(9.3.12)
k,l • ' ' [ a - (2k + 1)J1 + i
Proof. We first note that the recurrence relations (9.3.5) and (9.3.6) together
with the initial conditions (9.3. 7) and (9.3.8) uniquely determine M t,(a, b; 11; q)
and Pk,;(a, b; 11; q). We now define new functions Mk~,(a, b; 11; q) and
Pt 1(a, b; Jl; q) in terms of Gaussian polynomials. Our object is to identify
these new functions with the generating functions being considered.
p* ·(a b· 2u• .
q) = q~<((4k+2J~t-(2k-2•+1)) [ a+b ] (9.3.15)
k,• , , r• a - (2k + 1)J1
for a - b ~ 2k - i;
for a - b ~ 2k - i;
M:.;(a - l, a + i - 1 + r; 2]1; q)
= (1 _ q<-+2)(a+i-l-(2k+ll~tl)
q((4k+2)~t:f"(2k-21+ I ) ) - - ' - - - ' - - - - - - - - - _ _ : _
1- qa+i-l-(2k+l)lt
X
2a + i - 3 J + ·- 1 q~t((4k+2)~t+(2k-21+1))+a+l-(2k+l)~t+J
L
[a+i-2-(2k+1)Jl J=O
..
150 Sieve Methods Related to Partitions Chap. 9.3
(9.3.17)
2a + i- 3 J
x [ a - (2k + l)Jl + 2k -l
·-1
+ L q<2~t- I )((2k+ I )It- (2k-l+ I ))+a- (2k+ I )It+ 2k+ I+ J
j=O
= q1t((4k+2)~t-(2k-2i+l)) - - - - · -
( 1- q<•+l)(b+2k-l-(2k+l)jt))
---
1- qb+2k-i-(2k+l)jt
2b + 2k - i - 2 ]
X [b + 2k - j - l - (2k + 1)Jl
·-2
+ L q1t((4k+ 2)~t-(2k- 2i+ I ))-(2k+ I l~t+b+ j+ 2k- i+ I
j=O
X 0__.=-__q<•-j-l)(b+2~-l-(2k+ll~tl) [ 2b + 2k- +j
j- 2 J
l - qb+2k-i-(2k+l)jt) b + 2k- i- 2- (2k + 1)J1
(9.3.19)
for r;?: 0, b;?: 1, J1;?: 1;
N,i(b + 2k - i - l + r, b - l; 2J1 - l; q)
...
'l'
0
..."'
......
...6
0
2b + 2k - i - 2 ] :z:
X [b + 2k - l - (2k + 1)J1 Ill
f!l
9.3 A Sieve for Successive Ranks lSI
r-2
+ l: q<2~t-1)((2k+l)~t-o-<2k+l)jt+b+j+2k+l
j=O
M:,,(a, b; 0; q) = PU,a, b; 0; q) =
a+ b] · (9.3.21)
[ a
We first observe that the initial condition (9.3.7) is prescribed in (9.3.21).
Furthermore, if either a or b is set equal to zero in M:J.a, b; JL; q) or
P:,(a, b; Jl; q), with Jl ;?: l, then inspection of the appropriate defining
equation among (9.3.13)--(9.3.20) shows that the resulting function is identically
zero. Hence the initial conditions prescribed in our Lemma 3.3 are satisfied
by M:)a, b; Jl; q) and P:,,(a, b; Jl; q).
We now shall examine the recurrence relations (9.3.5) and (9.3.6). The
top line of (9.3.5) and the bottom line of (9.3.6) follow in each case by applying
Lemma 9. 7 to the appropriate expressions among (9.3.13)--(9.3.17). Finally,
in the notation of Lemma 9.8, we see that
(9.3.22)
(9.3.23)
(9.3.24)
(9.3.25)
(9.3.26)
and
(9.3.27)
Equation (9.3.9) now follows from (9.3.13) and (9.3.27); (9.3.10} follows from
(9.3.14) and (9.3.27); (9.3.11) follows from (9.3.15) and (9.3.25); finally,
(9.3.12) follows from (9.3.16) and (9.3.26). •
J1 > 0; (9.3.29)
J1 ;?: 0; (9 .3.30)
J1 > 0. (9.3.31)
9.3 A Sieve for Successive Ranks 153
hmq
. x[2a + y] = --·
qx
a-co a- z (q)co
Now we introduce the partition function that arises from our sieve technique.
DEFINmoN 9.6. Let Qt,.(n) denote the number of partitions n: of n such
that - (i - 2) ~ ri(rr) ~ 2k - i - l for each of the successive ranks of rr.
The following lemma is the inclusion-exclusion aspect of our sieve.
LEMMA 9.11. For each integer n ;?: 0,
co co
Qk,;(n) = Pk,;(O; n) + L (- l)l'mk,;(Jl; n) + L (- l)l'pk,I(Jl; n). (9.3.32)
Proof. First we remark that Qk,;(n) counts the set of all partitions of n
that have 0 as (k, i)-positive oscillation and 0 as (k, i)-negative oscillation.
On the other hand, the right-hand side of (9.3.32) is a weighted count of
the partitions of n. First suppose rr is a partition of n with 0 as (k, i)-positive
and (k, i)-negative oscillation. Then rr is counted once by Pk,;(O; n) and not
at all by each of mk)Jl; n) and Pk,;(Jl; n) for each Jl > 0. Next suppose that
rr is a partition of n with (k, i)-positive oscillation r > 0. By Lemma 9.3,
the ( k, i)-negative oscillation of rr is either r - 1 or r + l ; if r - l, then the
weighted count for rr is
,.-1 ,. ,.-1 ,.-1
1 + l: <- tt + l: <- w = + l: <- t)~' - l: <- w = o;
It~ I 1t~l ~'~1 ~<~o
Thus we see that the right-hand expression in (9.3.32) counts once each
partition of n with 0 as (k, i)-positive and (k, i)-negative oscillation, while it
counts 0 for each of the other partitions of n. Consequently the right-hand
expression in (9.3.32) is just equal to Qk,;(n). •
THEOREM 9.12. Recall that Ak_tn) denotes the number of partitions of n
into parts that are not congruent to 0, ± i (mod 2k + 1). Then for 0 <
i ~ k and for each n ;?: 0
Ak,i(n) = Qk,;(n).
Proof. By Lemma 9.11, we see that
00 00 00 00 00
= L Pk,i(O; n)q" + LI (-
n;O It;
I)" L mk,t(Jl; n)q" + LI(-
n;O It;
1)~' L Pk,,(Jl; n)q"
n;O
co co
= Pk,,(O; q) + L (- 1)~'Mk,;(J1; q) + L (- 1)1<Pk,i(J1; q)
00 00 00 00
= (q):;l nco
(1- q<m+l)(2k+ll)(l- q<2k+l)m+l)(l- q<2k+l)(m+l)-i)
m::::.O
nco
rr=l
(1 - q")-1
for each n ~ 0.
It is very easy to show that Q 2,in) = B 2,2(n) and Q2 , 1(n) = B2 , 1(n), and
•
then Corollaries 7.6 and 7. 7 (the Rogers-Ramanujan identities) follow
directly from Theorem 9.12.
To prove that Q 2,in) = B 2,in), let us consider a partition n: of the type
enumerated by B2,2(n), say 1l = (CI c2 ... C,), where c, - c,+ I ~ 2. We form
a graphical representation of rr as follows. The ith part of n: is represented as
the ith right angle in a graphical representation where if C 1 = 2s + 1, the
angle is
s +
--------.,
1
s+ 1
s + l
s + 2
156 Sieve Methods Related to Partitions Chap. 9
The argument proceeds as before with the only difference being that now an
angle with only one node in it cannot arise, and this is precisely the difference
between B2.2(n) and B 2 • 1(n). Thus B 2 , 1(n) = Q 2 , 1(n).
There are several questions of interest that arise naturally from this work.
Question 2. Are there sieves that can be used in studying some or all of the
partition functions found in Chapters 7 and 8?
Examples
n:=l o- q") =
---------~- 1. n co
_n=l
(1
-q
n+m) m
=n(l-q")-1.
•
n co "
n=1(1-q) ' n:=l ( l - q") n=l
2. Let e.(n) (resp. E0 (n)) denote the number of partitions of n into distinct
nonnegative parts with smallest part even and an even (resp. odd) number of
even parts. Then
if n is not a square,
if n is a square.
This analytic assertion is quite easily proved (e.g., in Corollary 2.3, replace q
by q 2 , then set c = - q, a = 0, t = q 2 , and let b-+ 0). Actually we can
combinatorially prove each step in the following analytic argument:
co
L (E (n) -
0 e.(n))q"
n=O
co
= L q2"(q2n+2;q2)co(- q2n+l;q2)co
n=O
(use Example 1)
co "
• + Lq",n(l + ql + q21 +·"+ q<k-I)J).
n= I J= I
L ql + Ja [n + l
j;>O
2 ~
}
a - j]
(a = 0 or 1),
and
are both deducible from Theorem 9.9. The sieve used in Theorem 9.12 is
now applied directly to the generating functions in Theorem 9.9. The case
in which a + b = n + l, k = 2, i = 2 - a essentially yields the top result;
the case in which a + b = n + l, k = i = 1 yields the .second result imme-
diately.
158 Sieve Methods Related to Partitions Chap.9
Notes
In the late nineteenth and early twentieth centuries, K. T. Vahlen (1893)
and L. von Schrutka (1916, 1917) undertook an extensive study of partitions
from the point of view taken in Section 9.2. The theorems we have chosen
come from Andrews (1969, 1975).
The work in Section 9.3 also comes from Andrews (1971, 1972a). Such
results were discovered in an effort to obtain a combinatorial interpretation
of Schur's (1917) analytic proof of the Rogers-Ramanujan-Schur identities.
Reviews of recent work related to this area may be found in Section P68
of LeVeque (1974).
Example 1. Vahlen (1893), Andrews (1969).
Example 2. Andrews (1972b), Stenger (1973).
Example 4. Schur (1917), Andrews (1970, 1971, 1972a).
References
Andrews, G. E. (1969). "On a calculus of partition functions," Pacific J. Math. 31,
555-562.
Andrews, G. E. (1970). "A polynomial identity which implies the Rogers-Ramanujan
identities," Scripta Math. 28, 297-305.
Andrews, G. E. (1971). "Sieves for theorems of Euler, Rogers and Ramanujan," The
Theory of Arithmetic Functions (A. A. Gioia and D. L. Goldsmith, eds.) (Lecture
Notes in Math. No. 251), pp. 1-20. Springer, Berlin.
Andrews, G. E. (1972a). "Sieves in the theory of partitions," Amer. J. Math. 94, 1214-
1230.
Andrews, G. E. (1972b). "Problem 5865," Amer. Math. Monthly 79, 668.
Andrews, G. E. (1975). "Partially ordered sets and the Rogers-Ramanujan identities,"
Aequationes Math. 12, 94-107.
Atkin, A. 0. L. (1966). "A note on ranks and conjugacy of partitions," Quart. J.
Math. Oxford Ser. (2) 17, 335-338.
Dyson, F. J. (1944). "Some guesses in the theory of partitions," Eureka (Cambridge)
8, 10-15.
LeVeque, W. J. (1974). Reviews in Number Theory, Vol. 4. Amer. Math. Soc., Providence,
R.I.
Schrutka, L. von (1916). "Zur Systematik der additiven Zahlentheorie," J. Reine Angew.
Math. 146, 245-254.
Schrutka, L. von (1917). "Zur additiven Zahlentheorie," S.-B. Kaiser/. Akad. Wiss.
Wien, Abt. /Ia 125, 1081-1163.
Schur, I. J. (1917). "Ein Beitrag zur additiven Zahlentheorie und zur Theorie der Ketten-
briiche," S.-B. Preuss. Akad. Wiss. Phys.-Math. Kl. pp. 302-321. (Reprinted in
I. Schur, Gesamme/te Abhandlungen, Vol. 2, pp. 117-136. Springer, Berlin, 1973.)
Stenger, A. (1973). "Solution to Problem 5865," Amer. Math. Monthly 80, 1148.
Vahlen, K. T. (1893). "Beitriige zu einer additiven Zahlentheorie," J. Reine Angew. Math.
112, 1-36.
CHAPTER10 ________________________________
10.1 Introduction
In Chapter 5 we observed what remarkable fruits arose from the Hardy-
Ramanujan collaboration. Out of this effort also arose Ramanujan's amazing
discoveries about divisibility properties of p{11). The following words of
Ramanujan describe his famous conjecture on this topic:
159
160 Congruence Properties of Partition Functions Chap. 10.1
(10.1.3)
however,
24·243 = 1 (mod 73 ).
or elliptic function theory (Knopp's book cited above, e.g.). Thus in Chapter 5
we assumed the truth of (5.2.2), which is a disguised form of the relation
describing the behavior of 'l(t) under the action of the modular group. In
this chapter we shall assume (10.3.1), the modular equation of fifth degree.
After obtaining Ramanujan's conjecture for powers of 5, we shall conclude
this chapter with a brief discussion of the Dyson conjectures (proved by
Atkin and Swinnerton-Dyer in the 1950s) which provide combinatorial
interpretations of ( 10.1.1) and ( 10.1.2).
00
Um{f(q)} = L
n= -oo
am•q".
since
m-1
l: p'j =
{m if r =
O(mod m),
j=O 0 if r -¥= 0( mod 111 ).
B(q) =
00
L b(n)q" =
n=O
n (l -
00
n=O
q2")-l.
00
First we have
162 Congruence Properties of Partition Functions Chap. 10.2
co
§"l(q 4) = (U2 4 - U2°)B(q 4) =I (b(4n)- b(n))q 4"
n=O
3
= 1I B(ilq) - B(q4)
}=0
1 nco 1
(l - q 4 ) 2 n=2 (1 - q 2")
o+q 4
-
1+2 4
q - q
8)
=
q4(3 - q4) co
(l _ q4)3
1
.n
(1-q2").
Hence
where
co 1
G(q) = 0 (1 _
n= I q2
.) = (1 - q)B(q).
In general, we have
(3-q) (3+q)]
= !qG(q) [(l - q)3 - (1 + q)3
8q 2G(q)
(1-q2)3
Therefore
(10.2.5)
10.2 R<idseth's Theorem for Binary Partitions 163
Thus
This implies
32qg(q)
9&' 3(q) + Wiq) = (l _ q)s ((1 + q) + (1- q))
_ 64qG(q)
- (T- q)s. (10.2.7)
Thus
or
(10.2.8)
Proof. From (10.2.5), (10.2.7), and (10.2.8) we see that Theorem 10.1 is
true for m = 2, 3, and 4. We now proceed by mathematical induction on m,
and we assume m ~ 5.
By applying U 2 to the equation stated in the theorem (with q replaced by q 2 )
we find
this equation truly defines integers bk(m + 2), since the left-hand side of the
equation is an odd polynomial. Furthermore, we see that
and
= - m2m-1.
Thus
m+2)
m-2 2( 2 qG(q) m- 1 m-2
L
j=O
cj(m).~m+ 1 -i(q) = - - - - - m2
(l - q)m+3
L
j=O
cim)§m_i(q)
m-k-1
X L
h=O
ch(m - k + l)§ m-k-h+ 1(q).
c 0 (m + 1) = c 0 (m) = l;
c1(m + 1) = c 1(m) + m2m- 1c0(m)
10.2 Rodseth's Theorem for Binary Partitions 165
Now since 16lc 1(m) and m > 4, we see that 16lc 1(m + 1).
Since Slcim), and m ~ 5, we see that 81cim + 1). Also since 16-rcim),
we see that 16-rcim + 1), because all of the remaining terms on the right-hand
side of the equation above are divisible by 16.
Now for 2 < j ~ m - 1
By hypothesis, 2 211cj(m) and 221 12"'- 1 c1 _ 1(m). Thus to prove that 2 21 1cj(m + 1),
we need only establish that
(m2+ 1) - (m - 2k + 2) + 2h ~ 2].
when k + h = j, [(m + 1)/2] ~ k ~ 2, h ~ 0.
(m; 1) _ (m - ~ + 2) + 2h - 1= - (k : 1) + km- 2 + 2j
~ km - !(k 2 + k) - 2 + 2j
= k(m - !(k + 1)) - 2 + 2j
~ 2j,
since 2 ~ k ~ [(m + l)/2]; thus 22ilc 1(m + 1), and Theorem 10.1 is
established.
The theorem above allows us to prove certain congruences for b(4n) - b(n)
•
originally conjectured by R. F. Churchhouse and proved independently by
0. Rodseth and H. Gupta.
(10.2.9)
(10.2.10)
furthermore, (10.2.9) and (10.2.10) are best possible in. that no higher power
of 2 divides b(4n) - b(n).
166 Congruence Properties of Partition Functions Chap. 10.2
and
have integral coefficients and that the coefficients of the odd powers of q
are themselves odd. This is equivalent to Theorem 10.2.
If k = 1, then (I 0.2.5) implies
Also by (10.2.6),
2k+l) 3k
2k-l -3k 2(qG(q)
+ L
j=3
2 cpk).'7 2k-h) = - --~----- ·
(l-q)2k+2
2 -
By Theorem 10.1, 16lc 1(2k), 81ci2k), and 2 2ilci(2k), also for k > I,
Hence from the induction hypothesis we see that 2- 3 k.~ 2 k(q) has integral
coefficients. Furthermore since 16-tci2k),
j=O
2k-l
+ T 3k- 2ci2k + 1)§2k- 1(q) + L 2-Jk- 3ci(2k + 1)§2k+I-j{q)
}=3
2k + 2)
2( 2 -Jk-2 qG(q)
--------~·
(1 - q)2k+3
10.3 Ramanujan's Co'1iecture for 5 11 167
Again by Theorem 10.1, 16lc 1(2k + 1), 81ci2k + 1), 2 21 icj(2k), also for
k > 1,
ek ; 2
) _ 3k _2 > 0.
2
Hence from the induction hypothesis we see that T Jk- §" lk + 1(q) has integral
coefficients. Furthermore, since 16tci2k + 1),
00
Our first task is to translate Ramanujan 's conjecture into terms amenable
to the use of generating functions. In particular, we shall obtain a general
family of identities of which (10.1.3) is the simplest case. Besides the Heeke
operator U5 , we also require the modular equation of fifth degree, which we
state in the form
+ 3·5~2(q2\q25)~_ + 5~(q2~q25)~ +
(q)~ (q)oo
1)· (10.3.1)
For a proof of this result we refer the reader to Knopp (1970, p. 119, Eq. (2.5)).
To simplify notation, we define
(10.3.2)
and
(10.3.3)
S, = L a,Jgi(q)
j=l
wllere 5 divides eacll a,i, also v(a,j) ~ [(5j - r + 1}/2], and a,i = 0 unless
[(r + 4)/5] ~ j ~ r, wllere [x] is tlte greatest integer function.
Proof. We begin by fixing q and considering the firth-degree polynomial
equation in u:
(10.3.6)
From (10.3.4) we see that u = ¢(q 1 ' 5 ) is one root; in fact, u = ¢(q 1 ' 5 pi),
j = 0, 1, 2, 3, 4 (where p = e2 "' 15 ), are roots of (I 0.3.6) since the replacement
of q by plq in (10.3.4) only alters 1/J(q). Furthermore, since 1 is the coefTicient of
q in 1/J(q) (by (10.3.2)), we see that the ¢(q 115 p1) are all different functions of
q and are indeed distinct as complex numbers for q sufficiently close to zero,
since 1/J(q) ~ q as q -+ 0. Hence we have determined five distinct roots of
(10.3.6) when q is a sufficiently small complex number, and so
n(u -
4
i=O
I/J(q 1 ' 5 p')) = u 5 - g(q)(5 2 u 4 + 52 u 3 + 3·5u 2 + 5u.+ 1). (10.3.7)
and if
then for 1 ~ j ~ n
10.3 Ramanujan's Conjecture for 511 169
Applying Newton's formula to f(x), we find that since S, is the sum of the
rth powers of the roots of the polynomial in (10.3.6),
S 1 = 52 g(q), (10.3.8) 1
We may now easily check all the assertions of Theorem 10.3 directly; the
only one that requires any real care is the inequality for v(a,1), which is directly
verified by induction on r. For 1 ~ r ~ 5, we need only examine the explicit
form of the identity for S,. For r > 5, assume v(a.1) ~ [(5j - s + 1)/5] for
s < rand then examine (10.3.8),:
Therefore
We are now prepared for the proof of Ramanujan's conjecture for powers
of S. Let us restate the conjecture for powers of S only:
=
If 24A. I (mod 5"), then p(A.) =
0 (mod sa).
We begin by remarking that the smallest positive integral solution of
24A. = 1 (mod sa) is
I
_!-(19·S2r-1 + 1) if a= 2r- 1,
24
c =
a __!_ (23·S 2 ' + 1) if a= 2r.
24
for each m ~ 0.
In light of our work in Section 10.2, it would be natural to guess that our
interest should center on ·
00 00
THEOREM 10.4. Each L.(q) is a polynomial in g(q) (see (10.3.3) for the
definition of g(q)) with integral coefficients. Furthermore, if we write this
polynomial as L.(q) = L:'=o b.,g'(q), then
b.o = 0, (10.3.11)
(10.3.12)
When n = 1,
00
00
= (q 5 ; q
5
) 00 Us L p(m- 1)qm
m=l
q25)
= u5 -q(q25;
- - - - -- .
(q)oo
00
= Usi/J(q)
= iS1
= 5g(q) (10.3.14)
m=O
00
00
00
= U 5 L b2r-l,sg'(q)
s=O
=L b2r-I,.U5(g'(q))
•=0
~ b (q):,' u5"1',1,.6S( q )
£.., 2r-l,s~(5 ~ )6s
s= 0 q q , fJ 5 oo
00 1 1 00 •
= l:
s= 0
b2r-l .• g-•(q)-
5 l:
}=I
a6,,jg (q)
1 (by Theorem 10.3)
00 00
= L g'(q)Llb2r-l,sa6.,,t+s
t=-oo .~=0
= L g'(q)b2r,t• (10.3.15)
t= -oo
where
00
We may now deduce the truth of (10.3.11), (10.3.12), and (10.3.13)' for
b 2 ,,, from (10.3.16) using Theorem 10.3 (for properties of the. a 6 ,,, +s) and
the induction hypothesis (for properties of the b 2 ,_ 1 ••). In particular, if
t ~ 0, then t + s ~ s, and so by Theorem 10.3 a 6s,r+s = 0 for s > 0 since
·[6s+4]
-5- > s ~ t + s.
b2r,l = l L b2r-l,s'Q6s,s+l
s=O
10.3 Ramanujan's Co'1iecture for 5 11 173
= b2r-1,1•5•63
= - 1+ .
mtn {2r - [5s - 5] [5t - s+ 1]}
1 + ·-- +
[(s+4)/5]<0t<05s 2 2
s~l
~ 5s--5] +
- 1 + {2r - 1 + [- [5t - s+ 1]}
2 2 ats= I
~
[5t- 4] .
2r+ - -
2
00
= (qs; qs)oo L p(52'm + 3. 52' + c2,)q'"+ I
m=O
00
= (q5;q5)ooU5 L p(52'm + c2,)qm+2
rn=O
174 Congruence Properties of Partition Functions Chap. 10.3
Us L b2,,si/J(q)g'(q)
s=O
= L b2r,.Us(I/J(q)g'(q))
s=O
)6•
-
-
"
~
0()
b
(
2r,s '( 5 , 5 6s
q 0() u5 (.J..6•+1(
'I' q
))
s-0 qq,q)oo
0() 0()
whence
0()
b2r+ I ,r = l L b2r,sa6s+
s=O
l,t+s• (10.3.18)
= I
s= 1
b2n-l ,s (-qf(qg~)--- ·
' oo
(10.3.19)
The same argument handles the case in which a = 2n; the only change is
the replacement of (q 5 ; q 5 ) 00 by (q)OO' •
CoROLLARY 10.6.
oo
5( s. s)s
I p(5n + 4)qn = q '~ oo.
n=O (q) 00
A natural question to ask at this stage is: Are there any combinatorial
•
interpretations for these congruences? Actually the two congruences (10.1.1)
and (10.1.2) have combinatorial interpretations; however, none of the other
congruences have known interpretations. The following theorem (conjectured
by F. J. Dyson and proved by A. 0. L. Atkin and H. P. F. Swinnerton-Dyer)
provides the known interpretations:
The only known proof of this would require too much space for its presenta-
•
tion here. We should point out that it is primarily an analytic proof which
relies heavily on the properties of modular functions. No combinatorial proof
of Theorem 10.7 is known.
Examples
note
for r > 0.
l.
( •+ I)
m G(m;q)q
L a.(r)lf' _.(m;q)=~--------
r-1
i=O I r (l - q)'+2
I
2
where a 0 (r) = l, mla 1(r) if m is odd, !mla 1(r) if m is even, and m 2 i- 2 lai(r)
for 2 ~ j ~ r - l.
6. For each m, we let J1 = m if m is odd and JL = !m if m is even. Then
q(q)~ = q(q)~(q)oo,
10. We may define f(q) =g(q) (mod 5) if a" =b" (mod 5) for all n where
f(q) = L,.., 0 a.q" and g(q) = L.;;.o b.q". It is easy to show, using the binomial
series, that
1 - q5
( _ q) 5
1
= 1 (mod 5).
11. From Example 10, we see that
(q
5
q )"'
;
5
5
=1 (mod 5).
(q)oo
Notes
As was mentioned in Section 10.1, the most readable and complete recent
work on the divisibility properties of p(n) is the book of M. I. Knopp (1970).
Ramanujan's contributions are primarily contained in Paper 25 of his Col-
lected Papers (1927). The paper by Atkin (1967) contains a full account of
the ll" case; G. N. Watson (1938) was the first person to treat fully the
cases 5" and 7".
Atkin (1969), and others (see Lehner, 1969) have greatly extended the study
of arithmetic properties of modular forms; for example, Atkin (1969) has also
shown that
p(206839n + 2623) = 0 (mod 17).
References
Higher-Dimensional Partitions
11.1 Introduction
The previous chapters have (with the exception of the multipartite com-
positions treated in Chapter 4) treated partitions as a linear array whose sum
is prescribed:
•
n = n1 + n2 + · · · + n, = L n,,
I= I
From the comments in the preceding section we see that the plane partitions
of n are two-dimensional arrays of nonnegative integers in the first quadrant
179
180 Higher-Dimensional Partitions Chap. 11.2
subject to a "non increasing" condition along rows and columns. For example,
there are six plane partitions of 3:
0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 1 0 0
3 0 0 2 1 0 2 0 0
0 0 0 0 0 0 0 0
0 0 0 1 0 0 0 0
1 I I 1 0 0 0
We remark that many times plane partitions are represented in the fourth
quadrant rather than the first; thus the plane partitions of 3 are written
We shall follow the latter custom to keep our results consistent with the
current literature; however, we point out that the use of the first quadrant
simplifies notation when investigating higher-dimensional partitions.
DEFINITION 11.1. Let n.(n 1,n 2, ... ,nt;q) denote the generating function
for plane partitions with at most r columns, at most k rows, and with ni
the first entry in the ith row.
Our work on n,(n 1 , n2, .. . , nk; q) will require an extensive use of Gaussian
polynomials and we refer the reader to Section 3.3 for the appropriate back-
ground material.
We start by noting that the n,(n 1 , ••• , nk; q) are completely determined by
the following recurrence and initial condition:
••
1lr+l(nl,n2•· · .,nk;q) = q••+•>+···+•• L L"' n,(ml•· .. , mk; q),
(11.2.1)
(11.2.2)
We now observe that n.(n 1, ... , nk; q) is easily computed using (11.2.1),
(11.2.2). For example
m
nin,m;q) = q•+m l: l: q•,+m,
ma=O n1=-ma
1- q2m+2 1-qm+l)
= q•+m -~--l ~ _ q•+l _____ (l- q)-1
( 1-q 1-q
n+m [(1 _ q•+l)(l _ qm+l) (1 _ qm+1)(1 _ qm)J
= q -~-----~--- q - - - - - - - - - -
(1 - q) 2 (1 - q)(1 - q 2 )
(11.2.3)
[n; 2] q [m ; 2]
["~2] [111;2]
From here we immediately conjecture that
[" : ~~ 1J q [111 + ; - 1J
n,(n, 111; q) = q" +m
[" : ~; 1] [m ~ ~ ~ 1J
and we easily prove this by induction on r using (3.3.9).
After a few calculations with k = 3, we can make a reasonable guess
concerning the representation of n,(n 1, n 2, . .. , nk; q) as a determinant:
THEOREM 11.1
n(n
r I,
n
2' . . . '
n·q)=q"•+···+"•det qH•-JHI-rO
k' ( ... ["·+r-1])
+ r -
1
j j - 1 I"' i,j <H
.
(11.2.4)
182 Higher-Dimensional Partitions Chap. 11.2
= L
"k
L .. • L
"k-1 "'
qmt +ml+···+mk
mk=O mk-t=mk mt=ml
x det(qW-J)(i-J-1) [ ml ~ r .- l
r-1+1-l
J)· (11.2.5)
We may now sum the inner sum, using (3.3.9). The result transforms the
right-hand side by leaving a (k - I)-fold summation and replacing the ith
entry in the first column of the determinant in the summand by
qt<t-O(i- 4 ) ([ 11
1
~r J _ [m 2
+ _r - lJ).
r-1+l r-1+l
t(l-2)(i-3) m 2 + r •- lJ
q [ r-i+l'
so if we multiply the second column by q - 1 and add the result to our first
column, we obtain as ith entry for the transformed first column
qHI-1)(i-4) [
111
~ r J.
r- 1 + l
At the jth step, we sum with respect to m1 ; we then multiply the (j + l)st
column by q- 1 and add the result to our jth column. The resultingjth column
has as ith entry
!(i-j)(l-j-3) 11-+r
J . J
q [ r - 1. 1 +.
Hence, after all k summations are completed, we have
( 11.2.6)
11.2 Plane Partitions 183
If we multiply the ith row of the determinant in (11.2.6) by q 1 - I and divide the
jth column by q1 - 1 (and as a result do not alter the value of the determinant),
we obtain
""~···~"'~"
(11.2.8)
n:k_,(n; q) = det
( ..
qH•-JHi-J-1) r n+r
r-I+J
. . J) l,;,f.i<a
. (11.2.9)
THEOREM 11.2
where
184 Higher-Dimensional Partitions Chap. 11.3
ciJ = t
s=O
q!•(s-1) [jJ
S
qrs+!(i-s)(i-s-1) [
11
11
+
~
I -
r
S
J
(11.2.11)
where neither W(k, r) (which is upper triangular with no zeros on the main
diagonal) nor C(k, r) depends on n. We may therefore determine C(k, r)/W(k, r)
by setting n = 0 in (11.2.11). Thus
and therefore
as desired.
L Pk,oo(m,! oo)qm =
m=O '
fi (1 -
}=1
ql)-min(k,j); (11.2.14)
n (1 -
00
Furthermore the desired correspondence is such that the ith column sum
(resp. ith row sum) of a matrix A from (i) equals the number of times i
appears in the corresponding plane partition n: (resp. n:') in (iii).
Proof. The correspondence between (i) and (ii) is simple; to each sequence
described in (ii) associate the incidence matrix A = (ail), that is, a;1 is the
number of times the pair (i,j) (written for our purposes as j) occurs in the
corresponding sequence of (ii). For example
3 2 2
) 3 3 3 3 3 3 2 2 2 1
1 1 1 (11.3.1)
( +-+3 2 2 2 1 1 3 2 1 3 3 2 2
2 3 1
We now produce the ordered pair of plane partitions (n:, n:'); the entries in
n: arise from the second elements (or bottom row) in the sequence of ordered
pairs; those in n:' arise from the first elements (or top row). Our procedure
is an algorithm that describes how to build up n: and n:' step by step from the
sequence of pairs in (ii).
The second elements j from each term J of our sequence are to be inserted
in their appropriate place in the top row of n: (i.e., so that nonincrease along
rows is maintained). If the appropriate place of insertion for j already contains
a smaller integer j 1 , then j takes the place of j 1 and the smaller integer j 1 is
inserted in the second row. If the appropriate place in the second row for j 1
is taken by j 2 , thenj 2 is inserted in the third row, and so on. Once the sequence
of bum pings caused by the insertion of j is concluded, then i (the first element
of the pair j) is inserted into n:' in such a way that the corresponding rows of
n: and n:' are always of the same length.
To obtain a feel for the mechanics of the foregoing procedure, we produce
step by step the (n:, n:') corresponding to (11.3.1) (the circled number is the
new insertion, the underlined numbers are ones "bumped" by the new
insertion).
Higher-Dimensional Partitions Chap. 11.3
® ®
3@ 3@
3 2 ® 3 3 ®
3 2 2® 3 3 3@
3 2 2 2Q) 3 3 3 3 ®
3 2 2 2 Q) 3 3 3 3 3 ®
3@ 2 2 3 3 3 3 3 3
2 ®
3 3 2 2® 3 3 3 3 3 3
2 I 2®
3 3 2 2 2 I Q) 3 3 3 3 3 3@
2 I 2 2
3 3 ® 2 2 I I 3 3 3 3 3 3 2
2 g 2 2
I Q)
3 3 3 ® 2 I I 3 3 3 3 3 3 2
2 2 £ 2 2Q)
I I
3 3 3 3 2®1 3 3 3 3 3 3 2
2 2 2 l 2 2 IQ)
I I
3 3 3 3 2 2® 3 3 3 3 3 3 2
2 2 2 I I 2 2 I IQ)
I I
3 3 3 3 2 2 2Q) 3 3 3 3 3 3 2Q)
2 2 2 I I 2 2 I I I
I I
3 3 3 3 2 2 2
2 2 2 I I
IQ) 3 3 3 3 3 3 2
2 2 I I I
IQ)
-"'
'!'
0
--...
on
I I
0
3 3 3 3 2 2 2 I IQ) 3 3 3 3 3 3 2 I IQ) 6
2 2 2 I 2 2 I I I :z:
~
I I !:!)
11.3 The Knuth-Schensted Correspondence 187
Inspection of the foregoing procedure shows immediately that then and n'
have corresponding rows of equal length and the correspondence between
the appearances of i in n (resp. n') and the ith column (resp. row) sum is
clear. Furthermore (using mathematical induction on the number of steps
completed in the procedure), we see that bumping can only result in entries
moving downward and not to the right, and thus strict decrease along col-
umns is maintained inn at each step. Since insertions into n' are successively
made from a nonincreasing sequence, we see that nonincrease must hold
along rows and columns; moreover, strict decrease must obtain in the col-
umns of n' since if J, }, are two successive terms in our sequence, the number
of bum pings induced by j 1 is greater than or equal to the number induced by
j 2 (hence, insertions of i move successively to the right).
The main question, however, is: Does the foregoing procedure establish
a one-to-one correspondence between the elements defined in (ii) and those
defined in (iii)? Let us show that our procedure is uniquely reversible and
consequently does establish a one-to-one correspondence. First we point out
that the remark made at the end of the preceding paragraph allows us to pick
out the last insertion made in n' (it is the rightmost appearance of the smallest
integer appearing). If this integer, say i, occurs on the first row of n', then
the corresponding entry in n is the last insertion in n. If i occurs on some
other row, then the corresponding entry in n was the end of a bumping chain
and we can clearly reverse the bumping process to determine what entry was
inserted in n. Thus the procedure yields a bijection, and Theorem 11.4 is
established. •
J
Proof. Let us define the class of in the sequence of pairs corresponding
to A as the position in the first row of n where j is initially inserted. Returning
to our example ( 11.3.1 ), we may list the classes of each pair directly below
the pair as follows:
3 3 3 3 3 3 2 2 2 I I I
3 2 2 2 3 2 3 3 2 2
class 2 3 4 5 6 2 5 7 3 4 6 7 8 9 I0
Now the entries in the first row of n are made up in order of the last entries
in each class: namely, 3 3 3 3 2 2 2 I I I.
The important thing about class membership is that it is possible to define
it in a manner that does not depend on the lexicographic ordering of the
J
sequence. Namely, is in class t if and only if t is the largest subset of pairs
188 Higher-Dimensional Partitions Chap. 11.3
such that
Thus from this last observation we see that the class of~ in our sequence is
the same as that of { in the sequence of reversed ordered pairs, which clearly
corresponds to AT. Hence the first row of the first plane partition corresponding
to AT is the first row of n' and the first row of the second plane partition
corresponding to AT is the first row of n.
Deleting from the ordered pairs sequence the entries that produce the first
rows of the plane partitions, we may follow exactly the same procedure to
establish the interchange of the second rows, and so on. Thus we see that
(n', n) corresponds to AT. •
n(I -
iES
qi)-1 n(1 -
i,jES
qi+j)-1.
i<j
I n q'a,,
A i,j;. I
where the sum is over all symmetric matrices A of nonnegative integers subject
to the condition that aiJ = 0 if i ¢ S or j ¢ S. Hence
11.4 Higher-Dimensional Partitions 189
= n (1 -
iES
q')-1 n (1 -
I<}
q'+J)-1.
•
I,}ES
In the examples there is discussed the fact that certain two-variable generating
functions arise in a very natural way relative to plane partitions through
Corollary 11.6. For example, the coefficient of amq• in
n=1
n (I -
00
aq")-n
is the number of plane partitions of n for which the sum of the diagonal
parts ism.
L Mk(n)q" = n (1
00 00 (k+l-2)
- qj)- k-1 . (I 1.4.1)
n=O i= 1
k-1 . (11.4.2)
n=O i= 1
Then
Pk(4) =
Mk(4) =I+ +4G) +(~)·
4k (I 1.4. 7)
llk(5) =
Mk(5) =I + +II G) +7G) +(~)'
6k ( 11.4.8)
Jlk(6) =
Mk(6) +(~)+G)= I+ IOk +27G) +29G) +12(~) +G)·
(I 1.4.9)
Proof. We begin by treating llk(n):
n=O
X q4)-
(I _ 4 ( k+2)
3 (I _ q5)-
(k+3) (k+4)
(I _ q6)- 5 •••
kq2 c;
x(I + + I) q4 +( 2) +... ) k ; q6
x (I + ( k ; 2) q4 + ... )
x (I + (k ; 3) q 5
+ ... )
=I + + + +(I + +G))
q (k t)q
2
2k q
3
+(I ~~G)+7G)+(~))q 5
+6k+
+···, (I 1.4.10)
11.4 Higher-Dimensional Partitions 191
Table 11.1
Total choices
Ordinary partition of 6 Arrangements in higher-dimensional space for placing
arrangement
6 6 at origin
"l-axls
1---
5---
5+1 k
"l-axis
2__......
4-----
4+2 k
"l-axis
1---
1---
4----
4+1+1 k
x. -axis
I____., J
4...---
------I
---..xR -axis
(:)
...--x. -axis
3 J
3+ 3 3--- k
...--x. -axis
I J
2---
3+2+1 3...--- k
_..--x. -axis
2 J
3----
~I 2(:)
~-axis
t
q-
~
"'"'
~
~
__.-x1 -axis
....0 ------1
6
zAI ------1
3+1+1+1 _.-I k
~
3
192 Higher-Dimensional Partitions Chap. 11.4
Total choices
Ordinary partition of 6 Arrangements in higher-dimensional space for placing
arrangement
------------
--~-axis
..-------1
_.......--1
3........._
1......._ •
2(:)
x1 -aXIS
~~-aKiS
_.......--1
3~ 1-xt -axis
I
(:)
~xh -axis
---~-aKiS
3..-------1----._1
-..............1------
(:)
--......__xt -axis
2
.---x. -axis J
2--
2+2+2 2-- k
------~ -axis
~2
2........._
2
.........__xl -ads
(:)
...--- x -axis
1 1
I_............
2+2+1+1 2--
2--
k
_____..x1 -axis
_-I
__.2
2............__
2(:)
I
--............. x1 -axis
_.....--~-axis
-
'!'
0
"'-
"'
_-I
2----._
..-------1
2(:) -
0
~
0
2 zAI
--...._)(ll - aJtiS
~
. ·-o ~ ... ·~ ·- "' ... . .......... ·•··
Total choices
Ordinary partition of 6 Arrangements in higher-dimensional space for placing
arrangement
__.-~-axis
_....---1
_....---1
_....---1
__.I
2+1+1+1+1 2 k
-"'
'!'
0
--...
"'
0
0
zAI
~
Higher-Dimensional Partitions Chap. 11.4
Total choices
inary partition of 6 Arrangements in higher-dimensional space for placing
arrangement
~~-aKiS
__.....-1
2-1 .
'\"-- - X -aKIS
\ I .e
I ~x -axis
\ h
x.I -axis
I +I-ll +I +I +I
___.- ~- -aKis
__.....-1
__.....-1 -
'!'
0
"'-
"'
...-
__.I
__.....-1
1---_ 0
I---.__ • 6
---._At -aKIS zAI
!!)
11.4 Higher-Dimensional Partitions 19
Total choice
Ordinary partition of 6 Arrangements in higher-dimensional space for placing
arrangemen
__.-~-axis
_..........-1
__.....-1
__.....-1
1----
1---- I
-..............~-axis
,......-- ~-axis
-- ,--
'-=:::-t
1--
. . . .,_ --x
I :t
.
-axts
"'-... xh -axis
-x.-axis
_.-1_.- 1 I
1
~1-x.e -axis
'\ 1--........ xh -axts
.
1
~
X,· -aXIS
.
-"'
q-
0
___ ,___
--
"' _-~-axis
0
N
___ _............,
,___ _............,
_............,
6
zAI 1....__ .
x1 -aXIS
~
Higher-Dimensional Partitions Chap. 11.4
Total choices
nary partition of 6 Arrangements in higher-dimensional space for placing
arrangement
---- ----~-- ---~--------~-------------
"l-axis
1--
1-----
I_...--- --.__ I
---~-----
---1
(:)
-----x. l
-axis
.--"l -axis
..--1
_........-1
1----- ---1
I
-..............1---
z(:)
-...........x.1 -axis
/"l-axis
1-1
1(1<_x1 -axis
1-1
3C)
"-,.. xn -a ~tis
/ x1 -axi~
~I -x~.-ax•s
1~1 . 6(:)
"-._ l " x -aKIS
1-1 h
'-......x.I -axis
.--"l -axis
_...---I
____.1 .
I - - - 1:::::::_--xR -aXIS
'--.....1-1
3C)
"-,.. xh -axis
1---
x -axis
1 -
'!'
0
"'-
"'
I ..--1 - - 1 - x. -axis
" "1-1
-" 1
6(:) -...
0
0
~xn -axis za!
~
1 J. ·"' J'J/
for k ~ 3.
Given the disappointing nature of the foregoing results, we can well expect
•
disappointment on other questions concerning higher-dimensional partitions.
Observing that M 2 (3) = 6 = 3·2, M 2 (6) = 48 = 3 x 16, Mi9) = 282 =
3 X 94, M 2(12) = 1479 = 3 X 493, Mi15) = 6879 = 3 X 2293, we might
be tempted to conjecture that 31M 2 (3n) for all n. Our hopes are dashed,
however, by the following:
Examples
•
l. An examination of the structure of the successive ranks of a partition
(see Section 9.3) shows that there is a one-to-one correspondence between
each ordinary partition rr = (A. 1 , . . . , A.k) of 11 and ordered pairs of partitions
(rr~> rr 2 )where rr 1 = (). 1 ', A. 2 ', . . . , A.;), rr 2 = (). 1 ", . . . ,A.,"), A1 = A. 1 ', k- I= A. 1 ",
I (A.;' + A.;") = n, l;' - ).;" is the ith successive rank of rr.
2. The correspondence in Example 1 may be utilized to establish a one-
to-one correspondence between plane partitions rr of n with at most r rows
and each part ~ m and ordered pairs (rr', rr") of plane partitions, each with
strict decrease along columns such that each part of rr' is at most m and each
part of rr" is at most r.
3. Example 2 and Theorem 11.4 may be used to prove Corollary 11.3 by
the use of the technique that appears in Theorem 11.7.
4. The Ferrers graphs of plane partitions (a concept introduced in Section
11.4) may be used to define six conjugates of a plane partition rr (these arise
from the 3! possible permutations of the coordinate axes related to the three-
dimensional Ferrers graph of rr). We consider one of these conjugations,
say ,, for which •rr is the plane partition in which each row of •rr is the con-
jugate (in the ordinary partition sense) of the corresponding row of rr. The
trace of a plane partition rr is the sum In;; of the diagonal entries in rr;
the conjugate trace of rr is the number of entries nii of rr such that nii ~ i.
The trace of rr and the conjugate trace of •rr are identical.
5. The proof in Example 3 may be extended and combined with Example 4
to show that the coefficient of zmq" in
Notes 199
n(l -
n~ 1
zq")-n
c= Jeylogy d .
2 ~Y- 1 y
0
The relevant functions for Theorem 6.2 are D(s) = ((s - 1), g(r) =
e-r/((1 - e-r)2).
Similar results can be obtained for numerous special cases of Theorem 11.7.
7*. Let us consider those r-dimensional partitions whose nonzero entries
n;,; 2 ••• 1, occur precisely at the points (i 1 , i 2, ... , i,) that define the graphical
representation of a fixed (r - 1)-dimensional partition n of N. Let
am(s 1 , ••. , s.) denote the number of r-dimensional partitions of m with strict
decrease holding in Eq. (11.1.1)whenever anyofi,, < j,,, i, 2 < j, 2 , • • • , i,. <j••
holds, where {s 1 ,s 2, ... ,s.} is a fixed subset of {1,2, ... , r}. Let {1 1 , 12, ... ,I,_.}
be the complement of {s 1 , s 2, ... , s.} in {1, 2, ... , r}. If
A(q) = I am(s,, s2•· .. , s,)qm,
m~O
and
Bo(q) = I am(t,, 12,• .. , l,_.)qm,
m~O
then
Notes
This chapter has only briefly touched a very active area of research. The
topic of higher-dimensional partitions, as such, originated with MacMahon
(1916). However, Young tableaux (which are essentially equivalent to plane
partitions with strict decrease along columns) were originated earlier by
Rev. Alfred Young in his work on invariant theory. Since then, Young
tableaux have played an important role in the representation theory of the
symmetric group (see Rutherford, 1948); they also occur in algebraic geometry
(see Lascoux, 1974a, b), and in many combinatorial problems (Kreweras,
200 lligher-Dimensional Partitions Chap. II
References
Andrews, G. E. (1971). "On a conjecture of Guinand for the plane partition function,"
Proc. Edinbur,qh Math. Soc. (2) 17, 275-276.
Atkin, A. 0. L, Bralley, P., MacDonald, I. G., and McKay, J. K. S. (1?67). "Some
computation~ for m-dimen~ional partitions," !'roc. Cambricfqe l'lu'l. Soc. 63. 1097-
1100.
Carlitz, L (1967). "Rectangular arrays and plane partitions," Acta Arith. 13, 22-47.
Chaundy, T. W. (1931). "Partition-generating functions," Quart. J. Math. Oxford Ser.
2, 234-240.
Gordon, B. (1962). "Two new representations of the partition function," Proc. Amer.
Math. Soc. 13, 869-873.
Gordon, B. (1971 ). "Notes on plane partitions. V,'' J. Combinatorial Theory Btl,
157-168.
Gordon, R. and Houten, L (1968). "Notes on plane partitions. I, II," J. Combinatorial
Theory 4, 72-80, 81-99.
Hodge, W. V. D., and Pedoe, D. (1952). Methods of Algebraic Geometry, Vol. 2.
Camhridge Univ. Press, London and New York.
Knuth, D. E. (1970). "Permutations matrices and generalized Young tahleaux," Panfic
J. Math. 34, 709-727.
Knuth, D. E., and Bender, E. A. (1972). "Enumeration of plane partitions," J. Com-
binatorial Theory 13, 40-54.
keterences
12.1 Introduction
As we saw in Chapter 4, problems often arise concerning the additive
decomposition of nonzero vectors with nonnegative integral coordinates
(also called multipartite numbers). Our work in Chapter 4 dealt with applica-
tions of "compositions" of multipartite numbers. Now we shall consider
partitions of multipartite numbers. As usual, compositions take order of
summands into account; partitions do not. The elementary theory of multi-
partite partitions resembles greatly the elementary theory of ordinary partitions
presented in Chapter 1 related to infinite products. Unfortunately there is
not known any truly simple type of infinite series that is as useful in treating
multipartite partitions as the basic hypergeometric series (introduced in
Chapter 2) are in treating ordinary partitions. Thus we only know of com-
paratively simple identities related to multipartite partition functions (see
Section 12.2), and we do not have any device like Euler's pentagonal number
theorem (Corollary l. 7) for the rapid calculation of any multipartite partition
functions. The most useful theorems for actual evaluation of multipartite
partition functions are presented in Theorem 12.3.
L. Carlitz and others have considered problems of restricted multipartite
partitions. In particular, they look at k-partite partitions
r
(n 1 ,. . •, nk) =I (m 11, m 21, .. . , mk1)
j= I
202
Multipartite I.Jenerating I:- unctions 203
(i.e., an ordered r-tuple of nonnegative integers not all zero). That is, P(n) is
the number of distinct representations of nasa sum of multipartite numbers:
n = ~<o + ~(2) + ... + ~<•l (12.2.1)
subject to lexicographic ordering ~<n ~ ~(I+ 11 of the parts:
~(i) = (~ 1 <n, .•. , ~,<il) > (~ 1 (1+0, ... , ~,(l+t)) = ~(l+t)
provided ~/' 1 > ~/'+ 11 where j is the least integer such that ~/n ¥- ~/'+ 0 .
If the number of parts in the partition is restricted to be at most j, we write
P,,(n;j).
For simplicity in the treatment of the related generating functions we define
Q(n) as the number of partitions of n into distinct parts where (0, 0, ... , 0)
may be a part, and Q(n;j) is the number of such partitions withj parts. If we
desire that (0) be excluded as a part, we shall write Q+(n) or Q+(n;j). The
treatment in Chapter 1 extends directly to the study of P(n) and Q(n). In fact,
obvious alterations of Theorem 1.1 allow us to prove that
I
"l·····"r~O
P(n)x,"•·. ·x,"· = n
n, ~O···n,.~O.
(l- x,"'xl"z .. ·xr"·)- 1, (12.2.2)
not all zero
I
n 1 , •••• n,.~O
Q(n)x,"•· "X,"'= n
n 1 ~0···n,.~O
(l + x,"'xl"z."xr"•); (12.2.3)
here for absolute convergence we need only require that !x,! < for 1 ~
i ~ r.
It is now fairly obvious that all properties of ordinary (or unipartite)
partitions that depend solely on infinite products can be extended without
much effort to properties of multipartite numbers. For example, we have
Cheema's extension of Euler's theorem:
THEOREM 12.1. For every n, Q+(n) equals l!J(n), the number of partitions
of n (see (12.2.1)) in which each part (~,<il, ... , ~/' 1 ) has at least one odd
component.
Proof. As in the proof of Corollary 1.2,
1+ I
(n)>(O)
Q+(n)x 1"• • • ·x,"• = n
(n)>(O)
(1 + x,"•xl"z·. ·x,"·)
n
(n)>(O)
(1- x,2"•x22n, .. ·x/"•)
---~----
(1- x 1"•x 2"2 • • ·x,"•)
n
(n)>(O)
( l - x,"•xl"z·. ·x,"·)- 1
at leastonen~odd
I l!J(n)x 1"•···x,"•;
(n);.(O)
h(t) = f(g(t)).
If we denote
d"f
"do" =f",
then we see that
11, = ft
h2 = ftg2 + f2gt 2
h3 = ftg3 + 3f2g2gl + f3gt 3
In light of this last observation, we see that the study of h" may be reduced
to the study of the Bell polynomials:
(12.3.2)
Note that Y" is a polynomial in n variables and the fact that g 1 was originally
an ith derivative is not necessary in the consideration of(12.3.2). Finally, we
note that the choice of the f(t) as e' in (12.3.1) produces the simple formula
(12.3.3)
This formula is important for two reasons: First, it provides a nice recurrence
for the Bell polynomials (we now write D = d/dt):
= I(")
k=O k
(e-gvn-keg)Dkg,
g6(u) = I
n=O
Y"u~.
n!
( 12.3.5)
(12.3.7)
206 Vector or Multipartite Partitions Chap. 12.3
00
THEOREM 12.3
(12.3.12)
(12.3.13)
wliere /J;(m) = 01= 1
1 (I - xt)- •
Proof. The arguments establishing Eqs. ( 12.2.2) and ( 12.2.3) are easily
refined to show that
and
Therefore
um
= I -- (m
m=l m!
- 1)!/J,(m). (12.3.16)
12.4 Restricted Bipartite Partitions L.V/
Equation (12.3.14) now follows from the fact that (12.3.16) is a special case
of (12.3.6), which is equivalent to (12.3.5). Next
"' um
=- I
m~1
- ( m - 1)!/J,(m),
m!
(12.3.17)
=~[l~o-x/)-1 + ,Qo-x/)]
1 1 + Oi~ 1 (l + X;)
= 2 -fli~ 1 (l - x;)2
(12.4.1)
where min(n 1, m;) ~ max(n 1 +., m 1 + 1 ), i ~ i < r. Our main result (due to
L. Carlitz) is Corollary 12.5, which is a partition identity different from the
simple extensions of partition ideals of order 1 considered in Section 12.2.
I "'
n(n,m)x"ym=0(l-x"y"- 1 1 1 1 2 2 1
)- (1-x"- y")- (1-x "y ")- • (12.4.2)
n.m~O n=l
208 Vector or Multipartite Partitions Chap. 12.4
Proof. Let rr(a, bin, 111) denote the number of partitions of (11, m) of the
type ( 12.4.1) subject to the additional restriction min( a, b) ~ max(n 1 , m 1 ), and
write
Then clearly
min(n,m)
where we have merely classified each partition with largest part max(r, s) ~
min( n, m ).
Hence if
00
F 1(u) =I u'~..,
r=O
= L x"y"~,"'" I u"
,.,,.30 n=max(r,s)
00 00
=(I - 11)-
1
{It.<xu)'y'~ss + .~.x'(yu)'~ .. - ,~0(xyun..}
= ( I - u)-
1
{o- xu)- 1 5~0(xyu)'~ss
(I - xvu 2 )
- -- - · - - - F (uxy). (12.4.4)
( I - u)(l- Xil)(l- yu) 1
( 12.4.5)
Examples 209
"' (I _ x2•-1y2n-1)
"' I
= } ]1 (1- x 2"y 2 ")(l.:::. x"-lJ")(I- x"y"- 1) •
Since the infinite product in ( 12.4.2) is clearly the generating function for
rr 1 (n, m), the number of bipartite partitions of (n, m) in which all parts are
of the forms (2a, 2a) or (a - I, a) or (a, a - 1), we obtain the following
result immediately.
I I
( I - q)(l - q2)· :~(1 _::·q;) =I p;,-2;~J,~~.~~;;p~p2!· :-~p;!
X --------- ---·------------
() _ q)P•(I _ q2)P,·. ·(I _ qi)P• •
where the summation runs over all partitions (I P,2P,3P> · · ·)of i, is an imme-
diate corollary of Theorem 12.3.
2. The su mmatory maximum of 11 1 , n 2 , • •• , n,(written smax(n 1 , n 2 , • •• , n,)) is
definedbysmax(n 1 ,n 2 , .. . ,n,)= n 1 + n 2 + · · · + n,-(r-l)min(n 1 ,n 2 , .. . ,n,).
The identity smax(n 1 , n 2 , •• • , n,) = max(n 1 , n 2 , •• • , n,) is valid in general
only if r = I of 2.
3. The proof of Theorem 12.4 may be extended to prove that the number
of partitions of ( n 1 , ••• , n,) in which the minimum coordinate of each part
is at least as large as the summatory maximum of the next part equals the
number of partitions of (n 1 , ••• , n,) in which each part has one of the 2r - I
forms(a + I, a, ... , a),(a, a+ I, a, ... , a), ... ,(a, a, ... , a, a+ l),(ar + 2,
ar + 2, ... ,ar + 2), (ar + 3,ar + 3, ... ,ar + 3), ... ,(ar + r,ar + r, ... ,
ar + r) (a ~ 0). The proof relies on the crucial observation that
I I I - xyu 2
---+--~-I
I -xu I - yu <t=- .Xii)(f-= .Yii)
is a special case of
210 Vector or Multipartite Partitions Chap. 12
1- x 1 x 2 • • ·x,u'
= (1 - ux 1 ) ( ( - ux 2 )· • ·(1 - ux,)
6. From Example 5 we see that the generating function for plane partitions
with trace 2 is
q2(1 + q2)
-~------
(1 - q)2(1 - q2)2.
Notes
References
Andrews, G. E. (1976). "An extension of Carlitz's bipartition identity," to appear.
Bell, E. T. (1934). "Exponential polynomials," Ann. of Math. 35, 258-277.
Carlitz, L. (1963a). "Some generating functions," Duke Math. J. 30, 191-201.
Carlitz, L. (1963b). "A problem in partitions," Duke Math. J. 30,203-213.
Carlitz, L., and Roselle, D. P. (1966). "Restricted bipartite partitions," Pacific J. Math.
19, 221-228.
Cheema, M. S. (1964). "Vector partitions and combinatorial identities," Math. Comp.
18, 414-420.
Cheema, M. S., and Motzkin, T. S. (1971). "Multipartitions and multipermutations,"
Proc. Symp. Pure Math. 19, 39-70.
Comtet, L. (1974). Advanced Combinatorics. D. Reidel, Dordrecht.
Fine, N. J. (1959). "Sums over partitions," Rep. /nst. Theory of Numbers (Boulder)
pp. 86-94.
Gordon, B. (1963). "Two theorems on multipartite partitions," J. London Math. Soc.
38, 459-464.
LeVeque, W. J. (1974). Reviews in Number Theory, Vol. 4. Amer. Math. Soc., Providence,
R.I.
MacMahon, P. A. (1915-1916). Combinatory Analysis, Vols. I and 2. Cambridge Univ.
Press, London and New York (reprinted by Chelsea, New York, 1960).
MacMahon, P. A, (1917). "Memoir on the theory of partitions of numbers, VII,"
Phi/os. Trans. Roy. Soc. London A217, 81-113.
Riordan, J. (1958). An Introduction to Combinatorial Analysis. Wiley, New York.
Robertson, M. M. (1962). "Partitions of large multipartites," A mer. J. Math. 84, 16-34.
Roselle, D. P. (1966a). "Generalized Eulerian functions and a problem in partitions,"
Duke Math. J. 33, 293-304.
Roselle, D. P. (1966b). "Restricted k-partite partitions," Math. Nachr. 32, 139-148.
Roselle, D. P. (1974). "Coefficients associated with the expansion of certain products,"
Proc. Amer. Math. Soc. 45, 144-150.
Solomon, L. (1977). "Partition identities related to symmetric polynomials in several
sets of variables," to appear.
Subbarao, M. V. (1971). "Partition theorems for Euler pairs," Proc. Amer. Math. Soc.
28, 33G-336.
Wright, E. M. (1956). "Partitions of multipartite numbers," Proc. Amer. Math. Soc. 7,
88G-890.
CHAPTER 13
Partitions in Combinatorics
13.1 Introduction
The subject matter for this chapter could well fill a book by itself. Our
justification for an abbreviated treatment lies in the fact that our expressed
goal was to treat the term "partitions" primarily as "partitions of numbers."
Not surprisingly, partitions of numbers often are closely related to partition
problems in combinatorics. For this reason, we shall look at a few topics
where partitions of numbers play an important role: finite vector spaces,
partitions of sets, and symmetric functions. The first topic mentioned has
been studied extensively in recent years; we shall present a simple but fun-
damental result of Knuth that relates partitions to the combinatorics of both
finite vector spaces and finite sets. Partitions of sets have been neatly related
to symmetric functions recently by P. Doubilet and we shall introduce this
work in Sections 13.3 and 13.4.
[NM+ M] = (qMq~
(q)N+M
is the generating function for p(N, M, n), the number of partitions of n into
at most M parts each not exceeding N. Surprisingly (at first), these polynomials
arise in the study of finite vector spaces:
THEOREM 13.1. Let V.(q) denote the vector space of dimension n over the
finite field GF(q) of q ( = a prime power) elements. Then there are [~] sub-
spaces of v.(q) of dimension m.
Remark. We present two proofs: The first is fast and elementary. The second
shows explicitly the relationship between partitions and finite vector spaces.
212
13.2 Partitions and Finite Vector Spaces 213
ways.
Now each such m-tuple (v 1 , v2, ••• , v'") spans an m-dimensional subspace
of v.(q); however, several may span the same subspace. In fact, precisely
span the same subspace since this number is the number of ways of choosing
a subset of m linearly independent elements from V'"(q). Hence the number
of m-dimensional subspaces of V.(q) is
•
Second proof of Theorem 13.1. We choose a fixed basis for V,.(q), say
u 1 , u 2 , ••• , u•. Then we know from linear algebra that each subspace of
dimension m has a canonical basis v1 , v2 , ••• , v'" given by
n
where C;,, = 1, CiJ = 0 for j > r;, c.. , = 0 for s < i, for 1 ~ i ~ m,
n ~ r1 > r 2 > · · · > rk ~ l. For clarity let us consider n = 9, m = 5, r 1 = 8,
r 2 = 7, r 3 = 5, r 4 = 3, r 5 = 2:
U 1 = (C 11 , 0, 0, C 14 , 0, C 16 , 0, 1, 0),
u3 = (C 3 .. o, o, C 34 , 1, o, o, o, o),
214 Partitions in Combiriatorics Chap.l3.3
U4 = (C4., o, 1, o, o, o, o, o, o).
U 5 = (C 51 , I, 0, 0, 0, 0, 0, 0, 0).
L
"' p(n -
r-0
m, m, r)q' = [( n - m)
m
+ m 1= [mn 1,
by Theorem 3.1.
Let us begin with the simple question: How many ways can a set of n elements
be split up into a set of disjoint subsets, that is, how many "partitions" are
there of n = { 1, 2, ... , n}?
The answer to this question is called the nth Bell number B. (after Eric
Temple Bell). Table 13.1 gives the first few Bell numbers and the related
partitions.
Table 13.1
0 ~
I {I}
2 {1, 2}; {I}, {2} 2
3 {1, 2, 3}; {1, 2}, {3}; {1, 3}, {2}; {2, 3}, {I}; {I}, {2}, {3} 5
13.3 Putitiona or Sett 21S
We remark that if1t = {/1 1 , /1 2 ;.; • • , /1.,} where each /1. 1 c: {1, 2,.-.~·& n} =a,
then 1t is a partition of a provided U;.!. p, ... 8 'aitd/i, n p1 • 4J (the emptY
set) whenever i ¥= j. The {1 1 are called the block$ of n. Notice that is a there
unique partition (in the sense of Chapter 1) 6r the number ri associated with
each 7t, namely, the partition A(1r) whose partii ·are l/1 1 1, l/12 1, l/13 1,; .. , 1/1...1
where l/1 11is the number of elements of the block {1 1., -.\ ~··~;
For simplicity of notation we make the following .conventions concerning
th~ partition A= (n 1 n2 • • ·n...) = (1'•2"•3'3 • ··)of the nomber rl':'' .. ~· . ,,
..
IAI = r 1 !r2 1r3 1· ··, ... 1 • , ~ )1 ~
si A= ( _ J)'i+2r,+3r•+ ... = ( _ ty'..Cra-rz"-r,i::~\ ~'{ _:_ 'fJ~.Q~l(.b: • If:.
gn ' . I- , , .: ; , .: ,! ·; ,"" l.'.~
· THEOREM 13.2. For each partition A of n given by (l.a•2.a.j.a,, · .,w.a...) th~
11
are exactly ·· · .1: ·'· '' ·"
,;" : j
(13.3.1)
ordered j-tuples of subsets (S~o ... , S1) that are mutually disjoint, whose
union is {l, 2, ... , n}, and where IS1I = n 1• To see this we note that the set S 1
can be chosen in<:.> ways and the remaining} - l sets can then be chosen in
ways. Consequently
216 Partitions in Combinatorics Chap. 13.3
n!
(13.3.2)
THEOREM 13.3. The following formulas hold for the Bell numbers:
B x"
L"' -T
n=O n•
= exp(e" - 1). (13.3.6)
which is ( 13.3.4).
Equation ( 13.3.4) together with B0 = I uniquely determines the Bell
numbers. By (12.3.4) we see that Y.(1, 1, ... , 1) satisfies the same recurrence,
13.3 Partitions of Sets 217
and since Y0 (1, I, ... , I)= I, it follows 'that B, = Y,(l, I,.,., I) for all n.
Hence (13.3.5) is valid.
Finally by (12.3.6),
L 1x") = ·
00
consider the lattice L. of partitions of the set {I, 2, ... , n} =a. Our ultimate
object is to obtain Theorem 13.9, which provides an explicit computational
formula for the Mobius function of this lattice.
First we define a partial order on L, by saying 1t 1 ~ 1t 2 whenever each
block of n 2 is contained in a block of 1t 1 • It is a simple matter to show that
under this partial order L, forms a lattice. The union (or join) 1t 1 v 1t 2 is the
coarsest common refinement of 1t 1 and n 2 , namely, i and j are in the same
block of n 1 v 1t 2 if and only if they are in the same block in 1t 1 and in the same
block in n 2 • The intersection (or meet) n 1 " n 2 is, on the other hand, defined
by the condition that i and j are in the same block if and only if there exists
a chain i = i 0, i 1, i 2, ... , i, = j such that for 0 ~ m < r, i'" and im+l are
in the same block of 1t 1 or n 2 •
The incidence algebra is the algebra of real-valued functions of two
variables whose domain is L. x L. where addition is standard addition of
functions, and multiplication is defined by the convolution:
(fg)(7t1, 1t2) =
.I ~-~-2
f(n., 1t)g(n, 1t2). (13.3.7)
The unit of this algebra is clearly the Kronecker i)-junction: ij(7t 1 , 1t2) = I if
n 1 = n 2 and l)(n 1 , 7t 2) = 0 if 1t 1 '# 1t 2 • Another fundamental function is the
zeta function: ((n 1 , n 2) = I if n 1 ~ n 2 , C(n 1 , n 2) = 0 if 1t 1 :f; 1t2.
The following two results are phrased for the lattice of partitions L,;
however, they are valid in a much more general setting where L, is replaced
by any locally finite partially ordered set.
LEMMA 13.4. The zeta function C(n 1 , 7t 2) possesses an inverse in the incidence
algebra (to be called the Mobius function Jl(7t 1 , 7t 2 )).
If the segment has only one element, then clearly n 1 = n 2 and Jl(n 1 , 7t 1) = I.
If Jl(n 1 , n 2 ) has now been defined whenever [n 1 , n 2 ] has less thank elements,
we see that if [n 1 , n2 ] has k elements, then
if and only if
Furthermore
Remark. Other names for the Mobius inversion process are "the generalized
inclusion-exclusion principle" and "generalized sieve methods." When the
lattice under consideration is not L. but the lattice of subsets of a finite set
ordered by "inclusion," the Mobius inversion process is precisely classical
inclusion-exclusion.
Proof. Each of the four implications asserted in the theorem is proved in the
same manner. We shall therefore only prove that (13.3.8) implies (13.3.9).
Assuming (13.3.8), we see that
I g(n)Jl(n, n 0 ) = I I f(n')Jl(n, n 0 )
•~xo x~•o x;~•
= I f(n') I Jl(n, n 0 )
x;:E:xo 1r;:E:1r~11:o
= I f(n')((Jl)(n', n 0 )
1r;:E:xo
= I
•;:E:•o
f(n')~(n', no) = f(no).
•
13.3 Partitions of Sets 219
Our next result provides the necessary groundwork for the computation
of Jl(O, I) where 0 is the minimal element of L, (0 = [{1, 2, ... , n}] and I is
the maximal element of L,. (I= [{1}, {2}, ... , {n}]).
•' 1 '1 f } r •. ~
COROLLARY
X(X - 1XX - 2)· ··(X - v(n)
n
X" = I S(n, k)(X)k. (13.3.16)
k=O
THEOREM 13.8.
X" = I
1rELn
(X)v(x) =
n
I 0 (X)k ( 1CEL"
k=
I
v(x)=k
1)' (13.3.20)
but the S(n, k) are clearly uniquely determined by (13.3.16) and so since
(13.3.20) is of precisely the same form, we conclude that (13.3.17) is valid.
Equation (13.3.18) follows from (13.3.14) and (13.3.15) in exactly the same
way.
Finally, since there is only one single block partition of n = {1, 2, ... , n}
(namely, 0), we see that by (13.3.18)
Jl(O, J) = s(n, 1)
which is (13.3.19).
'"
t (ro-1)
I= 1
Jl(n., n2) = (- 1)''>o .1=1
n'" (i - 1)!''. (13.3.21)
y(f) = Tif(d) =
4en
n x,lf-l(xoll,
ao
I= 1
and if T c F, we define
rtn = L y(f).
/ET
-~ II
s.- i... x,'
222 Partitions in Combinatorics Chap.l3.4
The next theorem clarifies the relationship between functions whose sub-
script is a partition of nand those whose subscript is a partition of an integer.
THEOREM 13.10. For each partition n of n,
(13.4.4)
(13.4.5)
Proof. We write
Next we treatY',.: From (13.4.2) we see that feY',. if and only if its kernel
is less refined than n, that is, if and only iff is constant on blocks of n. Hence
if the blocks of n are 8 1 , 8 2 , 8 3 , •• • , 8'", then
s,. = y(Y',.)
= I y(fiB,)Y(fiB,)·. ·y(fiBJ
/efl'n
= n'"
I= I
(xiiB•I + x21B.I + x3IB•I + • .. )
= n'"
I= I
SIBil = S.t(x)•
13.4 The Combinatorics of Symmetric Functions 223
=TI Ill 1
I= (
L
one·tO""c.tne
fi> · )
function•
,,., ... c
Now each y(f) in this last expression is of the form xitxh · · · x11 . , 1, and each
such term arises from IB 11! such functions. Hence
'"
a .. = TI<IIB 1I!xitxJz···x11 . )
I= 1
a .. = I k.,. (13.4.10)
cr:crv•=l
or
(13.4.11)
which is (13.4.8).
= I
Nt~n.~O
Cn 1nz"'nm
1
IA.( )I
1t
(I
cr:E;1r J1 U, t~cr
L
J.l((a, 7tJ)) J.l(C1, t)A(t)!a.l.(r))
and since the a.l.(r) are products of the a 1, we have the desired result.
•..
Examples
1. If we consider a vector space Viq) over GF(q) of dimension n, and
count linear transformations f of Vn(q) into a space f!' over GF(q) of X
elements subject to the condition f(Vn(q)) n :?r = (0), where :?r (with Z
elements) is a subspace off!', then it is easy to show that the number of such
transformations is
(X- Z)(X - Zq)· ··(X - Zq"- 1).
(:] (Y- Z)(Y- Zq)· · ·(Y- Zqk- 1 )(X - Y)(X - Yq)· ··(X - Yqn-k- 1 ).
satisfies
L(X") = ±["] .
k=O k
6. Let V,iq) be an m-dimensional subspace of Vm+iq). By counting the
h-dimensional subspaces of Vm+iq) that intersect V'"(q) in a k-dimensional
space, we may prove that
I ["] [ m ]
k=O k h - k
qk<m-h+k) =
·
[m h+ "] .
7. For any sequence of integers a 1 , a 2 , •• •, a" such that a 1+ 1 - a 1 = 0 or
1 for 1 < i < n, it is true that
226 Partitions In Combinatorlcs Chap. 13
S(n + 1, k) = I
)=0
(~)
J
s(j, k - 1).
10. From Example 8, it follows that if Sk(l) = I~o S(n + k, k)t", then
Sk( I) = Sk.::._!ifl ·
1- kt
Hence
1
Sk(t) = (~1---1)(-1---21)" ·(1- kt)
11. For each partition A. of n, we consider a). = I,.l-n CJ.,.k,.. From Theorem
13.11 we can show that C,.;. = C,.;..
12. For every pair of positive integers nand k, each partition of n!k into
parts each not exceeding n is actually a sum of k partitions of n!. For example;
there are 37 partitions of 18 = 3 !3 into parts each ~ 3:
(36) = (32) + (32) + (32) (29) = (23) + (23) + (23)
(123 5) = ( 123) + (3 2) + (3 2) (132333) = (133) + (23) + (32)
(1 33 5) = (1 33) + (3 2) + (3 2) p52233) = (133) + (1222) + (32)
Notes
The material in Section 13.2 was taken from D. E. Knuth ( 1971 ). The
relationship between q-series and finite vector spaces has an extensive lit-
erature; the beginnings of this subject may be traced to Jordan (1870),
Landsberg (1893), and Dickson (1901). Among the recent works in this area
we mention Carlitz (1954), Carlitz and Hodges (1955a, b), Hodges (1964,
1965), Fulton (1969), Rota and Goldman (1969, 1970), and Andrews (1971).
Reviews of recent work in this area are given in Section T35 of LeVeque
(1974).
The literature on the partitions of finite sets is extensive; see Rota ( 1964a).
We have taken most of our work from Rota ( 1964a), Rota and Frucht ( 1965),
and Doubilet (1972).
Apart from the examples we have considered there are many other applica-
tions of partitions in pure and applied mathematics. Some of the applications
to particle physics are given in Temperley ( 1952) and Bohr and Kalckar
( 1937). Partitions as applied to the representation theory of the symmetric
group have already been mentioned in Chapter II; see also Littlewood (1950),
Robinson (1961), and Rutherford (1947).
The partitions of 11 also possess a lattice structure relative to the partial
ordering: (A. 1A. 2 · · ·).,) ~ (A. 1'A. 2'· ··A..') when Ii=l A.1 ~ D=l A./ for each i,
1 ~ i ~ $. This lattice has been extensively treated by Brylawski (1973) and
has been applied by Snapper (1971) to problems in group theory.
Attention should also be drawn to Stanley (1972), who has extended the
partition analysis of MacMahon ( 1916) to numerous combinatorial problems
through the use of ( P, w)-partitions.
Examples I, 2. Rota and Goldman ( 1970).
Example 5. Rota and Goldman (1969).
Examples 6, 7. Bender (1971). Example 6 is the q-analog of the Chu-
Vandermonde summation and is a special case of Corollary 2.4. Example 7
is an extremely surprising and unusual generalization of Example 6.
Example II. Doubilet (1972).
Example 12. Knutson (1972).
228 Partitions in Combinatorics Chap. 13
References
Andrews, G. E. (1971). "On the foundations of combinatorial theory, V: Eulerian
differential operators," Studies in App/. Math. 50, 345-375.
Auluck, F. C. (1951). "On some new types of partitions associated with generalized
Ferrars graphs," Proc. Cambridge Phil. Soc. 47, 679-686.
Auluck, F. C., and Kothari, D. S. (1946). "Statistical mechanics and the partition of
numbers," Proc. Cambridge Phil. Soc. 42, 272-277.
Bender, E. A. (1971). "A generalized q-binomial Vandermonde convolution," Discrete
Math. I, 115-119.
Bohr, N., and Kalckar, F. (1937). "On the transmutation of atomic nuclei by impact
of material particles," Kg/. Danske Vidensk Se/skab Mat. Fys. Medd. 14, No. 10.
Brylawski, T. (1973). "The lattice of integer partitions," Discrete Math. 6, 201-219.
Carlitz, L. (1954). "Representations by quadratic forms in a finite field," Duke Math. J.
21, 123-137.
Carlitz, L., and Hodges, J. H. (1955a). "Representations by Hermitian forms in a finite
field," Duke Math. J. 22, 393-405.
Carlitz, L., and Hodges, J. H. (1955b). "Distribution of bordered symmetric, skew and
hermitian matrices in a finite field," J. reine angew. Math. 195, 192-201.
Dickson, L. E. (1901 ). Linear Groups with an Exposition of the Galois Field Theory.
Teubner, Leipzig (reprinted by Dover, New York, 1958).
Doubilet, P. (1972). "On the foundations of combinatorial theory, VII: Symmetric
functions through the theory of distribution and occupancy," Studies in Appl. Math.
51, 377-396.
Fulton, J. D. (1969). "Symmetric involutory matrices over finite fields and modular
rings of integers," Duke Math. J. 36, 401-407.
Hodges, J. H. (1964). "Simultaneous pairs of linear and quadratic matrix equations
over a finite field," Math. Z. 84, 38-44.
Hodges, J. H. (1965). "A symmetric matrix equation over a finite field," Math. Nachr.
30, 221-228.
Jordan, C. ( 1870). Traitt? des substitutions et des equations a/gl>brique. Gauthier-Villars, Paris.
Knuth, D. E. (1971 ). "Subs paces, subsets, and partitions," J. Combinatorial Theory
A-10, 178-180.
Knutson, D. (1972). "A lemma on partitions," Amer. Math. Monthly 19, llll-ll12.
Landsberg, G. (1893). "0ber eine Anzahlbestimmung und eine damit zusammen-
hl!ngende Reihe," J. reine angew. Math. Ill, 87-88.
LeVeque, W. J. (1974). Reviews in Number Theory, Vol. 5. A mer. Math. Soc., Providence,
R.I.
Littlewood, D. E. (1950). The Theory of Group Characters and Matrix Representations
of Groups, 2nd ed. Oxford U niv. Press, London and New York.
MacMahon, P. A. (1916). Combinatory Analysis, Vol. 2. Cambridge Univ. Press, London
and New York (reprinted by Chelsea, New York, 1960).
Robinson, G. de B. (1961). Representation Theory of the Symmetric Group. Univ. of
Toronto Press, Toronto.
Rota, G.-C. (1964a). "The number of partitions of a set," Amer. Math. Monthly 71,
498-504.
Rota, G.-C. (1964b). "On the foundations of combinatorial theory, I: Theory of Mlibius
functions," Z. Wahrscheinlichkeitstheorie und verw. Gebiete 2, 340-368.
Rota, G.-C., and Frueh!, R. (1965). "Polinomios de Bell y particiones de conjuntos
finitos," Scientia: Rev. Ci. Tecnica (Chile) No. 126, 5-10.
References 229
Rota, G.-C., and Goldman, J. (1969). "The number of subspaces of a vector space,"
Recent Progress in Combinatorics (W. Tutte, ed.), pp. 75-83. Academic Press,
New York.
Rota, G.-C., and Goldman, J. (1970). "On the foundations of combinatorial theory, IV:
Finite vector spaces and Eulerian generating functions," Studies in App/. Math.
49, 239-258.
Rutherford, D. E. (1947). Substitutional Analysis. Edinburgh Univ. Press, Edinburgh
(reprinted by Hafner, New York, 1968).
Snapper, E. (1971). "Group characters and nonnegative integral matrices," J. Algebra
19, 52G-535.
Stanley, R. P. (1972). "Ordered structures and partitions," Mem. Amer. Math. Soc. 119.
Temperley, H. N. V. (1952). "Statistical mechanics and the partition of numbers, II:
The form of crystal surfaces," Proc. Cambridge Phil. Soc. 48, 683-697.
Wright, E. M. (1968, 1971, 1972). "Stacks, I, II, III," Quart. J. Math. 19, 313-320;
22, 107-116; 23, 153-158.
CHAPTER 14
14.1 Introduction
In most of the applied and many of the theoretical aspects of partitions we
are interested in actually enumerating or perhaps completely exhibiting a
set of partitions of n subject to certain conditions. There are certain elementary
algorithms to apply that generally do the job if n is small; these we discuss
in the next section.
The parity of p(11) has been of interest over the years, and we describe in
Section 14.3 the most effective algorithm known for determining p(n) modulo
2, as well as other algorithms that derive from generating functions.
Computations for higher-dimensional partitions are considered in Section
14.4; here we includetheworkofD. E. Knuth, which is the only quite general
simplification known. Sections 14.5-14.7 give reasonably short tables related
to well-known partition functions. In Section 14.8, we present a guide to more
extensive tables.
230
14.2 Elementary Algorithms
DIMENS10N IP(20)
DO 80 N=1,20
WRITE (6,5) N
5 F0RMAT (110)
IP(1)=N
D0 10 L=2,20
10 IP(L)=O
15 C0NTINUE
WRITE (6,20) IP(1), IP(2), ... , IP(20)
C COMMENT IP(J) is the Jth part of the partition of N just comp
20 FORMAT (2013)
1=1
25 C0NTINUE
IF (IP(J)- 1) 35,35,30
30 J=J + 1
00 T0 25
35 C0NTINUE
IF (J -1) 75,75,40
40 M=J-2
K=N
IF (M) 45,55,45
45 D0 50 L= 1,M
50 K=K-IP(L)
55 IQ=IP(J-1)
JQ= K/(IP(J -1)-1)
60 D0 65 LQ = 1,JQ
65 IP(J-2+LQ)=IQ-1
IP(J -1 +JQ)=K-JQ•(IQ-1)
MQ=J+JQ
D0 70 NQ = MQ,N
70 IP(NQ)=O
'!'
0on G0 T0 15
-
"'
0
M
75 C0NTINUE
80 C0NTINUE
6
z ST0P
a:l
fa END
232 Computations for Partitions Chap. 14.2
0 0 0
2
2 0 0 0
1 0 0
3
3 0 0 0
2 0 0
0
8
2 7
3 6
4 5
2 2 6
2 3 5
2 4 4
3 3 4
2 2 2 5
2 2 3 4
2 3 3 3
2 2 2 2 4
2 2 2 3 3
Again we have an easily programmable algorithm.
14.3 A_Worithms from Generatq Functions 233
One value of our work on generating functions and partition identities lies
in the fact that the time of computation for certain partition functions may
be greatly decreased through algorithms derived from these theoretical
considerations.
For example, Corollary 1.8: p(n)- p(n - 1) - p(n - 2) + p(n - 5) +
p(n - 7) - · · · = 0, provides us with all values of p(n) for n ~ N after on
the order of f(6n 3 )t operations. This is quite efficient compared to the
algorithm that arises from Example 2 in Chapter 6, where the r(n) in
n.,, (1 - q")- 0 " = I.~o r(n)q" may be computed from the recurrence
bk,o(m, n) = 0,
if m = n = 0,
if m ~ 0 or n ~ 0 but m2 + n 2 :f. 0,
THEOREM 14. I
where the right-hand series are terminated just before the arguments become
negative and a1 = i(8i + 1), {1 1 = i(8i + 3), y1 = i(8i + 5), 15 1 = i(8i + 7).
Proof.
I r<" )q" =
n;;:::o
n"'n= 1
(1 - q")- I
=n (1 + q")-1 (mod 2)
n=l
=no-
"' q2n-l) (Eq. (1.2.5))
n= I
=n
"' (I + q4n-1)(1 + q4n-3) (mod 2)
n= I
= "' ( l - q4•)-ITI(l-
n "' q4")(t + q4•-I)O + q4•-3)
n=l
The recurrences stated in Theorem 14.1 are now easily obtained by comparing
coefficients of q4 ", q 4 " + 1, q4 " + 3 and q4 " + 6 in the foregoing congruence. •
The following lemma isolates those elements of P with positive labels; this
immediately reduces our consideration from all of P (which is generally
infinite) to a finite subset of P.
(positive integers),
where m ~ 0; (i) x E P and x ~ xi implies x = xi for some i < j, (ii) x 1 > xt+ 1
implies IIi> IIi+ 1 for I ~ i < m; (iii) if m > 0, then nm > nm+ 1 ; (iv) if
111 > 0, then there exists x E P such that x < xm and x # X; for I ~ i ~ m.
Finite sequences {x 1} satisfying (i) and (iv) are called topological sequences.
To sec this correspondence, we merely attach infinitely many zeros to the
sequence 11 1 and we delete x,. if it is the least element of P - {x Io ••• , xm _ 1 }.
For example, let P be the set of points in the plane with nonnegative
coordinates and with the partial ordering (i,j) ©(i',j') if i ~ i' andj ~ j'.
This partial ordering may be extended to a linear ordering through the
236 Computations for Partitions Chap. 14.4
lexicographic order (i,j) ~ (i',j') if i < i' or i = i' and j ~ j'. In this case,
P-partitions as characterized in ( 14.4.1) correspond precisely to plane
partitions (written upside down). Thus the plane partition
12
431
5332
54 3 3 3 2 2 I I I
(0, 0) (0, I) (I, 0) (I, I) (2, 0) (I, 2) (3, 0) (2, I) (0, 2) (0, 3)
54 3 3 32 2 I I 0 0 ...
(0, O) (0, I) (I, O) (I, I) (2, 0) (I, 2)(3, 0) (2, I)
The remarkable fact is that the sum of the P; plus the index equals the sum
of the n; and this is the only relationship between the three sequences
{x 1 , ••• , xm}, {n,}, {p;}- These observations establish the following result.
= (q);, I L t(n)q".
.. ~o
Generally topological sequences are easier to find (and index) than arbitrary
•
(P, w)-partitions. For example, we may construct topological sequences of
points in the first quadrant as follows: First choose a set of, say, m points
that correspond to the graphical representation of some partition. Then
number these points using the first m integers, so that there is strict increase
along rows and columns, making sure that m is not in the first column. If, say,
3 2
124 and 134,
meaning x 1 = (0, 0), x 2 = (l, 0), x 3 = (0, 1), x 4 = (2, 0), and x 1 = (0, 0),
x 2 = (0, 1), x 3 = (1, 0), x 4 = (2, 0), respectively. In this instance our topolog-
ical sequences are essentially standard Young tableaux (to obtain standard
Young tableaux, reverse the sequence), with the special requirement that m
not be in the first column.
--
"'"'
0
M
76
77
78
9289091
10619863
12132164
53250
58499
64234
11322
12294
13363
7118
7721
8401
6 79 13848650 70488 14498 9103
z 80 15796476 77312 15742 9894
a:l
fa
240 Computations for Partitions Chap. 14.7
r~l = I.
Table 14.2
21 118794 61 43 7699333376
22 186475 62 60 7771804065
23 290783 63 84 2541287719
24 451194 64 116 6117605448
25 696033 65 161 1415838202
Table 14.3
f:] q q2 q3
----------------------
q4 q5 q6 q7 q8
-.
q9 qlO qll ql2 ql3 ql4 ql5 ql6 ql7 ql8
--~-------
r:J 2
l~J 2 2 2
[:] 2 2 3 2 2
r:J 2 3 3 3 3 2
[:] 2 2 3 3 3 2 2
[:] 2 3 4 4 5 4 4 3 2
[:] 2 2 3 3 4 3 3 . 2 2
2 3
[:] 4 5 6 6 6 6 5 4 3 2
[:] 2 3 5 5 7 7 8 7 7 5 5 3 2
2 2 3 3 4 4 3 3 2 2
[:] 4
2 3 4 5 7 7 8 8 8 7 7 5 4 3 2
[:]
[:] 2 3 5 6 8 9 II II 12 II II 9 8 6 5 3 2
[':] 2 2 3 3 4 4 5 4 4 3 3 2 2
[130] 2 3 4 5 7 8 9 10 10 10 10 9 8 7 5 4 3
[I:] 2 3 5 6 9 10 13 14 16 16 18 16 16 14 13 10 9
['so] 2 3 5 7 9 II 14 16 18 19 20 20 19 18 16 14 II
Notes 243
[I;] 2 2 3 3 4 4 5 5 5 4 4 3 3 2 2
r3 1 2 3 4 5 7 8 10 II 12 12 13 12 12 II 10 8 7
[ 1411 2 3 5 6 9 II 14 16 19 20 23 23 24 23 23 20 19
1
2 3 5 7 10 12 16 19 23 25 29 30 32 32 32 30 29
r5 1
r ~:l 2 2 3 3 4 4 5 5 6 5 5 4 4 3 3 2 2
ri32J 2 3 4 5 7 8 10 12 13 14 15 15 15 15 14 13 12
12
2 3 5 6 9 II 15 17 21 23 27 28 31 31 33 31 31
r4 1
12
2 3 5 7 10 13 17 21 26 30 35 39 43 46 48 49 49
r51
12
55 55 58
1 1
2 3 5 7 II 13 18 22 28 32 39 42 48 51
6
Notes
The algorithm of Hindenburg in Section 14.2 is taken from Dickson's
History of the Theory of Numbers (1920, Vol. 2, p. 106); the. entire Chapter 3
244 Computations for Partitions Chap. 14
of that book presents a detailed early history of partitions. The history from
1940 to 1972 may be found in LeVeque's (1974) Reviews in Number Theory,
Chapter P, Vol. 4, while in Vol. 6, Section Z30, reviews of various tables of
partitions may be found.
Theorem 14.1 is from MacMahon (1921); MacMahon's work was greatly
extended by Parkin and Shanks (1967). The material in Section 14.4 is taken
from Knuth (1970); Knuth includes a computer program for finding the
topological sequences related to solid partitions. The P-partition concept has
been generalized extensively by Stanley ( 1972) to ( P, w)-partitions, and he
has shown that numerous partition and permutation problems can be treated
through the use of this powerful method.
The excellent book by Nijenhuis and Wilf (1975) presents a number of
algorithms for the computation of compositions and partitions; Chapters 5
and 6 of their text treat compositions while Chapters 9 and 10 are related
to partitions.
References
Bk_;(n) 109 Di 98
Bk(n) 24 fiJ k,a 123
245
246 Index fnr Definitions of Symbols
{j;(k, i) 23 r(s) 83
dk ,I.(111,11) 114 -y(D 221
GF(q) 212
Dk,i(u) 114
G(N,M:q) 33
Sk(m) 164
G(q) (related to binary
Dn 50 partitions) 162
g(q)(modular function) 167
dots 7
g(r) (auxiliary generating
9/J (r;b 1 ,b 2 ,,,,,hm:m) 137 function) 89
D(s) 88 G(u) (multipartite partition
{!; 137 generating function) 206
G(z, s) 83
ek,i(m,n) 115
g(z, s) 83
E(n) 140 "/{" 3
Ee(n) 156 "ll"(~d) 3
E (n)
0
156 hii (x)
F 221 H;(X, q) 135
f{A,r;X, Y, L) 147
H;(x) 135
fc(x;q) 128
Hk 78
F/q) 99
Hk,a 97
f;(x) 116
Hk.+a 97
FN (the Farey series) 72
llk,i (a;x;q) 106
.1'm(q) 161
Iln(t) 49
Fn 63
Hn(x 1 , ••• ,x_) 51
F 1(u) 208
H(z, s) 83
fs(z;q) 16
h(z, s) 83
F(u) 206 I 219
[ (q)
0
30 Ih,k 76
F 1/q) 30 ind(m 1 , ... ,mr:n) 42
G 198 inv(m 1 , ... , 111 r: 11) 40
'Y (Euler's constant) 90
J (z) 82
-y(j) 221 1
[ :: .~,. ~~J + 39
<l>(m;q) 175
1/>(q) 167
Ill 96 4> 0 (q) 30
Aider, II. L.,/18 Fine, N.J., 26, 29, 31, J2. 2i0. 211
Andrews,(;. E., 14, 15, 31, 32, 52, 65, Foata, D., 45, 51, 52, 65, 61i, 6 7
85, 86, 118, 1/9, i37, 138, 158, 177, Foulkes, H. 0., 6 7
178,200, 210,211. 227,228,243,244 Franklin, F., 9, 14,15. 52
Arkin,J., R5,86 Fray,R.D.,67
Askey, R.. 51,52 Frueh!, R., 227, 228
Atkin, A. 0, L., 139, 143, !58, i60, 161. Fuiton, J. D., 227, 228
175. 177. 178, 200
Auiuck, F. C., 100, !01,228 Gauss, C. F., 23, 31, 32, 35, 51,52
Ayoub, R., xiii, 85, 8n Glaisher, J. W. L., 6, 9, 14,/5
Goldman, J ., 227, 229
Bachman, P.. xiii Gollnitz, H., 105, 113, 114, 118, 119,
Bailey, W. N., 20, 30, 31, 32 121,123
Barton, D. F.., 243, 244 Gordon, B.,I05,109,113,114,118,//9,
Bateman, P. T., 101 121,123,200,210,2//
Bell, E. T., 204,205,206,210,211, 214 Grosswald,xiii, 85,86
Bender, E., 3, 15, 200, 227, 228 Gupta, H., 56, 65, 67, 118,/20, 160, 165,
Berndt, B., 71, 85,86 177. 178, 243,244
Bohr, N., 227,228 Gwyther, A. E., 243,244
Bratley, P., 200
Brigham, N. A., 100, 101 Hagis, P., RI, 82, 85,86
Bryiawski, T., 227,228 Hahn, W., 31,32
Burnell, D.. 243,244 Hardy, G. H., xiii, 14, 15, 30, 32, 68, 69,
72, 85, 86, 94, 101, 103, 105, 118,/20,
Carlitz, L., 31, 32, 52, 65, 66, 179, 183, 159, 160, 177
200, 202, 207. 210. 211, 227. 228 Haseigrove,C. B., 100,/0/
Cauchy, A., 17, 21, 30, 32,5 i, 52 Heine, E., 19, 20, 30, 32, 51, 52
Cayley, A., 65, 66, 85, 86, 209 Hermite, C., 52
Chaundy, T. W., 200 Hickerson, D. R., 15
Cheema, M. S., 119, 203, 210, 211, 243, Hodge, W. V. D., 200
244 Hodges, J. H., 227,228
Chowla, S., 160 Houten, L., 200, 243,244
Chrystai, G., xiii Hua, L. K., 82,86
Churchhouse, R. F., 160, i65, i77, 178,
243,244 Ingham, A. E., 100,/02
Comtet, L.,xiii, 14,15, 210,2// lseki, S., 82, 85, 86, 87
250
Author index 251
Kolberg, 0., 177, 178 Robinson, G. deB., 200, 201, 227, 228
Kothari, D. S., 228 Rodseth, 0., 160, 161, 165, 177, 178
Kreweras,G.,65,67, 199,201 Rogers, L. J., 31, 32, 49, 50,52,53, 103,
105,109, 113,118,120,121,123,155,
Landsberg, G., 227, 228 158,177,200
Lascoux, A., 199,201 Roselle, D., 65, 66, 67,210,211
Lebesgue, V. A., 30, 32 Rota, G. -C., 227, 228, 229
Lehmer, D. H., 86, 101, 102 Roth, K. F., 100, 102
Lehner, J., 56, 65, 66, 85, 86, 101, 120, Rutherford, D. E., 199,20/, 227,229
177,178
LeVeque, W. J., 14, I5, 31, 32, 65, 67, Schensted, C., 184, 200, 20I
71, 87, 100, I02, 118, I20, I38, I58, Schrutka, L. von, I 58
177,178,200, 20I, 210,2JJ, 227,228, Schur, I. J., 48, 105,116, 118, I20, I 58
244 SchUtzenberger, M. P., 51, 52, 65, 66,
Littlewood, D. E., 227,228 200,20I
Littlewood, J. E., 68 Schwarz, W., I 00, I02
Livingood, J., 100, I02 Scoville, R., 66
Long,C.,65,67 Selberg, A., 118, I20
Shanks, D., 244
MacDonald, I. G., 200 Singh, V. N., 118, I20
MacMahon, P. A., xiii, 13, 14, I5, 41, 42, Slater, L. J., 31 , 32
51' 52, 57, 59, 65, 67, 85, 87, 100, Sloane, N. J. A., 243, 244
I02, 105, 137, I38, 159,177,179,184, Snapper, E., 227,229
189,199, 200,20I, 210,2JJ, 227,228, Solomon, L., 2II
233,234,244 Stanley, R. P., 45,51, 52, 53, 65, 67, 200,
McKay,J.K.S.,200 20I, 227,229,244
Meinardus, G., 88, 89, 99, I 00, I 01, I 02 Star, Z., 65, 67
Menon, P. K .. 31,32 Starcher, G. W., 14, I5
Miller, J. C. P., 243,244 Stenger, A., I 58
Miller, K. S., 132, I38 Strehl, V., 67
Moore, E., I5 Subbararo, M. V., 13, 14,I5, 31,32, I38,
Motzkin, T. S., 210, 2II 204,210,2JJ
Murray, M., l32,I38 Subramanyasastri, V. V., 81, 85,87
Swinnerton-Dyer, H. P. F., 161, 175, I78
Netto, E.,I5 Sylvester, J. J ., 14, I5, 24, 31, 32, 51, 52,
Nijenhuis, A., 244 53,139, 140
Szego, G., 49, 50, 52,53
Ostmann, H. H.,xiii, 14, IS Szekeres, G., I 00, I 0 I, I 02
252
Subject Index 253