Skip to main content
2 of 2
image fixed (inlining HTTP images doesn't work anymore); for more info, see https://gist.github.com/Glorfindel83/9d954d34385d2ac2597bbe864466259f
Glorfindel
  • 2.8k
  • 6
  • 28
  • 38

Lacunar series with an interesting (in-formula) symmetry.

So, I wrote out a table of functions like so:

$\sum_{n=1}^{\infty} (-1)^{n+1}q^{n}=$ $+q^{1}$ $-q^{2}$ $+q^{3}$ $-q^{4}$ $+q^{5}$ + $\ldots$

$\sum_{n=1}^{\infty} (-1)^{n}q^{n^{2}}=$ $-q^{1}$ $+q^{4}$ $-q^{9}$ & $+q^{16}$ $-q^{25}$ $\ldots$

$\sum_{n=1}^{\infty} (-1)^{n+1}q^{n^{3}}=$ $+q^{1}$ $-q^{8}$ $+q^{27}$ $-q^{64}$ $+q^{125}$ $\ldots$

$\sum_{n=1}^{\infty} (-1)^{n}q^{n^{4}}=$ $-q^{1}$ & $+q^{16}$ $-q^{81}$ $+q^{256}$ $-q^{625}$ $\ldots$

$\sum_{n=1}^{\infty} (-1)^{n+1}q^{n^{5}}=$ $+q^{1}$ $-q^{32}$ $+q^{243}$ $-q^{1024}$ $+q^{3125}$ $\ldots$

And noticed that it is possible to rewrite (by transposing the first column so it becomes the first row). The essential (though incomplete) statement of the symmetry here is:

$X(q) = \sum_{m}^{\infty} \sum_{n}^{\infty} (-1)^{m+n} q^{m^{n}} = \sum_{m}^{\infty} \sum_{n}^{\infty} (-1)^{m+n} q^{n^{m}}$

Writing it out appropriately:

$X(q)=\sum_{m=0}^{\infty} (-1)^{m}q^{2^{m}} + \sum_{m=0}^{\infty} (-1)^{m+1}q^{3^{m}} + \sum_{m=0}^{\infty} (-1)^{m}q^{4^{m}} + \sum_{m=0}^{\infty} (-1)^{m+1}q^{5^{m}} + \ldots$

$X(q) = \sum_{n=1}^{\infty} (-1)^{n+1}q^{n} + \sum_{n=1}^{\infty} (-1)^{n}q^{n^{2}} + \sum_{n=1}^{\infty} (-1)^{n+1}q^{n^{3}} + \sum_{n=1}^{\infty} (-1)^{n}q^{n^{4}} + \sum_{n=1}^{\infty} (-1)^{n+1}q^{n^{5}} + \ldots$

Using mpmath I get numerically:

>>> nsum(lambda p: (nsum(lambda n: ((-1)**(n+1))*((1/2.0)**(n**(2.0*p-1))), [1,inf])), [1,inf]) + nsum(lambda p: (nsum(lambda n: ((-1)**(n))*((1/2.0)**(n**(2.0*p))), [1,inf])), [1,inf])
mpf('-0.10999554665856692')
>>> nsum(lambda p: (nsum(lambda n: ((-1)**n)*((1/2.0)**((2.0*p)**n)), [0,inf])), [1,inf]) + nsum(lambda p: (nsum(lambda n: ((-1)**(n+1))*((1/2.0)**((2.0*p+1)**n)), [0,inf])), [1,inf])
mpf('-0.10999554665855271')

And using mpmath's plotting facility, I obtained a picture of $X(q)$:

Questions:

  1. $\lim_{q\rightarrow 0} X(q) = -1/2$ by numerical evaluation, but just algebraically evaluating the function definition would lead one to believe that X(0)=0. What's going on here?

  2. All theta function identities (including Ramanujan's mock theta functions) that I've seen involve terms with $q^{n^2}$, but nothing higher in the uppermost exponent. Is there any work on series with $q^{n^{3}}$ I've found a paper by A. Sebbar which might be relevant.

  3. Has the function $X(q)$ been studied before? And if so, under what name? Does it have any interesting properties which aren't obvious from its definition. What are the appropriate lower bounds for the most compact representation? (summation) Does this function have any interesting symmetries under the modular group?

graveolensa
  • 975
  • 6
  • 19