

A168506


Number of rooted plane trees of total weight n whose nodes are themselves planted plane trees whose roots are distinguished as either red or blue, the weight of each such node being equal to the size of the corresponding planted tree.


0



2, 2, 8, 18, 64, 188, 656, 2154, 7584, 26276, 93904, 335156, 1214944, 4417848, 16208672, 59704858, 221215552, 822721108, 3072787920, 11514183900, 43287544160, 163193085960, 616876440160, 2337336770948, 8875826681024
(list;
graph;
refs;
listen;
history;
text;
internal format)



OFFSET

2,1


REFERENCES

T. DeVries, A case study in bivariate singularity analysis, Contemp. Math. 520 (2010) p 61.


LINKS

Table of n, a(n) for n=2..26.
P. Flajolet and R. Sedgewick, Analytic Combinatorics, 2009; see page 412, Example VI.10 and page 503, Example VII.20.


FORMULA

a(n) = Sum_{k=1..floor(n/2)} 2^k/(nk)*binomial(2*k2,k1)*binomial(2*n3*k1,nk1).
a(n) ~ 4^n/(8*GAMMA(3/4)*n^(5/4)).
G.f.: (1/2)*(1sqrt(14*x+4*x*sqrt(14*x))).
G.f.: C(2*x*C(x)), where C(x)/x is the generating function for A000108.
Conjecture: n*(n1)*(n6)*a(n) 2*(6*n35)*(n1)*(n2)*a(n1) +4*(8*n^388*n^2+305*n330)*a(n2) +8*(8*n^392*n^2+314*n305)*a(n3) 16*(n5)*(4*n19)*(4*n17)*a(n4) =0.  R. J. Mathar, Jul 24 2012


EXAMPLE

There are a(4) = 8 trees of total weight 4, which can be described as follows. There are 2 rooted plane trees of size 3 and 1 rooted plane tree of size 1. Adding/planting an extra root and coloring it red or blue yields 2*2 = 4 planted plane trees of size 4 and 2*1 = 2 planted plane trees of size 2. Then the 8 trees of weight 4 are obtained as: the 1*4 = 4 trees obtained by taking the (only) rooted plane tree on one node and replacing its node with one of the planted plane trees of size 4, and the 2*2 = 4 trees obtained by taking the (only) rooted plane tree on two nodes and replacing each node with a planted plane tree of size 2.


MAPLE

a:=n>sum(2^k/(nk)*binomial(2*k2, k1)*binomial(2*n3*k1, nk1), k=1..floor(n/2)): seq(a(n), n=2..26);


MATHEMATICA

gf[x_] = (1  Sqrt[1  4*x + 4*x*Sqrt[1  4*x]])/2;
CoefficientList[Series[gf[x], {x, 0, 26}], x][[3;; ]]
(* JeanFrançois Alcover, Jun 20 2011, after g.f. *)


CROSSREFS

Cf. A000108
Sequence in context: A194588 A175395 A169888 * A208966 A067640 A098277
Adjacent sequences: A168503 A168504 A168505 * A168507 A168508 A168509


KEYWORD

nonn


AUTHOR

Timothy DeVries (tdevries(AT)math.upenn.edu), Nov 27 2009


STATUS

approved



