# Greetings from The On-Line Encyclopedia of Integer Sequences! http://oeis.org/ Search: id:a143491 Showing 1-1 of 1 %I A143491 #79 Jun 05 2021 08:41:53 %S A143491 1,2,1,6,5,1,24,26,9,1,120,154,71,14,1,720,1044,580,155,20,1,5040, %T A143491 8028,5104,1665,295,27,1,40320,69264,48860,18424,4025,511,35,1,362880, %U A143491 663696,509004,214676,54649,8624,826,44,1,3628800,6999840,5753736,2655764 %N A143491 Unsigned 2-Stirling numbers of the first kind. %C A143491 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. %C A143491 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. %C A143491 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 %C A143491 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 %C A143491 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 %C A143491 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 %H A143491 G. C. Greubel, Table of n, a(n) for the first 50 rows, flattened %H A143491 Olivier Bodini, Antoine Genitrini, and Mehdi Naima, Ranked Schröder Trees, arXiv:1808.08376 [cs.DS], 2018. %H A143491 Andrei Z. Broder, The r-Stirling numbers, Discrete Math. 49, 241-259 (1984) %H A143491 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] %H A143491 Askar Dzhumadil’daev and Damir Yeliussizov, Walks, partitions, and normal ordering, Electronic Journal of Combinatorics, 22(4) (2015), #P4.10. %H A143491 Neuwirth Erich, Recursively defined combinatorial functions: Extending Galton's board, Discrete Math. 239 No. 1-3, 33-51 (2001) %H A143491 R. Murri, Fatgraph Algorithms and the Homology of the Kontsevich Complex, arXiv:1202.1820 [math.AG], 2012. (see Table 1, p. 3) %H A143491 Aviv Rotbart, Generator Sets for the Alternating Group, Séminaire Lotharingien de Combinatoire 65 (2011), Article B65b, 16pp. %H A143491 Michael J. Schlosser and Meesue Yoo, Elliptic Rook and File Numbers, Electronic Journal of Combinatorics, 24(1) (2017), #P1.31. %H A143491 M. Shattuck, Generalized r-Lah numbers, arXiv:1412.8721 [math.CO], 2014. %F A143491 T(n,k) = (n-2)! * Sum_{j = k-2 .. n-2} (n-j-1)*|stirling1(j,k-2)|/j!. %F A143491 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. %F A143491 Special cases: T(n,2) = (n-1)!; T(n,3) = (n-1)!*(1/2 + 1/3 + ... + 1/(n-1)). %F A143491 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. %F A143491 Row g.f.: Sum_{k = 2..n} T(n,k)*x^k = x^2*(x+2)*(x+3)*...*(x+n-1). %F A143491 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. %F A143491 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! + ... . %F A143491 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)!. %F A143491 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 %F A143491 From _Gary W. Adamson_, Jul 19 2011: (Start) %F A143491 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: %F A143491 2, 1, 0, 0, 0, 0, ... %F A143491 2, 3, 1, 0, 0, 0, ... %F A143491 2, 5, 4, 1, 0, 0, ... %F A143491 2, 7, 9, 5, 1, 0, ... %F A143491 ... (End) %F A143491 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 %e A143491 Triangle begins %e A143491 n\k|.....2.....3.....4.....5.....6.....7 %e A143491 ======================================== %e A143491 2..|.....1 %e A143491 3..|.....2.....1 %e A143491 4..|.....6.....5.....1 %e A143491 5..|....24....26.....9.....1 %e A143491 6..|...120...154....71....14.....1 %e A143491 7..|...720..1044...580...155....20.....1 %e A143491 ... %e A143491 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. %e A143491 From _Aviv Rotbart_, May 05 2011: (Start) %e A143491 Example of the alternating group permutations numbers: %e A143491 Triangle begins %e A143491 n\k|.....0.....1.....2.....3.....4.....5.....6.....7 %e A143491 ==================================================== %e A143491 2..|.....1 %e A143491 3..|.....1.....2 %e A143491 4..|.....1.....5.....6 %e A143491 5..|.....1.....9....26....24 %e A143491 6..|.....1....14....71...154...120 %e A143491 7..|.....1....20...155...580..1044..720 %e A143491 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: %e A143491 (12)(13)(12)(13) = (312) %e A143491 (12)(13)(12)(14) = (41)(23) %e A143491 (12)(13)(12)(24) = (432)(1) %e A143491 (12)(13)(12)(34) = (342)(1) %e A143491 (12)(23)(12)(24) = (13)(24) %e A143491 (12)(14)(12)(14) = (412)(3) %e A143491 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) %p A143491 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 A143491 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 *) %Y A143491 Cf. A001705 - A001709 (column 3..7), A001710 (row sums), A008275, A049444 (signed version), A136124, A143492, A143493, A143494, A143497. %Y A143491 Cf. A094638. %K A143491 easy,nonn,tabl %O A143491 2,2 %A A143491 _Peter Bala_, Aug 20 2008 # Content is available under The OEIS End-User License Agreement: http://oeis.org/LICENSE