A Multisection of q-Series
Michael Somos 30 Jan 2017
(draft version 34)

1  Introduction to Ramanujan theta functions

Ramanujan used an approach to q-series which is general and is suggestive and can help to find new results, but somehow 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. Details are available on request.
There is no precise general definition of q-series that I know of. However, it is usually 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 a basis for his theory of theta and elliptic functions with applications to number theory.
The power series here are given in terms of the variable q instead of the customary x. Ramanujan himself preferred the use of the plain x, however there are some connections with elliptic function theory where q=epi z or else q=e2 pi z is commonly used. Jacobi introduced q-series in 1829 but did not name them. By 1867, q was called the "nome" by Ole-Jacob Broch in his book "Traite Elementaire des Fonctions Elliptiques". In the theory of q-hypergeometric series q is sometimes called the "base".
To motivate the definition, recall the simplest converging infinite series which is the geometric power series, the sum of all nonnegative powers of x summing to 1/(1-x). We would like a multiplicative analog of this series. One possibility is to use 1-xn as the factors in the infinite product, but starting at n=1 because 1-x0 = 1-1 = 0 would cause the product to vanish immediately. Therefore we have the following definition.
Definition 1. The Ramanujan f function is defined by
f(-q) = (1-q)(1-q2)(1-q3)(1-q4) ...
where |q| < 1 is required for convergence. Often, we use formal power series and so all we need is that qn converges to zero as n goes to infinity. The reason for the f(-q) instead of the simpler f(q) comes from Ramanujan's symmetric two variable theta function which is
Definition 2. The general two variable Ramanujan f function as used in his notebooks is defined by him using the following series
f(a,b) = 1 +(a+b) +(ab)(a2+b2) +(ab)3(a3+b3) +(ab)6(a4+b4) + ...
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) = ... +a6b10 +a3b6 +ab3 +b +1 +a +a3b +a6b3 +a10b6 + ...
This can be written with summation notation using an index variable n summing an(n+1)/2bn(n-1)/2 over all integer n. Further, and, surprisingly, it has an infinite product expression as follows
f(a,b) = (1+a)(1+b)(1-q)(1+aq)(1+bq)(1-q2)(1+aq2)(1+bq2)(1-q3) ...
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,-q2) ,
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 used 1/y(q) as the generating function for the sequence of partitions of non-negative integers. He found a striking pattern to the power series expansion of y(q) which is

y(q) = 1 - q - q2 + q5 + q7 - q12 - q15 + q22 + ... .
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 q24 and multiply by a factor q. The result is

q y(q24) = q -q25 -q49 +q121 +q169 -q289 + ... .
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(q24) = ... -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  Bisection, 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. Note carefully that there is another closely related version of multisection known as dissection in which the sections need to be multiplied by powers of the variable and the argument replaced by the n-th power of the variable in order to become equal to multisection sections.
It is already interesting to try bisecting known series. For example, bisecting the exponential power series gives the series for hyperbolic sine and cosine. The general n-section case is given by Abraham Ungar in a 1982 American Mathematical Monthly article. Note that there is an algebraic relation between the hyperbolic sine and cosine and also in Ungar's general case. 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 -q12 -q15 +q51 +q57 -q117 -q126 + ...,

A1 = -q +q7 +q22 -q40 -q70 +q100 +q145 - ...,

A2 = -q2 +q5 +q26 -q35 -q77 +q92 +q155 - ...,

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 q0 up to q9, and assuming there is a homogeneous cubic relation, the tool produces
0 = A2 A02 + A0 A12 + A1 A22 .
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 +5q3 -7q6 +9q10 -11q15 +13q21 - ... .
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 +5q3 -7q6 -11q15 +13q21 +17q36 -19q45 - ...,

A1 = -3q + 9q10 - 15q28 + 21q55 - ... = -3q A(q9) ,

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 non-trivial cube root of unity. Then we find that
A(w q) = A(q) + (w-1)A1(q) , A(w2 q) = A(q) + (w2-1)A1(q)
follows immediately from the trisection since A=A0+A1. Similarly
A(w p) = A(p) + (w-1)A1(p) , A(w2 p) = A(p) + (w2-1)A1(p)
where p is another variable. We do the algebra and find that
A(w p)A(w q) +w A(w2 p)A(w2 q) +3(w+1)A1(p)A1(q) = (w+1)A(p)A(q)
which is essentially the identity of Berndt and Hart. Robin Chapman in "An eta-function identity" did something similar using cube roots of unity instead of multisection. He also generalized the result.

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 +q5 -q15 -q35 -q40 -q70 +q100 +q145 +...,

A1 = -q +q26 +q51 - q126 -q176 +q301 +q376 +...,

A2 = -q2 +q7 -q12 +q22 +q57 -q77 +q92 -q117 +...,

A = y(q) = A0 + A1 + A2 + A3 + A4,

A1 = -q y(q25) = -q A(q25),

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 q0 to q5, and assuming there is a homogeneous quadratic relation, the relation tool produces

0 = A0 A2 + A12 .
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 the 1988 Narosa edition of the "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(-q25) = f(-q25)


- q2 f(-q5,-q20)


where we have the identifications
A0 = f(-q25) f(-q15,-q10)

A2 = -q2 f(-q25) f(-q5,-q20)

One immediate consequence of the quadratic relation we found is that the two ratios
A2/A1 = -A1/A0 = R(q5)
are equal and the common value is

R(q5) = q -q6 +q11 -q21 +q26 -q31 +q36 -... .
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 by

R(q) = q1/5/(1+q/(1+q2/(1+q3/(1+q4/ ... )))) .
It would be difficult to discover this property without being able to search the OEIS. Combining previous equations we have

q y(q25)
= 1/R(q5) - 1 - R(q5) .
where the left side is the generating function of sequence A096562. Replacing q5 by q we get immediately

q1/5 y(q5)
= 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. More notably, on page 50 of the "Lost Notebook", Ramanujan explictly exhibits both the 2-sections and 5-sections of the Rogers-Ramanujan continued fraction as well as of its reciprocal all without any comment as usual. However, he uses the dissection form and not the multisection form. This is proof that he sometimes used the dissection form of multisection.

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(q2) = 1 -q -2q2 +q3 +2q5 +q6 -2q9 +q10 + ... ,
and see what we get using trisection. We find that

A0 = 1 +q3 +q6 -2q9 -2q12 -q15 +q21 -2q24 -2q30 + ... ,

A1 = -q +q10 +2q19 -q28 -2q46 -q55 +2q82 -q91 + ... ,

A2 = -2q2 +2q5 -2q11 +2q14 +2q17 -2q29 +2q32 + ... ,

A = y(q)y(q2) = A0 + A1 + A2 ,

A1 = -q y(q9)y(q18) = -q A(q9) .
Again, using the coefficients from q0 to q5, and assuming there is a homogeneous quadratic relation, the relation tool produces

0 = A0 A2 + 2A12 .
Again, an immediate consequence of the relation is that the two ratios

A2/(2A1) = -A1/A0 = G(q3)
are equal and the common value is

G(q3) = q -q4 +2q10 -2q13 -q16 +4q19 -4q22 + ... .
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 by

G(q) = q1/3/(1+(q+q2)/(1+(q2+q4)/(1+(q3+q6)/ ... ))) .
More properties are given in the "Lost Notebook" on page 366. 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(q2)

q y(q9)y(q18)
= 1/G(q3) - 2G(q3) .
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 +q7 -q35 -q70 -q77 -q126 +q210 + ...,

A1 = -q -q15 +q22 +q57 +q92 +q155 -q176 + ...,

A2 = -q2 + q51 + q100 - q247 - q345 + q590 + ...,

A5 = q5 - q12 + q26 - q40 - q117 + q145 + ...,

A = y(q) = A0 + A1 + A2 + A3 + A4 + A5 + A6,

A2 = -q2 y(q49) = -q2 A(q49),

A3 = A4 = A6 = 0 .
Notice that A3,A4,A6 are zero so there are only four nonzero sections. Using the coefficients from q0 to q19, and assuming there is a homogeneous cubic relation, the relation tool produces four relations
0 = A0 A1 A5 - A23 ,

0 = A0 A22 + A2 A12 + A1 A52 ,

0 = A1 A22 + A2 A52 + A5 A02 ,

0 = A5 A22 + A2 A02 + A0 A12 .
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 = X3 Y + Y3 Z + Z3 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. I noticed 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 +3q2 +5q3 +8q4 +11q5 +17q6 +24q7 +34q8 + ...
and multiply by y(q) to yield the power series we will write as

B(q) : = b(q)y(q) = 1 +q -q5 +q10 -q11 -q18 +q30 + ... .
Comparing this with the 7-section of y(q) we see that A0 = B(q7). 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 +3q2 +3q3 +6q4 +8q5 +13q6 +17q7 +25q8 + ...
and multiply by y(q) to yield the power series we will write as

C(q) : = c(q)y(q) = 1 +q2 -q3 -q8 -q13 -q22 +q25 + ... .
Comparing this with the 7-section of y(q) we see that A1 = -qC(q7).

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, Robert Haas, and Ralf Stephan for helpful comments, and Zhu Cao for turning part of this into a journal article.

File translated from TEX by TTH, version 3.82.
On 30 Jan 2017, 21:45.