login
A058530
McKay-Thompson series of class 17A for the Monster simple group.
3
1, 0, 7, 14, 29, 50, 92, 148, 246, 386, 603, 904, 1367, 1996, 2914, 4160, 5924, 8290, 11581, 15942, 21878, 29712, 40184, 53876, 71979, 95436, 126097, 165556, 216594, 281848, 365548, 471808, 607050, 777794, 993528, 1264338, 1604434, 2029026
OFFSET
-1,3
COMMENTS
Ramanujan theta functions: f(q) (see A121373), phi(q) (A000122), psi(q) (A010054), chi(q) (A000700).
G.f. is a period 1 Fourier series which satisfies f(-1 / (17 t)) = f(t) where q = exp(2 Pi i t). - Michael Somos, Sep 06 2018
LINKS
D. Ford, J. McKay and S. P. Norton, More on replicable functions, Commun. Algebra 22, No. 13, 5175-5193 (1994).
Eric Weisstein's World of Mathematics, Ramanujan Theta Functions
FORMULA
Expansion of A^2 - 2, where A = q^(1/2)*(eta(q^4)^2*(eta(q^34)^5 /(eta(q)*eta(q^2)*eta(q^17)^3*eta(q^68)^2)) - eta(q^2)^5*(eta(q^68)^2 /(eta(q)^3*eta(q^4)^2*eta(q^17)*eta(q^34)))), in powers of q. - G. C. Greubel, Jun 14 2018
a(n) ~ exp(4*Pi*sqrt(n/17)) / (sqrt(2) * 17^(1/4) * n^(3/4)). - Vaclav Kotesovec, Jun 28 2018
Expansion of -2 + q^(-1) * ((psi(q^2) * phi(q^17) - q^4 * phi(q) * psi(q^34)) / (f(-q) * f(-q^17)))^2 in powers of q where phi(), psi(), f() are Ramanujan theta functions. - Michael Somos, Sep 06 2018
EXAMPLE
T17A = 1/q + 7*q + 14*q^2 + 29*q^3 + 50*q^4 + 92*q^5 + 148*q^6 + 246*q^7 + ...
MATHEMATICA
eta[q_]:= q^(1/24)*QPochhammer[q]; A:= q^(1/2)*(eta[q^4]^2*(eta[q^34]^5 /(eta[q]*eta[q^2]*eta[q^17]^3*eta[q^68]^2)) - eta[q^2]^5*(eta[q^68]^2 /(eta[q]^3*eta[q^4]^2*eta[q^17]*eta[q^34]))); a:= CoefficientList[ Series[A^2 - 2*q, {q, 0, 60}], q]; Table[a[[n]], {n, 1, 50}] (* G. C. Greubel, Jun 14 2018 *)
a[ n_] := SeriesCoefficient[ -2 + ((EllipticTheta[ 2, 0, q] EllipticTheta[ 3, 0, q^17] - EllipticTheta[ 2, 0, q^17] EllipticTheta[ 3, 0, q]) / (QPochhammer[ q] QPochhammer[ q^16]))^2 / (4 q^(3/2)), {q, 0, n}]; (* Michael Somos, Sep 06 2018 *)
PROG
(PARI) q='q+O('q^50); A = (eta(q^4)^2*(eta(q^34)^5/(eta(q)*eta(q^2)* eta(q^17)^3*eta(q^68)^2)) - q^4*eta(q^2)^5*(eta(q^68)^2/(eta(q)^3* eta(q^4)^2*eta(q^17)*eta(q^34)))); Vec(A^2 - 2*q) \\ G. C. Greubel, Jun 14 2018
CROSSREFS
Cf. A152944 (same sequence except for n=0).
Sequence in context: A245417 A348111 A332371 * A293359 A134384 A352851
KEYWORD
nonn
AUTHOR
N. J. A. Sloane, Nov 27 2000
EXTENSIONS
More terms from Michel Marcus, Feb 19 2014
STATUS
approved