cp's OEIS Frontend

a(n) has the Lucas property, namely a(n) is congruent to a(n_0)a(n_1)...a(n_k) modulo p for any prime p where n_0,n_1,... are the base p digits of n. (Carlitz via McIntosh)

a(n) is the number of ways to form an ordered pair of n-permutations and then choose a subset of its common descent set. Cf. A192721. - Geoffrey Critzer, Apr 29 2023

In other words, there are no "column rises", where a "column rise" means a pair of adjacent columns where each entry in the left column is strictly less than the adjacent entry in the right column.

This is R(n,k,0) in [Abramson-Promislow].

From Petros Hadjicostas, Sep 09 2019: (Start)

As stated above, in the notation of Abramson and Promislow (1978), we have T(n,k) = R(n, k, t=0).

Let P_k be the set of all lists a = (a_1, a_2, ..., a_k) of integers a_i >= 0, i = 1, ..., k, such that 1*a_1 + 2*a_2 + ... + k*a_k = k; i.e., P_k is the set all integer partitions of k. Then |P_k| = A000041(k).

From Eq. (6), p. 248, in Abramson and Promislow (1978), with t=0, we get T(n,k) = Sum_{a in P_k} (-1)^(k - Sum_{j=1..k} a_j) * (a_1 + a_2 + ... + a_k)!/(a_1! * a_2! * ... * a_k!) * (k! / ((1!)^a_1 * (2!)^a_2 * ... * (k!)^a_k))^n.

The integer partitions of k = 1..10 are listed on pp. 831-832 of Abramowitz and Stegun (1964). We see that, for k = 1..6, the corresponding multinomial coefficients k! / ((1!)^a_1 * (2!)^a_2 * ... * (k!)^a_k) are all distinct; that is, A070289(k) = A000041(k) and A309951(k,s) = A325305(k,s) for s = 0..A000041(k). For 7 <= k <= 10, this is not true anymore; i.e., A070289(k) < A000041(k) for 7 <= k <= 10 (and we conjecture that this is the case for all k >= 7).

From the theory of difference equations, we see that Abramson and Promislow's Eq. (6) on p. 248 (with t=0) implies that Sum_{s = 0..A070289(k)} (-1)^s * A325305(k,s) * T(n-s,k) = 0 for n >= A070289(k) + 1. For k = 1..5, these recurrences give R. H. Hardin's empirical recurrences shown in the Formula section below.

We also have Sum_{s = 0..A000041(k)} (-1)^s * A309951(k,s) * T(n-s,k) = 0 for n >= A000041(k) + 1, but for k >= 7, the recurrence we get (for column k) may not necessarily be minimal.

To derive the recurrence for row n, let y=0 in Eq. (8), p. 249, of Abramson and Promislow (1978). We get 1 + Sum_{k >= 1} T(n,k)*x^k/(k!)^n = 1/f_n(-x), where f_n(x) = Sum_{i >= 0} (x^i/(i!)^n). Matching coefficients, we get Sum_{s = 1..k} T(n,s) * (-1)^(s-1) * binomial(k,s)^n = 1, from which the recurrence in the Formula section follows.

(End)

The Eulerian-type number triangle associated with this triangle of generalized Stirling numbers is A192721. The table entry T(n,k) gives the number of uniform block permutations of the set {1,2,...,n} partitioned into k blocks. An example is given below. T(n,k) also gives the number of games of simple patience with n cards resulting in k piles (adapt Algorithm 1.1.22 of Lankham). [Peter Bala, Jul 14 2011]

A column rise (cf. A000275) means a pair of adjacent columns within a cell where each entry in the first column is less than the adjacent entry in the second column. The order of the columns cannot change. The cells are allowed to be empty.

Compare with triangle A019538, whose entries are given by

... Sum multinomial(n; n_1,n_2,...,n_k), where the sum extends over all compositions (n_1,n_2,...,n_k) of n into exactly k nonnegative parts.

For related tables see A061691 and A192721.

Let P be the poset of all ordered pairs (S,T) of subsets of [n] with |S|=|T|, ordered componentwise by inclusion. T(n,k) is the number of length k chains in P from ({},{}) to ([n],[n]). - Geoffrey Critzer, Apr 15 2020

An ordered pair of n-permutations ((a_1,a_2,...,a_n),(b_1,b_2,...,b_n)) has a common double descent at position i, 1<=i<=n-2, if a_i > a_i+1 > a_i+2 and b_i > b_i+1 > b_i+2.

An ordered triple of n-permutations ( (a_1,a_2,...,a_n),(b_1,b_2,...,b_n),(c_1,c_2,...,c_n) ) has a common descent at position i, 1<=i<=n-1, if a_i > a_i+1, b_i > b_i+1 and c_i > c_i+1.