The Concept of Bailey Chains
|
|
- Christopher Holmes
- 5 years ago
- Views:
Transcription
1 The Concept of Bailey Chains Peter Paule 0 Introduction In his expository lectures on q-series [3] G E Andrews devotes a whole chapter to Bailey s Lemma (Th 2, 3) and discusses some of its numerous possible applications in terms of the Bailey chain concept This name was introduced by G E Andrews [2] to describe the iterative nature of Bailey s Lemma, which was not observed by W N Bailey himself This iteration mechanism allows to derive many q-series identities by reducing them to more elementary ones As an example, the famous Rogers-Ramanujan identities can be reduced to the q-binomial theorem G E Andrews [2] observed this iteration mechanism in its full generality by an appropriate reformulation of Bailey s Lemma, whereas P Paule discovered important special cases [23] W N Bailey never formulated his lemma in that way and consequently missed the full power of its potential for iteration In that paper [2] G E Andrews introduced the notions of Bailey pairs and Bailey chains and laid the foundations of a Bailey chain theory for discovering and proving q-identities The purpose of this article is to give an introduction to that concept Therefore many theorems are not stated in full generality, for which we refer to the literature Definitions and Tools A hypergeometric series (see eg W N Bailey [0]) is a series cn, where is a rational function in n, ie c n+ c n c 0 and c n+ (n + a )(n + a 2 ) (n + a i ) x c n (n + b )(n + b 2 ) (n + b j ) n + Thus c n a n a i n b n b j n x n n!,
2 where Notation: Examples: Wallis: a n : a(a + ) (a + n ) and a 0 : ( ) a,, a i if j ; x b,, b j π 2 lim n a k a i k x k b k b j k k! n n 2 n 3 2 n 2 The binomial series ( x) α F 0 (α; ; x) c n with c n+ c n 3 y 2 F (a, b; c; x) is solution of (hypergeometric differential equation) x( x)y + (c (a + b + )x)y aby 0 4 The Jacobi polynomials (see eg R Askey [7]) (α, β > ) P (α,β) n (x) α + n n! with orthogonality relation (m n): α + n + n x and c 0 ( n, n + α + β + 2F ; x ) α + 2 P n (α,β) (x)p m (α,β) (x)( x) α ( + x) β dx 0 For many reasons it is convenient to extend this definition by introducing an extra parameter q (see eg L Slater [30]): Definition A basic- (or q-) hypergeometric series is a series c n, where c n+ c n n is a rational function of q n Example: The theta-function cn n q n2 x n (q e πir, x e 2iz ) where c n+ c n q 2n+ x, c 0
3 and and Now we define Observe that (a; q) n : (a) n : ( a)( qa) ( q n a) for n, 2, (a; q) 0 : (a) 0 :, (a; q) : (a) : (a) n : (a) (q n for integer n a) 0 for n, 2, (q) n ( q k a) All following q-identities can be treated as formal power series identities If one likes to consider them as analytic ones, in most cases it will suffice to take q as real with q < Notation: ( ) a,, a i iϕ j ; q, x : b,, b j (a ; q) k (a i ; q) k x k (b ; q) k (b j ; q) k (q) k Example: The q-analogue of the binomial series is cn ϕ 0 (a; ; q; x) with c n+ aqn c n q n+ x, c 0 Setting a q α we obtain c n+ qα+n q x, c n q q+n which is for q equal to α + n + n x, as in F 0 (α; ; x) In order to emphasize the analogy to the q case, we introduce the Gaussian polynomials (or q-binomial coefficients) (see eg G Andrews [4]): [ ] { n (q) n : if 0 k n k (q) k (q) n k 0 else We shall also [ write ] n [n]!, where [n]! : [n][n ] [], k [k]! []! [0]! : and [n] : qn q + q + + qn, [0] : From this definition it obvious that [n ] k q ( ) n k Now we introduce the q-binomial theorem in the notion of J Cigler (cf the survey article [5]):
4 Theorem Let R denote the ring of all power series in the variable x over the reals (or formal power series in x, respectivly) For linear operators A, B on R with BA qab the following formula holds (n 0,, 2, ): (A + B) n [ ] n A k B n k () k Proof The proof is an easy induction exercise using the recursive formula [ ] [ ] [ ] n + n n q k + (2) k k k Examples: (xf)(x) : xf(x), (εf)(x) : f(qx) and (ε f)(x) : f(q x) for f R Now we have BA qab for eg A xε, B ε or A ε, B x 2 Observing that (xε) k q (k 2) x k and (xε + ε) k (x + )(qx + ) (q k x + ) we obtain by setting A xε and B ε in (): [ ] n q 2) (k x k ( + x)( + qx) ( + q n x) (3) k 3 A further consequence of Theorem is the infinite form of the q-binomial theorem (cf [5]): (a) k x k (ax) (4) (q) k (x) Now for a q α the q-analogy becomes evident: and F 0 (α; ; x) ϕ 0 (q α ; ; x) α k k! ( α + k (q α ) k (q) k x k 4 The q-binomial theorem (3) gives (x 0): k ) x k ( x) α [ ] α + k x k k (x) α [ ] 2j ( ) k x k q 2 k2 (x q 2 )j (xq 2 )j (5) j k (The sum on the left is actually finite!), which in the limit j becomes: ( ) k q 2 k2 x k (q) (x q 2 ) (xq 2 ) (6)
5 (Note that [ ] 2j j k (q) 2j (q) j k (q) j+k (q) for j ) Identity (6) is called Jacobi triple product identity and serves as a fundamental tool for transforming sums into products and vice versa We give a prominent example, one of the Rogers-Ramanujan identities (see eg G Andrews [4]): q n2 (q) n ( q 5n+ )( q 5n+4 ) (7) n0 n0 By (6) (q replaced by q 5 and x q 2 ) the product on the right is equal to (q 5 ; q 5 ) (q 2 ; q 5 ) (q 3 ; q 5 ) (q) (q) Now to prove (7) means to prove ( ) k q 5 2 k2 2 k (q) ( ) k q 5 2 k2 2 k n0 q n2 (q) n (8) This is exactly the point where the Bailey chain concept enters the stage In the following we shall see how identities of this type can be reduced by Bailey chain iteration to identities of a simpler form or to well-known ones, respectively In particular we shall demonstrate, how the Rogers-Ramanujan identity (8) is iterated to a special case of the q-binomial theorem (5) Further we shall derive the iteration mechanism for that and many other important applications as a consequence of the q-binomial theorem in the form () This is followed by a closer investigation of the inner structure of that mechanism, ie how to walk along Bailey chains 2 Bailey Pairs and Bailey Chains 2 Bailey s Lemma In distilling some of the work of L J Rogers [27, 28] and others W N Bailey formulated the following fundamental q-series transform [(3), 9]: Theorem 2 (Bailey s Lemma) ( ) k xq (r ) k (r 2 ) k b k r r 2 ( ( xq xq r r ) 2 ( ) (xq) xq r r 2 ) (r ) k (r 2 ) k ( xq r )k ( xq r 2 )k ( ) k xq a k, (9) r r 2
6 where b n a k (q) n k (xq) n+k n 0,, 2, (0) Following G E Andrews [2] we say, sequences a (a n ), b (b n ) related like (0) form a Bailey pair (a, b) Using Bailey s Lemma as a tool for proving identities of the Rogers-Ramanujan type, like identity (7) or eg one of the Göllnitz-Gordon identities (q 2 ; q 2 ) n ( ) n q 4n2 n q 2k2 (q 2 ; q 2 ) k ( q; q 2 ) k, () one has to look for a suitable Bailey pair (a, b), which after insertion into (9) with special chosen parameters r, r 2 yields the desired identity By a skillful application of this procedure L J Slater gave a list of 30 identities of that type in 950 [29] As we shall see, by using the Bailey chain concept the search for appropriate Bailey pairs and the problem of proving or discovering such identities are far easier to handle and to solve In 972 [6] G E Andrews showed how Bailey s Lemma fits into the frame of a connection-coefficient problem: Let ( q k, αβq k+ ) P k (x; α, β q) : 2 ϕ ; q, xq αβ (q-jacobi polynomials) Now Bailey s Lemma is essentially equivalent to the following expansion: p n (x) c nk P k (x; α, β q), where and (αβq : x) ( ) r, r 2, q n p n (x) 3 ϕ 2 αq, r r 2 q ; q, xq n αβq c nk ( ( xq xq r )n r 2 )n (xq) k ( xq 2k )(r ) k (r 2 ) k (q n ) k ( xq r )k (q) k(xq n+ ) k (xq) n ( xq r r 2 )n ( xq r )k ( ) xq n+ k r r 2 2 Bailey chains In order to describe its potential for iteration we consider the following special case (r q m, r 2 q n, a k replaced by q k2 a k and m ) of Bailey s Lemma: a k x k (q) n k (xq) n+k j0 q j2 x j (q) n j j a k q k2 (q) j k (xq) j+k (2)
7 Because of its importance we give a separate proof of this identity (cf Paule [25]) Proof We need Theorem together with the following facts, which are easily checked: for all f, g R ε(fg) (εf)(εg), (ε + x)(xq) (xq) (ii) Now we apply the q-binomial Theorem () with A ε and B x as follows: ( a k x k n ) a k x k ε n+k (xq) (q) n k (xq) n+k (xq) (q) n k ( n (ii) () (xq) (xq) a k x k (i) (xq) (q) n k jk j0 a k x k q j2 x j (q) n j a k x k (q) n k ε n+k (ε + x) n k (xq) a k x k (q) n k ε n+k n k (q) n k j0 ]q j2 k 2 xj k j [ j k a k q k2 (q) j k (xq) j+k ) n k [ ] (ε ) n k j x j (xq) j j0 [ ] q j(j+2k) x j (q j+2k+ x) j (xq) j+k (i) If x or q for many applications it is of advantage to symmetrize (2) as follows: (Observe that all sums are finite!) c k (q) n k (q) n+k q j2 (q) j0 n j c k q k2 (q) j k (q) j+k (3) (in (): x, a 0 c 0 and a k c k + c k for k ), c k (q) n k (q) n++k j0 q j2 +j (q) n j c k q k2 k (q) j k (q) j++k (4) (in (): x q and a k q k q (c k + c k ) for k 0) Writing Bailey s Lemma as (2) (or (3), (4), respectively) its potential for iteration now leaps to our eyes, namely:
8 The second sums of the right-hand sides are of the same form as the corresponding sums on the left-hand sides Thus we may iterate them substituting the whole formula (modified eg by taking c k q k2 instead of c k ) in the place of the second sum of the right-hand side as often as we want, in order to reduce the initial sum on the left to a simpler or well-known one Example: In the limit n (3) becomes c k q j2 (q) j0 c k q k2 (q) j k (q) j+k (5) With the above iteration-algorithm the Rogers-Ramanujan identity (8) now is easily computed as follows: ( ) k q 5 2 k2 2 k (5) ( ) k q 3 q j2 2 k2 2 k (q) (q) j k (q) j+k (5) (5) j0 j0 j0 j0 q j2 q j2 q j2 (q) j q l2 (q) j l l0 l0 q l2 (q) j l (q) l () l (q) 2l ( ) k q 2 k2 2 k (q) l k (q) l+k The last line follows from the fact that () 0 and () l ( )( q) ( q l ) 0 for all l Now we formulate as a Theorem 22 Given a Bailey pair (a, b) ( (a n ), (b n ) ) a new Bailey pair (a, b ) ( (a n ), (b n) ) is constructed by a n q n2 x n a n and b n j0 q j2 x j (q) n j b j n 0,, 2, Proof The proof is an immediate consequence of equation (2) with a k replaced by a k q k2 Definition The sequence ( (an ), (b n ) ) ( (a n), (b n) ) ( (a n), (b n) ) is called a Bailey chain (cf Andrews [2]) Remark To include the symmetrized versions (3) and (4) among that concept, we call sequences a (a n ) n, b (b n ) n 0 with a k a k b n or b n (q) n k (q) n+k (q) n k (q) n++k
9 also a Bailey pair (a, b) With this definition Theorem 22 remains valid with x or q according the equations (3) and (4) Example: for the Rogers-Ramanujan identity (8) the Bailey chain corresponding to our iteration (cf the example above) is as follows: We start with the simplest pair where then where (Theorem 22 with x ) and (a, b) ( (a n ) n, (b n ) n 0 ), a n ( ) n q (n 2), bn δ n0 (: (a, b ) ( (a n) n, (b n) n 0 ), a n q n2 a n ( ) n q 3 2 n2 2 n, b n where (Theorem 22 with x ) { if n 0 ), 0 else j0 (a, b ) ( (a n) n, (b n) n 0 ), a n q n2 a n ( ) n q 5 2 n2 2 n, b n j0 q j2 b j, (q) n j (q) n q j2 (q) n j b j It is interesting to look at the corresponding Bailey pair identities: j0 q j2 (q) n j (q) j (a, b) (a, b ) (a, b ) ( ) k q 2 k2 2 k (q) n k (q) n+k δ n0, (6) ( ) k q 3 2 k2 2 k (q) n k (q) n+k (q) n, (7) ( ) k q 5 2 k2 2 k (q) n k (q) n+k j0 q j2 (q) n j (q) j (8) In the limit n equation (8) becomes the Rogers-Ramanujan identity (8) Thus starting with the special case (6) of the q-binomial theorem (5) and by walking along the Bailey chain (a, b) (a b ) (a, b ), we have proved equation (8) and as a by-product identities (7) and (8) Remark Note that equation (8) is a finite sum identity, which yields in the limit n the Rogers-Ramanujan identity (8)
10 In the following section we shall have a closer look at the question how to construct Bailey pairs and to walk along Bailey chains 23 Bailey pairs and walking along Bailey chains An efficient use of the iteration mechanism of Bailey s Lemma depends on our knowledge of Bailey pairs For that, one may consult L Slater s list [29] But in addition to those classical examples there exist many other interesting pairs, which naturally arise in different contexts, as G Andrews pointed out in [3] Now we shall describe some techniques how to find Bailey pairs and how to construct new Bailey pairs out of given ones as in Theorem 22 Further we shall see that there are several ways how to walk along Bailey chains, which introduces the more general concept of a Bailey lattice (cf [3] and []) First we observe: Theorem 23 A Bailey pair (a, b) ( (a n ), (b n ) ) is uniquely determined by one of the sequences (a n ) or (b n ), respectively Proof This is proved by the inversion formula iff (cf Andrews [(4), 2]) ( xq a n 2n ) ( ) n k q (n k 2 ) (xq) n+k b k if n (q) n k b 0 n 0 b n a k (q) n k (xq) n+k (9) Example: For arbitrary parameter x we obtain with b n δ 0,n (n 0,, ) a n ( ) n q (n 2) ( xq 2n ) (xq) n (q) n (n ), a 0 (cf equation (6) in case x ) As G Andrews pointed out [3], this Bailey pair lies behind the majority of the identities in L Slater s list [29] Remark Putting x q N, B n (q) 2n+N (q) N B n b n and A n a n this inverse relation reads as: [ ] 2n + N A k iff A n [ ] ( ) n k q (n k 2 ) [2n + N] n + N + k B k, (20) [n + N + k]
11 which is a q-analogue of one of J Riordon s inversion relations of the Legendre type (cf eg Hofbauer [20]) I Gessel and D Stanton have first pointed out [8] that the Bailey transform can be viewed as a matrix inversion, which contains (9) as a special case Using a matrix inverse observed by D Bressoud [2] this approch is generalized in [] in order to establish the concept of Bailey lattices The inverse relation (20) independently was derived by C Krattenthaler [22] as an application of his q-lagrange formula (cf also [26]) A Bailey chain is in fact doubly infinite, for the pair (a, b) can be uniquely reconstructed from (a, b ) Thus we also can move to the left in a Bailey chain: ( (a n ), (b n ) ) ( (a n), (b n) ) With respect to the Bailey chain of Theorem 22 we explicitly have Theorem 24 b n q k2 x k (q) n k b k b n ( ) n k q(n k 2 ) n 2 (q) n k x n b k (2) Proof For a proof see equation (342) of Andrews [3], which contains (2) as a special case Remark Substituting ρ q a, ρ 2 q b and a q N in equation (342) of Andrews [3], equation (2) results from the following inverse relation: A n [ ] p + k B n k B n k [ ] ( ) k q 2) p + (k A n k (22) k This relation was proved by C Krattenthaler in [2] as an application of his q-lagrange formula Another important way to produce a new Bailey pair ( (A n ), (B n ) ) from a given one ( (an ), (b n ) ) is the following (see Andrews [2]) Theorem 25 If a n a n (x, q), b n b n (x, q) and b n a k (q) n k (xq) n+k then B n A k (q) n k (xq) n+k,
12 where A k : A k (x, q) : x k q k2 a k (x, q ) and B k : b k (x, q) : x k q k2 k b k (x, q ) Example: From the well-known Gaussian identity ( ) k (q) n k (q) n+k (q 2 )(q 4 ) (q 2n ) (23) (see, eg, Cigler [5, (47)]) we obtain by replacing q by q ( ) k q k2 (q) n k (q) n+k (q 2 )(q 4 ) (q 2n ) (24) In many applications the following Bailey pair generation is useful (cf Paule [Lemma 2, 24]) Lemma 2 If c R and then b n q n b n ( ) k q ck2 ck (q) n k (q) n+k ( ) k q ck2 (c )k (q) n k (q) n+k Thus given a Bailey pair ( ) (a n ), (b n 0, where an ( ) n q cn2 cn, a new Bailey pair is constituted by ( ) (q n a n ), (q n b n ) 0 One example of the wide range of application of the Bailey chain concept lies in the field of multiple series generalizations of identities of the Rogers-Ramanujan type (cf Andrews [2]) As an example we consider the analytic counterpart to Gordon s partition theorem [9] discovered by Andrews [5]: n n 0,±r (mod 2s+) r s ( q n ) n n s 0 q n2 +n n2 s +n r+ +n s (q) n n 2 (q) n2 n 3 (q) ns (25) According Jacobi s identity (6) the left hand side of (25) is equal to (q) ( ) k q (s+ 2 )k2 (s r+ 2 )k : A r,s
13 Now the case r s is immediately obtained by walking along a Bailey chain as far as we arrive at a simple special case (6) of the q-binomial theorem A s,s (q) (5) (3) (6) n 0 n 0 nb s0 q n2 q n2 ( ) k q (s+ 2 )k2 2 k n 2 0 n n s 0 qn 2 s (q) ns n s ( ) k q (s+ 2 )k2 2 k (q) n k(q) n +k q n2 2 (q) n n 2 n s 0 ( ) k q 2 k2 2 k (q) ns k(q) ns +k q n2 s (q) ns 2 n s q n2 +n n2 s (q) n n 2 (q) n2 n 3 (q) ns We observe that for r s this Bailey chain does not arrive at the q-binomial theorem Now the way out of that problem is to leave the original chain at some point by switching to a new Bailey pair and continuing the Bailey chain walk with that new pair as a new starting point If desired, we may repeat this process Moving like that the authors of [] would call a walk in a Bailey lattice As an example we look at the case r s of equation (25) (cf Paule [24]) We have (5) A r,s n 0 q n2 Now we apply (3) (r )-times, which gives A r,s n 0 q n2 n 2 0 ( ) k q (s 2 )k2 (s r+ 2 )k (q) n k(q) n +k q n2 2 (q) n n 2 n r 0 ( ) k q (s r+ 2 )k2 (s r+ 2 )k (q) nr k(q) nr +k According to Lemma 2 we now switch to a new Bailey pair: A r,s n 0 q n r q n2 n 2 0 q n2 2 (q) n n 2 n r 0 q n2 r (q) nr n r q n2 r (q) nr n r ( )q (s r+ 2 )k2 (s r 2 )k (q) nr k(q) nr +k
14 Now we move one step in the new Bailey chain by (3): A r,s n 0 q n2 n r+ 0 n 2 0 q n2 2 (q) n n 2 q n2 r+ (q) nr n r+ n r 0 q n2 r +n r (q) nr n r ( ) k q (s r 2 )k2 (s r 2 )k (q) nr+ k(q) nr+ +k We repeat this process of applying Lemma 2 followed by (3) until we arrive at A r,s n n s 0 q n2 +n n2 s +n r+ +n s (q) n n 2 (q) n2 n 3 (q) ns n s ( ) k q 2 k2 2 k, (q) ns k(q) ns +k which now is reduced by the special case (6) of the q-binomial theorem to A r,s This proves equation (25) n n s 0 q n2 + +n2 s +n r+ +n s (q) n n 2 (q) n2 n 3 (q) ns Now there is another Bailey chain walk to prove equation (25) which brings identity (4), the counterpart of (3), into play (cf Agarwal-Andrews-Bressoud []) To demonstrate this we first need Lemma 22 If c R and then and vice versa b n b n ( ) k q (c+)k2 ck (q) n k (q) n+k ( ) k q (c+)k2 +ck (q) n k (q) n++k, Proof To prove Lemma 22 is equivalent to show that [ ] 2n + ( ) k q (c+)k2 +ck ( q 2n+ ) Using the recurrence formula [ ] r + s [ ] [ ] r r + q r s+ s s [ ] 2n ( ) k q (c+)k2 ck
15 the left hand side of this equation becomes [ ] 2n ( ) k q (c+)k2 +ck q n+ The last line follows by Lemma 2 ( q 2n+ ) [ ] 2n ( ) k q (c+)k2 (c+)k [ ] 2n ( ) k q (c+)k ck Behind Lemma 22 lies the following important observation: It is possible to pass from a Bailey pair ( (a n ), (b n ) ) relative to x, ie a k b n, (q) n k (xq) n+k to a Bailey pair ( (a n), (b n) ) relative to y, ie b a k n (q) n k (yq) n+k In practice y will be x times an integer power of q Example: By Lemma 22 we immediately get ( ) k q 3 2 k2 + 2 k, (26) (q) n k (q) n++k (q) n the counterpart of the Bailey pair corresponding to equation (7) Remark This problem was first considered by D Bressoud [] and Agarwal-Andrews- Bressoud [3] in the general context of matrix inversion and motivated these authors to introduce the notion of a Bailey lattice Now we present a second proof of equation (25) by a different Bailey chain walk: (5) ( ) k q (s A r,s q n2 2 )k2 (s r+ 2 )k (q) n k(q) n +k (3) n 0 n 0 q n2 (Lemma 22) n 2 0 q n2 2 (q) n n 2 n r 0 ( ) k q (s r+ 3 2 )k2 (s r+ 2 )k (q) nr k(q) nr +k n 0 q n2 n 2 0 q n2 2 (q) n n 2 ( ) k q (s r+ 3 2 )k2 +(s r+ 2 )k (q) nr k(q) nn r ++k q n2 r (q) nr 2 n r n r 0 q n2 r (q) nr 2 n r
16 Now we walk along the Bailey chain by repeated application of (4) as far as we arrive at A r,s n 0 n r0 q n2 n 2 0 q n2 2 (q) n n 2 qn 2 r +n r (q) nr n r n n s 0 n s 0 ( ) k q 3 2 k2 + 2 k n r 0 (q) ns k(q) ns ++k qn 2 r (q) nr 2 n r qn 2 s +n s (q) ns 2 n s q n2 +n n2 s +n r+ +n s (q) n n 2 (q) n2 n (q) ns The last line follows from equation (26) This proves equation (25) In this proof we first walked along the Bailey chain corresponding to identity (3) After that, we made a side-step changing the parameter x to x q and continued our walk along the Bailey chain corresponding to identity (4) Finally we arrived at a Bailey pair, which we recognized as the (x q)-counterpart (26) of (7) Thus we have seen that identity (25) has been proved by two different walks in a Bailey lattice In Agarwal-Andrews-Bressoud [] identity (25) is proved as a special case of a very general theorem [Theorem 3, ], which is based on a Bailey lattice walk with one parameter change of x to xq Concluding this section we make some remarks on changing the parameter x Given a Bailey pair ( (a n ), (b n ) ), ie b n a k (q) n k (xq) n+k, we substitute x q N This motivates the following Definition Two sequences (A n ), (B n ) form a q-binomial (or simply binomial) Bailey pair relative to N, if [ ] 2n + N B n A k Each Bailey pair ( (a n ), (b n ) ), where b n n a k (q) n k (xq) n+k with x q N, can be turned into a binomial Bailey pair (by defining A n : a n and B n : (q) 2n+N (q) N b n ) and vice versa Now changing the parameter x to xq is expressed as
17 Theorem 26 If ( (A n ), (B n ) ) is a binomial Bailey pair relative to N, ie [ ] 2n + N B n A k, then ( (A n), (B n) ) is a binomial Bailey pair relative to N, ie [ ] 2n + N B n A k, where and A n : Proof For k n we conclude from [ ] 2n + N and [2n ] + N that Thus B n [ ] 2n + N A k [2k + N] q2k+n 2 A k [2k + N 2] [n + k + N] [] [2n + N] [2k + N] B n [2n + N] [2n + N] B n : B n [2n + N] [2n + N] [] [ ] 2n + N (A : 0) [ ] ( ) [ ] 2n + N [2k + N] 2n + N + q 2k+N [] ([ ] 2n + N [ ] 2n + N A k n A n [2n + N] + [ ] 2n + N [ ] 2n + N n A0 n [N] + [ 2n + N which proves Theorem 26 k A n k [2k + N] ] A k, [ ]) 2n + N q 2k+N k [ 2n + N ] q 2k+N 2 A k [2k + N 2] It is easily seen that the important Lemma 22 is contained in Theorem 26 as a special case: (set N and A k ( ) k q (c+)k2 +ck ) As we shall see in the next section a generalization of Theorem 26, which is the key result (Lemma 2) of the Agarwal-Andrews-Bressoud paper [], is also a straight-forward application of Theorem 26 What happens if we want to change the parameter x to xq? We treat this question as a transition from a binomial Bailey pair relative to N to a binomial Bailey pair relative to N The inversion of Theorem 26 yields
18 Theorem 27 If ( (A n), (B n) ) is a binomial Bailey pair relative to N, ie B n [ ] 2n + N A k, then ( (A n ), (B n ) ) is a binomial Bailey pair relative to N, i e B n [ ] 2n + N A k, where and k A k : [2k + N]q k2 +(N )k q j2 (N )j A j j0 B n : [2n + N]B n Proof The proof is a simple matrix inversion using the inversion relation with x k k y j y k x k x k (x : 0), j0 A k x k : q k2 (N )k [2k + N], y k : q k 2 (N )k A k, assuming that (A k ) and (A k ) are connected as in Theorem 26 Example: Identity (24) can be rewritten as [ ] 2n A k B n, where A 0, A k 2( )k q k2 k and B n (q; q 2 ) n Now Theorem 27 with N yields which gives A k [2k + ]( ) k q k2 andb n [2n + ](q; q 2 ) n, as the (N )-counterpart of (24) [ ] 2n + ( ) k q k2 (q; q 2 ) n+
19 3 Generalizations 3 An extension of Bailey s Lemma In this section we shall consider a generalization of Bailey s Lemma, which contains Theorem 2 as a limiting case Definition For n + n n j n we define (q-multinomial coefficient) [ ] n : n, n 2,, n j [n]! [n ]![n 2 ]! [n j ]! We formulate this extended form of Bailey s Lemma in the language of q-multinomial coefficients: Theorem 3 If ( (A n ), (B n ) ) is a binomial Bailey pair relative to N, then ( (A n), (B n) ) is also a binomial Bailey pair relative to N, where and B n : A k : [ 2a + N a k [2a + N]![2b + N]![2n + N]! [a + b + N]![b + n + N]![n + a + N]! ][ ] 2b + N q Nk+k2 A k b k [ j0 a + b + n + N j a j, b j, n j, 2j + N ] q N j+j 2 B j This is what G Andrews denotes by Baileys s Lemma in [(23)-(26), 2] with ρ q a, ρ 2 q b and the parameter a replaced by q N ( x) W N Bailey described in 4 of [9] how to get Theorem 3, but he never carried it out explicitly The reason for that may lie in the fact that he did not observe the iteration mechanism hidden in his Lemma (Theorem 22) Bailey s Lemma was first stated in full generality by G Andrews in [2] and P Paule [23] independently observed the important special cases N 0 and N of where [ ][ ][ a + b + N b + c + N c + a + N a k b k c k [ a + b + c + N j a j, b j, c j, 2j + N j0 B j j [ ] 2j + N A k j k ] q k2 +Nk A k ] q j2 +Nj B j, (27) (see D and D2 of Paule [23]) It is easily checked that (27) is an equivalent reformulation of Theorem 3
20 Now we come back to the key result Lemma 2 of Agarwal-Andrews-Bressoud [], which can be rewritten as [ ][ ][ ] a + b + N b + n + N n + a + N q k2 +(N )k A k a k b k [ ] a + b + n + N q j2 +(N )j B a j, b j, n j, 2j + N j, (28) j0 where and A k A k [2k + N] q2k+n 2 A k [2k + N 2] B n B n [2n + N] (A : 0) (See (9) of Agarwal-Andrews-Bressoud [] with ρ q a, δ q b and a q N ) Now, if ( (A n ), (B n ) ) forms a binomial Bailey pair, equation (28), i e Lemma 2 of [], is immediately proved by (27) and Theorem 26 If we let c tend to infinity in equation (27), we obtain a formula, which is equivalent to Theorem 2 (cf Paule [24]) In this resulting formula it is possible to send b to infinity, which gives identity (2) with x replaced by q N, and finally a to infinity, which yields a general equation (5) (with parameter x q N instead x ) G Andrews observed [3] that also in this general case we can walk backwards in the Bailey chain Thus is, because walking along the Bailey chain now means to construct a sequence of Bailey pairs ( (A n ), (B n ) ) ( (A n), (B n) ) according to Theorem 3, a process, which can be reversed by and A k [ 2a + N a k ] [ ] 2b + N q k2 Nk A k b k B n q n2 Nn (q) a n (q) b n (q) a (q) b (q) a+n (q) b+n [ ] ( ) n k q (n k 2 ) a + b + N + B k Also this extension of (2) is an application of the inverse relation (22)
21 If N 0 or N it is possible to symmetrize identity (27) as follows: [ ][ ][ ] a + c + ρ b + c + ρ c + a + ρ c k (29) a k b k c k [ ] a + b + c + ρ j q j2 +ρj a j, b j, c j, 2j + ρ j0 [ ] 2j + q k2 ρk c k, j k where ρ 0 or (cf Paule [23]) Example In [(B) and (B ), 4] P Cartier and D Foata proved p n0 ( ) ( ) ( ) b + c + ρ c + a + ρ a + b + ρ u p+k v p k+ρ c + k a + k b + k (a + b + c n + ρ)! (u + v)2n+ρ (uv)p n, (30) (a n)!(b n)!(c n)! (2n + ρ)! where ρ 0 or (For the case ρ 0 see D Foata [7]) By (29) and the q-binomial theorem in the form (5) or its (N )-counterpart [ ] 2n + ( ) k x k q 2 k2 (x q 2 )n (xq 2 )n+, (3) respectively, the following q-analogue of (30) can be given: n0 [ ][ ][ ] b + c + ρ c + a + a + b + ρ q 3 2 k2 2 k ( u c + k a + k b + k v )k (32) [a + b + c n + ρ]! [a n]![b n]![c n]! ( v u q ρ ) n ( u v qρ ) n+ρ, [2n + ρ]! where ρ 0 or Remark In proving equation (30) P Cartier and D Foata gave a purely combinatorial proof of ( ) ( ) ( ) b + c + ρ c + a + ρ a + b + ρ (33) c + k a + k b + k (a + b + c + n ρ)! (a n)!(b n)!(c n)!(n + k)!( + ρ)!, n where ρ 0 or (a Pfaff-Saalschütz summation)
22 From that the proof of (29), the extension of Bailey s Lemma in the cases N 0 or, for q is simple: one just has to multiply equation (32) by coefficients c k and to sum over all possible k s and finally change the order of summation Recently [3] D Zeilberger q-analogized the Cartier-Foata proof of (32) to show [ ][ ][ ] b + c c + a a + b (34) c + k a + k b + k q n2 k 2 [a + b + c n]! [a n]![b n]![c n]![n + k]![]! n This gives equation (29) with ρ 0 as described above 32 Concluding Remarks Bailey s Lemma and the concept of Bailey chains have a wide range of application in additive number theory, combinatories and special functions, and physics (R J Baxter s hard hexagon model in statistical mechanics, see eg R J Baxter []) For these applications one should consult G Andrews [2] and his q-series compendium [3], which contains also an extensive reference list In [2] G Andrews pointed out that all of the 30 Rogers-Ramanujan type identities given in Slater s list [29] posess multiple series generalizations as equation (25), which contains the Rogers-Ramanujan identities (eg s 2 and r 2 in (25) yields (7)) Let us close with an example of H Cohen [6], where two important special cases of equation (25) arise in an algebraic context: G p k G0 AutG n 0,±k ( p n ) n (mod 2k+) and G p k G0 AutG G n 0,± ( p n ) n (mod 2k+) where the sums are over all isomorphism classes of abelian p-groups annihilated by p k (p a prime) 4 References A K AGARWAL, G E ANDREWS, D M BRESSOUD, The Bailey Lattice, J Indian Math Soc, to appear 2 G E ANDREWS, Multiple series Rogers - Ramanujan type identities, Pac J Math, 4 (984),
23 3 G E ANDREWS, q-series: their development and application in analysis, number theory, combinatories, physics and computer algebra, CBMS Regional Conference Series in Mathematics, 66 (AMS, Providence, 986) 4 G E ANDREWS, The Theory of Partitions, Encyclopedia of Mathematics and its Applications, vol 2, Addison - Wesley, G E ANDREWS, An analytic generalization of the Rogers - Ramanujan identities for odd moduli, Proc Nat Acad Sci USA, 7 (974), G E ANDREWS, Connection coefficient problems and partitions, Proc of Symposia in Pure Math 34 (972), R ASKEY, Preface of Special Functions: Group Theoretical Aspects and Applications, Editors: R A Askey, T H Koornwinder and W Schempp, D Reidel, W N BAILEY, Some identities in combinatory analysis, Proc London Math Soc (2), 49 (947), W N BAILEY, Identities of the Rogers - Ramanujan type, Proc London Math Soc (2), 50 (949), -0 0 W N BAILEY: Generalized Hypergeometric Series Cambridge Univ Press 935 (Reprinted: Hafner New York 964) R J BAXTER, Exactly Solved Models in Statistical Mechanics, Acad Press D M BRESSOUD, A matrix inverse, Proc of the AMS 88 (983), D M BRESSOUD, The Bailey Lattice: An Introduction, to appear in the Proceedings of the Ramanujan Centenary Conference, Illinois at Urbana - Champaign, P CARTIER, D FOATA, Problemes combinatoires de commutation et rearrangements, Springer Lect Notes in Math 85 (969) 5 J CIGLER, Elementare q-identitäten, Seminaire Lotharingen de Combinatoire, 5 e Session, Sainte-Croix-aux Mines, H COHEN, On the p k -rank of finite abelian groups and Andrew s generalizations of the Rogers - Ramanujan identities, Indag Math 88 (985), D FOATA, Etude algebrique de certains problemes d Analyse Combinatoire et du Calcul des Probabilites, Publ Inst Statist Univ Paris, 4 (965), 8-24
24 8 I GESSEL, D STANTON, Applications of q-lagrange inversion to basic hypergeometric series, Trans Amer Math Soc, 277 (983), B GORDON, Some identities in combinatorial analysis, Quart J Math Oxford Ser, 2 (96), J HOFBAUER, Langrange Inversion, Seminaire Lotharingien de Combinatoire, 6 eme session, Burg Feuerstein C KRATTENTHALER, q-lagrangeformel und inverse Relationen, Ph D Thesis, University of Vienna, C KRATTENTHALER, A new q-lagrange formula and some applications, Proc of the AMS 90 (984), P PAULE, Zwei neue Transformationen als elementare Anwendungen der q- Vandermonde Formel, Ph D Thesis, University of Vienna, P PAULE, On identities of the Rogers - Ramanujan type, J Math Anal and Appl 07 (985), P PAULE, A note on Bailey s lemma, J Comb Th (A) 44 (987), P PAULE, Ein neuer Weg zur q-lagrange Inversion, Bayreuther Math Schriften 8 (985), L J ROGERS, Second memoir on the expansion of certain infinite products, Proc London Math Soc 25 (894), L J ROGERS, Third memoir on the expansion of certain infinite products, Proc London Math Soc 26 (895), L J SLATER, Further identities of the Rogers - Ramanujan type, Proc London Math Soc (2), 54 (952), L J SLATER: Generalized Hypergeometric Functions Cambridge Univ Press, London and New York, D ZEILBERGER, A q-foata proof of the q-saalschütz identity, preprint Peter Paule, RISC-Linz (Research Institute for Symbolic Computation), Johannes-Kepler- Universität Linz, A-4040 LINZ, AUSTRIA
Ramanujan-Slater Type Identities Related to the Moduli 18 and 24
Ramanujan-Slater Type Identities Related to the Moduli 18 and 24 James McLaughlin Department of Mathematics, West Chester University, West Chester, PA; telephone 610-738-0585; fax 610-738-0578 Andrew V.
More informationOn an identity of Gessel and Stanton and the new little Göllnitz identities
On an identity of Gessel and Stanton and the new little Göllnitz identities Carla D. Savage Dept. of Computer Science N. C. State University, Box 8206 Raleigh, NC 27695, USA savage@csc.ncsu.edu Andrew
More informationTHE At AND Q BAILEY TRANSFORM AND LEMMA
BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 26, Number 2, April 1992 THE At AND Q BAILEY TRANSFORM AND LEMMA STEPHEN C. MILNE AND GLENN M. LILLY Abstract. We announce a higher-dimensional
More informationA Fine Dream. George E. Andrews (1) January 16, 2006
A Fine Dream George E. Andrews () January 6, 2006 Abstract We shall develop further N. J. Fine s theory of three parameter non-homogeneous first order q-difference equations. The obect of our work is to
More informationSingular Overpartitions
Singular Overpartitions George E. Andrews Dedicated to the memory of Paul Bateman and Heini Halberstam. Abstract The object in this paper is to present a general theorem for overpartitions analogous to
More information2 J. ZENG THEOREM 1. In the ring of formal power series of x the following identities hold : (1:4) 1 + X n1 =1 S q [n; ]a x n = 1 ax? aq x 2 b x? +1 x
THE q-stirling NUMBERS CONTINUED FRACTIONS AND THE q-charlier AND q-laguerre POLYNOMIALS By Jiang ZENG Abstract. We give a simple proof of the continued fraction expansions of the ordinary generating functions
More informationTHE BAILEY TRANSFORM AND FALSE THETA FUNCTIONS
THE BAILEY TRANSFORM AND FALSE THETA FUNCTIONS GEORGE E ANDREWS 1 AND S OLE WARNAAR 2 Abstract An empirical exploration of five of Ramanujan s intriguing false theta function identities leads to unexpected
More informationEngel Expansions of q-series by Computer Algebra
Engel Expansions of q-series by Computer Algebra George E. Andrews Department of Mathematics The Pennsylvania State University University Park, PA 6802, USA andrews@math.psu.edu Arnold Knopfmacher The
More information4-Shadows in q-series and the Kimberling Index
4-Shadows in q-series and the Kimberling Index By George E. Andrews May 5, 206 Abstract An elementary method in q-series, the method of 4-shadows, is introduced and applied to several poblems in q-series
More informationANALOGUES OF THE TRIPLE PRODUCT IDENTITY, LEBESGUE S IDENTITY AND EULER S PENTAGONAL NUMBER THEOREM
q-hypergeometric PROOFS OF POLYNOMIAL ANALOGUES OF THE TRIPLE PRODUCT IDENTITY, LEBESGUE S IDENTITY AND EULER S PENTAGONAL NUMBER THEOREM S OLE WARNAAR Abstract We present alternative, q-hypergeometric
More informationNEW CURIOUS BILATERAL q-series IDENTITIES
NEW CURIOUS BILATERAL q-series IDENTITIES FRÉDÉRIC JOUHET AND MICHAEL J. SCHLOSSER Abstract. By applying a classical method, already employed by Cauchy, to a terminating curious summation by one of the
More informationOVERPARTITIONS AND GENERATING FUNCTIONS FOR GENERALIZED FROBENIUS PARTITIONS
OVERPARTITIONS AND GENERATING FUNCTIONS FOR GENERALIZED FROBENIUS PARTITIONS SYLVIE CORTEEL JEREMY LOVEJOY AND AE JA YEE Abstract. Generalized Frobenius partitions or F -partitions have recently played
More informationHENG HUAT CHAN, SONG HENG CHAN AND SHAUN COOPER
THE q-binomial THEOREM HENG HUAT CHAN, SONG HENG CHAN AND SHAUN COOPER Abstract We prove the infinite q-binomial theorem as a consequence of the finite q-binomial theorem 1 The Finite q-binomial Theorem
More informationq-pell Sequences and Two Identities of V. A. Lebesgue
-Pell Seuences and Two Identities of V. A. Lebesgue José Plínio O. Santos IMECC, UNICAMP C.P. 6065, 13081-970, Campinas, Sao Paulo, Brazil Andrew V. Sills Department of Mathematics, Pennsylvania State
More informationRogers-Ramanujan Computer Searches
Georgia Southern University Digital Commons@Georgia Southern Mathematical Sciences Faculty Publications Mathematical Sciences, Department of 8-2009 Rogers-Ramanujan Computer Searches James McLaughlin West
More informationSome Questions Concerning Computer-Generated Proofs of a Binomial Double-Sum Identity
J. Symbolic Computation (1994 11, 1 7 Some Questions Concerning Computer-Generated Proofs of a Binomial Double-Sum Identity GEORGE E. ANDREWS AND PETER PAULE Department of Mathematics, Pennsylvania State
More informationUNIFICATION OF THE QUINTUPLE AND SEPTUPLE PRODUCT IDENTITIES. 1. Introduction and Notation
UNIFICATION OF THE QUINTUPLE AND SEPTUPLE PRODUCT IDENTITIES WENCHANG CHU AND QINGLUN YAN Department of Applied Mathematics Dalian University of Technology Dalian 116024, P. R. China Abstract. By combining
More informationCOMBINATORICS OF GENERALIZED q-euler NUMBERS. 1. Introduction The Euler numbers E n are the integers defined by E n x n = sec x + tan x. (1.1) n!
COMBINATORICS OF GENERALIZED q-euler NUMBERS TIM HUBER AND AE JA YEE Abstract New enumerating functions for the Euler numbers are considered Several of the relevant generating functions appear in connection
More informationq GAUSS SUMMATION VIA RAMANUJAN AND COMBINATORICS
q GAUSS SUMMATION VIA RAMANUJAN AND COMBINATORICS BRUCE C. BERNDT 1 and AE JA YEE 1. Introduction Recall that the q-gauss summation theorem is given by (a; q) n (b; q) ( n c ) n (c/a; q) (c/b; q) =, (1.1)
More informationIAP LECTURE JANUARY 28, 2000: THE ROGERS RAMANUJAN IDENTITIES AT Y2K
IAP LECTURE JANUARY 28, 2000: THE ROGERS RAMANUJAN IDENTITIES AT Y2K ANNE SCHILLING Abstract. The Rogers-Ramanujan identities have reached the ripe-old age of one hundred and five and are still the subject
More informationRHOMBUS TILINGS OF A HEXAGON WITH TWO TRIANGLES MISSING ON THE SYMMETRY AXIS
RHOMBUS TILINGS OF A HEXAGON WITH TWO TRIANGLES MISSING ON THE SYMMETRY AXIS THERESIA EISENKÖLBL Institut für Mathematik der Universität Wien, Strudlhofgasse 4, A-1090 Wien, Austria. E-mail: Theresia.Eisenkoelbl@univie.ac.at
More information= (q) M+N (q) M (q) N
A OVERPARTITIO AALOGUE OF THE -BIOMIAL COEFFICIETS JEHAE DOUSSE AD BYUGCHA KIM Abstract We define an overpartition analogue of Gaussian polynomials (also known as -binomial coefficients) as a generating
More informationAN ELEMENTARY APPROACH TO THE MACDONALD IDENTITIES* DENNIS STANTON
AN ELEMENTARY APPROACH TO THE MACDONALD IDENTITIES* DENNIS STANTON Abstract. Elementary proofs are given for the infinite families of Macdonald identities. The reflections of the Weyl group provide sign-reversing
More informationOn integral representations of q-gamma and q beta functions
On integral representations of -gamma and beta functions arxiv:math/3232v [math.qa] 4 Feb 23 Alberto De Sole, Victor G. Kac Department of Mathematics, MIT 77 Massachusetts Avenue, Cambridge, MA 239, USA
More informationResearch Article New Partition Theoretic Interpretations of Rogers-Ramanujan Identities
International Combinatorics Volume 2012, Article ID 409505, 6 pages doi:10.1155/2012/409505 Research Article New Partition Theoretic Interpretations of Rogers-Ramanujan Identities A. K. Agarwal and M.
More informationA HYPERGEOMETRIC INEQUALITY
A HYPERGEOMETRIC INEQUALITY ATUL DIXIT, VICTOR H. MOLL, AND VERONIKA PILLWEIN Abstract. A sequence of coefficients that appeared in the evaluation of a rational integral has been shown to be unimodal.
More informationPacific Journal of Mathematics
Pacific Journal of Mathematics ELLIPTIC FUNCTIONS TO THE QUINTIC BASE HENG HUAT CHAN AND ZHI-GUO LIU Volume 226 No. July 2006 PACIFIC JOURNAL OF MATHEMATICS Vol. 226, No., 2006 ELLIPTIC FUNCTIONS TO THE
More informationarxiv:math/ v1 [math.co] 13 Jul 2005
A NEW PROOF OF THE REFINED ALTERNATING SIGN MATRIX THEOREM arxiv:math/0507270v1 [math.co] 13 Jul 2005 Ilse Fischer Fakultät für Mathematik, Universität Wien Nordbergstrasse 15, A-1090 Wien, Austria E-mail:
More information(q n a; q) = ( a) n q (n+1 2 ) (q/a; q)n (a; q). For convenience, we employ the following notation for multiple q-shifted factorial:
ARCHIVUM MATHEMATICUM (BRNO) Tomus 45 (2009) 47 58 SEVERAL q-series IDENTITIES FROM THE EULER EXPANSIONS OF (a; q) AND (a;q) Zhizheng Zhang 2 and Jizhen Yang Abstract In this paper we first give several
More informationCombinatorial Analysis of the Geometric Series
Combinatorial Analysis of the Geometric Series David P. Little April 7, 205 www.math.psu.edu/dlittle Analytic Convergence of a Series The series converges analytically if and only if the sequence of partial
More informationCombinatorial Interpretations of a Generalization of the Genocchi Numbers
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 7 (2004), Article 04.3.6 Combinatorial Interpretations of a Generalization of the Genocchi Numbers Michael Domaratzki Jodrey School of Computer Science
More informationMOCK THETA FUNCTIONS AND THETA FUNCTIONS. Bhaskar Srivastava
NEW ZEALAND JOURNAL OF MATHEMATICS Volume 36 (2007), 287 294 MOCK THETA FUNCTIONS AND THETA FUNCTIONS Bhaskar Srivastava (Received August 2004). Introduction In his last letter to Hardy, Ramanujan gave
More informationCOMBINATORICS OF RAMANUJAN-SLATER TYPE IDENTITIES. James McLaughlin Department of Mathematics, West Chester University, West Chester, PA 19383, USA
COMBINATORICS OF RAMANUJAN-SLATER TYPE IDENTITIES James McLaughlin Department of Mathematics, West Chester University, West Chester, PA 9383, USA jmclaughl@wcupa.edu Andrew V. Sills Department of Mathematical
More informationSEARCHING FOR STRANGE HYPERGEOMETRIC IDENTITIES BY SHEER BRUTE FORCE. Moa APAGODU. Doron ZEILBERGER 1
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 8 (2008), #A36 1 SEARCHING FOR STRANGE HYPERGEOMETRIC IDENTITIES BY SHEER BRUTE FORCE Moa APAGODU Department of Mathematics, Virginia Commonwealth
More informationThe Bhargava-Adiga Summation and Partitions
The Bhargava-Adiga Summation and Partitions By George E. Andrews September 12, 2016 Abstract The Bhargava-Adiga summation rivals the 1 ψ 1 summation of Ramanujan in elegance. This paper is devoted to two
More informationarxiv: v2 [math.nt] 9 Apr 2015
CONGRUENCES FOR PARTITION PAIRS WITH CONDITIONS arxiv:408506v2 mathnt 9 Apr 205 CHRIS JENNINGS-SHAFFER Abstract We prove congruences for the number of partition pairs π,π 2 such that π is nonempty, sπ
More informationAn alternative evaluation. of the Andrews{Burge determinant. C. Krattenthaler y. Dedicated to Gian-Carlo Rota
An alternative evaluation of the Andrews{Burge determinant C. Krattenthaler y Dedicated to Gian-Carlo Rota Abstract. We give a short, self-contained evaluation of the Andrews{Burge determinant (Pacic J.
More informationREFINEMENTS OF SOME PARTITION INEQUALITIES
REFINEMENTS OF SOME PARTITION INEQUALITIES James Mc Laughlin Department of Mathematics, 25 University Avenue, West Chester University, West Chester, PA 9383 jmclaughlin2@wcupa.edu Received:, Revised:,
More informationCOMBINATORICS OF RAMANUJAN-SLATER TYPE IDENTITIES
COMBINATORICS OF RAMANUJAN-SLATER TYPE IDENTITIES James McLaughlin Department of Mathematics, West Chester University, West Chester, PA 9383, USA jmclaughl@wcupa.edu Andrew V. Sills Department of Mathematical
More informationMACMAHON S PARTITION ANALYSIS IX: k-gon PARTITIONS
MACMAHON S PARTITION ANALYSIS IX: -GON PARTITIONS GEORGE E. ANDREWS, PETER PAULE, AND AXEL RIESE Dedicated to George Szeeres on the occasion of his 90th birthday Abstract. MacMahon devoted a significant
More informationTHE METHOD OF WEIGHTED WORDS REVISITED
THE METHOD OF WEIGHTED WORDS REVISITED JEHANNE DOUSSE Abstract. Alladi and Gordon introduced the method of weighted words in 1993 to prove a refinement and generalisation of Schur s partition identity.
More informationSOME IDENTITIES RELATING MOCK THETA FUNCTIONS WHICH ARE DERIVED FROM DENOMINATOR IDENTITY
Math J Okayama Univ 51 (2009, 121 131 SOME IDENTITIES RELATING MOCK THETA FUNCTIONS WHICH ARE DERIVED FROM DENOMINATOR IDENTITY Yukari SANADA Abstract We show that there exists a new connection between
More informationA Catalan-Hankel Determinant Evaluation
A Catalan-Hankel Determinant Evaluation Ömer Eğecioğlu Department of Computer Science, University of California, Santa Barbara CA 93106 (omer@cs.ucsb.edu) Abstract Let C k = ( ) 2k k /(k +1) denote the
More informationBeukers integrals and Apéry s recurrences
2 3 47 6 23 Journal of Integer Sequences, Vol. 8 (25), Article 5.. Beukers integrals and Apéry s recurrences Lalit Jain Faculty of Mathematics University of Waterloo Waterloo, Ontario N2L 3G CANADA lkjain@uwaterloo.ca
More informationSome More Identities of Rogers-Ramanujan Type
Georgia Southern University Digital Commons@Georgia Southern Mathematical Sciences Faculty Publications Department of Mathematical Sciences 2009 Some More Identities of Rogers-Ramanujan Type Douglas Bowman
More informationTwo truncated identities of Gauss
Two truncated identities of Gauss Victor J W Guo 1 and Jiang Zeng 2 1 Department of Mathematics, East China Normal University, Shanghai 200062, People s Republic of China jwguo@mathecnueducn, http://mathecnueducn/~jwguo
More informationarxiv:math/ v1 [math.ca] 8 Nov 2003
arxiv:math/0311126v1 [math.ca] 8 Nov 2003 PARTIAL SUMS OF HYPERGEOMETRIC SERIES OF UNIT ARGUMENT 1 WOLFGANG BÜHRING Abstract. The asymptotic behaviour of partial sums of generalized hypergeometric series
More informationarxiv:math/ v1 [math.co] 5 Oct 1998
RHOMBUS TILINGS OF A HEXAGON WITH TWO TRIANGLES MISSING ON THE SYMMETRY AXIS THERESIA EISENKÖLBL arxiv:math/98009v [math.co] 5 Oct 998 Abstract. We compute the number of rhombus tilings of a hexagon with
More informationGenerating Functions of Partitions
CHAPTER B Generating Functions of Partitions For a complex sequence {α n n 0,, 2, }, its generating function with a complex variable q is defined by A(q) : α n q n α n [q n ] A(q). When the sequence has
More informationTwo finite forms of Watson s quintuple product identity and matrix inversion
Two finite forms of Watson s uintuple product identity and matrix inversion X. Ma Department of Mathematics SuZhou University, SuZhou 215006, P.R.China Submitted: Jan 24, 2006; Accepted: May 27, 2006;
More informationColored Partitions and the Fibonacci Sequence
TEMA Tend. Mat. Apl. Comput., 7, No. 1 (006), 119-16. c Uma Publicação da Sociedade Brasileira de Matemática Aplicada e Computacional. Colored Partitions and the Fibonacci Sequence J.P.O. SANTOS 1, M.
More informationCONGRUENCES RELATED TO THE RAMANUJAN/WATSON MOCK THETA FUNCTIONS ω(q) AND ν(q)
CONGRUENCES RELATED TO THE RAMANUJAN/WATSON MOCK THETA FUNCTIONS ωq) AND νq) GEORGE E. ANDREWS, DONNY PASSARY, JAMES A. SELLERS, AND AE JA YEE Abstract. Recently, Andrews, Dixit, and Yee introduced partition
More informationAn Algebraic Identity of F.H. Jackson and its Implications for Partitions.
An Algebraic Identity of F.H. Jackson and its Implications for Partitions. George E. Andrews ( and Richard Lewis (2 ( Department of Mathematics, 28 McAllister Building, Pennsylvania State University, Pennsylvania
More informationCONGRUENCES RELATED TO THE RAMANUJAN/WATSON MOCK THETA FUNCTIONS ω(q) AND ν(q)
CONGRUENCES RELATED TO THE RAMANUJAN/WATSON MOCK THETA FUNCTIONS ωq) AND νq) GEORGE E. ANDREWS, DONNY PASSARY, JAMES A. SELLERS, AND AE JA YEE Abstract. Recently, Andrews, Dixit and Yee introduced partition
More information50 YEARS OF BAILEY S LEMMA
50 YEARS OF BAILEY S LEMMA S OLE WARNAAR 0 introduction Half a century ago, The Proceedings of the London Mathematical Society published W N Bailey s influential paper Identities of the Rogers Ramanujan
More informationSome Generalized Fibonomial Sums related with the Gaussian q Binomial sums
Bull. Math. Soc. Sci. Math. Roumanie Tome 55(103 No. 1, 01, 51 61 Some Generalized Fibonomial Sums related with the Gaussian q Binomial sums by Emrah Kilic, Iler Aus and Hideyui Ohtsua Abstract In this
More informationarxiv:math/ v2 [math.co] 19 Sep 2005
A COMBINATORIAL PROOF OF THE ROGERS-RAMANUJAN AND SCHUR IDENTITIES arxiv:math/04072v2 [math.co] 9 Sep 2005 CILANNE BOULET AND IGOR PAK Abstract. We give a combinatorial proof of the first Rogers-Ramanujan
More informationINFINITE FAMILIES OF STRANGE PARTITION CONGRUENCES FOR BROKEN 2-DIAMONDS
December 1, 2009 INFINITE FAMILIES OF STRANGE PARTITION CONGRUENCES FOR BROKEN 2-DIAMONDS PETER PAULE AND SILVIU RADU Dedicated to our friend George E. Andrews on the occasion of his 70th birthday Abstract.
More informationNewton, Fermat, and Exactly Realizable Sequences
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 8 (2005), Article 05.1.2 Newton, Fermat, and Exactly Realizable Sequences Bau-Sen Du Institute of Mathematics Academia Sinica Taipei 115 TAIWAN mabsdu@sinica.edu.tw
More informationNew modular relations for the Rogers Ramanujan type functions of order fifteen
Notes on Number Theory and Discrete Mathematics ISSN 532 Vol. 20, 204, No., 36 48 New modular relations for the Rogers Ramanujan type functions of order fifteen Chandrashekar Adiga and A. Vanitha Department
More informationCombinatorial proofs of a kind of binomial and q-binomial coefficient identities *
Combinatorial proofs of a kind of binomial and q-binomial coefficient identities * Victor J. W. Guo a and Jing Zhang b Department of Mathematics, East China Normal University Shanghai 200062, People s
More informationHow many units can a commutative ring have?
How many units can a commutative ring have? Sunil K. Chebolu and Keir Locridge Abstract. László Fuchs posed the following problem in 960, which remains open: classify the abelian groups occurring as the
More informationCongruence Properties of Partition Function
CHAPTER H Congruence Properties of Partition Function Congruence properties of p(n), the number of partitions of n, were first discovered by Ramanujan on examining the table of the first 200 values of
More informationPartitions With Parts Separated By Parity
Partitions With Parts Separated By Parity by George E. Andrews Key Words: partitions, parity of parts, Ramanujan AMS Classification Numbers: P84, P83, P8 Abstract There have been a number of papers on
More informationSome generalizations of a supercongruence of van Hamme
Some generalizations of a supercongruence of van Hamme Victor J. W. Guo School of Mathematical Sciences, Huaiyin Normal University, Huai an, Jiangsu 3300, People s Republic of China jwguo@hytc.edu.cn Abstract.
More informationPositivity of Turán determinants for orthogonal polynomials
Positivity of Turán determinants for orthogonal polynomials Ryszard Szwarc Abstract The orthogonal polynomials p n satisfy Turán s inequality if p 2 n (x) p n 1 (x)p n+1 (x) 0 for n 1 and for all x in
More information2-UNIVERSAL POSITIVE DEFINITE INTEGRAL QUINARY QUADRATIC FORMS
2-UNIVERSAL POSITIVE DEFINITE INTEGRAL QUINARY QUADRATIC FORMS Byeong Moon Kim, Myung-Hwan Kim and Byeong-Kweon Oh Dept. of Math., Kangnung Nat l Univ., Kangwondo 210-702, Korea (kbm@knusun.kangnung.ac.kr)
More informationq-series Michael Gri for the partition function, he developed the basic idea of the q-exponential. From
q-series Michael Gri th History and q-integers The idea of q-series has existed since at least Euler. In constructing the generating function for the partition function, he developed the basic idea of
More informationDIVISIBILITY AND DISTRIBUTION OF PARTITIONS INTO DISTINCT PARTS
DIVISIBILITY AND DISTRIBUTION OF PARTITIONS INTO DISTINCT PARTS JEREMY LOVEJOY Abstract. We study the generating function for (n), the number of partitions of a natural number n into distinct parts. Using
More information= i 0. a i q i. (1 aq i ).
SIEVED PARTITIO FUCTIOS AD Q-BIOMIAL COEFFICIETS Fran Garvan* and Dennis Stanton** Abstract. The q-binomial coefficient is a polynomial in q. Given an integer t and a residue class r modulo t, a sieved
More informationOn the Ordinary and Signed Göllnitz-Gordon Partitions
On the Ordinary and Signed Göllnitz-Gordon Partitions Andrew V. Sills Department of Mathematical Sciences Georgia Southern University Statesboro, Georgia, USA asills@georgiasouthern.edu Version of October
More informationarxiv: v1 [math.ca] 7 Mar 2013
A SIMPLE PROOF OF ANDREWS S 5 F 4 EVALUATION IRA M. GESSEL arxiv:1303.1757v1 [math.ca] 7 Mar 2013 Department of Mathematics Brandeis University Waltham, MA 02453 gessel@brandeis.edu Abstract. We give a
More informationPOLYNOMIAL SOLUTIONS OF PELL S EQUATION AND FUNDAMENTAL UNITS IN REAL QUADRATIC FIELDS
J. London Math. Soc. 67 (2003) 16 28 C 2003 London Mathematical Society DOI: 10.1112/S002461070200371X POLYNOMIAL SOLUTIONS OF PELL S EQUATION AND FUNDAMENTAL UNITS IN REAL QUADRATIC FIELDS J. MCLAUGHLIN
More informationarxiv:math/ v1 [math.nt] 9 Aug 2004
arxiv:math/0408107v1 [math.nt] 9 Aug 2004 ELEMENTARY RESULTS ON THE BINARY QUADRATIC FORM a 2 + ab + b 2 UMESH P. NAIR Abstract. This paper examines with elementary proofs some interesting properties of
More informationarxiv: v1 [math.nt] 23 Jan 2019
SOME NEW q-congruences FOR TRUNCATED BASIC HYPERGEOMETRIC SERIES arxiv:1901.07962v1 [math.nt] 23 Jan 2019 VICTOR J. W. GUO AND MICHAEL J. SCHLOSSER Abstract. We provide several new q-congruences for truncated
More informationBruce C. Berndt, Heng Huat Chan, and Liang Cheng Zhang. 1. Introduction
RADICALS AND UNITS IN RAMANUJAN S WORK Bruce C. Berndt, Heng Huat Chan, and Liang Cheng Zhang In memory of S. Chowla. Introduction In problems he submitted to the Journal of the Indian Mathematical Society
More informationNEW IDENTITIES INVOLVING SUMS OF THE TAILS RELATED TO REAL QUADRATIC FIELDS KATHRIN BRINGMANN AND BEN KANE
NEW IDENTITIES INVOLVING SUMS OF THE TAILS RELATED TO REAL QUADRATIC FIELDS KATHRIN BRINGMANN AND BEN KANE To George Andrews, who has been a great inspiration, on the occasion of his 70th birthday Abstract.
More informationTHE THEORY OF HEAPS AND THE CARTIER FOATA MONOID. C. Krattenthaler
THE THEORY OF HEAPS AND THE CARTIER FOATA MONOID C Krattenthaler Fakultät für Mathematik, Universität Wien, Nordbergstraße 15, A-1090 Vienna, Austria WWW: http://wwwmatunivieacat/~kratt Abstract We present
More informationEVALUATION OF A FAMILY OF BINOMIAL DETERMINANTS
EVALUATION OF A FAMILY OF BINOMIAL DETERMINANTS CHARLES HELOU AND JAMES A SELLERS Abstract Motivated by a recent work about finite sequences where the n-th term is bounded by n, we evaluate some classes
More informationBASIC HYPERGEOMETRIC SERIES
ENCYCLOPEDIA OF MATHEMATICS AND ITS APPLICATIONS BASIC HYPERGEOMETRIC SERIES Second Edition GEORGE GASPER Northwestern University, Evanston, Illinois, USA MIZAN RAHMAN Carleton University, Ottawa, Canada
More informationMacMahon s Partition Analysis VIII: Plane Partition Diamonds
MacMahon s Partition Analysis VIII: Plane Partition Diamonds George E. Andrews * Department of Mathematics The Pennsylvania State University University Park, PA 6802, USA E-mail: andrews@math.psu.edu Peter
More informationThe Rogers-Ramanujan Functions and Computer Algebra
Ramanujan Congruences / 1 Joint Mathematics Meetings AMS Special Session in honor of Dennis Stanton s 65th Birthday San Diego, Jan 10 13, 2018 The Rogers-Ramanujan Functions and Computer Algebra Peter
More informationTHE FIRST POSITIVE RANK AND CRANK MOMENTS FOR OVERPARTITIONS
THE FIRST POSITIVE RANK AND CRANK MOMENTS FOR OVERPARTITIONS GEORGE ANDREWS, SONG HENG CHAN, BYUNGCHAN KIM, AND ROBERT OSBURN Abstract. In 2003, Atkin Garvan initiated the study of rank crank moments for
More informationBounds on Turán determinants
Bounds on Turán determinants Christian Berg Ryszard Szwarc August 6, 008 Abstract Let µ denote a symmetric probability measure on [ 1, 1] and let (p n ) be the corresponding orthogonal polynomials normalized
More informationSome congruences for Andrews Paule s broken 2-diamond partitions
Discrete Mathematics 308 (2008) 5735 5741 www.elsevier.com/locate/disc Some congruences for Andrews Paule s broken 2-diamond partitions Song Heng Chan Division of Mathematical Sciences, School of Physical
More informationTHE MAJOR COUNTING OF NONINTERSECTING LATTICE PATHS AND GENERATING FUNCTIONS FOR TABLEAUX Summary
THE MAJOR COUNTING OF NONINTERSECTING LATTICE PATHS AND GENERATING FUNCTIONS FOR TABLEAUX Summary (The full-length article will appear in Mem. Amer. Math. Soc.) C. Krattenthaler Institut für Mathematik
More informationDifference Equations for Multiple Charlier and Meixner Polynomials 1
Difference Equations for Multiple Charlier and Meixner Polynomials 1 WALTER VAN ASSCHE Department of Mathematics Katholieke Universiteit Leuven B-3001 Leuven, Belgium E-mail: walter@wis.kuleuven.ac.be
More informationInteger Partitions With Even Parts Below Odd Parts and the Mock Theta Functions
Integer Partitions With Even Parts Below Odd Parts and the Mock Theta Functions by George E. Andrews Key Words: Partitions, mock theta functions, crank AMS Classification Numbers: P84, P83, P8, 33D5 Abstract
More informationLegendre s Equation. PHYS Southern Illinois University. October 18, 2016
Legendre s Equation PHYS 500 - Southern Illinois University October 18, 2016 PHYS 500 - Southern Illinois University Legendre s Equation October 18, 2016 1 / 11 Legendre s Equation Recall We are trying
More informationRAMANUJAN S LOST NOTEBOOK: COMBINATORIAL PROOFS OF IDENTITIES ASSOCIATED WITH HEINE S TRANSFORMATION OR PARTIAL THETA FUNCTIONS
RAMANUJAN S LOST NOTEBOOK: COMBINATORIAL PROOFS OF IDENTITIES ASSOCIATED WITH HEINE S TRANSFORMATION OR PARTIAL THETA FUNCTIONS BRUCE C. BERNDT, BYUNGCHAN KIM, AND AE JA YEE 2 Abstract. Combinatorial proofs
More informationA PERIODIC APPROACH TO PLANE PARTITION CONGRUENCES
A PERIODIC APPROACH TO PLANE PARTITION CONGRUENCES MATTHEW S. MIZUHARA, JAMES A. SELLERS, AND HOLLY SWISHER Abstract. Ramanujan s celebrated congruences of the partition function p(n have inspired a vast
More informationIDENTITIES FOR OVERPARTITIONS WITH EVEN SMALLEST PARTS
IDENTITIES FOR OVERPARTITIONS WITH EVEN SMALLEST PARTS MIN-JOO JANG AND JEREMY LOVEJOY Abstract. We prove several combinatorial identities involving overpartitions whose smallest parts are even. These
More informationRAMANUJAN S LOST NOTEBOOK: COMBINATORIAL PROOFS OF IDENTITIES ASSOCIATED WITH HEINE S TRANSFORMATION OR PARTIAL THETA FUNCTIONS
RAMANUJAN S LOST NOTEBOOK: COMBINATORIAL PROOFS OF IDENTITIES ASSOCIATED WITH HEINE S TRANSFORMATION OR PARTIAL THETA FUNCTIONS BRUCE C. BERNDT, BYUNGCHAN KIM, AND AE JA YEE Abstract. Combinatorial proofs
More information1. Introduction
Séminaire Lotharingien de Combinatoire 49 (2002), Article B49a AVOIDING 2-LETTER SIGNED PATTERNS T. MANSOUR A AND J. WEST B A LaBRI (UMR 5800), Université Bordeaux, 35 cours de la Libération, 33405 Talence
More informationCOMBINATORIAL INTERPRETATIONS OF RAMANUJAN S TAU FUNCTION
COMBINATORIAL INTERPRETATIONS OF RAMANUJAN S TAU FUNCTION FRANK GARVAN AND MICHAEL J. SCHLOSSER Abstract. We use a q-series identity by Ramanujan to give a combinatorial interpretation of Ramanujan s tau
More informationINFINITELY MANY CONGRUENCES FOR BROKEN 2 DIAMOND PARTITIONS MODULO 3
INFINITELY MANY CONGRUENCES FOR BROKEN 2 DIAMOND PARTITIONS MODULO 3 SILVIU RADU AND JAMES A. SELLERS Abstract. In 2007, Andrews and Paule introduced the family of functions k n) which enumerate the number
More informationarxiv: v1 [math.nt] 28 Dec 2018
THE CONVERGENCE AND DIVERGENCE OF q-continued FRACTIONS OUTSIDE THE UNIT CIRCLE arxiv:82.29v [math.nt] 28 Dec 208 DOUGLAS BOWMAN AND JAMES MC LAUGHLIN Abstract. We consider two classes of q-continued fraction
More informationA generalisation of the quintuple product identity. Abstract
A generalisation of the quintuple product identity Abstract The quintuple identity has appeared many times in the literature. Indeed, no fewer than 12 proofs have been given. We establish a more general
More informationarxiv: v1 [math.nt] 26 Jun 2015
A -DIGITAL BINOMIAL THEOREM TOUFIK MANSOUR AND HIEU D. NGUYEN arxiv:1506.07945v1 [math.nt] 26 Jun 2015 Abstract. We present a multivariable generalization of the digital binomial theorem from which a -analog
More information