login
Triangle, (2^0, 2^1, 2^2, ...) in every column.
22

%I #25 Aug 07 2018 11:32:37

%S 1,2,1,4,2,1,8,4,2,1,16,8,4,2,1,32,16,8,4,2,1,64,32,16,8,4,2,1,128,64,

%T 32,16,8,4,2,1,256,128,64,32,16,8,4,2,1,512,256,128,64,32,16,8,4,2,1,

%U 1024,512,256,128,64,32,16,8,4,2,1,2048,1024,512,256,128,64,32,16,8,4,2,1

%N Triangle, (2^0, 2^1, 2^2, ...) in every column.

%C A130321^2 = A130322. Binomial transform of A130321 = triangle A027649. A007318^2 = A038207 = A007318(n,k) * A130321(n,k); i.e., the square of Pascal's triangle = dot product of Pascal's triangle rows and A130321 rows: A007318^2 = (1; 2,1; 4,4,1; 8,12,6,1;...), where row 3, (8,12,6,1) = (1,3,3,1) dot (8,4,2,1).

%C Sequence B is called a reverse reluctant sequence of sequence A, if B is triangle array read by rows: row number k lists first k elements of the sequence A in reverse order. Sequence A130321 is the reverse reluctant sequence of sequence of power of 2 (A000079). - _Boris Putievskiy_, Dec 13 2012

%C From _Wolfdieter Lang_, Jan 10 2015: (Start)

%C This is the Riordan array (1/(1-2*x), x).

%C Row sums give A000225(n+1) = 2^(n+1) - 1.

%C Alternating row sums give A001045(n+1).

%C The inverse Riordan array is (1-2*x, x) = A251635. (End)

%H Reinhard Zumkeller, <a href="/A130321/b130321.txt">Rows n = 0..120 of triangle, flattened</a>

%H Boris Putievskiy, <a href="http://arxiv.org/abs/1212.2732">Transformations Integer Sequences And Pairing Functions</a> arXiv:1212.2732 [math.CO], 2012.

%F Triangle, (1, 2, 4, 8, ...) in every column. Rows are reversals of A059268 terms.

%F a(n)=2^m, where m=(t*t + 3*t + 4)/2 - n, t=floor((-1+sqrt(8*n-7))/2). - _Boris Putievskiy_, Dec 13 2012

%F From _Wolfdieter Lang_, Jan 10 2015: (Start)

%F T(n, m) = 2^(n-m) if n >= m >= 0 and 0 otherwise.

%F G.f. of row polynomials R(n,x) = sum(2^(n-m)*x^m, m=0..n) is 1/(((1-2*z)*(1-x*z) (Riordan property).

%F G.f. column m (with leading zeros) x^m/(1-2*x), m >= 0.

%F The diagonal sequences are D(k) = repeat(2^k), k >= 0. (End)

%e The triangle T(n,m) begins:

%e n\m 0 1 2 3 4 5 6 7 8 9 10 ...

%e 0: 1

%e 1: 2 1

%e 2: 4 2 1

%e 3: 8 4 2 1

%e 4: 16 8 4 2 1

%e 5: 32 16 8 4 2 1

%e 6: 64 32 16 8 4 2 1

%e 7: 128 64 32 16 8 4 2 1

%e 8: 256 128 64 32 16 8 4 2 1

%e 9: 512 256 128 64 32 16 8 4 2 1

%e 10: 1024 512 256 128 64 32 16 8 4 2 1

%e ... Reformatted. - _Wolfdieter Lang_, Jan 10 2015

%t T[n_, m_] := 2^(n-m);

%t Table[T[n, m], {n, 0, 11}, {m, 0, n}] // Flatten (* _Jean-François Alcover_, Aug 07 2018 *)

%o (Haskell)

%o a130321 n k = a130321_tabl !! n !! k

%o a130321_row n = a130321_tabl !! n

%o a130321_tabl = iterate (\row -> (2 * head row) : row) [1]

%o -- _Reinhard Zumkeller_, Feb 27 2013

%Y Cf. A059268, A027649, A130322, A038207, A131816, A000225, A001045, A251635.

%K nonn,tabl

%O 0,2

%A _Gary W. Adamson_, May 24 2007

%E More terms from _Philippe Deléham_, Feb 08 2009