login
Indices of partitions in the table of compositions of A228351.
76

%I #93 Apr 24 2024 14:53:17

%S 1,2,3,4,6,7,8,10,12,14,15,16,20,24,26,28,30,31,32,36,40,42,48,52,56,

%T 58,60,62,63,64,72,80,84,96,100,104,106,112,116,120,122,124,126,127,

%U 128,136,144,160,164,168,170,192,200,208,212,224,228,232,234,240,244,248,250,252,254,255

%N Indices of partitions in the table of compositions of A228351.

%C Also triangle read by rows in which T(n,k) is the decimal representation of a binary number whose mirror represents the k-th partition of n according with the list of juxtaposed reverse-lexicographically ordered partitions of the positive integers (A026792).

%C In order to construct this sequence as a triangle we use the following rules:

%C - In the list of A026792 we replace each part of size j of the k-th partition of n by concatenation of j - 1 zeros and only one 1.

%C - Then replace this new set of parts by the concatenation of its parts.

%C - Then replace this string by its mirror version which is a binary number.

%C T(n,k) is the decimal value of this binary number, which represents the k-th partition of n (see example).

%C The partitions of n are represented by a subsequence with A000041(n) integers starting with 2^(n-1) and ending with 2^n - 1, n >= 1. The odd numbers of the sequence are in A000225.

%C First differs from A065609 at a(23).

%C Conjecture: this sequence is a sorted version of b(n) where b(2^k) = 2^k for k >= 0, b(n) = A080100(n)*(2*b(A053645(n)) + 1) otherwise. - _Mikhail Kurkov_, Oct 21 2023

%F Conjecture: a(A000070(m) - k) = 2^m - A228354(k) for m > 0, 0 < k <= A000041(m). - _Mikhail Kurkov_, Oct 20 2023

%e T(6,8) = 58 because 58 in base 2 is 111010 whose mirror is 010111 which is the concatenation of 01, 01, 1, 1, whose number of digits are 2, 2, 1, 1, which are also the 8th partition of 6.

%e Illustration of initial terms:

%e The sequence represents a table of partitions (see below):

%e --------------------------------------------------------

%e . Binary Partitions

%e n k T(n,k) number Mirror Diagram (A026792)

%e . 1 2 3 4 5 6

%e --------------------------------------------------------

%e . _

%e 1 1 1 1 1 | 1,

%e . _ _

%e 1 1 2 10 01 _ | 2,

%e 2 2 3 11 11 | | 1,1,

%e . _ _ _

%e 3 1 4 100 001 _ _ | 3,

%e 3 2 6 110 011 _ | | 2,1,

%e 3 3 7 111 111 | | | 1,1,1,

%e . _ _ _ _

%e 4 1 8 1000 0001 _ _ | 4,

%e 4 2 10 1010 0101 _ _|_ | 2,2,

%e 4 3 12 1100 0011 _ _ | | 3,1,

%e 4 4 14 1110 0111 _ | | | 2,1,1,

%e 4 5 15 1111 1111 | | | | 1,1,1,1,

%e . _ _ _ _ _

%e 5 1 16 10000 00001 _ _ _ | 5,

%e 5 2 20 10100 00101 _ _ _|_ | 3,2,

%e 5 3 24 11000 00011 _ _ | | 4,1,

%e 5 4 26 11010 01011 _ _|_ | | 2,2,1,

%e 5 5 28 11100 00111 _ _ | | | 3,1,1,

%e 5 6 30 11110 01111 _ | | | | 2,1,1,1,

%e 5 7 31 11111 11111 | | | | | 1,1,1,1,1,

%e . _ _ _ _ _ _

%e 6 1 32 100000 000001 _ _ _ | 6

%e 6 2 36 100100 001001 _ _ _|_ | 3,3,

%e 6 3 40 101000 000101 _ _ | | 4,2,

%e 6 4 42 101010 010101 _ _|_ _|_ | 2,2,2,

%e 6 5 48 110000 000011 _ _ _ | | 5,1,

%e 6 6 52 110100 001011 _ _ _|_ | | 3,2,1,

%e 6 7 56 111000 000111 _ _ | | | 4,1,1,

%e 6 8 58 111010 010111 _ _|_ | | | 2,2,1,1,

%e 6 9 60 111100 001111 _ _ | | | | 3,1,1,1,

%e 6 10 62 111110 011111 _ | | | | | 2,1,1,1,1,

%e 6 11 63 111111 111111 | | | | | | 1,1,1,1,1,1,

%e .

%e Triangle begins:

%e 1;

%e 2, 3;

%e 4, 6, 7;

%e 8, 10, 12, 14, 15;

%e 16, 20, 24, 26, 28, 30, 31;

%e 32, 36, 40, 42, 48, 52, 56, 58, 60, 62, 63;

%e ...

%e From _Gus Wiseman_, Apr 01 2020: (Start)

%e Using the encoding of A066099, this sequence ranks all finite nonempty multisets, as follows.

%e 1: {1}

%e 2: {2}

%e 3: {1,1}

%e 4: {3}

%e 6: {1,2}

%e 7: {1,1,1}

%e 8: {4}

%e 10: {2,2}

%e 12: {1,3}

%e 14: {1,1,2}

%e 15: {1,1,1,1}

%e 16: {5}

%e 20: {2,3}

%e 24: {1,4}

%e 26: {1,2,2}

%e 28: {1,1,3}

%e 30: {1,1,1,2}

%e 31: {1,1,1,1,1}

%e (End)

%t stc[n_]:=Differences[Prepend[Join@@Position[Reverse[IntegerDigits[n,2]],1],0]]//Reverse;

%t Select[Range[0,100],LessEqual@@stc[#]&] (* _Gus Wiseman_, Apr 01 2020 *)

%Y Column 1 is A000079. Row n has length A000041(n). Right border gives A000225.

%Y Cf. A026792, A065609, A135010, A141285, A186114, A194446, A194546, A206437, A207779, A211978, A225600, A225610, A228351.

%Y The case covering an initial interval is A333379 or A333380.

%Y All of the following pertain to compositions in the order of A066099.

%Y - The weakly increasing version is this sequence.

%Y - The weakly decreasing version is A114994.

%Y - The strictly increasing version is A333255.

%Y - The strictly decreasing version is A333256.

%Y - The unequal version is A233564.

%Y - The equal version is A272919.

%Y - The case covering an initial interval is A333217.

%Y - Initial intervals are ranked by A164894.

%Y - Reversed initial intervals are ranked by A246534.

%Y Cf. A000120, A029931, A048793, A070939, A124766, A233249, A333219, A333220.

%K nonn,tabf

%O 1,2

%A _Omar E. Pol_, Aug 03 2013