A065099 -id:A065099 - cp's OEIS frontend

A035179 a(n) = Sum_{d|n} Kronecker(-11, d).

1, 0, 2, 1, 2, 0, 0, 0, 3, 0, 1, 2, 0, 0, 4, 1, 0, 0, 0, 2, 0, 0, 2, 0, 3, 0, 4, 0, 0, 0, 2, 0, 2, 0, 0, 3, 2, 0, 0, 0, 0, 0, 0, 1, 6, 0, 2, 2, 1, 0, 0, 0, 2, 0, 2, 0, 0, 0, 2, 4, 0, 0, 0, 1, 0, 0, 2, 0, 4, 0, 2, 0, 0, 0, 6, 0, 0, 0, 0, 2, 5, 0, 0, 0, 0, 0, 0

Offset: 1

N. J. A. Sloane

This is a member of an infinite family of odd weight level 11 multiplicative modular forms. g_1 = A035179, g_3 = A129522, g_5 = A065099, g_7 = A138661. - Michael Somos, Jun 07 2015
Half of the number of integer solutions to x^2 + x*y + 3*y^2 = n. - Michael Somos, Jun 05 2005
From Jianing Song, Sep 07 2018: (Start)
Coefficients in expansion of Dirichlet series Product_p (1-(Kronecker(m,p)+1)*p^(-s) + Kronecker(m,p)*p^(-2s))^(-1) for m = -11.
Inverse Moebius transform of A011582. (End)
Coefficients of Dedekind zeta function for the quadratic number field of discriminant -11. See A002324 for formula and Maple code. - N. J. A. Sloane, Mar 22 2022

			G.f. = x + 2*x^3 + x^4 + 2*x^5 + 3*x^9 + x^11 + 2*x^12 + 4*x^15 + x^16 + 2*x^20 + ...

Henry McKean and Victor Moll, Elliptic Curves, Cambridge University Press, 1997, page 202. MR1471703 (98g:14032).

G. C. Greubel, Table of n, a(n) for n = 1..5000

Cf. A028609, A065099, A129522, A138661.
Moebius transform gives A011582.
Dedekind zeta functions for imaginary quadratic number fields of discriminants -3, -4, -7, -8, -11, -15, -19, -20 are A002324, A002654, A035182, A002325, A035179, A035175, A035171, A035170, respectively.
Dedekind zeta functions for real quadratic number fields of discriminants 5, 8, 12, 13, 17, 21, 24, 28, 29, 33, 37, 40 are A035187, A035185, A035194, A035195, A035199, A035203, A035188, A035210, A035211, A035215, A035219, A035192, respectively.

A := Basis( ModularForms( Gamma1(11), 1), 88); B := (-1 + A[1] + 2*A[2] + 4*A[4] + 2*A[5]) / 2; B; // Michael Somos, Jun 07 2015

a[ n_] := If[ n < 1, 0, DivisorSum[ n, KroneckerSymbol[ -11, #] &]]; (* Michael Somos, Jun 07 2015 *)

{a(n) = if( n<1, 0, qfrep([2, 1; 1, 6], n, 1)[n])}; \\ Michael Somos, Jun 05 2005

{a(n) = if( n<1, 0, direuler(p=2, n, 1 / ((1 - X) * (1 - kronecker( -11, p)*X))) [n])}; \\ Michael Somos, Jun 05 2005

{a(n) = if( n<1, 0, sumdiv( n, d, kronecker( -11, d)))};

a(n) is multiplicative with a(11^e) = 1, a(p^e) = (1 + (-1)^e) / 2 if p == 2, 6, 7, 8, 10 (mod 11), a(p^e) = e + 1 if p == 1, 3, 4, 5, 9 (mod 11). - Michael Somos, Jan 29 2007
Moebius transform is period 11 sequence [ 1, -1, 1, 1, 1, -1, -1, -1, 1, -1, 0, ...]. - Michael Somos, Jan 29 2007
G.f.: Sum_{k>0} Kronecker(-11, k) * x^k / (1 - x^k). - Michael Somos, Jan 29 2007
A028609(n) = 2 * a(n) unless n = 0. - Michael Somos, Jun 24 2011
Asymptotic mean: Limit_{m->oo} (1/m) * Sum_{k=1..m} a(k) = Pi/sqrt(11) = 0.947225... . - Amiram Eldar, Oct 11 2022

A129522 Expansion of unique weight 3 level 11 multiplicative cusp form in powers of q.

Original entry on oeis.org

1, 0, -5, 4, -1, 0, 0, 0, 16, 0, -11, -20, 0, 0, 5, 16, 0, 0, 0, -4, 0, 0, 35, 0, -24, 0, -35, 0, 0, 0, -37, 0, 55, 0, 0, 64, -25, 0, 0, 0, 0, 0, 0, -44, -16, 0, 50, -80, 49, 0, 0, 0, -70, 0, 11, 0, 0, 0, 107, 20, 0, 0, 0, 64, 0, 0, 35, 0, -175, 0, -133, 0, 0

Offset: 1

Michael Somos, Apr 19 2007, Jun 06 2007

This is a member of an infinite family of odd weight level 11 multiplicative modular forms. g_1 = A035179, g_3 = A129522, g_5 = A065099, g_7 = A138661.

			G.f. = q - 5*q^3 + 4*q^4 - q^5 + 16*q^9 - 11*q^11 - 20*q^12 + 5*q^15 + 16*q^16 + ...

Cf. A006571, A028609, A030200, A035179, A065099, A138661.

A := Basis( CuspForms( Gamma1(11), 3), 73); A[1] - 5*A[3] + 4*A[4] - A[5]; /* Michael Somos, Mar 26 2015 */

a[ n_] := Module[ {A, B}, B = QPochhammer[ q] QPochhammer[ q^11]; A = B / (q QPochhammer[ q^3] QPochhammer[ q^33]); SeriesCoefficient[ q B^3 (1 + 3 / A) Sqrt[ q (A + 1 + 3 / A)], {q, 0, n}]]; (* Michael Somos, Mar 26 2015 *)

{a(n) = my(A, B); if( n<1, 0, n--; A = x * O(x^n); B = eta(x + A) * eta(x^11 + A); A = B /( x * eta(x^3 + A) * eta(x^33 + A)); A = B^3 * (1 + 3/A) * sqrt(x * (A + 1 + 3/A)); polcoeff(A, n))};

{a(n) = my(A, p, e, x, y, a0, a1); if( n<1, 0, A = factor(n); prod( k=1, matsize(A)[1], [p, e] = A[k, ]; if( p==11, (-11)^e, kronecker( -11, p)==-1, if( e%2, 0, p^e), for( x=1, sqrtint(4*p\11), if( issquare(4*p - 11*x^2, &y), break)); y = y^2 - p*2; a0=1; a1=y; for( i=2, e, x = y*a1 - p^2*a0; a0=a1; a1=x); a1)))}; /* Michael Somos, Jun 06 2007 */

{a(n) = my(A); if( n<1, 0, n--; A = x * O(x^n); A = eta(x + A) * eta(x^11 + A); polcoeff( A^2 / subst(A + x * O(x^(n\2)), x, x^2) * (A^2 + 4*x * subst(A + x * O(x^(n\2)), x, x^2)^2 + 8 * x^3 * subst(A + x * O(x^(n\4)), x, x^4)^2), n))}; /* Michael Somos, Jun 06 2007 */

Expansion of (F(q)^2 + 4*F(q^2)^2 + 8*F(q^4)^2) * F(q)^2 / F(q^2) in powers of q where F(q) := eta(q) * eta(q^11) is the g.f. of A030200.
a(n) is multiplicative with a(11^e) = (-11)^e, a(p^e) = (1+(-1)^e)/2*p^e if p == 2, 6, 7, 8, 10 (mod 11), a(p^e) = a(p)*a(p^(e-1)) - p^2*a(p^(e-2)) if p == 1, 3, 4, 5, 9 (mod 11) where a(p) = y^2 - 2*p and 4*p = y^2 + 11*x^2.
G.f. is a period 1 Fourier series which satisfies f(-1 / (11 t)) = 11^(3/2) (t/i)^3 f(t) where q = exp(2 Pi i t).
G.f.: (1/2) * Sum_{u, v in Z} (u*u - 3*v*v) * x^(u*u + u*v + 3*v*v). - Michael Somos, Jun 14 2007
Convolution of A006571 and A028609. - Michael Somos, Aug 14 2012
a(4*n + 2) = 0. - Michael Somos, Nov 11 2015

A138661 Expansion of a level 11 weight 7 multiplicative modular form in powers of q.

Original entry on oeis.org

1, 0, 10, 64, 74, 0, 0, 0, -629, 0, -1331, 640, 0, 0, 740, 4096, 0, 0, 0, 4736, 0, 0, -12670, 0, -10149, 0, -13580, 0, 0, 0, 56018, 0, -13310, 0, 0, -40256, 87050, 0, 0, 0, 0, 0, 0, -85184, -46546, 0, -206350, 40960, 117649, 0, 0, 0, 246890, 0, -98494, 0, 0, 0, 107642, 47360, 0

Offset: 1

Michael Somos, Mar 25 2008

This is a member of an infinite family of odd weight level 11 multiplicative modular forms. g_1 = A035179, g_3 = A129522, g_5 = A065099, g_7 = A138661. - Michael Somos, Jun 07 2015

			G.f. = q + 10*q^3 + 64*q^4 + 74*q^5 - 629*q^9 - 1331*q^11 + 640*q^12 + 740*q^15 + ...

Cf. A129522, A065099.

A := Basis( CuspForms( Gamma1(11), 7), 58); A[1] + 10*A[3] + 64*A[4] + 74*A[5] - 629*A[9] - 1331*A[11] + 640*A[12] + 740*A[15] + 4096*A[16] + 4736*A[20] - 12670*A[23]; /* Michael Somos, Jun 07 2015 */

{a(n) = my(A, p, e, x, y, a0, a1); if( n<1, 0, A = factor(n); prod(k=1, matsize(A)[1], [p, e] = A[k, ]; if( p==11, (-1331)^e, kronecker(-11, p)==-1, if(e%2, 0, (p^3)^e), for(x=1, sqrtint(4*p\11), if( issquare(4*p - 11*x^2, &y), break)); y = y^6 - 6*p*y^4 + 9*p^2*y^2 - 2*p^3; a0=1; a1=y; for(i=2, e, x = y * a1 - p^6 * a0; a0=a1; a1=x); a1)))};

{a(n) = my(A, F1, F2, G1); if( n<1, 0, A = x * O(x^n); F1 = x * (eta(x + A) * eta(x^11 + A))^2; F2 = x * eta(x^2 + A) * eta(x^22 + A); G1 = (F1 + 4 * F2^2 + 8 * x^4 * (eta(x^4 + A) * eta(x^44 + A))^2) / F2; polcoeff( G1 * F1 * (G1^4 - 8*G1^2*F1 + 7*F1^2), n))};

a(4*n + 2) = a(11*n + 2) = a(11*n + 6) = a(11*n + 7) = a(11*n + 8) = a(11*n + 10) = 0.
a(n) is multiplicative with a(11^e) = (-1331)^e, a(p^e) = p^(3*e) * (1 + (-1)^e) / 2 if p == 2, 6, 7, 8, 10 (mod 11), a(p^e) = a(p) * a(p^(e-1)) - p^6 * a(p^(e-2)) if p == 1, 3, 4, 5, 9 (mod 11) where a(p) = y^6 - 6*p*y^4 + 9*p^2*y^2 - 2*p^3 and 4 * p = y^2 + 11 * x^2.
G.f. is a period 1 Fourier series which satisfies f(-1 / (11 t)) = 11^(7/2) (t/i)^7 f(t) where q = exp(2 Pi i t).

A023922 Theta series of A*_10 lattice.

Original entry on oeis.org

1, 0, 0, 0, 0, 22, 0, 0, 0, 110, 0, 110, 330, 0, 660, 924, 990, 0, 0, 0, 2662, 0, 1980, 4840, 0, 6534, 7260, 9460, 0, 0, 0, 15840, 0, 10230, 21780, 0, 27830, 32670, 33660, 0, 0, 0, 50820, 0, 30140, 71236, 0, 84700, 87120, 99000, 0, 0, 0, 136840, 0

Offset: 0

N. J. A. Sloane

nonn

			G.f. = 1 + 22*q^5 + 110*q^9 + 110*q^11 + 330*q^12 + ... - _Sean A. Irvine_, Jun 16 2019

J. H. Conway and N. J. A. Sloane, "Sphere Packings, Lattices and Groups", Springer-Verlag, p. 114.

G. Nebe and N. J. A. Sloane, Home page for this lattice
K. Ono, On the Circular Summation of the Eleventh Powers of Ramanujan's Theta Function, Journal of Number Theory, Volume 76, Issue 1, May 1999, Pages 62-65.

G.f.: eta^11(q)/eta(q^11) + 800*q^5*eta^11(q^11)/eta(11) - 9*P11(q)*eta^11(q) + (308/3)*A(q) + (22/3)*B(q), where P11(q) is the g.f. for A213256, A(q) is the g.f. for A065103, B(q) is the g.f. for A065099, and eta is the Dedekind eta function [from Ono]. - Sean A. Irvine, Jun 16 2019

More terms from Sean A. Irvine, Jun 16 2019

cp's OEIS Frontend

A035179 a(n) = Sum_{d|n} Kronecker(-11, d).

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Magma

Mathematica

PARI

PARI

PARI

Formula

A129522 Expansion of unique weight 3 level 11 multiplicative cusp form in powers of q.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Magma

Mathematica

PARI

PARI

PARI

Formula

A138661 Expansion of a level 11 weight 7 multiplicative modular form in powers of q.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Magma

PARI

PARI

Formula

A023922 Theta series of A*_10 lattice.

Views

Author

Keywords

Examples

References

Links

Formula

Extensions