A143493 -id:A143493 - cp's OEIS frontend

A143491 Unsigned 2-Stirling numbers of the first kind.

1, 2, 1, 6, 5, 1, 24, 26, 9, 1, 120, 154, 71, 14, 1, 720, 1044, 580, 155, 20, 1, 5040, 8028, 5104, 1665, 295, 27, 1, 40320, 69264, 48860, 18424, 4025, 511, 35, 1, 362880, 663696, 509004, 214676, 54649, 8624, 826, 44, 1, 3628800, 6999840, 5753736, 2655764

Offset: 2

Peter Bala, Aug 20 2008

Essentially the same as A136124 but with column numbers differing by one. See A049444 for a signed version of this array. The unsigned 2-Stirling numbers of the first kind count the permutations of the set {1,2,...,n} into k disjoint cycles, with the restriction that the elements 1 and 2 belong to distinct cycles. This is the particular case r = 2 of the unsigned r-Stirling numbers of the first kind, which count the permutations of the set {1,2,...,n} into k disjoint cycles, with the restriction that the numbers 1, 2, ..., r belong to distinct cycles. The case r = 1 gives the usual unsigned Stirling numbers of the first kind, abs(A008275); for other cases see A143492 (r = 3) and A143493 (r = 4). The corresponding 2-Stirling numbers of the second kind can be found in A143494.
In general, the lower unitriangular array of unsigned r-Stirling numbers of the first kind (with suitable offsets in the row and column indexing) equals the matrix product St1 * P^(r-1), where St1 is the array of unsigned Stirling numbers of the first kind, abs(A008275) and P is Pascal's triangle, A007318. The theory of r-Stirling numbers of both kinds is developed in [Broder]. For details of the related r-Lah numbers see A143497.
This sequence also represents the number of permutations in the alternating group An of length k, where the length is taken with respect to the generators set {(12)(ij)}. For a bijective proof of the relation between these numbers and the 2-Stirling numbers of the first kind see the Rotbart link. - Aviv Rotbart, May 05 2011
With offset n=0,k=0 : triangle T(n,k), read by rows, given by [2,1,3,2,4,3,5,4,6,5,...] DELTA [1,0,1,0,1,0,1,0,1,0,...] where DELTA is the operator defined in A084938. - Philippe Deléham, Sep 29 2011
With offset n=0 and k=0, this is the Sheffer triangle (1/(1-x)^2,-log(1-x)) (in the umbral notation of S. Roman's book this would be called Sheffer for (exp(-2*t),1-exp(-t))). See the e.g.f. given below. Compare also with the e.g.f. for the signed version A049444. - Wolfdieter Lang, Oct 10 2011
Reversed rows correspond to the Betti numbers of the moduli space M(0,n) of smooth Riemann surfaces (see Murri link). - Tom Copeland, Sep 19 2012

			Triangle begins
  n\k|.....2.....3.....4.....5.....6.....7
  ========================================
  2..|.....1
  3..|.....2.....1
  4..|.....6.....5.....1
  5..|....24....26.....9.....1
  6..|...120...154....71....14.....1
  7..|...720..1044...580...155....20.....1
  ...
T(4,3) = 5. The permutations of {1,2,3,4} with 3 cycles such that 1 and 2 belong to different cycles are: (1)(2)(3 4), (1)(3)(24), (1)(4)(23), (2)(3)(14) and (2)(4)(13). The remaining possibility (3)(4)(12) is not allowed.
From _Aviv Rotbart_, May 05 2011: (Start)
Example of the alternating group permutations numbers:
Triangle begins
  n\k|.....0.....1.....2.....3.....4.....5.....6.....7
  ====================================================
  2..|.....1
  3..|.....1.....2
  4..|.....1.....5.....6
  5..|.....1.....9....26....24
  6..|.....1....14....71...154...120
  7..|.....1....20...155...580..1044..720
A(n,k) = number of permutations in An of length k, with respect to the generators set {(12)(ij)}. For example, A(2,0)=1 (only the identity is there), for A4, the generators are {(12)(13),(12)(14),(12,23),(12)(24),(12)(34)}, thus we have A(4,1)=5 (exactly 5 generators), the permutations of length 2 are:
   (12)(13)(12)(13) = (312)
   (12)(13)(12)(14) = (41)(23)
   (12)(13)(12)(24) = (432)(1)
   (12)(13)(12)(34) = (342)(1)
   (12)(23)(12)(24) = (13)(24)
   (12)(14)(12)(14) = (412)(3)
Namely, A(4,2)=6. Together with the identity [=(12)(12), of length 0. therefore A(4,0)=1] we have 12 permutations, comprising all A4 (4!/2=12). (End)

G. C. Greubel, Table of n, a(n) for the first 50 rows, flattened
Olivier Bodini, Antoine Genitrini, and Mehdi Naima, Ranked Schröder Trees, arXiv:1808.08376 [cs.DS], 2018.
Andrei Z. Broder, The r-Stirling numbers, Discrete Math. 49, 241-259 (1984)
A. Dzhumadildaev and D. Yeliussizov, Path decompositions of digraphs and their applications to Weyl algebra, arXiv preprint arXiv:1408.6764 [math.CO], 2014. [Version 1 contained many references to the OEIS, which were removed in Version 2. - _N. J. A. Sloane_, Mar 28 2015]
Askar Dzhumadil’daev and Damir Yeliussizov, Walks, partitions, and normal ordering, Electronic Journal of Combinatorics, 22(4) (2015), #P4.10.
Neuwirth Erich, Recursively defined combinatorial functions: Extending Galton's board, Discrete Math. 239 No. 1-3, 33-51 (2001)
R. Murri, Fatgraph Algorithms and the Homology of the Kontsevich Complex, arXiv:1202.1820 [math.AG], 2012. (see Table 1, p. 3)
Aviv Rotbart, Generator Sets for the Alternating Group, Séminaire Lotharingien de Combinatoire 65 (2011), Article B65b, 16pp.
Michael J. Schlosser and Meesue Yoo, Elliptic Rook and File Numbers, Electronic Journal of Combinatorics, 24(1) (2017), #P1.31.
M. Shattuck, Generalized r-Lah numbers, arXiv:1412.8721 [math.CO], 2014.

Cf. A001705 - A001709 (column 3..7), A001710 (row sums), A008275, A049444 (signed version), A136124, A143492, A143493, A143494, A143497.

Cf. A094638.

with combinat: T := (n, k) -> (n-2)! * add((n-j-1)*abs(stirling1(j,k-2))/j!,j = k-2..n-2): for n from 2 to 10 do seq(T(n, k), k = 2..n) end do;

t[n_, k_] := (n-2)!*Sum[(n-j-1)*Abs[StirlingS1[j, k-2]]/j!, {j, k-2, n-2}]; Table[t[n, k], {n, 2, 11}, {k, 2, n}] // Flatten (* Jean-François Alcover, Apr 16 2013, after Maple *)

T(n,k) = (n-2)! * Sum_{j = k-2 .. n-2} (n-j-1)*|stirling1(j,k-2)|/j!.
Recurrence relation: T(n,k) = T(n-1,k-1) + (n-1)*T(n-1,k) for n > 2, with boundary conditions: T(n,1) = T(1,n) = 0, for all n; T(2,2) = 1; T(2,k) = 0 for k > 2.
Special cases: T(n,2) = (n-1)!; T(n,3) = (n-1)!*(1/2 + 1/3 + ... + 1/(n-1)).
T(n,k) = Sum_{2 <= i_1 < ... < i_(n-k) < n} (i_1*i_2*...*i_(n-k)). For example, T(6,4) = Sum_{2 <= i < j < 6} (i*j) = 2*3 + 2*4 + 2*5 + 3*4 + 3*5 + 4*5 = 71.
Row g.f.: Sum_{k = 2..n} T(n,k)*x^k = x^2*(x+2)*(x+3)*...*(x+n-1).
E.g.f. for column (k+2): Sum_{n>=k} T(n+2,k+2)*x^n/n! = (1/k!)*(1/(1-x)^2)*(log(1/(1-x)))^k.
E.g.f.: (1/(1-t))^(x+2) = Sum_{n>=0} Sum_{k = 0..n} T(n+2,k+2)*x^k*t^n/n! = 1 + (2+x)*t/1! + (6+5*x+x^2)*t^2/2! + ... .
This array is the matrix product St1 * P, where St1 denotes the lower triangular array of unsigned Stirling numbers of the first kind, abs(A008275) and P denotes Pascal's triangle, A007318. The row sums are n!/2 ( A001710 ). The alternating row sums are (n-2)!.
If we define f(n,i,a) = Sum_{k=0..n-i} binomial(n,k)*Stirling1(n-k,i)*Product_{j=0..k-1} (-a - j), then T(n-1,i) = |f(n,i,2)|, for n=1,2,...; i=0..n. - Milan Janjic, Dec 21 2008
From Gary W. Adamson, Jul 19 2011: (Start)
n-th row of the triangle = top row of M^(n-2), M = a reversed variant of the (1,2) Pascal triangle (Cf. A029635); as follows:
  2, 1, 0, 0, 0, 0, ...
  2, 3, 1, 0, 0, 0, ...
  2, 5, 4, 1, 0, 0, ...
  2, 7, 9, 5, 1, 0, ...
  ... (End)
The reversed, row polynomials of this entry multiplied by (1+x) are the row polynomials of A094638. E.g., (1+x)(1+5x+6x^2) = (1+6x+11x^2+6x^3). - Tom Copeland, Dec 11 2016

A143496 4-Stirling numbers of the second kind.

Original entry on oeis.org

1, 4, 1, 16, 9, 1, 64, 61, 15, 1, 256, 369, 151, 22, 1, 1024, 2101, 1275, 305, 30, 1, 4096, 11529, 9751, 3410, 545, 39, 1, 16384, 61741, 70035, 33621, 7770, 896, 49, 1, 65536, 325089, 481951, 305382, 95781, 15834, 1386, 60, 1, 262144, 1690981, 3216795

Offset: 4

Peter Bala, Aug 20 2008

This is the case r = 4 of the r-Stirling numbers of the second kind. The 4-Stirling numbers of the second kind count the ways of partitioning the set {1,2,...,n} into k nonempty disjoint subsets with the restriction that the elements 1, 2, 3 and 4 belong to distinct subsets. For remarks on the general case see A143494 (r = 2). The corresponding array of 4-Stirling numbers of the first kind is A143493. The theory of r-Stirling numbers of both kinds is developed in [Broder]. For 4-Lah numbers refer to A143499.
From Wolfdieter Lang, Sep 29 2011: (Start)
T(n,k) = S(n,k,4), n >= k >= 4, in Mikhailov's first paper, eq.(28) or (A3). E.g.f. column k from (A20) with k->4, r->k. Therefore, with offset [0,0], this triangle is the Sheffer triangle (exp(4*x),exp(x)-1) with e.g.f. of column no. m >= 0: exp(4*x)*((exp(x)-1)^m)/m!. See one of the formulas given below. For Sheffer matrices see the W. Lang link under A006232 with the S. Roman reference, also found in A132393.
(End)

			Triangle begins
n\k|.....4.....5.....6.....7.....8.....9
========================================
4..|.....1
5..|.....4.....1
6..|....16.....9.....1
7..|....64....61....15.....1
8..|...256...369...151....22.....1
9..|..1024..2101..1275...305....30.....1
...
T(6,5) = 9. The set {1,2,3,4,5,6} can be partitioned into five subsets such that 1, 2, 3 and 4 belong to different subsets in 9 ways: {{1,5}{2}{3}{4}{6}}, {{1,6}{2}{3}{4}{5}}, {{2,5}{1}{3}{4}{6}}, {{2,6}{1}{3}{4}{5}}, {{3,5}{1}{2}{4}{6}}, {{3,6}{1}{2}{4}{5}}, {{4,5}{1}{2}{3}{6}}, {{4,6}{1}{2}{3}{5}} and {{5,6}{1}{2}{3}{4}}.

Andrei Z. Broder, The r-Stirling numbers, Report Number: CS-TR-82-949, Stanford University, Department of Computer Science; see also, Discrete Math. 49, 241-259 (1984).
Askar Dzhumadil'daev and Damir Yeliussizov, Path decompositions of digraphs and their applications to Weyl algebra, arXiv preprint arXiv:1408.6764v1 [math.CO], 2014. [Version 1 contained many references to the OEIS, which were removed in Version 2. - _N. J. A. Sloane_, Mar 28 2015]
Askar Dzhumadil'daev and Damir Yeliussizov, Walks, partitions, and normal ordering, Electronic Journal of Combinatorics, 22(4) (2015), #P4.10.
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.
V. V. Mikhailov, Ordering of some boson operator functions, J. Phys A: Math. Gen. 16 (1983) 3817-3827.
V. V. Mikhailov, Normal ordering and generalised Stirling numbers, J. Phys A: Math. Gen. 18 (1985) 231-235.
Erich Neuwirth, Recursively defined combinatorial functions: Extending Galton's board, Discrete Math. 239 No. 1-3, 33-51 (2001)
Lily L. Liu and Yi Wang, A unified approach to polynomial sequences with only real zeros, arXiv:math/0509207 [math.CO], 2005-2006.
Michael J. Schlosser and Meesue Yoo, Elliptic Rook and File Numbers, Electronic Journal of Combinatorics, 24(1) (2017), #P1.31.

Cf. A003468 (column 7), A005060 (column 5), A008277, A016103 (column 6), A045379 (row sums), A049459 (matrix inverse), A143493, A143494, A143495, A143499.

with combinat: T := (n, k) -> 1/(k-4)!*add ((-1)^(k-i)*binomial(k-4,i)*(i+4)^(n-4),i = 0..k-4): for n from 4 to 13 do seq(T(n, k), k = 4..n) end do;

t[n_, k_] := StirlingS2[n, k] - 6*StirlingS2[n-1, k] + 11*StirlingS2[n-2, k] - 6*StirlingS2[n-3, k]; Flatten[ Table[ t[n, k], {n, 4, 13}, {k, 4, n}]] (* Jean-François Alcover, Dec 02 2011 *)

T(n+4,k+4) = (1/k!)*Sum_{i = 0..k} (-1)^(k-i)*C(k,i)*(i+4)^n, n,k >= 0.
T(n,k) = Stirling2(n,k) - 6*Stirling2(n-1,k) + 11*Stirling2(n-2,k) - 6*Stirling2(n-3,k) for n,k >= 4.
Recurrence relation: T(n,k) = T(n-1,k-1) + k*T(n-1,k) for n > 4 with boundary conditions: T(n,3) = T(3,n) = 0 for all n; T(4,4) = 1; T(4,k) = 0 for k > 4. Special cases: T(n,4) = 4^(n-4); T(n,5) = 5^(n-4) - 4^(n-4).
E.g.f. (k+4)-th column (with offset 4): (1/k!)*exp(4*x)*(exp(x)-1)^k.
O.g.f. k-th column: Sum_{n>=k} T(n,k)*x^n = x^k/((1-4*x)*(1-5*x)*...*(1-k*x)).
E.g.f.: exp(4*t + x*(exp(t)-1)) = Sum_{n = 0..infinity} Sum_(k = 0..n) T(n+4,k+4)*x^k*t^n/n! = Sum_{n = 0..infinity} B_n(4;x)*t^n/n! = 1 + (4+x)*t/1! + (16+9*x+x^2)*t^2/2! + ..., where the row polynomials, B_n(4;x) := Sum_{k = 0..n} T(n+4,k+4)*x^k, may be called the 4-Bell polynomials.
Dobinski-type identities: Row polynomial B_n(4;x) = exp(-x)*Sum_{i = 0..infinity} (i+4)^n*x^i/i!; Sum_{k = 0..n} k!*T(n+4,k+4)*x^k = Sum_{i = 0..infinity} (i+4)^n*x^i/(1+x)^(i+1).
The T(n,k) are the connection coefficients between the falling factorials and the shifted monomials (x+4)^(n-4). For example, 16 + 9*x + x*(x-1) = (x+4)^2; 64 + 61*x + 15*x*(x-1) + x*(x-1)*(x-2) = (x+4)^3.
This array is the matrix product P^3 * S, where P denotes Pascal's triangle, A007318 and S denotes the lower triangular array of Stirling numbers of the second kind, A008277 (apply Theorem 10 of [Neuwirth]).
The inverse array is A049459, the signed 4-Stirling numbers of the first kind.
From Peter Bala, Sep 19 2008: (Start)
Let D be the derivative operator d/dx and E the Euler operator x*d/dx. Then x^(-4)*E^n*x^4 = Sum_{k = 0..n} T(n+4,k+4)*x^k*D^k.
The row generating polynomials R_n(x) := Sum_{k=4..n} T(n,k)*x^k satisfy the recurrence R_(n+1)(x) = x*R_n(x) + x*d/dx(R_n(x)) with R_4(x) = x^4. It follows that the polynomials R_n(x) have only real zeros (apply Corollary 1.2. of [Liu and Wang]).
Relation with the 4-Eulerian numbers E_4(n,j) := A144698(n,j): T(n,k) = 4!/k!*Sum_{j = n-k..n-4} E_4(n,j)*binomial(j,n-k) for n >= k >= 4.
(End)

A049459 Generalized Stirling number triangle of first kind.

Original entry on oeis.org

1, -4, 1, 20, -9, 1, -120, 74, -15, 1, 840, -638, 179, -22, 1, -6720, 5944, -2070, 355, -30, 1, 60480, -60216, 24574, -5265, 625, -39, 1, -604800, 662640, -305956, 77224, -11515, 1015, -49, 1, 6652800, -7893840, 4028156, -1155420, 203889

Offset: 0

Wolfdieter Lang

a(n,m)= ^4P_n^m in the notation of the given reference with a(0,0) := 1.
The monic row polynomials s(n,x) := sum(a(n,m)*x^m,m=0..n) which are s(n,x)= product(x-(4+k),k=0..n-1), n >= 1 and s(0,x)=1 satisfy s(n,x+y) = sum(binomial(n,k)*s(k,x)*S1(n-k,y),k=0..n), with the Stirling1 polynomials S1(n,x)=sum(A008275(n,m)*x^m, m=1..n) and S1(0,x)=1.
In the umbral calculus (see the S. Roman reference given in A048854) the s(n,x) polynomials are called Sheffer for (exp(4*t),exp(t)-1).
See A143493 for the unsigned version of this array and A143496 for the inverse. - Peter Bala, Aug 25 2008

			   1;
  -4,    1;
  20,   -9,   1;
-120,   74, -15,   1;
840, -638, 179, -22, 1;

Mitrinovic, D. S.; Mitrinovic, R. S.; Tableaux d'une classe de nombres relies aux nombres de Stirling. Univ. Beograd. Pubi. Elektrotehn. Fak. Ser. Mat. Fiz. No. 77 1962, 77 pp.

Reinhard Zumkeller, Rows n = 0..125 of triangle, flattened

Unsigned column sequences are: A001715-A001719. Cf. A008275 (Stirling1 triangle), A049458, A049460. Row sums (signed triangle): A001710(n+2)*(-1)^n. Row sums (unsigned triangle): A001720(n+4).
Cf. A000035 A084938.
A143493, A143496. - Peter Bala, Aug 25 2008

a049459 n k = a049459_tabl !! n !! k
a049459_row n = a049459_tabl !! n
a049459_tabl = map fst $ iterate (\(row, i) ->
   (zipWith (-) ([0] ++ row) $ map (* i) (row ++ [0]), i + 1)) ([1], 4)
-- Reinhard Zumkeller, Mar 11 2014

A049459_row := n -> seq((-1)^(n-k)*coeff(expand(pochhammer(x+4, n)), x, k), k=0..n): seq(print(A049459_row(n)),n=0..8); # Peter Luschny, May 16 2013

a[n_, m_] /; 0 <= m <= n := a[n, m] = a[n-1, m-1] - (n+3)*a[n-1, m];
a[n_, m_] /; n < m = 0;
a[_, -1] = 0; a[0, 0] = 1;
Table[a[n, m], {n, 0, 10}, {m, 0, n}] // Flatten (* Jean-François Alcover, Jun 19 2018 *)

a(n, m)= a(n-1, m-1) - (n+3)*a(n-1, m), n >= m >= 0; a(n, m) := 0, n

Triangle (signed) = [ -4, -1, -5, -2, -6, -3, -7, -4, -8, ...] DELTA [1, 0, 1, 0, 1, 0, 1, 0, ...]; triangle (unsigned) = [4, 1, 5, 2, 6, 3, 7, 4, 8, 5, ...] DELTA [1, 0, 1, 0, 1, 0, 1, 0, 1, 0, ...]; where DELTA is Deléham's operator defined in A084938 (unsigned version in A143493).

If we define f(n,i,a)=sum(binomial(n,k)*stirling1(n-k,i)*product(-a-j,j=0..k-1),k=0..n-i), then T(n,i) = f(n,i,4), for n=1,2,...;i=0...n. - Milan Janjic, Dec 21 2008

Second formula corrected by Philippe Deléham, Nov 09 2008

A143492 Unsigned 3-Stirling numbers of the first kind.

Original entry on oeis.org

1, 3, 1, 12, 7, 1, 60, 47, 12, 1, 360, 342, 119, 18, 1, 2520, 2754, 1175, 245, 25, 1, 20160, 24552, 12154, 3135, 445, 33, 1, 181440, 241128, 133938, 40369, 7140, 742, 42, 1, 1814400, 2592720, 1580508, 537628, 111769, 14560, 1162, 52, 1, 19958400

Offset: 3

Peter Bala, Aug 20 2008

See A049458 for a signed version of this array. The unsigned 3-Stirling numbers of the first kind count the permutations of the set {1,2,...,n} into k disjoint cycles, with the restriction that the elements 1, 2 and 3 belong to distinct cycles. This is the case r = 3 of the unsigned r-Stirling numbers of the first kind. For other cases see abs(A008275) (r = 1), A143491 (r = 2) and A143493 (r = 4). See A143495 for the corresponding 3-Stirling numbers of the second kind. The theory of r-Stirling numbers of both kinds is developed in [Broder]. For details of the related 3-Lah numbers see A143498.
With offset n=0 and k=0, this is the Sheffer triangle (1/(1-x)^3, -log(1-x)) (in the umbral notation of S. Roman's book this would be called Sheffer for (exp(-3*t), 1-exp(-t))). See the e.g.f given below. Compare also with the e.g.f. for the signed version A049458. - Wolfdieter Lang, Oct 10 2011
With offset n=0 and k=0 : triangle T(n,k), read by rows, given by (3,1,4,2,5,3,6,4,7,5,8,6,...) DELTA (1,0,1,0,1,0,1,0,1,0,1,...) where DELTA is the operator defined in A084938. - Philippe Deléham, Oct 31 2011

			Triangle begins
n\k|.....3.....4.....5.....6.....7.....8
========================================
3..|.....1
4..|.....3.....1
5..|....12.....7.....1
6..|....60....47....12.....1
7..|...360...342...119....18.....1
8..|..2520..2754..1175...245....25.....1
...
T(5,4) = 7. The permutations of {1,2,3,4,5} with 4 cycles such that 1, 2 and 3 belong to different cycles are: (14)(2)(3)(5), (15)(2)(3)(4), (24)(1)(3)(5), (25)(1)(3)(4), (34)(1)(2)(5), (35)(1)(2)(4) and (45)(1)(2)(3).

Broder Andrei Z., The r-Stirling numbers, Discrete Math. 49, 241-259 (1984)
A. Dzhumadildaev and D. Yeliussizov, Path decompositions of digraphs and their applications to Weyl algebra, arXiv preprint arXiv:1408.6764v1, 2014. [Version 1 contained many references to the OEIS, which were removed in Version 2. - _N. J. A. Sloane_, Mar 28 2015]
Askar Dzhumadil’daev and Damir Yeliussizov, Walks, partitions, and normal ordering, Electronic Journal of Combinatorics, 22(4) (2015), #P4.10.
Erich Neuwirth, Recursively defined combinatorial functions: Extending Galton's board, Discrete Math. 239 No. 1-3, 33-51 (2001).
Michael J. Schlosser and Meesue Yoo, Elliptic Rook and File Numbers, Electronic Journal of Combinatorics, 24(1) (2017), #P1.31.

Cf. A001710 - A001714 (column 3 - column 7), A001715 (row sums), A008275, A049458 (signed version), A143491, A143493, A143495, A143498.

with combinat: T := (n, k) -> (n-3)! * add(binomial(n-j-1,2)*abs(stirling1(j,k-3))/j!,j = k-3..n-3): for n from 3 to 12 do seq(T(n, k), k = 3..n) end do;

T(n,k) = (n-3)! * Sum_{j = k-3 .. n-3} C(n-j-1,2)*|Stirling1(j,k-3)|/j!.
Recurrence relation: T(n,k) = T(n-1,k-1) + (n-1)*T(n-1,k) for n > 3, with boundary conditions: T(n,2) = T(2,n) = 0, for all n; T(3,3) = 1; T(3,k) = 0 for k > 3.
Special cases:
T(n,3) = (n-1)!/2! for n >= 3.
T(n,4) = (n-1)!/2!*(1/3 + ... + 1/(n-1)) for n >= 3.
T(n,k) = Sum_{3 <= i_1 < ... < i_(n-k) < n} (i_1*i_2* ...*i_(n-k)). For example, T(6,4) = Sum_{3 <= i < j < 6} (i*j) = 3*4 + 3*5 + 4*5 = 47.
Row g.f.: Sum_{k = 3..n} T(n,k)*x^k = x^3*(x+3)*(x+4)* ... *(x+n-1).
E.g.f. for column (k+3): Sum_{n = k..inf} T(n+3,k+3)*x^n/n! = 1/k!*1/(1-x)^3 * (log(1/(1-x)))^k.
E.g.f.: (1/(1-t))^(x+3) = Sum_{n = 0..inf} Sum_{k = 0..n} T(n+3,k+3)*x^k*t^n/n! = 1 + (3+x)*t/1! + (12+7*x+x^2)*t^2/2! + ....
This array is the matrix product St1 * P^2, where St1 denotes the lower triangular array of unsigned Stirling numbers of the first kind, abs(A008275) and P denotes Pascal's triangle, A007318. The row sums are n!/3! ( A001715 ). The alternating row sums are (n-2)!.
If we define f(n,i,a) = sum(binomial(n,k)*Stirling1(n-k,i)*product(-a-j,j=0..k-1),k=0..n-i), then T(n,i) = |f(n,i,3)|, for n=1,2,...;i=0...n. - Milan Janjic, Dec 21 2008

A144698 Triangle of 4-Eulerian numbers.

Original entry on oeis.org

1, 1, 4, 1, 13, 16, 1, 32, 113, 64, 1, 71, 531, 821, 256, 1, 150, 2090, 6470, 5385, 1024, 1, 309, 7470, 40510, 65745, 33069, 4096, 1, 628, 25191, 221800, 612295, 592884, 194017, 16384, 1, 1267, 81853, 1113919, 4835875, 7843369, 4915423, 1101157, 65536

Offset: 4

Peter Bala, Sep 19 2008

This is the case r = 4 of the r-Eulerian numbers, denoted by A(r;n,k), defined as follows. Let [n] denote the ordered set {1,2,...,n} and let r be a nonnegative integer. Let Permute(n,n-r) denote the set of injective maps p:[n-r] -> [n], which we think of as permutations of n numbers taken n-r at a time. Clearly, |Permute(n,n-r)| = n!/r!. We say that the permutation p has an excedance at position i, 1 <= i <= n-r, if p(i) > i. Then the r-Eulerian number A(r;n,k) is defined as the number of permutations in Permute(n,n-r) with k excedances. Thus the 4-Eulerian numbers are the number of permutations in Permute(n,n-4) with k excedances. For other cases see A008292 (r = 0 and r = 1), A144696 (r = 2), A144697 (r = 3) and A144699 (r = 5).
An alternative interpretation of the current array due to [Strosser] involves the 4-excedance statistic of a permutation (see also [Foata & Schutzenberger, Chapter 4, Section 3]). We define a permutation p in Permute(n,n-4) to have a 4-excedance at position i (1 <= i <= n-4) if p(i) >= i + 4.
Given a permutation p in Permute(n,n-4), define ~p to be the permutation in Permute(n,n-4) that takes i to n+1 - p(n-i-3). The map ~ is a bijection of Permute(n,n-4) with the property that if p has (resp. does not have) an excedance in position i then ~p does not have (resp. has) a 4-excedance at position n-i-3. Hence ~ gives a bijection between the set of permutations with k excedances and the set of permutations with (n-k) 4-excedances. Thus reading the rows of this array in reverse order gives a triangle whose entries are the number of permutations in Permute(n,n-4) with k 4-excedances.
Example: Represent a permutation p:[n-4] -> [n] in Permute(n,n-4) by its image vector (p(1),...,p(n-4)). In Permute(10,6) the permutation p = (1,2,4,10,3,6) does not have an excedance in the first two positions (i = 1 and 2) or in the final two positions (i = 5 and 6). The permutation ~p = (5,8,1,7,9,10) has 4-excedances only in the first two positions and the final two positions.

			Triangle begins
  ===+=============================================
  n\k|  0      1      2      3      4      5      6
  ===+=============================================
   4 |  1
   5 |  1      4
   6 |  1     13     16
   7 |  1     32    113     64
   8 |  1     71    531    821    256
   9 |  1    150   2090   6470   5385   1024
  10 |  1    309   7470  40510  65745  33069   4096
  ...
T(6,1) = 13: We represent a permutation p:[n-4] -> [n] in Permute(n,n-4) by its image vector (p(1),...,p(n-4)). The 13 permutations in Permute(6,2) having 1 excedance are (1,3), (1,4), (1,5), (1,6), (3,2), (4,2), (5,2), (6,2), (2,1), (3,1), (4,1), (5,1) and (6,1).

R. Strosser, Séminaire de théorie combinatoire, I.R.M.A., Université de Strasbourg, 1969-1970.

G. C. Greubel, Rows n = 4..54 of the triangle, flattened
J. F. Barbero G., J. Salas, and E. J. S. Villaseñor, Bivariate Generating Functions for a Class of Linear Recurrences. II. Applications, arXiv preprint arXiv:1307.5624 [math.CO], 2013-2015.
Ming-Jian Ding and Bao-Xuan Zhu, Some results related to Hurwitz stability of combinatorial polynomials, Advances in Applied Mathematics, Volume 152, (2024), 102591. See p. 9.
Sergi Elizalde, Descents on quasi-Stirling permutations, arXiv:2002.00985 [math.CO], 2020.
D. Foata and M. Schutzenberger, Théorie Géometrique des Polynômes Eulériens, arXiv:math/0508232 [math.CO], 2005; Lecture Notes in Math., no. 138, Springer Verlag, 1970.
L. Liu and Y. Wang, A unified approach to polynomial sequences with only real zeros, arXiv:math/0509207 [math.CO], 2005-2006.
Shi-Mei Ma, Some combinatorial sequences associated with context-free grammars, arXiv:1208.3104v2 [math.CO], 2012. - From _N. J. A. Sloane_, Aug 21 2012

Cf. A008292, A143493, A143496, A143499, A144696, A144697, A144699.

Cf. A001720 (row sums), A000302 (right diagonal).

m:=4; [(&+[(-1)^(k-j)*Binomial(n+1,k-j)*Binomial(j+m,m-1)*(j+1)^(n-m+1): j in [0..k]])/m: k in [0..n-m], n in [m..m+10]]; // G. C. Greubel, Jun 04 2022

with(combinat):
T:= (n,k) -> 1/4!*add((-1)^(k-j)*binomial(n+1,k-j)*(j+1)^(n-3)*(j+2)*(j+3)*(j+4),j = 0..k):
for n from 4 to 12 do
seq(T(n,k),k = 0..n-4)
end do;

T[n_, k_] /; 0 < k <= n-4 := T[n, k] = (k+1) T[n-1, k] + (n-k) T[n-1, k-1];
T[, 0] = 1; T[, _] = 0;
Table[T[n, k], {n, 4, 12}, {k, 0, n-4}] // Flatten (* Jean-François Alcover, Nov 11 2019 *)

m=4 # A144698
def T(n,k): return (1/m)*sum( (-1)^(k-j)*binomial(n+1,k-j)*binomial(j+m,m-1)*(j+1)^(n-m+1) for j in (0..k) )
flatten([[T(n,k) for k in (0..n-m)] for n in (m..m+10)]) # G. C. Greubel, Jun 04 2022

T(n,k) = (1/4!)*Sum_{j = 0..k} (-1)^(k-j)*binomial(n+1,k-j)*(j+1)^(n-3)*(j+2)*(j+3)*(j+4).
T(n,n-k) = (1/4!)*Sum_{j = 4..k} (-1)^(k-j)*binomial(n+1,k-j)*j^(n-3)*(j-1)*(j-2)*(j-3).
Recurrence relation:
T(n,k) = (k + 1)*T(n-1,k) + (n-k)*T(n-1,k-1) with boundary conditions T(n,0) = 1 for n >= 4, T(4,k) = 0 for k >= 1. Special cases: T(n,n-4) = 4^(n-4); T(n,n-5) = 5^(n-3) - 4^(n-3) - (n-3)*4^(n-4).
E.g.f. (with suitable offsets): 1/4*[(1 - x)/(1 - x*exp(t - t*x))]^4 = 1/4 + x*t + (x + 4*x^2)*t^2/2! + (x + 13*x^2 + 16*x^3)*t^3/3! + ... .
The row generating polynomials R_n(x) satisfy the recurrence R_(n+1)(x) = (n*x + 1)*R_n(x) + x*(1 - x)*d/dx(R_n(x)) with R_4(x) = 1. It follows that the polynomials R_n(x) for n >= 5 have only real zeros (apply Corollary 1.2. of [Liu and Wang]).
The (n+3)-th row generating polynomial = (1/4!)*Sum_{k = 1..n} (k+3)!*Stirling2(n,k)*x^(k-1)*(1-x)^(n-k).
For n >= 4,
1/4*(x*d/dx)^(n-3) (1/(1-x)^4) = x/(1-x)^(n+1) * Sum_{k = 0..n-4} T(n,k)*x^k,
1/4*(x*d/dx)^(n-3) (x^4/(1-x)^4) = 1/(1-x)^(n+1) * Sum_{k = 4..n} T(n,n-k)*x^k,
1/(1-x)^(n+1) * Sum {k = 0..n-4} T(n,k)*x^k = (1/4!) * Sum_{m = 0..inf} (m+1)^(n-3)*(m+2)*(m+3)*(m+4)*x^m,
1/(1-x)^(n+1) * Sum {k = 4..n} T(n,n-k)*x^k = (1/4!) * Sum_{m = 4..inf} m^(n-3)*(m-1)*(m-2)*(m-3)*x^m,
Worpitzky-type identities:
Sum_{k = 0..n-4} T(n,k)*binomial(x+k,n) = (1/4!)*x^(n-3)*(x-1)*(x-2)*(x-3).
Sum_{k = 4..n} T(n,n-k)* binomial(x+k,n) = (1/4!)*(x+1)^(n-3)*(x+2)*(x+3)*(x+4).
Relation with Stirling numbers (Frobenius-type identities):
T(n+3,k-1) = (1/4!) * Sum_{j = 0..k} (-1)^(k-j)* (j+3)!* binomial(n-j,k-j)*Stirling2(n,j) for n,k >= 1;
T(n+3,k-1) = 1/4! * Sum_{j = 0..n-k} (-1)^(n-k-j)*(j+3)!* binomial(n-j,k)*S(4;n+4,j+4) for n,k >= 1 and
T(n+4,k) = 1/4! * Sum_{j = 0..n-k} (-1)^(n-k-j)*(j+4)!* binomial(n-j,k)*S(4;n+4,j+4) for n,k >= 0, where S(4;n,k) denotes the 4-Stirling numbers of the second kind A143496(n,k).
For n >=4, the shifted row polynomial t*R(n,t) = (1/4)*D^(n-3)(f(x,t)) evaluated at x = 0, where D is the operator (1-t)*(1+x)*d/dx and f(x,t) = (1+x*t/(t-1))^(-4). - Peter Bala, Apr 22 2012

A143499 Triangle of unsigned 4-Lah numbers.

Original entry on oeis.org

1, 8, 1, 72, 18, 1, 720, 270, 30, 1, 7920, 3960, 660, 44, 1, 95040, 59400, 13200, 1320, 60, 1, 1235520, 926640, 257400, 34320, 2340, 78, 1, 17297280, 15135120, 5045040, 840840, 76440, 3822, 98, 1, 259459200, 259459200, 100900800, 20180160, 2293200

Offset: 4

Peter Bala, Aug 25 2008

This is the case r = 4 of the unsigned r-Lah numbers L(r;n,k). The unsigned 4-Lah numbers count the partitions of the set {1,2,...,n} into k ordered lists with the restriction that the elements 1, 2, 3 and 4 belong to different lists. For other cases see A105278 (r = 1), A143497 (r = 2 and comments on the general case) and A143498 (r = 3).

The unsigned 4-Lah numbers are related to the 4-Stirling numbers: the lower triangular array of unsigned 4-Lah numbers may be expressed as the matrix product St1(4) * St2(4), where St1(4) = A143493 and St2(4) = A143496 are the arrays of 4-restricted Stirling numbers of the first and second kind respectively. An alternative factorization for the array is as St1 * P^6 * St2, where P denotes Pascal's triangle, A007318, St1 is the triangle of unsigned Stirling numbers of the first kind, abs(A008275) and St2 denotes the triangle of Stirling numbers of the second kind, A008277.

			Triangle begins
n\k|......4......5......6......7......8......9
==============================================
4..|......1
5..|......8......1
6..|.....72.....18......1
7..|....720....270.....30......1
8..|...7920...3960....660.....44......1
9..|..95040..59400..13200...1320.....60......1
...
T(5,4) = 8. The partitions of {1,2,3,4,5} into 4 ordered lists, such that the elements 1, 2, 3 and 4 lie in different lists, are: {1}{2}{3}{4,5} and {1}{2}{3}{5,4}, {1}{2}{4}{3,5} and {1}{2}{4}{5,3}, {1}{3}{4}{2,5} and {1}{3}{4}{5,2}, {2}{3}{4}{1,5} and {2}{3}{4}{5,1}.

Erich Neuwirth, Recursively defined combinatorial functions: Extending Galton's board, Discrete Math. 239 No. 1-3, 33-51 (2001).
G. Nyul, G. Rácz, The r-Lah numbers, Discrete Mathematics, 338 (2015), 1660-1666.
Michael J. Schlosser and Meesue Yoo, Elliptic Rook and File Numbers, Electronic Journal of Combinatorics, 24(1) (2017), #P1.31.
M. Shattuck, Generalized r-Lah numbers, arXiv:1412.8721 [math.CO], 2014

Cf. A007318, A008275, A008277, A049388 (column 4), A105278 (unsigned Lah numbers), A143493, A143496, A143497, A143498.

with combinat: T := (n, k) -> (n-4)!/(k-4)!*binomial(n+3,k+3): for n from 4 to 13 do seq(T(n, k), k = 4..n) end do;

T[n_, k_] := (n-4)!/(k-4)!*Binomial[n+3, k+3]; Table[T[n, k], {n, 4, 10}, {k, 4, n}] // Flatten (* Amiram Eldar, Nov 26 2018 *)

T(n,k) = (n-4)!/(k-4)!*binomial(n+3,k+3), n,k >= 4.
Recurrence: T(n,k) = (n+k-1)*T(n-1,k) + T(n-1,k-1) for n,k >= 4, with the boundary conditions: T(n,k) = 0 if n < 4 or k < 4; T(4,4) = 1.
E.g.f. for column k: Sum_{n >= k} T(n,k)*t^n/(n-4)! = 1/(k-4)!*t^k/(1-t)^(k+4) for k >= 4.
E.g.f: Sum_{n = 4..inf} Sum_{k = 4..n} T(n,k)*x^k*t^n/(n-4)! = (x*t)^4/(1-t)^8*exp(x*t/(1-t)) = (x*t)^4*(1 + (8+x)*t +(72+18*x+x^2)*t^2/2! + ...).
Generalized Lah identity: (x+7)*(x+8)*...*(x+n+2) = Sum_{k = 4..n} T(n,k)*(x-1)*(x-2)*...*(x-k+4).
The polynomials 1/n!*Sum_{k = 4..n+4} T(n+4,k)*(-x)^(k-4) for n >= 0 are the generalized Laguerre polynomials Laguerre(n,7,x).
Array = A132493* A143496 = abs(A008275) * ( A007318 )^6 * A008277 (apply Theorem 10 of [Neuwirth]). Array equals exp(D), where D is the array with the quadratic sequence (8,18,30,44, ... ) on the main subdiagonal and zeros everywhere else.

Showing 1-6 of 6 results.

cp's OEIS Frontend

A143491 Unsigned 2-Stirling numbers of the first kind.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

Formula

A143496 4-Stirling numbers of the second kind.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

Formula

A049459 Generalized Stirling number triangle of first kind.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Haskell

Maple

Mathematica

Formula

Extensions

A143492 Unsigned 3-Stirling numbers of the first kind.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Formula

A144698 Triangle of 4-Eulerian numbers.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Magma

Maple

Mathematica

SageMath

Formula

A143499 Triangle of unsigned 4-Lah numbers.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

Formula