A250071 -id:A250071 - cp's OEIS frontend

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

1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1

Offset: 1

Omar E. Pol, Oct 26 2014

Here T(n,k) is defined to be the "k-th width" of the symmetric representation of sigma(n), with n>=1 and 1<=k<=2n-1. Explanation: consider the diagram of the symmetric representation of sigma(n) described in A236104, A237593 and other related sequences. Imagine that the diagram for sigma(n) contains 2n-1 equidistant segments which are parallel to the main diagonal [(0,0),(n,n)] of the quadrant. The segments are located on the diagonal of the cells. The distance between two parallel segment is equal to sqrt(2)/2. T(n,k) is the length of the k-th segment divided by sqrt(2). Note that the triangle contains nonnegative terms because for some n the value of some widths is equal to zero. For an illustration of some widths see Hartmut F. W. Hoft's contribution in the Links section of A237270.
Row n has length 2*n-1.
Row sums give A000203.
If n is a power of 2 then all terms of row n are 1's.
If n is an even perfect number then all terms of row n are 1's except the middle term which is 2.
If n is an odd prime then row n lists (n+1)/2 1's, n-2 zeros, (n+1)/2 1's.
The number of blocks of positive terms in row n gives A237271(n).
The sum of the k-th block of positive terms in row n gives A237270(n,k).
It appears that the middle diagonal is also A067742 (which was conjectured by Michel Marcus in the entry A237593 and checked with two Mathematica functions up to n = 100000 by Hartmut F. W. Hoft).
It appears that the trapezoidal numbers (A165513) are also the numbers k > 1 with the property that some of the noncentral widths of the symmetric representation of sigma(k) are not equal to 1. - Omar E. Pol, Mar 04 2023

			Triangle begins:
  1;
  1,1,1;
  1,1,0,1,1;
  1,1,1,1,1,1,1;
  1,1,1,0,0,0,1,1,1;
  1,1,1,1,1,2,1,1,1,1,1;
  1,1,1,1,0,0,0,0,0,1,1,1,1;
  1,1,1,1,1,1,1,1,1,1,1,1,1,1,1;
  1,1,1,1,1,0,0,1,1,1,0,0,1,1,1,1,1;
  1,1,1,1,1,1,1,1,1,0,1,1,1,1,1,1,1,1,1;
  1,1,1,1,1,1,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1;
  1,1,1,1,1,1,1,1,1,2,2,2,2,2,1,1,1,1,1,1,1,1,1;
  ...
---------------------------------------------------------------------------
.        Written as an isosceles triangle              Diagram of
.              the sequence begins:               the symmetry of sigma
---------------------------------------------------------------------------
.                                                _ _ _ _ _ _ _ _ _ _ _ _
.                      1;                       |_| | | | | | | | | | | |
.                    1,1,1;                     |_ _|_| | | | | | | | | |
.                  1,1,0,1,1;                   |_ _|  _|_| | | | | | | |
.                1,1,1,1,1,1,1;                 |_ _ _|    _|_| | | | | |
.              1,1,1,0,0,0,1,1,1;               |_ _ _|  _|  _ _|_| | | |
.            1,1,1,1,1,2,1,1,1,1,1;             |_ _ _ _|  _| |  _ _|_| |
.          1,1,1,1,0,0,0,0,0,1,1,1,1;           |_ _ _ _| |_ _|_|    _ _|
.        1,1,1,1,1,1,1,1,1,1,1,1,1,1,1;         |_ _ _ _ _|  _|     |
.      1,1,1,1,1,0,0,1,1,1,0,0,1,1,1,1,1;       |_ _ _ _ _| |      _|
.    1,1,1,1,1,1,1,1,1,0,1,1,1,1,1,1,1,1,1;     |_ _ _ _ _ _|  _ _|
.  1,1,1,1,1,1,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1;   |_ _ _ _ _ _| |
.1,1,1,1,1,1,1,1,1,2,2,2,2,2,1,1,1,1,1,1,1,1,1; |_ _ _ _ _ _ _|
...
From _Omar E. Pol_, Nov 22 2020: (Start)
Also consider the infinite double-staircases diagram defined in A335616.
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 this seq:  [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 A237270:   [              8,            8,            8              ]
The 15th row
of A296508:   [              8,      7,    1,    0,      8              ]
The 15th row
of A280851    [              8,      7,    1,            8              ]
.
The number of horizontal steps (or 1's) in the successive columns of the above diagram gives the 15th row of this triangle.
For more information about the parts of the symmetric representation of sigma(n) see A237270. For more information about the subparts see A239387, A296508, A280851.
More generally, it appears there is the same correspondence between the original diagram of the symmetric representation of sigma(n) and the "Ziggurat" diagram of n. (End)

Index entries for sequences related to sigma(n)

Cf. A000203, A003056, A067742, A071562, A165513, A196020, A235791, A236104, A237048, A237270, A237271, A237591, A237593, A238443, A239660, A239932-A239934, A240542, A241008, A241010, A245092, A245685, A246955, A246956, A247687, A249223, A250068, A250070, A250071, A262626, A280850, A280851, A296508, A235616, A347186.

(* function segments are defined in A237270 *)
a249351[n_] := Flatten[Map[segments, Range[n]]]
a249351[10] (* Hartmut F. W. Hoft, Jul 20 2022 *)

A250068 Maximum width of any region in the symmetric representation of sigma(n).

Original entry on oeis.org

1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 2, 1, 1, 2, 1, 1, 2, 1, 2, 1, 1, 1, 2, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 2, 2, 1, 1, 1, 2, 1, 2, 1, 1, 2, 1, 1, 2, 1, 1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 3, 1, 1, 2, 1, 1, 2, 1, 1, 1, 2, 1, 3, 1, 1, 2, 1, 2, 2, 1, 2, 1, 1, 1, 3, 1, 1, 1, 2, 1, 3, 2, 1, 1, 1, 1, 2, 1, 1, 2, 2

Offset: 1

Hartmut F. W. Hoft, Nov 11 2014

nonn

Since the width of the single region of the symmetric representation of sigma( 2^ceiling((p-1)*(log_2 3) - 1) * 3^(p-1) ), for prime number p, at the diagonal equals p, this sequence contains an increasing subsequence (see A250071).

a(n) is also the number of layers of width 1 in the symmetric representation of sigma(n). For more information see A001227. - Omar E. Pol, Dec 13 2016

			a(6) = 2 since the sequence of widths at each unit step in the symmetric representation of sigma(6) = 12 is 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1. For visual examples see A237270, A237593 and sequences referenced in these.

N. J. A. Sloane, Table of n, a(n) for n = 1..10000

Cf. A000203, A001227, A237048, A237270, A237271, A237591, A237593, A241008, A241010, A246955, A247687, A249223, A249351 (widths), A279387, A279388, A279391.

See A250070, A250071, A340506 for records.

(* function a2[ ] is defined in A249223 *)
a250068[n_]:=Max[a2[n]]
a250068[{m_,n_}]:=Map[a250068,Range[m,n]]
a250068[{1,100}](* data *)

t237048(n,k) = if (k % 2, (n % k) == 0, ((n - k/2) % k) == 0);
kmax(n) = (sqrt(1+8*n)-1)/2;
t249223(n,k) = sum(j=1, k, (-1)^(j+1)*t237048(n,j));
a(n) = my(wm = t249223(n, 1)); for (k=2, kmax(n), wm = max(wm, t249223(n, k))); wm; \\ Michel Marcus, Sep 20 2015

a(n) = max_{k=1..floor((sqrt(8*n+1) - 1)/2)} (Sum_{j=1..k}(-1)^(j+1)*A237048(n, j)), for n >= 1.

A250070 Smallest number k such that the symmetric representation of sigma(k) has at least one part of width n.

Original entry on oeis.org

1, 6, 60, 120, 360, 840, 3360, 2520, 5040, 10080, 15120, 32760, 27720, 50400, 98280, 83160, 110880, 138600, 221760, 277200, 332640, 360360, 554400, 960960, 831600, 942480, 720720, 2217600, 1965600, 1441440, 3160080, 2827440, 2162160, 2882880, 3603600, 5765760, 5654880, 4324320, 9979200

Offset: 1

Hartmut F. W. Hoft, Nov 11 2014

nonn

The 26 entries starting with a(2) = 6 are products of powers of consecutive primes starting with 2, except for a(12) = 32760 and a(15) = 98280 (which are missing 11), and a(26) = 942480 (which is missing 13).
a(n) is the smallest number k such that the symmetric representation of sigma(k) has n layers. For more information see A279387. - Omar E. Pol, Dec 16 2016
Row 1 of A253258. - Omar E. Pol, Apr 15 2018
From Hartmut F. W. Hoft, Jun 10 2024: (Start)
All terms a(n) <= 1.75*10^7 have a symmetric representation of sigma that consists of a single part and they are abundant for n > 2. Numbers a(1) = 1, a(2) = 6, and a(4) = 120 are unimodal while numbers a(6) = 840, a(14) = 50400, a(18) = 138600, a(24) = 960960, a(26) = 942480, a(32) = 2827440, a(44) = 8648640 have a single extent of maximum width, but are not unimodal.
Conjecture: The symmetric representation of sigma for every term consists of a single part and it is unimodal only for a(1), a(2), and a(4).
As a consequence, this sequence would be a subsequence of A174973, and all a(n), n > 2, would be abundant. (End)

			a(3) = 60 since the symmetric representation of sigma(60) = 168 consists of a single region of whose successive widths are 41 1's, 9 2's, 6 3's, 7 2's, 6 3's, 9 2's, and 41 1's.
a(6) = 840 has a single extent of 12 units of width 6 centered around point (583,583) on the diagonal, but is not unimodal. - _Hartmut F. W. Hoft_, Jun 10 2024

Hartmut F. W. Hoft, Table of n, a(n) for n = 1..48

Indices of records in A250068.
Cf. A000203, A237270, A237271, A237593, A241008, A241010, A246955, A247687, A249223, A250071, A253258, A279387.
Cf. A174973.

(* function a2[ ] is defined in A249223 *)
a250070[{j_, k_}, b_] := Module[{i, max, acc={{1, 1}}}, For[i=j, i<=k, i++, max={Max[a2[i]], i}; If[max[[1]]>b && !MemberQ[Transpose[acc][[1]], max[[1]]], AppendTo[acc,max]]]; acc]
(* returns (argument,result) data pairs since sequence is non-monotonic *)
Sort[a250070[{1, 1000000}, 1]] (* computed in steps *)

a(n) = min(k such that A250068(k) = n), n >= 1.

a(28)-a(48) from Hartmut F. W. Hoft, Jun 10 2024

A053624 Highly composite odd numbers: odd numbers where d(n) increases to a record.

Original entry on oeis.org

1, 3, 9, 15, 45, 105, 225, 315, 945, 1575, 2835, 3465, 10395, 17325, 31185, 45045, 121275, 135135, 225225, 405405, 675675, 1576575, 2027025, 2297295, 3828825, 6891885, 11486475, 26801775, 34459425, 43648605, 72747675, 130945815

Offset: 1

Stefano Lanfranco (lastefano(AT)yahoo.it), Mar 21 2000

Also numbers k such that the number of partitions of k into consecutive integers is a record. For example, 45 = 22+23 = 14+15+16 = 7+8+9+10+11 = 5+6+7+8+9+10 = 1+2+3+4+5+6+7+8+9, six such partitions, but all smaller terms have fewer such partitions (15 has four). See A000005 comments and A038547 formula. - Rick L. Shepherd, Apr 20 2008
From Hartmut F. W. Hoft, Mar 29 2022: (Start)
Also the odd parts of the numbers in A340506, see also comments in A250071.
A140864 is a subsequence. (End)
Positions of records in A001227, i.e., integers whose number of odd divisors sets a new record. - Bernard Schott, Jul 18 2022
Conjecture: all terms after the first three terms are congruent to 5 mod 10. - Harvey P. Dale, Jul 05 2023
From Keith F. Lynch, Jan 12 2024: (Start)
Dale's conjecture is correct.  a(n) can't be even, since then a(n)/2 would be a smaller number with the same number of odd divisors.  The respective powers of the successive odd primes can't increase, since if they did, swapping them would give a smaller number with the same number of divisors, e.g., 3^2 * 5^4 has the same number of divisors as 3^4 * 5^2, and the latter is smaller.  As such, every a(n) must be an odd multiple of 5, hence congruent to 5 mod 10, unless it's simply a power of 3.  But multiplying a power of 3 by 3 gives just one more divisor while multiplying a power of 3 by 5 doubles the number of divisors, so after a(n) = 9 all a(n) must be congruent to 5 mod 10, i.e., have a rightmost decimal digit of 5.
This has three equivalent definitions:
* Odd numbers with more divisors than any smaller odd number.
* Numbers with more odd divisors than any smaller number, i.e., record high values of A001227.
* Numbers with a greater excess of odd divisors over even divisors than any smaller number, i.e., record high values of A048272. (End)

			9 is in the sequence because 9 has 3 divisors {1, 3, 9}, which is more than any previous odd number.

Amiram Eldar, Table of n, a(n) for n = 1..363 (terms 1..170 from Ray Chandler)
David Ryan, Mathematical Harmony Analysis, arXiv preprint arXiv:1603.08904 [cs.SD], 2016.

Cf. A002182, A053640, A000005. Subsequence of A147516.
Cf. A140864, A237593, A250071, A279387, A340506.
Cf. A005408, A001227, A038547.

nn = 10^6; maxd = 0;
Reap[For[n = 1, n <= nn, n += 2, If[(nd = DivisorSigma[0, n]) > maxd, Print[n]; Sow[n]; maxd = nd]]][[2, 1]] (* Jean-François Alcover, Sep 20 2018, from PARI *)
next[n_] := Module[{k=n, r=DivisorSigma[0, n]}, While[DivisorSigma[0, k]<=r, k+=2]; k]
a053624[n_] := NestList[next, 1, n-1]/; n>=1 (* returns n numbers *)
a053624[31] (* Hartmut F. W. Hoft, Mar 29 2022 *)
DeleteDuplicates[Table[{n,DivisorSigma[0,n]},{n,1,131*10^6,2}],GreaterEqual[ #1[[2]],#2[[2]]]&][[;;,1]] (* Harvey P. Dale, Jul 05 2023 *)

lista(nn) = {maxd = 0; forstep (n=1, nn, 2, if ((nd = numdiv(n)) > maxd, print1(n, ", "); maxd = nd;););} \\ Michel Marcus, Apr 21 2014

A246955 Numbers j for which the symmetric representation of sigma(j) has two parts, each of width one.

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, 79, 82, 83, 86, 89, 92, 94, 97, 101, 103, 106, 107, 109, 113, 116, 118, 122, 124, 127, 131, 134, 136, 137, 139, 142, 146, 148, 149, 151, 152, 157, 158, 163, 164, 166, 167, 172, 173, 178, 179, 181, 184, 188, 191, 193, 194, 197, 199

Offset: 1

Hartmut F. W. Hoft, Sep 08 2014

nonn

The sequence is the intersection of A239929 (sigma(j) has two parts) and of A241008 (sigma(j) has an even number of parts of width one).
The numbers in the sequence are precisely those defined by the formula for the triangle, see the link. The symmetric representation of sigma(j) has two parts, each part having width one, precisely when j = 2^(k - 1) * p where 2^k <= row(j) < p, p is prime and row(j) = floor((sqrt(8*j + 1) - 1)/2). Therefore, the sequence can be written naturally as a triangle as shown in the Example section.
The symmetric representation of sigma(j) = 2*j - 2 consists of two regions of width 1 that meet on the diagonal precisely when j = 2^(2^m - 1)*(2^(2^m) + 1) where 2^(2^m) + 1 is a Fermat prime (see A019434). This subsequence of numbers j is 3, 10, 136, 32896, 2147516416, ...[?]... (A191363).
The k-th column of the triangle starts in the row whose initial entry is the first prime larger than 2^(k+1) (that sequence of primes is A014210, except for 2).
Observation: at least the first 82 terms coincide with the numbers j with no middle divisors whose largest divisor <= sqrt(j) is a power of 2, or in other words, coincide with the intersection of A071561 and A365406. - Omar E. Pol, Oct 11 2023

			We show portions of the first eight columns, 0 <= k <= 7, of the triangle.
0    1    2     3     4     5     6     7
3
5    10
7    14
11   22   44
13   26   52
17   34   68    136
19   38   76    152
23   46   92    184
29   58   116   232
31   62   124   248
37   74   148   296   592
41   82   164   328   656
43   86   172   344   688
47   94   188   376   752
53   106  212   424   848
59   118  236   472   944
61   122  244   488   976
67   134  268   536   1072  2144
71   142  284   568   1136  2272
.    .    .     .     .     .
.    .    .     .     .     .
127  254  508   1016  2032  4064
131  262  524   1048  2096  4192  8384
137  274  548   1096  2192  4384  8768
.    .    .     .     .     .     .
.    .    .     .     .     .     .
251  502  1004  2008  4016  8032  16064
257  514  1028  2056  4112  8224  16448  32896
263  526  1052  2104  4208  8416  16832  33664
Since 2^(2^4) + 1 = 65537 is the 6543rd prime, column k = 15 starts with 2^15*(2^(2^16) + 1) = 2147516416 in row 6542 with 65537 in column k = 0.
For an image of the symmetric representations of sigma(m) for all values m <= 137 in the triangle see the link.
The first column is the sequence of odd primes, see A065091.
The second column is the sequence of twice the primes starting with 10, see A001747.
The third column is the sequence of four times the primes starting with 44, see A001749.
For related references also see A033676 (largest divisor of n less than or equal to sqrt(n)).

Hartmut F. W. Hoft, Equivalence proof of sequence and triangle
Hartmut F. W. Hoft, Image for sigma(n) values

Cf. A000203, A033676, A071561, A163280, A237270, A237271, A237593, A241008, A241010, A247687, A250068, A250070, A250071, A365406.

(* functions path[] and a237270[ ] are defined in A237270 *)
atmostOneDiagonalsQ[n_]:=SubsetQ[{0, 1}, Union[Flatten[Drop[Drop[path[n], 1], - 1] - path[n - 1], 1]]]
(* data *)
Select[Range[200], Length[a237270[#]]==2 && atmostOneDiagonalsQ[#]&]
(* function for computing triangle in the Example section through row 55 *)
TableForm[Table[2^k Prime[n], {n, 2, 56}, {k, 0, Floor[Log[2, Prime[n]] - 1]}], TableDepth->2]

Formula for the triangle of numbers associated with the sequence:

P(n, k) = 2^k * prime(n) where n >= 2, 0 <= k <= floor(log_2(prime(n)) - 1).

A247687 Numbers m with the property that the symmetric representation of sigma(m) has three parts of width one.

Original entry on oeis.org

9, 25, 49, 50, 98, 121, 169, 242, 289, 338, 361, 484, 529, 578, 676, 722, 841, 961, 1058, 1156, 1369, 1444, 1681, 1682, 1849, 1922, 2116, 2209, 2312, 2738, 2809, 2888, 3362, 3364, 3481, 3698, 3721, 3844, 4232, 4418, 4489, 5041, 5329, 5476, 5618, 6241, 6724, 6728, 6889, 6962, 7396, 7442, 7688, 7921, 8836, 8978, 9409

Offset: 1

Hartmut F. W. Hoft, Sep 22 2014

nonn

The symmetric representation of sigma(m) has 3 regions of width 1 where the two extremal regions each have 2^k - 1 legs and the central region starts with the p-th leg of the associated Dyck path for sigma(m) precisely when m = 2^(k - 1) * p^2 where 2^k < p <= row(m), k >= 1, p >= 3 is prime and row(m) = floor((sqrt(8*m + 1) - 1)/2). Furthermore, the areas of the two outer regions are (2^k - 1)*(p^2 + 1)/2 each so that the area of the central region is (2^k - 1)*p; for a proof see the link.
Since the sequence is defined by a two-parameter expression it can be written naturally as a triangle as shown in the Example section.
A263951 is a subsequence of this sequence containing the squares of all those primes p for which the areas of the 3 regions in the symmetric representation of p^2 (p once and (p^2 + 1)/2 twice) are primes; i.e., p^2 and p^2 + 1 are semiprimes (see A070552). - Hartmut F. W. Hoft, Aug 06 2020

			We show portions of the first eight columns, powers of two 0 <= k <= 7, and 55 rows of the triangle through prime(56) = 263.
p/k     0       1       2       3       4       5       6       7
3       9
5       25      50
7       49      98
11      121     242     484
13      169     338     676
17      289     578     1156    2312
19      361     722     1444    2888
23      529     1058    2116    4232
29      841     1682    3364    6728
31      961     1922    3844    7688
37      1369    2738    5476    10952   21904
41      1681    3362    6724    13448   26896
43      1849    3698    7396    14792   29584
47      2209    4418    8836    17672   35344
53      2809    5618    11236   22472   44944
59      3481    6962    13924   27848   55696
61      3721    7442    14884   29768   59536
67      4489    8978    17956   35912   71824   143648
71      5041    10082   20164   40328   80656   161312
.       .       .       .       .       .       .
.       .       .       .       .       .       .
131     17161   34322   68644   137288  274567  549152  1098304
137     18769   37538   75076   150152  300304  600608  1201216
.       .       .       .       .       .       .       .
.       .       .       .       .       .       .       .
257     66049   132098  264196  528392  1056784 2113568 4227136 8454272
263     69169   138338  276676  553352  1106704 2213408 4426816 8853632
Number 4 is not in this sequence since the symmetric representation of sigma(4) consists of a single region. Column k=0 contains the squares of primes (A001248(n), n>=2), column k=1 contains double the squares of primes (A079704(n), n>=2) and column k=2 contains four times the squares of primes (A069262(n), n>=5).

Hartmut F. W. Hoft, Three regions width one - triangle formula proof

Cf. A000203, A237270, A237271, A237593, A241008, A241010, A246955, A250068, A250070, A250071.

Cf. A070552, A263951.

(* path[n] and a237270[n] are defined in A237270 *)
atmostOneDiagonalsQ[n_] := SubsetQ[{0, 1}, Union[Flatten[Drop[Drop[path[n], 1], -1] - path[n-1], 1]]]
(* data *)
Select[Range[10000], atmostOneDiagonalsQ[#] && Length[a237270[#]]==3 &]
(* expression for the triangle in the Example section *)
TableForm[Table[2^k Prime[n]^2, {n, 2, 57}, {k, 0, Floor[Log[2, Prime[n]] - 1]}], TableDepth -> 2, TableHeadings -> {Map[Prime, Range[2, 57]], Range[0, Floor[Log[2, Prime[57] - 1]]]}]

As an irregular triangle, T(n, k) = 2^k * prime(n)^2 where n >= 2 and 0 <= k <= floor(log_2(prime(n)) - 1).

A241010 Numbers n with the property that the number of parts in the symmetric representation of sigma(n) is odd, and that all parts have width 1.

Original entry on oeis.org

1, 2, 4, 8, 9, 16, 25, 32, 49, 50, 64, 81, 98, 121, 128, 169, 242, 256, 289, 338, 361, 484, 512, 529, 578, 625, 676, 722, 729, 841, 961, 1024, 1058, 1156, 1250, 1369, 1444, 1681, 1682, 1849, 1922, 2048, 2116, 2209, 2312, 2401, 2738, 2809, 2888, 3025, 3249, 3362, 3364, 3481, 3698, 3721, 3844

Offset: 1

Hartmut F. W. Hoft, Aug 07 2014

nonn

The first eight entries in A071562 but not in this sequence are 6, 12, 15, 18, 20, 24, 28 & 30.
The first eight entries in A238443 but not in this sequence are 6, 12, 18, 20, 24, 28, 30 & 36.
The union of A241008 and of this sequence equals A174905 (for a proof see link in A174905).
Let n = 2^m * product(p_i^e_i, i=1,...,k) = 2^m * q with m >= 0, k >= 0, 2 < p_1, ...< p_k primes and e_i >= 1, for all 1 <= i <= k. For each number n in this sequence all e_i are even, and for any two odd divisors f < g of n, 2^(m+1) * f < g. The sum of the areas of the regions r(n, z) equals sigma(n). For a proof of the characterization and the formula see the theorem in the link below.
Numbers 3025 = 5^2 * 11^2 and 510050 = 2^1 * 5^2 * 101^2 are the smallest odd and even numbers, respectively, in the sequence with two distinct odd prime factors.
Among the 706 numbers in the sequence less than 1000000 (see link to the table) there are 143 that have two different odd prime factors, but none with three. All numbers with three different odd prime factors are larger than 500000000. Number 4450891225 = 5^2 * 11^2 * 1213^2 is in the sequence, but may not be the smallest one with three different odd prime factors. Note that 1213 is the first prime that extends the list of divisors of 3025 while preserving the property for numbers in this sequence.
The subsequence of numbers n = 2^(k-1) * p^2 satisfying the constraints above is A247687.
n = 3^(2*h) = 9^h = A001019(h), h>=0, is the smallest number for which the symmetric representation of sigma(n) has 2*h+1 regions of width one, for example for h = 1, 2, 3 and 5, but not for h = 4 in which case 3025 = 5^2 * 11^2 < 3^8 = 6561 is the smallest (see A318843). [Comment corrected by Hartmut F. W. Hoft, Sep 04 2018]
Computations using this characterization are more efficient than those of Dyck paths for the symmetric representations of sigma(n), e.g., the Mathematica code below.

			This irregular triangle presents in each column those elements of the sequence that have the same factor of a power of 2.
  row/col      2^0    2^1   2^2   2^3    2^4    2^5  ...
   2^k:          1      2     4     8     16     32  ...
   3^2:          9
   5^2:         25     50
   7^2:         49     98
   3^4:         81
  11^2:        121    242   484
  13^2:        169    338   676
  17^2:        289    578  1156  2312
  19^2:        361    722  1444  2888
  23^2:        529   1058  2116  4232
   5^4:        625   1250
   3^6:        729
  29^2:        841   1682  3364  6728
  31^2:        961   1922  3844  7688
  37^2:       1369   2738  5476 10952 21904
  41^2:       1681   3362  6724 13448 26896
  43^2:       1849   3698  7396 14792 29584
  47^2:       2209   4418  8836 17672 35344
   7^4:       2401   4802
  53^2:       2809   5618 11236 22472 44944
  5^2*11^2:   3025
  3^2*19^2:   3249
  59^2:       3481   6962 13924 27848 55696
  61^2:       3721   7442 14884 29768 59536
  67^2:       4489   8978 17956 35912 71824 143648
  3^2*23^2:   4761
  71^2:       5041
  ...
  5^2*101^2:225025 510050
  ...
Number 3025 = 5^2 * 11^2 is in the sequence since its divisors are 1, 5, 11, 25, 55, 121, 275, 605 and 3025. Number 6050 = 2^1 * 5^2 * 11^2 is not in the sequence since 2^2 * 5 > 11 while 5 < 11.
Number 510050 = 2^1 * 5^2 * 101^2 is in the sequence since its 9 odd divisors 1, 5, 25, 101, 505, 2525, 10201, 51005 and 225025 are separated by factors larger than 2^2. The areas of its 9 regions are 382539, 76515, 15339, 3939, 1515, 3939, 15339, 76515 and 382539. However, 2^2 * 5^2 * 101^2 is not in the sequence.
The first row is A000079.
The rows, except the first, are indexed by products of even powers of the odd primes satisfying the property, sorted in increasing order.
The first column is a subsequence of A244579.
A row labeled p^(2*h), h>=1 and p>=3 with p = A000040(n), has A098388(n) entries.
Starting with the second column, dividing the entries of a column by 2 creates a proper subsequence of the prior column.
See A259417 for references to other sequences of even powers of odd primes that are subsequences of column 1.
The first entry greater than 16 in column labeled 2^4 is 21904 since 37 is the first prime larger than 2^5. The rightmost entry in the row labeled 19^2 is 2888 in the column labeled 2^3 since 2^4 < 19 < 2^5.

Hartmut F. W. Hoft, Table of n, a(n) for n = 1..563 (values less than 1000000)
Hartmut F. W. Hoft, Proof of characterization theorem
Hartmut F. W. Hoft, Table of n, a(n) for n = 1...706(values less than 1000000)
Hartmut F. W. Hoft, Illustration of the symmetric representation of sigma(a(n)), for n=1..15
Hartmut F. W. Hoft, Proof of property for n and formula for regions of sigma(n)

Cf. A000203, A174905, A236104, A237270 (symmetric representation of sigma(n)), A237271, A237593, A238443, A241008, A071562, A246955, A247687, A250068, A250070, A250071.

Cf. A318843

(* path[n] and a237270[n] are defined in A237270 *)
atmostOneDiagonalsQ[n_] := SubsetQ[{0, 1}, Union[Flatten[Drop[Drop[path[n], 1], -1] - path[n-1], 1]]]
Select[Range[1000], atmostOneDiagonalsQ[#] && OddQ[Length[a237270[#]]]&] (* data *)
(* more efficient code based on numeric characterization *)
divisorPairsQ[m_, q_] := Module[{d = Divisors[q]}, Select[2^(m + 1)*Most[d] - Rest[d], # >= 0 &] == {}]
a241010AltQ[n_] := Module[{m, q, p, e}, m=IntegerExponent[n, 2]; q=n/2^m; {p, e} = Transpose[FactorInteger[q]]; q==1||(Select[e, EvenQ]==e && divisorPairsQ[m, q])]
a241010Alt[m_,n_] := Select[Range[m, n], a241010AltQ]
a241010Alt[1,4000] (* data *)

Formula for the z-th region in the symmetric representation of n = 2^m * q in this sequence, 1 <= z <= sigma_0(q) and q odd: r(n, z) = 1/2 * (2^(m+1) - 1) * (d_z + d_(2*x+2-z)) where 1 = d_1 < ... < d_(2*x+1) = q are the odd divisors of n.

More terms and further edited by Hartmut F. W. Hoft, Jun 26 2015 and Jul 02 2015 and corrected Oct 11 2015

A262611 Triangle read by rows in which row n lists the widths of the symmetric representation of A024916(n): the sum of all divisors of all positive integers <= n.

Original entry on oeis.org

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

Offset: 1

Omar E. Pol, Sep 26 2015

Here T(n,k) is defined to be the "k-th width" of the symmetric representation of A024916(n), with n>=1 and 1<=k<=2n-1.
If both A249351 and this sequence are written as isosceles triangles then the partial sums of the columns of A249351 give the columns of this isosceles triangle (see the second triangle in Example section).
For the definition of the k-th width of the symmetric representation of sigma(n) see A249351.
Note that for the geometric representation of the n-th row of the triangle we need the x-axis, the y-axis, and only a Dyck path which is given by the elements of the n-th row of the triangle A237593.
Row n has length 2*n-1.
Row sums give A024916.
The middle diagonal is A240542.

			Triangle begins:
1;
1,2,1;
1,2,2,2,1;
1,2,3,3,3,2,1;
1,2,3,3,3,3,3,2,1;
1,2,3,4,4,5,4,4,3,2,1;
1,2,3,4,4,4,5,4,4,4,3,2,1;
1,2,3,4,5,5,5,6,5,5,5,4,3,2,1;
1,2,3,4,5,5,5,6,7,6,5,5,5,4,3,2,1;
1,2,3,4,5,6,6,6,7,7,7,6,6,6,5,4,3,2,1;
1,2,3,4,5,6,6,6,6,7,7,7,6,6,6,6,5,4,3,2,1;
1,2,3,4,5,6,7,7,7,8,9,9,9,8,7,7,7,6,5,4,3,2,1;
...
--------------------------------------------------------------------------
.        Written as an isosceles triangle
.              the sequence begins:               Diagram for n = 1..12
--------------------------------------------------------------------------
.                                                _ _ _ _ _ _ _ _ _ _ _ _
.                      1;                       |_| | | | | | | | | | | |
.                    1,2,1;                     |_ _|_| | | | | | | | | |
.                  1,2,2,2,1;                   |_ _|  _|_| | | | | | | |
.                1,2,3,3,3,2,1;                 |_ _ _|    _|_| | | | | |
.              1,2,3,3,3,3,3,2,1;               |_ _ _|  _|  _ _|_| | | |
.            1,2,3,4,4,5,4,4,3,2,1;             |_ _ _ _|  _| |  _ _|_| |
.          1,2,3,4,4,4,5,4,4,4,3,2,1;           |_ _ _ _| |_ _|_|    _ _|
.        1,2,3,4,5,5,5,6,5,5,5,4,3,2,1;         |_ _ _ _ _|  _|     |
.      1,2,3,4,5,5,5,6,7,6,5,5,5,4,3,2,1;       |_ _ _ _ _| |      _|
.    1,2,3,4,5,6,6,6,7,7,7,6,6,6,5,4,3,2,1;     |_ _ _ _ _ _|  _ _|
.  1,2,3,4,5,6,6,6,6,7,7,7,6,6,6,6,5,4,3,2,1;   |_ _ _ _ _ _| |
.1,2,3,4,5,6,7,7,7,8,9,9,9,8,7,7,7,6,5,4,3,2,1; |_ _ _ _ _ _ _|
...
For n = 3 the symmetric representation of A024916(3) = 8 in the 4th quadrant looks like this:
.
.    Polygon         Cells
.     _ _ _          _ _ _
.    |     |        |_|_|_|
.    |    _|        |_|_|_|
.    |_ _|          |_|_|
.
There are eight cells. The representation of the widths looks like this:
.
.     \ \ \
.     \ \ \
.     \ \    1
.          2 2
.        1 2
.
So the third row of the triangle is [1, 2, 2, 2, 1].

Cf. A024916, A236104, A237048, A237593, A240542, A241008, A241010, A244250, A245685, A246955, A247687, A249351, A250068, A250070, A250071, A253258, A262626.

A367377 Square array T(n, k), n >= 1, k >= 1, read by antidiagonals, of the least numbers whose symmetric representation of sigma instantiate the unimodal width pattern 1, 2, ..., n, ..., 2, 1 repeated k times separated by instances of width 0.

Original entry on oeis.org

1, 6, 3, 72, 78, 9, 120, 10728, 1014, 21, 5184, 28920, 1598472, 12246, 81, 1440, 53752896, 6969720, 230297976, 171366, 147, 373248, 4157280

Offset: 1

Hartmut F. W. Hoft, Nov 15 2023

The numbers T(n, 1) instantiating a single unimodal pattern of width n form A250071(n). This first column is not increasing since T(5, 1) = 5184 > 1440 = T(6, 1).
The numbers T(1, k) instantiating the repeating unimodal patterns 1, 1, 0, 1, ..., 1, 0, 1, 0, ..., 0, 1, 0, 1, ... of width 1 form A318843(k). This first row is not increasing since T(1, 11) = 59049 > 29095 = T(1, 12).
The rows in the table are infinite since the numbers T(n, 1) * p^(k-1) >= T(n, k), with p the smallest prime greater than 2 * T(n, 1), instantiate the width pattern for T(n, k), though equality need not hold, as T(1, 4) = 21 = 3 * 7 < 1 * 3^3 = 27 demonstrates.
Conjecture 1: None of the rows and columns are increasing.
Conjecture 2: T(n, p) = T(n, 1) * A151800(2*T(n, 1))^(p-1) for n >= 1 and primes p.
Conjecture 3: T(p, q), p and q primes, is a record for its upper left hand rectangle in the table. Only one prime number index generally is not sufficient as the inequality 4157280 = T(6, 2) < 5 * 10^6 < T(5, 2) shows.

			The corner of the table begins:
  --------------------------------------------------------------------
     Pattern   |   once    twice  3 times   4 times  5 times  6 times
  --------------------------------------------------------------------
        1      |      1        3        9        21       81      147
       121     |      6       78     1014     12246   171366  1922622
      12321    |     72    10728  1598472 230297976
     1234321   |    120    28920  6969720
    123454321  |   5184 53752896
   12345654321 |   1440  4157280
  1234567654321| 373248
  ...
T(3, 4) must have 12 odd divisors and as least number must have 2^3 * 3^2 as a factor in order to create the initial width pattern 1 2 3 2 1 0. Therefore, since the next smallest prime larger than 16 * 9 is 149, T(3, 4) is 2^3 * 3^2 * 149^3 or 2^3 * 3^2 * 149 * p for suitable prime p which leads to p = 21467 < 22201 = 149^2.
All other numbers in the table were found by exhaustive computations.

Cf. A235791, A237048, A237270, A237591, A237593, A249223, A250071, A262045, A318843, A341969, A342592, A342594, A342595, A342596.

t249223[n_] := FoldList[#1+(-1)^(#2+1)KroneckerDelta[Mod[n-#2 (#2+1)/2, #2]]&, 1, Range[2, Floor[(Sqrt[8n+1]-1)/2]]] (* row n in triangle of A249223 *)
t262045[n_] := Join[t249223[n], Reverse[t249223[n]]] (* row n in triangle of A262045 *)
widthPattern[n_] := Map[First, Split[t262045[n]]]
umw[n_, k_] := Most[Flatten[Table[Join[Range[n], Range[n-1, 0, -1]], k]]]
a367377[{n_, k_}, b_] := NestWhile[#+1&, 1, #

A253258 Square array read by antidiagonals, j>=1, k>=1: T(j,k) is the j-th number n such that the symmetric representation of sigma(n) has at least a part with maximum width k.

Original entry on oeis.org

1, 2, 6, 3, 12, 60, 4, 15, 72, 120, 5, 18, 84, 180, 360, 7, 20, 90, 240, 420, 840, 8, 24, 126, 252, 720, 1080, 3360, 9, 28, 140, 336, 1008, 1260, 3600, 2520, 10, 30, 144, 378, 1200, 1440, 3780, 5544, 5040, 11, 35, 168, 432, 1320, 1680, 3960, 6300, 7560, 10080, 13, 36, 198, 480, 1512, 1800, 4200, 6720, 9240, 12600, 15120

Offset: 1

Omar E. Pol, Jul 08 2015

This is a permutation of the natural numbers.
Row 1 gives A250070.
For more information about the widths of the symmetric representation of sigma see A249351 and A250068.
The next term: 120 < T(2,4) < 360.
From Hartmut F. W. Hoft, Sep 20 2024: (Start)
Column T(j,1), j>=1, forms A174905 and is a permutation of A357581. Numbers T(j,k), j>=1 and k>1, form A005279. Conjecture: Every column of the square array contains odd numbers.
The sequence of smallest odd numbers in each column forms A347980. E.g., in column 12 the smallest odd number is T(466, 12) = 765765 = A347980(12) which is equivalent to A250068(765765) = 12. (End)

			The corner of the square array T(j,k) begins:
  1,  6, 60, 120, 360, ...
  2, 12, 72, ...
  3, 15, 84, ...
  4, 18, ...
  5, 20, ...
  7, ...
  ...
For j = 1 and k = 2; T(1,2) is the first number n such that the symmetric representation of sigma(n) has a part with maximum width 2 as shown below:
.
      Dyck paths            Cells              Widths
      _ _ _ _             _ _ _ _
      _ _ _  |_          |_|_|_|_|_          / / / /
           |   |_              |_|_|_              / /
           |_ _  |             |_|_|_|             / / /
               | |                 |_|                 /
               | |                 |_|                 /
               | |                 |_|                 /
.
The widths of the symmetric representation of sigma(6) = 12 are [1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1], also the 6th row of triangle A249351.
From _Hartmut F. W. Hoft_, Sep 20 2024: (Start)
Extending the terms T(j,k) to a 12x12 square array:
j\k 1  2  3   4   5    6    7    8     9     10    11    12
--------------------------------------------------------------
1 | 1  6  60  120 360  840  3360 2520  5040  10080 15120 32760
2 | 2  12 72  180 420  1080 3600 5544  7560  12600 20160 36960
3 | 3  15 84  240 720  1260 3780 6300  9240  13860 25200 39600
4 | 4  18 90  252 1008 1440 3960 6720  10920 15840 35280 41580
5 | 5  20 126 336 1200 1680 4200 6930  11880 16380 40320 43680
6 | 7  24 140 378 1320 1800 4320 7140  14040 16800 42840 45360
7 | 8  28 144 432 1512 1980 4620 7920  16632 18480 46800 46200
8 | 9  30 168 480 1560 2016 4680 8190  17160 18900 47880 47520
9 | 10 35 198 504 1848 2100 5280 8400  17640 21420 56160 49140
10| 11 36 210 540 1890 2160 5400 9360  18720 21840 56700 51480
11| 13 40 216 594 2184 2340 5460 10296 19800 22680 57120 52920
12| 14 42 264 600 2310 2640 5940 10800 20790 23760 57960 54600
...
(End)

Hartmut F. W. Hoft, Table of n, a(n) for n = 1..820
Index entries for sequences that are permutations of the natural numbers

Cf. A000203, A196020, A235791, A236104, A237048, A237270, A237271, A237591, A237593, A245092, A249351, A250068, A250070, A250071.

Cf. A005279, A174905, A347980, A357581.

(* Computing table T(j,k) of size mxn with bound b *)
eP[n_] := If[EvenQ[n], FactorInteger[n][[1, 2]], 0]+1
sDiv[n_] := Module[{d=Select[Divisors[n], OddQ]}, Select[Union[d, d*2^eP[n]], #<=row[n]&]]
mWidth[n_] :=Max[FoldList[#1+If[OddQ[#2], 1, -1]&, sDiv[n]]]
t253258[{m_, n_}, b_] := Module[{s=Table[0, {i, m+1}, {j, n}], k=1, w, f}, While[k<=b, w=mWidth[k]; If[w<=n, f=s[[m+1, w]]; If[fHartmut F. W. Hoft, Sep 20 2024 *)

More terms from Charlie Neder, Jan 11 2019

cp's OEIS Frontend

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

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

A250068 Maximum width of any region in the symmetric representation of sigma(n).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A250070 Smallest number k such that the symmetric representation of sigma(k) has at least one part of width n.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

Extensions

A053624 Highly composite odd numbers: odd numbers where d(n) increases to a record.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

A246955 Numbers j for which the symmetric representation of sigma(j) has two parts, each of width one.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

A247687 Numbers m with the property that the symmetric representation of sigma(m) has three parts of width one.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

A241010 Numbers n with the property that the number of parts in the symmetric representation of sigma(n) is odd, and that all parts have width 1.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

Extensions