login
McKay-Thompson series of class 2A for the Monster group with a(0) = 24.
(Formerly M5176)
197

%I M5176 #54 Dec 17 2021 11:05:43

%S 1,24,4372,96256,1240002,10698752,74428120,431529984,2206741887,

%T 10117578752,42616961892,166564106240,611800208702,2125795885056,

%U 7040425608760,22327393665024,68134255043715,200740384538624

%N McKay-Thompson series of class 2A for the Monster group with a(0) = 24.

%D J. M. Borwein and P. B. Borwein, Pi and the AGM, Wiley, 1987, p. 195.

%D S. Ramanujan, Modular Equations and Approximations to pi, pp. 23-39 of Collected Papers of Srinivasa Ramanujan, Ed. G. H. Hardy et al., AMS Chelsea 2000. See page 26.

%D N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

%H Seiichi Manyama, <a href="/A007241/b007241.txt">Table of n, a(n) for n = -1..10000</a> (terms -1..1000 from T. D. Noe)

%H J. H. Conway and S. P. Norton, <a href="http://blms.oxfordjournals.org/content/11/3/308.extract">Monstrous Moonshine</a>, Bull. Lond. Math. Soc. 11 (1979) 308-339.

%H D. Ford, J. McKay and S. P. Norton, <a href="http://dx.doi.org/10.1080/00927879408825127">More on replicable functions</a>, Commun. Algebra 22, No. 13, 5175-5193 (1994).

%H Yang-Hui He, John McKay, <a href="http://arxiv.org/abs/1505.06742">Sporadic and Exceptional</a>, arXiv:1505.06742 [math.AG], 2015.

%H J. McKay and H. Strauss, <a href="http://dx.doi.org/10.1080/00927879008823911">The q-series of monstrous moonshine and the decomposition of the head characters</a>, Comm. Algebra 18 (1990), no. 1, 253-278.

%H <a href="/index/Gre#groups">Index entries for sequences related to groups</a>

%H <a href="/index/Mat#McKay_Thompson">Index entries for McKay-Thompson series for Monster simple group</a>

%F G.f. 48 + 64(g_n^(24) + g_n^(-24)) where q = e^(-Pi sqrt(n)) and g_n is Ramanujan's class invariant. - _Michael Somos_, Apr 20 2005

%F a(n) ~ exp(2*Pi*sqrt(2*n)) / (2^(3/4)*n^(3/4)). - _Vaclav Kotesovec_, Apr 01 2017

%e G.f. = 1/q + 24 + 4372*q + 96256*q^2 + 1240002*q^3 + 10698752*q^4 + ...

%t a[n0_] := Module[{n=n0, A}, If[n < -1, 0, n++; A = Product[ 1 - x^(2*k-1) , {k, 1, Quotient[n+1, 2]}]^24; SeriesCoefficient[ A + x*48 + x^2*4096/A, {x, 0, n}]]]; Table[ a[n], {n, -1, 16}] (* _Jean-François Alcover_, Oct 16 2012, after _Michael Somos_ *)

%t a[ n_] := SeriesCoefficient[ With[{A = q QPochhammer[ -q, q]^24}, -80 + (1 + 64 A)^2 / A], {q, 0, n}]; (* _Michael Somos_, Apr 06 2015 *)

%t nmax = 50; CoefficientList[Series[48*x + 4096*x^2*Product[(1 + x^k)^24, {k, 1, nmax}] + Product[1/(1 + x^k)^24, {k, 1, nmax}], {x, 0, nmax}], x] (* _Vaclav Kotesovec_, Apr 01 2017 *)

%o (PARI) {a(n) = my(A); if( n<-1, 0, n++; A = prod( k=1, (n+1)\2, 1 - x^(2*k - 1), 1 + x * O(x^n))^24; polcoeff( A + x*48 + x^2 * 4096/A, n))}; /* _Michael Somos_, Feb 07 2003 */

%o (PARI) {a(n) = my(A); if( n<-1, 0, n++; A = x * O(x^n); A = (eta(x^2 + A) / eta(x + A))^24; polcoeff( -80*x + (1 + 64 * x * A)^2 / A, n))}; /* _Michael Somos_, Apr 06 2015 */

%Y A045478, A007241, A106207, A007267, A101558 are all essentially the same sequence.

%K nonn,nice

%O -1,2

%A _N. J. A. Sloane_