A Multisection of q -Series Michael Somos 09 Sep 2007 somos@cis.csuohio.edu (draft version 27) 1 Introduction to Ramanujan theta functions There is an approach to q -series which was used by Ramanujan. It is suggestive and can help to find new results but seems to be practically unknown. I have been using it for a few years and decided to give a few examples of how to apply it in practice. I have tried to keep this as brief as possible and yet contain enough of the details so that it suggests how to continue in the same direction. I can supply more details if you are interested. I will not define a q -series since there is no precise definition. Usually it is an expression involving the variable q and perhaps other variables in an infinite sum or product. I will give the definition of the most important q -series which is as fundamental to the theory of q -series as the exponential is to differential calculus. Euler applied q -series to the theory of partitions of integers. Later, Jacobi introduced q -series as the basis for his theory of theta and elliptic functions. I have to mention why the power series are given in terms of the variable q instead of the customary x . Ramanujan preferred the use of the plain x however there are some connections with elliptic function theory where q=e^{pi i z} or else q=e^{2 pi i z} is commonly used. Jacobi introduced q -series in 1829 but did not name them. By 1884 q was called the ``nome'' by C. H. Kummel in a paper presented to the Philosophical Society of Washington. In the theory of q -hypergeometric series q is sometimes called the ''base''. To motivate the definition, recall the simplest infinite series which is the geometric power series of powers of x summing to 1/(1-x) . We would like a multiplicative analog of this series. One possible way is to use 1-x^n as the factors in the infinite product, but we need to start at n=1 because 1-x^0 = 1-1 = 0 would cause the product to vanish immediately. Thus we have the following definition. Definition 1. The Ramanujan f function is defined as f(-q) = (1-q)(1-q^2)(1-q^3)(1-q^4) ... . where |q|<1 is required for convergence. Often, we use formal power series and so all we need is that q^n converges to zero as n goes to infinity. The reason for the f(-q) instead of the simpler f(q) comes from Ramanujan's two variable theta function which is Definition 2. The two variable Ramanujan f function is defined as f(a,b) = 1 +(a+b) +(ab)(a^2+b^2) +(ab)^3(a^3+b^3) +(ab)^6(a^4+b^4) +... where |ab|<1 is required for convergence. The idea behind Ramanujan's function is that it is a two-way infinite sum of terms in which the quotient of consecutive terms is a geometric progression. Thus we have f(a,b) =... +a^6b^10 +a^3b^6 +ab^3 +b +1 +a +a^3b +a^6b^3 +a^10b^6 +... and surprisingly it has an infinite product expression as follows f(a,b) = (1+a)(1+b)(1-q)(1+aq)(1+bq)(1-q^2)(1+aq^2)(1+bq^2)(1-q^3)... where q=ab . This is equivalent to Jacobi's triple product identity, thus f(a,b) is an example of a q -series that has both infinite sum and infinite product expressions. In terms of f(a,b) Ramanujan's one variable theta function is f(-q) = f(-q,-q^2) , which perhaps explains why Ramanujan used f(-q) instead of the more obvious f(q) . Since this can be confusing, I will use my own ad hoc notation for this important function, writing it as y(q) = f(-q) . Euler made use of the reciprocal of y(q) as the generating function for the partition function of non-negative integers. He found a striking pattern to the power series expansion of y(q) which is y(q) = 1 - q - q^2 + q^5 + q^7 - q^12 - q^15 + q^22 + ... . It appears that each term is a power of q with coefficients plus one or minus one. The signs appear to alternate with two minus signs followed by two plus signs and so on. The pattern of the exponents may not be immediately obvious. Euler found that they are the generalized pentagonal numbers. To make the pattern even more obvious we can use the following method. We inflate the exponents by replacing q by q^24 and multiply by a factor q . The result is q y(q^24) = q -q^25 -q^49 +q^121 +q^169 -q^289 +... . It appears that each exponent is a square number with the general form of the exponent being (6k+1)^2 where k is any integer including negative integers, and the coefficient is (-1)^k . Thus, we can write it as a two-way infinite series q y(q^24) = ... -q^{(-17)^2} +q^{(-11)^2} -q^{(-5)^2} +q^{(1)^2} -q^{(7)^2} +q^{(13)^2} + ... . Returning to y(q) we note that the exponents of q are both even and odd but do not strictly alternate. They go through a pattern of length eight. The exponents modulo three go through a pattern of length six and all three residues occur. The exponents modulo five go through a pattern of length ten and these results generalize. 2 Trisection and Multisection of power series This suggests that it might be interesting to split up the power series into parts depending on the residue of the exponent modulo a fixed modulus. For modulus two this is called bisection, and in the general case it is called multisection. It is already interesting to try bisecting known series. For example, bisecting the exponential power series gives the series for hyperbolic sine and cosine. Note that there is an algebraic relation between the hyperbolic sine and cosine. Also note that multisections can be expressed using n -th roots of unity. For the series A = y(q) , applying bisection gives nothing obvious, so we trisect the series into three others and find that A0 = 1 -q^12 -q^15 +q^51 +q^57 -q^117 -q^126 +..., A1 = -q +q^7 +q^22 -q^40 -q^70 +q^100 +q^145 -..., A2 = -q^2 +q^5 +q^26 -q^35 -q^77 +q^92 +q^155 -..., A = y(q) = A0 + A1 + A2 . It is natural to look for algebraic relations between A0,A1,A2 , but we need some algorithmic tools to find them. A few years ago I wrote such tools in PARI-GP. Frank Garvan's q -series Maple package also has similar tools. We start with two or more power series and the relation tool can find algebraic relations given enough terms and computation. While we will usually be finding homogeneous relations, it is easy to find non-homogeneous relations by supplying 1 as an extra power series. With A0,A1,A2 , by using only the coefficients from q^0 up to q^9 , and assuming there is a homogeneous cubic relation, the tool produces 0 = A2 A0^2 + A0 A1^2 + A1 A2^2 . It may be surprising that such a simple and symmetric relation holds, and easily found, but after finding many hundreds of similar relations it becomes more of a familiar phenomenon. The proof of this relation depends on the trisection of y(q)^3 and leads to a 2007 result by Bruce Berndt and William Hart. Consider the series y(q)^3 with power series expansion A = 1 -3q +5q^3 -7q^6 +9q^10 -11q^15 +13q^21 - ... . The striking pattern of alternating odd integer coefficients and the triangular number exponents was known to Jacobi and resembles the pattern for y(q) itself. We trisect the series and find that A0 = 1 +5q^3 -7q^6 -11q^15 +13q^21 +17q^36 -19q^45 -..., A1 = -3q + 9q^10 - 15q^28 + 21q^55 - ... = -3q A(q^9) , A2 = 0 , A = y(q)^3 = A0 + A1 + A2 . Notice that A2 is zero and that A1 is similar to the original power series. We will encounter situations like this later on. In this case the fact that A2 is zero is precisely the cubic relation that we previously found for the trisection of y(q) itself. Let w be a primitive cube root of unity. Then we find that A(w q) = A(q) + (w-1)A1(q) , A(w^2 q) = A(q) + (w^2-1)A1(q) follows immediately from the trisection since A=A0+A1 . Similarly A(w p) = A(p) + (w-1)A1(p) , A(w^2 p) = A(p) + (w^2-1)A1(p) where p is another variable. We do the algebra and find that A(w p)A(w q) +w A(w^2 p)A(w^2 q) +3(w+1)A1(p)A1(q) = (w+1)A(p)A(q) which is essentially the identity of Berndt and Hart. 3 The Rogers-Ramanujan continued fraction The next step would be to try a quadrisection of y(q) , but the results are not so simple, so we will skip that. We quintisect y(q) and find that A0 = 1 +q^5 -q^15 -q^35 -q^40 -q^70 +q^100 +q^145 +..., A1 = -q +q^26 +q^51 - q^126 -q^176 +q^301 +q^376 +..., A2 = -q^2 +q^7 -q^12 +q^22 +q^57 -q^77 +q^92 -q^117 +..., A = y(q) = A0 + A1 + A2 + A3 + A4, A1 = -q y(q^25) = -q A(q^25), A3 = A4 = 0 . Notice that A3,A4 are zero and A1 is similar to the original power series and this is like the previous y(q)^3 case. Using the coefficients from q^0 to q^5 , and assuming there is a homogeneous quadratic relation, the relation tool produces 0 = A0 A2 + A1^2 . This is simpler than the trisection of y(q) , and probably this is the only irreducible relation between the three power series. Now Ramanujan essentially proves this relation using quintisection in a fragment in his Lost Notebook and Other Unpublished Papers on page 238, equations (20.1) to (20.4) and he first gives Jacobi's identity on y(q)^3 as equation (20.11). The relation is an immediate consequence of a formula in Bruce Berndt, Ramanujan's Notebooks, Part III, page 82 f(-q) + q f(-q^25) = f(-q^25) { (f(-q^15,-q^10))/(f(-q^20,-q^5)) - q^2 (f(-q^5,-q^20))/(f(-q^15,-q^10)} ) . where we have the identifications A0 = f(-q^25)(f(-q^15,-q^10))/(f(-q^20,-q^5)) and A2 = -q^2 f(-q^25)(f(-q^5,-q^20))/(f(-q^15,-q^10)) . One immediate consequence of the relation we found is that the two ratios A2/A1 = -A1/A0 = R(q^5) are equal and the common value is R(q^5) = q -q^6 +q^11 -q^21 +q^26 -q^31 +q^36 -... . We look up the coefficients of this power series in Neil Sloane's OEIS and discover it is sequence A007325 which is the Rogers-Ramanujan continued fraction. More precisely this is given by Definition 3. The Rogers-Ramanujan continued fraction is defined as R(q) = q^{1/5}/(1+q/(1+q^2/(1+q^3/(1+q^4/ ... )))) . It would be hard to discover this property without being able to search the OEIS. Combining previous equations we have (y(q))/(q y(q^25)) = 1/R(q^5) - 1 - R(q^5) . where the left side is the generating function of sequence A096562 . Replacing q^5 by q we get immediately (y(q^{1/5}))/(q^{1/5} y(q^5)) = 1/R(q) - 1 - R(q) . which is a known theorem about R(q) . It is essentially equation (20.2) in the Lost Notebook fragment mentioned earlier but written in terms of f(-q) . Another appearance is in Bruce Berndt, Ramanujan's Notebooks, Part III, page 267. 4 The Ramanujan cubic continued fraction Maybe we were just lucky before, so naturally we wonder if we can find something else equally interesting. One approach would be to try a slightly more complicated product of q -series and see what happens. Accordingly, let us try A = y(q)y(q^2) = 1 -q -2q^2 +q^3 +2q^5 +q^6 -2q^9 +q^10 +... , and see what we get using trisection. We find that A0 = 1 +q^3 +q^6 -2q^9 -2q^12 -q^15 +q^21 -2q^24 -2q^30 +... , A1 = -q +q^10 +2q^19 -q^28 -2q^46 -q^55 +2q^82 -q^91 +... , A2 = -2q^2 +2q^5 -2q^11 +2q^14 +2q^17 -2q^29 +2q^32 +... , A = y(q)y(q^2) = A0 + A1 + A2 , A1 = -q y(q^9)y(q^18) = -q A(q^9) . Again, using the coefficients from q^0 to q^5 , and assuming there is a homogeneous quadratic relation, the relation tool produces 0 = A0 A2 + 2A1^2 . Again, an immediate consequence of the relation is that the two ratios A2/(2A1) = -A1/A0 = G(q^3) are equal and the common value is G(q^3) = q -q^4 +2q^10 -2q^13 -q^16 +4q^19 -4q^22 +... . We look up the coefficients of this power series in Sloane's OEIS and discover it is sequence A092848 which is Ramanujan's cubic continued fraction. More precisely this is given by Definition 4. The Ramanujan cubic continued fraction is defined as G(q) = q^{1/3}/(1+(q+q^2)/(1+(q^2+q^4)/(1+(q^3+q^6)/ ... ))) . More properties are given in Ramanujan's Lost Notebook. Again, it would be hard to discover this series had been studied before without being able to search the OEIS. Combining previous equations we have 1 +(y(q)y(q^2))/(q y(q^9)y(q^18)) = 1/G(q^3) - 2G(q^3) . where the left side is the generating function of sequence A058531 which is the normalized McKay-Thompson series of class 18A for the Monster group and the right side is a symmetrization formula for it. 5 7-section of y(q) and Klein's quartic curve Another path is to try the 7-section of y(q) . We find that A0 = 1 +q^7 -q^35 -q^70 -q^77 -q^126 +q^210 +..., A1 = -q -q^15 +q^22 +q^57 +q^92 +q^155 -q^176 +..., A2 = -q^2 + q^51 + q^100 - q^247 - q^345 + q^590 +..., A5 = q^5 - q^12 + q^26 - q^40 - q^117 + q^145 +..., A = y(q) = A0 + A1 + A2 + A3 + A4 + A5 + A6, A2 = -q^2 y(q^49) = -q^2 A(q^49), A3 = A4 = A6 = 0 . Notice that A3,A4,A6 are zero so there are only four nonzero sections. Using the coefficients from q^0 to q^19 , and assuming there is a homogeneous cubic relation, the relation tool produces four relations 0 = A0 A1 A5 - A2^3 , 0 = A0 A2^2 + A2 A1^2 + A1 A5^2 , 0 = A1 A2^2 + A2 A5^2 + A5 A0^2 , 0 = A5 A2^2 + A2 A0^2 + A0 A1^2 . The first relation dehomogenized yields 1 = (A0/A2)(A1/A2)(A5/A2) . This relation appears in Ramanujan's second notebook on page 239, end of entry 18(i). Several other 7-sections also appear on the same page. Since the three factor product is 1 we can assume that A0/A2 = X/Z , A1/A2 = Y/X , A5/A2 = Z/Y for some X,Y,Z . Rewriting the last three relations in terms of X,Y,Z and simplifying we find the three are equivalent to the one relation 0 = X^3 Y + Y^3 Z + Z^3 X which is Klein's quartic curve. A clue could have come also from the series expansion of A0/A2 which is OEIS sequence A108483 and has a reference to an article by William Duke published in 2005 which refers to a chapter by Noam Elkies in a 1999 book on Klein's quartic curve. 6 A2 Rogers-Ramanujan identities The 7-section of y(q) also turns up in another context. In an article by George E. Andrews, Anne Schilling, S. Ole Warnaar published in 1999 is a theorem 5.2 with three equations and a comment that they had not found a fourth such equation. On examination it turns out that the three equations given correspond to A0,A5,A2 of the 7-section of y(q) , while the remaining nonzero section A1 yields a fourth equation which was discovered a few years later, a fact for which I am indebted to Ole Warnaar. However, the connection to the 7-section apparently was unknown until I found it in June 2006. To illustrate this connection, find the power series expansion of the infinite product in the first equation which we will write as b(q) = 1 +2q +3q^2 +5q^3 +8q^4 +11q^5 +17q^6 +24q^7 +34q^8 +... and multiply by y(q) to yield the power series we will write as B(q) := b(q)y(q) = 1 +q -q^5 +q^10 -q^11 -q^18 +q^30 +... . Comparing this with the 7-section of y(q) we see that A0 = B(q^7) . Exactly parallel reasoning holds for all four nonzero 7-sections of y(q) . Thus, the missing equation power series we will write as c(q) = 1 +q +3q^2 +3q^3 +6q^4 +8q^5 +13q^6 +17q^7 +25q^8 +... and multiply by y(q) to yield the power series we will write as C(q) := c(q)y(q) = 1 +q^2 -q^3 -q^8 -q^13 -q^22 +q^25 +... . Comparing this with the 7-section of y(q) we see that A1 = -qC(q^7) . 7 Summary and Conclusion The multisection of simple q -series examined by simple tools lead to the discovery of results some of which have been known for a long time, some only recently, as well as those which appear to be new. However, these results do not require the extensive background and advanced tools that the original discoveries required. This is a good thing because it opens up a new world of results which would not otherwise have been found except by those with specialized knowledge. The multisection examples given are those encountered in simple searches. There is no doubt in my mind that many others could now be found, but there is no way to know until they are looked for. Ramanujan himself explicitly and implicitly used multisection, but didn't really emphasize or explain that he was doing so. I hope that I have shown how easy it can be to discover interesting sequences and results in elliptic function theory in the style of Ramanujan using only simple ideas in algebra and a few simple computer tools. I thank Emeric Deutsch and Robert Haas for helpful comments.