OFFSET
0,9
COMMENTS
CONJECTURE 1. Let M(n,k) (n,k >= 0) denote the entry in row n and column k of the array. For all n, M(n,j) = A001405(j), j=0,...,2*n+1; hence row n of M -> A001405 as n -> infinity.
Taking finite differences of even numbered columns from the top -> down yields triangle A205946 with row sums A000984, central binomial coefficients; while odd numbered columns yield triangle A205945 with row sums A001700. A205946 and A205945 represent the bisection of A191314. - Gary W. Adamson, Feb 01 2012
LINKS
L. E. Jeffery, Unit-primitive matrices
FORMULA
Let N=2*n+3. For each n>0, define the (n+1) X (n+1) tridiagonal unit-primitive matrix (see [Jeffery]) B_n = A_{N,1} = [0,1,0,...,0; 1,0,1,0,...,0; 0,1,0,1,0,...,0; ...; 0,...,0,1,0,1; 0,...,0,1,1], and put B_0 = [1]. Then, for all n, M(n,k)=[(B_n)^k]_{n+1,n+1}, k=0,1,..., where X_{n+1,n+1} denotes the lower right corner entry of X.
CONJECTURE 2 (Rows of M). Let S(n,i) denote term i in row n of A115139, i=0,...,floor(n/2), and let T(n,j) denote term j in row n of A108299, j=0,...,n. The generating function for row n of M is of the form F_n(x) =sum[i=0,...,floor(n/2) S(n,i)*x^(2*i)]/sum[j=0,...,n T(n,j)*x^j].
CONJECTURE 3 (Columns of M). Let D(m,k) denote term m in column k of A191314, m=0,...,floor(k/2). The generating function for column k of M is of the form G_k(x)=sum[m=0,...,floor(k/2) D(m,k)*x^m]/(1-x).
EXAMPLE
Array begins
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,...
1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89,...
1, 1, 2, 3, 6, 10, 19, 33, 61, 108, 197,...
1, 1, 2, 3, 6, 10, 20, 35, 69, 124, 241,...
1, 1, 2, 3, 6, 10, 20, 35, 70, 126, 251,...
1, 1, 2, 3, 6, 10, 20, 35, 70, 126, 252,...
...
According to Conjecture 2, row n=3 has g.f. F_3(x)=(1-2*x^2)/(1-x-3*x^2+2*x^3+x^4).
CROSSREFS
KEYWORD
nonn,tabl
AUTHOR
L. Edson Jeffery, Jan 29 2012
STATUS
approved