login
A370948
Triangle read by rows: T(n,k) is the number of labeled forests of rooted Greg hypertrees with n white vertices and weight k, 0 <= k < n.
0
1, 3, 1, 22, 15, 1, 262, 271, 53, 1, 4336, 6020, 2085, 165, 1, 91984, 160336, 81310, 13040, 487, 1, 2381408, 4996572, 3364011, 851690, 73024, 1407, 1, 72800928, 178613156, 150499951, 53119521, 7696794, 383649, 4041, 1
OFFSET
1,2
COMMENTS
A rooted Greg hypertree is a hypertree with black and white vertices such that white vertices are labeled, black vertices are unlabeled, and each black vertex has at least two children.
The weight of a forest of rooted Greg hypertrees is the number of hypertrees minus 1 plus the weight of each hyperedge which is the number of vertices it connects minus 2. See A364709 for the analog sequence for hypertrees. A forest of rooted Greg hypertrees of weight 0 is exactly a Greg tree.
LINKS
Paul Laubie, Hypertrees and embedding of the FMan operad, arXiv:2401.17439 [math.QA], 2024.
FORMULA
E.g.f: series reversion in t of (log(1+v*t)/v - exp(t) + t + 1)*exp(-t), where the formal variable v encodes the weight.
T(n,0) = A005264(n).
T(n,n-1) = 1.
EXAMPLE
Triangle T(n,k) begins:
n\k 0 1 2 3 4 ...
1 1;
2 3, 1;
3 22, 15, 1;
4 262, 271, 53, 1;
5 4336, 6020, 2085, 165, 1;
...
PROG
(PARI) T(n)={my(x='x+O('x^(n+1))); [Vecrev(p) | p <- Vec(serlaplace(serreverse( (log(1+y*x)/y - exp(x) + x + 1)*exp(-x) )))]}
{ my(A=T(8)); for(i=1, #A, print(A[i])) } \\ Andrew Howroyd, Mar 06 2024
CROSSREFS
Cf. A364709, A005264 (k=0), A370949.
Row sums are A364816.
Series reversion as e.g.f. is related to A092271.
Sequence in context: A190962 A010291 A372167 * A306619 A335644 A027477
KEYWORD
nonn,tabl
AUTHOR
Paul Laubie, Mar 06 2024
STATUS
approved