AN ELEMENTARY APPROACH TO THE MACDONALD IDENTITIES* DENNIS STANTON
|
|
- Phebe Long
- 5 years ago
- Views:
Transcription
1 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 involutions which show that all terms not related to the constant term cancel.. Introduction. The purpose of this paper is to give an elementary approach to the Macdonald identities, accessible to all combinatorialists. Sign-reversing involutions have been used recently on a variety of combinatorial problems. The Macdonald identities can be proved with such involutions, we give the details in this paper. The basic idea of the proof does not differ from Macdonald s original proof for affine root systems [7]. Since that paper can be difficult for a novice in root systems, we offer an elementary approach for the infinite families of affine root systems. This approach was used in [9] to find new Macdonald identities in the low rank cases. The Macdonald identities [7] are the analogues of the Weyl denominator formula for affine root systems. The Weyl formula [7] expresses a finite sum as a finite product for root systems R: (. w W det(we w(ρ ρ = ( e a. a>0 a R For type A n, (. is just Vermonde s determinant: a determinant, which is a sum of n! terms, can be written as a product of n(n /2 terms. Vermonde s determinant can be proved by using the antisymmetry of the product to eliminate all terms in the expansion which have equal exponents. This leaves terms with different exponents (the n! terms of the determinant. Their coefficients can be found by finding any one coefficient, using the antisymmetry. The same program works to prove the Macdonald identities. We are exping infinite products instead of finite ones, so first we need to reduce the problem to a finite one. Then we use antisymmetry to show that all of the terms cancel, except for those related to a single term. Finally, we find the coefficient of that term. These three steps, their relation to the Macdonald identities, are explained at the end of 2. For the Weyl denominator formula the sign reversing involutions can be interpreted as acting upon combinatorial objects related to the root system [2],[3]. Since School of Mathematics, University of Minnesota, Minneapolis MN Typeset by AMS-TEX
2 2 DENNIS STANTON the same program works for the Macdonald identities, there should be combinatorial models proofs in this case too (see [2]. Asummaryoftherecentworkinthisareacanbefoundin[6]or[]. Twopapers related two special functions are [8] [5]. The very recent work of Gustafson [4] should also be consulted. The rest of the paper is organized in the following way. The Macdonald identities for affine root systems are stated in 2. We also explain the three main steps of the proof there. These steps are completed for types C n B n in 3 4. We have included type B n because the evaluation of the constant term is slightly different from type C n. Nevertheless, all of the infinite families have arguments similar to type B n or C n. These identities are explicitly given in Notation. In this section we establish the notation for the affine root systems, Weyl groups, functions to be considered for the Macdonald identities. Root systems are certain finite subsets of Euclidean n-space; thus a root is a vector, or dually a linear functional on Euclidean n-space. An affine root can be thought of as an affine functional, that is, a root plus a constant. An affine root system is a set of affine roots that satisfies certain conditions [7]. These conditions will not concern us, since we will use the explicit form of the infinite families of affine root systems. Macdonald [7, Appendix ] lists the reduced irreducible affine root systems S. Each such system S is attached to a finite root system R, thus S = S(R, can be explicitly given. We let {e,...,e n } be the stard basis for Euclidean n-space. For example, if R = C n (n 2, then (2. S(C n = {k ±2e i : k Z, i n} {k ±e i ±e j : k Z, i < j n}, The Macdonald identities exp the product (2.2 F(S = a>0 a S ( e a as a sum. For (2.2 to make sense, some roots in S must be positive others negative. This is defined by taking a certain basis for S, B = {a 0,...,a n }, so that any element of S has coefficients with respect to B that are all non-positive or all non-negative. For S(C n, a 0 = 2e, a n = 2e n, a i = e i e i+, i n. We also can choose the a i s so that n i=0 k ia i = c for unique positive integers k i with no common divisor. For C n, c =. The expansion of (2.2 takes place in the formal series ring Z[[e a 0,e a,...,e a n ]]. It will be more natural to consider the factors in (2.2 as functions of = e e i q = e c. (Macdonald labels e c with X. In this paper we put (2.3 F S (x,...,x n,q = a>0 a S Let (2.4 (x;q = ( e a ( xq i. i=0
3 AN ELEMENTARY APPROACH TO THE MACDONALD IDENTITIES* 3 We frequently will write (x for (x;q. Then (2., (2.3, (2.4 imply (2.5 n F Cn (x,...,x n,q = (/x 2 i (qx 2 i (/ x j (q x j (x j / (q /x j Clearly (2.5 can be interpreted as an element of the formal power series ring A[[q]], A = Z[x,...,x n,x,...,x n ]. This implies that, for some f(m,...,m n,q Z[[q]] (2.6 F Cn (x,...,x n,q = f(m,...,m n,qx m...x m n n. m,...,m n = In fact we shall see that (2.6 converges as a complex function of (x,...,x n for all x,...,x n, 0, if q < is fixed. The basic reason is that f(m,...,m n,q converges quadratically in q. Our proof will explicitly find f(m,...,m n,q. At first glance (2.6 appears different from Macdonald s [7, (0.4] as an element of A[[q]]: (2.7 P(qF S (x,...,x n,q = µ M χ(µq ( µ+ρ 2 ρ 2 /2g where P(q Z[[q]], M is a certain lattice in R n, g is a fixed constant, ρ is the half sum of positive roots of R. The function χ(µ is given by (2.8 χ(µ = w W det(we w(µ+ρ ρ where W is the Weyl group of R, det(w is the sign of w. The x-dependence in (2.7 is contained in χ(µ. In the course of the proof we identify M, g, χ(µ for each type R. We shall see that the proof also clearly gives (2.7. There are three basic steps to the proof. (I UsetheaffinepartoftheaffinerootsystemS(Rtofindfunctionalequations forf S (x,...,x n,qorf(m,...,m n,q. Thesefunctionalequationsreduce the unknown functions f(m,...,m n,q to a finite number, in effect, just a fundamental domain for the lattice M. The number g is also found in this step. (II Use the Weyl group W of the finite root system R, to show that only one function, f(0,0,...,0,q, is necessary. Sign-reversing involutions are given by W which show that all other terms are either zero, or a multiple of this constant term. The action w µ = w(µ+ρ ρ is identified here. (III The constant term f(0,0,...,0,q is found by specializing the identity in (II. We use a specialization which is simpler than Macdonald s. We carry out this program for types C n B n Type C n (n 2. Once we have fixed the affine root system, we shall drop the type S from the function F S (x,...,x n,q. We also suppress the q dependence. So for type C n n F(x,...,x n = (/x 2 i (qx 2 i (/ x j (q x j (x j / (q /x j.
4 4 DENNIS STANTON For step (I, let S(C n + be the positive affine roots of S(C n, S i (C n + be the elements of S(C n + with e i replaced by e i. It is easy to check from (2. that, except for signs, S(C n + S i (C n + = S i (C n + S(C n +. This shows that F(x,...,q,...,x n is closely related to F; in fact (3. F(x,...,q,...,x n x 2n+2 i q 2n i+2 = F(x,...,x n which implies (3.2 f(m,...,m n,q = f(m,...,m i 2n 2,...,m n,qq m i i. So f is uniquely determined by f(m,...,m n,q, 0 m i 2n+, M = {(2n+ 2(m,...,m n : m i Z}. Let the fundamental domain FD = {(m,...,m n : 0 m i 2n+, i n}. This finishes (I. For (II, note that the Weyl group of type C n is the hyperoctahedral group W = {(σ,π : σ S n,π Z n 2}. The generators of W are the transpositions σ i = ((i,i+,id, i n, σ n = (id,(,...,,, which changes the sign of the last coordinate. So we see that (3.3a + F(x,...,+,,...,x n = F(x,...,x n (3.3b x 2 n F(x,...,x n,/x n = F(x,...,x n. Clearly (3.3a (3.3b are equivalent to (3.4a f(m,...,m n,q = f(m,...,m i+,m i +,...,m n,q (3.4b f(m,...,m n,q = f(m,..., m n 2,q. Thus, for w = (σ,π W, f(m,...,m n,q = det(wf(w(m,...,m n,q where the ith component of w(m,...,m n is (3.5 w(m,...,m n (i = π(i(n+ σ(i+m σ(i (n+ i. Since ρ = (n,n,...,, we see that w(m,...,m n = w(µ + ρ ρ if µ = (m,...,m n. This is precisely the action given by Macdonald in (2.8. Our goal is to show that all terms f(m,...,m n,q in FD are zero, except for those corresponding to a W orbit of (0,...,0. Thus we need to find the representative of wµ in FD. We define m = (m,...,m n (m,...,m n = m if m m M.
5 AN ELEMENTARY APPROACH TO THE MACDONALD IDENTITIES* 5 Proposition 3.6. (i For µ,µ M, w,w W, if wµ = w µ, then µ = µ w = w. (ii For µ M, w,w W, if wµ w µ then w = w. Proof. Both assertions are clear from (3.5. A consequence of Proposition 3.6(ii is that the W-orbit of (0,0,...,0 contains n!2 n inequivalent elements, which can be mapped to FD. We now show that all other (m,...,m n FD satisfy f(m,...,m n,q = 0. To do this we use the reflections of W: the transpositions ((ij,(,,..., i < j n, the inversions e i e i, θ ij : e i e j, e j e i. If w(m,...,m n (m,...,m n for any of these elements w, which all have det(w =, then f(m,...,m n,q = 0. Proposition 3.7. The number of (m,...,m n FD which satisfy (i m i m j +i j mod 2n+2, (ii m i 2i m i mod 2n+2, (iii m i i+j m j mod 2n+2, for all i j n is n!2 n. Proof. Let m i = m i i, so that (i (iii becomes m i ± m j mod 2n + 2, i j, (ii becomes m i 0 or n+ mod 2n+2. The remaining residue classes mod 2n + 2 for m i are {(,2n +,...,(n,n + 2} so there are n!2 n solutions ( m,..., m n. Clearly, Propositions (i, (3.2 imply that (3.8 F(x,...,x n = c(q µ M χ(µx m (2n+2... x m n(2n+2 n q n [(m i + 2 (2n+2 im i ] where µ = (2n+2(m,...,m n. This agrees with (2.7. For (2.6, we note that the W-orbit of µ = (0,0,...,0 is w(ρ ρ. The Weyl denominator formula evaluates this sum (3.9 w W Combining (3.9 with (3.2, we have F(x,...,x n = c(q (3.0 n ( det(we wρ ρ = ( e a = (x,...,x n. a>0 a R x (2n+2m...x (2n+2m n n q n ( m i + 2 (2n+2 im i (m,...,m n = x 2 i q2m i ( x j q m i+m j ( x jq mj mi. Note that the inner product is (x q m,...,x n q m n. This completes step (II. It remains to evaluate the constant term c(q. Clearly (0,...,0 is the only element of FD all of whose entries are 0 mod 2n+2. So we just (2n+2-sect both sides of (3.0, i.e. replace each by ω j, 0 j 2n+, ω = exp(2πi/(2n+2 add.
6 6 DENNIS STANTON Under this operation the right side is evaluable by the Jacobi triple product identity [] to (3. RS = (2n+2 n c(q(q 2n+2 ;q 2n+2 n ( q /( q n+ ;q n+. For the left side, note that F(x,...,x n = 0 unless x j, x j, x 2 i. So each = ω j, where j {,2n+,2,2n,...,n,n+2}. As in Proposition 3.7, there are n!2 n such n-tuples (x,...,x n, which are precisely the orbit of W on (ω,ω 2,...,ω n. Since F(x,...,x n / (x,...,x n is invariant under W, the left side is (3.2 LS = F(x,...,x n w W w (x,...,x n at (ω,ω 2,...,ω n The Weyl denominator formula (3.9 implies (3.3 w W so that the left side becomes (3.4 LS = w (x,...,x n = (x,...,x n (/x,...,/x n n (ω 2i (ω 2i (ω i j (ω i+j (ω j i (ω i j. It is easy to see that the factor (ω k, 0 k 2n+, occurs n times if k is odd, n times if k is even. There is also an additional (ω n+ factor. Since 2n+ ( ωi = 2n+2, the left side becomes (3.5 LS = 2(2n+2 n (n+( q (q 2n+2 ;q 2n+2 n (q n+ ;q n+ /(q n. Combining (3.5 (3., we have (3.6 c(q = q/(q n. This completes step (III. 4. Type B n (n 3. For type B n we proceed in the same way. However the lattice M must be slightly modified if the analogues of Propositions are to be true. In this case F(x,...,x n = (/ (q Instead of (3.-(3.4 we have (/ x j (q x j (x j / (q /x j (4. F(x,...,q,...,x n x 2n i q 2n i = F(x,...,x n, (4.2 f(m,...,m n,q = f(m,...,m i 2n+,...,m n,qq m i i+,
7 AN ELEMENTARY APPROACH TO THE MACDONALD IDENTITIES* 7 (4.3a + F(x,...,+,,...,x n = F(x,...,x n, (4.3b x n F(x,...,x n,/x n = F(x,...,x n, (4.4a f(m,...,m n,q = f(m,...,m i+,m i +,...,m n,q, (4.4b f(m,...,m n,q = f(m,...,m n, m n,q. The lattice M is replaced by M = {(2n (m,...,m n : m i Z}. The Weyl group action is (4.5 w(m,...,m n (i = π(i(n+/2 σ(i+m σ(i (n+/2 i where w = (σ,π as in type C n. Again this is the action w(µ + ρ ρ. This completes step (I. Proposition 3.6(ii is not true for M: there are non-zero elements of W which map M to itself, e.g. w = (id,(,,...,. However, if we restrict M to M = {(2n (m,...,m n : m i Z,m + +m n 0 mod 2} then Propositions 3.6(i (ii are true. As a fundamental domain take FD = {(m,...,m n : 2n m 2n 2,0 m i 2n 2,2 i n}. Again we show that there are n!2 n elements of the orbit (0,0,...,0 of D not fixed by a reflection. The conditions that replace those in Proposition 3.7 are m i i m j j (mod 2n,m i 2n +2i m i (mod 4n 2, m i i j m j 2n (mod 2n. If we put m i = m i i+ these are m i ± m j, i j. So for 0 m i 2n 2, the classes {(0,(,2n 2,...,(n,n} give n!2 n solutions. Allowing 2n m gives n!2 n + n!2 n = n!2 n solutions (m,...,m n. This establishes (2.7, (2.6 becomes F(x,...,x n = c(q µ M x (2n m...x (2n m n n q n ( m i + 2 (2n (i m i (4.6 n ( q m i ( q m i m j x j ( x jq mj mi. This completes step (II. For step (III, if we were to (2n -sect the right side of (4.6, the product (x q m,...,x n q m n would contain two terms: (x q m 2n. If we put each = ω j, 0 j 2n 2, ω = exp(2πi/(2n, sum, we obtain (4.7 RS = c(q(2n n µ M q n ( m i + 2 (2n (i m i,
8 8 DENNIS STANTON which is evaluable by the Jacobi triple product formula to (4.8 RS = (2n n c(q(q 2n ;q 2n n ( ;q 2n ( q. On the left side, again x j or x j, so the residue classes are {(0,(,2n 2,...,(n,n}. Thus, n!2 n valuesareallowedfor(x,...,x n. Sinceω 0 = ω 0, we again can average over all of W if we divide by 2. Equation (3.3 implies (4.9 LS = n ( ω i ( ω i (ω 2 i j (ω i+j 2 (ω j i (ω i j. 2 In (4.9, (ω k, k 2n 2, occurs n times, so 2n 2 (+ωi = implies (4.0 LS = 2 (2n n (q 2n ;q 2n n 4( q ( q 2n ;q 2n /(q n Clearly (4.8 (4.0 imply (4. c(q = /(q n. 5. The other infinite families. We give the Macdonald identities for types A n, D n, Bn, Cn, BC n in the form of (2.6. Type A n (n 2 (5. F(x,...,x n = (x j / (q /x j. (5.2 F(x,...,x n = c(q µ Mx nm...x nm n n q n 2 nm2 i +m i(n+ 2i ( x j q m j m i / where (5.3 M = {n(m,...,m n : m i Z, Type D n (n 4 (5.4 F(x,...,x n = c(q = /(q n. n m i = 0}, (x j / (q /x j (/ x j (q x j F(x,...,x n = c(q µ M x (2n 2m...x (2n 2m n n q n ( m i + 2 (2n 2 (i m i (5.5 ( x jq m j m i ( q mi mj x j
9 AN ELEMENTARY APPROACH TO THE MACDONALD IDENTITIES* 9 where (5.6 M = {(2n 2(m,...,m n : m i Z, (5.7 c(q = /(q n. n m i 0 (mod 2} Type Bn (n 3. (5.8 n F(x,...,x n = (/x 2 i;q 2 (q 2 x 2 i;q 2 (/ x j (q x j (x j / (q /x j. F(x,...,x n = c(q µ Mx 2nm...x 2nm n n q n ( m i + 2 2n (i m i (5.9 n ( x 2 i q2m i ( x jq m j m i ( q mi mj x j where (5.0 M = {2n(m,...,m n : m i Z, n m i 0 mod 2} (5. c(q = /(q n (q 2 ;q 2 Type C n (n 2 (5.2 n F(x,...,x n = (/ ;q /2 (q /2 ;q /2 (/ x j (q x j (x j / (q /x j F(x,...,x n = c(q µ Mx 2nm...x 2nm n n q n ( m i + 2 2n (i /2m i (5.3 n ( q m i ( q m i m j x j ( x jq mj mi where (5.4 M = {2n(m,...,m n : m i Z}
10 0 DENNIS STANTON (5.5 c(q = /(q n (q /2 ;q /2. Type BC n (n (5.6 F(x,...,x n = n (/ (q (qx 2 i;q 2 (q/x 2 i;q 2 F(x,...,x n = c(q µ M n ( q m (5.7 i where (/ x j (q x j (x j / (q /x j. x (2n+m...x (2n+m n n q n ( m i + 2 (2n+ im i ( q m i m j x j (5.8 M = {(2n+(m,...,m n : m i Z} (5.9 c(q = /(q n. ( x j q m j m i A few remarks are in order. For each type, the sum over µ M refers to the allowed (m,...,m n in M. For type D n, the constant term is evaluated as in type B n. The non-trivial element of W which maps M to M is (id,(,,...,,. A (2n 2-section inserts +q 2m (n for the inner product on the sum side. This changes the sum to one over M which is evaluable by the Jacobi triple product identity. In type B n a 2n-section fails to evaluate c(q. For F(x,...,x n 0 we need x 2, x j orx j, if = ω j, ω = exp(2πi/2n, thisisimpossible. Instead, we 2n-sect over x 2,...,x n fix x. The product is replaced by (x q m 2n, which changes the sum to M inserts a factor of ( m + +m n. So, here we have (5.20 RS = c(q(2n n (q 2n ;q 2n n (q ( q n ;q n (/x 2n ;q 2n (q 2n x 2n ;q 2n. The left side has (n!2 n terms, which is the Weyl group action on (x 2,...,x n evaluated at (ω,ω 2,...,ω n. For any such choice of (x 2,...,x n it is clear that (5.2 ( n x 2 ( x j ( = x x x j x 2n. j=2 So we can apply (3.6 for type C n to conclude that LS = ( (5.22 x 2n n (q 2 /x 2 ;q 2 (q 2 x 2 ;q 2 (ω 2(j ;q 2 (ω 2(j ;q 2 (qx ω j (qx ω j 2 i<j n j=2 (qω 2 i j (qω i+j 2 (qω j i (qω i j.
11 AN ELEMENTARY APPROACH TO THE MACDONALD IDENTITIES* It is not hard to see that (5.22 is (5.23 LS = (/x 2n ;q 2n (q 2n x 2n ;q 2n (q 2n ;q 2n n (2n n ( q /(q n 3 (q n ;q n (q 2 ;q 2 2. Finally, (5.20 (5.23 give (5.. Macdonald s form (2.7 also follows in these cases. References. G. Andrews, The Theory of Partitions, Addison-Wesley, Reading, D. Bressoud, Colored tournaments Weyl s denominator formula, Eur. J. of Comb. 8 (987, R. Calderbank P. Hanlon, The extension to root systems of a theorem on tournaments, J. Comb. Th. A 4 (986, R. Gustafson, A generalization of Selberg s integral, research announcement. 5. R. Gustafson, The Macdonald identities for affine root systems of classical type hypergeometric series very-well-poised on semisimple Lie algebras, preprint. 6. Laurent Habsieger, MacDonald conjectures the Selberg integral, Dennis Stanton (ed., q-series Partitions, IMA Volumes in Mathematics its Applications, Springer-Verlag, New York, I. Macdonald, Affine root systems Dedekind s η-function, Inv. Math. 5 (972, S. Milne, An elementary proof of the Macdonald identities for A (, Adv. Math. 57 (985, D. Stanton, Sign variations of the Macdonald identities, SIAM J. Math. Anal. 7 (986, J. Stembridge, A short proof of Macdonald s conjecture for the root systems of type A, Proc. AMS 02 (988, D. Zeilberger, A unified approach to Macdonald s root-system conjectures, SIAM J. Math. Anal. 9 (988, D. Zeilberger D. Bressoud, A proof of Andrews q-dyson conjecture, Disc. Math. 54 (985,
= 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 informationREPRESENTATIONS OF INTEGERS AS SUMS OF SQUARES. Ken Ono. Dedicated to the memory of Robert Rankin.
REPRESENTATIONS OF INTEGERS AS SUMS OF SQUARES Ken Ono Dedicated to the memory of Robert Rankin.. Introduction and Statement of Results. If s is a positive integer, then let rs; n denote the number of
More informationRamanujan-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 informationLaura Chihara* and Dennis Stanton**
ZEROS OF GENERALIZED KRAWTCHOUK POLYNOMIALS Laura Chihara* and Dennis Stanton** Abstract. The zeros of generalized Krawtchouk polynomials are studied. Some interlacing theorems for the zeros are given.
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 information(τ) = q (1 q n ) 24. E 4 (τ) = q q q 3 + = (1 q) 240 (1 q 2 ) (1 q 3 ) (1.1)
Automorphic forms on O s+2,2 (R) + and generalized Kac-Moody algebras. Proceedings of the International Congress of Mathematicians, Vol. 1, 2 (Zürich, 1994), 744 752, Birkhäuser, Basel, 1995. Richard E.
More informationKen Ono. 1 if N = m(m+1) Q(N 2ω(k)) + Q(N 2ω( k)) =
PARTITIONS INTO DISTINCT PARTS AND ELLIPTIC CURVES Ken Ono Abstract. Let QN denote the number of partitions of N into distinct parts. If ωk : 3k2 +k, 2 then it is well known that X QN + 1 k 1 if N mm+1
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 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 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 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 informationDEDEKIND S ETA-FUNCTION AND ITS TRUNCATED PRODUCTS. George E. Andrews and Ken Ono. February 17, Introduction and Statement of Results
DEDEKIND S ETA-FUNCTION AND ITS TRUNCATED PRODUCTS George E. Andrews and Ken Ono February 7, 2000.. Introduction and Statement of Results Dedekind s eta function ηz, defined by the infinite product ηz
More informationA NOTE ON THE SHIMURA CORRESPONDENCE AND THE RAMANUJAN τ(n) FUNCTION
A NOTE ON THE SHIMURA CORRESPONDENCE AND THE RAMANUJAN τ(n) FUNCTION KEN ONO Abstract. The Shimura correspondence is a family of maps which sends modular forms of half-integral weight to forms of integral
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 informationThe Circle Method. Basic ideas
The Circle Method Basic ideas 1 The method Some of the most famous problems in Number Theory are additive problems (Fermat s last theorem, Goldbach conjecture...). It is just asking whether a number can
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 informationPolynomial analogues of Ramanujan congruences for Han s hooklength formula
Polynomial analogues of Ramanujan congruences for Han s hooklength formula William J. Keith CELC, University of Lisbon Email: william.keith@gmail.com Detailed arxiv preprint: 1109.1236 Context Partition
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 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 informationEXERCISES IN MODULAR FORMS I (MATH 726) (2) Prove that a lattice L is integral if and only if its Gram matrix has integer coefficients.
EXERCISES IN MODULAR FORMS I (MATH 726) EYAL GOREN, MCGILL UNIVERSITY, FALL 2007 (1) We define a (full) lattice L in R n to be a discrete subgroup of R n that contains a basis for R n. Prove that L is
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 informationMultiplicity-Free Products of Schur Functions
Annals of Combinatorics 5 (2001) 113-121 0218-0006/01/020113-9$1.50+0.20/0 c Birkhäuser Verlag, Basel, 2001 Annals of Combinatorics Multiplicity-Free Products of Schur Functions John R. Stembridge Department
More informationAlexander Berkovich and Frank G. Garvan Department of Mathematics, University of Florida, Gainesville, Florida
Journal of Combinatorics and Number Theory JCNT 2009, Volume 1, Issue # 3, pp. 49-64 ISSN 1942-5600 c 2009 Nova Science Publishers, Inc. THE GBG-RANK AND t-cores I. COUNTING AND 4-CORES Alexander Berkovich
More informationPrime Numbers and Irrational Numbers
Chapter 4 Prime Numbers and Irrational Numbers Abstract The question of the existence of prime numbers in intervals is treated using the approximation of cardinal of the primes π(x) given by Lagrange.
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 informationPolynomials with palindromic and unimodal coefficients
Polynomials with palindromic and unimodal coefficients arxiv:60.05629v [math.co] 2 Jan 206 Hua Sun, Yi Wang, Hai-Xia Zhang School of Mathematical Sciences, Dalian University of Technology, Dalian 6024,
More informationON THE CLASSIFICATION OF RANK 1 GROUPS OVER NON ARCHIMEDEAN LOCAL FIELDS
ON THE CLASSIFICATION OF RANK 1 GROUPS OVER NON ARCHIMEDEAN LOCAL FIELDS LISA CARBONE Abstract. We outline the classification of K rank 1 groups over non archimedean local fields K up to strict isogeny,
More informationThe part-frequency matrices of a partition
J. Algebra Comb. Discrete Appl. 3(3) 77 86 Received: 03 November 20 Accepted: 04 January 206 Journal of Algebra Combinatorics Discrete Structures and Applications The part-frequency matrices of a partition
More informationCounting k-marked Durfee Symbols
Counting k-marked Durfee Symbols Kağan Kurşungöz Department of Mathematics The Pennsylvania State University University Park PA 602 kursun@math.psu.edu Submitted: May 7 200; Accepted: Feb 5 20; Published:
More informationETA-QUOTIENTS AND ELLIPTIC CURVES
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 125, Number 11, November 1997, Pages 3169 3176 S 0002-9939(97)03928-2 ETA-QUOTIENTS AND ELLIPTIC CURVES YVES MARTIN AND KEN ONO (Communicated by
More informationCOMBINATORIAL PROOFS OF GENERATING FUNCTION IDENTITIES FOR F-PARTITIONS
COMBINATORIAL PROOFS OF GENERATING FUNCTION IDENTITIES FOR F-PARTITIONS AE JA YEE 1 Abstract In his memoir in 1984 George E Andrews introduces many general classes of Frobenius partitions (simply F-partitions)
More informationHECKE OPERATORS ON CERTAIN SUBSPACES OF INTEGRAL WEIGHT MODULAR FORMS.
HECKE OPERATORS ON CERTAIN SUBSPACES OF INTEGRAL WEIGHT MODULAR FORMS. MATTHEW BOYLAN AND KENNY BROWN Abstract. Recent works of Garvan [2] and Y. Yang [7], [8] concern a certain family of half-integral
More informationNotes on D 4 May 7, 2009
Notes on D 4 May 7, 2009 Consider the simple Lie algebra g of type D 4 over an algebraically closed field K of characteristic p > h = 6 (the Coxeter number). In particular, p is a good prime. We have dim
More informationHalf the sum of positive roots, the Coxeter element, and a theorem of Kostant
DOI 10.1515/forum-2014-0052 Forum Math. 2014; aop Research Article Dipendra Prasad Half the sum of positive roots, the Coxeter element, and a theorem of Kostant Abstract: Interchanging the character and
More informationVARIETIES WITHOUT EXTRA AUTOMORPHISMS II: HYPERELLIPTIC CURVES
VARIETIES WITHOUT EXTRA AUTOMORPHISMS II: HYPERELLIPTIC CURVES BJORN POONEN Abstract. For any field k and integer g 2, we construct a hyperelliptic curve X over k of genus g such that #(Aut X) = 2. We
More informationAddition sequences and numerical evaluation of modular forms
Addition sequences and numerical evaluation of modular forms Fredrik Johansson (INRIA Bordeaux) Joint work with Andreas Enge (INRIA Bordeaux) William Hart (TU Kaiserslautern) DK Statusseminar in Strobl,
More informationarxiv: v1 [math.co] 3 Nov 2014
SPARSE MATRICES DESCRIBING ITERATIONS OF INTEGER-VALUED FUNCTIONS BERND C. KELLNER arxiv:1411.0590v1 [math.co] 3 Nov 014 Abstract. We consider iterations of integer-valued functions φ, which have no fixed
More informationQuotients of Poincaré Polynomials Evaluated at 1
Journal of Algebraic Combinatorics 13 (2001), 29 40 c 2001 Kluwer Academic Publishers. Manufactured in The Netherlands. Quotients of Poincaré Polynomials Evaluated at 1 OLIVER D. ENG Epic Systems Corporation,
More informationGALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2)
GALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2) KEITH CONRAD We will describe a procedure for figuring out the Galois groups of separable irreducible polynomials in degrees 3 and 4 over
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 informationTwo Variable Pfaffian Identities and Symmetric Functions*
Journal of Algebraic Combinatories 5 (1996), 135-148 1996 Kluwer Academic Publishers. Manufactured in The Netherlands. Two Variable Pfaffian Identities and Symmetric Functions* THOMAS SUNDQUIST Department
More informationOn a certain vector crank modulo 7
On a certain vector crank modulo 7 Michael D Hirschhorn School of Mathematics and Statistics University of New South Wales Sydney, NSW, 2052, Australia mhirschhorn@unsweduau Pee Choon Toh Mathematics &
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 informationRANDOM WALK IN A WEYL CHAMBER
proceedings of the american mathematical society Volume 115, Number 1, May 1992 RANDOM WALK IN A WEYL CHAMBER IRA M. GESSEL AND DORON ZEILBERGER (Communicated by Jeffrey N. Kahn) Abstract. The classical
More informationA NOTE ON TENSOR CATEGORIES OF LIE TYPE E 9
A NOTE ON TENSOR CATEGORIES OF LIE TYPE E 9 ERIC C. ROWELL Abstract. We consider the problem of decomposing tensor powers of the fundamental level 1 highest weight representation V of the affine Kac-Moody
More informationarxiv: v1 [math.co] 8 Sep 2017
NEW CONGRUENCES FOR BROKEN k-diamond PARTITIONS DAZHAO TANG arxiv:170902584v1 [mathco] 8 Sep 2017 Abstract The notion of broken k-diamond partitions was introduced by Andrews and Paule Let k (n) denote
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 information(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d
The Algebraic Method 0.1. Integral Domains. Emmy Noether and others quickly realized that the classical algebraic number theory of Dedekind could be abstracted completely. In particular, rings of integers
More informationREPRESENTATION THEORY OF S n
REPRESENTATION THEORY OF S n EVAN JENKINS Abstract. These are notes from three lectures given in MATH 26700, Introduction to Representation Theory of Finite Groups, at the University of Chicago in November
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 informationNew Congruences for Broken k-diamond Partitions
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 21 (2018), Article 18.5.8 New Congruences for Broken k-diamond Partitions Dazhao Tang College of Mathematics and Statistics Huxi Campus Chongqing University
More informationON POINCARE POLYNOMIALS OF HYPERBOLIC LIE ALGEBRAS
ON POINCARE POLYNOMIALS OF HYPERBOLIC LIE ALGEBRAS Meltem Gungormez Dept. Physics, Fac. Science, Istanbul Tech. Univ. 34469, Maslak, Istanbul, Turkey e-mail: gungorm@itu.edu.tr arxiv:0706.2563v2 [math-ph]
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 informationOn some combinatorial aspects of Representation Theory
On some combinatorial aspects of Representation Theory Doctoral Defense Waldeck Schützer schutzer@math.rutgers.edu Rutgers University March 24, 2004 Representation Theory and Combinatorics p.1/46 Overview
More informationBorcherds proof of the moonshine conjecture
Borcherds proof of the moonshine conjecture pjc, after V. Nikulin Abstract These CSG notes contain a condensed account of a talk by V. Nikulin in the London algebra Colloquium on 24 May 2001. None of the
More informationON THE POSITIVITY OF THE NUMBER OF t CORE PARTITIONS. Ken Ono. 1. Introduction
ON THE POSITIVITY OF THE NUMBER OF t CORE PARTITIONS Ken Ono Abstract. A partition of a positive integer n is a nonincreasing sequence of positive integers whose sum is n. A Ferrers graph represents a
More informationA prolific construction of strongly regular graphs with the n-e.c. property
A prolific construction of strongly regular graphs with the n-e.c. property Peter J. Cameron and Dudley Stark School of Mathematical Sciences Queen Mary, University of London London E1 4NS, U.K. Abstract
More informationBinary Partitions Revisited
Binary Partitions Revisited Øystein J. Rødseth and James A. Sellers Department of Mathematics University of Bergen Johs. Brunsgt. N 5008 Bergen, Norway rodseth@mi.uib.no Department of Science and Mathematics
More informationMathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations
Mathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations D. R. Wilkins Academic Year 1996-7 1 Number Systems and Matrix Algebra Integers The whole numbers 0, ±1, ±2, ±3, ±4,...
More informationLongest element of a finite Coxeter group
Longest element of a finite Coxeter group September 10, 2015 Here we draw together some well-known properties of the (unique) longest element w in a finite Coxeter group W, with reference to theorems and
More informationarxiv: v1 [math.co] 25 Nov 2018
The Unimodality of the Crank on Overpartitions Wenston J.T. Zang and Helen W.J. Zhang 2 arxiv:8.003v [math.co] 25 Nov 208 Institute of Advanced Study of Mathematics Harbin Institute of Technology, Heilongjiang
More informationON 2- AND 4-DISSECTIONS FOR SOME INFINITE PRODUCTS ERNEST X.W. XIA AND X.M. YAO
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 43, Number 6, 2013 ON 2- AND 4-DISSECTIONS FOR SOME INFINITE PRODUCTS ERNEST X.W. XIA AND X.M. YAO ABSTRACT. The 2- and 4-dissections of some infinite products
More informationKAZHDAN LUSZTIG CELLS IN INFINITE COXETER GROUPS. 1. Introduction
KAZHDAN LUSZTIG CELLS IN INFINITE COXETER GROUPS MIKHAIL V. BELOLIPETSKY AND PAUL E. GUNNELLS 1. Introduction Groups defined by presentations of the form s 1,..., s n s 2 i = 1, (s i s j ) m i,j = 1 (i,
More informationSignatures of GL n Multiplicity Spaces
Signatures of GL n Multiplicity Spaces UROP+ Final Paper, Summer 2016 Mrudul Thatte Mentor: Siddharth Venkatesh Project suggested by Pavel Etingof September 1, 2016 Abstract A stable sequence of GL n representations
More informationTATE-SHAFAREVICH GROUPS OF THE CONGRUENT NUMBER ELLIPTIC CURVES. Ken Ono. X(E N ) is a simple
TATE-SHAFAREVICH GROUPS OF THE CONGRUENT NUMBER ELLIPTIC CURVES Ken Ono Abstract. Using elliptic modular functions, Kronecker proved a number of recurrence relations for suitable class numbers of positive
More informationTHE ARITHMETIC OF BORCHERDS EXPONENTS. Jan H. Bruinier and Ken Ono
THE ARITHMETIC OF BORCHERDS EXPONENTS Jan H. Bruinier and Ken Ono. Introduction and Statement of Results. Recently, Borcherds [B] provided a striking description for the exponents in the naive infinite
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 informationMATH 326: RINGS AND MODULES STEFAN GILLE
MATH 326: RINGS AND MODULES STEFAN GILLE 1 2 STEFAN GILLE 1. Rings We recall first the definition of a group. 1.1. Definition. Let G be a non empty set. The set G is called a group if there is a map called
More informationarxiv:math/ v1 [math.qa] 5 Nov 2002
A new quantum analog of the Brauer algebra arxiv:math/0211082v1 [math.qa] 5 Nov 2002 A. I. Molev School of Mathematics and Statistics University of Sydney, NSW 2006, Australia alexm@ maths.usyd.edu.au
More informationReducibility of generic unipotent standard modules
Journal of Lie Theory Volume?? (??)???? c?? Heldermann Verlag 1 Version of March 10, 011 Reducibility of generic unipotent standard modules Dan Barbasch and Dan Ciubotaru Abstract. Using Lusztig s geometric
More informationq xk y n k. , provided k < n. (This does not hold for k n.) Give a combinatorial proof of this recurrence by means of a bijective transformation.
Math 880 Alternative Challenge Problems Fall 2016 A1. Given, n 1, show that: m1 m 2 m = ( ) n+ 1 2 1, where the sum ranges over all positive integer solutions (m 1,..., m ) of m 1 + + m = n. Give both
More informationMichael D. Hirschhorn and James A. Sellers. School of Mathematics UNSW Sydney 2052 Australia. and
FURTHER RESULTS FOR PARTITIONS INTO FOUR SQUARES OF EQUAL PARITY Michael D. Hirschhorn James A. Sellers School of Mathematics UNSW Sydney 2052 Australia Department of Mathematics Penn State University
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 informationA New Form of the Quintuple Product Identity and its Application
Filomat 31:7 (2017), 1869 1873 DOI 10.2298/FIL1707869S Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat A New Form of the Quintuple
More informationEighth Homework Solutions
Math 4124 Wednesday, April 20 Eighth Homework Solutions 1. Exercise 5.2.1(e). Determine the number of nonisomorphic abelian groups of order 2704. First we write 2704 as a product of prime powers, namely
More informationFINITE GROUPS AND EQUATIONS OVER FINITE FIELDS A PROBLEM SET FOR ARIZONA WINTER SCHOOL 2016
FINITE GROUPS AND EQUATIONS OVER FINITE FIELDS A PROBLEM SET FOR ARIZONA WINTER SCHOOL 2016 PREPARED BY SHABNAM AKHTARI Introduction and Notations The problems in Part I are related to Andrew Sutherland
More informationDISCRETIZED CONFIGURATIONS AND PARTIAL PARTITIONS
DISCRETIZED CONFIGURATIONS AND PARTIAL PARTITIONS AARON ABRAMS, DAVID GAY, AND VALERIE HOWER Abstract. We show that the discretized configuration space of k points in the n-simplex is homotopy equivalent
More informationLimiting behaviour of large Frobenius numbers. V.I. Arnold
Limiting behaviour of large Frobenius numbers by J. Bourgain and Ya. G. Sinai 2 Dedicated to V.I. Arnold on the occasion of his 70 th birthday School of Mathematics, Institute for Advanced Study, Princeton,
More informationDETERMINANT IDENTITIES FOR THETA FUNCTIONS
DETERMINANT IDENTITIES FOR THETA FUNCTIONS SHAUN COOPER AND PEE CHOON TOH Abstract. Two proofs of a theta function identity of R. W. Gosper and R. Schroeppel are given. A cubic analogue is presented, and
More informationToufik Mansour 1. Department of Mathematics, Chalmers University of Technology, S Göteborg, Sweden
COUNTING OCCURRENCES OF 32 IN AN EVEN PERMUTATION Toufik Mansour Department of Mathematics, Chalmers University of Technology, S-4296 Göteborg, Sweden toufik@mathchalmersse Abstract We study the generating
More informationFOURIER COEFFICIENTS OF VECTOR-VALUED MODULAR FORMS OF DIMENSION 2
FOURIER COEFFICIENTS OF VECTOR-VALUED MODULAR FORMS OF DIMENSION 2 CAMERON FRANC AND GEOFFREY MASON Abstract. We prove the following Theorem. Suppose that F = (f 1, f 2 ) is a 2-dimensional vector-valued
More informationLinear Algebra March 16, 2019
Linear Algebra March 16, 2019 2 Contents 0.1 Notation................................ 4 1 Systems of linear equations, and matrices 5 1.1 Systems of linear equations..................... 5 1.2 Augmented
More informationArithmetic properties of overcubic partition pairs
Arithmetic properties of overcubic partition pairs Bernard L.S. Lin School of Sciences Jimei University Xiamen 3101, P.R. China linlsjmu@13.com Submitted: May 5, 014; Accepted: Aug 7, 014; Published: Sep
More informationGenerating Functions
Semester 1, 2004 Generating functions Another means of organising enumeration. Two examples we have seen already. Example 1. Binomial coefficients. Let X = {1, 2,..., n} c k = # k-element subsets of X
More informationHW2 Solutions Problem 1: 2.22 Find the sign and inverse of the permutation shown in the book (and below).
Teddy Einstein Math 430 HW Solutions Problem 1:. Find the sign and inverse of the permutation shown in the book (and below). Proof. Its disjoint cycle decomposition is: (19)(8)(37)(46) which immediately
More informationRAMANUJAN S MOST BEAUTIFUL IDENTITY
RAMANUJAN S MOST BEAUTIFUL IDENTITY MICHAEL D. HIRSCHHORN Abstract We give a simple proof of the identity which for Hardy represented the best of Ramanujan. On the way, we give a new proof of an important
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 informationq-series IDENTITIES AND VALUES OF CERTAIN L-FUNCTIONS Appearing in the Duke Mathematical Journal.
q-series IDENTITIES AND VALUES OF CERTAIN L-FUNCTIONS George E. Andrews, Jorge Jiménez-Urroz and Ken Ono Appearing in the Duke Mathematical Journal.. Introduction and Statement of Results. As usual, define
More informationHIM, 10/2018. The Relational Complexity of a Finite. Permutation Group. Gregory Cherlin. Definition. Examples. Issues. Questions
Theory HIM, 10/2018 Structures and s Theory Structure A Aut(A) on A Inv(G) G on A Inv(G) = A n /G. L k : A k /G (k-types) language k-closed: G = Aut(L k ) k-homogeneous: A l -orbits are determined by L
More informationPermutation representations and rational irreducibility
Permutation representations and rational irreducibility John D. Dixon School of Mathematics and Statistics Carleton University, Ottawa, Canada March 30, 2005 Abstract The natural character π of a finite
More informationThe number of simple modules of a cellular algebra
Science in China Ser. A Mathematics 2005 Vol.?? No. X: XXX XXX 1 The number of simple modules of a cellular algebra LI Weixia ( ) & XI Changchang ( ) School of Mathematical Sciences, Beijing Normal University,
More informationDIVISIBILITY PROPERTIES OF THE 5-REGULAR AND 13-REGULAR PARTITION FUNCTIONS
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 8 (008), #A60 DIVISIBILITY PROPERTIES OF THE 5-REGULAR AND 13-REGULAR PARTITION FUNCTIONS Neil Calkin Department of Mathematical Sciences, Clemson
More informationSELF-CONJUGATE VECTOR PARTITIONS AND THE PARITY OF THE SPT-FUNCTION
SELF-CONJUGATE VECTOR PARTITIONS AND THE PARITY OF THE SPT-FUNCTION GEORGE E ANDREWS FRANK G GARVAN AND JIE LIANG Abstract Let sptn denote the total number of appearances of the smallest parts in all the
More informationProperties of Generating Sets of Finite Groups
Cornell SPUR 2018 1 Group Theory Properties of Generating Sets of Finite Groups by R. Keith Dennis We now provide a few more details about the prerequisites for the REU in group theory, where to find additional
More informationFOUR IDENTITIES FOR THIRD ORDER MOCK THETA FUNCTIONS
FOUR IDENTITIES FOR THIRD ORDER MOCK THETA FUNCTIONS GEORGE E. ANDREWS, BRUCE C. BERNDT, SONG HENG CHAN, SUN KIM, AND AMITA MALIK. INTRODUCTION On pages and 7 in his Lost Notebook [3], Ramanujan recorded
More informationNew Bounds for Partial Spreads of H(2d 1, q 2 ) and Partial Ovoids of the Ree-Tits Octagon
New Bounds for Partial Spreads of H2d 1, q 2 ) and Partial Ovoids of the Ree-Tits Octagon Ferdinand Ihringer Einstein Institute of Mathematics, The Hebrew University of Jerusalem, Givat Ram, Jerusalem,
More informationLecture Notes on DISCRETE MATHEMATICS. Eusebius Doedel
Lecture Notes on DISCRETE MATHEMATICS Eusebius Doedel c Eusebius J. Doedel, 009 Contents Logic. Introduction............................................................................... Basic logical
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 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 informationCOMBINATORIAL PROOFS OF RAMANUJAN S 1 ψ 1 SUMMATION AND THE q-gauss SUMMATION
COMBINATORIAL PROOFS OF RAMANUJAN S 1 ψ 1 SUMMATION AND THE q-gauss SUMMATION AE JA YEE 1 Abstract. Theorems in the theory of partitions are closely related to basic hypergeometric series. Some identities
More information