OFFSET
1,13
COMMENTS
The determinant of the (upper left) n X n submatrix with row and column indices 2..n+1 is zero iff n >= 35. (Observation by Bill Gosper, math-fun mailing list.)
It immediately follows from the definition that the sequence of columns converges to the Fibonacci sequence A000045, and thus, each row is an eventually constant sequence. See Formula section for precise relations.
LINKS
Bill Gosper, mysteriously vanishing sequence, math-fun mailing list, Jul 10 2021
FORMULA
EXAMPLE
The matrix reads:
[0 1 1 1 1 1 1 1 ...]
[0 1 1 1 1 1 1 1 ...]
[0 0 2 2 2 2 2 2 ...]
[0 1 0 3 3 3 3 3 ...]
[0 1 2 1 0 5 5 5 ...]
[0 0 2 0 3 2 1 0 ...]
[0 1 1 1 3 1 6 5 ...]
[0 1 0 1 1 3 0 5 ...]
(...)
PROG
CROSSREFS
KEYWORD
nonn,tabl
AUTHOR
M. F. Hasler, Jul 12 2021
STATUS
approved