A239663 -id:A239663 - cp's OEIS frontend

A237270 Triangle read by rows in which row n lists the parts of the symmetric representation of sigma(n).

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, 13, 5, 13, 21, 21, 14, 6, 6, 14, 56, 15, 15, 72, 16, 16, 63, 17, 7, 7, 17, 27, 27, 18, 12, 18, 91, 19, 19, 30, 30, 20, 8, 8, 20, 90

Offset: 1

Omar E. Pol, Feb 19 2014

T(n,k) is the number of cells in the k-th region of the n-th set of regions in a diagram of the symmetry of sigma(n), see example.
Row n is a palindromic composition of sigma(n).
Row sums give A000203.
Row n has length A237271(n).
In the row 2n-1 of triangle both the first term and the last term are equal to n.
If n is an odd prime then row n is [m, m], where m = (1 + n)/2.
The connection with A196020 is as follows: A196020 --> A236104 --> A235791 --> A237591 --> A237593 --> A239660 --> this sequence.
For the boundary segments in an octant see A237591.
For the boundary segments in a quadrant see A237593.
For the boundary segments in the spiral see also A239660.
For the parts in every quadrant of the spiral see A239931, A239932, A239933, A239934.
We can find the spiral on the terraces of the stepped pyramid described in A244050. - Omar E. Pol, Dec 07 2016
T(n,k) is also the area of the k-th terrace, from left to right, at the n-th level, starting from the top, of the stepped pyramid described in A245092 (see Links section). - Omar E. Pol, Aug 14 2018

			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)

Robert Price, Table of n, a(n) for n = 1..15542 (rows n = 1..5000, flattened)
Hartmut F. W. Hoft, Sample visual documentation for Mathematica code
Michel Marcus, A colored version of the symmetric representation of sigma(n), multipage, n = 1..85
Omar E. Pol, An infinite stepped pyramid (A237593, A237270, A262626)
Omar E. Pol, Perspective view of the stepped pyramid (16 levels)
Omar E. Pol, Perspective view of the stepped pyramid into four quadrants (11 levels). This is formed by combing four copies of the pyramid back-to-back (cf. A244050).
N. J. A. Sloane, Another drawing of the spiral
N. J. A. Sloane, Spiral showing only the outer boundary
Index entries for sequences related to sigma(n)

Cf. A000203, A004125, A023196, A024916, A153485, A196020, A221529, A231347, A235791, A235796, A236104, A236112, A236540, A237046, A237048, A237271, A237590, A237591, A237593, A239050, A239660, A239663, A239665, A239931, A239932, A239933, A239934, A240020, A240062, A244050, A245092, A249351, A262626, A280850, A280851, A296508, A335616, A340035, A384149.

T[n_,k_] := Ceiling[(n + 1)/k - (k + 1)/2] (* from A235791 *)
path[n_] := Module[{c = Floor[(Sqrt[8n + 1] - 1)/2], h, r, d, rd, k, p = {{0, n}}}, h = Map[T[n, #] - T[n, # + 1] &, Range[c]]; r = Join[h, Reverse[h]]; d = Flatten[Table[{{1, 0}, {0, -1}}, {c}], 1];
rd = Transpose[{r, d}]; For[k = 1, k <= 2c, k++, p = Join[p, Map[Last[p] + rd[[k, 2]] * # &, Range[rd[[k, 1]]]]]]; p]
segments[n_] := SplitBy[Map[Min, Drop[Drop[path[n], 1], -1] - path[n - 1]], # == 0 &]
a237270[n_] := Select[Map[Apply[Plus, #] &, segments[n]], # != 0 &]
Flatten[Map[a237270, Range[40]]] (* data *)
(* Hartmut F. W. Hoft, Jun 23 2014 *)

T(n, k) = (A384149(n, k) + A384149(n, m+1-k))/2, where m = A237271(n) is the row length. (conjectured) - Peter Munn, Jun 01 2025

Drawing of the spiral extended by Omar E. Pol, Nov 22 2020

A237271 Number of parts in the symmetric representation of sigma(n).

Original entry on oeis.org

1, 1, 2, 1, 2, 1, 2, 1, 3, 2, 2, 1, 2, 2, 3, 1, 2, 1, 2, 1, 4, 2, 2, 1, 3, 2, 4, 1, 2, 1, 2, 1, 4, 2, 3, 1, 2, 2, 4, 1, 2, 1, 2, 2, 3, 2, 2, 1, 3, 3, 4, 2, 2, 1, 4, 1, 4, 2, 2, 1, 2, 2, 5, 1, 4, 1, 2, 2, 4, 3, 2, 1, 2, 2, 4, 2, 3, 2, 2, 1, 5, 2, 2, 1, 4, 2, 4, 1, 2, 1

Offset: 1

Omar E. Pol, Feb 25 2014

nonn

The diagram of the symmetry of sigma has been via A196020 --> A236104 --> A235791 --> A237591 --> A237593.
For more information see A237270.
a(n) is also the number of terraces at n-th level (starting from the top) of the stepped pyramid described in A245092. - Omar E. Pol, Apr 20 2016
a(n) is also the number of subparts in the first layer of the symmetric representation of sigma(n). For the definion of "subpart" see A279387. - Omar E. Pol, Dec 08 2016
Note that the number of subparts in the symmetric representation of sigma(n) equals A001227(n), the number of odd divisors of n. (See the second example). - Omar E. Pol, Dec 20 2016
From Hartmut F. W. Hoft, Dec 26 2016: (Start)
Using odd prime number 3, observe that the 1's in the 3^k-th row of the irregular triangle of A237048 are at index positions
     3^0 < 2*3^0 < 3^1 < 2*3^1 < ... < 2*3^((k-1)/2) < 3^(k/2) < ...
  the last being 2*3^((k-1)/2) when k is odd and 3^(k/2) when k is even. Since odd and even index positions alternate, each pair (3^i, 2*3^i) specifies one part in the symmetric representation with a center part present when k is even. A straightforward count establishes that the symmetric representation of 3^k, k>=0, has k+1 parts. Since this argument is valid for any odd prime, every positive integer occurs infinitely many times in the sequence. (End)
a(n) = number of runs of consecutive nonzero terms in row n of A262045. - N. J. A. Sloane, Jan 18 2021
Indices of odd terms give A071562. Indices of even terms give A071561. - Omar E. Pol, Feb 01 2021
a(n) is also the number of prisms in the three-dimensional version of the symmetric representation of k*sigma(n) where k is the height of the prisms, with k >= 1. - Omar E. Pol, Jul 01 2021
With a(1) = 0; a(n) is also the number of parts in the symmetric representation of A001065(n), the sum of aliquot parts of n. - Omar E. Pol, Aug 04 2021
The parity of this sequence is also the characteristic function of numbers that have middle divisors. - Omar E. Pol, Sep 30 2021
a(n) is also the number of polycubes in the 3D-version of the ziggurat of order n described in A347186. - Omar E. Pol, Jun 11 2024
Conjecture 1: a(n) is the number of odd divisors of n except the "e" odd divisors described in A005279. Thus a(n) is the length of the n-th row of A379288. - Omar E. Pol, Dec 21 2024
The conjecture 1 was checked up n = 10000 by Amiram Eldar. - Omar E. Pol, Dec 22 2024
The conjecture 1 is true. For a proof see A379288. - Hartmut F. W. Hoft, Jan 21 2025
From Omar E. Pol, Jul 31 2025: (Start)
Conjecture 2: a(n) is the number of 2-dense sublists of divisors of n.
We call "2-dense sublists of divisors of n" to the maximal sublists of divisors of n whose terms increase by a factor of at most 2.
In a 2-dense sublist of divisors of n the terms are in increasing order and two adjacent terms are the same two adjacent terms in the list of divisors of n.
Example: for n = 10 the list of divisors of 10 is [1, 2, 5, 10]. There are two 2-dense sublists of divisors of 10, they are [1, 2], [5, 10], so a(10) = 2.
The conjecture 2 is essentially the same as the second conjecture in the Comments of A384149. See also Peter Munn's formula in A237270.
The indices where a(n) = 1 give A174973 (2-dense numbers). See the proof there. (End)
Conjecture 3: a(n) is the number of divisors p of n such that p is greater than twice the adjacent previous divisor of n. The divisors p give the n-th row of A379288. - Omar E. Pol, Aug 02 2025

			Illustration of initial terms (n = 1..12):
---------------------------------------------------------
n   A000203  A237270    a(n)            Diagram
---------------------------------------------------------
.                               _ _ _ _ _ _ _ _ _ _ _ _
1       1      1         1     |_| | | | | | | | | | | |
2       3      3         1     |_ _|_| | | | | | | | | |
3       4      2+2       2     |_ _|  _|_| | | | | | | |
4       7      7         1     |_ _ _|    _|_| | | | | |
5       6      3+3       2     |_ _ _|  _|  _ _|_| | | |
6      12      12        1     |_ _ _ _|  _| |  _ _|_| |
7       8      4+4       2     |_ _ _ _| |_ _|_|    _ _|
8      15      15        1     |_ _ _ _ _|  _|     |
9      13      5+3+5     3     |_ _ _ _ _| |      _|
10     18      9+9       2     |_ _ _ _ _ _|  _ _|
11     12      6+6       2     |_ _ _ _ _ _| |
12     28      28        1     |_ _ _ _ _ _ _|
...
For n = 9 the sum of divisors of 9 is 1+3+9 = A000203(9) = 13. On the other hand the 9th set of symmetric regions of the diagram is formed by three regions (or parts) with 5, 3 and 5 cells, so the total number of cells is 5+3+5 = 13, equaling the sum of divisors of 9. There are three parts: [5, 3, 5], so a(9) = 3.
From _Omar E. Pol_, Dec 21 2016: (Start)
Illustration of the diagram of subparts (n = 1..12):
---------------------------------------------------------
n   A000203  A279391  A001227           Diagram
---------------------------------------------------------
.                               _ _ _ _ _ _ _ _ _ _ _ _
1       1      1         1     |_| | | | | | | | | | | |
2       3      3         1     |_ _|_| | | | | | | | | |
3       4      2+2       2     |_ _|  _|_| | | | | | | |
4       7      7         1     |_ _ _|  _ _|_| | | | | |
5       6      3+3       2     |_ _ _| |_|  _ _|_| | | |
6      12      11+1      2     |_ _ _ _|  _| |  _ _|_| |
7       8      4+4       2     |_ _ _ _| |_ _|_|  _ _ _|
8      15      15        1     |_ _ _ _ _|  _|  _| |
9      13      5+3+5     3     |_ _ _ _ _| |  _|  _|
10     18      9+9       2     |_ _ _ _ _ _| |_ _|
11     12      6+6       2     |_ _ _ _ _ _| |
12     28      23+5      2     |_ _ _ _ _ _ _|
...
For n = 6 the symmetric representation of sigma(6) has two subparts: [11, 1], so A000203(6) = 12 and A001227(6) = 2.
For n = 12 the symmetric representation of sigma(12) has two subparts: [23, 5], so A000203(12) = 28 and A001227(12) = 2. (End)
From _Hartmut F. W. Hoft_, Dec 26 2016: (Start)
Two examples of the general argument in the Comments section:
Rows 27 in A237048 and A249223 (4 parts)
i:  1  2 3 4 5 6 7 8 9 . . 12
27: 1  1 1 0 0 1                           1's in A237048 for odd divisors
    1 27 3     9                           odd divisors represented
27: 1  0 1 1 1 0 0 1 1 1 0 1               blocks forming parts in A249223
Rows 81 in A237048 and A249223 (5 parts)
i:  1  2 3 4 5 6 7 8 9 . . 12. . . 16. . . 20. . . 24
81: 1  1 1 0 0 1 0 0 1 0 0 0                          1's in A237048 f.o.d
    1 81 3    27     9                                odd div. represented
81: 1  0 1 1 1 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 1 1 0 1  blocks fp in A249223
(End)

Amiram Eldar, Table of n, a(n) for n = 1..10000 (terms 1..5000 from Michel Marcus)

Row lengths of A237270 and of A379288.
Column 1 of A279387.
Partial sums give A237590.
Parity gives A347950.
Cf. A000203, A000265, A001065, A001227, A005279, A024916, A060831, A061345, A067742, A071561, A071562, A175254, A196020, A221529, A235791, A236104, A237048, A237591, A237593, A239657, A244050, A244971, A245092, A249223, A250068, A261699, A262045, A262612, A262626, A274824, A279387, A279693, A319073, A340583, A340846, A342344, A347186, A379288.
Cf. A027750, A174973 (2-dense numbers), A239663, A240062, A243982, A379379, A380580, A384149, A384222, A384225, A384226, A384230, A384930.

a237271[n_] := Length[a237270[n]] (* code defined in A237270 *)
Map[a237271, Range[90]] (* data *)
(* Hartmut F. W. Hoft, Jun 23 2014 *)
a[n_] := Module[{d = Partition[Divisors[n], 2, 1]}, 1 + Count[d, ?(OddQ[#[[2]]] && #[[2]] >= 2*#[[1]] &)]]; Array[a, 100] (* _Amiram Eldar,  Dec 22 2024 *)

fill(vcells, hga, hgb) = {ic = 1; for (i=1, #hgb, if (hga[i] < hgb[i], for (j=hga[i], hgb[i]-1, cell = vector(4); cell[1] = i - 1; cell[2] = j; vcells[ic] = cell; ic ++;););); vcells;}
findfree(vcells) = {for (i=1, #vcells, vcelli = vcells[i]; if ((vcelli[3] == 0) && (vcelli[4] == 0), return (i));); return (0);}
findxy(vcells, x, y) = {for (i=1, #vcells, vcelli = vcells[i]; if ((vcelli[1]==x) && (vcelli[2]==y) && (vcelli[3] == 0) && (vcelli[4] == 0), return (i));); return (0);}
findtodo(vcells, iz) = {for (i=1, #vcells, vcelli = vcells[i]; if ((vcelli[3] == iz) && (vcelli[4] == 0), return (i)); ); return (0);}
zcount(vcells) = {nbz = 0; for (i=1, #vcells, nbz = max(nbz, vcells[i][3]);); nbz;}
docell(vcells, ic, iz) = {x = vcells[ic][1]; y = vcells[ic][2]; if (icdo = findxy(vcells, x-1, y), vcells[icdo][3] = iz); if (icdo = findxy(vcells, x+1, y), vcells[icdo][3] = iz); if (icdo = findxy(vcells, x, y-1), vcells[icdo][3] = iz); if (icdo = findxy(vcells, x, y+1), vcells[icdo][3] = iz); vcells[ic][4] = 1; vcells;}
docells(vcells, ic, iz) = {vcells[ic][3] = iz; while (ic, vcells = docell(vcells, ic, iz); ic = findtodo(vcells, iz);); vcells;}
nbzb(n, hga, hgb) = {vcells = vector(sigma(n)); vcells = fill(vcells, hga, hgb); iz = 1; while (ic = findfree(vcells), vcells = docells(vcells, ic, iz); iz++;); zcount(vcells);}
lista(nn) = {hga = concat(heights(row237593(0), 0), 0); for (n=1, nn, hgb = heights(row237593(n), n); nbz = nbzb(n, hga, hgb); print1(nbz, ", "); hga = concat(hgb, 0););} \\ with heights() also defined in A237593; \\ Michel Marcus, Mar 28 2014

from sympy import divisors
def a(n: int) -> int:
    divs = list(divisors(n))
    d = [divs[i:i+2] for i in range(len(divs) - 1)]
    s = sum(1 for pair in d if len(pair) == 2 and pair[1] % 2 == 1 and pair[1] >= 2 * pair[0])
    return s + 1
print([a(n) for n in range(1, 80)])  # Peter Luschny, Aug 05 2025

a(n) = A001227(n) - A239657(n). - Omar E. Pol, Mar 23 2014
a(p^k) = k + 1, where p is an odd prime and k >= 0. - Hartmut F. W. Hoft, Dec 26 2016
Theorem: a(n) <= number of odd divisors of n (cf. A001227). The differences are in A239657. - N. J. A. Sloane, Jan 19 2021
a(n) = A340846(n) - A340833(n) + 1 (Euler's formula). - Omar E. Pol, Feb 01 2021
a(n) = A000005(n) - A243982(n). - Omar E. Pol, Aug 02 2025

A239660 Triangle read by rows in which row n lists two copies of the n-th row of triangle A237593.

Original entry on oeis.org

1, 1, 1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 2, 1, 1, 2, 3, 1, 1, 3, 3, 1, 1, 3, 3, 2, 2, 3, 3, 2, 2, 3, 4, 1, 1, 1, 1, 4, 4, 1, 1, 1, 1, 4, 4, 2, 1, 1, 2, 4, 4, 2, 1, 1, 2, 4, 5, 2, 1, 1, 2, 5, 5, 2, 1, 1, 2, 5, 5, 2, 2, 2, 2, 5, 5, 2, 2, 2, 2, 5, 6, 2, 1, 1, 1, 1, 2, 6, 6, 2, 1, 1, 1, 1, 2, 6, 6, 3, 1, 1, 1, 1, 3, 6, 6, 3, 1, 1, 1, 1, 3, 6

Offset: 1

Omar E. Pol, Mar 24 2014

For the construction of this sequence also we can start from A235791.
This sequence can be interpreted as an infinite Dyck path: UDUDUUDD...
Also we use this sequence for the construction of a spiral in which the arms in the quadrants give the symmetric representation of sigma, see example.
We can find the spiral (mentioned above) on the terraces of the stepped pyramid described in A244050. - Omar E. Pol, Dec 07 2016
The spiral has the property that the sum of the parts in the quadrants 1 and 3, divided by the sum of the parts in the quadrants 2 and 4, converges to 3/5. - Omar E. Pol, Jun 10 2019

			Triangle begins (first 15.5 rows):
1, 1, 1, 1;
2, 2, 2, 2;
2, 1, 1, 2, 2, 1, 1, 2;
3, 1, 1, 3, 3, 1, 1, 3;
3, 2, 2, 3, 3, 2, 2, 3;
4, 1, 1, 1, 1, 4, 4, 1, 1, 1, 1, 4;
4, 2, 1, 1, 2, 4, 4, 2, 1, 1, 2, 4;
5, 2, 1, 1, 2, 5, 5, 2, 1, 1, 2, 5;
5, 2, 2, 2, 2, 5, 5, 2, 2, 2, 2, 5;
6, 2, 1, 1, 1, 1, 2, 6, 6, 2, 1, 1, 1, 1, 2, 6;
6, 3, 1, 1, 1, 1, 3, 6, 6, 3, 1, 1, 1, 1, 3, 6;
7, 2, 2, 1, 1, 2, 2, 7, 7, 2, 2, 1, 1, 2, 2, 7;
7, 3, 2, 1, 1, 2, 3, 7, 7, 3, 2, 1, 1, 2, 3, 7;
8, 3, 1, 2, 2, 1, 3, 8, 8, 3, 1, 2, 2, 1, 3, 8;
8, 3, 2, 1, 1, 1, 1, 2, 3, 8, 8, 3, 2, 1, 1, 1, 1, 2, 3, 8;
9, 3, 2, 1, 1, 1, 1, 2, 3, 9, ...
.
Illustration of initial terms as an infinite Dyck path (row n = 1..4):
.
.                            /\/\    /\/\
.       /\  /\  /\/\  /\/\  /    \  /    \
.  /\/\/  \/  \/    \/    \/      \/      \
.
.
Illustration of initial terms for the construction of a spiral related to sigma:
.
.  row 1     row 2          row 3           row 4
.                                          _ _ _
.                                               |_
.             _ _                                 |
.   _ _      |                                    |
.  |   |     |                                    |
.            |         |           |              |
.            |_ _      |_         _|              |
.                        |_ _ _ _|               _|
.                                          _ _ _|
.
.[1,1,1,1] [2,2,2,2] [2,1,1,2,2,1,1,2] [3,1,1,3,3,1,1,3]
.
The first 2*A003056(n) terms of the n-th row are represented in the A010883(n-1) quadrant and the last 2*A003056(n) terms of the n-th row are represented in the A010883(n) quadrant.
.
Illustration of the spiral constructed with the first 15.5 rows of triangle:
.
.               12 _ _ _ _ _ _ _ _
.                 |  _ _ _ _ _ _ _|_ _ _ _ _ _ _ 7
.                 | |             |_ _ _ _ _ _ _|
.                _| |                           |
.               |_ _|9 _ _ _ _ _ _              |_ _
.         12 _ _|     |  _ _ _ _ _|_ _ _ _ _ 5      |_
.      _ _ _| |      _| |         |_ _ _ _ _|         |
.     |  _ _ _|  9 _|_ _|                   |_ _ 3    |_ _ _ 7
.     | |      _ _| |   12 _ _ _ _          |_  |         | |
.     | |     |  _ _|    _|  _ _ _|_ _ _ 3    |_|_ _ 5    | |
.     | |     | |      _|   |     |_ _ _|         | |     | |
.     | |     | |     |  _ _|           |_ _ 3    | |     | |
.     | |     | |     | |    3 _ _        | |     | |     | |
.     | |     | |     | |     |  _|_ 1    | |     | |     | |
.    _|_|    _|_|    _|_|    _|_| |_|    _|_|    _|_|    _|_|    _
.   | |     | |     | |     | |         | |     | |     | |     | |
.   | |     | |     | |     |_|_ _     _| |     | |     | |     | |
.   | |     | |     | |    2  |_ _|_ _|  _|     | |     | |     | |
.   | |     | |     |_|_     2    |_ _ _|    _ _| |     | |     | |
.   | |     | |    4    |_               7 _|  _ _|     | |     | |
.   | |     |_|_ _        |_ _ _ _        |  _|    _ _ _| |     | |
.   | |    6      |_      |_ _ _ _|_ _ _ _| |    _|    _ _|     | |
.   |_|_ _ _        |_   4        |_ _ _ _ _|  _|     |    _ _ _| |
.  8      | |_ _      |                     15|      _|   |  _ _ _|
.         |_    |     |_ _ _ _ _ _            |  _ _|    _| |
.        8  |_  |_    |_ _ _ _ _ _|_ _ _ _ _ _| |      _|  _|
.             |_ _|  6            |_ _ _ _ _ _ _|  _ _|  _|
.                 |                             28|  _ _|
.                 |_ _ _ _ _ _ _ _                | |
.                 |_ _ _ _ _ _ _ _|_ _ _ _ _ _ _ _| |
.                8                |_ _ _ _ _ _ _ _ _|
.                                                    31
.
The diagram contains A237590(16) = 27 parts.
The total area (also the total number of cells) in the n-th arm of the spiral is equal to sigma(n) = A000203(n), considering every quadrant and the axes x and y. (checked by hand up to row n = 128). The parts of the spiral are in A237270: 1, 3, 2, 2, 7...
Diagram extended by _Omar E. Pol_, Aug 23 2018

Robert Price, Table of n, a(n) for n = 1..30016 (rows n = 1..412, flattened)

Row n has length 4*A003056(n).
The sum of row n is equal to 4*n = A008586(n).
Row n is a palindromic composition of 4*n = A008586(n).
Both column 1 and right border are A008619, n >= 1.
The connection between A196020 and A237270 is as follows: A196020 --> A236104 --> A235791 --> A237591 --> A237593 --> this sequence --> A237270.
Cf. A000203, A000217, A003056, A008619, A010883, A112610, A193553, A237048, A237271, A237590, A239052, A239053, A239663, A239665, A239931, A239932, A239933, A239934, A240020, A240062, A244050, A245092, A262626, A296508, A299778.

A239929 Numbers n with the property that the symmetric representation of sigma(n) has two parts.

Original entry on oeis.org

3, 5, 7, 10, 11, 13, 14, 17, 19, 22, 23, 26, 29, 31, 34, 37, 38, 41, 43, 44, 46, 47, 52, 53, 58, 59, 61, 62, 67, 68, 71, 73, 74, 76, 78, 79, 82, 83, 86, 89, 92, 94, 97, 101, 102, 103, 106, 107, 109, 113, 114, 116, 118, 122, 124, 127, 131, 134, 136, 137, 138

Offset: 1

Omar E. Pol, Apr 06 2014

nonn

All odd primes are in the sequence because the parts of the symmetric representation of sigma(prime(i)) are [m, m], where m = (1 + prime(i))/2, for i >= 2.
There are no odd composite numbers in this sequence.
First differs from A173708 at a(13).
Since sigma(p*q) >= 1 + p + q + p*q for odd p and q, the symmetric representation of sigma(p*q) has more parts than the two extremal ones of size (p*q + 1)/2; therefore, the above comments are true. - Hartmut F. W. Hoft, Jul 16 2014
From Hartmut F. W. Hoft, Sep 16 2015: (Start)
The following two statements are equivalent:
  (1) The symmetric representation of sigma(n) has two parts, and
  (2) n = q * p where q is in A174973, p is prime, and 2 * q < p.
For a proof see the link and also the link in A071561.
This characterization allows for much faster computation of numbers in the sequence - function a239929F[] in the Mathematica section - than computations based on Dyck paths. The function a239929Stalk[] gives rise to the associated irregular triangle whose columns are indexed by A174973 and whose rows are indexed by A065091, the odd primes. (End)
From Hartmut F. W. Hoft, Dec 06 2016: (Start)
For the respective columns of the irregular triangle with fixed m: k = 2^m * p, m >= 1, 2^(m+1) < p and p prime:
(a) each number k is representable as the sum of 2^(m+1) but no fewer consecutive positive integers [since 2^(m+1) < p].
(b) each number k has 2^m as largest divisor <= sqrt(k) [since 2^m < sqrt(k) < p].
(c) each number k is of the form 2^m * p with p prime [by definition].
m = 1: (a) A100484 even semiprimes (except 4 and 6)
       (b) A161344 (except 4, 6 and 8)
       (c) A001747 (except 2, 4 and 6)
m = 2: (a) A270298
       (b) A161424 (except 16, 20, 24, 28 and 32)
       (c) A001749 (except 8, 12, 20 and 28)
m = 3: (a) A270301
       (b) A162528 (except 64, 72, 80, 88, 96, 104, 112 and 128)
       (c) sequence not in OEIS
b(i,j) = A174973(j) * {1,5) mod 6 * A174973(j), for all i,j >= 1; see A091999 for j=2. (End)

			From _Hartmut F. W. Hoft_, Sep 16 2015: (Start)
a(23) = 52 = 2^2 * 13 = q * p with q = 4 in A174973 and 8 < 13 = p.
a(59) = 136 = 2^3 * 17 = q * p with q = 8 in A174973 and 16 < 17 = p.
The first six columns of the irregular triangle through prime 37:
   1    2    4    6    8   12 ...
  -------------------------------
   3
   5   10
   7   14
  11   22   44
  13   26   52   78
  17   34   68  102  136
  19   38   76  114  152
  23   46   92  138  184
  29   58  116  174  232  348
  31   62  124  186  248  372
  37   74  148  222  296  444
  ...
(End)

Hartmut F. W. Hoft, Proof of Characterization Theorem

Column 2 of A240062.
Cf. A000203, A006254, A065091, A071561, A174973, A196020, A236104, A235791, A237591, A237593, A237270, A237271, A238443, A239660, A239663, A239665, A239931-A239934, A244050, A245062, A262626.
Cf. A000040, A001747, A001749, A091999, A100484, A161344, A161424, A162528, A270298, A270301. - Hartmut F. W. Hoft, Dec 06 2016

isA174973 := proc(n)
    option remember;
    local k,dvs;
    dvs := sort(convert(numtheory[divisors](n),list)) ;
    for k from 2 to nops(dvs) do
        if op(k,dvs) > 2*op(k-1,dvs) then
            return false;
        end if;
    end do:
    true ;
end proc:
A174973 := proc(n)
    if n = 1 then
        1;
    else
        for a from procname(n-1)+1 do
            if isA174973(a) then
                return a;
            end if;
        end do:
    end if;
end proc:
isA239929 := proc(n)
    local i,p,j,a73;
    for i from 1 do
        p := ithprime(i+1) ;
        if p > n then
            return false;
        end if;
        for j from 1 do
            a73 := A174973(j) ;
            if a73 > n then
                break;
            end if;
            if p > 2*a73 and n = p*a73 then
                return true;
            end if;
        end do:
    end do:
end proc:
for n from 1 to 200 do
    if isA239929(n) then
        printf("%d,",n) ;
    end if;
end do: # R. J. Mathar, Oct 04 2018

(* sequence of numbers k for m <= k <= n having exactly two parts *)
(* Function a237270[] is defined in A237270 *)
a239929[m_, n_]:=Select[Range[m, n], Length[a237270[#]]==2&]
a239929[1, 260] (* data *)
(* Hartmut F. W. Hoft, Jul 07 2014 *)
(* test for membership in A174973 *)
a174973Q[n_]:=Module[{d=Divisors[n]}, Select[Rest[d] - 2 Most[d], #>0&]=={}]
a174973[n_]:=Select[Range[n], a174973Q]
(* compute numbers satisfying the condition *)
a239929Stalk[start_, bound_]:=Module[{p=NextPrime[2 start], list={}}, While[start p<=bound, AppendTo[list, start p]; p=NextPrime[p]]; list]
a239929F[n_]:=Sort[Flatten[Map[a239929Stalk[#, n]&, a174973[n]]]]
a239929F[138] (* data *)(* Hartmut F. W. Hoft, Sep 16 2015 *)

Entries b(i, j) in the irregular triangle with rows indexed by i>=1 and columns indexed by j>=1 (alternate indexing of the example):

b(i,j) = A000040(i+1) * A174973(j) where A000040(i+1) > 2 * A174973(j). - Hartmut F. W. Hoft, Dec 06 2016

Extended beyond a(56) by Michel Marcus, Apr 07 2014

A240062 Square array read by antidiagonals in which T(n,k) is the n-th number j with the property that the symmetric representation of sigma(j) has k parts, with j >= 1, n >= 1, k >= 1.

Original entry on oeis.org

1, 2, 3, 4, 5, 9, 6, 7, 15, 21, 8, 10, 25, 27, 63, 12, 11, 35, 33, 81, 147, 16, 13, 45, 39, 99, 171, 357, 18, 14, 49, 51, 117, 189, 399, 903, 20, 17, 50, 55, 153, 207, 441, 987, 2499, 24, 19, 70, 57, 165, 243, 483, 1029, 2709, 6069, 28, 22, 77, 65, 195, 261, 513, 1113

Offset: 1

Omar E. Pol, Apr 06 2014

This is a permutation of the positive integers.
All odd primes are in column 2 (together with some even composite numbers) because the symmetric representation of sigma(prime(i)) is [m, m], where m = (1 + prime(i))/2, for i >= 2.
The union of all odd-indexed columns gives A071562, the positive integers that have middle divisors. The union of all even-indexed columns gives A071561, the positive integers without middle divisors. - Omar E. Pol, Oct 01 2018
Each column in the table of A357581 is a subsequence of the respective column in the table of this sequence; however, the first row in the table of A357581 is not a subsequence of the first row in the table of this sequence. - Hartmut F. W. Hoft, Oct 04 2022
Conjecture: T(n,k) is the n-th positive integer with k 2-dense sublists of divisors. - Omar E. Pol, Aug 25 2025

			Array begins:
   1,  3,  9, 21,  63, 147, 357,  903, 2499, 6069, ...
   2,  5, 15, 27,  81, 171, 399,  987, 2709, 6321, ...
   4,  7, 25, 33,  99, 189, 441, 1029, 2793, 6325, ...
   6, 10, 35, 39, 117, 207, 483, 1113, 2961, 6783, ...
   8, 11, 45, 51, 153, 243, 513, 1197, 3025, 6875, ...
  12, 13, 49, 55, 165, 261, 567, 1239, 3087, 6909, ...
  16, 14, 50, 57, 195, 275, 609, 1265, 3249, 7011, ...
  18, 17, 70, 65, 231, 279, 621, 1281, 3339, 7203, ...
  20, 19, 77, 69, 255, 297, 651, 1375, 3381, 7353, ...
  24, 22, 91, 75, 273, 333, 729, 1407, 3591, 7581, ...
  ...
[Lower right hand triangle of array completed by _Hartmut F. W. Hoft_, Oct 04 2022]

Index entries for sequences that are permutations of the natural numbers

For programs see A237271 and A237593.
Row 1 is A239663.
Column 1 is A174973.
Columns 2..7: A239929, A279102, A280107, A320066, A320511, A357775.
For more information see A239663 and A239665.
Cf. A000203, A006254, A065091, A067742, A071561, A071562, A196020, A236104, A235791, A237048, A237270, A239660, A239929, A239931-A239934, A245092, A262626, A319529, A319796, A319801, A319802.
Cf. A341969, A341970, A341971, A357581.

(* function a341969 and support functions are defined in A341969, A341970 and A341971 *)
partsSRS[n_] := Length[Select[SplitBy[a341969[n], #!=0&], #[[1]]!=0&]]
widthTable[n_, {r_, c_}] := Module[{k, list=Table[{}, c], parts}, For[k=1, k<=n, k++, parts=partsSRS[k]; If[parts<=c&&Length[list[[parts]]]=1, j--, vec[[PolygonalNumber[i+j-2]+j]]=arr[[i, j]]]]; vec]
a240062T[n_, r_] := TableForm[widthTable[n, {r, r}]]
a240062[6069, 10] (* data *)
a240062T[7581, 10] (* 10 X 10 array - Hartmut F. W. Hoft, Oct 04 2022 *)

a(n) > 128 from Michel Marcus, Apr 08 2014

A237590 a(n) is the total number of regions (or parts) after n-th stage in the diagram of the symmetries of sigma described in A236104.

Original entry on oeis.org

1, 2, 4, 5, 7, 8, 10, 11, 14, 16, 18, 19, 21, 23, 26, 27, 29, 30, 32, 33, 37, 39, 41, 42, 45, 47, 51, 52, 54, 55, 57, 58, 62, 64, 67, 68, 70, 72, 76, 77, 79, 80, 82, 84, 87, 89, 91, 92, 95, 98, 102, 104, 106, 107, 111, 112, 116, 118, 120, 121, 123, 125, 130, 131, 135, 136, 138, 140, 144, 147, 149, 150, 152, 154

Offset: 1

Omar E. Pol, Mar 31 2014

nonn

The total area (or total number of cells) of the diagram after n stages is equal to A024916(n), the sum of all divisors of all positive integers <= n.
Note that the region between the virtual circumscribed square and the diagram is a symmetric polygon whose area is equal to A004125(n), see example.
For more information see A237593 and A237270.
a(n) is also the total number of terraces of the stepped pyramid with n levels described in A245092. - Omar E. Pol, Apr 20 2016

			Illustration of initial terms:
.                                                         _ _ _ _
.                                           _ _ _        |_ _ _  |_
.                               _ _ _      |_ _ _|       |_ _ _|   |_
.                     _ _      |_ _  |_    |_ _  |_ _    |_ _  |_ _  |
.             _ _    |_ _|_    |_ _|_  |   |_ _|_  | |   |_ _|_  | | |
.       _    |_  |   |_  | |   |_  | | |   |_  | | | |   |_  | | | | |
.      |_|   |_|_|   |_|_|_|   |_|_|_|_|   |_|_|_|_|_|   |_|_|_|_|_|_|
.
.
.       1      2        4          5            7              8
.
For n = 6 the diagram contains 8 regions (or parts), so a(6) = 8.
The sum of all divisors of all positive integers <= 6 is [1] + [1+2] + [1+3] + [1+2+4] + [1+5] + [1+2+3+6] = 33. On the other hand after 6 stages the sum of all parts of the diagram is [1] + [3] + [2+2] + [7] + [3+3] + [12] = 33, equaling the sum of all divisors of all positive integers <= 6.
Note that the region between the virtual circumscribed square and the diagram is a symmetric polygon whose area is equal to A004125(6) = 3.
From _Omar E. Pol_, Dec 25 2020: (Start)
Illustration of the diagram after 29 stages (contain 215 vertices, 268 edges and 54 regions or parts):
._ _ _ _ _ _ _ _ _ _ _ _ _ _ _
|_ _ _ _ _ _ _ _ _ _ _ _ _ _ _|
|_ _ _ _ _ _ _ _ _ _ _ _ _ _  |
|_ _ _ _ _ _ _ _ _ _ _ _ _ _| |
|_ _ _ _ _ _ _ _ _ _ _ _ _  | |
|_ _ _ _ _ _ _ _ _ _ _ _ _| | |
|_ _ _ _ _ _ _ _ _ _ _ _  | | |_ _ _
|_ _ _ _ _ _ _ _ _ _ _ _| | |_ _ _  |
|_ _ _ _ _ _ _ _ _ _ _  | | |_ _  | |_
|_ _ _ _ _ _ _ _ _ _ _| | |_ _ _| |_  |_
|_ _ _ _ _ _ _ _ _ _  | |       |_ _|   |_
|_ _ _ _ _ _ _ _ _ _| | |_ _    |_  |_ _  |_ _
|_ _ _ _ _ _ _ _ _  | |_ _ _|     |_  | |_ _  |
|_ _ _ _ _ _ _ _ _| | |_ _  |_      |_|_ _  | |
|_ _ _ _ _ _ _ _  | |_ _  |_ _|_        | | | |_ _ _ _ _ _
|_ _ _ _ _ _ _ _| |     |     | |_ _    | |_|_ _ _ _ _  | |
|_ _ _ _ _ _ _  | |_ _  |_    |_  | |   |_ _ _ _ _  | | | |
|_ _ _ _ _ _ _| |_ _  |_  |_ _  | | |_ _ _ _ _  | | | | | |
|_ _ _ _ _ _  | |_  |_  |_    | |_|_ _ _ _  | | | | | | | |
|_ _ _ _ _ _| |_ _|   |_  |   |_ _ _ _  | | | | | | | | | |
|_ _ _ _ _  |     |_ _  | |_ _ _ _  | | | | | | | | | | | |
|_ _ _ _ _| |_      | |_|_ _ _  | | | | | | | | | | | | | |
|_ _ _ _  |_ _|_    |_ _ _  | | | | | | | | | | | | | | | |
|_ _ _ _| |_  | |_ _ _  | | | | | | | | | | | | | | | | | |
|_ _ _  |_  |_|_ _  | | | | | | | | | | | | | | | | | | | |
|_ _ _|   |_ _  | | | | | | | | | | | | | | | | | | | | | |
|_ _  |_ _  | | | | | | | | | | | | | | | | | | | | | | | |
|_ _|_  | | | | | | | | | | | | | | | | | | | | | | | | | |
|_  | | | | | | | | | | | | | | | | | | | | | | | | | | | |
|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|
.
(End)

Robert Price, Table of n, a(n) for n = 1..5000
Omar E. Pol, An infinite stepped pyramid
Omar E. Pol, Diagram of the isosceles triangle A237593 before the 90-degree-zig-zag folding (rows: 1..28)
Omar E. Pol, Perspective view of the stepped pyramid (first 16 levels)

Partial sums of A237271.
Compare with A060831 (analog for the diagram that contains subparts).
Cf. A000203, A004125, A024916, A196020, A236104, A235791, A237048, A237270, A237591, A237593, A239659, A239660, A239663, A239665, A239931-A239934, A245092, A244050, A244970, A262626, A317109.

(* total number of parts in the first n symmetric representations *)
(* Function a237270[] is defined in A237270 *)
(* variable "previous" represents the sum from 1 through m-1 *)
a237590[previous_,{m_,n_}]:=Rest[FoldList[Plus[#1,Length[a237270[#2]]]&,previous,Range[m,n]]]
a237590[n_]:=a237590[0,{1,n}]
a237590[78] (* data *)
(* Hartmut F. W. Hoft, Jul 07 2014 *)

a(n) = A317109(n) - A294723(n) + 1 (Euler's formula). - Omar E. Pol, Jul 21 2018

Definition clarified by Omar E. Pol, Jul 21 2018

A239665 Triangle read by rows in which row n lists the parts of the symmetric representation of sigma of the smallest number whose symmetric representation of sigma has n parts.

Original entry on oeis.org

1, 2, 2, 5, 3, 5, 11, 5, 5, 11, 32, 12, 16, 12, 32, 74, 26, 14, 14, 26, 74, 179, 61, 29, 38, 29, 61, 179, 452, 152, 68, 32, 32, 68, 152, 452, 1250, 418, 182, 152, 100, 152, 182, 418, 1250, 3035, 1013, 437, 342, 85, 85, 342, 437, 1013, 3035, 6958, 1394, 638, 314, 154, 236, 154, 314, 638, 1394, 6958

Offset: 1

Omar E. Pol, Mar 23 2014

Row n is also row A239663(n) of A237270.

			----------------------------------------------------------------------
n    A239663(n)  Triangle begins:                        A266094(n)
----------------------------------------------------------------------
1        1       [1]                                         1
2        3       [2, 2]                                      4
3        9       [5, 3, 5]                                  13
4       21       [11, 5, 5, 11]                             32
5       63       [32, 12, 16, 12, 32]                      104
6      147       [74, 26, 14, 14, 26, 74]                  228
7      357       [179, 61, 29, 38, 29, 61, 179]            576
8      903       [452, 152, 68, 32, 32, 68, 152, 452]     1408
...
Illustration of initial terms:
.
.     _ _ _ _ _ 5
.    |_ _ _ _ _|
.              |_ _ 3
.              |_  |
.                |_|_ _ 5
.                    | |
.     _ _ 2          | |
.    |_ _|_ 2        | |
.     _ 1| |         | |
.    |_| |_|         |_|
.
For n = 2 we have that A239663(2) = 3 is the smallest number whose symmetric representation of sigma has 2 parts. Row 3 of A237593 is [2, 1, 1, 2] and row 2 of A237593 is [2, 2] therefore between both Dyck paths in the first quadrant there are two regions (or parts) of sizes [2, 2], so row 2 is [2, 2].
For n = 3 we have that A239663(3) = 9 is the smallest number whose symmetric representation of sigma has 3 parts. 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 Dyck paths in the first quadrant there are three regions (or parts) of sizes [5, 3, 5], so row 3 is [5, 3, 5].

Cf. A000203, A005279, A196020, A236104, A237270, A237271, A235791, A237591, A237593, A239660, A239663, A239931-A239934, A240020, A240062, A244050, A245092, A262626, A266094.

a(16)-a(28) from Michel Marcus and Omar E. Pol, Mar 28 2014
a(29)-a(36) from Michel Marcus, Mar 28 2014
a(37)-a(45) from Michel Marcus, Mar 29 2014
a(46)-a(66) from Michel Marcus, Apr 02 2014

A318843 a(n) is the smallest number k such that the symmetric representation of sigma(k) consists of n parts of width 1.

Original entry on oeis.org

1, 3, 9, 21, 81, 147, 729, 903, 3025, 6875, 59049, 29095, 531441, 171875, 366025, 643885, 43046721, 3511475

Offset: 1

Hartmut F. W. Hoft, Sep 04 2018

The sequence is infinite since, for example, for any n >= 1 the symmetric representation of sigma(3^n) consists of n + 1 parts of width 1. However, it is not increasing since a(11) = 59049 = 3^10 and a(12) = 29095 = 5 * 11 * 23^2. Also a(13) <= 531441 = 3^12.
This sequence is a subsequence of A174905; its subsequences a(n) for odd/even n are subsequences of A241010/A241008, respectively. Some even-indexed elements of this sequence are members of A239663, e.g., a(2), a(4), a(6), a(8) and a(12), but not a(10) = 6875.
The central pair of parts in the symmetric representation of sigma(a(2)), sigma(a(4)) and sigma(a(8)) meets at the diagonal (see A298856).
From Hartmut F. W. Hoft, Oct 04 2021: (Start)
An upper bound to the sequence is a(n) <= 3^(n-1), n >= 1, (see A348171).
For p = 1,2,3,5,7,11,13,17, a(p) = 3^(p-1) and this equality possibly holds for all a(p) with p a prime.
Also, 75 * 10^6 < a(19) <= 3^18, a(20) = 15391255, a(21) = 44289025 and a(n) > 75 * 10^6 for n > 21.
a(13)-a(18) computations based on A348171 rather than A237270.
The symmetric representation of sigma(3^(p-1)), p prime, consists of p parts and its middle part has area 3^((p-1)/2). (End)
a(n) >= A038547(n) with equality for n=1 and primes n since the distinct prime divisors of n can be replaced by primes 3, 5, 7, 11, ... yielding a smaller number k with the same number of odd divisors. However, some parts in the symmetric representation of sigma(k) have width at least 2. - Hartmut F. W. Hoft, Dec 11 2023

			The smallest number k whose symmetric representation of sigma(k) consists of four parts of width one is a(4) = 21. The parts are 11, 5, 5, 11.
a(4) = 3*7 has width pattern, A341969, 1010101 while A038547(4) = 3*5 has width pattern 1012101. a(6) = 3 * 7^2 = 147 has width pattern 10101010101 while A038547(6) = 3^2 * 5 = 45 has width pattern 10121212101. - _Hartmut F. W. Hoft_, Dec 11 2023

Cf. A174905, A237048, A237270, A237271, A237593, A239663, A239665, A240062, A240542, A241008, A241010, A249351, A298856.
Cf. A249223, A348171.
Cf. A038547, A341969.

(* Function path[] is defined in A237270 *)
segmentsSR[pathN0_, pathN1_] := SplitBy[Map[Min, Drop[Drop[pathN0, 1], -1] - pathN1], #==0&]
regions[pathN0_ ,pathN1_] := Select[Map[Apply[Plus, #]&, segmentsSR[pathN0, pathN1]], #!=0&]
width1Q[pathN0_, pathN1_] := SubsetQ[{0, 1}, Union[Flatten[Drop[Drop[pathN0, 1], -1] - pathN1, 1]]]
(* parameter seq is the list of elements of the sequence in interval 1..m-1 already computed with an entry of 0 representing an element not yet found *)
a318843[m_, n_, seq_] := Module[{list=Join[seq, Table[0, 10]], path1=path[m-1], path0, k, a, r, w}, For[k=m, k<=n, k++, path0=path[k]; a=regions[path0, path1]; r=Length[a]; w=width1Q[path0, path1]; If[w && list[[r]]==0, list[[r]]=k]; path1=path0]; list]
a318843[2,60000,{1}] (* data - actually computed in steps *)

a(13)-a(18) from Hartmut F. W. Hoft, Oct 04 2021

A320066 Numbers k with the property that the symmetric representation of sigma(k) has five parts.

Original entry on oeis.org

63, 81, 99, 117, 153, 165, 195, 231, 255, 273, 285, 325, 345, 375, 425, 435, 459, 475, 525, 561, 575, 625, 627, 665, 693, 725, 735, 775, 805, 819, 825, 875, 897, 925, 975, 1015, 1025, 1075, 1085, 1150, 1175, 1225, 1250, 1295, 1377, 1395, 1421, 1435, 1450, 1479, 1505, 1519, 1550, 1581, 1617, 1645, 1653, 1665

Offset: 1

Omar E. Pol, Oct 05 2018

nonn

Those numbers in this sequence with only parts of width 1 in their symmetric representation of sigma form column 5 in the table of A357581. - Hartmut F. W. Hoft, Oct 04 2022

			63 is in the sequence because the 63rd row of A237593 is [32, 11, 6, 4, 2, 2, 2, 1, 2, 1, 1, 2, 1, 2, 2, 2, 4, 6, 11, 32], and the 62nd row of the same triangle is [32, 11, 5, 4, 3, 2, 1, 2, 1, 1, 1, 1, 2, 1, 2, 3, 4, 5, 11, 32], therefore between both symmetric Dyck paths there are five parts: [32, 12, 16, 12, 32].
The sums of these parts is 32 + 12 + 16 + 12 + 32 = 104, equaling the sum of the divisors of 63: 1 + 3 + 7 + 9 + 21 + 63 = 104.
(The diagram of the symmetric representation of sigma(63) = 104 is too large to include.)

Column 5 of A240062.
Cf. A000203, A018267, A237270 (the parts), A237271 (number of parts), A174973 (one part), A239929 (two parts), A279102 (three parts), A280107 (four parts).
Cf. A236104, A237591, A237593, A239663, A239665, A245092, A262626.
Cf. A341969, A341970, A341971, A357581.

(* function a341969 and support functions are defined in A341969, A341970 and A341971 *)
partsSRS[n_] := Length[Select[SplitBy[a341969[n], #!=0&], #[[1]]!=0&]]
a320066[n_] := Select[Range[n], partsSRS[#]==5&]
a320066[1665] (* Hartmut F. W. Hoft, Oct 04 2022 *)

A320511 Numbers k with the property that the symmetric representation of sigma(k) has six parts.

Original entry on oeis.org

147, 171, 189, 207, 243, 261, 275, 279, 297, 333, 351, 363, 369, 387, 423, 429, 465, 477, 507, 531, 549, 555, 595, 603, 605, 615, 639, 645, 657, 663, 705, 711, 715, 741, 747, 795, 801, 833, 845, 867, 873, 885, 909, 915, 927, 931, 935, 963, 969, 981, 1005, 1017, 1045, 1065, 1071, 1083, 1095, 1105, 1127

Offset: 1

Omar E. Pol, Oct 14 2018

nonn

Those numbers in this sequence with only parts of width 1 in their symmetric representation of sigma form column 6 in the table of A357581. - Hartmut F. W. Hoft, Oct 04 2022

			147 is in the sequence because the 147th row of A237593 is [74, 25, 13, 8, 5, 4, 4, 2, 2, 2, 2, 1, 1, 2, 1, 1, 1, 1, 2, 1, 1, 2, 2, 2, 2, 4, 4, 5, 8, 13, 25, 74], and the 146th row of the same triangle is [74, 25, 12, 8, 6, 4, 3, 2, 2, 2, 2, 1, 2, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 2, 2, 3, 4, 6, 8, 12, 25, 74], therefore between both symmetric Dyck paths there are six parts: [74, 26, 14, 14, 26, 74].
Note that the sum of these parts is 74 + 26 + 14 + 14 + 26 + 74 = 228, equaling the sum of the divisors of 147: 1 + 3 + 7 + 21 + 49 + 147 = 228.
(The diagram of the symmetric representation of sigma(147) = 228 is too large to include.)

Column 6 of A240062.
Cf. A237270 (the parts), A237271 (number of parts), A174973 (one part), A239929 (two parts), A279102 (three parts), A280107 (four parts), A320066 (five parts).
Cf. A000203, A018303, A196020, A235791, A236104, A237048, A237591, A237593, A239663, A239665, A245092, A262626, A296508.
Cf. A341969, A341970, A341971, A357581.

(* function a341969 and support functions are defined in A341969, A341970 and A341971 *)
partsSRS[n_] := Length[Select[SplitBy[a341969[n], #!=0&], #[[1]]!=0&]]
a320511[n_] := Select[Range[n], partsSRS[#]==6&]
a320511[1127] (* Hartmut F. W. Hoft, Oct 04 2022 *)

cp's OEIS Frontend

A237270 Triangle read by rows in which row n lists the parts of the symmetric representation of sigma(n).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

Extensions

A237271 Number of parts in the symmetric representation of sigma(n).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Python

Formula

A239660 Triangle read by rows in which row n lists two copies of the n-th row of triangle A237593.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

A239929 Numbers n with the property that the symmetric representation of sigma(n) has two parts.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

Formula

Extensions

A240062 Square array read by antidiagonals in which T(n,k) is the n-th number j with the property that the symmetric representation of sigma(j) has k parts, with j >= 1, n >= 1, k >= 1.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Extensions

A237590 a(n) is the total number of regions (or parts) after n-th stage in the diagram of the symmetries of sigma described in A236104.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

Extensions

A239665 Triangle read by rows in which row n lists the parts of the symmetric representation of sigma of the smallest number whose symmetric representation of sigma has n parts.

Views

Author

Keywords

Comments

Examples

Crossrefs

Extensions

A318843 a(n) is the smallest number k such that the symmetric representation of sigma(k) consists of n parts of width 1.

Views