VARIATION ON A THEME OF NATHAN FINE NEW WEIGHTED PARTITION IDENTITIES arxiv:16050091v [mathco] 3 May 016 ALEXANDER BERKOVICH AND ALI KEMAL UNCU Dedicated to our friend Krishna Alladi on his 60th birthday Abstract We utilize false theta function results of Nathan Fine to discover two new partition identities involving weights These relations connect Göllnitz Gordon type partitions and partitions with distinct odd parts and partitions into distinct parts and ordinary partitions respectively Some of our weights involve a new partition statistic defined as the number of odd parts of a partition bigger than a given value 1 Introduction A partition π = (λ 1 λ ) is a finite sequence of non-increasing positive integers Let ν(π) be the number of elements of π These elements λ i for i {1ν(π)} are called parts of the partition π The norm of a partition π denoted π is defined as the sum of all its parts We call a partition π a partition of n if π = n Conventionally we define the empty sequence to be the unique partition of zero Also define ν d (π) as the number of different parts of π For example π = (10105541) is a partition of 35 with ν(π) = 6 and ν d (π) = 4 In 1997 Alladi [1] began a systematic study of weighted partition identities Among many interesting results he proved that Theorem 11 (Alladi 1997) (11) (a(1 b)q;q) n (aq;q) n = where U n is the set of partitions with the largest part n π U n a ν(π) b νd(π) q π In (11) and in the rest of the paper we use the standard q-pochhammer symbol notations defined in [8] [14] Let L be a non-negative integer then L 1 (a;q) L := (1 aq i ) and (a;q) := lim (a;q) L L i=0 Theorem 11 provides a combinatorial interpretation for the left-hand side product of (11) as a weighted count of ordinary partitions with a restriction on the largest part In [1] Corteel and Lovejoy elegantly interpreted (11) with a = 1 and b = ( q;q) n (1) = νd(π) q π (q;q) n π U n in terms of overpartitions Also in [1] Alladi discovered and proved a weighted partition identity relating unrestricted partitions and the Rogers Ramanujan partitions Let U be the set of all partitions and let RR be the set of partitions with difference between parts Date: May 4 016 010 Mathematics Subject Classification 05A17 05A19 11B34 11B75 11P81 11P84 33D15 Key words and phrases Weighted count of partitions Gordon Göllnitz partitions Rogers Ramanujan partitions False theta functions Heine transformation q-gauss summation Modular Partitions Dream of Alladi 1
ALEXANDER BERKOVICH AND ALI KEMAL UNCU Theorem 1 (Alladi 1997) (13) where π RRω(π)q π = π U q π ν(π) 1 (14) ω(π) := λ ν(π) (λ i λ i+1 1) and the weight of the empty sequence is considered to be the empty product and is set equal to 1 In (13) the set RR can be replaced with the set of partitions into distinct parts denoted D (15) π RRω(π)q π = ω(π)q π π D i=1 The weight ω(π) of (14) for a partition π becomes 0 if the gap between consecutive parts of π is ever 1 Alladi [5] time and time again expressed his desire of seeing a weighted partition identity connecting D and U with non-vanishing weights on D In this paper we discuss a couple of examples of this type thus fulfilling his dream The reader interested in weighted partition identities and their applications may also wish to examine [1] [4] [6] [7] and [19] In particular Theorem 1 is extended in [19] In the next section we will cover different representations of partitions that we are going to use Section 3 provides weighted identities connecting Göllnitz-Gordon type partitions and partitions with distinct odd parts Some combinatorial connections between D and U will be presented in Section 4 Useful Definitions A Ferrers diagram of a partition π = (λ 1 λ ) is the diagram of boxes which has λ i many boxes on its i-th row The number of boxes on i-th row gives the size of the part λ i There is a one-to-one correspondence between Ferrers diagrams and partitions The words partition and Ferrers diagram can be used interchangeably An example of a Ferrers diagram is given in Table 1 We note that Ferrers diagrams represented with boxes as opposed to dots are usually named Young tableaux Young tableaux are often used in a wider context than partitions We will be using the name Ferrers diagrams to avoid any type of confusion and to remind the reader that we are strictly working on partitions We define the -modular Ferrers diagram similar to the Ferrers diagrams Let x denote the smallest integer x For a given partition π = (λ 1 λ ) we draw λ i / many boxes at the i-th row We decorate the boxes on the i-th row with s with the option of having a 1 at the right most box of the row such that the sum of the numbers in the boxes of the i-th row becomes λ i Table 1 includes an example of a -modular Ferrers diagram Table 1 The Ferrers Diagram and the -modular Ferrers Diagram of the partition π = (1095541) 1 1 1 1
VARIATION ON A THEME OF NATHAN FINE NEW WEIGHTED PARTITION IDENTITIES 3 It should be noted that the conjugate of a Ferrers diagram [8] (drawing the Ferrers diagram columnwise and then reading it row-wise) also represents a partition The analogous conjugation procedure only yields admissible -modular Ferrers diagrams if the partition has distinct odd parts (may still have even parts) In the example of Table 1 the conjugate partition of π is (655541) The conjugate of the -modular Ferrers diagram of π is not an admissible -modular diagram as there would be a row with two separate boxes decorated with 1 s Another representation of a partition π is the frequency notation π = (1 f1 f ) where f i (π) = f i is the number of occurrences of part i in π In this representation the partition in Table 1 is (1 1 0 3 0 4 1 5 6 0 7 0 8 0 9 1 10 1 11 0 ) It is customary to ignore zero frequencies in notation for simplicity This way the running example can be written as π = (1 1 4 1 5 9 1 10 1 ) Occasionally zero frequencies are shown in the representation to stress the absence of a part We define the basic q-hypergeometric series as they appear in [14] Let r and s be non-negative integers and a 1 a a r b 1 b b s q and z be variables Then ( ) a1 a a r (1) rφ s ;qz := b 1 b b s n=0 (a 1 a a r ;q) [ n ( 1) n q (n ) ] 1 r+s z n (qb 1 b s ;q) n Let a b c q and z be variables The q-gauss summation formula [14 II8 p 36] ( ) a b () φ 1 c ;q c = (c a ;q) ( c b ;q) ab (c;q) ( c ab ) and one of the three Heine s transformations [14 III p 41] ( ) a b (3) φ 1 c ;qz = (c b ;q) (bz;q) φ 1 (c;q) (z;q) will be used later on ( abz c b ;q c ) bz b 3 Weighted partition identities involving Göllnitz Gordon type partitions We start by reminding the reader of the well-known Göllnitz Gordon identities of 1960 s Theorem 31 (Slater 195) For i {1} (31) q n +(i 1)n ( q;q ) n (q ;q ) n = 1 (q i 1 ;q 8 ) (q 4 ;q 8 ) (q 9 i ;q 8 ) These analytic identities in (31) though commonly referred as Göllnitz Gordon identities were proven a decade before Göllnitz and Gordon by Slater [18 p 155 (34) & (36)] For a lot of authors the combinatorial interpretations of (31) have been of interest For i = 1 or let GG i be the set of partitions into parts i 1 with minimal difference between parts and no consecutive even numbers appear as parts Let C i8 be the set of partitions into parts congruent to ±(i 1) and 4 mod 8 Then Theorem 31 can be rewritten in its combinatorial form [15] [16]: Theorem 3 (Göllnitz Gordon 1967 & 1965) The number of partitions of n from GG i is equal to the number of partitions of n into parts ±(i 1) and 4 mod 8 where i {1} (3) q π = q π π GG i π C i8 We now present some identities that will later be interpreted in terms of the Göllnitz Gordon type partitions This discussion will yield to weighted partition identities
4 ALEXANDER BERKOVICH AND ALI KEMAL UNCU Theorem 33 q n ( q;q ) n (33) (q ;q ) n (34) q n +n ( q;q ) n (q ;q ) n = ( q;q ) (q ;q ) = ( q;q ) ( 1) n q n +n (q ;q ) ( q;q = ( q;q ) 1+ ) n+1 (q ;q ) j 1(q 3j +j q 3j j ) Proof With the definition (1) Theorem 33 can be proven easily The left-hand side of (33) and (34) can be rewritten as ( q ρ lim ρ φ 1 q ;q q ) ( q ρq and lim ρ ρ φ 1 q ;q q ) respectively ρ Then it is easy to show that (33) is a limiting case of q-gauss summation () The first equality of (34) is an application of the Heine transformation (3) with a = ρq and the second equality is due to Fine [13 (691 97) p 6] with q q and Rogers [17 (4) p 333] Another equivalent representation and a proof of the second equality in (34) is present in Ramanujan s lost notebooks [10 95] Similar to the situation in Theorem 31 analytic identities (33) and (34) can be interpreted combinatorially In fact (33) was discussed in [3] For the sake of completeness we will slightly paraphrase this discussion below One easy example of a generating function interpretation is the product on the right-hand side of (33) The expression ( q;q ) is the generating function for the number of partitions into distinct odd parts and 1/(q ;q ) is the generating function for the number of partitions into even parts These two generating functions product is the generating function for the number of partitions with distinct parts This is clear as the parity of a part in a partition completely identifies which generating function it is coming from The generating function interpretation of the left-hand side of (33) needs us to identify weights on partitions For a positive integer n the reciprocal product (35) 1 (q ;q ) n is the generating function for the number of partitions into n even parts The expression (36) q n ( q;q ) n (q ;q ) n can be interpreted as the generating function for the number of partitions into exactly n parts from GG 1 [ (8) p 173] We can represent these partitions as -modular graphs There are four possible patterns that can appear at the end of consecutive parts of these -modular Ferrers diagrams All these possible endings of consecutive parts λ i and λ i+1 where i < ν(π) of a partition π are demonstrated in Table The labelled gaps on Table are the number of non-essential number of boxes between consecutive parts for the partition to be in GG 1 These differences can be equal to zero In general the number of the non-essential boxes of the -modular Ferrers diagram for a partition in GG 1 is given by the formula (37) where (38) δ ne := λ i λ i+1 δ λie δ λi+1e { 1 if n is even 0 otherwise 1
VARIATION ON A THEME OF NATHAN FINE NEW WEIGHTED PARTITION IDENTITIES 5 Table Ends of consecutive parts of Göllnitz-Gordon partitions λ i λ i+1 0 λ i 1 λ i+1 1 λ i λ i+1 3 0 λ i λ i+1 1 λ i λ i+1 3 0 λ i 1 λ i+1 λ i λ i+1 4 0 λ i λ i+1 Later we will need (39) δ no := 1 δ ne The product of (35) and (36) is the generating function for the number of partitions from GG 1 into exactly n parts where the non-essential boxes in their -modular Ferrers diagram representation come in two colors Let π be a partition counted by (35) in one color and let π be a partition counted by (36) in another color Then we insert columns of the -modular Ferrers diagram representation of π in the -modular Ferrers diagram representation of π In doing so we insert the different colored columns all the way left those columns can be inserted without violating the definition of -modular Ferrers diagrams One example of the insertion of this type for n = 4 is presented in Table 3 Table 3 Insertion of the columns of π = (6444) in π = (1831) GG 1 π π 1 1 1 1 The inserted columns from π are all non-essential for the outcome partition to lie in GG 1 though those are not the only non-essential columns This insertion changes the number of non-essential boxes of a partition π GG 1 and it does not effect any essential structure of the -modular Ferrers diagrams There are a total of λ i λ i+1 δ λie δ λi+1e (310) many different possibilities for the coloration of the non-essential boxes that appear from the part λ i to λ i+1 Similarly there are λ n +δ λno many coloration possibilities for a the smallest part of a partition that gets counted by the summand of (33) where δ no is defined in (39) Hence combining all the possible number of colorations there are (311) ω 1 (π) := λ ν(π) +δ λν(π)o ν(π) 1 i=1 λ i λ i+1 δ λie δ λi+1e total number of colorations of a partition π GG 1 The far right partition in Table 3 is one of the possible colorations of the partition (18 1 7 5) and the total number of colorations via (311) is ω 1 (18175) = 3 1 = 1
6 ALEXANDER BERKOVICH AND ALI KEMAL UNCU The above discussion yields the weighted partition identity: Theorem 34 (Alladi 01) (31) π GG 1 ω 1 (π)q π = π P do q π where ω 1 is defined as in (311) and P do is the set of partitions with distinct odd parts Theorem 34 is essentially [3 Theorem 3] with a = b = 1 with minor corrections for the weight associated with the smallest part of Gordon Göllnitz partitions The set of partitions P do partitions with distinct odd parts has also been studied in [4] and [11] We give an example of Theorem 34 in Table 4 Table 4 Example of Theorem 34 with n = 1 π GG 1 π = 1 ω 1 π P do π = 1 π P do π = 1 (1) 6 (1) (6 4 ) (111) 5 (111) (631) (10) 3 (10) (6) (93) 6 (93) (543) (84) (91) (541) (831) (84) (53) (75) 3 (831) (51) (741) 1 (8) (444) (75) (4431) (741) (44) (73) (431) (71) (4) (66) (31) (651) () The summation of all ω 1 (π) values for π GG 1 with π = 1 equals 8 as the number of partitions from P do with the same norm Formally let λ ν(π)+1 := 0 for a partition π Following the same construction (35) (311) stepby-step for the GG type partitions we see that the left-hand side of (34) can be interpreted as a weighted generating function for the number of partitions π GG ω (π)q π where (313) ω (π) := ν(π) i=1 λ i λ i+1 δ λie δ λi+1e This weight ω unlike ω 1 is uniform on every pair of consecutive parts with our customary definition λ ν(π)+1 = 0 We rewrite the sum in the middle term of (34) as (314) ( q;q ) ( 1) n q n +n (q ;q ) ( q;q = ( q;q ) ) n+1 (q ;q ) j 0 Clearly (314) amounts to (315) j 0 q 4j +j q 4j j ( q;q ) j+1 ( q;q = ) j j 1 j 0 q 4j +j (1 q 4j+ ) ( q;q ) j+1 q 4j +j (1 q 4j+ ) ( q;q ) j+1 + j 1 q 4j +j 1 + ( q;q ) j j 1 q 4j +j 1 ( q;q ) j
VARIATION ON A THEME OF NATHAN FINE NEW WEIGHTED PARTITION IDENTITIES 7 wherewesplit the sumonthe left of (314)intotwosub-sumsaccordingtothe parityofthe summation variable and changing the name with n to j After cancellations (315) turns into (316) j 1 q 4j j (1+q 4j 1 ) ( q;q ) j = j 0 q 4j +6j+ ( q;q ) j+1 The equation (316) can be easily established by simplifying the fraction on the left and shifting the summation variable j j +1 Let P rdo be the set of partitions with distinct odd parts with the additional restrictions that the smallest part is > 1 and if the smallest part of a partition π is then π starts either as (317) where f f 4 f 4j are all positive or as (318) π = ( f 4 f4 6 f6 (4j ) f4j (4j 1) 1 ) π = ( f 4 f4 6 f6 (4j) f4j (4j +1) 0 (4j +) 0 ) where f f 4 f 4j are all positive for any positive j We now claim that the middle term of (34) is the generating function for the number the partitions from the set P rdo We demonstrate this with the aid of (314) Using distribution on the right of (314) we get ( q;q ) (q ;q ) j 0 = j 0 q 4j +j (1 q 4j+ ) ( q;q ) j+1 Thus we have for the right-hand side of (314) q 4j +j 1 + ( q;q ) j j 1 q 4j +j ( q 4j+3 ;q 1 q 4j+ ) (q ;q + q 4j +j 1 ( q4j+1 ;q ) ) (q ;q ) j 1 (319) ( q 3 ;q ) (q 4 ;q + q 4j +j 1 ( q4j+1 ;q ) ) (q ;q + q 4j +j ( q 4j+3 ;q 1 q 4j+ ) ) (q ;q ) j 1 j 1 For positive integers j we can write 4j +j 1 = +4+6+ +(4j )+(4j 1) 4j +j = +4+ +4j The above implies the initial conditions in (317) and (318) respectively The presence of the distinct odd parts and the (possibly repeated) even parts is clear from the shifted q-factorials This proves Theorem 35 (30) where ω as in (313) π GG ω (π)q π = π P rdo q π The second equality in (34) connects an order 3 false theta function with the combinatorial objects we have interpreted above (30) This false theta function can also be interpreted as a generating function for the number of partitions on a set after some modification It is easy to see that ( q;q ) 1+ (q ;q ) j 1(q 3j +j q 3j j ) = ( q;q ) (q ;q q 3j +j (1 q j+1 ) ) j 0 (31) = j 0 q 3j +j ( q;q ) j (q ;q ) j ( q j+3 ;q ) (q 4j+4 ;q ) Let A denote the set of partitions where for any partition
8 ALEXANDER BERKOVICH AND ALI KEMAL UNCU i the first integer that is not a part is odd ii each even part less than the first missing part appears at least twice iii each odd part less than the first missing part appears at most twice iv the double of the first missing part is also missing v and each odd larger than the first missing part is not repeated The expression (31) can be interpreted as G E Andrews did [9] as the generating function for the number of partitions from the set A This interpretation can be seen after the clarification that 3j +j = 1+++3+4+4+ +(j 1)+j +j The set used in this interpretation does not consist of distinct odd parts necessarily and therefore gets out of the scope of the identity of Theorem 35 Nevertheless this observation finalizes the discussion of the combinatorial version of (34): Theorem 36 ω (π)q π = π GG q π = q π π P rdo π A We demonstrate Theorem 36 in Table 5 Table 5 Example of Theorem 36 with n = 1 π GG π = 1 ω (π) π P rdo π = 1 π A π = 1 (1) 5 (1) (1) (9 3) 3 (9 3) (9 3) (8 4) 1 (8 4) (8 4) (7 5) (7 5) (7 5) (73) (71) (66) (66) (543) (543) (53) (51) (444) (444) (44) (411) (4) (11) The summation of all ω (π) values for π GG with π = 1 equals 11 as the number of partitions from P rdo and A with the same norm Recallthat RR is the setofpartitionsintodistinct partswith difference betweenparts We also note that similar to (15) the choice of the set GG in Theorem 36 can be replaced with a superset such as GG 1 or RR The weight ω would vanish for the partitions in RR \GG In particular we have ω (π)q π = ω (π)q π π GG π RR 4 Weighted partition identities relating partitions into distinct parts and unrestricted partitions We start with two identities that will yield weighted identities between the sets D partitions into distinct parts and U the set of all partitions
VARIATION ON A THEME OF NATHAN FINE NEW WEIGHTED PARTITION IDENTITIES 9 Theorem 41 (41) (4) (43) q (n +n)/ ( 1;q) n (q;q) n q (n +n)/ ( q;q) n (q;q) n = ( q;q) = ( q;q) = ( q;q) 1+ n 1 ( 1) n q n 1 ( q;q ) n 1+ j 1(q (3j +j)/ q (3j j)/ ) Proof We note that the left-hand sides of (41) and (4) are ( 1 ρ lim ρ φ 1 ;q q ) ( q ρ and lim q ρ ρ φ 1 ;q q ) respectively q ρ Similar to the case of Theorem 33 equation (41) is a special case of the q-gauss identity () Identity (4) is more involved To establish the equality of (4) we apply the Heine transformation (3) with a = ρ b = q c = q and z = q/ρ to the respective φ 1 which yields (44) q (n +n)/ ( q;q) n (q;q) n The sum on the right of (44) turns into (45) where in Fine s notation [13 (11)] ( 1;q) (q /ρ;q) ( q;q) n = lim ρ ( q/ρ;q) (q ( 1) n /ρ;q) n q (n +n)/ ( q;q) n (q;q) n = ( q;q) F( 10; 1) ( ) q aq F(ab;t) := φ 1 bq ;qt Applying [13 (311) p 44] and [13 (31) p 45] to the right-hand side of (45) in succession yields identities (43) and (4) respectively We remark that identity (41) was discussed in [1] There the identity was interpreted as a relation between generalized Frobenius symbols and overpartitions Now we will move on to our discussion of combinatorial interpretations of the analytic identities of Theorem 41 We have already pointed out that the product on the right side (41) is a special case of Alladi s (11) with a = 1 b = and n This can be interpreted as the weighted sum on the set of partitions U: (1) ( q;q) = νd(π) q π π U where ν d (π) is the number of different parts of π The left-hand side of (41) can also be interpreted as a weighted sum In order to derive the weights involved we dissect the summand on the left For a positive integer n we have (46) The first expression on the right (47) q (n +n)/ ( 1;q) n (q;q) n = q(n +n)/ (q;q) n 1 q n ( q;q) n 1 (q;q) n 1 q (n +n)/ (q;q) n
10 ALEXANDER BERKOVICH AND ALI KEMAL UNCU is the generating function for the number of partitions into exactly n distinct parts [8] We will think of these partitions to have the base color of white The rational factor (48) 1 q n = +qn +q n +q 3n + is the generating function for the number of partitions into parts each of size n each time counted with weight regardless of occurrence We combine Ferrers diagrams of partitions enumerated by (47) and the conjugate of partitions counted by (48) using column insertions This yields the generating function for the number of partitions into exactly n disctinct parts where part λ n is counted with weight λ n The column insertion is similar to the case in the -modular Ferrers diagrams as we exemplified in Table 3 We embed a colored column from a conjugate of a colored partition counted by (48) all the way left inside a Ferrers diagram counted by (47) without violating the definition of a partition An example of column insertion is given in Table 6 Table 6 Column insertion λ i λ i+1 1 n n λ i λ i+1 1 The expression (49) ( q;q) n 1 (q;q) n 1 is the generating function for the number of partitions into parts n 1 where every different sized part is counted with weight After conjugating these partitions and inserting its columns to partitions into n distinct parts we see that there are (λ i λ i+1 1)+1 possible colorations between consecutive parts where at least one secondary color appears for 1 i n 1 To be more precise there are λ i λ i+1 1 columns coloring the space between λ i+1 and λ i 1 and each coloring comes with weight This way we have the weight (λ i λ i+1 1)+1 where the extra 1 comes from the option of not having a colored column at all Again these column insertions are demonstrated in Table 6 Hence for a partition π = (λ 1 λ ) we have (410) where q (n +n)/ ( 1;q) n (q;q) n = π D ω 1 (π)q π ν(π) 1 (411) ω 1 (π) := λ ν(π) (λ i λ i+1 1) i=1 Similar to (313) we can change the product of ω 1 uniform With the custom choice that λ ν(π)+1 := 1/ we define ν(π) (41) ω 1 (π) = (λ i λ i+1 1) i=1
VARIATION ON A THEME OF NATHAN FINE NEW WEIGHTED PARTITION IDENTITIES 11 Combining (41) (1) and (410) yields Theorem 4 1 (π)q π D ω π = π U where ω 1 (π) is as in (41) and ω 1(π) = νd(π) ω 1 (π)q π This is the first example of a solution to Alladi s dream where we have a non-vanishing weighted identity between D and U The combinatorial interpretation of (4) is going to provide a second example to his question The left side of (4) can be interpreted similar to (41) The weights associated with this case differ from the weight ω 1 only at the last part For a partition π = (λ 1 λ ) with the custon definition that λ ν(π)+1 := 0 we define the new weight uniformly as in (41) ν(π) (413) ω (π) = (λ i λ i+1 1) i=1 With this definition we have the identity similar to (410) (414) q (n +n)/ ( q;q) n (q;q) n = π D ω (π)q π In order to get the weights for the right side of (4) we modify that expression We rewrite ( q;q ) the generating function for number of partitions into distinct odd parts as (415) ( q;q ) = 1+ n 1q n 1 (q n+1 ;q ) Note that the summands in (415) are generating functions for the number of partitions into distinct odd parts with the smallest part being equal to n 1 The right-hand side expression of the identity (4) directly yields (416) ( q;q) 1+ n 1 ( 1) n q n 1 ( q;q = ( q ;q ) ( q;q ) + ( 1) n q n 1 ( q n+1 ;q ) ) n n 1 Employing (415) combining sums and changing the summation indices n n+1 on the right side of (416) we get (417) = ( q ;q ) = ( q ;q ) (q ;q ) 1+ q 4n+3 ( q 4n+5 ;q ) 1 (q;q + 1 q 4n+3 ( q 4j+5 ;q ) ) (q;q ) n+1 1 q 4n+3 (q 4j+5 ;q ) We can interpret (417) as a combinatorial weighted identity over the set of partitions U Let π = (λ 1 λ ) be a partition Let ν de (π) be the number of distinct even parts Let µ no (π) denote the new partition statistic number of different odd parts (without counting repetitions) n of π for some integer n Let { 1 if the statement is true (418) χ(statement) = 0 otherwise be the truth function We define (419) ω (π) = ν de(π) 1+ π) i 0χ((4i+3) µ4i+3o(π)
1 ALEXANDER BERKOVICH AND ALI KEMAL UNCU With these definitions and keeping (417) in mind we have the weighted identity ( q;q) (40) 1+ ( 1) n q n 1 ( q;q = ) (π)q n n 1 π Uω π The emergence of this weight can be explained in two parts The front factor of (417) (identity (1) with q q ) yields the weight ν de(π) This is easy to see as all of the parts coming from (1) with q q can be thought of as even parts The summation part of the weight (419) comes from the respective summation in (417) 1 (q;q ) + 1 q 4n+3 ( q 4j+5 ;q ) (q;q ) n+1 1 q 4n+3 (q 4j+5 ;q ) The first term is the generating function for the number of partitions into odd parts where we count every partition once The right summation is the weighted count of partitions into odd parts For a non-negative integer n the summand 1 q 4n+3 ( q 4j+5 ;q ) (q;q ) n+1 1 q 4n+3 (q 4j+5 ;q ) is the generating function for the number of partitions where 4n+3 appears as a part every odd part less than 4n+3 is counted once and every different odd part 4n+3 is counted with the weight This yields the weight µ4n+3o(π) for a partition π Above observations (414) and (40) combined with (4) provide another new example of a relation between partitions into distinct parts and partitions into unrestricted parts with non-vanishing weights Theorem 43 (π)q π D ω π = π U where ω (π) is as in (413) and ω (π) as in (419) We would like to exemplify Theorem 43 in Table 7 ω (π)q π Table 7 Example of Theorem 43 with n = 10 π U π = 10 ω π U π = 10 ω π U π = 10 ω π D π = 10 ω (10) (5 3 ) 10 (3 3 3 1) 3 (10) 19 (91) 1 (5311) 5 (33) 6 (91) 15 (8) 4 (51) (3311) 6 (8) 33 (811) (5111) (331111) 3 (73) 35 (73) 7 (511111) 1 (31) 6 (64) 1 (71) 6 (44) 4 (3111) 6 (631) 15 (7111) 3 (4411) (311111) 6 (541) 5 (64) 4 (433) 6 (31111111) 3 (53) 9 (631) 6 (431) 1 () (431) 1 (6) 4 (43111) 6 (11) (611) 4 (4) 4 (1111) (61111) (411) 4 (111111) (55) 1 (41111) 4 (11111111) (541) (4111111) (1111111111) 1 The summation of all ω (π) or all ω (π) for π = 10 are the same and the sum equals 16 In literature there are many examples of multiplicative weights This is no different from the previous parts of this paper such as Theorem 1 (3) Theorems 34 36 and 4 Theorem 43 is
VARIATION ON A THEME OF NATHAN FINE NEW WEIGHTED PARTITION IDENTITIES 13 exciting not only because it gives a weighted connection between the sets D and U but because of the appearance of the unusual additive weight of multiplicative objects The order 3/ s false theta function (43) can be interpreted as a generating function for the number of partitions counted with a weight The interpretation of the 3 false theta function expression of (34) required us to depart from the set of partitions with distinct odd parts P do to an unexpected superset with trivial weight 1 for each partition Here we see a different situation where we stay in the set of all partitions U but the weights become non-trivial and occasionally zero We can restrict our set and exclude these zero values It is known to the authors when zero weights appear but this is a tangential point for our discussion Recall that in frequency notation a partition π = (1 f1 f ) where f i (π) = f i is the number of occurrences of i in π Let (41) ω (π) = (1 χ(f 1(π) )) n χ(fn(π) 1) + j 1 χ(f j+1(π) 1)χ(f j (π) ) χ(fj(π) 3) χ(f i (π) 3) χ(fi(π) 4) j 1 i=1 n>j n j+1 χ(fn(π) 1) where χ is defined in (418) We remark that the sum in ω (π) is finite as partitions are finite and so χ(f i (π) 3) vanishes for any value of i greater than the largest part of π Then we have ( q;q) (4) 1+ j 1(q (3j +j)/ q (3j j)/ ) = π Uω (π)q π This can be proven by rewriting the false theta function (43) differently and doing cancellations with the front factor: ( q;q) 1+ j 1(q (3j +j)/ q (3j j)/ ) = ( q;q) q (3j +j)/ (1 q j+1 ) (43) j 0 = ( q;q) j 0 q (3j +j)/ (q;q) j (q j+ ;q) The expression (43) is the generating function of partitions with weights ω The front factor ( q;q) is the generating function for the number of partitions into distinct parts Therefore for our interpretation every part can appear at least once For a non-negative integer j the summand is the generating function for the number of partitions where j + 1 does not appear as a part every number up to j 1 appears at least 3 times and j appears at least times as (3j +j)/ = 1+1+1++++ +(j 1)+(j 1)+(j 1)+j +j This weight is also non-trivial and a sum of multiplicative terms This is exemplified in Table 8 Hence we get the similar result to Theorem 36: Theorem 44 π D ω (π)q π = π Uω (π)q π = π U ω (π)q π where weights ω (π) ω (π) and ω are as in (413) (419) and (41) respectively 5 Acknowledgement The authors would like to thank George E Andrews and Krishna Alladi for their kind interest and encouragement The authors would also like to thank Jeramiah A Hocutt and Benjamin P Russo for their careful reading of the manuscript
14 ALEXANDER BERKOVICH AND ALI KEMAL UNCU Table 8 Example of Theorem 43 with n = 10 π U π = 10 ω π U π = 10 ω π U π = 10 ω (10) (53) 8 (3331) (91) (5311) (33) 4 (8) 4 (51) 4 (3311) 0 (811) (5111) 8 (331111) 0 (73) 4 (511111) 4 (31) 4 (71) 4 (44) 4 (3111) 6 (7111) 4 (4411) (311111) 4 (64) 4 (433) 4 (31111111) (631) 4 (431) 8 () (6) 4 (43111) 4 (11) (611) 4 (4) 4 (1111) 8 (61111) 4 (411) 4 (111111) 6 (55) (41111) 8 (11111111) 4 (541) 4 (4111111) 4 (1111111111) The summation of all ω (π) values for π = 10 equals 16 as in the values of Table 7 References [1] K Alladi Partition identities involving gaps and weights Trans Amer Math Soc 349 (1997) no 1 5001-5019 [] K Alladi On a partition theorem of Göllnitz and quartic transformations With an appendix by Basil Gordon J Number Theory 349 (1998) no 153-180 [3] K Alladi Analysis of a generalized Lebesgue identity in Ramanujan s Lost Notebook Ramanujan J 9 (01) 339-358 [4] K Alladi Partitions with non-repeating odd parts and combinatorial identities Ann Comb 0 (016) 1-0 [5] K Alladi Private communications [6] K Alladi and A Berkovich New weighted Rogers-Ramanujan partition theorems and their implications Trans Amer Math Soc 354 (00) no 7 557-577 [7] K Alladi and A Berkovich Göllnitz-Gordon partitions with weights and parity conditions Zeta functions topology and quantum physics Dev Math 14 (005) 1-17 [8] G E Andrews The theory of partitions Cambridge Mathematical Library Cambridge University Press Cambridge 1998 Reprint of the 1976 original MR1634067 (99c:1116) [9] G E Andrews Private communications [10] G E Andrews and B C Berndt Ramanujan s lost notebook Part I Springer New York 005 [11] A Berkovich and F G Garvan Some observations on Dysons New Symmetries of Partitions 100 (00) no 1 61-93 [1] S Corteel and J Lovejoy Overpartitions Trans Amer Math Soc 356 (004) no 4 163-1635 [13] N J Fine Basic hypergeometric series and applications With a foreword by George E Andrews Mathematical Surveys and Monographs 7 American Math Soc Providence RI 1988 [14] G Gasper and M Rahman Basic Hypergeometric Series Vol 96 Cambridge university press 004 [15] H Göllnitz Partitionen mit Differenzenbedingungen J reine angew Math 5 (1967) 154-190 [16] B Gordon Some Continued Fractions of the Rogers-Ramanujan Type Duke Math J 3 (1965) 741-748 [17] L J Rogers On two theorems of combinatory analysis and some allied identities Proc London Math Soc 16 (1917) 315-336 [18] L J Slater Further Identities of the Rogers-Ramanujan Type Proc London Math Soc Ser 54 (195) 147-167 [19] A K Uncu Weighted Rogers-Ramanujan Partitions and Dyson Crank arxiv:160300399 [mathco] Department of Mathematics University of Florida 358 Little Hall Gainesville FL 3611 USA E-mail address: alexb@ufledu Department of Mathematics University of Florida 358 Little Hall Gainesville FL 3611 USA E-mail address: akuncu@ufledu