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.

A266330 Triangle, read by rows, of the coefficients in the g.f.: Sum_{n=-oo..+oo} x^n * y^n * (y^n - x^n)^n.

This page as a plain text file.
%I A266330 #36 Mar 05 2025 06:35:41
%S A266330 -1,1,-1,0,1,-1,1,-1,1,-1,0,0,0,1,-1,2,0,-2,0,1,-1,0,0,0,0,0,1,-1,3,
%T A266330 -1,1,-3,0,0,1,-1,0,0,0,0,0,0,0,1,-1,4,0,0,0,-4,0,0,0,1,-1,0,-3,0,3,0,
%U A266330 0,0,0,0,1,-1,5,0,0,0,0,-5,0,0,0,0,1,-1,0,0,0,0,0,0,0,0,0,0,0,1,-1,6,-6,1,-1,6,0,-6,0,0,0,0,0,1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,-1,7,0,0,0,0,0,0,-7,0,0,0,0,0,0,1,-1,0,-10,0,0,0,10,0,0,0,0,0,0,0,0,0,1,-1,8,0,4,0,-4,0,0,0,-8,0,0,0,0,0,0,0,1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,-1,9,-15,0,0,0,0,15,0,0,-9,0,0,0,0,0,0,0,0,1
%N A266330 Triangle, read by rows, of the coefficients in the g.f.: Sum_{n=-oo..+oo} x^n * y^n * (y^n - x^n)^n.
%C A266330 Compare to the curious identity: Sum_{n=-oo..+oo} x^n * (1 - x^n)^n = 0.
%C A266330 Note that the g.f.:
%C A266330 A(x,y) = Sum_{n=-oo..+oo} x^n * y^n * (y^n - x^n)^n
%C A266330 may be written
%C A266330 A(x,y) = Sum_{n>=0} R(n,y) * x^n / y^(n+1)
%C A266330 such that row polynomials R(n,y) consist of square powers of y:
%C A266330 R(n,y) = Sum_{k=0..n+1} T(n,k) * y^(k^2).
%H A266330 Paul D. Hanna, <a href="/A266330/b266330.txt">Table of n, a(n) for n = 0..5251, for rows 0..100 in flattened form of this triangle.</a>
%F A266330 G.f.: -(1/y)/(1-z) + (1/y) * Sum_{n>=1} y^(n^2) * ( z^(n-1)*(1 - z^(n-1))^(n-1) + z^(n*(n+1)) / (z^(n+1) - 1)^(n+1) ) = Sum_{n=-oo..+oo} x^n * y^n * (y^n - x^n)^n, where z = x/y.
%F A266330 Row sums are all zeros.
%F A266330 Row sums of absolute values of terms yield 2 * A217668(n) for row n>=0.
%F A266330 Sum_{k=0..2*n+1} (-1)^k * T(2*n,k) = (-2) * A260147(n) for n>=0.
%F A266330 Sum_{k=0..2*n+2} (-1)^k * T(2*n+1,k) = 0 for n>=0.
%F A266330 Sum_{k=0..2*n+1} I^(k^2) * T(2*n,k) = (I-1) * A260147(n) for n>=0, where I^2 = -1.
%F A266330 Sum_{k=0..2*n+2} I^(k^2) * T(2*n+1,k) = 0 for n>=0, where I^2 = -1.
%e A266330 This triangle of coefficients T(n,k) begins:
%e A266330   -1, 1;
%e A266330   -1, 0, 1;
%e A266330   -1, 1, -1, 1;
%e A266330   -1, 0, 0, 0, 1;
%e A266330   -1, 2, 0, -2, 0, 1;
%e A266330   -1, 0, 0, 0, 0, 0, 1;
%e A266330   -1, 3, -1, 1, -3, 0, 0, 1;
%e A266330   -1, 0, 0, 0, 0, 0, 0, 0, 1;
%e A266330   -1, 4, 0, 0, 0, -4, 0, 0, 0, 1;
%e A266330   -1, 0, -3, 0, 3, 0, 0, 0, 0, 0, 1;
%e A266330   -1, 5, 0, 0, 0, 0, -5, 0, 0, 0, 0, 1;
%e A266330   -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1;
%e A266330   -1, 6, -6, 1, -1, 6, 0, -6, 0, 0, 0, 0, 0, 1;
%e A266330   -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1;
%e A266330   -1, 7, 0, 0, 0, 0, 0, 0, -7, 0, 0, 0, 0, 0, 0, 1;
%e A266330   -1, 0, -10, 0, 0, 0, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1;
%e A266330   -1, 8, 0, 4, 0, -4, 0, 0, 0, -8, 0, 0, 0, 0, 0, 0, 0, 1;
%e A266330   -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1;
%e A266330   -1, 9, -15, 0, 0, 0, 0, 15, 0, 0, -9, 0, 0, 0, 0, 0, 0, 0, 0, 1; ...
%e A266330 in which the g.f. of column k > 0 is given by:
%e A266330 z^(k-1)*(1 - z^(k-1))^(k-1) + z^(k*(k+1))/(z^(k+1) - 1)^(k+1).
%e A266330 ...
%e A266330 G.f.: A(x,y) = Sum_{n=-oo..+oo} x^n * y^n * (y^n - x^n)^n may be written as
%e A266330 A(x,y) = Sum_{n>=0} R(n,y) * x^n / y^(n+1), where row polynomials R(n,y) consist of square powers of y:
%e A266330 R(n,y) = Sum_{k=0..n+1} T(n,k) * y^(k^2);
%e A266330 this triangle lists the coefficients of y^(k^2) in R(n,y), which begin:
%e A266330   R(0,y) = y - 1;
%e A266330   R(1,y) = y^4 - 1;
%e A266330   R(2,y) = y^9 - y^4 + y - 1;
%e A266330   R(3,y) = y^16 - 1;
%e A266330   R(4,y) = y^25 - 2*y^9 + 2*y - 1;
%e A266330   R(5,y) = y^36 - 1;
%e A266330   R(6,y) = y^49 - 3*y^16 + y^9 - y^4 + 3*y - 1;
%e A266330   R(7,y) = y^64 - 1;
%e A266330   R(8,y) = y^81 - 4*y^25 + 4*y - 1;
%e A266330   R(9,y) = y^100 + 3*y^16 - 3*y^4 - 1;
%e A266330   R(10,y) = y^121 - 5*y^36 + 5*y - 1;
%e A266330   R(11,y) = y^144 - 1;
%e A266330   R(12,y) = y^169 - 6*y^49 + 6*y^25 - y^16 + y^9 - 6*y^4 + 6*y - 1;
%e A266330   R(13,y) = y^196 - 1;
%e A266330   R(14,y) = y^225 - 7*y^64 + 7*y - 1;
%e A266330   R(15,y) = y^256 + 10*y^36 - 10*y^4 - 1;
%e A266330   R(16,y) = y^289 - 8*y^81 - 4*y^25 + 4*y^9 + 8*y - 1;
%e A266330   R(17,y) = y^324 - 1;
%e A266330   R(18,y) = y^361 - 9*y^100 + 15*y^49 - 15*y^4 + 9*y - 1; ...
%o A266330 (PARI) /* Prints rows 0..50 of this triangle: */
%o A266330 {SUM=sum(n=-51,51,x^n*y^n*(y^n-x^n +O(x^51))^n); V=Vec(SUM);
%o A266330 T(n,k)=polcoeff(V[n+1]*y^(n+1) + y*O(y^((n+1)^2)), k^2)}
%o A266330 for(n=0,50,for(k=0,n+1,print1( T(n,k), ", "));print(""))
%o A266330 (PARI) /* Quick print of row polynomials (informal): */
%o A266330 {SUM=sum(n=-51,51,x^n*y^n*(y^n-x^n +O(x^51))^n); V=Vec(SUM);
%o A266330 for(n=1,50,print("R("n-1",y) = "V[n]*y^n";")) }
%o A266330 (PARI) /* Compare these sums (informal sanity check): */
%o A266330 Axy = sum(n=-16,16, x^n*y^n*(y^n-x^n +O(x^16))^n )
%o A266330 Axy = -(1/y)/(1-x/y) + sum(n=1,15, y^(n^2-1) * ( (x/y)^(n-1)*(1 - (x/y)^(n-1))^(n-1) + (x/y)^(n*(n+1)) / ((x/y)^(n+1) - 1)^(n+1) ) +O(x^16) )
%Y A266330 Cf. A217668, A260147 (y=-1).
%K A266330 sign,tabf
%O A266330 0,16
%A A266330 _Paul D. Hanna_, Dec 27 2015