|
| |
|
|
A280851
|
|
Irregular triangle read by rows in which row n lists the subparts of the symmetric representation of sigma(n), ordered by order of appearance in the structure, from left to right.
|
|
32
|
|
|
|
1, 3, 2, 2, 7, 3, 3, 11, 1, 4, 4, 15, 5, 3, 5, 9, 9, 6, 6, 23, 5, 7, 7, 12, 12, 8, 7, 1, 8, 31, 9, 9, 35, 2, 2, 10, 10, 39, 3, 11, 5, 5, 11, 18, 18, 12, 12, 47, 13, 13, 5, 13, 21, 21, 14, 6, 6, 14, 55, 1, 15, 15, 59, 3, 7, 3, 16, 16, 63, 17, 7, 7, 17, 27, 27, 18, 9, 3, 18, 71, 10, 10, 19, 19, 30, 30
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
|
OFFSET
|
1,2
|
|
|
COMMENTS
|
The terms in the n-th row are the same as the terms in the n-th row of triangle A279391, but in some rows the terms appear in distinct order.
First differs from A279391 at a(28) = T(15,3).
|
|
|
LINKS
|
|
|
|
EXAMPLE
|
Triangle begins (rows 1..16):
1;
3;
2, 2;
7;
3, 3;
11, 1;
4, 4;
15;
5, 3, 5;
9, 9;
6, 6;
23, 5;
7, 7;
12, 12;
8, 7, 1, 8;
31;
...
For n = 12 we have that the 11th row of triangle A237593 is [6, 3, 1, 1, 1, 1, 3, 6] and the 12th row of the same triangle is [7, 2, 2, 1, 1, 2, 2, 7], so the diagram of the symmetric representation of sigma(12) = 28 is constructed as shown below in Figure 1:
. _ _
. | | | |
. | | | |
. | | | |
. | | | |
. | | | |
. _ _ _| | _ _ _| |
. _| _ _| _| _ _ _|
. _| | _| _| |
. | _| | _| _|
. | _ _| | |_ _|
. _ _ _ _ _ _| | 28 _ _ _ _ _ _| | 5
. |_ _ _ _ _ _ _| |_ _ _ _ _ _ _|
. 23
.
. Figure 1. The symmetric Figure 2. After the dissection
. representation of sigma(12) of the symmetric representation
. has only one part which of sigma(12) into layers of
. contains 28 cells, so width 1 we can see two subparts
. the 12th row of the that contain 23 and 5 cells
. triangle A237270 is [28]. respectively, so the 12th row of
. this triangle is [23, 5].
.
For n = 15 we have that the 14th row of triangle A237593 is [8, 3, 1, 2, 2, 1, 3, 8] and the 15th row of the same triangle is [8, 3, 2, 1, 1, 1, 1, 2, 3, 8], so the diagram of the symmetric representation of sigma(15) = 24 is constructed as shown below in Figure 3:
. _ _
. | | | |
. | | | |
. | | | |
. | | | |
. | | | |
. | | | |
. | | | |
. _ _ _|_| _ _ _|_|
. _ _| | 8 _ _| | 8
. | _| | _ _|
. _| _| _| |_|
. |_ _| 8 |_ _| 1
. | | 7
. _ _ _ _ _ _ _ _| _ _ _ _ _ _ _ _|
. |_ _ _ _ _ _ _ _| |_ _ _ _ _ _ _ _|
. 8 8
.
. Figure 3. The symmetric Figure 4. After the dissection
. representation of sigma(15) of the symmetric representation
. has three parts of size 8 of sigma(15) into layers of
. because every part contains width 1 we can see four "subparts".
. 8 cells, so the 15th row of The first layer has three subparts:
. triangle A237270 is [8, 8, 8]. [8, 7, 8]. The second layer has
. only one subpart of size 1. The
. 15th row of this triangle is
. [8, 7, 1, 8].
.
The subparts of 36 whose symmetric representation of sigma has maximum width 2 are 71, 10, and 10.
The (size, width level) pairs of the six subparts of the symmetric representation of sigma(63) which consists of five parts are (32,1), (12,1), (11,1), (5,2), (12,1), and (32,1).
The subparts of perfect number 496 are 991, the length of its entire Dyck path, and 1 at the diagonal.
Number 10080, the smallest number whose symmetric representation of sigma has maximum width 10 (see A250070), has 12 subparts; its (size, width level) pairs are (20159,1), (6717,2), (4027,3), (2873,4), (2231,5), (1329,6), (939,7), (541,8), (403,9), (3,10), (87,10), and (3,10). The size of the first subpart is the length of the entire Dyck path so that the symmetric representation consists of a single part. The first subpart at the 10th level occurs at coordinates (6926,7055) ... (6929,7055). (End)
Also consider the infinite double-staircases diagram defined in A335616 (see the theorem).
For n = 15 the diagram with first 15 levels looks like this:
.
Level "Double-staircases" diagram
. _
1 _|1|_
2 _|1 _ 1|_
3 _|1 |1| 1|_
4 _|1 _| |_ 1|_
5 _|1 |1 _ 1| 1|_
6 _|1 _| |1| |_ 1|_
7 _|1 |1 | | 1| 1|_
8 _|1 _| _| |_ |_ 1|_
9 _|1 |1 |1 _ 1| 1| 1|_
10 _|1 _| | |1| | |_ 1|_
11 _|1 |1 _| | | |_ 1| 1|_
12 _|1 _| |1 | | 1| |_ 1|_
13 _|1 |1 | _| |_ | 1| 1|_
14 _|1 _| _| |1 _ 1| |_ |_ 1|_
15 |1 |1 |1 | |1| | 1| 1| 1|
.
Starting from A196020 and after the algorithm described in A280850 and A296508 applied to the above diagram we have a new diagram as shown below:
.
Level "Ziggurat" diagram
. _
6 |1|
7 _ | | _
8 _|1| _| |_ |1|_
9 _|1 | |1 1| | 1|_
10 _|1 | | | | 1|_
11 _|1 | _| |_ | 1|_
12 _|1 | |1 1| | 1|_
13 _|1 | | | | 1|_
14 _|1 | _| _ |_ | 1|_
15 |1 | |1 |1| 1| | 1|
.
The 15th row
of A249351 : [1,1,1,1,1,1,1,1,0,0,0,1,1,1,2,1,1,1,0,0,0,1,1,1,1,1,1,1,1]
The 15th row
The 15th row
The 15th row
of triangle [ 8, 7, 1, 8 ]
.
More generally, for n >= 1, it appears there is the same correspondence between the original diagram of the symmetric representation of sigma(n) and the "Ziggurat" diagram of n.
|
|
|
MATHEMATICA
|
row[n_] := Floor[(Sqrt[8n+1]-1)/2]
f[n_] := Map[Ceiling[(n+1)/#-(#+1)/2] - Ceiling[(n+1)/(#+1)-(#+2)/2]&, Range[row[n]]]
a237593[n_] := Module[{a=f[n]}, Join[a, Reverse[a]]]
g[n_] := Map[If[Mod[n - #*(#+1)/2, #]==0, (-1)^(#+1), 0]&, Range[row[n]]]
a262045[n_] := Module[{a=Accumulate[g[n]]}, Join[a, Reverse[a]]]
findStart[list_] := Module[{i=1}, While[list[[i]]==0, i++]; i]
a280851[n_] := Module[{lenL=a237593[n], widL=a262045[n], r=row[n], subs={}, acc, start, i}, While[!AllTrue[widL, #==0&], start=findStart[widL]; acc=lenL[[start]]; widL[[start]]-=1; i=start+1; While[i<=2*r && acc!=0, If[widL[[i]]==0, If[start<=r<i, AppendTo[subs, acc-1], AppendTo[subs, acc]]; acc=0, acc+=lenL[[i]]; widL[[i]]-=1; i++]]; If[i>2*r && acc!=0, If[start<=r<i, AppendTo[subs, acc-1], AppendTo[subs, acc]]; acc=0]]; subs]
Flatten[Map[a280851, Range[36]]] (* data *)
TableForm[Map[{#, a280851[#]}&, Range[36]], TableDepth->2] (* triangle *) (* Hartmut F. W. Hoft, Jan 31 2018 *)
|
|
|
CROSSREFS
|
The length of row n equals A001227(n).
Hence, if n is odd the length of row n equals A000005(n).
For the definition of "subparts" see A279387.
For the triangle of sums of subparts see A279388.
Cf. A000384, A001227, A196020, A235791, A236104, A237048, A237270, A237271, A237591, A237593, A239657, A240542, A244050, A245092, A249351, A250068, A250070, A261699, A262626, A279391, A280850, A296508, A335616, A346875.
|
|
|
KEYWORD
|
nonn,tabf
|
|
|
AUTHOR
|
|
|
|
EXTENSIONS
|
|
|
|
STATUS
|
approved
|
| |
|
|
