A038207 -id:A038207 - cp's OEIS frontend

A054456 Convolution triangle of A000129(n) (Pell numbers).

1, 2, 1, 5, 4, 1, 12, 14, 6, 1, 29, 44, 27, 8, 1, 70, 131, 104, 44, 10, 1, 169, 376, 366, 200, 65, 12, 1, 408, 1052, 1212, 810, 340, 90, 14, 1, 985, 2888, 3842, 3032, 1555, 532, 119, 16, 1, 2378, 7813, 11784, 10716, 6482, 2709, 784, 152, 18, 1, 5741, 20892, 35223

Offset: 0

Wolfdieter Lang, Apr 27 2000 and May 08 2000

In the language of the Shapiro et al. reference (given in A053121) such a lower triangular (ordinary) convolution array, considered as a matrix, belongs to the Bell-subgroup of the Riordan-group.
The G.f. for the row polynomials p(n,x) (increasing powers of x) is Pell(z)/(1-x*z*Pell(z)) with Pell(x)=1/(1-2*x-x^2) = g.f. for A000129(n+1) (Pell numbers without 0).
Column sequences are A000129(n+1), A006645(n+1), A054457(n) for m=0..2.
Riordan array (1/(1-2x-x^2),x/(1-2x-x^2)). - Paul Barry, Mar 15 2005
As a Riordan array, this factors as (1/(1-x^2),x/(1-x^2))*(1/(1-2x),x/(1-2x)), [abs(A049310) times square of A007318, or A038207]. - Paul Barry, Jul 28 2005
Coefficients of polynomials defined by P(x, 0) = 1; P(x, 1) = 2 - x; P(x, n) = (2 - x)*P(x, n - 1) + P(x, n - 2). - Roger L. Bagula, Mar 24 2008
Subtriangle (obtained by dropping the first column) of the triangle given by (0, 2, 1/2, -1/2, 0, 0, 0, 0, 0, 0, 0, ...) DELTA (1, 0, 0, 0, 0, 0, 0, 0, 0, ...) where DELTA is the operator defined in A084938. - Philippe Deléham, Feb 19 2013
T(n,k) is the number of words of length n over {0,1,2,3} having k letters 3 and avoiding runs of odd length of the letter 0. - Milan Janjic, Jan 14 2017

			Fourth row polynomial (n=3): p(3,x)= 12+14*x+6*x^2+x^3
Triangle begins:
{1},
{2, 1},
{5, 4, 1},
{12, 14, 6, 1},
{29, 44, 27, 8, 1},
{70, 131,104, 44, 10, 1},
{169, 376, 366, 200, 65, 12, 1},
{408, 1052, 1212, 810, 340, 90, 14, 1},
{985, 2888, 3842, 3032, 1555, 532, 119, 16, 1},
{2378, 7813, 11784, 10716, 6482, 2709, 784, 152, 18, 1},
{5741, 20892, 35223, 36248, 25235, 12432, 4396, 1104, 189, 20, 1},
The triangle (0, 2, 1/2, -1/2, 0, 0, 0, ...) DELTA (1, 0, 0, 0, 0, 0, ...) begins:
1
0, 1
0, 2, 1
0, 5, 4, 1
0, 12, 14, 6, 1
0, 29, 44, 27, 8, 1 - _Philippe Deléham_, Feb 19 2013

Milan Janjić, Words and Linear Recurrences, J. Int. Seq. 21 (2018), #18.1.4.

Cf. A000129. Row sums: A006190(n+1).

Cf. A129844.

G := 1/(1-(x+2)*z-z^2): Gser := simplify(series(G, z = 0, 18)): for n from 0 to 15 do P[n] := sort(coeff(Gser, z, n)) end do: for n from 0 to 15 do seq(coeff(P[n], x, j), j = 0 .. n) end do; # yields sequence in triangular form - Emeric Deutsch, Aug 30 2015
T := (n,k) -> `if`(n=0,1,2^(n-k)*binomial(n,k)*hypergeom([(k-n)/2,(k-n+1)/2],[-n], -1)): seq(seq(simplify(T(n,k)),k=0..n),n=0..10); # Peter Luschny, Apr 25 2016
# Uses function PMatrix from A357368. Adds column 1,0,0,0,... to the left.
PMatrix(10, A000129); # Peter Luschny, Oct 19 2022

P[x_, 0] := 1; P[x_, 1] := 2 - x; P[x_, n_] := P[x, n] = (2 - x) P[x, n - 1] + P[x, n - 2]; Table[Abs@ CoefficientList[P[x, n], x], {n, 0, 10}] // Flatten (* Roger L. Bagula, Mar 24 2008, edited by Michael De Vlieger, Apr 25 2018 *)

a(n, m) := ((n-m+1)*a(n, m-1) + (n+m)*a(n-1, m-1))/(4*m), n >= m >= 1, a(n, 0)= P(n+1)= A000129(n+1) (Pell numbers without P(0)), a(n, m) := 0 if n

G.f. for column m: Pell(x)*(x*Pell(x))^m, m >= 0, with Pell(x) G.f. for A000129(n+1).

Number triangle T(n, k) with T(n, 0)=A000129(n), T(1, 1)=1, T(n, k)=0 if k>n, T(n, k)=T(n-1, k-1)+T(n-2, k)+2T(n-1, k) otherwise; T(n, k)=if(k<=n, sum{j=0..floor((n-k)/2), C(n-j, k)C(n-k-j, j)2^(n-2j-k)}; - Paul Barry, Mar 15 2005

Bivariate g.f. G(x,z) = 1/[1 - (2 + x)z - z^2]. G.f. for column k = z^k/(1 - 2z - z^2)^{k+1} (k>=0). - Emeric Deutsch, Aug 30 2015

T(n,k) = 2^(n-k)*C(n,k)*hypergeom([(k-n)/2,(k-n+1)/2],[-n],-1)) for n>=1. - Peter Luschny, Apr 25 2016

A090802 Triangle read by rows: a(n,k) = number of k-length walks in the Hasse diagram of a Boolean algebra of order n.

Original entry on oeis.org

1, 2, 1, 4, 4, 2, 8, 12, 12, 6, 16, 32, 48, 48, 24, 32, 80, 160, 240, 240, 120, 64, 192, 480, 960, 1440, 1440, 720, 128, 448, 1344, 3360, 6720, 10080, 10080, 5040, 256, 1024, 3584, 10752, 26880, 53760, 80640, 80640, 40320

Offset: 0

Ross La Haye, Feb 10 2004

Row sums = A010842(n); Row sums from column 1 on = A066534(n) = n*A010842(n-1) = A010842(n) - 2^n.
a(n,k) = n! = k! = A000142(n) for n = k; a(n,n-1) = 2*n! = A052849(n) for n > 1; a(n,n-2) = 2*n! = A052849(n) for n > 2; a(n,n-3) = (4/3)*n! = A082569(n) for n > 3; a(n,n-1)/a(2,1) = n!/2! = A001710(n) for n > 1; a(n,n-2)/ a(3,1) = n!/3! = A001715(n) for n > 2; a(n,n-3)/a(4,1) = n!/4! = A001720(n) for n > 3.
a(2k, k) = A052714(k+1). a(2k-1, k) = A034910(k).
a(n,0) = A000079(n); a(n,1) = A001787(n) = row sums of A003506; a(n,2) = A001815(n) = 2!*A001788(n-1); a(n,3) = A052771(n) = 3!*A001789(n); a(n,4) = A052796(n) = 4!*A003472(n); ceiling[a(n,1) / 2] = A057711(n); a(n,5) = 5!*A054849(n).
In a class of n students, the number of committees (of any size) that contain an ordered k-sized subcommittee is a(n,k). - Ross La Haye, Apr 17 2006
Antidiagonal sums [1,2,5,12,30,76,198,528,1448,4080,...] appear to be binomial transform of A000522 interleaved with itself, i.e., 1,1,2,2,5,5,16,16,65,65,... - Ross La Haye, Sep 09 2006
Let P(A) be the power set of an n-element set A. Then a(n,k) = the number of ways to add k elements of A to each element x of P(A) where the k elements are not elements of x and order of addition is important. - Ross La Haye, Nov 19 2007
The derivatives of x^n evaluated at x=2. - T. D. Noe, Apr 21 2011

			{1};
{2, 1};
{4, 4, 2};
{8, 12, 12, 6};
{16, 32, 48, 48, 24};
{32, 80, 160, 240, 240, 120};
{64, 192, 480, 960, 1440, 1440, 720};
{128, 448, 1344, 3360, 6720, 10080, 10080, 5040};
{256, 1024, 3584, 10752, 26880, 53760, 80640, 80640, 40320}
a(5,3) = 240 because P(5,3) = 60, 2^(5-3) = 4 and 60 * 4 = 240.

T. D. Noe, Rows n = 0..100, flattened
Ross La Haye, Binary Relations on the Power Set of an n-Element Set, Journal of Integer Sequences, Vol. 12 (2009), Article 09.2.6.
Eric Weisstein, Walk
Eric Weisstein, Boolean Algebra
Eric Weisstein, Hasse Diagram

Cf. A000142, A001710, A001715, A001720, A001787, A001788, A001789, A001815, A003472, A010842, A052771, A052796, A052849, A054849, A057711, A066534, A082569.

Cf. A038207, A007318.

Flatten[Table[n!/(n-k)! * 2^(n-k), {n, 0, 8}, {k, 0, n}]] (* Ross La Haye, Feb 10 2004 *)

a(n, k) = 0 for n < k. a(n, k) = k!*C(n, k)*2^(n-k) = P(n, k)*2^(n-k) = (2n)!!/((n-k)!*2^k) = k!*A038207(n, k) = A068424*2^(n-k) = Sum[C(n, m)*P(n-m, k), {m, 0, n-k}] = Sum[C(n, n-m)*P(n-m, k), {m, 0, n-k}] = n!*Sum[1/(m!*(n-m-k)!), {m, 0, n-k}] = k!*Sum[C(n, m)*C(n-m, k), {m, 0, n-k}] = k!*Sum[C(n, n-m)*C(n-m, k), {m, 0, n-k}] = k!*C(n, k)*Sum[C(n-k, n-m-k), {m, 0, n-k}] = k!*C(n, k)*Sum[C(n-k, m), {m, 0, n-k}] for n >= k.
a(n, k) = 0 for n < k. a(n, k) = n*a(n-1, k-1) for n >= k >= 1.
E.g.f. (by columns): exp(2x)*x^k.

More terms from Ray Chandler, Feb 26 2004

Entry revised by Ross La Haye, Aug 18 2006

A133156 Irregular triangle read by rows: coefficients of U(n,x), Chebyshev polynomials of the second kind with exponents in decreasing order.

Original entry on oeis.org

1, 2, 4, -1, 8, -4, 16, -12, 1, 32, -32, 6, 64, -80, 24, -1, 128, -192, 80, -8, 256, -448, 240, -40, 1, 512, -1024, 672, -160, 10, 1024, -2304, 1792, -560, 60, -1, 2048, -5120, 4608, -1792, 280, -12, 4096, -11264, 11520, -5376, 1120, -84, 1

Offset: 0

Gary W. Adamson, Dec 16 2007

The Chebyshev polynomials of the second kind are defined by the recurrence relation: U(0,x) = 1; U(1,x) = 2x; U(n+1,x) = 2x*U(n,x) - U(n-1,x).
From Gary W. Adamson, Nov 28 2008: (Start)
Triangle read by rows, unsigned = A000012 * A028297.
Row sums of absolute values give the Pell series, A000129.
(End)
The row sums are {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, ...}.
Triangle, with zeros omitted, given by (2, 0, 0, 0, 0, 0, 0, 0, ...) DELTA (0, -1/2, 1/2, 0, 0, 0, 0, 0, 0, 0, ...) where DELTA is the operator defined in A084938. - Philippe Deléham, Dec 27 2011
Coefficients in the expansion of sin((n+1)*x)/sin(x) in descending powers of cos(x). The length of the n-th row is A008619(n). - Jianing Song, Nov 02 2018

			The first few Chebyshev polynomials of the second kind are
    1;
    2x;
    4x^2 -    1;
    8x^3 -    4x;
   16x^4 -   12x^2 +   1;
   32x^5 -   32x^3 +   6x;
   64x^6 -   80x^4 +  24x^2 -   1;
  128x^7 -  192x^5 +  80x^3 -   8x;
  256x^8 -  448x^6 + 240x^4 -  40x^2 +  1;
  512x^9 - 1024x^7 + 672x^5 - 160x^3 + 10x;
  ...
From _Roger L. Bagula_ and _Gary W. Adamson_: (Start)
     1;
     2;
     4,    -1;
     8,    -4;
    16,   -12,    1;
    32,   -32,    6;
    64,   -80,   24,   -1;
   128,  -192,   80,   -8;
   256,  -448,  240,  -40,  1;
   512, -1024,  672, -160, 10;
  1024, -2304, 1792, -560, 60, -1; (End)
From  _Philippe Deléham_, Dec 27 2011: (Start)
Triangle (2, 0, 0, 0, 0, ...) DELTA (0, -1/2, 1/2, 0, 0, 0, 0, 0, ...) begins:
   1;
   2,   0;
   4,  -1,  0;
   8,  -4,  0,  0;
  16, -12,  1,  0,  0;
  32, -32,  6,  0,  0,  0;
  64, -80, 24, -1,  0,  0,  0; (End)

Tracale Austin, Hans Bantilan, Isao Jonas and Paul Kory, The Pfaffian Transformation, Journal of Integer Sequences, Vol. 12 (2009), page 25
P. Damianou, On the characteristic polynomials of Cartan matrices and Chebyshev polynomials, arXiv preprint arXiv:1110.6620 [math.RT], 2014. - From _Tom Copeland_, Oct 11 2014
Pantelis A. Damianou, A Beautiful Sine Formula, Amer. Math. Monthly 121 (2014), no. 2, 120-135. MR3149030
Caglar Koca and Ozgur B. Akan, Modelling 1D Partially Absorbing Boundaries for Brownian Molecular Communication Channels, arXiv:2402.15888 [q-bio.MN], 2024. See p. 9.
Wikipedia, Chebyshev polynomials

Cf. A038207, A053117.
Cf. A018297, A000129. - Gary W. Adamson, Nov 28 2008
Cf. A000079, A001787, A001788, A001789, A003472, A054849, A002409, A054851. - Philippe Deléham, Sep 12 2009
Cf. A091894, A097610, A099089, A207538.

t[n_, m_] = (-1)^m*Binomial[n - m, m]*2^(n - 2*m);
Table[Table[t[n, m], {m, 0, Floor[n/2]}], {n, 0, 10}];
Flatten[%] (* Roger L. Bagula, Dec 19 2008 *)

A generating function for U(n) is 1/(1 - 2tx + t^2). Given A038207, shift down columns to allow for (1, 1, 2, 2, 3, 3, ...) terms in each row, then insert alternate signs.
T(n,m) = (-1)^m*binomial(n - m, m)*2^(n - 2*m). - Roger L. Bagula and Gary W. Adamson, Dec 19 2008
From Tom Copeland, Feb 11 2016: (Start)
Shifted o.g.f.: G(x,t) = x/(1 - 2x + tx^2).
A053117 is a reflected, aerated version of this entry; A207538, an unsigned version; and A099089, a reflected, shifted version.
The compositional inverse of G(x,t) is Ginv(x,t) = ((1 + 2x) - sqrt((1 + 2x)^2 - 4tx^2))/(2tx) = x - 2x^2 + (4 + t)x^3 - (8 + 6t)x^4 + ..., a shifted o.g.f. for A091894 (mod signs with A091894(0,0) = 0.). Cf. A097610 with h_1 = -2 and h_2 = t. (End)

More terms from Philippe Deléham, Sep 12 2009

A054851 a(n) = 2^(n-7)*binomial(n,7). Number of 7D hypercubes in an n-dimensional hypercube.

Original entry on oeis.org

1, 16, 144, 960, 5280, 25344, 109824, 439296, 1647360, 5857280, 19914752, 65175552, 206389248, 635043840, 1905131520, 5588385792, 16066609152, 45364543488, 126012620800, 344876646400, 931166945280, 2483111854080

Offset: 7

Henry Bottomley, Apr 14 2000

If X_1,X_2,...,X_n is a partition of a 2n-set X into 2-blocks then, for n>6, a(n) is equal to the number of (n+7)-subsets of X intersecting each X_i (i=1,2,...,n). - Milan Janjic, Jul 21 2007

G. C. Greubel, Table of n, a(n) for n = 7..1000
Milan Janjic, Two Enumerative Functions.
Milan Janjic and Boris Petkovic, A Counting Function, arXiv:1301.4550 [math.CO], 2013.
Index entries for linear recurrences with constant coefficients, signature (16,-112,448,-1120,1792,-1792, 1024,-256).

Cf. A000079, A001787, A001788, A001789, A003472, A054849, A002409.

a(n) = A038207(n,7).

List([7..30], n-> 2^(n-7)*Binomial(n,7)); # G. C. Greubel, Aug 27 2019

[2^(n-7)*Binomial(n,7): n in [7..30]]; // G. C. Greubel, Aug 27 2019

seq(binomial(n+7,7)*2^n,n=0..21); # Zerinvary Lajos, Jun 23 2008

Table[2^(n-7)*Binomial[n,7], {n,7,30}] (* G. C. Greubel, Aug 27 2019 *)

vector(23, n, 2^(n-1)*binomial(n+6, 7)) \\ G. C. Greubel, Aug 27 2019

a(n) = 2*a(n-1) + A002409(n-1).
a(n+8) = A082141(n+1)/2.
G.f.: x^7/(1-2*x)^8. - Colin Barker, Sep 04 2012
a(n) = Sum_{i=7..n} binomial(i,7)*binomial(n,i). Example: for n=11, a(11) = 1*330 + 8*165 + 36*55 + 120*11 + 330*1 = 5280. - Bruno Berselli, Mar 23 2018
From Amiram Eldar, Jan 06 2022: (Start)
Sum_{n>=7} 1/a(n) = 14*log(2) - 259/30.
Sum_{n>=7} (-1)^(n+1)/a(n) = 10206*log(3/2) - 124117/30. (End)

More terms from James Sellers, Apr 15 2000

A075497 Stirling2 triangle with scaled diagonals (powers of 2).

Original entry on oeis.org

1, 2, 1, 4, 6, 1, 8, 28, 12, 1, 16, 120, 100, 20, 1, 32, 496, 720, 260, 30, 1, 64, 2016, 4816, 2800, 560, 42, 1, 128, 8128, 30912, 27216, 8400, 1064, 56, 1, 256, 32640, 193600, 248640, 111216, 21168, 1848, 72, 1

Offset: 1

Wolfdieter Lang, Oct 02 2002

This is a lower triangular infinite matrix of the Jabotinsky type. See the D. E. Knuth reference given in A039692 for exponential convolution arrays.
The row polynomials p(n,x) := Sum_{m=1..n} a(n,m)x^m, n >= 1, have e.g.f. J(x; z)= exp((exp(2*z) - 1)*x/2) - 1.
Subtriangle of (0, 2, 0, 4, 0, 6, 0, 8, 0, 10, 0, 12, ...) DELTA (1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, ...) where DELTA is the operator defined in A084938. - Philippe Deléham, Feb 13 2013
Also the inverse Bell transform of the double factorial of even numbers Product_ {k=0..n-1} (2*k+2) (A000165). For the definition of the Bell transform see A264428 and for cross-references A265604. - Peter Luschny, Dec 31 2015
This is the exponential Riordan array [exp(2*x), (exp(2*x) - 1)/2] belonging to the derivative subgroup of the exponential Riordan group. In the notation of Corcino, this is the triangle of (2, 2)-Stirling numbers of the second kind. A factorization of the array as an infinite product is given in the example section. - Peter Bala, Feb 20 2025

			Triangle begins:
  [1];
  [2,1];
  [4,6,1]; p(3,x) = x*(4 + 6*x + x^2).
  ...;
Triangle (0, 2, 0, 4, 0, 6, 0, 8, ...) DELTA (1, 0, 1, 0, 1, 0, 1, 0, ...) begins:
  1
  0,  1
  0,  2,   1
  0,  4,   6,   1
  0,  8,  28,  12,  1
  0, 16, 120, 100, 20, 1. - _Philippe Deléham_, Feb 13 2013
From _Peter Bala_, Feb 23 2025: (Start)
The array factorizes as
/ 1               \       /1             \ /1             \ /1            \
| 2    1           |     | 2   1          ||0  1           ||0  1          |
| 4    6   1       |  =  | 4   4   1      ||0  2   1       ||0  0  1       | ...
| 8   28  12   1   |     | 8  12   6  1   ||0  4   4  1    ||0  0  2  1    |
|16  120 100  20  1|     |16  32  24  8  1||0  8  12  6  1 ||0  0  4  4  1 |
|...               |     |...             ||...            ||...           |
where, in the infinite product on the right-hand side, the first array is the Riordan array (1/(1 - 2*x), x/(1 - 2*x)) = P^2, where P denotes Pascal's triangle. See A038207. Cf. A143494. (End)

Alois P. Heinz, Rows n = 1..141, flattened
Peter Bala, The white diamond product of power series
Peter Bala, Factorising (r,b)-Stirling arrays
Paul Barry, Three Études on a sequence transformation pipeline, arXiv:1803.06408 [math.CO], 2018.
John R. Britnell and Mark Wildon, Bell numbers, partition moves and the eigenvalues of the random-to-top shuffle in types A, B and D, arXiv 1507.04803 [math.CO], 2015.
Roberto B. Corcino, The (r, β)-Stirling Numbers, The Mindanao Forum, Vol. XIV, No.2, pp. 91-99, 1999.
Roberto B. Corcino and Maribeth B. Montero, The (r, β)-Stirling Numbers in the Context of 0-1 Tableau, Jour. Math. Soc. of the Philippines, ISSN 0115-6926, Vol. 32, No. 1 (2009), pp. 45-52
Paweł Hitczenko, A class of polynomial recurrences resulting in (n/log n, n/log^2 n)-asymptotic normality, arXiv:2403.03422 [math.CO], 2024. See p. 8.
Wolfdieter Lang, First 10 rows.
Toufik Mansour, Generalization of some identities involving the Fibonacci numbers, arXiv:math/0301157 [math.CO], 2003.
Emanuele Munarini, Characteristic, admittance and matching polynomials of an antiregular graph, Appl. Anal. Discrete Math 3 (1) (2009) 157-176.

Columns 1-7 are A000079, A006516, A016283, A025966, A075510-A075512.
Row sums are A004211.
Cf. A008277, A075498-A075505.

with(combinat):
b:= proc(n, i) option remember; expand(`if`(n=0, 1,
       `if`(i<1, 0, add(x^j*multinomial(n, n-i*j, i$j)/j!*add(
        binomial(i, 2*k), k=0..i/2)^j*b(n-i*j, i-1), j=0..n/i))))
    end:
T:= n-> (p-> seq(coeff(p, x, i), i=1..n))(b(n$2)):
seq(T(n), n=1..12);  # Alois P. Heinz, Aug 13 2015
# Alternatively, giving the triangle in the form displayed in the Example section:
gf := exp(x*exp(z)*sinh(z)):
X := n -> series(gf, z, n+2):
Z := n -> n!*expand(simplify(coeff(X(n), z, n))):
A075497_row := n -> op(PolynomialTools:-CoefficientList(Z(n), x)):
seq(A075497_row(n), n=0..9); # Peter Luschny, Jan 14 2018

Table[(2^(n - m)) StirlingS2[n, m], {n, 9}, {m, n}] // Flatten (* Michael De Vlieger, Dec 31 2015 *)

for(n=1, 11, for(m=1, n, print1(2^(n - m) * stirling(n, m, 2),", ");); print();) \\ Indranil Ghosh, Mar 25 2017

# uses[inverse_bell_transform from A265605]
multifact_2_2 = lambda n: prod(2*k + 2 for k in (0..n-1))
inverse_bell_matrix(multifact_2_2, 9) # Peter Luschny, Dec 31 2015

a(n, m) = (2^(n-m)) * Stirling2(n, m).
a(n, m) = (Sum_{p=0..m-1} A075513(m, p)*((p+1)*2)^(n-m))/(m-1)! for n >= m >= 1, else 0.
a(n, m) = 2*m*a(n-1, m) + a(n-1, m-1), n >= m >= 1, else 0, with a(n, 0) := 0 and a(1, 1)=1.
G.f. for m-th column: (x^m)/Product_{k=1..m}(1-2*k*x), m >= 1.
E.g.f. for m-th column: (((exp(2*x)-1)/2)^m)/m!, m >= 1.
The row polynomials in t are given by D^n(exp(x*t)) evaluated at x = 0, where D is the operator (1+2*x)*d/dx. Cf. A008277. - Peter Bala, Nov 25 2011
From Peter Bala, Jan 13 2018: (Start)
n-th row polynomial R(n,x)= x o x o ... o x (n factors), where o is the deformed Hadamard product of power series defined in Bala, section 3.1.
R(n+1,x)/x = (x + 2) o (x + 2) o...o (x + 2) (n factors).
R(n+1,x) = x*Sum_{k = 0..n} binomial(n,k)*2^(n-k)*R(k,x).
Dobinski-type formulas: R(n,x) = exp(-x/2)*Sum_{i >= 0} (2*i)^n* (x/2)^i/i!; 1/x*R(n+1,x) = exp(-x/2)*Sum_{i >= 0} (2 + 2*i)^n* (x/2)^i/i!. (End)

A132159 Lower triangular matrix T(n,j) for double application of an iterated mixed order Laguerre transform inverse to A132014. Coefficients of Laguerre polynomials (-1)^n * n! * L(n,-2-n,x).

Original entry on oeis.org

1, 2, 1, 6, 4, 1, 24, 18, 6, 1, 120, 96, 36, 8, 1, 720, 600, 240, 60, 10, 1, 5040, 4320, 1800, 480, 90, 12, 1, 40320, 35280, 15120, 4200, 840, 126, 14, 1, 362880, 322560, 141120, 40320, 8400, 1344, 168, 16, 1, 3628800, 3265920, 1451520, 423360, 90720, 15120

Offset: 0

Tom Copeland, Nov 01 2007

The matrix operation b = T*a can be characterized several ways in terms of the coefficients a(n) and b(n), their o.g.f.'s A(x) and B(x), or their e.g.f.'s EA(x) and EB(x).
1) b(n) = n! Lag[n,(.)!*Lag[.,a1(.),-1],0], umbrally,
where a1(n) = n! Lag[n,(.)!*Lag[.,a(.),-1],0]
2) b(n) = (-1)^n * n! * Lag(n,a(.),-2-n)
3) b(n) = Sum_{j=0..n} (-1)^j * binomial(n,j) * binomial(-2,j) * j! * a(n-j)
4) b(n) = Sum_{j=0..n} binomial(n,j) * (j+1)! * a(n-j)
5) B(x) = (1-xDx))^(-2) A(x), formally
6) B(x) = Sum_{j>=0} (-1)^j * binomial(-2,j) * (xDx)^j A(x)
= Sum_{j>=0} (j+1) * (xDx)^j A(x)
7) B(x) = Sum_{j>=0} (j+1) * x^j * D^j * x^j A(x)
8) B(x) = Sum_{j>=0} (j+1)! * x^j * Lag(j,-:xD:,0) A(x)
9) EB(x) = Sum_{j>=0} x^j * Lag[j,(.)! * Lag[.,a1(.),-1],0]
10) EB(x) = Sum_{j>=0} Lag[j,a1(.),-1] * (-x)^j / (1-x)^(j+1)
11) EB(x) = Sum_{j>=0} x^n * Sum_{j=0..n} (j+1)!/j! * a(n-j) / (n-j)!
12) EB(x) = Sum_{j>=0} (-x)^j * Lag[j,a(.),-2-j]
13) EB(x) = exp(a(.)*x) / (1-x)^2 = (1-x)^(-2) * EA(x)
14) T = A094587^2 = A132013^(-2) = A132014^(-1)
where Lag(n,x,m) are the Laguerre polynomials of order m, D the derivative w.r.t. x and (:xD:)^j = x^j * D^j. Truncating the D operator series at the j = n term gives an o.g.f. for b(0) through b(n).
c = (1!,2!,3!,4!,...) is the sequence associated to T under the list partition transform and associated operations described in A133314. Thus T(n,k) = binomial(n,k)*c(n-k) . c are also the coefficients in formulas 4 and 8.
The reciprocal sequence to c is d = (1,-2,2,0,0,0,...), so the inverse of T is TI(n,k) = binomial(n,k)*d(n-k) = A132014. (A121757 is the reverse of T.)
These formulas are easily generalized for m applications of the basic operator n! Lag[n,(.)!*Lag[.,a(.),-1],0] by replacing 2 by m in formulas 2, 3, 5, 6, 12, 13 and 14, or (j+1)! by (m-1+j)!/(m-1)! in 4, 8 and 11. For further discussion of repeated applications of T, see A132014.
The row sums of T = [formula 4 with a(n) all 1] = [binomial transform of c] = [coefficients of B(x) with A(x) = 1/(1-x)] = A001339. Therefore the e.g.f. of A001339 = [formula 13 with a(n) all 1] = exp(x)*(1-x)^(-2) = exp(x)*exp[c(.)*x)] = exp[(1+c(.))*x].
Note the reciprocal is 1/{exp[(1+c(.))*x]} = exp(-x)*(1-x)^2 = e.g.f. of signed A002061 with leading 1 removed], which makes A001339 and the signed, shifted A002061 reciprocal arrays under the list partition transform of A133314.
The e.g.f. for the row polynomials (see A132382) implies they form an Appell sequence (see Wikipedia). - Tom Copeland, Dec 03 2013
As noted in item 12 above and reiterated in the Bala formula below, the e.g.f. is e^(x*t)/(1-x)^2, and the Poisson-Charlier polynomials P_n(t,y) have the e.g.f. (1+x)^y e^(-xt) (Feinsilver, p. 5), so the row polynomials R_n(t) of this entry are (-1)^n P_n(t,-2). The associated Appell sequence IR_n(t) that is the umbral compositional inverse of this entry's polynomials has the e.g.f. (1-x)^2 e^(xt), i.e., the e.g.f. of A132014 (noted above), and, therefore, the row polynomials (-1)^n PC(t,2). As umbral compositional inverses, R_n(IR.(t)) = t^n =  IR_n(R.(t)), where, by definition, P.(t)^n = P_n(t), is the umbral evaluation. - Tom Copeland, Jan 15 2016
T(n,k) is the number of ways to place (n-k) rooks in a 2 x (n-1) Ferrers board (or diagram) under the Goldman-Haglund i-row creation rook mode for i=2. Triangular recurrence relation is given by T(n,k) = T(n-1,k-1) + (n+1-k)*T(n-1,k). - Ken Joffaniel M. Gonzales, Jan 21 2016

			First few rows of the triangle are
    1;
    2,  1;
    6,  4,  1;
   24, 18,  6, 1;
  120, 96, 36, 8, 1;

Nathaniel Johnston, Rows 0..100, flattened
Paul Barry, A note on number triangles that are almost their own production matrix, arXiv:1804.06801 [math.CO], 2018.
P. Feinsilver, Lie algebras, representations, and analytic semigroups through dual vector fields
Jay Goldman and James Haglund, Generalized rook polynomials, J. Combin. Theory A 91 (2000), 509-530.
M. Janjic, Some classes of numbers and derivatives, JIS 12 (2009) 09.8.3.
Wikipedia, Appell sequence
Wikipedia, Sheffer sequence

Cf. A008277, A094587, A132013, A132382.

Columns: A000142 (k=0), A001563 (k=1), A001286 (k=2), A005990 (k=3), A061206 (k=4), A062199 (k=5), A062148 (k=6).

a132159 n k = a132159_tabl !! n !! k
a132159_row n = a132159_tabl !! n
a132159_tabl = map reverse a121757_tabl
-- Reinhard Zumkeller, Mar 06 2014

/* As triangle */ [[Binomial(n,k)*Factorial(n-k+1): k in [0..n]]: n in [0.. 15]]; // Vincenzo Librandi, Feb 10 2016

T := proc(n,k) return binomial(n,k)*factorial(n-k+1): end: seq(seq(T(n,k),k=0..n),n=0..10); # Nathaniel Johnston, Sep 28 2011

nn=10;f[list_]:=Select[list,#>0&];Map[f,Range[0,nn]!CoefficientList[Series[Exp[y x]/(1-x)^2,{x,0,nn}],{x,y}]]//Grid  (* Geoffrey Critzer, Feb 15 2013 *)

flatten([[binomial(n,k)*factorial(n-k+1) for k in (0..n)] for n in (0..15)]) # G. C. Greubel, May 19 2021

T(n,k) = binomial(n,k)*c(n-k).
From Peter Bala, Jul 10 2008: (Start)
T(n,k) = binomial(n,k)*(n-k+1)!.
T(n,k) = (n-k+1)*T(n-1,k) + T(n-1,k-1).
E.g.f.: exp(x*y)/(1-y)^2 = 1 + (2+x)*y + (6+4*x+x^2)*y^2/2! + ... .
This array is the particular case P(2,1) of the generalized Pascal triangle P(a,b), a lower unit triangular matrix, shown below:
  n\k|0....................1...............2.........3.....4
  ----------------------------------------------------------
  0..|1.....................................................
  1..|a....................1................................
  2..|a(a+b)...............2a..............1................
  3..|a(a+b)(a+2b).........3a(a+b).........3a........1......
  4..|a(a+b)(a+2b)(a+3b)...4a(a+b)(a+2b)...6a(a+b)...4a....1
  ...
See A094587 for some general properties of these arrays.
Other cases recorded in the database include: P(1,0) = Pascal's triangle A007318, P(1,1) = A094587, P(2,0) = A038207, P(3,0) = A027465, P(1,3) = A136215 and P(2,3) = A136216. (End)
Let f(x) = (1/x^2)*exp(-x). The n-th row polynomial is R(n,x) = (-x)^n/f(x)*(d/dx)^n(f(x)), and satisfies the recurrence equation R(n+1,x) = (x+n+2)*R(n,x)-x*R'(n,x). Cf. A094587. - Peter Bala, Oct 28 2011
Exponential Riordan array [1/(1 - y)^2, y]. The row polynomials R(n,x) thus form a Sheffer sequence of polynomials with associated delta operator equal to d/dx. Thus d/dx(R(n,x)) = n*R(n-1,x). The Sheffer identity is R(n,x + y) = Sum_{k=0..n} binomial(n,k)*y^(n-k)*R(k,x). Define a polynomial sequence P(n,x) of binomial type by setting P(n,x) = Product_{k = 0..n-1} (2*x + k) with the convention that P(0,x) = 1. Then the present triangle is the triangle of connection constants when expressing the basis polynomials P(n,x + 1) in terms of the basis P(n,x). For example, row 3 is (24, 18, 6, 1) so P(3,x + 1) = (2*x + 2)*(2*x + 3)*(2*x + 4) = 24 + 18*(2*x) + 6*(2*x)*(2*x + 1) + (2*x)*(2*x + 1)*(2*x + 2). Matrix square of triangle A094587. - Peter Bala, Aug 29 2013
From Tom Copeland, Apr 21 2014: (Start)
T = (I-A132440)^(-2) = {2*I - exp[(A238385-I)]}^(-2) = unsigned exp[2*(I-A238385)] = exp[A005649(.)*(A238385-I)], umbrally, where I = identity matrix.
The e.g.f. is exp(x*y)*(1-y)^(-2), so the row polynomials form an Appell sequence with lowering operator D=d/dx and raising operator x+2/(1-D).
With L(n,m,x) = Laguerre polynomials of order m, the row polynomials are (-1)^n * n! * L(n,-2-n,x) = (-1)^n*(-2!/(-2-n)!)*K(-n,-2-n+1,x) where K is Kummer's confluent hypergeometric function (as a limit of n+s as s tends to zero).
Operationally, (-1)^n*n!*L(n,-2-n,-:xD:) = (-1)^n*x^(n+2)*:Dx:^n*x^(-2-n) = (-1)^n*x^2*:xD:^n*x^(-2) = (-1)^n*n!*binomial(xD-2,n) = (-1)^n*n!*binomial(-2,n)*K(-n,-2-n+1,-:xD:) where :AB:^n = A^n*B^n for any two operators. Cf. A235706.
The generalized Pascal triangle Bala mentions is a special case of the fundamental generalized factorial matrices in A133314. (End)
From Peter Bala, Jul 26 2021: (Start)
O.g.f: 1/y * Sum_{k >= 0} k!*( y/(1 - x*y) )^k =  1 + (2 + x)*y + (6 + 4*x + x^2)*y^2 + ....
First-order recurrence for the row polynomials: (n - x)*R(n,x) = n*(n - x + 1)*R(n-1,x) - x^(n+1) with R(0,x) = 1.
R(n,x) = (x + n + 1)*R(n-1,x) - (n - 1)*x*R(n-2,x) with R(0,x) = 1 and R(1,x) = 2 + x.
R(n,x) = A087981 (x = -2), A000255 (x = -1), A000142 (x = 0), A001339 (x = 1), A081923 (x = 2) and A081924 (x = 3). (End)

Formula 3) in comments corrected by Tom Copeland, Apr 20 2014

Title modified by Tom Copeland, Apr 23 2014

A207538 Triangle of coefficients of polynomials v(n,x) jointly generated with A207537; see Formula section.

Original entry on oeis.org

1, 2, 4, 1, 8, 4, 16, 12, 1, 32, 32, 6, 64, 80, 24, 1, 128, 192, 80, 8, 256, 448, 240, 40, 1, 512, 1024, 672, 160, 10, 1024, 2304, 1792, 560, 60, 1, 2048, 5120, 4608, 1792, 280, 12, 4096, 11264, 11520, 5376, 1120, 84, 1, 8192, 24576, 28160, 15360

Offset: 1

Clark Kimberling, Feb 18 2012

As triangle T(n,k) with 0<=k<=n and with zeros omitted, it is the triangle given by (2, 0, 0, 0, 0, 0, 0, 0, 0, 0, ...) DELTA (0, 1/2, -1/2, 0, 0, 0, 0, 0, 0, 0, ...) where DELTA is the operator defined in A084938. - Philippe Deléham, Mar 04 2012
The numbers in rows of the triangle are along "first layer" skew diagonals pointing top-left in center-justified triangle given in A013609 ((1+2*x)^n) and  along (first layer) skew diagonals pointing top-right in center-justified triangle given in A038207 ((2+x)^n), see links. - Zagros Lalo, Jul 31 2018
If s(n) is the row sum at n, then the ratio s(n)/s(n-1) is approximately 2.414213562373095... (A014176: Decimal expansion of the silver mean, 1+sqrt(2)), when n approaches infinity. - Zagros Lalo, Jul 31 2018

			First seven rows:
1
2
4...1
8...4
16..12..1
32..32..6
64..80..24..1
(2, 0, 0, 0, 0, ...) DELTA (0, 1/2, -1/2, 0, 0, 0, ...) begins:
    1
    2,   0
    4,   1,  0
    8,   4,  0, 0
   16,  12,  1, 0, 0
   32,  32,  6, 0, 0, 0
   64,  80, 24, 1, 0, 0, 0
  128, 192, 80, 8, 0, 0, 0, 0

Shara Lalo and Zagros Lalo, Polynomial Expansion Theorems and Number Triangles, Zana Publishing, 2018, ISBN: 978-1-9995914-0-3, pp. 80-83, 357-358.

Jean-Luc Baril and José Luis Ramírez, Descent distribution on Catalan words avoiding ordered pairs of Relations, arXiv:2302.12741 [math.CO], 2023.
S. Halici, On some Pell polynomials , Acta Universitatis Apulensis, No. 29/2012, pp. 105-112.
Zagros Lalo, First layer skew diagonals in center-justified triangle of coefficients in expansion of (1 + 2x)^n
Zagros Lalo, First layer skew diagonals in center-justified triangle of coefficients in expansion of (2 + x)^n

Cf. A028297, A207537, A133156, A038207, A099089.
Cf. A053117, A097610, A091894.
Cf. A013609, A038207.
Cf. A128099.

u[1, x_] := 1; v[1, x_] := 1; z = 16;
u[n_, x_] := u[n - 1, x] + (x + 1)*v[n - 1, x]
v[n_, x_] := u[n - 1, x] + v[n - 1, x]
Table[Factor[u[n, x]], {n, 1, z}]
Table[Factor[v[n, x]], {n, 1, z}]
cu = Table[CoefficientList[u[n, x], x], {n, 1, z}];
TableForm[cu]
Flatten[%]  (* A207537, |A028297| *)
Table[Expand[v[n, x]], {n, 1, z}]
cv = Table[CoefficientList[v[n, x], x], {n, 1, z}];
TableForm[cv]
Flatten[%]  (* A207538, |A133156| *)
t[0, 0] = 1; t[n_, k_] := t[n, k] = If[n < 0 || k < 0, 0, 2 t[n - 1, k] + t[n - 2, k - 1]]; Table[t[n, k], {n, 0, 15}, {k, 0, Floor[n/2]}] // Flatten (* Zagros Lalo, Jul 31 2018 *)
t[n_, k_] := t[n, k] = 2^(n - 2 k) * (n -  k)!/((n - 2 k)! k!) ; Table[t[n, k], {n, 0, 15}, {k, 0, Floor[n/2]} ]  // Flatten (* Zagros Lalo, Jul 31 2018 *)

u(n,x) = u(n-1,x)+(x+1)*v(n-1,x), v(n,x) = u(n-1,x)+v(n-1,x), where u(1,x) = 1, v(1,x) = 1. Also, A207538 = |A133156|.
From Philippe Deléham, Mar 04 2012: (Start)
With 0<=k<=n:
Mirror image of triangle in A099089.
Skew version of A038207.
Riordan array (1/(1-2*x), x^2/(1-2*x)).
G.f.: 1/(1-2*x-y*x^2).
Sum_{k, 0<=k<=n} T(n,k)*x^k = A190958(n+1), A127357(n), A090591(n), A089181(n+1), A088139(n+1), A045873(n+1), A088138(n+1), A088137(n+1), A099087(n), A000027(n+1), A000079(n), A000129(n+1), A002605(n+1), A015518(n+1), A063727(n), A002532(n+1), A083099(n+1), A015519(n+1), A003683(n+1), A002534(n+1), A083102(n), A015520(n+1), A091914(n) for x = -10, -9, -8, -7, -6, -5, -4, -3, -2, -1, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12 respectively.
T(n,k) = 2*T(n-1,k) + T(-2,k-1) with T(0,0) = 1, T(1,0) = 2, T(1,1) = 0 and T(n, k) = 0 if k<0 or if k>n. (End)
T(n,k) = A013609(n-k, n-2*k+1). - Johannes W. Meijer, Sep 05 2013
From Tom Copeland, Feb 11 2016: (Start)
A053117 is a reflected, aerated and signed version of this entry. This entry belongs to a family discussed in A097610 with parameters h1 = -2 and h2 = -y.
Shifted o.g.f.: G(x,t) = x / (1 - 2 x - t x^2).
The compositional inverse of G(x,t) is Ginv(x,t) = -[(1 + 2x) - sqrt[(1+2x)^2 + 4t x^2]] / (2tx) = x - 2 x^2 + (4-t) x^3 - (8-6t) x^4 + ..., a shifted o.g.f. for A091894 (mod signs with A091894(0,0) = 0).
(End)

Previous Showing 31-40 of 100 results. Next

cp's OEIS Frontend

A128099 Triangle read by rows: T(n,k) is the number of ways to tile a 3 X n rectangle with k pieces of 2 X 2 tiles and 3n-4k pieces of 1 X 1 tiles (0 <= k <= floor(n/2)).

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Maple

Mathematica

Formula

A130809 If X_1, ..., X_n is a partition of a 2n-set X into 2-blocks then a(n) is equal to the number of 3-subsets of X containing none of X_i, (i=1,...,n).

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Magma

Maple

Mathematica

PARI

Formula

A228576 A triangle formed like generalized Pascal's triangle. The rule is T(n,k) = 2*T(n-1,k-1) + T(n-1,k), the left border is n and the right border is n^2 instead of 1.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

GAP

Magma

Maple

Mathematica

PARI

Sage

Formula

A054456 Convolution triangle of A000129(n) (Pell numbers).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

Formula

A090802 Triangle read by rows: a(n,k) = number of k-length walks in the Hasse diagram of a Boolean algebra of order n.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

Extensions

A133156 Irregular triangle read by rows: coefficients of U(n,x), Chebyshev polynomials of the second kind with exponents in decreasing order.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

Extensions

A054851 a(n) = 2^(n-7)*binomial(n,7). Number of 7D hypercubes in an n-dimensional hypercube.

Views