Illustration of the first 27 terms as regions (or parts) of a spiral constructed with the first 15.5 rows of A239660:
.
. _ _ _ _ _ _ _ _
. | _ _ _ _ _ _ _|_ _ _ _ _ _ _ 7
. | | |_ _ _ _ _ _ _|
. 12 _| | |
. |_ _| _ _ _ _ _ _ |_ _
. 12 _ _| | _ _ _ _ _|_ _ _ _ _ 5 |_
. _ _ _| | 9 _| | |_ _ _ _ _| |
. | _ _ _| 9 _|_ _| |_ _ 3 |_ _ _ 7
. | | _ _| | _ _ _ _ |_ | | |
. | | | _ _| 12 _| _ _ _|_ _ _ 3 |_|_ _ 5 | |
. | | | | _| | |_ _ _| | | | |
. | | | | | _ _| |_ _ 3 | | | |
. | | | | | | 3 _ _ | | | | | |
. | | | | | | | _|_ 1 | | | | | |
. _|_| _|_| _|_| _|_| |_| _|_| _|_| _|_| _
. | | | | | | | | | | | | | | | |
. | | | | | | |_|_ _ _| | | | | | | |
. | | | | | | 2 |_ _|_ _| _| | | | | | |
. | | | | |_|_ 2 |_ _ _|7 _ _| | | | | |
. | | | | 4 |_ _| _ _| | | | |
. | | |_|_ _ |_ _ _ _ | _| _ _ _| | | |
. | | 6 |_ |_ _ _ _|_ _ _ _| | 15 _| _ _| | |
. |_|_ _ _ |_ 4 |_ _ _ _ _| _| | _ _ _| |
. 8 | |_ _ | | _| | _ _ _|
. |_ | |_ _ _ _ _ _ | _ _|28 _| |
. |_ |_ |_ _ _ _ _ _|_ _ _ _ _ _| | _| _|
. 8 |_ _| 6 |_ _ _ _ _ _ _| _ _| _|
. | | _ _| 31
. |_ _ _ _ _ _ _ _ | |
. |_ _ _ _ _ _ _ _|_ _ _ _ _ _ _ _| |
. 8 |_ _ _ _ _ _ _ _ _|
.
.
[For two other drawings of the spiral see the links. - N. J. A. Sloane, Nov 16 2020]
If the sequence does not contain negative terms then its terms can be represented in a quadrant. For the construction of the diagram we use the symmetric Dyck paths of A237593 as shown below:
---------------------------------------------------------------
Triangle Diagram of the symmetry of sigma (n = 1..24)
---------------------------------------------------------------
. _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _
1; |_| | | | | | | | | | | | | | | | | | | | | | | |
3; |_ _|_| | | | | | | | | | | | | | | | | | | | | |
2, 2; |_ _| _|_| | | | | | | | | | | | | | | | | | | |
7; |_ _ _| _|_| | | | | | | | | | | | | | | | | |
3, 3; |_ _ _| _| _ _|_| | | | | | | | | | | | | | | |
12; |_ _ _ _| _| | _ _|_| | | | | | | | | | | | | |
4, 4; |_ _ _ _| |_ _|_| _ _|_| | | | | | | | | | | |
15; |_ _ _ _ _| _| | _ _ _|_| | | | | | | | | |
5, 3, 5; |_ _ _ _ _| | _|_| | _ _ _|_| | | | | | | |
9, 9; |_ _ _ _ _ _| _ _| _| | _ _ _|_| | | | | |
6, 6; |_ _ _ _ _ _| | _| _| _| | _ _ _ _|_| | | |
28; |_ _ _ _ _ _ _| |_ _| _| _ _| | | _ _ _ _|_| |
7, 7; |_ _ _ _ _ _ _| | _ _| _| _| | | _ _ _ _|
12, 12; |_ _ _ _ _ _ _ _| | | | _|_| |* * * *
8, 8, 8; |_ _ _ _ _ _ _ _| | _ _| _ _|_| |* * * *
31; |_ _ _ _ _ _ _ _ _| | _ _| _| _ _|* * * *
9, 9; |_ _ _ _ _ _ _ _ _| | |_ _ _| _|* * * * * *
39; |_ _ _ _ _ _ _ _ _ _| | _ _| _|* * * * * * *
10, 10; |_ _ _ _ _ _ _ _ _ _| | | |* * * * * * * *
42; |_ _ _ _ _ _ _ _ _ _ _| | _ _ _|* * * * * * * *
11, 5, 5, 11; |_ _ _ _ _ _ _ _ _ _ _| | |* * * * * * * * * * *
18, 18; |_ _ _ _ _ _ _ _ _ _ _ _| |* * * * * * * * * * *
12, 12; |_ _ _ _ _ _ _ _ _ _ _ _| |* * * * * * * * * * *
60; |_ _ _ _ _ _ _ _ _ _ _ _ _|* * * * * * * * * * *
...
The total number of cells in the first n set of symmetric regions of the diagram equals A024916(n), the sum of all divisors of all positive integers <= n, hence the total number of cells in the n-th set of symmetric regions of the diagram equals sigma(n) = A000203(n).
For n = 9 the 9th row of A237593 is [5, 2, 2, 2, 2, 5] and the 8th row of A237593 is [5, 2, 1, 1, 2, 5] therefore between both symmetric Dyck paths there are three regions (or parts) of sizes [5, 3, 5], so row 9 is [5, 3, 5].
The sum of divisors of 9 is 1 + 3 + 9 = A000203(9) = 13. On the other hand the sum of the parts of the symmetric representation of sigma(9) is 5 + 3 + 5 = 13, equaling the sum of divisors of 9.
For n = 24 the 24th row of A237593 is [13, 4, 3, 2, 1, 1, 1, 1, 2, 3, 4, 13] and the 23rd row of A237593 is [12, 5, 2, 2, 1, 1, 1, 1, 2, 2, 5, 12] therefore between both symmetric Dyck paths there are only one region (or part) of size 60, so row 24 is 60.
The sum of divisors of 24 is 1 + 2 + 3 + 4 + 6 + 8 + 12 + 24 = A000203(24) = 60. On the other hand the sum of the parts of the symmetric representation of sigma(24) is 60, equaling the sum of divisors of 24.
Note that the number of *'s in the diagram is 24^2 - A024916(24) = 576 - 491 = A004125(24) = 85.
From Omar E. Pol, Nov 22 2020: (Start)
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
of triangle: [ 8, 8, 8 ]
The 15th row
of A296508: [ 8, 7, 1, 0, 8 ]
The 15th row
of A280851 [ 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.
For the definition of subparts see A239387 and also A296508, A280851. (End)
|