login
Irregular table read by rows: T(n,k) is the binary interpretation of the k-th row of the XOR-triangle with first row generated from the binary expansion of n. 1 <= k <= A070939(n).
7

%I #23 May 09 2020 00:51:38

%S 1,2,1,3,0,4,2,1,5,3,0,6,1,1,7,0,0,8,4,2,1,9,5,3,0,10,7,0,0,11,6,1,1,

%T 12,2,3,0,13,3,2,1,14,1,1,1,15,0,0,0,16,8,4,2,1,17,9,5,3,0,18,11,6,1,

%U 1,19,10,7,0,0,20,14,1,1,1,21,15,0,0,0

%N Irregular table read by rows: T(n,k) is the binary interpretation of the k-th row of the XOR-triangle with first row generated from the binary expansion of n. 1 <= k <= A070939(n).

%C An XOR-triangle is an inverted 0-1 triangle formed by choosing a top row and having each entry in the subsequent rows be the XOR of the two values above it.

%C The second column is A038554.

%H Peter Kagey, <a href="/A334594/b334594.txt">Table of n, a(n) for n = 1..9217</a> (first 1023 rows)

%H MathOverflow user DSM, <a href="https://mathoverflow.net/q/359138/104733">Number triangle</a>

%H <a href="/index/Bi#binary">Index entries for sequences related to binary expansion of n</a>

%e Table begins:

%e 1;

%e 2, 1;

%e 3, 0;

%e 4, 2, 1;

%e 5, 3, 0;

%e 6, 1, 1;

%e 7, 0, 0;

%e 8, 4, 2, 1;

%e 9, 5, 3, 0;

%e 10, 7, 0, 0;

%e 11, 6, 1, 1;

%e For the 11th row, the binary expansion of 11 is 1011_2, and the corresponding XOR-triangle is

%e 1 0 1 1

%e 1 1 0

%e 0 1

%e 1

%e Reading the rows of this triangle in binary gives 11, 6, 1, 1.

%t Array[Prepend[FromDigits[#, 2] & /@ #2, #1] & @@ {#, Rest@ NestWhileList[Map[BitXor @@ # &, Partition[#, 2, 1]] &, IntegerDigits[#, 2], Length@ # > 1 &]} &, 21] // Flatten (* _Michael De Vlieger_, May 08 2020 *)

%o (PARI) row(n) = {my(b=binary(n), v=vector(#b)); v[1] = n; for (n=1, #b-1, b = vector(#b-1, k, bitxor(b[k], b[k+1])); v[n+1] = fromdigits(b, 2);); v;} \\ _Michel Marcus_, May 08 2020

%Y Cf. A038554, A070939.

%Y Cf. A334556, A334591, A334592, A334593, A334595, A334596.

%K nonn,base,tabf,look

%O 1,2

%A _Peter Kagey_, May 07 2020