A001786 -id:A001786 - cp's OEIS frontend

A003945 Expansion of g.f. (1+x)/(1-2*x).

1, 3, 6, 12, 24, 48, 96, 192, 384, 768, 1536, 3072, 6144, 12288, 24576, 49152, 98304, 196608, 393216, 786432, 1572864, 3145728, 6291456, 12582912, 25165824, 50331648, 100663296, 201326592, 402653184, 805306368, 1610612736, 3221225472, 6442450944, 12884901888

Offset: 0

N. J. A. Sloane

Coordination sequence for infinite tree with valency 3.
Number of Hamiltonian cycles in K_3 X P_n.
Number of ternary words of length n avoiding aa, bb, cc.
For n > 0, row sums of A029635. - Paul Barry, Jan 30 2005
Binomial transform is {1, 4, 13, 40, 121, 364, ...}, see A003462. - Philippe Deléham, Jul 23 2005
Convolved with the Jacobsthal sequence A001045 = A001786: (1, 4, 12, 32, 80, ...). - Gary W. Adamson, May 23 2009
Equals (n+1)-th row sums of triangle A161175. - Gary W. Adamson, Jun 05 2009
a(n) written in base 2: a(0) = 1, a(n) for n >= 1: 11, 110, 11000, 110000, ..., i.e.: 2 times 1, (n-1) times 0 (see A003953(n)). - Jaroslav Krizek, Aug 17 2009
INVERTi transform of A003688. - Gary W. Adamson, Aug 05 2010
An elephant sequence, see A175655. For the central square four A[5] vectors, with decimal values 42, 138, 162 and 168, lead to this sequence. For the corner squares these vectors lead to the companion sequence A083329. - Johannes W. Meijer, Aug 15 2010
A216022(a(n)) != 2 and A216059(a(n)) != 3. - Reinhard Zumkeller, Sep 01 2012
Number of length-n strings of 3 letters with no two adjacent letters identical. The general case (strings of r letters) is the sequence with g.f. (1+x)/(1-(r-1)*x). - Joerg Arndt, Oct 11 2012
Sums of pairs of rows of Pascal's triangle A007318, T(2n,k)+T(2n+1,k); Sum_{n>=1} A000290(n)/a(n) = 4. - John Molokach, Sep 26 2013

Vincenzo Librandi, Table of n, a(n) for n = 0..1000
Yasemin Alp and E. Gokcen Kocer, Exponential Almost-Riordan Arrays, Results Math. (2024) Vol. 79, 173.
F. Faase, Counting Hamiltonian cycles in product graphs
INRIA Algorithms Project, Encyclopedia of Combinatorial Structures 151
INRIA Algorithms Project, Encyclopedia of Combinatorial Structures 304
Markus Kuba and Alois Panholzer, Enumeration formulas for pattern restricted Stirling permutations, Discrete Math. 312 (2012), no. 21, 3179--3194. MR2957938. - From _N. J. A. Sloane_, Sep 25 2012
C. Richard and U. Grimm, On the entropy and letter frequencies of ternary squarefree words, arXiv:math/0302302 [math.CO], 2003.
Index to divisibility sequences
Index entries for linear recurrences with constant coefficients, signature (2).
Index entries for sequences related to trees

Essentially same as A007283 (3*2^n) and A042950.
Cf. A001787, A001045, A161175.
Generating functions of the form (1+x)/(1-k*x) for k=1 to 12: A040000, A003945, A003946, A003947, A003948, A003949, A003950, A003951, A003952.
Generating functions of the form (1+x)/(1-k*x) for k=13 to 30: A170732, A170733, A170734, A170735, A170736, A170737, A170738, A170739, A170740, A170741, A170742, A170743, A170744, A170745, A170746, A170747, A170748.
Generating functions of the form (1+x)/(1-k*x) for k=31 to 50: A170749, A170750, A170751, A170752, A170753, A170754, A170755, A170756, A170757, A170758, A170759, A170760, A170761, A170762, A170763, A170764, A170765, A170766, A170767, A170768, A170769.
Cf. A003688.

k := 3; if n = 0 then 1 else k*(k-1)^(n-1); fi;

Join[{1}, 3*2^Range[0, 60]] (* Vladimir Joseph Stephan Orlovsky, Jun 09 2011 *)
Table[2^n+Floor[2^(n-1)], {n,0,30}] (* Martin Grymel, Oct 17 2012 *)
CoefficientList[Series[(1+x)/(1-2x),{x,0,40}],x] (* or *) LinearRecurrence[ {2},{1,3},40] (* Harvey P. Dale, May 04 2017 *)

a(n)=if(n,3<Charles R Greathouse IV, Jan 12 2012

a(0) = 1; for n > 0, a(n) = 3*2^(n-1).
a(n) = 2*a(n-1), n > 1; a(0)=1, a(1)=3.
More generally, the g.f. (1+x)/(1-k*x) produces the sequence [1, 1 + k, (1 + k)*k, (1 + k)*k^2, ..., (1+k)*k^(n-1), ...], with a(0) = 1, a(n) = (1+k)*k^(n-1) for n >= 1. Also a(n+1) = k*a(n) for n >= 1. - Zak Seidov and N. J. A. Sloane, Dec 05 2009
The g.f. (1+x)/(1-k*x) produces the sequence with closed form (in PARI notation) a(n)=(n>=0)*k^n+(n>=1)*k^(n-1). - Jaume Oliver Lafont, Dec 05 2009
Binomial transform of A000034. a(n) = (3*2^n - 0^n)/2. - Paul Barry, Apr 29 2003
a(n) = Sum_{k=0..n} (n+k)*binomial(n, k)/n. - Paul Barry, Jan 30 2005
a(n) = Sum_{k=0..n} A029653(n, k)*x^k for x = 1. - Philippe Deléham, Jul 10 2005
Binomial transform of A000034. Hankel transform is {1,-3,0,0,0,...}. - Paul Barry, Aug 29 2006
a(0) = 1, a(n) = 2 + Sum_{k=0..n-1} a(k) for n >= 1. - Joerg Arndt, Aug 15 2012
a(n) = 2^n + floor(2^(n-1)). - Martin Grymel, Oct 17 2012
E.g.f.: (3*exp(2*x) - 1)/2. - Stefano Spezia, Jan 31 2023

Edited by N. J. A. Sloane, Dec 04 2009

A059260 Triangle read by rows giving coefficient T(i,j) of x^i y^j in 1/(1-y-x*y-x^2) = 1/((1+x)(1-x-y)) for (i,j) = (0,0), (1,0), (0,1), (2,0), (1,1), (0,2), ...

Original entry on oeis.org

1, 0, 1, 1, 1, 1, 0, 2, 2, 1, 1, 2, 4, 3, 1, 0, 3, 6, 7, 4, 1, 1, 3, 9, 13, 11, 5, 1, 0, 4, 12, 22, 24, 16, 6, 1, 1, 4, 16, 34, 46, 40, 22, 7, 1, 0, 5, 20, 50, 80, 86, 62, 29, 8, 1, 1, 5, 25, 70, 130, 166, 148, 91, 37, 9, 1, 0, 6, 30, 95, 200, 296, 314, 239, 128, 46, 10, 1

Offset: 0

N. J. A. Sloane, Jan 23 2001

Coefficients of the (left, normalized) shifted cyclotomic polynomial. Or, coefficients of the basic n-th q-series for q=-2. Indeed, let Y_n(x) = Sum_{k=0..n} x^k, having as roots all the n-th roots of unity except for 0; then coefficients in x of (-1)^n Y_n(-x-1) give exactly the n-th row of A059260 and a practical way to compute it. - Olivier Gérard, Jul 30 2002
The maximum in the (2n)-th row is T(n,n), which is A026641; also T(n,n) ~ (2/3)*binomial(2n,n). The maximum in the (2n-1)-th row is T(n-1,n), which is A014300 (but T does not have the same definition as in A026637); also T(n-1,n) ~ (1/3)*binomial(2n,n). Here is a generalization of the formula given in A026641: T(i,j) = Sum_{k=0..j} binomial(i+k-x,j-k)*binomial(j-k+x,k) for all x real (the proof is easy by induction on i+j using T(i,j) = T(i-1,j) + T(i,j-1)). - Claude Morin, May 21 2002
The second greatest term in the (2n)-th row is T(n-1,n+1), which is A014301; the second greatest term in the (2n+1)-th row is T(n+1,n) = 2*T(n-1,n+1), which is 2*A014301. - Claude Morin
Diagonal sums give A008346. - Paul Barry, Sep 23 2004
Riordan array (1/(1-x^2), x/(1-x)). As a product of Riordan arrays, factors into the product of (1/(1+x),x) and (1/(1-x),1/(1-x)) (binomial matrix). - Paul Barry, Oct 25 2004
Signed version is A239473 with relations to partial sums of sequences. - Tom Copeland, Mar 24 2014
From Robert Coquereaux, Oct 01 2014: (Start)
Columns of the triangle (cf. Example below) give alternate partial sums along nw-se diagonals of the Pascal triangle, i.e., sequences A000035, A004526, A002620 (or A087811), A002623 (or A173196), A001752, A001753, A001769, A001779, A001780, A001781, A001786, A001808, etc.
The dimension of the space of closed currents (distributional forms) of degree p on Gr(n), the Grassmann algebra with n generators, equivalently, the dimension of the space of Gr(n)-valued symmetric multilinear forms with vanishing graded divergence, is V(n,p) = 2^n T(p,n-1) - (-1)^p.
If p is odd V(n,p) is also the dimension of the cyclic cohomology group of order p of the Z2 graded algebra Gr(n).
If p is even the dimension of this cohomology group is V(n,p)+1.
Cf. A193844. (End)
From Peter Bala, Feb 07 2024: (Start)
The following remarks assume the row indexing starts at n = 1.
The sequence of row polynomials R(n,x), beginning R(1,x) = 1, R(2,x) = x, R(3,x) = 1 + x + x^2 , ..., is a strong divisibility sequence of polynomials in the ring Z[x]; that is, for all positive integers n and m, poly_gcd( R(n,x), R(m,x)) = R(gcd(n, m), x) - apply Norfleet (2005), Theorem 3. Consequently, the polynomial sequence {R(n,x): n >= 1} is a divisibility sequence; that is, if n divides m then R(n,x) divides R(m,x) in Z[x]. (End)
From Miquel A. Fiol, Oct 04 2024: (Start)
For j>=1, T(i,j) is the independence number of the (i-j)-supertoken graph FF_(i-j)(S_j) of the star graph S_j with j points.
(Given a graph G on n vertices and an integer k>=1, the k-supertoken (or reduced k-th power) FF_k(G) of G has vertices representing configurations of k indistinguishable tokens in the (not necessarily different) vertices of G, with two configurations being adjacent if one can be obtained from the other by moving one token along an edge. See an example below.)
Following the suggestion of Peter Munn, the k-supertoken graph FF_k(S_j) can also be defined as follows: Consider the Lattice graph L(k,j), whose vertices are the k^j j-vectors with elements in the set {0,..,k-1}, two being adjacent if they differ in just one coordinate by one unity. Then, FF_k(S_j) is the subgraph of L(k+1,j) induced by the vertices at distance at most k from (0,..,0). (End)

			Triangle begins
  1;
  0,  1;
  1,  1,  1;
  0,  2,  2,  1;
  1,  2,  4,  3,  1;
  0,  3,  6,  7,  4,  1;
  1,  3,  9, 13, 11,  5,  1;
  0,  4, 12, 22, 24, 16,  6,  1;
  1,  4, 16, 34, 46, 40, 22,  7,  1;
  0,  5, 20, 50, 80, 86, 62, 29,  8,  1;
Sequences obtained with _Miquel A. Fiol_'s Sep 30 2024 formula of A(n,c1,c2) for other values of (c1,c2). (In the table, rows are indexed by c1=0..6 and columns by c2=0..6):
A000007  A000012  A000027  A025747  A000292* A000332* A000389*
A059841  A008619  A087811* A002623  A001752  A001753  A001769
A193356  A008794* A005993  A005994  -------  -------  -------
-------  -------  -------  A005995  A018210  -------  A052267
-------  -------  -------  -------  A018211  A018212  -------
-------  -------  -------  -------  -------  A018213  A018214
-------  -------  -------  -------  -------  -------  A062136
*requires offset adjustment.
The 2-supertoken FF_2(S_3) of the star graph S_3 with central vertex 1 and peripheral vertices 2,3,4. (The vertex `ij' of FF_2(S_3) represents the configuration of one token in `ì' and the other token in `j'). The T(5,3)=7 independent vertices are 22, 24, 44, 23, 11, 34, and 33.
     22--12---24---14---44
          | \    / |
         23   11   34
            \  |  /
              13
               |
              33

G. C. Greubel, Table of n, a(n) for the first 50 rows, flattened
Roland Bacher, Chebyshev polynomials, quadratic surds and a variation of Pascal's triangle, arXiv:1509.09054 [math.CO], 2015.
Joseph Briggs, Alex Parker, Coy Schwieder, and Chris Wells, Frogs, hats and common subsequences, arXiv:2404.07285 [math.CO], 2024. See p. 28.
Robert Coquereaux and Éric Ragoucy, Currents on Grassmann algebras, J. of Geometry and Physics, 1995, Vol 15, pp 333-352.
Robert Coquereaux and Éric Ragoucy, Currents on Grassmann algebras, arXiv:hep-th/9310147, 1993.
Robert Coquereaux and Jean-Bernard Zuber, Counting partitions by genus. II. A compendium of results, arXiv:2305.01100 [math.CO], 2023. See p. 8.
R. H. Hammack and G. D. Smith, Cycle bases of reduced powers of graphs, Ars Math. Contemp. 12 (2017) 183-203.
Christian Kassel, A Künneth formula for the cyclic cohomology of Z2-graded algebras, Math. Ann. 275 (1986) 683.
Ana Filipa Loureiro and Pascal Maroni, Polynomial sequences associated with the classical linear functionals, Numerical Algorithms, June 2012, Volume 60, Issue 2, pp 297-314. - From _N. J. A. Sloane_, Oct 12 2012
Ana Filipa Loureiro and Pascal Maroni, Polynomial sequences associated with the classical linear functionals, preprint, Centro de Matemática da Universidade do Porto.
MathOverflow, Cyclotomic Polynomials in Combinatorics
Mark Norfleet, Characterization of second-order strong divisibility sequences of polynomials, The Fibonacci Quarterly, 43(2) (2005), 166-169.

Cf. A059259. Row sums give A001045.
Seen as a square array read by antidiagonals this is the coefficient of x^k in expansion of 1/((1-x^2)*(1-x)^n) with rows A002620, A002623, A001752, A001753, A001769, A001779, A001780, A001781, A001786, A001808 etc. (allowing for signs). A058393 would then effectively provide the table for nonpositive n. - Henry Bottomley, Jun 25 2001
Cf. A026641, A014300.
Cf. A007318, A097805, A097808, A130595, A200139, A062135.

read transforms; 1/(1-y-x*y-x^2); SERIES2(%,x,y,12); SERIES2TOLIST(%,x,y,12);

t[n_, k_] := Sum[ (-1)^(n-j)*Binomial[j, k], {j, 0, n}]; Flatten[ Table[t[n, k], {n, 0, 12}, {k, 0, n}]] (* Jean-François Alcover, Oct 20 2011, after Paul Barry *)

T(n, k) = sum(j=0, n, (-1)^(n - j)*binomial(j, k));
for(n=0, 12, for(k=0, n, print1(T(n, k),", ");); print();) \\ Indranil Ghosh, Apr 11 2017

from sympy import binomial
def T(n, k): return sum((-1)**(n - j)*binomial(j, k) for j in range(n + 1))
for n in range(13): print([T(n, k) for k in range(n + 1)]) # Indranil Ghosh, Apr 11 2017

def A059260_row(n):
    @cached_function
    def prec(n, k):
        if k==n: return 1
        if k==0: return 0
        return -prec(n-1,k-1)-sum(prec(n,k+i-1) for i in (2..n-k+1))
    return [(-1)^(n-k+1)*prec(n+1, n-k+1) for k in (1..n)]
for n in (1..9): print(A059260_row(n)) # Peter Luschny, Mar 16 2016

G.f.: 1/(1-y-x*y-x^2) = 1 + y + x^2 + xy + y^2 + 2x^2y + 2xy^2 + y^3 + ...
E.g.f: (exp(-t)+(x+1)*exp((x+1)*t))/(x+2). - Tom Copeland, Mar 19 2014
O.g.f. (n-th row): ((-1)^n+(x+1)^(n+1))/(x+2). - Tom Copeland, Mar 19 2014
T(i, 0) = 1 if i is even or 0 if i is odd, T(0, i) = 1 and otherwise T(i, j) = T(i-1, j) + T(i, j-1); also T(i, j) = Sum_{m=j..i+j} (-1)^(i+j+m)*binomial(m, j). - Robert FERREOL, May 17 2002
T(i, j) ~ (i+j)/(2*i+j)*binomial(i+j, j); more precisely, abs(T(i, j)/binomial(i+j, j) - (i+j)/(2*i+j) )<=1/(4*(i+j)-2); the proof is by induction on i+j using the formula 2*T(i, j) = binomial(i+j, j)+T(i, j-1). - Claude Morin, May 21 2002
T(n, k) = Sum_{j=0..n} (-1)^(n-j)binomial(j, k). - Paul Barry, Aug 25 2004
T(n, k) = Sum_{j=0..n-k} binomial(n-j, j)*binomial(j, n-k-j). - Paul Barry, Jul 25 2005
Equals A097807 * A007318. - Gary W. Adamson, Feb 21 2007
Equals A128173 * A007318 as infinite lower triangular matrices. - Gary W. Adamson, Feb 17 2007
Equals A130595*A097805*A007318 = (inverse Pascal matrix)*(padded Pascal matrix)*(Pascal matrix) = A130595*A200139. Inverse is A097808 = A130595*(padded A130595)*A007318. - Tom Copeland, Nov 14 2016
T(i, j) = binomial(i+j, j)-T(i-1, j). - Laszlo Major, Apr 11 2017
Recurrence for row polynomials (with row indexing starting at n = 1): R(n,x) = x*R(n-1,x) + (x + 1)*R(n-2,x) with R(1,x) = 1 and R(2,x) = x. - Peter Bala, Feb 07 2024
From Miquel A. Fiol, Sep 30 2024: (Start)
The triangle can be seen as a slice of a 3-dimensional table that links it to well-known sequences as follows.
The j-th column of the triangle, T(i,j) for i >= j, equals A(n,c1,c2) = Sum_{k=0..floor(n/2)} binomial(c1+2*k-1,2*k)*binomial(c2+n-2*k-1,n-2*k) when c1=1, c2=j, and n=i-j.
This gives T(i,j) = Sum_{k=0..floor((i-j)/2)} binomial(i-2*k-1, j-1). For other values of (c1,c2), see the example below. (End)

Formula corrected by Philippe Deléham, Jan 11 2014

A158454 Riordan array (1/(1-x^2), x/(1+x)^2).

Original entry on oeis.org

1, 0, 1, 1, -2, 1, 0, 4, -4, 1, 1, -6, 11, -6, 1, 0, 9, -24, 22, -8, 1, 1, -12, 46, -62, 37, -10, 1, 0, 16, -80, 148, -128, 56, -12, 1, 1, -20, 130, -314, 367, -230, 79, -14, 1, 0, 25, -200, 610, -920, 771, -376, 106, -16, 1, 1, -30, 295, -1106, 2083, -2232, 1444, -574, 137, -18, 1

Offset: 0

Paul Barry, Mar 19 2009

Coefficient table of the square of Chebyshev S-polynomials. For the S-polynomials see A049310, and for a proof see the array A181878, where the odd numbered rows are shifted by one to the left. - Wolfdieter Lang, Dec 15 2010
Image of the Catalan numbers A000108 by this matrix is the all 1's sequence.
Image of the central binomial numbers A000984 by this matrix is the counting numbers A000027.
Inverse array is the Riordan array (1-x^2*c(x)^4, xc(x)^2), where c(x) is the g.f. of A000108.
The row polynomials R(n, x) = Sum_{k=0..n} T(n, k)*x^k belong to the class of Boas-Buck polynomials. Hence they satisfy the Boas-Buck identity: (E_x - n*1)*R(n, x) = -Sum_{p=0..n-1} ((1 - (-1)^p)*1 + 2*(-1)^(p+1)*E_x) R(n-1-p, x) for n >= 0. See the Boas-Buck comments and references in A046521. The ensuing recurrence for the column sequences is given in the formula section. - Wolfdieter Lang, Aug 10 2017

			The triangle T(n,k) begins:
  n\k  0   1    2     3     4      5     6     7    8    9  10...
  0:   1
  1:   0   1
  2:   1  -2    1
  3:   0   4   -4     1
  4:   1  -6   11    -6     1
  5:   0   9  -24    22    -8      1
  6:   1 -12   46   -62    37    -10     1
  7:   0  16  -80   148  -128     56   -12     1
  8:   1 -20  130  -314   367   -230    79   -14    1
  9:   0  25 -200   610  -920    771  -376   106  -16    1
  10:  1 -30  295 -1106  2083  -2232  1444  -574  137  -18   1
  ... Reformatted and extended by _Wolfdieter Lang_, Nov 24 2012
Recurrences (from A- and Z-sequences):
  1 = T(6,0) = 0*0 + 1*9 +2*(-24) + 5*22 + 14*(-8)+ 42*1.
-80 = T(7,2) = 1*(-12) -2*(46) -1*(-62) -2*37 -5*(-10) -14*1. - _Wolfdieter Lang_, Dec 20 2010

Kenneth Edwards, Michael A. Allen, A new combinatorial interpretation of the Fibonacci numbers squared, Part II, Fib. Q., 58:2 (2020), 169-177.

G. C. Greubel, Rows n=0..100 of triangle, flattened
Paul Barry and A. Hennessy, Notes on a Family of Riordan Arrays and Associated Integer Hankel Transforms , JIS 12 (2009) 09.5.3.
Jia Huang, Partially Palindromic Compositions, J. Int. Seq. (2023) Vol. 26, Art. 23.4.1. See pp. 4, 17.
Richard J. Mathar, Recurrence for the Atkinson-Steenwijk Integrals for Resistors in the Infinite Triangular Lattice, viXra:2208.0111, Aug. 2022.

Cf. A000027, A000108, A000984, A006232, A049310, A046521 (Boas-Buck info), A115141, A181878.
From Wolfdieter Lang, Aug 10 2017: (Start)
Row sums A011655(n+1), alternating row sums A007598(n+1)*(-1)^(n+1).
Column sequences k=0..5: A059841, A002620(n+2)*(-1)^(n), A001752(n)*(-1)^n, A001769(n)*(-1)^n, A001780(n)*(-1)^n, A001786(n)*(-1)^n. (End)

T:=Flat(List([0..10], n->List([0..n], k->Sum([0..n], j-> (-1)^(j-k)*Binomial(k+j, 2*k))))); # G. C. Greubel, Dec 15 2018

[[(&+[(-1)^(j-k)*Binomial(k+j, 2*k): j in [0..n]]): k in [0..n]]: n in [0..10]]; // G. C. Greubel, Dec 15 2018

A158454 := proc(n,k) (-1)^(n+k)*add(binomial(n+k-1-2*j,2*k-1),j=0..floor(n/2)) ; end proc;
seq(seq(A158454(n,k),k=0..n),n=0..10) ; # R. J. Mathar, Dec 17 2010

nmax = 10; t[n_, k_] := (-1)^(n+k)* Sum[Binomial[n+k-1-2*j, 2*k-1], {j, 0, Floor[n/2]}]; t[n_?EvenQ, 0] = 1; Flatten[ Table[ t[n, k], {n, 0, nmax}, {k, 0, n}]] (* Jean-François Alcover, Nov 08 2011, after Maple *)
With[{m = 15}, CoefficientList[CoefficientList[Series[(1+x)/((1-x)*(1 + x)^2 -t*x*(1-x)), {x, 0, m}, {t, 0, m}], x], t]]//Flatten (* G. C. Greubel, Dec 15 2018 *)
T[n_, 0] := Boole[EvenQ[n]]; T[n_, k_] := (-1)^(n - k) Binomial[k+n-1, 2*k-1] HypergeometricPFQ[{1, (k - n)/2, (1 + k - n)/2}, {(1 - k - n)/2, (2 - k - n)/2}, 1]; Table[T[n, k], {n, 0, 9}, {k, 0, n}] // TableForm  (* Peter Luschny, Aug 20 2022 *)

{T(n,k) = sum(j=0,n, (-1)^(j-k)*binomial(k+j, 2*k))};
for(n=0, 10, for(k=0,n, print1(T(n,k), ", "))) \\ G. C. Greubel, Dec 15 2018

[[sum((-1)^(j-k)*binomial(k+j, 2*k) for j in range(n+1)) for k in range(n+1)] for n in range(10)] # G. C. Greubel, Dec 15 2018

Number triangle T(n, k) = Sum_{j=0..n} (-1)^(j-k)*binomial(k+j, 2*k) = Sum_{j=0..n-k} (-1)^(n-k-j)*binomial(n+k-j, 2*k).
O.g.f. column k with leading zeros (Riordan array, see NAME): (1/(1-x^2))*(x/(1+x)^2)^k, k >= 0. - Wolfdieter Lang, Dec 15 2010
T(n, k) = (-1)^(n-k)*Sum_{j=0..floor(n/2)} binomial(n+k-1-2*j, 2*k-1), 0 <= k <= n, else 0. From the o.g.f. for column k after convolution. - Wolfdieter Lang, Dec 17 2010
O.g.f. row polynomials (rising powers in y): ((1+x)/(1-x))/(1+(2-y)*x+x^2) = Sum_{n>=0} S(n,sqrt(y))^2*x^n, with Chebyshev S-polynomials from A049310. - Wolfdieter Lang, Dec 15 2010
Recurrences from the A- and Z-sequences for Riordan arrays. See the W. Lang link under A006232 for details and references.
  T(n, 0) = Sum_{j=0..n-1} Z(j)*T(n-1, j), n >= 1.
  T(n, k) = Sum_{j=0..n-k} A(j)*T(n-1, k-1+j), n >= k >= 1.
  Here Z(0)=0 and Z(j) = A000108(j), j >= 1, (o.g.f. -1 + c(x), with the Catalan o.g.f. c(x)), and A(j) = A115141(j) = [1,-2,-1,-2,-5,-14,...], j >= 0, with o.g.f. 1/c(x)^2. - Wolfdieter Lang, Dec 20 2010
T(n, k) = Sum_{m=0..n} A129818(m, k), 0 <= k <= n. - Wolfdieter Lang, Dec 15 2010
Boas-Buck recurrence for column k: R(n, k) = (1/(n-k))*Sum_{p=k..n-1}((-1)^(n-p)*(2*k+1) + 1) * R(p, k), for n > k >= 0, with input R(k, k) = 1. See a comment above. - Wolfdieter Lang, Aug 10 2017
G.f.: (1 + x)/((1 - x)*(1 + x)^2 - t*x*(1 - x)). - G. C. Greubel, Dec 15 2018
T(n, k) = (-1)^(n - k)*binomial(k + n - 1, 2*k-1)*hypergeom([1, (k - n)/2, (1 + k - n)/2], [(1 - k - n)/2, (2 - k - n)/2], 1) for k >= 1 . - Peter Luschny, Aug 20 2022

A112465 Riordan array (1/(1+x), x/(1-x)).

Original entry on oeis.org

1, -1, 1, 1, 0, 1, -1, 1, 1, 1, 1, 0, 2, 2, 1, -1, 1, 2, 4, 3, 1, 1, 0, 3, 6, 7, 4, 1, -1, 1, 3, 9, 13, 11, 5, 1, 1, 0, 4, 12, 22, 24, 16, 6, 1, -1, 1, 4, 16, 34, 46, 40, 22, 7, 1, 1, 0, 5, 20, 50, 80, 86, 62, 29, 8, 1, -1, 1, 5, 25, 70, 130, 166, 148, 91, 37, 9, 1, 1, 0, 6, 30, 95, 200, 296, 314, 239, 128, 46, 10, 1

Offset: 0

Paul Barry, Sep 06 2005

Inverse is A112466. Note that C(n,k) = Sum_{j = 0..n-k} C(j+k-1, j).

			Triangle starts
   1;
  -1, 1;
   1, 0, 1;
  -1, 1, 1,  1;
   1, 0, 2,  2,  1;
  -1, 1, 2,  4,  3,  1;
   1, 0, 3,  6,  7,  4,  1;
  -1, 1, 3,  9, 13, 11,  5, 1;
   1, 0, 4, 12, 22, 24, 16, 6, 1;
Production matrix begins
  -1, 1;
   0, 1, 1;
   0, 0, 1, 1;
   0, 0, 0, 1, 1;
   0, 0, 0, 0, 1, 1;
   0, 0, 0, 0, 0, 1, 1;
   0, 0, 0, 0, 0, 0, 1, 1;
   0, 0, 0, 0, 0, 0, 0, 1, 1; - _Paul Barry_, Apr 08 2011

Reinhard Zumkeller, Rows n = 0..125 of triangle, flattened
Roland Bacher, Chebyshev polynomials, quadratic surds and a variation of Pascal's triangle, arXiv:1509.09054 [math.CO], 2015.
E. Deutsch, L. Ferrari and S. Rinaldi, Production Matrices, Advances in Mathematics, 34 (2005) pp. 101-122.
Index entries for triangles and arrays related to Pascal's triangle

Cf. A059260, A108561, A112466, A112468.
Columns: A033999(n) (k=0), A000035(n) (k=1), A004526(n) (k=2), A002620(n-1) (k=3), A002623(n-4) (k=4), A001752(n-5) (k=5), A001753(n-6) (k=6), A001769(n-7) (k=7), A001779(n-8) (k=8), A001780(n-9) (k=9), A001781(n-10) (k=10), A001786(n-11) (k=11), A001808(n-12) (k=12).
Diagonals: A000012(n) (k=n), A023443(n) (k=n-1), A152947(n-1) (k=n-2), A283551(n-3) (k=n-3).
Main diagonal: A072547.
Sums: A078008 (row), A078024 (diagonal), A092220 (signed diagonal), A280560 (signed row).

a112465 n k = a112465_tabl !! n !! k
a112465_row n = a112465_tabl !! n
a112465_tabl = iterate f [1] where
   f xs'@(x:xs) = zipWith (+) ([-x] ++ xs ++ [0]) ([0] ++ xs')
-- Reinhard Zumkeller, Jan 03 2014

A112465:= func< n,k | (-1)^(n+k)*(&+[(-1)^j*Binomial(j+k-1,j): j in [0..n-k]]) >;
[A112465(n,k): k in [0..n], n in [0..13]]; // G. C. Greubel, Apr 18 2025

T[n_, k_]:= Sum[Binomial[j+k-1, j]*(-1)^(n-k-j), {j, 0, n-k}];
Table[T[n,k], {n,0,12}, {k,0,n}]//Flatten (* Jean-François Alcover, Jul 23 2018 *)

def A112465(n,k): return (-1)^(n+k)*sum((-1)^j*binomial(j+k-1,j) for j in range(n-k+1))
print(flatten([[A112465(n,k) for k in range(n+1)] for n in range(13)])) # G. C. Greubel, Apr 18 2025

Number triangle T(n, k) = Sum_{j=0..n-k} (-1)^(n-k-j)*C(j+k-1, j).
T(2*n, n) = A072547(n) (main diagonal). - Paul Barry, Apr 08 2011
From Reinhard Zumkeller, Jan 03 2014: (Start)
T(n, k) = T(n-1, k-1) + T(n-1, k), 0 < k < n, with T(n, 0) = (-1)^n and T(n, n) = 1.
T(n, k) = A108561(n, n-k). (End)
T(n, k) = T(n-1, k-1) + T(n-2, k) + T(n-2, k-1), T(0, 0) = 1, T(1, 0) = -1, T(1, 1) = 1, T(n, k) = 0 if k < 0 or if k > n. - Philippe Deléham, Jan 11 2014
exp(x) * e.g.f. for row n = e.g.f. for diagonal n. For example, for n = 3 we have exp(x)*(-1 + x + x^2/2! + x^3/3!) = -1 + 2*x^2/2! + 6*x^3/3! + 13*x^4/4! + .... The same property holds more generally for Riordan arrays of the form ( f(x), x/(1 - x) ). - Peter Bala, Dec 21 2014

A128494 Coefficient table for sums of Chebyshev's S-Polynomials.

Original entry on oeis.org

1, 1, 1, 0, 1, 1, 0, -1, 1, 1, 1, -1, -2, 1, 1, 1, 2, -2, -3, 1, 1, 0, 2, 4, -3, -4, 1, 1, 0, -2, 4, 7, -4, -5, 1, 1, 1, -2, -6, 7, 11, -5, -6, 1, 1, 1, 3, -6, -13, 11, 16, -6, -7, 1, 1, 0, 3, 9, -13, -24, 16, 22, -7, -8, 1, 1, 0, -3, 9, 22, -24, -40, 22, 29, -8, -9, 1, 1, 1, -3, -12, 22, 46, -40, -62, 29, 37, -9, -10, 1, 1, 1, 4, -12

Offset: 0

Wolfdieter Lang, Apr 04 2007

See A049310 for the coefficient table of Chebyshev's S(n,x)=U(n,x/2) polynomials.

This is a 'repetition triangle' based on a signed version of triangle A059260: a(2*p,2*k) = a(2*p+1,2*k) = A059260(p+k,2*k)*(-1)^(p+k) and a(2*p+1,2*k+1) = a(2*p+2,2*k+1) = A059260(p+k+1,2*k+1)*(-1)^(p+k), k >= 0.

			The triangle a(n,m) begins:
  n\m  0   1   2   3   4   5   6   7   8   9  10
   0:  1
   1:  1   1
   2:  0   1   1
   3:  0  -1   1   1
   4:  1  -1  -2   1   1
   5:  1   2  -2  -3   1   1
   6:  0   2   4  -3  -4   1   1
   7:  0  -2   4   7  -4  -5   1   1
   8:  1  -2  -6   7  11  -5  -6   1   1
   9:  1   3  -6 -13  11  16  -6  -7   1   1
  10:  0   3   9 -13 -24  16  22  -7  -8   1   1
... reformatted by _Wolfdieter Lang_, Oct 16 2012
Row polynomial S(1;4,x) = 1 - x - 2*x^2 + x^3 + x^4 = Sum_{k=0..4} S(k,x).
S(4,y)*S(5,y)/y = 3 - 13*y^2 + 16*y^4 - 7*y^6 + y^8, with y=sqrt(2+x) this becomes S(1;4,x).
From _Wolfdieter Lang_, Oct 16 2012: (Start)
S(1;4,x) = (1 - (S(5,x) - S(4,x)))/(2-x) = (1-x)*(2-x)*(1+x)*(1-x-x^2)/(2-x) = (1-x)*(1+x)*(1-x-x^2).
S(5,x) - S(4,x) = R(11,sqrt(2+x))/sqrt(2+x) = -1 + 3*x + 3*x^2 - 4*x^3 - x^4 + x^5. (End)

Wolfdieter Lang, First 15 rows
Per Alexandersson, Luis Angel González-Serrano, and Egor A. Maximenko, Mario Alberto Moctezuma-Salazar, Symmetric polynomials in the symplectic alphabet and their expression via Dickson-Zhukovsky variables, arXiv:1912.12725 [math.CO], 2019.
Per Alexandersson, Luis Angel González-Serrano, Egor A. Maximenko, and Mario Alberto Moctezuma-Salazar, Symmetric Polynomials in the Symplectic Alphabet and the Change of Variables z_j = x_j + x_j^(-1), The Elec. J. of Combinatorics (2021) Vol. 28, No. 1, #P1.56.

Row sums (signed): A021823(n+2). Row sums (unsigned): A070550(n).
Cf. A128495 for S(2; n, x) coefficient table.
The column sequences (unsigned) are, for m=0..4: A021923, A002265, A008642, A128498, A128499.
For m >= 1 the column sequences (without leading zeros) are of the form a(m, 2*k) = a(m, 2*k+1) = ((-1)^k)*b(m, k) with the sequences b(m, k), given for m=1..11 by A008619, A002620, A002623, A001752, A001753, A001769, A001779, A001780, A001781, A001786, A001808.

S(1;n,x) = Sum_{k=0..n} S(k,x) = Sum_{m=0..n} a(n,m)*x^m, n >= 0.
a(n,m) = [x^m](S(n,y)*S(n+1,y)/y) with y:=sqrt(2+x).
G.f. for column m: (x^m)/((1-x)*(1+x^2)^(m+1)), which shows that this is a lower diagonal matrix of the Riordan type, named (1/((1+x^2)*(1-x)), x/(1+x^2)).
From Wolfdieter Lang, Oct 16 2012: (Start)
a(n,m) = [x^m](1- (S(n+1,x) - S(n,x)))/(2-x). From the Binet - de Moivre formula for S and use of the geometric sum.
a(n,m) = [x^m](1- R(2*n+3,sqrt(2+x))/sqrt(2+x))/(2-x) with the monic integer T-polynomials R with coefficient triangle given in A127672. From the odd part of the bisection of the T-polynomials. (End)

cp's OEIS Frontend

A003945 Expansion of g.f. (1+x)/(1-2*x).

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Maple

Mathematica

PARI

Formula

Extensions

A059260 Triangle read by rows giving coefficient T(i,j) of x^i y^j in 1/(1-y-x*y-x^2) = 1/((1+x)(1-x-y)) for (i,j) = (0,0), (1,0), (0,1), (2,0), (1,1), (0,2), ...

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

PARI

Python

Sage

Formula

Extensions

A158454 Riordan array (1/(1-x^2), x/(1+x)^2).

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

GAP

Magma

Maple

Mathematica

PARI

Sage

Formula

A112465 Riordan array (1/(1+x), x/(1-x)).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Haskell

Magma

Mathematica

SageMath

Formula

A128494 Coefficient table for sums of Chebyshev's S-Polynomials.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Formula