arXiv++ Combinatorics

We will revisit a 1987 question of Rabbi Ehrenpreis. Among many things, we will provide an elementary injective proof that P_1(L,y,n)>=P_2(L,y,n) for any L,n>0 and any odd y>1 . Here, P_1(L,y,n) denotes the number of partitions of n into parts congruent to 1, y+2, or 2y mod 2(y+1) with the largest part not exceeding 2(y+1)L-2 and P_2(L,y,n) denotes the number of partitions of n into parts congruent to 2, y, or 2y+1 mod 2(y+1) with the largest part not exceeding 2(y+1)L-1.

Let s(n) be the number of representations of n as the sum of three squares. We prove a remarkable new identity for s(p^2n)- ps(n) with p being an odd prime. This identity makes nontrivial use of ternary quadratic forms with discriminants p^2 and 16p^2. These forms are related by Watson's transformations. To prove this identity we employ the Siegel--Weil and the Smith--Minkowski product formulas.

I discuss a variety of results involving s(n), the number of representations of n as a sum of three squares. One of my objectives is to reveal numerous interesting connections between the properties of this function and certain modular equations of degree 3 and 5. In particular, I show that s(25n)=(6-(-n|5))s(n)-5s(n/25) follows easily from the well known Ramanujan modular equation of degree 5. Moreover, I establish new relations between s(n) and h(n), g(n), the number of representations of $n$ by the ternary quadratic forms 2x^2+2y^2+2z^2-yz+zx+xy and x^2+y^2+3z^2+xy, respectively. I propose an interesting identity for s(p^2n)- p s(n) with p being an odd prime. This identity makes nontrivial use of the ternary quadratic forms with discriminants p^2, 16p^2.

We show that many of Ramanujan's modular equations of degree 3 can be interpreted in terms of integral ternary quadratic forms. This way we establish that for any n in N |{n= x(x+1)/2 + y^2 +z^2 : x,y,z in Z}| >= |{n= x(x+1)/2 + 3y^2 +3z^2: x,y,zin Z}|, just to mention one among many similar positive results of this type. In particular, we prove the recent conjecture of H. Yesilyurt and the first author stating that for any n in N |{n= x(x+1)/2 + y^2 +z^2 : x,y,z in Z}| >= |{n= x(x+1)/2 + 7y^2 + 7z^2: x,y,z in Z}|. We prove a variety of identities for certain ternary forms with discriminants 144,400, 784,3600 by converting these into identities for appropriate eta- quotients. In the process we discover and prove a few new modular equations of degree 5 and 7. For any square free odd integer S with prime factorization p_1.....p_r, we define the S-genus as a union of 2^r specially selected genera of ternary quadratic forms, all with discriminant 16 S^2. This notion of S-genus arises naturally in the course of our investigation. It entails an interesting injection from genera of binary quadratic forms with discriminant -8 S to genera of ternary quadratic forms with discriminant 16 S^2.

Let r_j(π,s) denote the number of cells, colored j, in the s-residue diagram of partition π. The GBG-rank of πmod s is defined as r_0+r_1*w_s+r_2*w_s^2+...+r_(s-1)*w_s^(s-1), where w_s=exp(2*Π*I/s). We will prove that for (s,t)=1, v(s,t) <= binomial(s+t,s)/(s+t), where v(s,t) denotes a number of distinct values that GBG-rank mod s of t-core may assume. The above inequality becomes an equality when s is prime or when s is composite and t<=2p_s, where p_s is a smallest prime divisor of s. We will show that the generating functions for 4-cores with the prescribed values of GBG-rank mod 3 are all eta-products.

In this paper we derive an explicit formula for the number of representations of an integer by the sextenary form x^2+y^2+z^2+ 7s^2+7t^2+ 7u^2. We establish the following intriguing inequalities 2b(n)>=a_7(n)>=b(n) for n not equal to 0,2,6,16. Here a_7(n) is the number of partitions of n that are 7-cores and b(n) is the number of representations of n+2 by the sextenary form (x ^2+ y ^2+z ^2+ 7s ^2 + 7t ^2+ 7u^2)/8 with x,y,z,s,t and u being odd.

I revisit an automated proof of Andrews' pentagonal number theorem found by Riese. I uncover a simple polynomial identity hidden behind his proof. I explain how to use this identity to prove Andrews' result along with a variety of new formulas of similar type. I reveal an interesting relation between the tri-pentagonal theorem and items (19), (20), (94), (98) on the celebrated Slater list. Finally, I establish a new infinite family of multiple series identities.

Sums of the form add((-1)^n q^(n(n-1)/2) x^n, n>=0) are called partial theta functions. In his lost notebook, Ramanujan recorded many identities for those functions. In 2003, Warnaar found an elegant formula for a sum of two partial theta functions. Subsequently, Andrews and Warnaar established a similar result for the product of two partial theta functions. In this note, I discuss the relation between the Andrews-Warnaar identity and the (1986) product formula due to Gasper and Rahman. I employ nonterminating extension of Sears-Carlitz transformation for 3φ_2 to provide a new elegant proof for a companion identity for the difference of two partial theta series. This difference formula first appeared in the work of Schilling-Warnaar (2002). Finally, I show that Schilling-Warnnar (2002) and Warnaar (2003) formulas are, in fact, equivalent.

We prove that the Fourier coefficients of a certain general eta product considered by K. Saito are nonnegative. The proof is elementary and depends on a multidimensional theta function identity. The z=1 case is an identity for the generating function for p-cores due to Klyachko [17] and Garvan, Kim and Stanton [10]. A number of other infinite products are shown to have nonnegative coefficients. In the process a new generalization of the quintuple product identity is derived.

We revisit old conjectures of Fermat and Euler regarding representation of integers by binary quadratic form x^2+5y^2. Making use of Ramanujan's_1ψ_1 summation formula we establish a new Lambert series identity for \sum_{n,m=-\infty}^{\infty} q^{n^2+5m^2}. Conjectures of Fermat and Euler are shown to follow easily from this new formula. But we don't stop there. Employing various formulas found in Ramanujan's notebooks and using a bit of ingenuity we obtaina collection of new Lambert series for certain infinite products associated with quadratic forms such as x^2+6y^2, 2x^2+3y^2, x^2+15y^2, 3x^2+5y^2, x^2+27y^2, x^2+5(y^2+ z^2+ w^2), 5x^2+y^2+ z^2+ w^2. In the process, we find many new multiplicative eta-quotients and determine their coefficients.

We prove that the Fourier coefficients of a certain general eta product considered by K. Saito are nonnegative. The proof is elementary and depends on a multidimensional theta function identity. The z = 1 case is an identity for the generating function for p-cores due to Klyachko [12] and Garvan, Kim and Stanton [7].

A q-series with nonnegative power series coefficients is called positive. The partition statistics BG-rank is defined as an alternating sum of parities of parts of a partition. It is known that the generating function for the number of partitions of n that are 7-cores with given BG-rank can be written as certain sum of multi-theta functions. We give explicit representations for these generating functions in terms of sums of positive eta-quotients and derive inequalities for the their coefficients. New identities for the generating function of unrestricted 7-cores and inequalities for their coefficients are also obtained. Our proofs utilize Ramanujan's theory of modular equations.

Let πbe a partition. In [2] we defined BG-rank(π) as an alternating sum of parities of parts. This statistic was employed to generalize and refine the famous Ramanujan modulo 5 partition congruence. Let p_j(n)(a_{t,j}(n)) denote a number of partitions (t-cores) of n with BG-rank=j. Here, we provide an elegant combinatorial proof that 5|p_j(5n+4) by showing that the residue of the 5-core crank mod 5 divides the partitions enumerated by p_j(5n+4) into five equal classes. This proof uses the orbit construction in [2] and new identity for BG-rank. In addition, we find eta-quotient representation for the generating functions for coefficients a_{t,floor((t+1)/4)}(n), a_{t,-floor((t-1)/4)}(n) when t is an odd, positive integer. Finally, we derive explicit formulas for the coefficients a_{5,j}(n) with j=0,1,-1.

Let p(n) denote the number of unrestricted partitions of n. For i=0, 2, let p[i](n) denote the number of partitions pi of n such that O(pi) - O(pi') = i mod 4. Here O(pi) denotes the number of odd parts of the partition pi and pi' is the conjugate of pi. R. Stanley [13], [14] derived an infinite product representation for the generating function of p[0](n)-p[2](n). Recently, Holly Swisher[15] employed the circle method to show that limit[n->oo] p[0](n)/p(n) = 1/2 (i) and that for sufficiently large n 2 p[0](n) > p(n), if n=0,1 mod 4, 2 p[0](n) < p(n), otherwise. (ii) In this paper we study even/odd dissection of the Stanley product, and show how to use it to prove (i) and (ii) with no restriction on n. Moreover, we establish the following new result |p[0](2n) - p[2](2n)| > |p[0](2n+1) - p[2](2n+1)|, n>0. Two proofs of this surprising inequality are given. The first one uses the Gollnitz-Gordon partition theorem. The second one is an immediate corollary of a new partition inequality, which we prove in a combinatorial manner. Our methods are elementary. We use only Jacobi's triple product identity and some naive upper bound estimates.

A Goellnitz-Gordon partition is one in which the parts differ by at least 2, and where the inequality is strict if a part is even. Let Q_i(n) denote the number of partitions of n into distinct parts not congruent to i mod 4. By attaching weights which are powers of 2 and imposing certain parity conditions on Goellnitz-Gordon partitions, we show that these are equinumerous with Q_i(n) for i=0,2. These complement results of Goellnitz on Q_i(n) for i=1,3, and of Alladi who provided a uniform treatment of all four Q_i(n), i=0,1,2,3, in terms of weighted partitions into parts differing by >= 4. Our approach here provides a uniform treatment of all four Q_i(n) in terms of certain double series representations. These double series identities are part of a new infinite hierarchy of multiple series identities.

In a recent study of sign-balanced, labelled posets Stanley, introduced a new integral partition statistic srank(pi) = O(pi) - O(pi'), where O(pi) denotes the number of odd parts of the partition pi and pi' is the conjugate of pi. Andrews proved the following refinement of Ramanujan's partition congruence mod 5: p[0](5n +4) = p[2](5n + 4) = 0 (mod 5), p(n) = p[0](n) + p[2](n), where p[i](n) (i = 0; 2) denotes the number of partitions of n with srank = i (mod 4) and p(n) is the number of unrestricted partitions of n. Andrews asked for a partition statistic that would divide the partitions enumerated by p[i](5n + 4) (i = 0, 2) into five equinumerous classes. In this paper we discuss three such statistics: the St-crank, the 2-quotient-rank and the 5-core-crank. The first one, while new, is intimately related to the Andrews-Garvan crank. The second one is in terms of the 2-quotient of a partition. The third one was introduced by Garvan, Kim and Stanton. We use it in our combinatorial proof of the Andrews refinement. Remarkably, the Andrews result is a simple consequence of a stronger refinement of Ramanujan's congruence mod 5. This more general refinement uses a new partition statistic which we term the BG-rank. We employ the BG-rank to prove new partition congruences modulo 5. Finally, we discuss some new formulas for partitions that are 5-cores and discuss an intriguing relation between 3-cores and the Andrews-Garvan crank.

In a recent study of sign-balanced, labelled posets Stanley [13], introduced a new integral partition statistic srank(pi) = O(pi) - O(pi'), where O(pi) denotes the number of odd parts of the partition pi and pi' the conjugate of pi. In [1] Andrews proved the following refinement of Ramanujan's partition congruence mod 5: p[0](5n +4) = p[2](5n + 4) = 0 (mod 5), p(n) = p[0](n) + p[2](n), where p[i](n) (i = 0, 2) denotes the number of partitions of n with srank = i (mod 4) and p(n) is the number of unrestricted partitions of n. Andrews asked for a partition statistic that would divide the partitions enumerated by p[i](5n + 4) (i = 0, 2) into five equinumerous classes. In this paper we discuss two such statistics. The first one, while new, is intimately related to the Andrews-Garvan [2] crank. The second one is in terms of the 5-core crank, introduced by Garvan, Kim and Stanton [9]. Finally, we discuss some new formulas for partitions that are 5-cores.

Several new transformations for q-binomial coefficients are found, which have the special feature that the kernel is a polynomial with nonnegative coefficients. By studying the group-like properties of these positivity preserving transformations, as well as their connection with the Bailey lemma, many new summation and transformation formulas for basic hypergeometric series are found. The new q-binomial transformations are also applied to obtain multisum Rogers--Ramanujan identities, to find new representations for the Rogers--Szego polynomials, and to make some progress on Bressoud's generalized Borwein conjecture. For the original Borwein conjecture we formulate a refinement based on a new triple sum representations of the Borwein polynomials.

We prove a new four parameter q-hypergeometric series identity from which the three parameter key identity for the Goellnitz theorem due to Alladi, Andrews, and Gordon, follows as a special case by setting one of the parameters equal to 0. The new identity is equivalent to a four parameter partition theorem which extends the deep theorem of Goellnitz and thereby settles a problem raised by Andrews thirty years ago. Some consequences including a quadruple product extension of Jacobi's triple product identity, and prospects of future research are briefly discussed.

By considering a limiting form of the q-Dixon_4φ_3 summation, we prove a weighted partition theorem involving odd parts differing by >= 4. A two parameter refinement of this theorem is then deduced from a quartic reformulation of Goellnitz's (Big) theorem due to Alladi, and this leads to a two parameter extension of Jacobi's triple product identity for theta functions. Finally, refinements of certain modular identities of Alladi connected to the Goellnitz-Gordon series are shown to follow from a limiting form of the q-Dixon_4φ_3 summation.