cp's OEIS Frontend

This sequence provides the general solution to the recurrence a(n) = a(n-1) + k*(k+1)*a(n-2), a(0)=a(1)=1. The solution is (1, 1, k^2 + k + 1, 2*k^2 + 2*k + 1, ...) whose coefficients can be read from the rows of the triangle. The row sums of the triangle are given by the case k=1. These are the Jacobsthal numbers, A001045. Viewed as a square array, its first row is (1,0,1,0,1,...) with e.g.f. cosh(x), g.f. 1/(1-x^2) and subsequent rows are successive partial sums given by 1/((1-x)^n * (1-x^2)). - Paul Barry, Mar 17 2003

Conjecture: every second column of this triangle is identical to a column in the square array A071921. For example, column 4 of A059259 (1, 3, 9, 22, 46, ...) appears to be the same as column 3 of A071921; column 6 of A059259 (1, 4, 16, 50, 130, 296, ...) appears to be the same as column 4 of A071921; and in general column 2k of A059259 appears to be the same as column k+1 of A071921. Furthermore, since A225010 is a transposition of A071921 (ignoring the latter's top row and two leftmost columns), there appears to be a correspondence between column 2k of A059259 and row k of A225010. - Mathew Englander, May 17 2014

T(n,k) is the number of n-tilings of a (one-dimensional) board that use k (1,1)-fence tiles and n-k squares. A (1,1)-fence is a tile composed of two pieces of width 1 separated by a gap of width 1. - Michael A. Allen, Jun 25 2020

See the Edwards-Allen 2020 paper, page 14, for proof of Englander's conjecture. - Michael De Vlieger, Dec 10 2020

From Johannes W. Meijer, Jul 20 2011: (Start)

The triangle sums, see A180662 for their definitions, link this "Races with Ties" triangle with several sequences, see the crossrefs. Observe that the Kn4 sums lead to the golden rectangle numbers A001654 and that the Fi1 and Fi2 sums lead to the Jacobsthal sequence A001045.

The series expansion of G(x, y) = 1/((y*x-1)*(y*x+1)*((y+1)*x-1)) as function of x leads to this sequence, see the second Maple program. (End)

T(2n,k) = the number of hatted frog arrangements with k frogs on the 2xn grid. See the linked paper "Frogs, hats and common subsequences". - Chris Cox, Apr 12 2024

Sum_{k=0..n} T(n,k) = A078008(n);

Sum_{k=0..n} abs(T(n,k)) = A052953(n-1) for n > 0;

T(n,1) = n - 2 for n > 1;

T(n,2) = A000124(n-3) for n > 2;

T(n,3) = A003600(n-4) for n > 4;

T(n,n-6) = A001753(n-6) for n > 6;

T(n,n-5) = A001752(n-5) for n > 5;

T(n,n-4) = A002623(n-4) for n > 4;

T(n,n-3) = A002620(n-1) for n > 3;

T(n,n-2) = A008619(n-2) for n > 2;

T(n,n-1) = n mod 2 for n > 0;

T(2*n,n) = A072547(n+1).

Sum_{k=0..n} T(n,k)*x^k = A232015(n), A078008(n), A000012(n), A040000(n), A001045(n+2), A140725(n+1) for x = 2, 1, 0, -1, -2, -3 respectively. - Philippe Deléham, Nov 17 2013, Nov 19 2013

(1,a^n) Pascal triangle with a = -1. - Philippe Deléham, Dec 27 2013

T(n,k) = A112465(n,n-k). - Reinhard Zumkeller, Jan 03 2014

If the triangle is viewed as a square array S(m, k) = T(m+k, k), 0 <= m, 0 <= k, its first row is (1,0,1,0,1,...) with e.g.f. cosh(x), g.f. 1/(1-x^2) and subsequent rows have g.f. 1/((1+x)^n*(1-x^2)) (substitute x for -x in g.f. for A059259).

By column, S(m, k) is the coefficient of [x^m] in the generating function Sum_{i=0..k} (-1)^i/(1-x)^(i+1).

This is a rational generating function down column k with a power of (1-x) in the denominator; therefore column k is a polynomial in m respectively n. - Mathew Englander, May 14 2014

Column k multiplied by k! seems to correspond to row k of A054651, considered as a polynomial and then evaluated on the negative integers. For example, row 5 of A054651 represents the polynomial x^5 - 5*x^4 + 25*x^3 + 5*x^2 + 94*x + 120. Evaluating that for x = -1, x = -2, x = -3, ... gives (0, -360, -1440, -4080, -9600, -19920, -37680, ...) which is 5! times column 5 of this triangle. - Mathew Englander, May 23 2014

This triangle provides a solution to a question in the mathematics of gambling. For 0 < p < 1 and positive integers N and G with N < G, suppose you begin with N dollars and make repeated wagers, each time winning 1 dollar with probability p and losing 1 dollar with probability 1-p. You continue betting 1 dollar at a time until you have either G dollars (your Goal) or 0 (bankrupt). What is the probability of reaching your Goal before going bankrupt, as a function of p, N, and G? (This is a type of one-dimensional random walk.) Answer: Let Q_m_(x) be the polynomial whose coefficients are given by row m-1 of the triangle (e.g., Q_6_(x) = 1 - 4x + 7x^2 - 6x^3 + 3x^4). Then, the probability of reaching G dollars before going bankrupt is p^(G-N)*Q_N_(p)/Q_G_(p). - Mathew Englander, May 23 2014

From Paul Curtz, Mar 17 2017: (Start)

Consider the triangle Ja(n+1,k) (here, but generally Ja(n,k)) composed of the triangle a(n) prepended with a column of 0's, i.e.,

0;

0, 1;

0, 1, 0;

0, 1, -1, 1;

0, 1, -2, 2, 0;

0, 1, -3, 4, -2, 1;

0, 1, -4, 7, -6, 3, 0;

0, 1, -5, 11, -13, 9, -3, 1;

... .

The row sums are 0, 1, 1, ... = A057427(n), the most elementary autosequence of the first kind (a sequence of the first kind has 0's as main diagonal of its array of successive differences).

The row sums of the absolute values are A001045(n).

Ja applied to a sequence written in its reluctant form yields an autosequence of the first kind. Example: the reluctant form of A001045(n) is 0, 0, 1, 0, 1, 1, 0, 1, 1, 3, 0, 1, 1, 3, 5, ... = Jl.

Jl multiplied by Ja gives the triangle Jal:

0;

0, 1;

0, 1, 0;

0, 1, -1, 3;

0, 1, -2, 6, 0;

0, 1, -3, 12, -10, 11;

0, 1, -4, 21, -30, 33, 0;

0, 1, -5, 33, -65, 99, -63, 43;

... .

The row sums are A001045(n). (End)