A193842 -id:A193842 - cp's OEIS frontend

A193843 Mirror image of the triangle A193842.

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

Offset: 0

Clark Kimberling, Aug 07 2011

A193843 is obtained by reversing the rows of the triangle A193842.

Consider the transformation 1 + x + x^2 + x^3 + ... + x^n = A_0*(x-3)^0 + A_1*(x-3)^1 + A_2*(x-3)^2 + ... + A_n*(x-3)^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

			First six rows:
    1;
    4,   1;
   13,   7,   1;
   40,  34,  10,   1;
  121, 142,  64,  13,  1;
  364, 547, 334, 103, 16, 1;

E. Neuwirth, Recursively defined combinatorial functions: Extending Galton's board, Discrete Math. 239 (2001) 33-51.

Cf. A193842.
Cf. A000225 (alt.row sums), A002450 (row sums), A014916 (weighted sums).
Cf. A003462 (first col.), A082574 (anti-diag.sums).

T := proc(n,k) option remember;
if k<0 or k>n then 0 elif n=k then 1 elif n=1 and k=0 then 4
else 4*T(n-1,k) + T(n-1,k-1) -3*T(n-2,k) - T(n-2,k-1) fi end;
seq(seq(T(n,k), k=0..n), n=0..9); # Peter Luschny, Jan 18 2014

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}]]

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

Write w(n,k) for the triangle at A193842.  The triangle at A193843 is then given by w(n,n-k).
From Peter Bala, Jul 31 2012: (Start)
Matrix product of the shifted Pascal triangle {C(n+1,k+1)}n,k>=0 and the square of the Pascal triangle {2^(n-k)*C(n,k)}n,k>=0. Thus the triangle is the product of two triangular Galton arrays and so is also a Galton array (Neuwirth, Theorem 10).
T(n,k) = Sum_{i = 0..n} C(n+1,i+1)*C(i,k)*2^(i-k).
Riordan array (1/((1 - x)*(1 - 3*x)), x/(1 - 3*x)).
O.g.f.: 1/((1 - x)*(1 - (3 + t)*x)) = 1 + (4 + t)*x + (13 + 7*t + t^2)*x^2 + ....
First column A003462. Row sums A002450. Alternating row sums A000225.
Antidiagonal sums (Sum_{k} T(n-k,k)) A082574. Weighted sums (Sum_{k} k*T(n,k)) A014916. (End)
T(n,k) = 4*T(n-1,k) + T(n-1,k-1) - 3*T(n-2,k) - T(n-2,k-1), T(0,0) = T(1,1) = 1, T(1,0) = 4, T(n,k) = 0 if k < 0 or if k > n. - Philippe Deléham, Jan 17 2014

A002260 Triangle read by rows: T(n,k) = k for n >= 1, k = 1..n.

Original entry on oeis.org

1, 1, 2, 1, 2, 3, 1, 2, 3, 4, 1, 2, 3, 4, 5, 1, 2, 3, 4, 5, 6, 1, 2, 3, 4, 5, 6, 7, 1, 2, 3, 4, 5, 6, 7, 8, 1, 2, 3, 4, 5, 6, 7, 8, 9, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14

Offset: 1

Angele Hamel (amh(AT)maths.soton.ac.uk)

Old name: integers 1 to k followed by integers 1 to k+1 etc. (a fractal sequence).
Start counting again and again.
This is a "doubly fractal sequence" - see the Franklin T. Adams-Watters link.
The PARI functions t1, t2 can be used to read a square array T(n,k) (n >= 1, k >= 1) by antidiagonals downwards: n -> T(t1(n), t2(n)). - Michael Somos, Aug 23 2002
Reading this sequence as the antidiagonals of a rectangular array, row n is (n,n,n,...); this is the weight array (Cf. A144112) of the array A127779 (rectangular). - Clark Kimberling, Sep 16 2008
The upper trim of an arbitrary fractal sequence s is s, but the lower trim of s, although a fractal sequence, need not be s itself. However, the lower trim of A002260 is A002260. (The upper trim of s is what remains after the first occurrence of each term is deleted; the lower trim of s is what remains after all 0's are deleted from the sequence s-1.) - Clark Kimberling, Nov 02 2009
Eigensequence of the triangle = A001710 starting (1, 3, 12, 60, 360, ...). - Gary W. Adamson, Aug 02 2010
The triangle sums, see A180662 for their definitions, link this triangle of natural numbers with twenty-three different sequences, see the crossrefs. The mirror image of this triangle is A004736. - Johannes W. Meijer, Sep 22 2010
A002260 is the self-fission of the polynomial sequence (q(n,x)), where q(n,x) = x^n + x^(n-1) + ... + x + 1. See A193842 for the definition of fission. - Clark Kimberling, Aug 07 2011
Sequence B is called a reluctant sequence of sequence A, if B is triangle array read by rows: row number k coincides with first k elements of the sequence A. Sequence A002260 is reluctant sequence of sequence 1,2,3,... (A000027). - Boris Putievskiy, Dec 12 2012
This is the maximal sequence of positive integers, such that once an integer k has occurred, the number of k's always exceeds the number of (k+1)'s for the remainder of the sequence, with the first occurrence of the integers being in order. - Franklin T. Adams-Watters, Oct 23 2013
A002260 are the k antidiagonal numerators of rationals in Cantor's proof of 1-to-1 correspondence between rationals and naturals; the denominators are k-numerator+1. - Adriano Caroli, Mar 24 2015
T(n,k) gives the distance to the largest triangular number < n. - Ctibor O. Zizka, Apr 09 2020

			First six rows:
  1
  1   2
  1   2   3
  1   2   3   4
  1   2   3   4   5
  1   2   3   4   5   6

Clark Kimberling, "Fractal sequences and interspersions," Ars Combinatoria 45 (1997) 157-168. (Introduces upper trimming, lower trimming, and signature sequences.)
M. Myers, Smarandache Crescendo Subsequences, R. H. Wilde, An Anthology in Memoriam, Bristol Banner Books, Bristol, 1998, p. 19.
F. Smarandache, Sequences of Numbers Involved in Unsolved Problems, Hexis, Phoenix, 2006.

N. J. A. Sloane, Table of n, a(n) for n = 1..11325
Franklin T. Adams-Watters, Doubly Fractal Sequences
Matin Amini and Majid Jahangiri, A Novel Proof for Kimberling's Conjecture on Doubly Fractal Sequences, arXiv:1612.09481 [math.NT], 2017.
Bruno Berselli, Illustration of the initial terms
Jerry Brown et al., Problem 4619, School Science and Mathematics (USA), Vol. 97(4), 1997, pp. 221-222.
Glen Joyce C. Dulatre, Jamilah V. Alarcon, Vhenedict M. Florida, and Daisy Ann A. Disu, On Fractal Sequences, DMMMSU-CAS Science Monitor (2016-2017) Vol. 15 No. 2, 109-113.
Clark Kimberling, Fractal sequences
Clark Kimberling, Numeration systems and fractal sequences, Acta Arithmetica 73 (1995) 103-117.
Boris Putievskiy, Transformations Integer Sequences And Pairing Functions arXiv:1212.2732 [math.CO], 2012.
F. Smarandache, Sequences of Numbers Involved in Unsolved Problems.
Aaron Snook, Augmented Integer Linear Recurrences, 2012. - _N. J. A. Sloane_, Dec 19 2012
Michael Somos, Sequences used for indexing triangular or square arrays
Eric Weisstein's World of Mathematics, Smarandache Sequences
Eric Weisstein's World of Mathematics, Unit Fraction

Cf. A000217, A001710, A002262, A003056, A004736 (ordinal transform), A025581, A056534, A094727, A127779.
Cf. A140756 (alternating signs).
Triangle sums (see the comments): A000217 (Row1, Kn11); A004526 (Row2); A000096 (Kn12); A055998 (Kn13); A055999 (Kn14); A056000 (Kn15); A056115 (Kn16); A056119 (Kn17); A056121 (Kn18); A056126 (Kn19); A051942 (Kn110); A101859 (Kn111); A132754 (Kn112); A132755 (Kn113); A132756 (Kn114); A132757 (Kn115); A132758 (Kn116); A002620 (Kn21); A000290 (Kn3); A001840 (Ca2); A000326 (Ca3); A001972 (Gi2); A000384 (Gi3).
Cf. A108872.

a002260 n k = k
a002260_row n = [1..n]
a002260_tabl = iterate (\row -> map (+ 1) (0 : row)) [1]
-- Reinhard Zumkeller, Aug 04 2014, Jul 03 2012

at:=0; for n from 1 to 150 do for i from 1 to n do at:=at+1; lprint(at,i); od: od: # N. J. A. Sloane, Nov 01 2006
seq(seq(i,i=1..k),k=1..13); # Peter Luschny, Jul 06 2009

FoldList[{#1, #2} &, 1, Range[2, 13]] // Flatten (* Robert G. Wilson v, May 10 2011 *)
Flatten[Table[Range[n],{n,20}]] (* Harvey P. Dale, Jun 20 2013 *)

T(n,k):=sum((i+k)*binomial(i+k-1,i)*binomial(k,n-i-k+1)*(-1)^(n-i-k+1),i,max(0,n+1-2*k),n-k+1); /* Vladimir Kruchinin, Oct 18 2013 */

t1(n)=n-binomial(floor(1/2+sqrt(2*n)),2) /* this sequence */

A002260(n)=n-binomial((sqrtint(8*n)+1)\2,2) \\ M. F. Hasler, Mar 10 2014

from math import isqrt, comb
def A002260(n): return n-comb((m:=isqrt(k:=n<<1))+(k>m*(m+1)),2) # Chai Wah Wu, Nov 08 2024

a(n) = 1 + A002262(n).
n-th term is n - m*(m+1)/2 + 1, where m = floor((sqrt(8*n+1) - 1) / 2).
The above formula is for offset 0; for offset 1, use a(n) = n-m*(m+1)/2 where m = floor((-1+sqrt(8*n-7))/2). - Clark Kimberling, Jun 14 2011
a(k * (k + 1) / 2 + i) = i for k >= 0 and 0 < i <= k + 1. - Reinhard Zumkeller, Aug 14 2001
a(n) = (2*n + round(sqrt(2*n)) - round(sqrt(2*n))^2)/2. - Brian Tenneson, Oct 11 2003
a(n) = n - binomial(floor((1+sqrt(8*n))/2), 2). - Paul Barry, May 25 2004
T(n,k) = A001511(A118413(n,k)); T(n,k) = A003602(A118416(n,k)). - Reinhard Zumkeller, Apr 27 2006
a(A000217(n)) = A000217(n) - A000217(n-1), a(A000217(n-1) + 1) = 1, a(A000217(n) - 1) = A000217(n) - A000217(n-1) - 1. - Alexander R. Povolotsky, May 28 2008
a(A169581(n)) = A038566(n). - Reinhard Zumkeller, Dec 02 2009
T(n,k) = Sum_{i=1..k} i*binomial(k,i)*binomial(n-k,n-i) (regarded as triangle, see the example). - Mircea Merca, Apr 11 2012
T(n,k) = Sum_{i=max(0,n+1-2*k)..n-k+1} (i+k)*binomial(i+k-1,i)*binomial(k,n-i-k+1)*(-1)^(n-i-k+1). - Vladimir Kruchinin, Oct 18 2013
G.f.: x*y / ((1 - x) * (1 - x*y)^2) = Sum_{n,k>0} T(n,k) * x^n * y^k. - Michael Somos, Sep 17 2014
a(n) = n - S(n) where S(n) = sum of distinct terms in {a(1), a(2), ..., a(n-1)}. - David James Sycamore, Mar 10 2025

More terms from Reinhard Zumkeller, Apr 27 2006
Incorrect program removed by Franklin T. Adams-Watters, Mar 19 2010
New name from Omar E. Pol, Jul 15 2012

A004736 Triangle read by rows: row n lists the first n positive integers in decreasing order.

Original entry on oeis.org

1, 2, 1, 3, 2, 1, 4, 3, 2, 1, 5, 4, 3, 2, 1, 6, 5, 4, 3, 2, 1, 7, 6, 5, 4, 3, 2, 1, 8, 7, 6, 5, 4, 3, 2, 1, 9, 8, 7, 6, 5, 4, 3, 2, 1, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1, 11, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1, 12, 11, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1, 13, 12, 11, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1, 14, 13, 12, 11, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1

Offset: 1

R. Muller

Old name: Triangle T(n,k) = n-k, n >= 1, 0 <= k < n. Fractal sequence formed by repeatedly appending strings m, m-1, ..., 2, 1.
The PARI functions t1 (this sequence), t2 (A002260) can be used to read a square array T(n,k) (n >= 1, k >= 1) by antidiagonals upwards: n -> T(t1(n), t2(n)). - Michael Somos, Aug 23 2002, edited by M. F. Hasler, Mar 31 2020
A004736 is the mirror of the self-fission of the polynomial sequence (q(n,x)) given by q(n,x) = x^n+  x^(n-1) + ... + x + 1. See A193842 for the definition of fission. - Clark Kimberling, Aug 07 2011
Seen as flattened list: a(A000217(n)) = 1; a(A000124(n)) = n and a(m) <> n for m < A000124(n). - Reinhard Zumkeller, Jul 22 2012
Sequence B is called a reverse reluctant sequence of sequence A, if B is triangle array read by rows: row number k lists first k elements of the sequence A in reverse order. Sequence A004736 is the reverse reluctant sequence of sequence 1,2,3,... (A000027). - Boris Putievskiy, Dec 13 2012
The row sums equal A000217(n). The alternating row sums equal A004526(n+1). The antidiagonal sums equal A002620(n+1) respectively A008805(n-1). - Johannes W. Meijer, Sep 28 2013
From Peter Bala, Jul 29 2014: (Start)
Riordan array (1/(1-x)^2,x). Call this array M and for k = 0,1,2,... define M(k) to be the lower unit triangular block array
/I_k 0\
\ 0  M/
having the k X k identity matrix I_k as the upper left block; in particular, M(0) = M. Then the infinite matrix product M(0)*M(1)*M(2)*... is equal to A078812. (End)
T(n, k) gives the number of subsets of [n] := {1, 2, ..., n} with k consecutive numbers (consecutive k-subsets of [n]).  - Wolfdieter Lang, May 30 2018
a(n) gives the distance from (n-1) to the smallest triangular number > (n-1). - Ctibor O. Zizka, Apr 09 2020
To construct the sequence, start from 1,2,,3,,,4,,,,5,,,,,6... where there are n commas after each "n". Then fill the empty places by the sequence itself. - Benoit Cloitre, Aug 17 2021
T(n,k) is the number of cycles of length 2*(k+1) in the (n+1)-ladder graph. There are no cycles of odd length. - Mohammed Yaseen, Jan 14 2023
The first 77 entries are also the signature sequence of log(3)=A002391. Then the two sequences start to differ. - R. J. Mathar, May 27 2024

			The triangle T(n, k) starts:
   n\k  1  2  3  4  5  6  7  8  9 10 11 12 ...
   1:   1
   2:   2  1
   3:   3  2  1
   4:   4  3  2  1
   5:   5  4  3  2  1
   6:   6  5  4  3  2  1
   7:   7  6  5  4  3  2  1
   8:   8  7  6  5  4  3  2  1
   9:   9  8  7  6  5  4  3  2  1
  10:  10  9  8  7  6  5  4  3  2  1
  11:  11 10  9  8  7  6  5  4  3  2  1
  12:  12 11 10  9  8  7  6  5  4  3  2  1
  ... Reformatted. - _Wolfdieter Lang_, Feb 04 2015
T(6, 3) = 4 because the four consecutive 3-subsets of [6] = {1, 2, ..., 6} are {1, 2, 3}, {2, 3, 4}, {3, 4, 5} and {4, 5, 6}. - _Wolfdieter Lang_, May 30 2018

H. S. M. Coxeter, Regular Polytopes, 3rd ed., Dover, NY, 1973, pp 159-162.

Reinhard Zumkeller, Rows n = 1..100 of triangle, flattened
Isabel Cação, Helmuth R. Malonek, Maria Irene Falcão, and Graça Tomaz, Combinatorial Identities Associated with a Multidimensional Polynomial Sequence, J. Int. Seq., Vol. 21 (2018), Article 18.7.4.
Isabel Cação, Helmuth R. Malonek, Maria Irene Falcão, and Graça Tomaz, Intrinsic Properties of a Non-Symmetric Number Triangle, J. Int. Seq., Vol. 26 (2023), Article 23.4.8.
Glen Joyce C. Dulatre, Jamilah V. Alarcon, Vhenedict M. Florida, and Daisy Ann A. Disu, On Fractal Sequences, DMMMSU-CAS Science Monitor (2016-2017) Vol. 15 No. 2, 109-113.
Joaquín Figueroa, Ivan Gonzalez, and Daniel Salinas-Arizmendi, A Novel Transfer Matrix Framework for Multiple Dirac Delta Potentials, arXiv:2503.23134 [quant-ph], 2025. See pp. 4, 9.
Clark Kimberling, Fractal sequences
Clark Kimberling, Numeration systems and fractal sequences, Acta Arithmetica 73 (1995) 103-117.
Boris Putievskiy, Transformations Integer Sequences And Pairing Functions arXiv:1212.2732 [math.CO], 2012.
F. Smarandache, Sequences of Numbers Involved in Unsolved Problems.
Michael Somos, Sequences used for indexing triangular or square arrays
Eric Weisstein's World of Mathematics, Ladder Graph
Eric Weisstein's World of Mathematics, Smarandache Sequences

Cf. A000217, A002024, A002262, A003056, A025581.
Ordinal transform of A002260. See also A078812.
Cf. A141419 (partial sums per row).
Cf. A134546 (T * A051731, matrix product).
See A001511 for definition of ordinal transform.
Cf. A128174 (parity).

=if(row()>=column();row()-column()+1;"") [Mats Granvik, Jan 19 2009]

a004736 n k = n - k + 1
a004736_row n = a004736_tabl !! (n-1)
a004736_tabl = map reverse a002260_tabl
-- Reinhard Zumkeller, Aug 04 2014, Jul 22 2012

A004736 := proc(n,m) n-m+1 ; end:
T := (n, k) -> n-k+1: seq(seq(T(n,k), k=1..n), n=1..13); # Johannes W. Meijer, Sep 28 2013

Flatten[ Table[ Reverse[ Range[n]], {n, 12}]] (* Robert G. Wilson v, Apr 27 2004 *)
Table[Range[n,1,-1],{n,20}]//Flatten (* Harvey P. Dale, May 27 2020 *)

{a(n) = 1 + binomial(1 + floor(1/2 + sqrt(2*n)), 2) - n}

{t1(n) = binomial( floor(3/2 + sqrt(2*n)), 2) - n + 1} /* A004736 */

{t2(n) = n - binomial( floor(1/2 + sqrt(2*n)), 2)} /* A002260 */

apply( A004736(n)=1-n+(n=sqrtint(8*n)\/2)*(n+1)\2, [1..99]) \\ M. F. Hasler, Mar 31 2020

def agen(rows):
    for n in range(1, rows+1): yield from range(n, 0, -1)
print([an for an in agen(13)]) # Michael S. Branicky, Aug 17 2021

from math import comb, isqrt
def A004736(n): return comb((m:=isqrt(k:=n<<1))+(k>m*(m+1))+1,2)+1-n # Chai Wah Wu, Nov 08 2024

a(n+1) = 1 + A025581(n).
a(n) = (2 - 2*n + round(sqrt(2*n)) + round(sqrt(2*n))^2)/2. - Brian Tenneson, Oct 11 2003
G.f.: 1 / ((1-x)^2 * (1-x*y)). - Ralf Stephan, Jan 23 2005
Recursion: e(n,k) = (e(n - 1, k)*e(n, k - 1) + 1)/e(n - 1, k - 1). - Roger L. Bagula, Mar 25 2009
a(n) = (t*t+3*t+4)/2-n, where t = floor((-1+sqrt(8*n-7))/2). - Boris Putievskiy, Dec 13 2012
From Johannes W. Meijer, Sep 28 2013: (Start)
T(n, k) = n - k + 1, n >= 1 and 1 <= k <= n.
T(n, k) = A002260(n+k-1, n-k+1). (End)
a(n) = A000217(A002024(n)) - n + 1. - Enrique Pérez Herrero, Aug 29 2016

New name from Omar E. Pol, Jul 15 2012

A193722 Triangular array: the fusion of (x+1)^n and (x+2)^n; see Comments for the definition of fusion.

Original entry on oeis.org

1, 1, 2, 1, 5, 6, 1, 8, 21, 18, 1, 11, 45, 81, 54, 1, 14, 78, 216, 297, 162, 1, 17, 120, 450, 945, 1053, 486, 1, 20, 171, 810, 2295, 3888, 3645, 1458, 1, 23, 231, 1323, 4725, 10773, 15309, 12393, 4374, 1, 26, 300, 2016, 8694, 24948, 47628, 58320, 41553, 13122

Offset: 0

Clark Kimberling, Aug 04 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-upstep of p is the polynomial given by
...
U(p) = p(n)*q(n+1,x) + p(n-1)*q(n,x) + ... + p(0)*q(1,x); note that q(0,x) does not appear.
...
Now suppose that P=(p(n,x)) and Q=(q(n,x)) are sequences of polynomials, where n indicates degree.  The fusion of P by Q, denoted by P**Q, is introduced here as the sequence W=(w(n,x)) of polynomials defined by w(0,x)=1 and w(n+1,x)=U(p(n,x)).
...
Strictly speaking, ** is an operation on sequences of polynomials.  However, if P and Q are regarded as numerical triangles (e.g., coefficients of polynomials), then ** can be regarded as an operation on numerical triangles.  In this case, row (n+1) of P**Q, for n >= 0, is given by the matrix product P(n)*QQ(n), where P(n)=(p(n,n)...p(n,n-1)......p(n,1), p(n,0)) and QQ(n) is the (n+1)-by-(n+2) matrix given by
...
q(n+1,0) .. q(n+1,1)........... q(n+1,n) .... q(n+1,n+1)
0 ......... q(n,0)............. q(n,n-1) .... q(n,n)
0 ......... 0.................. q(n-1,n-2) .. q(n-1,n-1)
...
0 ......... 0.................. q(2,1) ...... q(2,2)
0 ......... 0 ................. q(1,0) ...... q(1,1);
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-1); i.e., "q" is used instead of "t".
...
If s=(s(1),s(2),s(3),...) is a sequence, then the infinite square matrix indicated by
s(1)...s(2)...s(3)...s(4)...s(5)...
..0....s(1)...s(2)...s(3)...s(4)...
..0......0....s(1)...s(2)...s(3)...
..0......0.......0...s(1)...s(2)...
is the self-fusion matrix of s; e.g., A202453, A202670.
...
Example:  let p(n,x)=(x+1)^n and q(n,x)=(x+2)^n.  Then
  ...
w(0,x) = 1 by definition of W
w(1,x) = U(p(0,x)) = U(1) = p(0,0)*q(1,x) = 1*(x+2) = x+2;
w(2,x) = U(p(1,x)) = U(x+1) = q(2,x) + q(1,x) = x^2+5x+6;
w(3,x) = U(p(2,x)) = U(x^2+2x+1) = q(3,x) + 2q(2,x) + q(1,x) = x^3+8x^2+21x+18;
  ...
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,  2;
  1,  5,  6;
  1,  8, 21, 18;
  ...
Generally, if P and Q are the sequences given by p(n,x)=(ax+b)^n and q(n,x)=(cx+d)^n, then P**Q is given by (cx+d)(bcx+a+bd)^n.
...
In the following examples, r(P**Q) is the mirror of P**Q, obtained by reversing the rows of P**Q.
...
..P...........Q.........P**Q.......r(P**Q)
(x+1)^n.....(x+1)^n.....A081277....A118800 (unsigned)
(x+1)^n.....(x+2)^n.....A193722....A193723
(x+2)^n.....(x+1)^n.....A193724....A193725
(x+2)^n.....(x+2)^n.....A193726....A193727
(x+2)^n.....(2x+1)^n....A193728....A193729
(2x+1)^n....(x+1)^n.....A038763....A136158
(2x+1)^n....(2x+1)^n....A193730....A193731
(2x+1)^n,...(x+1)^n.....A193734....A193735
...
Continuing, let u denote the polynomial x^n+x^(n-1)+...+x+1, and let Fibo[n,x] denote the n-th Fibonacci polynomial.
...
P.............Q.........P**Q.......r(P**Q)
Fib[n+1,x]...(x+1)^n....A193736....A193737
u.............u.........A193738....A193739
u**u..........u**u......A193740....A193741
...
Regarding A193722:
col 1 ..... A000012
col 2 ..... A016789
col 3 ..... A081266
w(n,n) .... A025192
w(n,n-1) .. A081038
...
Associated with "upstep" as defined above is "downstep" defined at A193842 in connection with fission.

			First six rows:
  1;
  1,   2;
  1,   5,   6;
  1,   8,  21,  18;
  1,  11,  45,  81,  54;
  1,  14,  78, 216, 297, 162;

Jinyuan Wang, Rows n=0..101 of triangle, flattened
Clark Kimberling, Fusion, Fission, and Factors, Fib. Q., 52 (2014), 195-202.

Cf. A081277, A084938, A118800, A193649, A193723-A193741, A202453.

Flat(List([0..10], n-> List([0..n], k-> 3^(k-1)*( Binomial(n-1,k) + 2*Binomial(n,k) ) ))); # G. C. Greubel, Feb 18 2020

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

fusion := 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-1);
[1,seq(coeff(%,x,n-1-k), k=0..n-1)] end:
p := (n, x) -> (x + 1)^n; q := (n, x) -> (x + 2)^n;
A193722_row := n -> fusion(p, q, n);
for n from 0 to 5 do A193722_row(n) od; # Peter Luschny, Jul 24 2014

(* First program *)
z = 9; a = 1; b = 1; c = 1; d = 2;
p[n_, x_] := (a*x + b)^n ; q[n_, x_] := (c*x + d)^n
t[n_, k_] := Coefficient[p[n, x], x^k]; t[n_, 0] := p[n, x] /. x -> 0;
w[n_, x_] := Sum[t[n, k]*q[n + 1 - k, x], {k, 0, n}]; w[-1, x_] := 1
g[n_] := CoefficientList[w[n, x], {x}]
TableForm[Table[Reverse[g[n]], {n, -1, z}]]
Flatten[Table[Reverse[g[n]], {n, -1, z}]] (* A193722 *)
TableForm[Table[g[n], {n, -1, z}]]
Flatten[Table[g[n], {n, -1, z}]] (* A193723 *)
(* Second program *)
Table[3^(k-1)*(Binomial[n-1,k] +2*Binomial[n,k]), {n,0,10}, {k,0,n}]//Flatten (* G. C. Greubel, Feb 18 2020 *)

T(n,k) = 3^(k-1)*(binomial(n-1,k) +2*binomial(n,k)); \\ G. C. Greubel, Feb 18 2020

def fusion(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-1))
    return [1]+[expand(F).coefficient(x,n-1-k) for k in (0..n-1)]
A193842_row = lambda k: fusion(lambda n,x: (x+1)^n, lambda n,x: (x+2)^n, k)
for n in range(7): A193842_row(n) # Peter Luschny, Jul 24 2014

Triangle T(n,k), read by rows, given by [1,0,0,0,0,0,0,0,...] DELTA [2,1,0,0,0,0,0,0,0,0,...] where DELTA is the operator defined in A084938. - Philippe Deléham, Oct 04 2011
T(n,k) = 3*T(n-1,k-1) + T(n-1,k) with T(0,0)=T(1,0)=1 and T(1,1)=2. - Philippe Deléham, Oct 05 2011
T(n, k) = 3^(k-1)*( binomial(n-1,k) + 2*binomial(n,k) ). - G. C. Greubel, Feb 18 2020

A074909 Running sum of Pascal's triangle (A007318), or beheaded Pascal's triangle read by beheaded rows.

Original entry on oeis.org

1, 1, 2, 1, 3, 3, 1, 4, 6, 4, 1, 5, 10, 10, 5, 1, 6, 15, 20, 15, 6, 1, 7, 21, 35, 35, 21, 7, 1, 8, 28, 56, 70, 56, 28, 8, 1, 9, 36, 84, 126, 126, 84, 36, 9, 1, 10, 45, 120, 210, 252, 210, 120, 45, 10, 1, 11, 55, 165, 330, 462, 462, 330, 165, 55, 11

Offset: 0

Wouter Meeussen, Oct 01 2002

This sequence counts the "almost triangular" partitions of n. A partition is triangular if it is of the form 0+1+2+...+k. Examples: 3=0+1+2, 6=0+1+2+3. An "almost triangular" partition is a triangular partition with at most 1 added to each of the parts. Examples: 7 = 1+1+2+3 = 0+2+2+3 = 0+1+3+3 = 0+1+2+4. Thus a(7)=4. 8 = 1+2+2+3 = 1+1+3+3 = 1+1+2+4 = 0+2+3+3 = 0+2+2+4 = 0+1+3+4 so a(8)=6. - Moshe Shmuel Newman, Dec 19 2002
The "almost triangular" partitions are the ones cycled by the operation of "Bulgarian solitaire", as defined by Martin Gardner.
Start with A007318 - I (I = Identity matrix), then delete right border of zeros. - Gary W. Adamson, Jun 15 2007
Also the number of increasing acyclic functions from {1..n-k+1} to {1..n+2}. A function f is acyclic if for every subset B of the domain the image of B under f does not equal B. For example, T(3,1)=4 since there are exactly 4 increasing acyclic functions from {1,2,3} to {1,2,3,4,5}: f1={(1,2),(2,3),(3,4)}, f2={(1,2),(2,3),(3,5)}, f3={(1,2),(2,4),(3,5)} and f4={(1,3),(2,4),(4,5)}. - Dennis P. Walsh, Mar 14 2008
Second Bernoulli polynomials are (from A164555 instead of A027641) B2(n,x) = 1; 1/2, 1; 1/6, 1, 1; 0, 1/2, 3/2, 1; -1/30, 0, 1, 2, 1; 0, -1/6, 0, 5/3, 5/2, 1; ... . Then (B2(n,x)/A002260) = 1; 1/2, 1/2; 1/6, 1/2, 1/3; 0, 1/4, 1/2, 1/4; -1/30, 0, 1/3, 1/2, 1/5; 0, -1/12, 0, 5/12, 1/2, 1/6; ... . See (from Faulhaber 1631) Jacob Bernoulli Summae Potestatum (sum of powers) in A159688. Inverse polynomials are 1; -1, 2; 1, -3, 3; -1, 4, -6, 4; ... = A074909 with negative even diagonals. Reflected A053382/A053383 = reflected B(n,x) = RB(n,x) = 1; -1/2, 1; 1/6, -1, 1; 0, 1/2, -3/2, 1; ... . A074909 is inverse of RB(n,x)/A002260 = 1; -1/2, 1/2; 1/6, -1/2, 1/3; 0, 1/4, -1/2, 1/4; ... . - Paul Curtz, Jun 21 2010
A054143 is the fission of the polynomial sequence (p(n,x)) given by p(n,x) = x^n + x^(n-1) + ... + x + 1 by the polynomial sequence ((x+1)^n). See A193842 for the definition of fission. - Clark Kimberling, Aug 07 2011
Reversal of A135278. - Philippe Deléham, Feb 11 2012
For a closed-form formula for arbitrary left and right borders of Pascal-like triangles see A228196. - Boris Putievskiy, Aug 19 2013
For a closed-form formula for generalized Pascal's triangle see A228576. - Boris Putievskiy, Sep 09 2013
From A238363, the operator equation d/d(:xD:)f(xD)={exp[d/d(xD)]-1}f(xD) = f(xD+1)-f(xD) follows. Choosing f(x) = x^n and using :xD:^n/n! = binomial(xD,n) and (xD)^n = Bell(n,:xD:), the Bell polynomials of A008277, it follows that the lower triangular matrix [padded A074909]
  A) = [St2]*[dP]*[St1] = A048993*A132440*[padded A008275]
  B) = [St2]*[dP]*[St2]^(-1)
  C) = [St1]^(-1)*[dP]*[St1],
  where [St1]=padded A008275 just as [St2]=A048993=padded A008277 whereas [padded A074909]=A007318-I with I=identity matrix. - Tom Copeland, Apr 25 2014
T(n,k) generated by m-gon expansions in the case of odd m with "vertex to side" version or even m with "vertex to vertes" version. Refer to triangle expansions in A061777 and A101946 (and their companions for m-gons) which are "vertex to vertex" and "vertex to side" versions respectively. The label values at each iteration can be arranged as a triangle. Any m-gon can also be arranged as the same triangle with conditions: (i) m is odd and expansion is "vertex to side" version or (ii) m is even and expansion is "vertex to vertex" version. m*Sum_{i=1..k} T(n,k) gives the total label value at the n-th iteration. See also A247976. Vertex to vertex: A061777, A247618, A247619, A247620. Vertex to side: A101946, A247903, A247904, A247905. - Kival Ngaokrajang Sep 28 2014
From Tom Copeland, Nov 12 2014: (Start)
With P(n,x) = [(x+1)^(n+1)-x^(n+1)], the row polynomials of this entry, Up(n,x) = P(n,x)/(n+1) form an Appell sequence of polynomials that are the umbral compositional inverses of the Bernoulli polynomials B(n,x), i.e., B[n,Up(.,x)] = x^n = Up[n,B(.,x)] under umbral substitution, e.g., B(.,x)^n = B(n,x).
The e.g.f. for the Bernoulli polynomials is [t/(e^t - 1)] e^(x*t), and for Up(n,x) it's exp[Up(.,x)t] = [(e^t - 1)/t] e^(x*t).
Another g.f. is G(t,x) = log[(1-x*t)/(1-(1+x)*t)] = log[1 + t /(1 + -(1+x)t)] = t/(1-t*Up(.,x)) = Up(0,x)*t + Up(1,x)*t^2 + Up(2,x)*t^3 + ... = t + (1+2x)/2 t^2 + (1+3x+3x^2)/3 t^3 + (1+4x+6x^2+4x^3)/4 t^4 + ... = -log(1-t*P(.,x)), expressed umbrally.
The inverse, Ginv(t,x), in t of the g.f. may be found in A008292 from Copeland's list of formulas (Sep 2014) with a=(1+x) and b=x. This relates these two sets of polynomials to algebraic geometry, e.g., elliptic curves, trigonometric expansions, Chebyshev polynomials, and the combinatorics of permutahedra and their duals.
Ginv(t,x) = [e^((1+x)t) - e^(xt)] / [(1+x) * e^((1+x)t) - x * e^(xt)] = [e^(t/2) - e^(-t/2)] / [(1+x)e^(t/2) - x*e^(-t/2)] = (e^t - 1) / [1 + (1+x) (e^t - 1)] = t - (1 + 2 x) t^2/2! + (1 + 6 x + 6 x^2) t^3/3! - (1 + 14 x + 36 x^2 + 24 x^3) t^4/4! + ... = -exp[-Perm(.,x)t], where Perm(n,x) are the reverse face polynomials, or reverse f-vectors, for the permutahedra, i.e., the face polynomials for the duals of the permutahedra. Cf. A090582, A019538, A049019, A133314, A135278.
With L(t,x) = t/(1+t*x) with inverse L(t,-x) in t, and Cinv(t) = e^t - 1 with inverse C(t) = log(1 + t). Then Ginv(t,x) = L[Cinv(t),(1+x)] and G(t,x) = C[L[t,-(1+x)]]. Note L is the special linear fractional (Mobius) transformation.
Connections among the combinatorics of the permutahedra, simplices (cf. A135278), and the associahedra can be made through the Lagrange inversion formula (LIF) of A133437 applied to G(t,x) (cf. A111785 and the Schroeder paths A126216 also), and similarly for the LIF A134685 applied to Ginv(t,x) involving the simplicial Whitehouse complex, phylogenetic trees, and other structures. (See also the LIFs A145271 and A133932). (End)
R = x - exp[-[B(n+1)/(n+1)]D] = x - exp[zeta(-n)D] is the raising operator for this normalized sequence UP(n,x) = P(n,x) / (n+1), that is, R UP(n,x) = UP(n+1,x), where D = d/dx, zeta(-n) is the value of the Riemann zeta function evaluated at -n, and B(n) is the n-th Bernoulli number, or constant B(n,0) of the Bernoulli polynomials. The raising operator for the Bernoulli polynomials is then x + exp[-[B(n+1)/(n+1)]D]. [Note added Nov 25 2014: exp[zeta(-n)D] is abbreviation of exp(a.D) with (a.)^n = a_n = zeta(-n)]. - Tom Copeland, Nov 17 2014
The diagonals T(n, n-m), for n >= m, give the m-th iterated partial sum of the positive integers; that is A000027(n+1), A000217(n), A000292(n-1), A000332(n+1), A000389(n+1), A000579(n+1), A000580(n+1), A000581(n+1), A000582(n+1), ... . - Wolfdieter Lang, May 21 2015
The transpose gives the numerical coefficients of the Maurer-Cartan form matrix for the general linear group GL(n,1) (cf. Olver, but note that the formula at the bottom of p. 6 has an error--the 12 should be a 15). - Tom Copeland, Nov 05 2015
The left invariant Maurer-Cartan form polynomial on p. 7 of the Olver paper for the group GL^n(1) is essentially a binomial convolution of the row polynomials of this entry with those of A133314, or equivalently the row polynomials generated by the product of the e.g.f. of this entry with that of A133314, with some reindexing. - Tom Copeland, Jul 03 2018
From Tom Copeland, Jul 10 2018: (Start)
The first column of the inverse matrix is the sequence of Bernoulli numbers, which follows from the umbral definition of the Bernoulli polynomials (B.(0) + x)^n = B_n(x) evaluated at x = 1 and the relation B_n(0) = B_n(1) for n > 1 and -B_1(0) = 1/2 = B_1(1), so the Bernoulli numbers can be calculated using Cramer's rule acting on this entry's matrix and, therefore, from the ratios of volumes of parallelepipeds determined by the columns of this entry's square submatrices. - Tom Copeland, Jul 10 2018
Umbrally composing the row polynomials with B_n(x), the Bernoulli polynomials, gives (B.(x)+1)^(n+1) - (B.(x))^(n+1) = d[x^(n+1)]/dx = (n+1)*x^n, so multiplying this entry as a lower triangular matrix (LTM) by the LTM of the coefficients of the Bernoulli polynomials gives the diagonal matrix of the natural numbers. Then the inverse matrix of this entry has the elements B_(n,k)/(k+1), where B_(n,k) is the coefficient of x^k for B_n(x), and the e.g.f. (1/x) (e^(xt)-1)/(e^t-1). (End)

			T(4,2) = 0+0+1+3+6 = 10 = binomial(5, 2).
Triangle T(n,k) begins:
n\k 0  1  2   3   4   5   6   7   8   9 10 11
0:  1
1:  1  2
2:  1  3  3
3:  1  4  6   4
4:  1  5 10  10   5
5:  1  6 15  20  15   6
6:  1  7 21  35  35  21   7
7:  1  8 28  56  70  56  28   8
8:  1  9 36  84 126 126  84  36  9
9:  1 10 45 120 210 252 210 120 45   10
10: 1 11 55 165 330 462 462 330 165  55 11
11: 1 12 66 220 495 792 924 792 495 220 66 12
... Reformatted. - _Wolfdieter Lang_, Nov 04 2014
.
Can be seen as the square array A(n, k) = binomial(n + k + 1, n) read by descending antidiagonals. A(n, k) is the number of monotone nondecreasing functions f: {1,2,..,k} -> {1,2,..,n}. - _Peter Luschny_, Aug 25 2019
[0]  1,  1,   1,   1,    1,    1,     1,     1,     1, ... A000012
[1]  2,  3,   4,   5,    6,    7,     8,     9,    10, ... A000027
[2]  3,  6,  10,  15,   21,   28,    36,    45,    55, ... A000217
[3]  4, 10,  20,  35,   56,   84,   120,   165,   220, ... A000292
[4]  5, 15,  35,  70,  126,  210,   330,   495,   715, ... A000332
[5]  6, 21,  56, 126,  252,  462,   792,  1287,  2002, ... A000389
[6]  7, 28,  84, 210,  462,  924,  1716,  3003,  5005, ... A000579
[7]  8, 36, 120, 330,  792, 1716,  3432,  6435, 11440, ... A000580
[8]  9, 45, 165, 495, 1287, 3003,  6435, 12870, 24310, ... A000581
[9] 10, 55, 220, 715, 2002, 5005, 11440, 24310, 48620, ... A000582

Reinhard Zumkeller, Rows n = 0..150 of triangle, flattened
Feryal Alayont and Evan Henning, Edge Covers of Caterpillars, Cycles with Pendants, and Spider Graphs, J. Int. Seq. (2023) Vol. 26, Art. 23.9.4.
Paul Barry, On the f-Matrices of Pascal-like Triangles Defined by Riordan Arrays, arXiv:1805.02274 [math.CO], 2018.
Tom Copeland, Appell polynomials, cumulants, noncrossing partitions, Dyck lattice paths, and inversion, 2014.
Tom Copeland, Generators, Inversion, and Matrix, Binomial, and Integral Transforms, 2015.
Sela Fried, The expected degree of noninvertibility of compositions of functions and a related combinatorial identity, arXiv:2202.13061 [math.CO], 2022.
J. R. Griggs, The Cycling of Partitions and Compositions under Repeated Shifts, Advances in Applied Mathematics, Volume 21, Issue 2, August 1998, Pages 205-227.
P. Olver, The canonical contact form p. 7.
D. P. Walsh, A short note on increasing acyclic functions

Cf. A007318, A181971, A228196, A228576.
Row sums are A000225, diagonal sums are A052952.
The number of acyclic functions is A058127.
Cf. A008292, A090582, A019538, A049019, A133314, A135278, A133437, A111785, A126216, A134685, A133932, A248727, A033282, A134264.
Cf. A000027, A000217, A000292, A000332, A000389, A000579, A000580, A000581, A000582.
Cf. A325191.

Flat(List([0..10],n->List([0..n],k->Binomial(n+1,k)))); # Muniru A Asiru, Jul 10 2018

a074909 n k = a074909_tabl !! n !! k
a074909_row n = a074909_tabl !! n
a074909_tabl = iterate
   (\row -> zipWith (+) ([0] ++ row) (row ++ [1])) [1]
-- Reinhard Zumkeller, Feb 25 2012

/* As triangle */ [[Binomial(n+1,k): k in [0..n]]: n in [0.. 15]]; // Vincenzo Librandi, Jul 22 2018

A074909 := proc(n,k)
    if k > n or k < 0 then
        0;
    else
        binomial(n+1,k) ;
    end if;
end proc: # Zerinvary Lajos, Nov 09 2006

Flatten[Join[{1}, Table[Sum[Binomial[k, m], {k, 0, n}], {n, 0, 12}, {m, 0, n}] ]] (* or *) Flatten[Join[{1}, Table[Binomial[n, m], {n, 12}, {m, n}]]]

print1(1);for(n=1,10,for(k=1,n,print1(", "binomial(n,k)))) \\ Charles R Greathouse IV, Mar 26 2013

from math import comb, isqrt
def A074909(n): return comb(r:=(m:=isqrt(k:=n+1<<1))+(k>m*(m+1)),n-comb(r,2)) # Chai Wah Wu, Nov 12 2024

T(n, k) = Sum_{i=0..n} C(i, n-k) = C(n+1, k).
Row n has g.f. (1+x)^(n+1)-x^(n+1).
E.g.f.: ((1+x)*e^t - x) e^(x*t). The row polynomials p_n(x) satisfy dp_n(x)/dx = (n+1)*p_(n-1)(x). - Tom Copeland, Jul 10 2018
T(n, k) = T(n-1, k-1) + T(n-1, k) for k: 0Reinhard Zumkeller, Apr 18 2005
T(n,k) = T(n-1,k) + 2*T(n-1,k-1) - T(n-2,k-1) - T(n-2,k-2), T(0,0)=1, T(1,0)=1, T(1,1)=2, T(n,k)=0 if k<0 or if k>n. - Philippe Deléham, Dec 27 2013
G.f. for column k (with leading zeros): x^(k-1)*(1/(1-x)^(k+1)-1), k >= 0. - Wolfdieter Lang, Nov 04 2014
Up(n, x+y) = (Up(.,x)+ y)^n = Sum_{k=0..n} binomial(n,k) Up(k,x)*y^(n-k), where Up(n,x) = ((x+1)^(n+1)-x^(n+1)) / (n+1) = P(n,x)/(n+1) with P(n,x) the n-th row polynomial of this entry. dUp(n,x)/dx = n * Up(n-1,x) and dP(n,x)/dx = (n+1)*P(n-1,x). - Tom Copeland, Nov 14 2014
The o.g.f. GF(x,t) = x / ((1-t*x)*(1-(1+t)x)) = x + (1+2t)*x^2 + (1+3t+3t^2)*x^3 + ... has the inverse GFinv(x,t) = (1+(1+2t)x-sqrt(1+(1+2t)*2x+x^2))/(2t(1+t)x) in x about 0, which generates the row polynomials (mod row signs) of A033282. The reciprocal of the o.g.f., i.e., x/GF(x,t), gives the free cumulants (1, -(1+2t) , t(1+t) , 0, 0, ...) associated with the moments defined by GFinv, and, in fact, these free cumulants generate these moments through the noncrossing partitions of A134264. The associated e.g.f. and relations to Grassmannians are described in A248727, whose polynomials are the basis for an Appell sequence of polynomials that are umbral compositional inverses of the Appell sequence formed from this entry's polynomials (distinct from the one described in the comments above, without the normalizing reciprocal). - Tom Copeland, Jan 07 2015
T(n, k) = (1/k!) * Sum_{i=0..k} Stirling1(k,i)*(n+1)^i, for 0<=k<=n. - Ridouane Oudra, Oct 23 2022

I added an initial 1 at the suggestion of Paul Barry, which makes the triangle a little nicer but may mean that some of the formulas will now need adjusting. - N. J. A. Sloane, Feb 11 2003

Formula section edited, checked and corrected by Wolfdieter Lang, Nov 04 2014

A054143 Triangular array T given by T(n,k) = Sum_{0 <= j <= i-n+k, n-k <= i <= n} C(i,j) for n >= 0 and 0 <= k <= n.

Original entry on oeis.org

1, 1, 3, 1, 4, 7, 1, 5, 11, 15, 1, 6, 16, 26, 31, 1, 7, 22, 42, 57, 63, 1, 8, 29, 64, 99, 120, 127, 1, 9, 37, 93, 163, 219, 247, 255, 1, 10, 46, 130, 256, 382, 466, 502, 511, 1, 11, 56, 176, 386, 638, 848, 968, 1013, 1023, 1, 12, 67, 232, 562, 1024, 1486, 1816, 1981, 2036, 2047

Offset: 0

Clark Kimberling, Mar 18 2000

Row sums given by A001787.
T(n, n) = -1 + 2^(n+1).
T(2*n, n) = 4^n.
T(2*n+1, n) = A000346(n).
T(2*n-1, n) = A032443(n).
A054143 is the fission of the polynomial sequence ((x+1)^n) by the polynomial sequence (q(n,x)) given by q(n,x) = x^n + x^(n-1) + ... + x + 1. See A193842 for the definition of fission. - Clark Kimberling, Aug 07 2011

			Triangle T(n,k) (with rows n >= 0 and columns k = 0..n) begins:
  1;
  1,  3;
  1,  4,  7;
  1,  5, 11, 15;
  1,  6, 16, 26, 31;
  1,  7, 22, 42, 57, 63;

G. C. Greubel, Rows n = 0..100 of triangle, flattened

Cf. A000346, A001787, A032443.

Diagonal sums give A005672. - Paul Barry, Feb 07 2003

Flat(List([0..12], n-> List([0..n], k-> Sum([n-k..n], i-> Sum([0..i-n+k], j-> Binomial(i,j) ))))); # G. C. Greubel, Aug 01 2019

T:= func< n,k | (&+[ (&+[ Binomial(i,j): j in [0..i-n+k]]): i in [n-k..n]]) >;
[T(n,k): k in [0..n], n in [0..12]]; // G. C. Greubel, Aug 01 2019

A054143_row := proc(n) add(add(binomial(n,n-i)*x^(k+1),i=0..k),k=0..n-1); coeffs(sort(%)) end; seq(print(A054143_row(n)),n=1..6); # Peter Luschny, Sep 29 2011

(* First program *)
z=10;
p[n_,x_]:=(x+1)^n;
q[0,x_]:=1;q[n_,x_]:=x*q[n-1,x]+1;
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}]] (* A054143 *)
TableForm[Table[h[n],{n,0,z}]]
Flatten[Table[h[n],{n,-1,z}]] (* A104709 *)
(* Second program *)
Table[Sum[Binomial[i, j], {i, n-k, n}, {j,0,i-n+k}], {n,0,12}, {k,0,n}]// Flatten (* G. C. Greubel, Aug 01 2019 *)

T(n,k) = sum(i=n-k,n, sum(j=0,i-n+k, binomial(i,j)));
for(n=0,12, for(k=0,n, print1(T(n,k), ", "))) \\ G. C. Greubel, Aug 01 2019

def T(n, k): return sum(sum( binomial(i,j) for j in (0..i-n+k)) for i in (n-k..n))
[[T(n, k) for k in (0..n)] for n in (0..12)] # G. C. Greubel, Aug 01 2019

T(n,k) = Sum_{0 <= j <= i-n+k, n-k <= i <= n} binomial(i,j).
T(n,k) = T(n-1,k) + 3*T(n-1,k-1) - 2*T(n-2,k-1) - 2*T(n-2,k-2), T(0,0) = 1, T(n,k) = 0 if k < 0 or if k > n. - Philippe Deléham, Nov 30 2013
From Petros Hadjicostas, Jun 05 2020: (Start)
Bivariate o.g.f.: Sum_{n,k >= 0} T(n,k)*x^n*y^k = 1/(1 - x - 3*x*y + 2*x^2*y + 2*x^2*y^2) = 1/((1 - 2*x*y)*(1 - x*(y+1))).
n-th row o.g.f.: ((1 + y)^(n+1) - (2*y)^(n+1))/(1 - y). (End)

Name edited by Petros Hadjicostas, Jun 04 2020

A115068 Triangle read by rows: T(n,k) = number of elements in the Coxeter group D_n with descent set contained in {s_k}, for 0<=k<=n-1.

Original entry on oeis.org

1, 2, 2, 4, 6, 3, 8, 16, 12, 4, 16, 40, 40, 20, 5, 32, 96, 120, 80, 30, 6, 64, 224, 336, 280, 140, 42, 7, 128, 512, 896, 896, 560, 224, 56, 8, 256, 1152, 2304, 2688, 2016, 1008, 336, 72, 9, 512, 2560, 5760, 7680, 6720, 4032, 1680, 480, 90, 10, 1024, 5632, 14080, 21120

Offset: 1

Elizabeth Morris (epmorris(AT)math.washington.edu), Mar 01 2006

A115068 is the fission of the polynomial sequence (p(x,n)) by the polynomial sequence ((2x+1)^n), where p(n,x)=x^n+x^(n-1)+...+x+1, n>=0. See A193842 for the definition of fission. - Clark Kimberling, Aug 07 2011

			First six rows:
1
2...2
4...6....3
8...16...12...4
16..40...40...20...5
32..96...120..80...30...6

A. Bjorner and F. Brenti, Combinatorics of Coxeter Groups, Springer, New York, 2005.
J. E. Humphreys, Reflection Groups and Coxeter Groups, Cambridge University Press, Cambridge, 1990.

Reinhard Zumkeller, Rows n = 1..120 of triangle, flattened

Cf. A007318, A038207, A193862.

Cf. A105728, A013609.

a115068 n k = a115068_tabl !! (n-1) !! (k-1)
a115068_row n = a115068_tabl !! (n-1)
a115068_tabl = iterate (\row -> zipWith (+) (row ++ [1]) $
                                zipWith (+) (row ++ [0]) ([0] ++ row)) [1]
-- Reinhard Zumkeller, Jul 22 2013

z = 11;
p[0, x_] := 1; p[n_, x_] := x*p[n - 1, x] + 1;
q[n_, x_] := (2 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}]]  (* A115068 *)
TableForm[Table[h[n], {n, 0, z}]]
Flatten[Table[h[n], {n, -1, z}]]   (* A193862 *)

T(n,k)=binomial(n,k)*2^(n-k-1).

T(n,1) = 2^(n-1), T(n,n) = n, for n > 1: T(n,k) = T(n-1,k-1) + 2*T(n-1,k), 1 < k < n. - Reinhard Zumkeller, Jul 22 2013

A193844 Triangular array: the fission of ((x+1)^n) by ((x+1)^n); i.e., the self-fission of Pascal's triangle.

Original entry on oeis.org

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

Offset: 0

Clark Kimberling, Aug 07 2011

See A193842 for the definition of fission of two sequences of polynomials or triangular arrays.
A193844 is also the fission of (p1(n,x)) by (q1(n,x)), where p1(n,x)=x^n+x^(n-1)+...+x+1 and q1(n,x)=(x+2)^n.
Essentially A119258 but without the main diagonal. - Peter Bala, Jul 16 2013
From Robert Coquereaux, Oct 02 2014: (Start)
This is also a rectangular array A(n,p) read down the antidiagonals:
1 1 1 1 1 1 1 1 1
3 5 7 9 11 13 15 17 19
7 17 31 49 71 97 127 161 199
15 49 111 209 351 545 799 1121 1519
31 129 351 769 1471 2561 4159 6401 9439
...
Calling Gr(n) the Grassmann algebra with n generators, A(n,p) is the dimension of the space of Gr(n)-valued symmetric multilinear forms with vanishing graded divergence. If p is odd A(n,p) is 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 A(n,p)+1. A(n,p) = 2^n*A059260(p,n-1)-(-1)^p.
(End)
The n-th row are also the coefficients of the polynomial P=sum_{k=0..n} (X+2)^k (in falling order, i.e., that of X^n first). - M. F. Hasler, Oct 15 2014

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

Jean-François Chamayou, A Random Difference Equation with Dufresne Variables revisited, arXiv:1410.1708 [math.PR], 2014.
R. Coquereaux and E. Ragoucy, Currents on Grassmann algebras, J. of Geometry and Physics, 1995, Vol 15, pp 333-352.
R. Coquereaux and E. Ragoucy, Currents on Grassmann algebras, arXiv:hep-th/9310147, 1993.
C. Kassel, A Künneth formula for the cyclic cohomology of Z2-graded algebras, Math. Ann. 275 (1986) 683.

Cf. A193842, A193845, A119258.
Columns, diagonals: A000225, A000337, A055580, A027608, A211386, A211388, A000012, A005408, A056220, A199899.
A145661 is an essentially identical triangle.

A193844 := (n,k) -> 2^k*binomial(n+1,k)*hypergeom([1,-k],[-k+n+2],1/2);
for n from 0 to 5 do seq(round(evalf(A193844(n,k))),k=0..n) od; # Peter Luschny, Jul 23 2014
# Alternatively
p := (n,x) -> add(x^k*(1+2*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

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 *)

# uses[fission from A193842]
p = lambda n,x: (x+1)^n
A193844_row = lambda n: fission(p, p, n)
for n in range(7): print(A193844_row(n)) # Peter Luschny, Jul 23 2014

From Peter Bala, Jul 16 2013: (Start)
T(n,k) = sum {i = 0..k} (-1)^i*binomial(n+1,k-i)*2^(k-i).
O.g.f.: 1/( (1 - x*t)*(1 - (2*x + 1)*t) ) = 1 + (1 + 3*x)*t + (1 + 5*x + 7*x^2)*t^2 + ....
The n-th row polynomial R(n,x) = 1/(x+1)*( (2*x+1)^(n+1) - x^(n+1) ). (End)
T(n,k) = T(n-1,k) + 3*T(n-1,k-1) - T(n-2,k-1) - 2*T(n-2,k-2), T(0,0) = 1, T(1,0) = 1, T(1,1) = 3, T(n,k) = 0 if k<0 or if k>n. - Philippe Deléham, Jan 17 2014
T(n,k) = 2^k*binomial(n+1,k)*hyper2F1(1,-k,-k+n+2, 1/2). - Peter Luschny, Jul 23 2014

A202503 Fibonacci self-fission matrix, by antidiagonals.

Original entry on oeis.org

1, 1, 2, 2, 3, 3, 3, 5, 5, 5, 5, 8, 9, 8, 8, 8, 13, 14, 15, 13, 13, 13, 21, 23, 24, 24, 21, 21, 21, 34, 37, 39, 39, 39, 34, 34, 34, 55, 60, 63, 64, 63, 63, 55, 55, 55, 89, 97, 102, 103, 104, 102, 102, 89, 89, 89, 144, 157, 165, 167, 168, 168, 165, 165, 144, 144, 144

Offset: 1

Clark Kimberling, Dec 20 2011

The Fibonacci self-fission matrix, F, is the fission P^^Q, where P and Q are the matrices given at A202502 and A202451.  See A193842 for the definition of fission.
antidiagonal sums:  (1, 3, 8, 18, 38, ...), A064831
diagonal (1,  5, 14,  39, ...), A119996
diagonal (2,  8, 23,  63, ...), A180664
diagonal (2,  5, 15,  39, ...), A059840
diagonal (3,  8, 24,  63, ...), A080097
diagonal (5, 13, 39, 102, ...), A080143
diagonal (8, 21, 63, 165, ...), A080144
All the principal submatrices are invertible, and the terms in the inverses are in {-3,-2,-1,0,1,2,3}.

			Northwest corner:
1....1....2....3....5.....8....13...21
2....3....5....8...13....21....34...55
3....5....9...14...23....37....60...97
5....8...15...24...39....63...102...165
8...13...24...39...64...103...167...270

Clark Kimberling, Fusion, Fission, and Factors, Fib. Q., 52 (2014), 195-202.

Cf. A000045, A202451, A202453, A202502.

n = 14;
Q = NestList[Most[Prepend[#, 0]] &, #, Length[#] - 1] &[Table[Fibonacci[k], {k, 1, n}]];
Qt = Transpose[Q]; P1 = Qt - IdentityMatrix[n];
P = P1[[Range[2, n], Range[1, n]]];
F = P.Q;
Flatten[Table[P[[i]][[k + 1 - i]], {k, 1, n - 1}, {i, 1, k}]] (* A202502 as a sequence *)
Flatten[Table[Q[[i]][[k + 1 - i]], {k, 1, n - 1}, {i, 1, k}]] (* A202451 as a sequence *)
Flatten[Table[F[[i]][[k + 1 - i]], {k, 1, n - 1}, {i, 1, k}]] (* A202503 as a sequence *)
TableForm[P]  (* A202502, modified lower triangular Fibonacci array *)
TableForm[Q]  (* A202451, upper tri. Fibonacci array *)
TableForm[F]  (* A202503, Fibonacci fission array *)

A104709 Triangle read by rows: T(n,k) = Sum_{j=0..n} 2^(n-j)binomial(j,k) for n >= 0 and 0 <= k <= n; also, Riordan array (1/((1-x)(1-2*x)), x/(1-x)).

Original entry on oeis.org

1, 3, 1, 7, 4, 1, 15, 11, 5, 1, 31, 26, 16, 6, 1, 63, 57, 42, 22, 7, 1, 127, 120, 99, 64, 29, 8, 1, 255, 247, 219, 163, 93, 37, 9, 1, 511, 502, 466, 382, 256, 130, 46, 10, 1, 1023, 1013, 968, 848, 638, 386, 176, 56, 11, 1, 2047, 2036, 1981, 1816, 1486, 1024, 562, 232, 67

Offset: 0

Gary W. Adamson, Mar 19 2005

This array (A104709) is the mirror of the fission, A054143, of the polynomial sequence ((x+1)^n: n >= 0) by the polynomial sequence (q(n,x): n >= 0) given by q(n,x) = x^n + x^(n-1) + ... + x + 1.  See A193842 for the definition of fission. - Clark Kimberling, Aug 07 2011
The elements of the matrix inverse appear to be T^(-1)(n,k) = (-1)^(n+k)*A110813(n,k) assuming the same offset in both triangles. - R. J. Mathar, Mar 15 2013
From Paul Curtz, Jun 12 2019: (Start)
Numerators of the triangle [Curtz, page 15, triangle (E)]:
     1/2;
     3/4,  1/4;
     7/8,  4/8,    1/8;
   15/16, 11/16,  5/16,  1/16;
   31/32, 26/31, 16/32,  6/32, 1/32;
   63/64, 57/64, 42/64, 22/64, 7/64, 1/64;
   ...
Denominators - Numerators: Triangle A054143.
  1;
  1, 3;
  1, 4, 7;
  1, 5, 11, 15;
  ...
(E) is a transform which accelerates the convergence of series.
For log(2) = 1 - 1/2 + 1/3 - 1/4 ... = 0.6931..., we have
  1*(1/2) = 1/2,
  1*(3/4) - (1/2)*(1/4) = 5/8,
  1*(7/8) - (1/2)*(4/8) + (1/3)*(1/8) = 2/3,
  1*(15/16) - (1/2)*(11/16) + (1/3)*(5/16) - (1/4)*1/16 = 131/192,
  ...
This is A068566/A068565. (End)

			Triangle T(n,k) (with rows n >= 0 and columns k = 0..n) begins:
   1;
   3,  1;
   7,  4,  1;
  15, 11,  5,  1;
  31, 26, 16,  6,  1;
  63, 57, 42, 22,  7,  1;
  ...

Paul Curtz, Accélération de la convergence de certaines séries alternées à l'aide des fonctions de sommation, Thèse de 3ème Cycle d'Analyse Numérique, Faculté des Sciences de l'Université de Paris, 4 mai 1965.
Clark Kimberling, Fusion, Fission, and Factors, Fib. Q., 52(3) (2014), 195-202.

Cf. A000124, A000295, A001787 (row sums), A007318, A054143, A055248, A068565, A068566, A104709, A140513.

A104709_row := proc(n) add(add(binomial(n,n-i)*x^(n-k-1),i=0..k),k=0..n-1);
coeffs(sort(%)) end; seq(print(A104709_row(n)),n=1..6); # Peter Luschny, Sep 29 2011

z = 10;
p[n_, x_] := (x + 1)^n;
q[0, x_] := 1; q[n_, x_] := x*q[n - 1, x] + 1;
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}]] (* A054143 *)
TableForm[Table[h[n], {n, 0, z}]]
Flatten[Table[h[n], {n, -1, z}]] (* A104709 *)
(* Clark Kimberling, Aug 07 2011 *)

Begin with A055248 as a triangle, delete leftmost column.
The Riordan array factors as (1/(1-2*x), x)*(1/(1-x), x/(1-x)) - the sequence array for 2^n times Pascal's triangle. - Paul Barry, Aug 05 2005
T(n,k) = Sum_{j=0..n-k} C(n-j, k)*2^j. - Paul Barry, Jan 12 2006
T(n,k) = 3*T(n-1,k) + T(n-1,k-1) - 2*T(n-2,k) - 2*T(n-2,k-1), T(0,0) = 1, T(n,k) = 0 if k < 0 or if k > n. - Philippe Deléham, Nov 30 2013
Working with an offset of 0, we have exp(x) * (e.g.f. for row n) = (e.g.f. for diagonal n). For example, for n = 3 we have exp(x)*(15 + 11*x + 5*x^2/2! + x^3/3!) = 15 + 26*x + 42*x^2/2! + 64*x^3/3! + 93*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
From Petros Hadjicostas, Jun 05 2020: (Start)
Bivariate o.g.f.: A(x,y) = Sum_{n,k >= 0} T(n,k)*x^n*y^k = 1/(1 - 3*x - x*y + 2*x^2 + 2*x^2*y) = 1/((1 - 2*x)*(1 - x*(y+1))).
The o.g.f. of the n-th row is (2^(n+1) - (1 + y)^(n+1))/(1 - y).
Let B(x,y) be the bivariate o.g.f. of triangular array A054143. Because A054143 is the mirror image of the current array, we have A(x,y) = B(x*y, 1/y) and B(x,y) = A(x*y, 1/y). This makes it easy to identify lower diagonals of the array.
For example, if we want to identify the second lower diagonal of the array (i.e., 7, 11, 16, 22, ...), we take the 2nd derivative of B(x,y) with respect to y, set y = 0, and divide by 2!. (Note that columns in A054143 start at k = 0.) We get the g.f. x^2*(7 - 10*x + 4*x^2)/(1 - x)^3.
It is then easy to derive that T(n,n-2) = A000124(n+1) = (n+1)*(n+2)/2 + 1 for n >= 2 (by ignoring the first three terms of A000124). Of course, in the current case, it is much easier to use the formula for T(n,k) to find T(n,n-2). (End)
T(n,0) = 2^(n+1) - 1 for n >= 0; T(n,k) = T(n-1,k) + T(n-1,k-1) for 1 <= k <= n. - Peter Bala, Jan 30 2023
T(n,1) = 2^(n+1) - n - 2 = A000295(n+1) for n >= 1. - Bernard Schott, Feb 22 2023

Name edited and offset changed by Petros Hadjicostas, Jun 04 2020

cp's OEIS Frontend

A193843 Mirror image of the triangle A193842.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

PARI

Formula

A002260 Triangle read by rows: T(n,k) = k for n >= 1, k = 1..n.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Haskell

Maple

Mathematica

Maxima

PARI

PARI

Python

Formula

Extensions

A004736 Triangle read by rows: row n lists the first n positive integers in decreasing order.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Excel

Haskell

Maple

Mathematica

PARI

PARI

PARI

PARI

Python

Python

Formula

Extensions

A193722 Triangular array: the fusion of (x+1)^n and (x+2)^n; see Comments for the definition of fusion.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

GAP

Magma

Maple

Mathematica

PARI

Sage

Formula

A074909 Running sum of Pascal's triangle (A007318), or beheaded Pascal's triangle read by beheaded rows.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

A104709 Triangle read by rows: T(n,k) = Sum_{j=0..n} 2^(n-j)binomial(j,k) for n >= 0 and 0 <= k <= n; also, Riordan array (1/((1-x)(1-2*x)), x/(1-x)).