A193844 -id:A193844 - cp's OEIS frontend

A193845 Mirror of the triangle A193844.

1, 3, 1, 7, 5, 1, 15, 17, 7, 1, 31, 49, 31, 9, 1, 63, 129, 111, 49, 11, 1, 127, 321, 351, 209, 71, 13, 1, 255, 769, 1023, 769, 351, 97, 15, 1, 511, 1793, 2815, 2561, 1471, 545, 127, 17, 1, 1023, 4097, 7423, 7937, 5503, 2561, 799, 161, 19, 1

Offset: 0

Clark Kimberling, Aug 07 2011

This triangle is obtained by reversing the rows of the triangle A193844.
From Philippe Deléham, Jan 17 2014: (Start)
Subtriangle of the triangle in A112857.
T(n,0)   = A000225(n+1).
T(n,1)   = A000337(n).
T(n+2,2) = A055580(n).
T(n+3,3) = A027608(n).
T(n+4,4) = A211386(n).
T(n+5,5) = A211388(n).
T(n,n)   = A000012(n).
T(n+1,n) = A005408(n).
T(n+2,n) = A056220(n+2).
T(n+3,n) = A199899(n+1).
Row sums are A003462(n+1).
Diagonal sums are A048739(n).
Riordan array (1/((1-2*x)*(1-x)), x/(1-2*x)). (End)
Consider the transformation 1 + x + x^2 + x^3 + ... + x^n = A_0*(x-2)^0 + A_1*(x-2)^1 + A_2*(x-2)^2 + ... + A_n*(x-2)^n. This sequence gives A_0, ... A_n as the entries in the n-th row of this triangle, starting at n = 0. - Derek Orr, Oct 14 2014
The n-th row lists the coefficients of the polynomial sum_{k=0..n} (X+2)^k, in order of increasing powers. - M. F. Hasler, Oct 15 2014

			First six rows:
1
3....1
7....5....1
15...17...7....1
31...49...31...9...1
63...129..111..49..11..1

Michael De Vlieger, Table of n, a(n) for n = 0..11475 (rows 0 <= n <= 150, flattened)
Russell Jay Hendel, A Method for Uniformly Proving a Family of Identities, arXiv:2107.03549 [math.CO], 2021.

Cf. A193844.
Cf. Columns: A000225, A000337, A055580, A027608, A211386, A211388
Cf. Diagonals: A000012, A005408, A056220, A199899

z = 10;
p[n_, x_] := (x + 1)^n;
q[n_, x_] := (x + 1)^n
p1[n_, k_] := Coefficient[p[n, x], x^k];
p1[n_, 0] := p[n, x] /. x -> 0;
d[n_, x_] := Sum[p1[n, k]*q[n - 1 - k, x], {k, 0, n - 1}]
h[n_] := CoefficientList[d[n, x], {x}]
TableForm[Table[Reverse[h[n]], {n, 0, z}]]
Flatten[Table[Reverse[h[n]], {n, -1, z}]]  (* A193844 *)
TableForm[Table[h[n], {n, 0, z}]]
Flatten[Table[h[n], {n, -1, z}]]  (* A193845 *)
Table[2^k*Binomial[n + 1, k]*Hypergeometric2F1[1, -k, -k + n + 2, 1/2], {n, 0, 9}, {k, n, 0, -1}] // Flatten (* Michael De Vlieger, Nov 09 2021 *)

for(n=0,20,for(k=0,n,print1(1/k!*sum(i=0,n,(2^(i-k)*prod(j=0,k-1,i-j))),", "))) \\ Derek Orr, Oct 14 2014

T(n,k) = A193844(n,n-k).

T(n,k) = 3*T(n-1,k) + T(n-1,k-1) - 2*T(n-2,k) - T(n-2,k-1), T(0,0) = 1, T(1,0) = 3, T(1,1) = 1, T(n,k) = 0 if k<0 or if k>n. - Philippe Deléham, Jan 17 2014

A193842 Triangular array: the fission of the polynomial sequence ((x+1)^n: n >= 0) by the polynomial sequence ((x+2)^n: n >= 0). (Fission is defined at Comments.)

Original entry on oeis.org

1, 1, 4, 1, 7, 13, 1, 10, 34, 40, 1, 13, 64, 142, 121, 1, 16, 103, 334, 547, 364, 1, 19, 151, 643, 1549, 2005, 1093, 1, 22, 208, 1096, 3478, 6652, 7108, 3280, 1, 25, 274, 1720, 6766, 17086, 27064, 24604, 9841, 1, 28, 349, 2542, 11926, 37384, 78322, 105796

Offset: 0

Clark Kimberling, Aug 07 2011

Suppose that p = p(n)*x^n + p(n-1)*x^(n-1) + ... + p(1)*x + p(0) is a polynomial and that Q is a sequence of polynomials:
...
q(k,x) = t(k,0)*x^k + t(k,1)*x^(k-1) + ... + t(k,k-1)*x + t(k,k),
...
for k = 0, 1, 2, ...  The Q-downstep of p is the polynomial given by
...
D(p) = p(n)*q(n-1,x) + p(n-1)*q(n-2,x) + ... + p(1)*q(0,x). (Note that p(0) does not appear. "Q-downstep" as just defined differs slightly from "Q-downstep" as defined for a different purpose at A193649.)
...
Now suppose that P = (p(n,x): n >= 0) and Q = (q(n,x): n >= 0) are sequences of polynomials, where n indicates degree.  The fission of P by Q, denoted by P^^Q, is introduced here as the sequence W = (w(n,x): n >= 0) of polynomials defined by w(0,x) = 1 and w(n,x) = D(p(n+1,x)).
...
Strictly speaking, ^^ is an operation on sequences of polynomials.  However, if P and Q are regarded as numerical triangles (of coefficients of polynomials), then ^^ can be regarded as an operation on numerical triangles.  In this case, row n of P^^Q, for n > 0, is given by the matrix product P(n+1)*QQ(n), where P(n+1) =(p(n+1,n+1), p(n+1,n), ..., p(n+1,2), p(n+1,1)) and QQ(n) is the (n+1)-by-(n+1) matrix given by
...
q(n,0) .. q(n,1)............. q(n,n-1) .... q(n,n)
0 ....... q(n-1,0)........... q(n-1,n-2)... q(n-1,n-1)
0 ....... 0.................. q(n-2,n-3) .. q(n-2,n-2)
...
0 ....... 0.................. q(1,0) ...... q(1,1)
0 ....... 0 ................. 0 ........... q(0,0).
Here, the polynomial q(k,x) is taken to be
q(k,0)*x^k + q(k,1)x^(k-1) + ... + q(k,k)*x + q(k,k);
i.e., "q" is used instead of "t".
...
Example:  Let p(n,x) = (x+1)^n and q(n,x) = (x+2)^n.  Then
...
w(0,x) = 1 by the definition of W,
w(1,x) = D(p(2,x)) = 1*(x+2) + 2*1 = x + 4,
w(2,x) = D(p(3,x)) = 1*(x^2+4*x+4) + 3*(x+2) + 3*1 = x^2 + 7*x + 13,
w(3,x) = D(p(4,x)) = 1*(x^3+6*x^2+12*x+8) + 4*(x^2+4x+4) + 6*(x+2) + 4*1 = x^3 + 10*x^2 + 34*x + 40.
...
From these first 4 polynomials in the sequence P^^Q, we can write the first 4 rows of P^^Q when P, Q, and P^^Q are regarded as triangles:
1
1...4
1...7....13
1...10...34...40
...
In the following examples, r(P^^Q) is the mirror of P^^Q, obtained by reversing the rows of P^^Q.  Let u denote the polynomial x^n + x^(n-1) + ... + x + 1.
...
..P........Q...........P^^Q........r(P^^Q)
(x+1)^n....(x+2)^n.....A193842.....A193843
(x+1)^n....(x+1)^n.....A193844.....A193845
(x+2)^n....(x+1)^n.....A193846.....A193847
(2x+1)^n...(x+1)^n.....A193856.....A193857
(x+1)^n....(2x+1)^n....A193858.....A193859
(x+1)^n.......u........A054143.....A104709
..u........(x+1)^n.....A074909.....A074909
..u...........u........A002260.....A004736
(x+2)^n.......u........A193850.....A193851
..u.........(x+2)^n....A193844.....A193845
(2x+1)^n......u........A193860.....A193861
..u.........(2x+1)^n...A115068.....A193862
...
Regarding A193842,
col 1 ...... A000012
col 2 ...... A016777
col 3 ...... A081271
w(n,n) ..... A003462
w(n,n-1) ... A014915

			First six rows, for 0 <= k <= n and 0 <= n <= 5:
  1
  1...4
  1...7....13
  1...10...34....40
  1...13...64....142...121
  1...16...103...334...547...364

G. C. Greubel, Rows n = 0..100 of triangle, flattened
Digital Library of Mathematical Functions, Hypergeometric function, analytic properties.
Clark Kimberling, Fusion, Fission, and Factors, Fib. Q., 52(3) (2014), 195-202.

Cf. A193722 (fusion of P by Q), A193649 (Q-residue), A193843 (mirror of A193842).

[ (&+[3^(k-j)*Binomial(n-j,k-j): j in [0..k]]): k in [0..n], n in [0..10]]; // G. C. Greubel, Feb 18 2020

fission := proc(p, q, n) local d, k;
p(n+1,0)*q(n,x)+add(coeff(p(n+1,x),x^k)*q(n-k,x), k=1..n);
seq(coeff(%,x,n-k), k=0..n) end:
A193842_row := n -> fission((n,x) -> (x+1)^n, (n,x) -> (x+2)^n, n);
for n from 0 to 5 do A193842_row(n) od; # Peter Luschny, Jul 23 2014
# Alternatively:
p := (n,x) -> add(x^k*(1+3*x)^(n-k),k=0..n): for n from 0 to 7 do [n], PolynomialTools:-CoefficientList(p(n,x), x) od; # Peter Luschny, Jun 18 2017

(* First program *)
z = 10;
p[n_, x_] := (x + 1)^n;
q[n_, x_] := (x + 2)^n
p1[n_, k_] := Coefficient[p[n, x], x^k];
p1[n_, 0] := p[n, x] /. x -> 0;
d[n_, x_] := Sum[p1[n, k]*q[n - 1 - k, x], {k, 0, n - 1}]
h[n_] := CoefficientList[d[n, x], {x}]
TableForm[Table[Reverse[h[n]], {n, 0, z}]]
Flatten[Table[Reverse[h[n]], {n, -1, z}]]  (* A193842 *)
TableForm[Table[h[n], {n, 0, z}]]  (* A193843 *)
Flatten[Table[h[n], {n, -1, z}]]
(* Second program *)
Table[SeriesCoefficient[((x+3)^(n+1) -1)/(x+2), {x,0,n-k}], {n,0,10}, {k,0,n}]//Flatten (* G. C. Greubel, Feb 18 2020 *)

T(n,k) = sum(j=0,k, 3^(k-j)*binomial(n-j,k-j)); \\ G. C. Greubel, Feb 18 2020

from mpmath import mp, hyp2f1
mp.dps = 100; mp.pretty = True
def T(n,k):
    return 3^k*binomial(n,k)*hyp2f1(1,-k,-n,1/3)-0^(n-k)//2
for n in range(7):
    print([int(T(n,k)) for k in (0..n)]) # Peter Luschny, Jul 23 2014

# Second program using the 'fission' operation.
def fission(p, q, n):
    F = p(n+1,0)*q(n,x)+add(expand(p(n+1,x)).coefficient(x,k)*q(n-k,x) for k in (1..n))
    return [expand(F).coefficient(x,n-k) for k in (0..n)]
A193842_row = lambda k: fission(lambda n,x: (x+1)^n, lambda n,x: (x+2)^n, k)
for n in range(7): A193842_row(n) # Peter Luschny, Jul 23 2014

From Peter Bala, Jul 16 2013: (Start)
T(n,k) = Sum_{i = 0..k} 3^(k-i)*binomial(n-i,k-i).
O.g.f.: 1/((1 - x*t)*(1 - (1 + 3*x)*t)) = 1 + (1 + 4*x)*t + (1 + 7*x + 13*x^2)*t^2 + ....
The n-th row polynomial is R(n,x) = (1/(2*x + 1))*((3*x + 1)^(n+1) - x^(n+1)). (End)
T(n,k) = T(n-1,k) + 4*T(n-1,k-1) - T(n-2,k-1) - 3*T(n-2,k-2), T(0,0) = 1, T(1,0) = 1, T(1,1) = 4, T(n,k) = 0 if k < 0 or if k > n. - Philippe Deléham, Jan 17 2014
T(n,k) = 3^k * C(n,k) * hyp2F1(1, -k, -n, 1/3) with or without the additional term -0^(n-k)/2 depending on the exact definition of the hypergeometric function used. Compare formulas 15.2.5 and 15.2.6 in the DLMF reference. - Peter Luschny, Jul 23 2014

Name and Comments edited by Petros Hadjicostas, Jun 05 2020

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

A152920 Triangle read by rows: triangle A062111 reversed.

Original entry on oeis.org

0, 1, 1, 2, 3, 4, 3, 5, 8, 12, 4, 7, 12, 20, 32, 5, 9, 16, 28, 48, 80, 6, 11, 20, 36, 64, 112, 192, 7, 13, 24, 44, 80, 144, 256, 448, 8, 15, 28, 52, 96, 176, 320, 576, 1024, 9, 17, 32, 60, 112, 208, 384, 704, 1280, 2304, 10, 19, 36, 68, 128, 240, 448, 832, 1536, 2816, 5120

Offset: 0

Paul Curtz, Dec 15 2008

			Triangle starts:
  0;
  1,  1;
  2,  3,  4;
  3,  5,  8, 12;
  4,  7, 12, 20, 32;
  ...

Alois P. Heinz, Rows n = 0..150, flattened

Cf. A053220, A058877 (row sums), A193844, A212697.

Columns and diagonals: A001787, A001792, A034007, A045623, A045891, A111297, A159694, A159695, A159696, A159697.

[2^k*(n-k/2): k in [0..n], n in [0..12]]; // G. C. Greubel, Sep 27 2022

A062111 := proc(n,k) (k+n)*2^(k-n-1) ; end: A152920 := proc(n,k) A062111(n-k,n) ; end: for n from 0 to 15 do for k from 0 to n do printf("%d,",A152920(n,k)) ; od: od: # R. J. Mathar, Jan 22 2009
# second Maple program:
T:= proc(n, k) option remember;
     `if`(k=0, n, T(n, k-1)+T(n-1, k-1))
    end:
seq(seq(T(n, k), k=0..n), n=0..12);  # Alois P. Heinz, Sep 12 2022

t[0, k_]:= k; t[n_, k_]:= t[n, k]= t[n-1, k] + t[n-1, k+1];
Table[t[n-k, k], {n,0,10}, {k,n,0,-1}]//Flatten (* Jean-François Alcover, Sep 11 2016 *)

flatten([[2^(k-1)*(2*n-k) for k in range(n+1)] for n in range(12)]) # G. C. Greubel, Sep 27 2022

Row sums: (2^n-1)(n+1) = A058877(n). - R. J. Mathar, Jan 22 2009
T(2n, n) = 3*n*2^(n-1) = 3*A001787(n). - Philippe Deléham, Apr 20 2009
From Werner Schulte, Jul 31 2020: (Start)
T(n, k) = (2*n-k) * 2^(k-1) for 0 <= k <= n.
G.f.: Sum_{n>=0, k=0..n} T(n,k) * x^k * t^n = t*(1+x-3*x*t) / ((1-t)^2 * (1-2*x*t)^2).
Sum_{k=0..n} (-1)^k * binomial(n,k) * T(n,k) = 0 for n >= 0.
Sum_{k=0..n} binomial(n,k) * T(n,k) = 2*n * 3^(n-1) for n >= 0.
Define the array B(n,p) = (Sum_{k=0..n} binomial(p+k,p) * T(n,k))/(n+p+1) for n >= 0 and p >= 0. Then see the comment of Robert Coquereaux (2014) at A193844. Conjecture: B(n+1,p) = A(n,p). (End)
T(n, k) = T(n, k-1) + T(n-1, k-1) for k>=1, T(n,0) = n. - Alois P. Heinz, Sep 12 2022
From G. C. Greubel, Sep 27 2022: (Start)
T(n, n-1) = A001792(n).
T(2*n-1, n-1) = A053220(n).
T(2*n+1, n-1) = 3*A001792(n).
T(m*n, n) = (2*m-1)*A001787(n), for m >= 1. (End)

Edited by N. J. A. Sloane, Dec 19 2008

More terms from R. J. Mathar, Jan 22 2009

A145661 Triangle T(n,k) = (-1)^k * A119258(n,k) read by rows, 0 <= k <= n.

Original entry on oeis.org

1, 1, -1, 1, -3, 1, 1, -5, 7, -1, 1, -7, 17, -15, 1, 1, -9, 31, -49, 31, -1, 1, -11, 49, -111, 129, -63, 1, 1, -13, 71, -209, 351, -321, 127, -1, 1, -15, 97, -351, 769, -1023, 769, -255, 1, 1, -17, 127, -545, 1471, -2561, 2815, -1793, 511, -1, 1, -19, 161, -799, 2561

Offset: 0

Roger L. Bagula and Gary W. Adamson, Mar 16 2009

Row sums are (-1)^(n+1)*(n-1) for n >= 1.

A145661, A119258 and A118801 are all essentially the same (see the Shattuck and Waldhauser paper). - Tamas Waldhauser, Jul 25 2011

			Triangle begins
  1;
  1,  -1;
  1,  -3,   1;
  1,  -5,   7,   -1;
  1,  -7,  17,  -15,    1;
  1,  -9,  31,  -49,   31,    -1;
  1, -11,  49, -111,  129,   -63,    1;
  1, -13,  71, -209,  351,  -321,  127,    -1;
  1, -15,  97, -351,  769, -1023,  769,  -255,    1;
  1, -17, 127, -545, 1471, -2561, 2815, -1793,  511,    -1;
  1, -19, 161, -799, 2561, -5503, 7937, -7423, 4097, -1023, 1;

J.-F. Chamayou, A Random Difference Equation with Dufresne Variables Revisited, arXiv preprint arXiv:1410.1708 [math.PR], 2014. See Table in Section XII.
M. Shattuck and T. Waldhauser, Proofs of some binomial identities using the method of last squares, Fib. Quart., 48 (2010), 290-297.

Cf. A135233, A112857.

A193844 is an essentially identical triangle.

A119258 := proc(n,k)
        if k=0 or k = n then
                1;
        elif k<0 or k> n then
                0;
        else
                2*procname(n-1,k-1)+procname(n-1,k) ;
        end if;
end proc:
seq(seq(A119258(n,k),k=0..n),n=0..10) ;
A145661 := proc(n,k)
        (-1)^k*A119258(n,k) ;
end proc: # R. J. Mathar, Oct 21 2011

Clear[M, T, d, a, x, a0];
T[n_, m_, d_] := If[ m == n + 1, 1, If[n == d, 1, 0]];
M[d_] := MatrixPower[Table[T[n, m, d], {n, 1, d}, {m, 1, d}], d];
Table[M[d], {d, 1, 10}];
Table[Det[M[d]], {d, 1, 10}];
Table[CharacteristicPolynomial[M[d], x], {d, 1, 10}];
a = Join[{{1}}, Table[CoefficientList[Expand[CharacteristicPolynomial[M[n], x]], x], {n, 1, 10}]];
Flatten[a]
Join[{1}, Table[Apply[ Plus, CoefficientList[Expand[CharacteristicPolynomial[M[n], x]], x]], {n, 1, 10}]];

cp's OEIS Frontend

A193845 Mirror of the triangle A193844.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A193842 Triangular array: the fission of the polynomial sequence ((x+1)^n: n >= 0) by the polynomial sequence ((x+2)^n: n >= 0). (Fission is defined at Comments.)

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Magma

Maple

Mathematica

PARI

Sage

Sage

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

A152920 Triangle read by rows: triangle A062111 reversed.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Magma

Maple

Mathematica

SageMath

Formula

Extensions

A145661 Triangle T(n,k) = (-1)^k * A119258(n,k) read by rows, 0 <= k <= n.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica