Bilateral truncated Jacobi s identity Thomas Y He, Kathy Q Ji and Wenston JT Zang 3,3 Center for Combinatorics, LPMC-TJKLC Nankai University, Tianjin 30007, PR China Center for Applied Mathematics Tianjin University, Tianjin 30007, PR China heyao@mailnankaieducn, ji@nankaieducn, 3 wenston@mailnankaieducn Abstract Recently, Andrews and Merca considered the truncated version of Euler s pentagonal number theorem and obtained a non-negative result on the coefficients of this truncated series Guo and Zeng showed the coefficients of two truncated Gauss identities are non-negative and they conjectured that the truncated Jacobi s identity also has non-negative coefficients Mao provided a proof of this conjecture by using an algebraic method In this paper, we consider the bilateral truncated Jacobi s identity and show that when the upper and lower bounds of the summation satisfy some certain restrictions, then this bilateral truncated identity has non-negative coefficients As a corollary, we show the conjecture of Guo and Zeng holds Our proof is purely combinatorial and mainly based on a bijection for Jacobi s identity Keywords: Partitions, Jacobi s identity AMS Classifications: 05A7, P8, P83 Introduction This paper is concerned with bilateral truncated Jacobi s identity Recall that Jacobi s identity [9, p57, Eq(5] (see also [9, Theorem 357] is given by (q; q 3 = + ( j (j + q (j+, ( which is equivalent to (q; q 3 = + j= ( j jq (j+ ( It plays an important role in the study of partition congruences and representations of integers as sums of squares, see, for example, Andrews [, ], Ewell [8], Hirschhorn [], Hirschhorn and Sellers [3] and Ramanujan [5, 6]
The truncated theta series were recently studied by several authors, see, for example, Andrews and Merca [4], Chapman [7], Guo and Zeng [], Mao [4], Shanks [7, 8], and Yee [0] In [4], Andrews and Merca considered the truncated Euler s pentagonal number theorem Euler s pentagonal number theorem is one of the most well-known theorem in partition theory This gives (q; q (q; q = + + j= ( j q j(3j+/ (3 ( j q j(3j+/ ( q j+ = (4 Here and throughout this paper, we have adopted the standard notation on partitions and q-series [3] n (a; q n = ( aq j and (a; q = ( aq j Let p(n be the number of partitions of n From (4, it is easy to obtain the following recursive formula for p(n: ( (p j ( ( n 3j + j p n 3j + 5j = 0 Andrews and Merca [4] showed that the following truncated Euler s pentagonal number theorem ( k k ( j q j(3j+/ ( q j+ (q; q has non-negative coefficients This leads to the following inequality on p(n, ( k k ( (p j ( ( n 3j + j p n 3j + 5j 0, where n and k They also conjectured that for positive integers k, R, S with k and S < R/, the following truncated Jacobi s triple product identity ( k k ( j q Rj(j+/ Sj ( q (j+s (5 (q S ; q R (q R S ; q R (q R ; q R has non-negative coefficients When R = 3 and S =, this truncated identity is the truncated Euler s pentagonal number theorem and has been proved by Andrews and
Merca [4] Guo and Zeng [] showed this conjecture holds when R = 4 and S = Mao [4] showed this conjecture is valid by exploiting an algebraic method Yee [0] gave a combinatorial proof of this conjecture with the aid of Wright s bijection [9] for the Jacobi s triple product identity In [], Guo and Zeng considered the truncated Jacobi s identity It is easy to see that Jacobi s identity ( can also be written as ( j (j + q (j+ (q; q 3 = (6 Define t(n to be the number of partitions of n into three kinds of parts, then t(nq n = (q; q 3 Thus, from (6, it is easy to see that for n, ( j (j + t(n j(j + / = 0 n Guo and Zeng [] conjectured that for n, k, ( k k ( j (j + t(n j(j + / 0 (7 In other words, the following truncated Jacobi s identity ( k k ( j q (j+ (q; q 3 (j + has non-negative coefficients Mao [4] gave an algebraic proof of this conjecture In this paper, we consider the following bilateral truncated Jacobi s identity b ( j jq (j+ (q; q 3 j=a and give a sufficient condition so that this bilateral truncated series has non-negative coefficients More specifically, we have Theorem Given any two integers a b, define sg(a := if a 0 and sg(a := if a < 0 If ( a+b sg(a sg(b =, then the coefficient of q n in ( a sg(a (q; q 3 b ( j jq (j+ (8 is non-negative { { for n and is positive for a 0 or b 0 and (a+ sg(a+ ( sg(b+3 n max, min, b+ }} 3 j=a
Observe that the coefficient of q n in (8 is equal to ( a sg(a b ( j jt(n j(j + / Hence, Theorem is equivalent to the following corollary Corollary When ( a+b sg(a sg(b = and for n, there holds ( a sg(a j=a b ( j jt(n j(j + / 0 j=a with strict inequality if a 0 or b 0 and n max {, min { (a+ sg(a+ ( sg(b+3, b+ }} Note that Guo and Zeng s conjecture (7 is the special case of Corollary with a = k and b = k As an example of Corollary, let a = and b = 3, we obtain t(n 3t(n + t(n 3 3t(n 6 0 Another example, let a = 3 and b = 4, we get t(n 3t(n + 5t(n 3 3t(n 6 + 4t(n 0 0 This paper is organized as follows In Section, we first recall the definitions of synchronized F -partitions and rooted synchronized F -partitions and give the generating functions for rooted synchronized F -partitions Then we state a bijection between the set of degenerate rooted synchronized F -partitions and the set of synchronized F -partitions without the zero part and an involution on the set of non-degenerate rooted synchronized F -partitions Finally, we restrict these two bijections to the set of rooted synchronized F -partitions whose discrepancy lies in the interval [a, b] Thus, we obtain a partition identity, which plays an important role in the proof of Theorem In Section 3, we give a combinatorial proof of Theorem based on the partition identity in Section Synchronized F -partitions The notions of synchronized F -partitions and rooted synchronized F -partitions were first introduced in [5] which are used to give a combinatorial proof of finite form of Jacobi s i- dentity In [5], synchronized F -partitions and rooted synchronized F -partitions are named as synchronized partitions and rooted synchronized partitions In this paper, to illustrate the connection between synchronized partitions and Frobenius partitions, we will call synchronized partitions as synchronized F -partitions Assume that α = (α, α,, α r is a 4
partition with distinct parts and β = (β, β,, β s is also a partition with distinct parts under the assumption that the last part β s may be zero Then a synchronized F -partition is a representation of (α, β as a two-row array such that some symbols may be added at the end of α or β so that they are of the same length depending on which is of smaller length We may denote a synchronized F -partition with underlying partitions α and β by S(α, β The difference l(α l(β is called the discrepancy of the synchronized F - partition A synchronized F -partition with a positive discrepancy k can be represented as follows: ( α α S(α, β = α s α s+ α s+k β β β s and a synchronized F -partition with a negative discrepancy k (k > 0 can be represented as follows: ( α α S(α, β = α r β β β r β r+ β r+k A synchronized F -partition with zero discrepancy can be simply represented as a tworow array without any star added, which is referred to as a Frobenius partition, see Andrews [], Corteel and Lovejoy [6] A rooted synchronized F -partition is defined as a synchronized F -partition with a distinguished star symbol, which we denote by Clearly, a rooted synchronized F -partition has an underlying synchronized F -partition with nonzero discrepancy To distinguish a synchronized F -partition, we may denote a rooted synchronized F -partition with underlying partitions α and β by S(α, β For example, there are five rooted synchronized F -partitions of : ( ( ( ( ( 0 0 0 It is easy to see that the generating function of synchronized F -partitions equals ( q; q ( ; q, ( and the generating function of synchronized F -partitions without the zero part equals ( q; q ( q; q ( On the other hand, the generating function of synchronized F -partitions with a nonnegative discrepancy k equals q (k+, (3 (q; q and the generating function of synchronized F -partitions with a negative discrepancy k equals q ( k+ = q(k (4 (q; q (q; q 5
The generating functions (3 and (4 can be deduced from the Wright s bijection [9] for the Jacobi s triple product identity Let us recall that a synchronized F -partition S(α, β with a discrepancy k can be represented as follows: put r solid circles on the diagonal, where r is equal to the number of parts in α Then for j =,,, r, put α j circles in row j to the right of the diagonal and β j circles in column k + j below the diagonal For example, Figure gives the representations of the synchronized F - partitions ( 7 5 4 3 6 5 0 and ( 6 5 4 7 5 4 3 Figure : The Wright s Representations Let us consider the case discrepancy k > 0 Note that q (k+ is the generating function of partition (k, k,, Hence q (k+ /(q; q is the generating function for a pair of partitions (T k, λ, where T k = (k, k,, and λ is a partition with no restriction Then Wright s bijection [9] as illustrated by Figure yields the generating function (3 Figure : The Wright s Bijection for k 0 The case k < 0 is similar to the previous situation Notice that q ( k+ = q ( k is the generating function of partition (k,, Thus q ( k+ /(q; q is the generating 6
Figure 3: The Wright s Bijection for k < 0 function for a pair of partitions (T k, λ, where T k = (k,, and λ is a partition with no restriction Then Wright s bijection yields the generating function (4, as shown in Figure 3 Let us define the sign of a synchronized F -partition as ( δ(s, where δ(s is the number of stars in S(α, β and define a sign of a rooted synchronized F -partition S(α, β as ( δ( S, where δ( S is the number of stars in S(α, β under the assumption that a star with the bar in the top row is not counted In other words, the sign of a rooted synchronized F -partition equals ( k sg(k, where k is the discrepancy From (3 and (4, it is easy to show that the generating function of synchronized F -partitions S(α, β with sign ( δ(s equals (q; q + k= ( k q (k+, (5 and the generating function of rooted synchronized F -partitions S(α, δ( S β with sign ( equals (q; q + k= ( k kq (k+ (6 For any two integers a b, let S a,b denote the set of synchronized F -partitions S(α, β whose discrepancy lies in the interval [a, b], and let R a,b be the set of rooted synchronized F -partitions S(α, β whose discrepancy lies in the interval [a, b] Again, from (3 and (4, we have Lemma The generating function of synchronized F -partitions S(α, βin S a,b with sign ( δ(s equals S(α,β S a,b ( δ(s q α + β = 7 (q; q b ( k q (k+, (7 k=a
and the generating function of rooted synchronized F -partitions S(α, β in R a,b with sign ( δ( S equals S(α,β R a,b ( δ( S q α + β = (q; q b ( k kq (k+ (8 k=a or A rooted synchronized F -partition S(α, β is called degenerate if ( α α S(α, β = s α s+ α r β β s S(α, β = ( α α r β β r β r+ β s 0 where α > α > > α r and β > β > > β s ; otherwise S(α, β is called non-degenerate Next, we give a bijection between the set of degenerate rooted synchronized F -partitions and the set of synchronized F -partitions without the zero part, as stated in [5] Theorem There is a sign preserving bijection ϕ between the set of degenerate rooted synchronized F -partitions of n and the set of synchronized F -partitions of n that do not contain the zero part Proof For a degenerated rooted synchronized F -partition S(α, β, we can construct a synchronized F -partition S(α, β that do not contain the zero part Let l(λ denote the number of parts in an ordinary partition λ We consider the following two cases, Case : If l(α > l(β, then delete the bar to the first on the bottom row ( ( α α s a s+ α r α α s α s+ α r β β s β β s Case : If l(α < l(β, then delete a zero part on the bottom row along with a barred star on the top row ( ( α α r α α r β β r β r+ β s 0 β β r β r+ β s Clearly, the procedure is reversible and it preserves the signs We now state a sign reversing involution on the set of non-degenerate rooted synchronized F -partitions (see [5, Theorem 3] 8
Theorem 3 There is a sign reversing involution τ on the set of non-degenerate rooted synchronized F -partitions of n Proof For a non-degenerate rooted synchronized F -partition S(α, β, we proceed to construct a non-degenerate rooted synchronized F -partition S(α, β We consider the following two cases Case : The partition β has a zero part If l(α > l(β, then replace the zero part by a star If l(α < l(β, then delete the whole column of the zero part Case : The partition β has no zero part If l(α > l(β, then replace the first on the bottom row by a zero part If l(α < l(β, then add a zero part along with a star on the top as a column The above bijection can be illustrated as follows: ( ( α α s a s+ α r l(α>l(β α α s α s+ α r β 0 β ( α α r β β r β r+ β s 0 l(α<l(β ( α α r, β β r β r+ β s It is easy to check that the above construction is a sign reversing involution Using ( and (6 and combining Theorems and 3, we are led to a combinatorial proof of Jacobi s identity ( k kq (k+ = (q; q (q; q k= In [0], Joichi and Stanton also provided two combinatorial proofs of Jacobi s identity In the remainder part of this section, we will restrict the bijection ϕ in Theorem and the involution τ in Theorem 3 to the set R a,b Let D a,b denote the set of degenerate rooted synchronized F -partitions in R a,b and let N a,b denote the set of non-degenerate rooted synchronized F -partitions in R a,b Obviously, R a,b = D a,b N a,b (9 We first restrict the bijection ϕ in Theorem to the set D a,b Let S(α, β be a degenerate rooted synchronized F -partition with the discrepancy k and let S(α, β = ϕ( S(α, β and its discrepancy is equal to k From the definition of ϕ, we see that S(α, β is a synchronized F -partition without the zero part Furthermore, when k > 0, k = k; when k < 0, k = k + Hence, if S(α, β is in Da,b, that is, a k b, then a + ( + sg( a/ k b + ( sg(b/ which implies that S(α, β is in S a+(+sg( a/,b+( sg(b/ Thus, we have the following conclusion 9
Corollary 4 The bijection ϕ in Theorem is also a sign preserving bijection between the set of degenerate rooted synchronized F -partitions of n in R a,b and the set of synchronized F -partitions of n in S a+(+sg( a/,b+( sg(b/ that do not contain the zero part Let Z a,b denote the set of synchronized F -partitions of n in S a,b that do not contain the zero part, from Corollary 4, we see that ( δ( S q α + β = ( δ(s q α + β (0 S(α,β D a,b S(α,β Z a+(+sg( a/,b+( sg(b/ We next restrict the bijection τ in Theorem 3 to the set N a,b It should be noted that when we apply the involution τ into non-degenerate rooted synchronized F -partitions S(α, β with the zero part, whose discrepancy is b, then we delete the zero part of β to obtain S(α, β which has b + discrepancy This new rooted synchronized F -partition S(α, β is not in N a,b Besides, if we apply the involution τ into non-degenerate rooted synchronized F -partitions S(α, β without the zero part, whose discrepancy is a, we then add a part 0 to β to get S(α, β which has a discrepancy This rooted synchronized F -partition S(α, β is also not in N a,b Define T a to be the set of non-degenerate rooted synchronized F -partitions S(α, β without the zero part, whose discrepancy is a and T b to be the set of non-degenerate rooted synchronized F -partitions S(α, β with the zero part, whose discrepancy is b Let M a,b denote the set of non-degenerate rooted synchronized F -partitions in N a,b and not in T a and T b Obviously, we have It is not difficult to verify the following consequence N a,b = M a,b T a T b ( Corollary 5 The involution τ in Theorem 3 is also a sign reversing involution τ on the set M a,b As a consequence of Corollary 5, we obtain the following identity S(α,β M a,b ( δ( S q α + β = 0 ( 0
Hence, from the relation (9 and (, we have S(α,β R a,b ( δ( S q α + β = S(α,β D a,b ( δ( S q α + β + = S(α,β D a,b ( δ( S q α + β + + S(α,β T a ( δ( S q α + β + S(α,β N a,b ( δ( S q α + β S(α,β M a,b ( δ( S q α + β S(α,β T b ( δ( S q α + β (3 Submitting (0 and ( into (3, we obtain the following identity, which is useful in the proof of our main theorem S(α,β R a,b ( δ( S q α + β = S(α,β Z a+(+sg( a/,b+( sg(b/ ( δ(s q α + β + S(α,β T a ( δ( S q α + β + S(α,β T b ( δ( S q α + β (4 3 Proof of Theorem In this section, we give a combinatorial proof of Theorem To this end, we first interpret (8 in terms of rooted synchronized F -partitions, and then show our theorem holds based on (4 From (8 in Lemma, it is known that (8 can be interpreted as follows ( a sg(a (q; q 3 b j=a ( j jq (j+ ( a = sg(a (q; q S(α,β R a,b ( δ( S q α + β (3
Using (4 in the above identity, we find that ( a sg(a (q; q 3 b ( j jq (j+ j=a = ( a sg(a (q; q + ( a sg(a (q; q S(α,β T a ( δ( S q α + β S(α,β T b ( δ( S q α + β + ( a sg(a ( δ(s q α + β (3 (q; q S(α,β Z a+(+sg( a/,b+( sg(b/ Obviously, (3 can be seen as the sum of three terms We proceed to show that each sum has non-negative coefficients under the assumption ( a+b sg(a sg(b = At first, we have the following conclusion Lemma 3 Given any integer a, the coefficient of q n in ( a sg(a (q; q S(α,β T a ( δ( S q α + β (33 is non-negative for n Moreover, when a 0 and a, the coefficient of q n in (33 is positive for n ( a+ sg(a+ Proof Let S(α, β be a non-degenerate rooted synchronized F -partition in T a From the definition of T a, we see that ( δ( S = ( a sg(a Furthermore, when a 0, it is clear to see that sg(a = sg(a So ( a sg(a (q; q S(α,β T a ( δ( S q α + β = (q; q S(α,β T a q α + β, (34 which clearly has non-negative coefficients When a = 0, by the definition of T a, we see that there is no element in T a, so (33 is equal to zero We next show that when a 0 and a, the coefficient of q n in (34 is positive for n ( a+ sg(a+ It is easy to see that the coefficient of q n in (34 is equal to the number of triplets (γ, δ, S(α, β of n, where γ and δ are ordinary partitions, S(α, β T a and γ + δ + α + β = n So it suffices to show that when a 0 and a and for any n ( a+ sg(a+, there exists at least one such triplet (γ, δ, S(α, β We consider the following two cases
When a >, we set γ = δ = and S(α, β = ( n ( a a a When a < 0, we set γ = δ = and ( S(α, β = n ( a a a In either case, it is clear that γ + δ + α + β = n and note that n ( ( a+ sg(a+ = a + which implies n ( a a, so S(α, β Ta Thus we complete the proof It should be noted that when a = 0 or a =, there is no element in T a which implies the number of such triplet is equal to zero So in these two cases, the coefficient of q n in (33 is equal to zero The next lemma determines when the second sum of (3 has the non-negative coefficients Lemma 3 For any integers a b, when ( a+b sg(a sg(b =, the coefficient of q n in ( a sg(a ( δ(s q α + β (35 (q; q S(α,β T b is non-negative for n Moreover, when ( a+b sg(a sg(b =, b and b 0, the coefficient of q n in (35 is positive for n ( b+ sg(b+3 Proof Let S(α, β be a non-degenerate rooted synchronized F -partition in T b From the definition of T b, it is known that ( δ( S = ( b sg(b Since ( a+b sg(a sg(b =, we have ( a sg(a (q; q S(α,β T b ( δ( S q α + β = Clearly, the above identity has non-negative coefficients (q; q S(α,β T b q α + β (36 We proceed to show that when b and b 0, the coefficient of q n in (36 is positive for n ( b+ sg(b+3 It is clear to see that the coefficient of q n in (36 can be combinatorially interpreted as the number of triplets (γ, δ, S(α, β of n, where γ and δ are ordinary partitions, S(α, β T b and γ + δ + α + β = n So it suffices to show that when b, b 0 and for any positive integer n ( b+ sg(b+3, there exists at least one such triplet (γ, δ, S(α, β There are two following cases When 3
b > 0 and n ( b+, we set γ = δ = and ( ( n b+ S(α, β = b b 0 When b < and n ( b+, we set γ = δ = and ( S(α, β = n ( b b b 0 In either case, we have γ + δ + α + β = n and S(α, β T b It should be remarked that when b = or b = 0, there is no element in T b which implies the number of such triplet is equal to zero So the coefficient of q n in (36 is equal to zero Finally, we aim to show that the third sum of (3 has non-negative coefficients when ( a+b sg(a sg(b = Lemma 33 For any integers a b, when ( a+b sg(a sg(b =, the coefficient of q n in ( a sg(a ( δ(s q α + β (37 (q; q S(α,β Z +sg( a a+,b+ sg(b is non-negative for n In particular, when a = or b = or ab = 0 but a + b > 0, the coefficient of q n in (37 is positive for all n Proof Let O n denote the set of triplets (γ, δ, S(α, β of n, where γ is an ordinary partition; δ is an ordinary partition; S(α, β is a synchronized F -partition without zero parts such that a + +sg( a δ(s b + sg(b ; γ + δ + α + β = n Let π = (γ, δ, S(α, β O n, we associate π with a sign ω(π = ( a sg(a ( δ(s (38 It is easy to see that the coefficient of q n in (37 is equal to π O n ω(π 4
Hence, it suffices to show that the number of triplets in O n with positive sign is not less than the number of triplets in O n with negative sign To this end, we construct a signreversing involution ψ defined on the set O n Let π = (γ, δ, S(α, β O n, we proceed to construct another triplet π = (γ, δ, S(α, β We consider the following four cases Case γ = α = and β δ We remove β from β to get β and add β to δ to generate δ Case γ = α = and β < δ We remove δ from δ to get δ and add δ to β to generate β Case 3: γ or α and α γ Remove α from α to get α and add α to γ to generate γ Case 4: γ or α and α < γ Remove γ from γ to generate γ and add γ to α to get α From the definition of ψ, it is easy to see that the map ψ changes the parity of l(α l(β Note that ( δ(s = ( l(α l(β, so ψ changes the parity of the sign ω(π Furthermore, it is not difficult to check that if we apply the map ψ into the following four kinds of triplets (γ, δ, S(α, β in O n, then their images are not in the set O n ( ( α = γ =, l(β = a + +sg( a and δ > β ( ( α = γ =, l(β = b + sg(b and δ β (3 γ or α, l(α l(β = a + +sg( a and γ α (4 γ or α, l(α l(β = b + sg(b and γ > α We denote the set of these triplets by E n For π = (γ, δ, S(α, β E n and note that ( a+b sg(a sg(b =, an easy calculation deduces that the sign of π is positive Let O n denote the set of triplets in O n and not in E n Obviously, the map ψ is a sign-reversing involution on the set O n, which implies that π O n ω(π = 0 Hence, we have π O n ω(π = which is non-negative since w(π = for any π E n π E n ω(π, (39 To show that (37 has positive coefficients when a = or b =, or ab = 0 but a + b > 0, we will show that in these three cases, for any positive integer n, there exists at least one triple π = (γ, δ, S(α, β in the set E n When a = or a = 0, but b 0, let π = (,, S((n, 5
Clearly, π satisfies that γ α and l(α l(β = = a + +sg( a So π E n When b = or b = 0, but a 0, let π = ((n,, S(, Obviously π satisfies that γ > α and l(α l(β = 0 = b + sg(b So π E n Thus, we completes the proof of this lemma It should be noted that when a = b = 0, we have a + +sg( a =, but b + sg(b = 0, which gives that a + +sg( a > b + sg(b So there is no element in Z +sg( a a+,b+ sg(b Thus, the coefficient of q n in (37 is equal to zero Proof of Theorem Recall that the bilateral truncated Jacobi s identity has the following combinatorial interpretation ( a sg(a (q; q 3 b ( j jq (j+ (30 j=a = ( a sg(a (q; q + ( a sg(a (q; q + ( a (q; q sg(a S(α,β T a ( δ( S q α + β S(α,β T b ( δ( S q α + β S(α,β Z +sg( a a+,b+ sg(b (3 (3 ( l(α l(β q α + β (33 From Lemmas 3, 3, and 33, we see that when ( a+b sg(a sg(b =, the coefficient of q n in (30 is non-negative for n To study the positivity of the coefficient of q n in (30, we first let { { (a + sg(a+ ( L(a, b = max, min b + sg(b+3 }}, We consider the following three cases: Case : a 0, a, b 0 and b From Lemma 3, we see that the coefficient of q n in (3 is positive for all n ( a+ sg(a+ By Lemma 3, it is known that the coefficient of q n in (3 is positive for all n ( b+ sg(b+3 Note that the coefficient of q n in (33 is non-negative, so the coefficient of q n in (30 is positive for all n L(a, b 6
Case : a 0, a, and b = 0 or b = In this case, by Lemma 33, we know that the coefficient of q n in (33 is positive for all n Since the coefficients of q n in (3 and (3 are non-negative, then for all n L(a, b, the coefficient of q n in (30 is positive Case 3: a = or a = 0 but b 0 In this case, it follows from Lemma 33 that the coefficient of q n in (33 is positive for all n Hence, for all n L(a, b, the coefficient of q n in (30 is positive since the coefficients of q n in (3 and (3 are non-negative Therefore, when a 0 or b 0, the coefficient of q n in (30 is positive for n L(a, b This completes the proof Acknowledgments We wish to thank the referees for helpful suggestions This work was supported by the 973 Project, the PCSIRT Project and the National Science Foundation of China References [] G E Andrews, Generalized Frobenius partitions, Mem Amer Math Soc 49 (984, No 30, iv+, 44 pp [] G E Andrews and R Roy, Ramanujan s method in q-series congruences, Electron J Combin 4( (997 #R [3] GE Andrews, The Theory of Partitions, Cambridge Mathematical Library, Cambridge University Press, Cambridge, 998 [4] G E Andrews and M Merca, The truncated pentagonal number theorem, J Combin Theory Ser A 9 (0 639 643 [5] W YC Chen and K Q Ji, Jacobi s identity and Synchronized Partitions, arxiv:math/060309 [6] S Corteel and J K Lovejoy, Frobenius partitions and the combinatorics of Ramanujan s ψ summation, J Combin Theory Ser A 97 (00 77 83 [7] R Chapman, Partition identities arising from involutions, Australas J Combin 7(003 85 9 [8] J A Ewell, Completion of a Gaussian derivation, Proc Amer Math Soc 84( (98 3 34 [9] C Jacobi, Fundamenta nova theoriae functionum ellipticarum, Mathematische W- erke, Vol, (89 49 39 [0] J T Joichi and D Stanton, An involution for Jacobi s identity, Discrete Math 73 (989 6 7 [] V J W Guo and J Zeng, Two truncated identities of Gauss, J Combin Theory Ser A 0 (03 700 707 7
[] M D Hirschhorn, Jacobi s two-square theorem and related identities, Ramanujan J 3 (999 53 58 [3] M D Hirschhorn and J A Sellers, Two congruences involving 4-cores, The Foata Festschrift Electron J Combin 3 (996 #R0 [4] R Mao, Proofs of two conjectures on truncated series, J Combin Theory Ser A 30 (05 5 5 [5] S Ramanujan, Some propertities of p(n, the number of partitions of n, Proc Cambridge Philos Soc 9 (99 07 0 [6] S Ramanujan, Congruence properties of partitions, Math Zeitschr 9 (9 47 53 [7] D Shanks, A short proof of an identity of Euler, Proc Amer Math Soc (95 747 749 [8] D Shanks, Two theorems of Gauss, Pacific J Math 8 (958 609 6 [9] E M Wright, An enumerative proof of an identity of Jacobi, J London Math Soc 40 (965 55 57 [0] A J Yee, The truncated Jacobi triple product theorem, J Combin Theory Ser A 30 (05 4 8