|
%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
|
