login
Triangle read by rows: T(n,k) is the number of labeled weakly graded (ranked) posets with n elements and rank k.
5

%I #14 Apr 01 2023 14:26:14

%S 1,0,1,0,1,2,0,1,12,6,0,1,86,108,24,0,1,840,2190,840,120,0,1,11642,

%T 55620,31800,6840,720,0,1,227892,1858206,1428000,384720,60480,5040,0,

%U 1,6285806,82938828,80529624,24509520,4626720,584640,40320

%N Triangle read by rows: T(n,k) is the number of labeled weakly graded (ranked) posets with n elements and rank k.

%C Here weakly graded means that there exists a rank function rk from the poset to the integers such that whenever v covers w in the poset, we have rk(v) = rk(w) + 1.

%C T(n,k) corresponds to a(k,n) = b(k,n) - b(k-1,n) in the Klarner reference. Figure 2 shows the posets of row n=4.

%H Andrew Howroyd, <a href="/A361951/b361951.txt">Table of n, a(n) for n = 0..1325</a> (rows 0..50).

%H D. A. Klarner, <a href="http://dx.doi.org/10.1016/S0021-9800(69)80100-6">The number of graded partially ordered sets</a>, J. Combin. Theory, 6 (1969), 12-19.

%H Wikipedia, <a href="https://en.wikipedia.org/wiki/Graded_poset">Graded poset</a>.

%F E.g.f. of column k >=2: C(k,x)/C(k-1,x) - C(k-1,x)/C(k-2,x) where C(k,x) is the e.g.f. of column k of A361950.

%e Triangle begins:

%e 1;

%e 0, 1;

%e 0, 1, 2;

%e 0, 1, 12, 6;

%e 0, 1, 86, 108, 24;

%e 0, 1, 840, 2190, 840, 120;

%e 0, 1, 11642, 55620, 31800, 6840, 720;

%e 0, 1, 227892, 1858206, 1428000, 384720, 60480, 5040;

%e ...

%o (PARI) \\ Here C(n) gives columns of A361950 as vector of e.g.f.'s.

%o S(M)={matrix(#M, #M, i, j, sum(k=0, i-j, 2^((j-1)*k)*M[i-j+1,k+1])/(j-1)! )}

%o C(n,m=n)={my(M=matrix(n+1, n+1), c=vector(m+1), A=O(x*x^n)); M[1, 1]=1; c[1]=1+A; for(h=1, m, M=S(M); c[h+1]=sum(i=0, n, vecsum(M[i+1, ])*x^i, A)); c}

%o T(n)={my(c=C(n), b=vector(n+1, h, c[h]/c[max(h-1,1)])); Mat(vector(n+1, h, Col(serlaplace(b[h]-if(h>1, b[h-1])), -n-1)))}

%o { my(A=T(7)); for(n=1, #A, print(A[n, 1..n])) }

%Y Row sums are A001833.

%Y Column k=2 is A055531.

%Y Partial row sums include A000007, A000012, A001831, A001832.

%Y Main diagonal is A000142.

%Y The unlabeled version is A361953.

%Y Cf. A342587, A361950.

%K nonn,tabl

%O 0,6

%A _Andrew Howroyd_, Mar 31 2023