|
|
A187020
|
|
McKay-Thompson series of class 36D for the Monster group with a(0) = 1.
|
|
5
|
|
|
1, 1, 2, 3, 4, 6, 9, 12, 16, 21, 28, 36, 47, 60, 76, 96, 120, 150, 185, 228, 280, 342, 416, 504, 608, 732, 878, 1050, 1252, 1488, 1765, 2088, 2464, 2901, 3408, 3996, 4676, 5460, 6364, 7404, 8600, 9972, 11545, 13344, 15400, 17748, 20424, 23472, 26938
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
OFFSET
|
-1,3
|
|
COMMENTS
|
|
|
LINKS
|
|
|
FORMULA
|
Expansion of (1/q) * chi(-q^9) * chi(-q^18) / (chi(-q) * chi(-q^2)) in powers of q where chi() is a Ramanujan theta function.
Expansion of eta(q^4) * eta(q^9) / (eta(q) * eta(q^36)) in powers of q.
Euler transform of period 36 sequence [ 1, 1, 1, 0, 1, 1, 1, 0, 0, 1, 1, 0, 1, 1, 1, 0, 1, 0, 1, 0, 1, 1, 1, 0, 1, 1, 0, 0, 1, 1, 1, 0, 1, 1, 1, 0, ...].
G.f. A(x) satisfies 0 = f(A(x), A(x^2)) where f(u, v) = (1 + u + v) * (u + v + u*v) * (u^2 + u*v + v^2) - (u + u^2 + u^3) * (v + v^2 + v^3).
G.f. A(x) = ( G(x^36) * H(x) - x^7 * H(x^36) * G(x) ) / ( G(x^9) * H(x^4) - x * H(x^9) * G(x^4) ) where G(x) (g.f. of A003114) and H(x) (g.f. of A003106) are Rogers-Ramanujan functions [Bringmann + Swisher, (A.12)]
G.f. is a period 1 Fourier series which satisfies f(-1 / (36 t)) = f(t) where q = exp(2 Pi i t).
a(n) ~ exp(2*Pi*sqrt(n)/3) / (2*sqrt(3)*n^(3/4)). - Vaclav Kotesovec, Oct 13 2015
|
|
EXAMPLE
|
1/q + 1 + 2*q + 3*q^2 + 4*q^3 + 6*q^4 + 9*q^5 + 12*q^6 + 16*q^7 + 21*q^8 + ...
|
|
MATHEMATICA
|
nmax=60; CoefficientList[Series[Product[(1-x^(4*k)) * (1-x^(9*k)) / ((1-x^k) * (1-x^(36*k))), {k, 1, nmax}], {x, 0, nmax}], x] (* Vaclav Kotesovec, Oct 13 2015 *)
QP = QPochhammer; s = QP[q^4]*(QP[q^9]/(QP[q]*QP[q^36])) + O[q]^50; CoefficientList[s, q] (* Jean-François Alcover, Nov 14 2015, adapted from PARI *)
|
|
PROG
|
(PARI) {a(n) = local(A); if( n<-1, 0, n++; A = x * O(x^n); polcoeff( eta(x^4 + A) * eta(x^9 + A) / (eta(x + A) * eta(x^36 + A)), n))}
|
|
CROSSREFS
|
|
|
KEYWORD
|
nonn
|
|
AUTHOR
|
|
|
STATUS
|
approved
|
|
|
|