Thursday, January 19, 2012

Eigensequence of a triangle, & Eigentriangle

Given triangle M as an infinite lower triangular matrix, there is some sequence prefaced with a "1" such that M*(seq prefaced with a 1) shifts the sequence to the left, deleting the "1", while the rest of the sequence remains the same. That seq is the Eigensequence of a triangle (defined without the prepended 1).
.
Example: The Eigensequence of Pascal's triangle is A000110 in Sloane's Encyclopedia of Integer Sequences: (1, 2, 5, 15, 52,...) = the Bell seq; since letting the Pascal matrix = M, then M*(1, 1, 2, 5, 15, 52,...) = (1, 2, 5, 15, 52,...).
.
Getting the Eigensequence. Simple. Place a "1" at the top of the triangle M, getting: (using the initial Pascal's triangle):
1
1;
1, 1;
1, 2, 1;
1, 3, 3, 1;
1, 4, 6, 4, 1;
...
= new triangle Q. Take successive powers of Q, shifting all terms into a vector which is (1, 1, 2, 5, 15, 52,...). Delete the initial 1 getting (1, 2, 5, 15, 52,...), = the Bell sequence which is the Eigensquence of Pascal's Triangle.
...
THEOREM: Given an infinite Toeplitz triangle with sequence S(n) in every column, we obtain the Eigensequence as before; with the additional property that in such a Toeplitz triangle, the Eigensequence is the INVERT transform of S(n).
...
Example: Given S(n) = (1, 2, 3, 4,...), our Toeplitz triangle =
1;
2, 1;
3, 2, 1;
4, 3, 2, 1;
... = M
We place a "1" at top, take powers, getting our left-shifted vector (even-indexed Fibonacci numbers after deleting the 1): (1, 3, 8 21, 55,...). So (1, 3, 8, 21,...) is the Eigensequence of the triangle and the INVERT transform of (1, 2, 3, 4,....), the natural numbers.
.
To obtain an Eigentriangle R which has row sums of the Eigensequence of triangle M, we take the row terms of M, multiplying pairwise by terms in its Eigensequence (prefaced with a 1). Thus, using the above triangle M and (1, 1, 3, 8, 21,...) our products are (1), [(2,1)*(1,1) = (2,1)], then [(3,2,1)*(1,1,3) = (3,2,3)];, then [(4,3,2,1)*(1,1,3,8) = (4,3,6,8)]; so our Eigentriangle R =
1;
2, 1;
3, 2, 3;
4, 3, 6, 8;
... = R
...which as you can see has row sums of (1, 3, 8, 21,...). Thus, R is the Eigentriangle of triangle M.

No comments:

Post a Comment