Skip to main content
2 of 3
Added more specificity.
Simon Rose
  • 6.3k
  • 33
  • 53

Is there a nice way to write the generating function obtained by taking the quadratic coefficients of another one?

Suppose that you have a generating function $$ f(q) = \sum_{k=0}^\infty a_k q^k $$ It's not too hard to obtain the generating function $$ f_{n,m}(q) = \sum_{k=0}^\infty a_{nk + m}q^k $$ by taking a creative sum of terms like $f(\zeta_n^i q)$ for appropriate roots of unity $\zeta_n$.

What about functions of the form $$ g(q) = \sum_{k=0}^\infty a_{k^2}q^k $$ or more generally, $$ g_{n,m}(q) = \sum_{k=0}^\infty a_{nk^2+m}q^k $$

Is there some way to nicely obtain these in terms of either the original generating function, or its coefficients, or anything? If it helps, the generating function that we are interested in is the inverse of the modular discriminant. That is, we are looking at $$ f(q) = \frac{1}{\Delta(q)} = q^{-1} + 24 + 324q + 3200q^2 + \cdots $$ where $\Delta(q) = q\prod_{k=1}^\infty (1-q^k)^{24} = \eta(q)^{24}$.

Simon Rose
  • 6.3k
  • 33
  • 53