cp's OEIS Frontend

A subset of Pascal's triangle A007318.

Elements have the same parity as those of Pascal's triangle.

Matrix inverse is A104033. - Paul D. Hanna, Feb 28 2005

Row reverse of A091042. - Peter Bala, Jul 29 2013

Let E(y) = cosh(sqrt(y)) = 1 + 3*y/3! + 5*y^2/5! + 7*y^3/7! + .... Then this triangle is the generalized Riordan array (E(y), y) with respect to the sequence (2*n+1)! as defined in Wang and Wang. Cf. A086645. - Peter Bala, Aug 06 2013

The row polynomial P(d, x) = Sum_{k=0..d} T(d, k)*x^k, multiplied by (2*d)!/d! = A001813(d), gives the numerator polynomial of the o.g.f. of the sequence of the diagonal d, for d >= 0, of the Sheffer triangle Lah[4,3] given in A292219. - Wolfdieter Lang, Oct 12 2017

The elements of the matrix inverse are apparently given by T^(-1)(n,k) = (-1)^(n+k)*A086645(n,k). - R. J. Mathar, Mar 14 2013

Let E(y) = Sum_{n >= 0} y^n/(2*n)! = cosh(sqrt(y)). Then this triangle is the generalized Riordan array (1/E(-y), y) with respect to the sequence (2*n)! as defined in Wang and Wang. - Peter Bala, Aug 06 2013

Let P_n be the poset of even size subsets of [2n] ordered by inclusion. Then Sum_{k=0..n}(-1)^(n-k)*T(n,k)*x^k is the characteristic polynomial of P_n. - Geoffrey Critzer, Feb 24 2021

Let C_n be the root lattice generated as a monoid by {+-2*e_i: 1 <= i <= n; +-e_i +- e_j: 1 <= i not equal to j <= n}. Let P(C_n) be the polytope formed by the convex hull of this generating set. Then the rows of (the signless version of) this array are the f-vectors of a unimodular triangulation of P(C_n) [Ardila et al.]. See A086645 for the corresponding array of h-vectors for these type C_n polytopes. See A063007 for the array of f-vectors for type A_n polytopes and A108556 for the array of f-vectors associated with type D_n polytopes. - Peter Bala, Oct 23 2008

Definition of the Hilbert transform of a triangular array:

For many square arrays in the database the entries in a row are polynomial in the column index, of degree d say and hence the row generating function has the form P(x)/(1-x)^(d+1), where P is some polynomial function. Often the array whose rows are formed from the coefficients of these P polynomials is of independent interest. This suggests the following definition.

Let [L(n,k)]n,k>=0 be a lower triangular array and let R(n,x) := sum {k = 0 .. n} L(n,k)*x^k, denote the n-th row generating polynomial of L. Then we define the Hilbert transform of L, denoted Hilb(L), to be the square array whose n-th row, n >= 0, has the generating function R(n,x)/(1-x)^(n+1).

In this particular case, L is the array A060187, the array of Eulerian numbers of type B, whose row polynomials are the h-polynomials for permutohedra of type B. The Hilbert transform is an infinite Vandermonde matrix V(1,3,5,...).

We illustrate the Hilbert transform with a few examples:

(1) The Delannoy number array A008288 is the Hilbert transform of Pascal's triangle A007318 (view as the array of coefficients of h-polynomials of n-dimensional cross polytopes).

(2) The transpose of the array of nexus numbers A047969 is the Hilbert transform of the triangle of Eulerian numbers A008292 (best viewed in this context as the coefficients of h-polynomials of n-dimensional permutohedra of type A).

(3) The sequence of Eulerian polynomials begins [1, x, x + x^2, x + 4*x^2 + x^3, ...]. The coefficients of these polynomials are recorded in triangle A123125, whose Hilbert transform is A004248 read as square array.

(4) A108625, the array of crystal ball sequences for the A_n lattices, is the Hilbert transform of A008459 (viewed as the triangle of coefficients of h-polynomials of n-dimensional associahedra of type B).

(5) A142992, the array of crystal ball sequences for the C_n lattices, is the Hilbert transform of A086645, the array of h-vectors for type C root polytopes.

(6) A108553, the array of crystal ball sequences for the D_n lattices, is the Hilbert transform of A108558, the array of h-vectors for type D root polytopes.

(7) A086764, read as a square array, is the Hilbert transform of the rencontres numbers A008290.

(8) A143409 is the Hilbert transform of triangle A073107.

A subset of Pascal's triangle A007318 with only even elements.

Row n equals the (n+1)-th differences of row n of the square array A108553. G.f. of row n equals: (1-x)^(n+1)*CBD_n(x), where CBD_n denotes the g.f. of the crystal ball sequence for D_n lattice.

From Peter Bala, Oct 23 2008: (Start)

Let D_n be the root lattice generated as a monoid by {+-e_i +- e_j: 1 <= i not equal to j <= n}. Let P(D_n) be the polytope formed by the convex hull of this generating set. Then the rows of this array are the h-vectors of a unimodular triangulation of P(D_n) [Ardila et al.]. See A108556 for the corresponding array of f-vectors for these type D_n polytopes. See A008459 for the array of h-vectors for type A_n polytopes and A086645 for the array of h-vectors associated with type C_n polytopes.

The Hilbert transform of this array (as defined in A145905) equals A108553.

(End)

Column 0 equals signed A009843 (expansion of x/cosh(x)). Row sums form signed A000182 (expansion of tanh(x)).

The matrix logarithm is L(n,k) = -(-1)^(n-k)*A000182(n-k)*A103327(n,k), where A000182 = tangent numbers.

Let E(y) = cosh(sqrt(y)) = 1 + 3*y/3! + 5*y^2/5! + 7*y^3/7! + .... so that 1/E(y) = 1 - 3*y/3! + 25*y^2/5! - 427*y^3/7! + .... Then this triangle is the generalized Riordan array (1/E(y), y) with respect to the sequence (2*n+1)! as defined in Wang and Wang. - Peter Bala, Aug 06 2013