cp's OEIS Frontend

Triangle T(n,k), 0 <= k <= n, read by rows given by [0,1,0,2,0,3,0,4,0,5,0,6,0,7,0,...] DELTA [1,1,2,2,3,3,4,4,5,5,6,6,...] where DELTA is the operator defined in A084938; another version of A019538.

See also A019538: version with n > 0 and k > 0. - Philippe Deléham, Nov 03 2008

From Peter Bala, Jul 21 2014: (Start)

T(n,k) gives the number of (k-1)-dimensional faces in the interior of the first barycentric subdivision of the standard (n-1)-dimensional simplex. For example, the barycentric subdivision of the 1-simplex is o--o--o, with 1 interior vertex and 2 interior edges, giving T(2,1) = 1 and T(2,2) = 2.

This triangle is used when calculating the face vectors of the barycentric subdivision of a simplicial complex. Let S be an n-dimensional simplicial complex and write f_k for the number of k-dimensional faces of S, with the usual convention that f_(-1) = 1, so that F := (f_(-1), f_0, f_1,...,f_n) is the f-vector of S. If M(n) denotes the square matrix formed from the first n+1 rows and n+1 columns of the present triangle, then the vector F*M(n) is the f-vector of the first barycentric subdivision of the simplicial complex S (Brenti and Welker, Lemma 2.1). For example, the rows of Pascal's triangle A007318 (but with row and column indexing starting at -1) are the f-vectors for the standard n-simplexes. It follows that A007318*A131689, which equals A028246, is the array of f-vectors of the first barycentric subdivision of standard n-simplexes. (End)

This triangle T(n, k) appears in the o.g.f. G(n, x) = Sum_{m>=0} S(n, m)*x^m with S(n, m) = Sum_{j=0..m} j^n for n >= 1 as G(n, x) = Sum_{k=1..n} (x^k/(1 - x)^(k+2))*T(n, k). See also the Eulerian triangle A008292 with a Mar 31 2017 comment for a rewritten form. For the e.g.f. see A028246 with a Mar 13 2017 comment. - Wolfdieter Lang, Mar 31 2017

T(n,k) = the number of alignments of length k of n strings each of length 1. See Slowinski. An example is given below. Cf. A122193 (alignments of strings of length 2) and A299041 (alignments of strings of length 3). - Peter Bala, Feb 04 2018

The row polynomials R(n,x) are the Fubini polynomials. - Emanuele Munarini, Dec 05 2020

From Gus Wiseman, Feb 18 2022: (Start)

Also the number of patterns of length n with k distinct parts (or with maximum part k), where we define a pattern to be a finite sequence covering an initial interval of positive integers. For example, row n = 3 counts the following patterns:

(1,1,1) (1,2,2) (1,2,3)

(2,1,2) (1,3,2)

(2,2,1) (2,1,3)

(1,1,2) (2,3,1)

(1,2,1) (3,1,2)

(2,1,1) (3,2,1)

(End)

Regard A048994 as a lower-triangular matrix and divide each term A048994(n,k) by n!, then this is the matrix inverse. Because Sum_{k=0..n} (A048994(n,k) * x^n / n!) = A007318(x,n), Sum_{k=0..n} (A131689(n,k) * A007318(x,k)) = x^n. - Natalia L. Skirrow, Mar 23 2023

T(n,k) is the number of ordered partitions of [n] into k blocks. - Alois P. Heinz, Feb 21 2025

Without row n=0 and column k=0 this is triangle A039810.

This is an associated Sheffer matrix with e.g.f. of the m-th column ((exp(f(x))-1)^m)/m! with f(x)=:exp(x)-1.

The triangle is also called the exponential Riordan array [1, exp(exp(x)-1)]. - Peter Luschny, Apr 19 2015

Also the Bell transform of shifted Bell numbers A000110(n+1). For the definition of the Bell transform see A264428. - Peter Luschny, Jan 27 2016

This lower triangular matrix T is the inverse of the triangular matrix with elements Narumi[-1](n,m)/(m+1) = S1(n+1, m+1)/(n+1), with the Narumi triangle for parameter a = -1, and S1 = A048994 (Stirling1), i.e., Sum_{k=m..n} T(n, k) * S1(k+1, m+1)/(k+1) = delta_{n,m} (Kronecker symbol).

This triangle arises from the inverse of the rational Sheffer matrix Narumi[-1] = (log(1+x)/x, log(1+x) (such special Sheffer matrices (g(x), x*g(x)) define elements of the Narumi subgroup). The inverse matrix is (Narumi[-1])^(-1) = ((exp(x) - 1)/x, exp(x) - 1).

In order to have an integer matrix one takes T(n, k) := (n+1)*(Narumi[-1])^(-1)(n, k) = (k+1)*S2(n+1, k+1). The connection to S2 = A048993 results from the general relation between each Narumi-type matrix N = (g(x), x*g(x)) and its associated Sheffer matrix J = (1, x*g(x)) (this is of the Jabotinsky-type), i.e., N(n, m) = (m+1)*J(n+1, m+1)/(n+1), or with the row polynomials Npol(n, x) = (1/(n+1))*(d/dx)Jpol(n+1, x).

The signed triangle (-1)^(n-k)*A028421(n, k) (with upper diagonals filled with zeros) gives the integer matrix Nscaled with elements (n+1)*Narumi[-1](n,k). This inverse of Nscaled has the rational elements (Narumi[-1])^(-1)(k, m)/(m+1) = (1/(k+1))*S2(k+1, m+1).

The a- and z- sequence for the Sheffer matrix (Narumi[-1])^(-1) (see A006232 for a link on these sequences) have e.g.f.s Ea(x) = x/log(1 + x) and Ez(x) = 1/log(1 + x) - 1/x, hence a(n) = A006232(n)/A006233(n) and z(n) = A006232(n+1)/A075178(n), for n >= 0. This leads to the recurrence for T(n, k) given in the formula section.

The Boas-Buck-type column recurrence (see the link, also for references) uses the sequence with o.g.f. GBB(y) = exp(y)/(exp(y) - 1) - 1/y, with BB(n) = (-1)^(n+1)*A060054(n+1 ) / A227830(n+1), for n >= 1. For the recurrence see the formula section.

The Meixner-type identity (see the Meixner link) for the row polynomials R(n, x) = Sum_{k=0..n} T(n, k)*x^k, derived from the one for the Narumi[-1]^(-1) row polynomials is Sum_{k=1..n} (-1)^{k+1}*(1/k)*(d/dx)^k R(n, x)/(n+1) = R(n-1, x), for n >= 1, and R(0, x) = 1. Here d/dx is a differentiation operator.

The Roman-type recurrence for the row polynomials (see the reference, Corollary 3.7.2. p. 50) becomes, with the z-sequence from above: R(n, x) = ((n+1)/n)*{(x + 1/2)*1 + (x - z(1))*d/dx - Sum_{k=2..n-1} (1/k!)*z(k)*(d/dx)^k}*R(n-1, x), for n >= 1, and R(0, x) = 1.

The triangle is the exponential Riordan square (cf. A321620) of exp(x)-1 with an additional main diagonal of zeros. - Peter Luschny, Jan 03 2019

Original name: Sorting numbers (see Motzkin article for details).

For n>0, a(n) is also the maximum term in row n of the triangle in A227450. - Danny Rorabaugh, Oct 24 2015

a(n)/A225481(n) is a representation of the Bernoulli numbers. This is case m = 1 of the scaled generalized Bernoulli numbers defined as Sum_{k=0..n} ((-1)^k*k!/(k+1)) S_{m}(n,k) where S_{m}(n,k) are generalized Stirling subset numbers. A225481(n) can be seen as an analog of the Clausen numbers A141056(n). Reduced to lowest terms a(n)/A225481(n) becomes A027641(n)/A027642(n).