OFFSET
0,4
COMMENTS
Let Q be the class of labeled directed acyclic graphs (dags) with some designated source nodes. Here, a source node is a node of indegree 0 and some means possibly all or none. |a(n,k)| is the number of dags in Q containing n nodes with exactly k designated source nodes. - Geoffrey Critzer, Apr 02 2023
LINKS
Vincenzo Librandi, Rows n = 0..50, flattened
W. Wang and T. Wang, Generalized Riordan array, Discrete Mathematics, Vol. 308, No. 24, 6466-6500, (2008).
FORMULA
Sum_{k = 1..n} k*2^k*T(n,k) = 0 for n >= 1.
Let E(x) = Sum_{n >= 0} x^n/(n!*2^binomial(n,2)) = 1 + x + x^2/(2!*2) + x^3/(3!*2^3) + .... Then a generating function for this triangle is E(x*z)/E(z) = 1 + (x - 1)*z + (x^2 - 4*x + 3)*z^2/(2!*2) + (x^3 - 12*x^2 + 36*x - 25)*z^3/(3!*2^3) + ....
This triangle is a generalized Riordan array (1/E(x), x) with respect to the sequence n!*2^C(n,2), as defined by Wang and Wang.
The row polynomials R(n,x) satisfy the recurrence equation R(n,x) = x^n - Sum_{k = 0..n-1} binomial(n,k)*2^(k*(n-k))*R(k,x) with R(0,x) = 1, as well as R'(n,2*x) = n*2^(n-1)*R(n-1,x) (the ' denotes differentiation w.r.t. x). The row polynomials appear to have only positive real zeros of multiplicity 1. Moreover, if r(n,1) < r(n,2) < ... < r(n,n) denotes the zeros of R(n,x) arranged in increasing order then it appears that lim_{n -> oo} r(n,i) exists for each fixed 1 <= i <= n. An example is given below.
EXAMPLE
Triangle begins
n\k.|......0......1......2......3......4......5
= = = = = = = = = = = = = = = = = = = = = = = =
.0..|......1
.1..|.....-1......1
.2..|......3.....-4......1
.3..|....-25.....36....-12......1
.4..|....543...-800....288....-32......1
.5..|.-29281..43440.-16000...1920....-80......1
...
The sequence of zeros of R(10,x) begins 1, 3.280147..., 9.112469..., 23.366923..., 57.084317....
The sequence of zeros of R(20,x) begins 1, 3.280163..., 9.112696..., 23.369274..., 57.105379....
MATHEMATICA
max = 8; A111636 = Table[ Binomial[n, k]*2^(k*(n - k)), {n, 0, max}, {k, 0, max}]; t = Inverse[ A111636 ]; Table[ t[[n, k]], {n, 1, max+1}, {k, 1, n}] // Flatten (* Jean-François Alcover, Apr 10 2013 *)
CROSSREFS
KEYWORD
AUTHOR
Peter Bala, Apr 09 2013
STATUS
approved