|
%I #75 Apr 29 2022 03:21:38
%S 1,2,1,4,5,2,8,19,18,6,16,65,110,84,24,32,211,570,750,480,120,64,665,
%T 2702,5460,5880,3240,720,128,2059,12138,35406,57120,52080,25200,5040,
%U 256,6305,52670,213444,484344,650160,514080,221760,40320,512,19171
%N Triangle T(n,k) (0 <= k <= n) giving number of chains of length k in partially ordered set formed from subsets of n-set by inclusion.
%C The relation of this triangle to A143494 given in the Formula section leads to the following combinatorial interpretation: T(n,k) gives the number of partitions of the set {1,2,...,n+2} into k + 2 blocks where 1 and 2 belong to two distinct blocks and the remaining k blocks are labeled from a fixed set of k labels. - _Peter Bala_, Jul 10 2014
%C Also, the number of distinct k-level fuzzy subsets of a set consisting of n elements ordered by set inclusion. - _Rajesh Kumar Mohapatra_, Mar 16 2020
%H Alois P. Heinz, <a href="/A038719/b038719.txt">Rows n = 0..140, flattened</a>
%H Peter Bala, <a href="/A131689/a131689.pdf">Deformations of the Hadamard product of power series</a>
%H L. Bartlomiejczyk and J. Drewniak, <a href="http://dx.doi.org/10.1007/s00010-004-2737-7">A characterization of sets and operations invariant under bijections</a>, Aequationes Mathematicae 68 (2004), pp. 1-9.
%H M. Dukes and C. D. White, <a href="http://arxiv.org/abs/1603.01589">Web Matrices: Structural Properties and Generating Combinatorial Identities</a>, arXiv:1603.01589 [math.CO], 2016.
%H Rajesh Kumar Mohapatra and Tzung-Pei Hong, <a href="https://doi.org/10.3390/math10071161">On the Number of Finite Fuzzy Subsets with Analysis of Integer Sequences</a>, Mathematics (2022) Vol. 10, No. 7, 1161.
%H R. B. Nelsen and H. Schmidt, Jr., <a href="http://www.jstor.org/stable/2690450">Chains in power sets</a>, Math. Mag., 64 (1991), 23-31.
%H <a href="/index/Pos#posets">Index entries for sequences related to posets</a>
%F T(n, k) = Sum_{j=0..k} (-1)^j*C(k, j)*(k+2-j)^n.
%F T(n+1, k) = k*T(n, k-1) + (k+2)*T(n, k), T(0,0) = 1, T(0,k) = 0 for k>0.
%F E.g.f.: exp(2*x)/(1+y*(1-exp(x))). - _Vladeta Jovovic_, Jul 21 2003
%F A038719 as a lower triangular matrix is the binomial transform of A028246. - _Gary W. Adamson_, May 15 2005
%F Binomial transform of n-th row = 2^n + 3^n + 4^n + ...; e.g., binomial transform of [8, 19, 18, 6] = 2^3 + 3^3 + 4^3 + 5^3 + ... = 8, 27, 64, 125, ... - _Gary W. Adamson_, May 15 2005
%F From _Peter Bala_, Jul 09 2014: (Start)
%F T(n,k) = k!*( Stirling2(n+2,k+2) - Stirling2(n+1,k+2) ).
%F T(n,k) = k!*A143494(n+2,k+2).
%F n-th row polynomial = 1/(1 + x)*( sum {k >= 0} (k + 2)^n*(x/(1 + x))^k ). Cf. A028246. (End)
%F The row polynomials have the form (2 + x) o (2 + x) o ... o (2 + x), where o denotes the black diamond multiplication operator of Dukes and White. See example E12 in the Bala link. - _Peter Bala_, Jan 18 2018
%F Z(P,m) = Sum_{k=0..n} T(n,k)Binomial(m-2,k) = m^n, the zeta polynomial of the poset B_n. Each length m multichain from 0 to 1 in B_n corresponds to a function from [n] into [m]. - _Geoffrey Critzer_, Dec 25 2020
%F The entries in row n are the first terms in a table of the successive differences of the sequence [2^n, 3^n, 4^n, ...]. Examples are given below. - _Peter Bala_, Feb 02 2022
%e Triangle begins
%e 1;
%e 2, 1;
%e 4, 5, 2;
%e 8, 19, 18, 6;
%e 16, 65, 110, 84, 24;
%e ...
%e From _Peter Bala_, Feb 02 2022: (Start)
%e Table of successive differences of k^2 starting at k = 2
%e 4 9 16
%e 5 7
%e 2
%e gives [4, 5, 2] as row 2 of this triangle.
%e Table of successive differences of k^3 starting at k = 2
%e 8 27 64 125
%e 19 37 61
%e 18 24
%e 6
%e gives [8, 19, 8, 6] as row 3 of this triangle. (End)
%p T:= proc(n, k) option remember;
%p `if` (n=0, `if`(k=0, 1, 0), k*T(n-1, k-1) +(k+2)*T(n-1, k))
%p end:
%p seq(seq(T(n, k), k=0..n), n=0..10); # _Alois P. Heinz_, Aug 02 2011
%t t[n_, k_] := Sum[ (-1)^(k-i)*Binomial[k, i]*(2+i)^n, {i, 0, k}]; Flatten[ Table[ t[n, k], {n, 0, 9}, {k, 0, n}]] (* _Jean-François Alcover_, after Pari *)
%o (PARI) T(n,k)=sum(i=0,k,(-1)^(k-i)*binomial(k,i)*(2+i)^n)
%o (Haskell)
%o a038719 n k = a038719_tabl !! n !! k
%o a038719_row n = a038719_tabl !! n
%o a038719_tabl = iterate f [1] where
%o f row = zipWith (+) (zipWith (*) [0..] $ [0] ++ row)
%o (zipWith (*) [2..] $ row ++ [0])
%o -- _Reinhard Zumkeller_, Jul 08 2012
%Y Row sums give A007047. Columns give A000079, A001047, A038721. Next-to-last diagonal gives A038720.
%Y Diagonal gives A000142. - _Rajesh Kumar Mohapatra_, Mar 16 2020
%Y Cf. A028246. A019538, A143494.
%K nonn,easy,nice,tabl
%O 0,2
%A _N. J. A. Sloane_, May 02 2000
%E More terms from Larry Reeves (larryr(AT)acm.org), May 09 2000
|
