|
%I M3872 #59 May 12 2018 18:50:28
%S 1,-5,17,46,116,252,533,1034,1961,3540,6253,10654,17897,29284,47265,
%T 74868,117158,180608,275562,415300,620210,916860,1344251,1953974,
%U 2819664,4038300,5746031,8122072,11413112,15943576,22153909,30620666
%N McKay-Thompson series of class 11A for the Monster group with a(0) = -5.
%C Coefficients of a modular function denoted by B(tau) in Atkin (1967).
%D N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
%H G. C. Greubel, <a href="/A003295/b003295.txt">Table of n, a(n) for n = -1..1000</a>
%H A. O. L. Atkin, <a href="https://doi.org/10.1017/S0017089500000045">Proof of a conjecture of Ramanujan</a>, Glasgow Math. J., 8 (1967), 14-32.
%H A. O. L. Atkin, <a href="/A003295/a003295.pdf">Proof of a conjecture of Ramanujan</a>, Glasgow Math. J., 8 (1967), 14-32. (Annotated scanned copy, poor quality)
%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 N. D. Elkies, <a href="http://www.math.harvard.edu/~elkies/modular.pdf">Elliptic and modular curves over finite fields and related computational issues</a>, in AMS/IP Studies in Advanced Math., 7 (1998), 21-76, see p. 42.
%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 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/Mat#McKay_Thompson">Index entries for McKay-Thompson series for Monster simple group</a>
%F From _Michael Somos_, Aug 31 2012: (Start)
%F Expansion of -11 + (1 + 3*F)^2 * (1/F + 1 + 3*F) where F = eta(q^3) * eta(q^33) / (eta(q) * eta(q^11)) (= g.f. of A128663) in powers of q.
%F G.f. is Fourier series of a level 11 modular function. f(-1 / (11 t)) = f(t) where q = exp(2 Pi i t).
%F A000521(n) = a(n) + 11 * a(11*n) unless n=0. [Atkin (1967) p. 22]
%F a(n) = A003295(n) = A058205(n) = A128525(n) = A134784(n) unless n=0. (End)
%F a(n) ~ exp(4*Pi*sqrt(n/11)) / (sqrt(2)*11^(1/4)*n^(3/4)). - _Vaclav Kotesovec_, Sep 07 2017
%e G.f. = 1/q - 5 + 17*q + 46*q^2 + 116*q^3 + 252*q^4 + 533*q^5 + 1034*q^6 + ...
%t QP = QPochhammer; F = q*QP[q^3]*(QP[q^33]/(QP[q]*QP[q^11])); s = q*(-11 + (1 + 3*F)^2*(1/F + 1 + 3*F)) + O[q]^40; CoefficientList[s, q] (* _Jean-François Alcover_, Nov 13 2015, from 1st formula *)
%o (PARI) q='q+O('q^50); F =q*eta(q^3)*eta(q^33)/(eta(q)*eta(q^11)); Vec(-11 + (1 + 3*F)^2*(3*F + 1 + 1/F)) \\ _G. C. Greubel_, May 10 2018
%Y Cf. A000521, A007240, A014708, A007241, A007267, A045478, etc.
%Y Cf. A003295, A058205, A128525, A128663, A134784.
%K sign,nice,easy
%O -1,2
%A _N. J. A. Sloane_
%E More terms from Kok Seng Chua (chuaks(AT)ihpc.nus.edu.sg), Jul 05 2000
|
