cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

User: Christian Kassel

Christian Kassel's wiki page.

Christian Kassel has authored 2 sequences.

A387017 Expansion of (Product_{k>=1} (1 - x^k)^2/(1 - 5*x^k + x^(2*k)) - 1)/3.

Original entry on oeis.org

1, 6, 28, 139, 660, 3192, 15260, 73254, 350848, 1681650, 8056608, 38604748, 184963130, 886226880, 4246152960, 20344613659, 97476826932, 467039887908, 2237722185188, 10721572793580, 51370139753240, 246129134364792, 1179275522335680, 5650248517615128
Offset: 1

Author

Christian Kassel, Aug 13 2025

Keywords

Comments

a(n) is the value at q = (5 + sqrt(21))/2 of C_n(q)/(q^{n-1}(q - 1)^2), where C_n(q) is the number of codimension n ideals of the algebra of two-variable Laurent polynomials over a finite field of order q. The number C_n(q) is a palindromic polynomial of degree 2n with integer coefficients in the variable q and it is divisible by (q-1)^2.

Crossrefs

Programs

  • Mathematica
    nmax = 25; Rest[CoefficientList[Series[(Product[(1 - x^k)^2/(1 - 5*x^k + x^(2*k)), {k, 1, nmax}] - 1)/3, {x, 0, nmax}], x]] (* Vaclav Kotesovec, Aug 14 2025 *)

Formula

G.f.: (Product_{k>=1} (1 - x^k)^2/(1 - 5*x^k + x^(2*k)) - 1)/3
a(2^k) = A030221(2^k-1). (Follows from Cor. 4.5 of Kassel and Reutenauer (2025).)
a(n) ~ (3 + sqrt(21))^(2*n-1) / (2^(2*n-1) * 3^n). - Vaclav Kotesovec, Aug 14 2025

A386706 Expansion of ((Product_{k>=1} (1 - x^k)^2/(1 - 4*x^k + x^(2k))) - 1)/2.

Original entry on oeis.org

0, 1, 5, 18, 71, 260, 990, 3672, 13775, 51343, 191860, 715770, 2672298, 9972092, 37220040, 138903480, 518408351, 1934712530, 7220497115, 26947209762, 100568547820, 375326739216, 1400739172470, 5227629044040, 19509779871450, 72811487038701, 271736178975820, 1014133216234068
Offset: 0

Author

Christian Kassel, Jul 30 2025

Keywords

Comments

a(n) is the value at q = 2 + sqrt(3) of C_n(q)/(q^{n-1}(q - 1)^2), where C_n(q) is the number of codimension n ideals of the algebra of two-variable Laurent polynomials over a finite field of order q. The number C_n(q) is a palindromic polynomial of degree 2n with integer coefficients in the variable q and it is divisible by (q-1)^2.

Crossrefs

Programs

  • Mathematica
    nmax = 30; CoefficientList[Series[(Product[(1 - x^k)^2/(1 - 4*x^k + x^(2*k)), {k, 1, nmax}] - 1)/2, {x, 0, nmax}], x] (* Vaclav Kotesovec, Jul 30 2025 *)

Formula

G.f.: ((Product_{k>=1} (1 - x^k)^2/(1 - 4*x^k + x^(2k))) - 1)/2.
a(2^k) = A001834(2^k-1) for all nonnegative integers k. Follows from Cor. 4.5 of Kassel-Reutenauer paper "Pairs of intertwined integer sequences".
a(n) ~ (1 + sqrt(3))^(2*n-1) / 2^n. - Vaclav Kotesovec, Jul 30 2025

Extensions

a(0)=0 added, offset changed to 0, a(7) corrected and more terms added by Vaclav Kotesovec, Jul 30 2025