A238443 -id:A238443 - cp's OEIS frontend

A249223 Triangle read by rows: row n gives partial alternating sums of row n of A237048.

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

Offset: 1

Hartmut F. W. Hoft, Oct 23 2014

All entries in the triangle are nonnegative since the number of 1's in odd-numbered columns of A237048 prior to column j, 1 <= j <= row(n), is at least as large as the number of 1's in even-numbered columns through column j. As a consequence:
(a) The two adjacent symmetric Dyck paths whose legs are defined by adjacent rows of triangle A237593 never cross each other (see also A235791 and A237591) and the rows in this triangle describe the widths between the legs.
(b) Let legs(n) denote the n-th row of triangle A237591, widths(n) the n-th row of this triangle, and c(n) the rightmost entry in the n-th row of this triangle (center of the Dyck path). Then area(n) = 2 * legs(n) . width(n) - c(n), where "." is the inner product, is the area between the two adjacent symmetric Dyck paths.
(c) For certain sequences of integers, it is known that area(n) = sigma(n); see A238443, A245685, A246955, A246956 and A247687.
Right border gives A067742. - Omar E. Pol, Jan 21 2017
For a proof that T(n, k) = |{ d : d|n and k/2 < d <= k }|, for 1 <= k <= row(n), where row(n) is the length of row n, an identity suggested by Peter Munn, see the link. A corollary to it is that the number of divisors of n in the half-open interval (row(n)/2, row(n)] equals the width of the symmetric representation of n at the diagonal: T(n, row(n)) = | { d : d|n and row(n)/2 < d <= row(n) } |. See also the comments and conjectures of Michel Marcus in A067742 and A237593. - Hartmut F. W. Hoft, Jun 24 2024
From Omar E. Pol, Jul 24 2024: (Start)
Conjecture 1: Every column is a periodic sequence.
Conjecture 2: The periods of the columns 1..8 are respectively: 1, 2, 6, 12, 60, 60, 420, 840.
Question 1: Is the period of the column k equal to A003418(k)? (End).
From Omar E. Pol, Jul 26 2024: (Start)
Column 1 gives A000012.
Column 2 gives A000035.
Conjecture 3: Column 3 gives [2, 0] together with A115357, hence column 3 gives 2 together with A171182.
Question 2: Except the first nine terms of A337976, is the column 4 the same as A337976?
Question 3: Except the first 14 terms of A366981, is the column 5 the same as A366981? (End)
From Hartmut F. W. Hoft, Aug 01 2024: (Start)
Conjectures 1 and 2 are true and the answer to question 1 is affirmative.
By definition, each column k in triangle T237048(n, k) of sequence A237048 is a periodic sequence of period k. Since the k-th term in row n of the triangle T(n, k) = Sum_{i=1..k} (-1)^(i+1) * T237048(n, i), with 1 <= k <= A003056(n), each initial subsequence T(n, 1) .. T(n, k) of row n in this triangle is periodic of period lcm(1, .. , k) = A003418(k). This implies that each column k in this sequence has period A003418(k).
Conjecture 3 and Question 2 are true. Since T237048(n, 1) = 1, T237208(n, 2) = 1 if n odd and 0 if n even, T237048(n, 3) = 1 if 3|n and 0 otherwise, and T237048(n, 4) = 1 if 4|(n-2) and 0 otherwise, equations T249223(n, 3) = 1 - (n mod 2) + delta( n mod 3) and T249223(n, 4) = 1 - (n mod 2) + delta( n mod 3) - delta( (n-2) mod 4) hold where delta(k) = 1 if k = 0 and 0 otherwise. With the 3rd column starting at n = A000217(3) = 6, each period starting in a row that is a multiple of 6 is [ 2 0 1 1 1 0 ], and appropriate shifts yield A115357 and A171182. With the 4th column starting at n = A000217(4) = 10, each period starting in a row n with 12|(n+2) is [ 0 0 2 0 0 1 1 0 1 0 1 1 ], and with a shift of 9 yields the apparently periodic A337976(10), A337976(11), ... (End)

			Triangle begins:
---------------------------
   n \ k  1  2  3  4  5  6
---------------------------
   1 |    1;
   2 |    1;
   3 |    1, 0;
   4 |    1, 1;
   5 |    1, 0;
   6 |    1, 1, 2;
   7 |    1, 0, 0;
   8 |    1, 1, 1;
   9 |    1, 0, 1;
  10 |    1, 1, 1, 0;
  11 |    1, 0, 0, 0;
  12 |    1, 1, 2, 2;
  13 |    1, 0, 0, 0;
  14 |    1, 1, 1, 0;
  15 |    1, 0, 1, 1, 2;
  16 |    1, 1, 1, 1, 1;
  17 |    1, 0, 0, 0, 0;
  18 |    1, 1, 2, 1, 1;
  19 |    1, 0, 0, 0, 0;
  20 |    1, 1, 1, 1, 2;
  21 |    1, 0, 1, 1, 1, 0;
  22 |    1, 1, 1, 0, 0, 0;
  23 |    1, 0, 0, 0, 0, 0;
  24 |    1, 1, 2, 2, 2, 2;
  ...
The triangle shows that area(n) has width 1 for powers of 2 and that area(p) for primes p consists of only 1 horizontal leg of width 1 (and its symmetric vertical leg in the mirror symmetric duplicate of this triangle).

G. C. Greubel, Table of n, a(n) for the first 150 rows, flattened
Hartmut F. W. Hoft, Divisors d of n in half open interval (k/2, k]

Row n has length A003056(n).
Column k starts in row A000217(k).
Cf. A000012, A000035, A000203, A003418, A067742, A115357, A171182, A237048, A237270, A237271, A237593, A238443, A245685, A246955, A246956, A247687, A337976, A366981.

r := proc(n) floor((sqrt(1+8*n)-1)/2) ; end proc: # R. J. Mathar 2015 A003056
A237048:=proc(n,k) local i; global r;
if n<(k-1)*k/2 or k>r(n) then return(0); fi;
if (k mod 2)=1 and (n mod k)=0 then return(1); fi;
if (k mod 2)=0 and ((n-k/2) mod k) = 0 then return(1); fi;
return(0);
end;
A249223:=proc(n,k) local i; global r,A237048;
if n<(k-1)*k/2 or k>r(n) then return(0); fi;
add( (-1)^(i+1)*A237048(n,i),i=1..k);
end;
for n from 1 to 12 do lprint([seq(A249223(n,k),k=1..r(n))]); od; # N. J. A. Sloane, Jan 15 2021

cd[n_, k_] := If[Divisible[n, k], 1, 0]; row[n_] := Floor[(Sqrt[8 n + 1] - 1)/2]; a237048[n_, k_] := If[OddQ[k], cd[n, k], cd[n - k/2, k]];
a1[n_, k_] := Sum[(-1)^(j + 1)*a237048[n, j], {j, 1, k}];
a2[n_] := Drop[FoldList[Plus, 0, Map[(-1)^(# + 1) &, Range[row[n]]] a237048[n]], 1]; Flatten[Map[a2, Range[24]]] (* data *) (* Corrected by G. C. Greubel, Apr 16 2017 *)

t237048(n,k) = if (k % 2, (n % k) == 0, ((n - k/2) % k) == 0);
kmax(n) = (sqrt(1+8*n)-1)/2;
t(n,k) = sum(j=1, k, (-1)^(j+1)*t237048(n,j));
tabf(nn) = {for (n=1, nn, for (k=1, kmax(n), print1(t(n,k), ", ");); print(););} \\ Michel Marcus, Sep 20 2015

T(n, k) = Sum_{j=1..k} (-1)^(j+1)*A237048(n, j), for n>=1 and 1 <= k <= floor((sqrt(8*n + 1) - 1)/2). - corrected by Hartmut F. W. Hoft, Jan 25 2018

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

Original entry on oeis.org

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 *)

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

A239663 a(n) is the smallest number k such that the symmetric representation of sigma(k) has n parts.

Original entry on oeis.org

1, 3, 9, 21, 63, 147, 357, 903, 2499, 6069, 13915, 29095, 59455, 142945, 320045, 643885, 1367465, 3287735, 6779135, 13853015, 30262595, 61773745

Offset: 1

Omar E. Pol, Mar 23 2014

Conjecture 1: where records occur in A237271. - Omar E. Pol, Dec 27 2016
For more information about the symmetric representation of sigma see A237270, A237593.
This sequence of (first occurrence of) parts appears to be strictly increasing in contrast to sequence A250070 of (first occurrence of) maximum widths. - Hartmut F. W. Hoft, Dec 09 2014
Conjecture 2: all terms are odd numbers. - Omar E. Pol, Oct 14 2018
Proof of Conjecture 2: Let n = 2^m * q with m>0 and q odd; then the 1's in even positions of row n in the triangle of A237048 are at positions 2^(m+1) * d <= row(n) where d divides q. For n/2 the even positions of 1's occur at the smaller values 2^m * d <= row(n/2), thus either keeping or reducing widths (A249223) of parts in the symmetric representation of sigma for n/2 inherited from row n. Therefore the number of parts for n is at most as large as for n/2, i.e., all numbers in this sequence are odd. - Hartmut F. W. Hoft, Sep 22 2021
Observation: at least for n = 1..21 we have that 2*a(n) < a(n+1). - Omar E. Pol, Sep 22 2021
From Omar E. Pol, Jul 28 2025: (Start)
Conjecture 3: a(n) is the smallest number k having n 2-dense sublists of divisors of k.
The 2-dense sublists of divisors of k are the maximal sublists whose terms increase by a factor of at most 2.
In a sublist of divisors of k the terms are in increasing order and two adjacent terms are the same two adjacent terms in the list of divisors of k.
An example of the conjecture 3 for n = 1..5 is as shown below:
  ----------------------------------------------------
  |    |  List of divisors of k         |     |      |
  |  k |  [with sublists in brackets]   |  n  | a(n) |
  ----------------------------------------------------
  |  1 |  [1];                          |  1  |   1  |
  |  3 |  [1], [3];                     |  2  |   3  |
  |  9 |  [1], [3], [9];                |  3  |   9  |
  | 21 |  [1], [3], [7], [21];          |  4  |  21  |
  | 63 |  [1], [3], [7, 9], [21], [63]; |  5  |  63  |
(End)
Conjecture 4: a(n) is the smallest number k having n divisors p of k such that p is greater than twice the adjacent previous divisor of k. - Omar E. Pol, Aug 05 2025

			------------------------------------------------------
n       a(n)     A239665                  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
...
For n = 3 the symmetric representation of sigma(9) = 13 contains three parts [5, 3, 5] as shown below:
.
.     _ _ _ _ _ 5
.    |_ _ _ _ _|
.              |_ _ 3
.              |_  |
.                |_|_ _ 5
.                    | |
.                    | |
.                    | |
.                    | |
.                    |_|
.

Hartmut F. W. Hoft, Procedural implementation for extension values
Omar E. Pol, Perspective view of the stepped pyramid (16 levels)

Row 1 of A240062.
Cf. A000203, A196020, A236104, A235791, A237048, A237270, A237271, A237591, A237593, A238443, A239657, A239660, A239665, A239931-A239934, A245092, A262626, A266094.
Cf. A249223, A250070, A262045, A320521, A341969, A341970, A341971, A347980.
Cf. A174973 (2-dense numbers), A384149, A384222, A384225, A384226.

(* a239663[] permits computation in intervals *)
(* Function a237270[] is defined in A237270 *)
(* variable "list" contains the first occurrences up to m *)
a239663[list_,{m_, n_}]:=Module[{firsts=list, g=Length[list], i, p}, For[i=m, i<=n, i++, p=Length[a237270[i]]; If[p>g, AppendTo[firsts, i]; g=p]]; firsts]
a239663[{1}, {1, 1000}] (* computes the first 8 values *)
(* Hartmut F. W. Hoft, Jul 08 2014 *)
(* support functions are defined in A341969, A341970 & A341971 *)
a239663[n_, len_] := Module[{list=Table[0, len], i, v}, For[i=1, i<=n, i+=2, v=Count[a341969[i], 0]+1;If[list[[v]]==0, list[[v]]=i]]; list]
a239663[62000000,22] (* Hartmut F. W. Hoft, Sep 22 2021 *)

a(6)-a(8) from Michel Marcus, Mar 28 2014
a(9) from Michel Marcus, Mar 29 2014
a(10)-a(11) from Michel Marcus, Apr 02 2014
a(12) from Hartmut F. W. Hoft, Jul 08 2014
a(13)-a(18) from Hartmut F. W. Hoft, Dec 09 2014
a(19)-a(22) from Hartmut F. W. Hoft, Sep 22 2021

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

Original entry on oeis.org

3, 5, 7, 10, 11, 13, 14, 17, 19, 21, 22, 23, 26, 27, 29, 31, 33, 34, 37, 38, 39, 41, 43, 44, 46, 47, 51, 52, 53, 55, 57, 58, 59, 61, 62, 65, 67, 68, 69, 71, 73, 74, 76, 79, 82, 83, 85, 86, 87, 89, 92, 93, 94, 95, 97

Offset: 1

Hartmut F. W. Hoft, Aug 07 2014

The first eight entries in A071561 but not in this sequence are 75, 78, 102, 105, 114, 138, 174 & 175.
The first eight entries in A239929 but not in this sequence are 21, 27, 33, 39, 51, 55, 57 & 65.
The union of this sequence and A241010 equals A174905 (see link in A174905 for a proof). Updated by Hartmut F. W. Hoft, Jul 02 2015
Let n = 2^m * Product_{i=1..k} p_i^e_i = 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 k > 0, at least one e_i is odd, and for any two odd divisors f < g of n, 2^(m+1) * f < g. Let the odd divisors of n be 1 = d_1 < ... < d_2x = q where 2x = sigma_0(q). The z-th region of the symmetric spectrum of n has area a_z = 1/2 * (2^(m+1) - 1) *(d_z + d_(2x+1-z)), for 1 <= z <= 2x. Therefore, the sum of the area of the regions equals sigma(n). For a proof see Theorem 6 in the link of A071561. - Hartmut F. W. Hoft, Sep 09 2015, Sep 04 2018
First differs from A071561 at a(43). - Omar E. Pol, Oct 06 2018

Hartmut F. W. Hoft, Image for sigma(n) values

Cf. A000203, A071561, A071562, A174905, A236104, A237270, A237271, A237593, A238443, A241010, A246955.

(* 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[100], atmostOneDiagonalsQ[#] && EvenQ[Length[a237270[#]]]&] (* data *)

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

A280107 Numbers m with the property that the symmetric representation of sigma(m) has four parts.

Original entry on oeis.org

21, 27, 33, 39, 51, 55, 57, 65, 69, 75, 85, 87, 93, 95, 105, 111, 115, 119, 123, 125, 129, 133, 141, 145, 155, 159, 161, 175, 177, 183, 185, 201, 203, 205, 213, 215, 217, 219, 230, 235, 237, 245, 249, 250, 253, 259, 265, 267, 287, 290, 291, 295, 301, 303, 305, 309, 310, 319, 321, 327, 329

Offset: 1

Omar E. Pol, Dec 27 2016

nonn

From Hartmut F. W. Hoft, Jan 27 2018: (Start)
Let n = 2^k * t where k >= 0 and t is odd, and let D be the set of divisors of t less than r(n) = floor((sqrt(8*n+1) - 1)/2). The following statements are equivalent:
(1)  There is exactly one d in D such that 2^(k+1) * d < e where e in D is the next odd divisor larger than d, and the largest divisor f in D satisfies 2^(k+1) * f <= r(n).
(2)  The symmetric representation of sigma(n) consists of four parts.
The property says that the first part of the symmetric representation of n consists of the first 2^(k+1) * d - 1 legs and that the second part starts with leg e and ends with leg 2^(k+1) * f - 1 before or at the middle of the Dyck path (see A237048 and A249223) on the diagonal. Together with their symmetric pair they form the four parts. (End)

			a(1) = 21 because it is the smallest number n whose symmetric representation of sigma(n) has four parts. Note that the sum of the parts is 11 + 5 + 5 + 11 = 32, equaling the sum of the divisors of 21: aigma(21) = 1 + 3 + 7 + 21 = 32.
From _Hartmut F. W. Hoft_, Jan 27 2018: (Start)
230 = 2*5*23 is the first even number since 2^2 < 5, 2^2 * 5 < 23, and row 230 in A237048 has 20 entries with 1's in positions 1, 4, 5, and 20.
Prime number 3 can be a factor for an even number in this sequence as 12246=2*3*13*157 demonstrates with the four parts 12252, 1020, 1020, and 12252 in the symmetric representation of sigma(12246) defined by 1's in positions 1, 3, 4, 12, 13, 39, 52, 156 in row 12246 of A237048; each of the four parts has maximum width 2 and the two central parts meet on the diagonal at 8492. (End)

Column 4 of A240062.
First differs from A264102 at a(10).
Numbers n such that the symmetric representation of sigma(n) has k parts (k = 1..4): A174973 = A238443, A239929, A279102, this sequence.
Cf. A237270, A237271 (number of parts), A237591, A237593, A239665, A245092, A262626.
Cf. A237048, A249223. - Hartmut F. W. Hoft, Jan 27 2018

(* Function a237270[] is defined in A237270 *)
a280107[m_, n_] := Select[Range[m, n], Length[a237270[#]]==4&]
a280107[1, 329] (* data *)
(* Implementation of the property in the Comment section *)
evenPart[n_] := Module[{f=First[FactorInteger[n]]}, If[First[f]!=2, 1, First[f]^Last[f]]]
fourPartsQ[n_] := Module[{e=evenPart[n], oddPart, r=(Sqrt[8*n + 1] - 1)/2, dL}, oddPart=n/evenPart[n]; dL=Select[Divisors[oddPart], #1, 2*e*Last[dL]<=r && Length[Select[2*e*Most[dL]-Rest[dL], #<0&]]==1, False]];
Select[Range[329], fourPartsQ] (* data *)
(* Hartmut F. W. Hoft, Jan 27 2018 *)

A357581 Square array read by antidiagonals of numbers whose symmetric representation of sigma consists only of parts that have width 1; column k indicates the number of parts and row n indicates the n-th number in increasing order in each of the columns.

Original entry on oeis.org

1, 2, 3, 4, 5, 9, 8, 7, 25, 21, 16, 10, 49, 27, 81, 32, 11, 50, 33, 625, 147, 64, 13, 98, 39, 1250, 171, 729, 128, 14, 121, 51, 2401, 207, 15625, 903, 256, 17, 169, 55, 4802, 243, 31250, 987, 3025, 512, 19, 242, 57, 14641, 261, 117649, 1029, 3249, 6875

Offset: 1

Hartmut F. W. Hoft, Oct 04 2022

This sequence is a permutation of A174905. Numbers in the even numbered columns of the table form A241008 and those in the odd numbered columns form A241010. The first row of the table is A318843.

This sequence is a subsequence of A240062 and each column in this sequence is a subsequence in the respective column of A240062.

			The upper left hand 11 X 11 section of the table for a(n) <= 2*10^7:
     1   2    3   4      5    6         7     8      9     10        11 ...
  ----------------------------------------------------------------------
     1   3    9  21     81  147       729   903   3025   6875     59049
     2   5   25  27    625  171     15625   987   3249   7203   9765625
     4   7   49  33   1250  207     31250  1029   4761  13203  19531250
     8  10   50  39   2401  243    117649  1113   6561  13527       ...
    16  11   98  51   4802  261    235298  1239   7569  14013       ...
    32  13  121  55  14641  275   1771561  1265   8649  14499       ...
    64  14  169  57  28561  279   3543122  1281  12321  14661       ...
   128  17  242  65  29282  333   4826809  1375  14161  15471       ...
   256  19  289  69  57122  363   7086244  1407  15129  15633       ...
   512  22  338  85  58564  369   9653618  1491  16641  15957       ...
  1024  23  361  87  83521  387  19307236  1533  17689  16119       ...
  ...
Each column k > 1 contains odd and even numbers since, e.g., 5^(k-1) and 2 * 5^(k-1) belong to it.
Column 1: A000079, subsequence of A174973 = A238443, and of column 1 in A240062.
Column 2: A246955, subsequence of A239929; 78 is the smallest number not in A246955.
Column 3: A247687, subsequence of A279102; 15 is the smallest number not in A247687.
  Odd numbers in column 3: A001248(k), k > 1.
Column 4: A264102, subsequence of A280107; 75 is the smallest number not in A264102.
Column 5: subsequence of A320066; 63 = A320066(1) is not in column 5.
  Numbers in column 5 have the form 2^k * p^4 with p > 2 prime and 0 <= k < floor(log_2(p)).
  Odd numbers in column 5: A030514(k), k > 1.
Column 6: subsequence of A320511; 189 is the smallest number not in column 6.
  Smallest even number in column 6 is 5050.
Column 7: Numbers have the form 2^k * p^6 with p > 2 prime and 0 <= k < floor(log_2(p)).
  Odd numbers in column 7: A030516(k), k > 1.
Numbers in the column numbered with the n-th prime p_n have the form: 2^k * p^(p_n - 1) with p > 2 prime and 0 <= k < floor(log_2(p_n)).

Cf. A000079, A001248, A030514, A030516, A174905, A174973, A237593, A238443, A239929, A241008, A241010, A246955, A247687, A264102, A279102, A280107, A318843, A320066, A320511, A341969, A341970, A341971.

(* function a341969 and support functions are defined in A341969, A341970 and A341971 *)
width1Table[n_, {r_, c_}] := Module[{k, list=Table[{}, c], wL, wLen, pCount, colLen}, For[k=1, k<=n, k++, wL=a341969[k]; wLen=Length[wL]; pCount=(wLen+1)/2; If[pCount<=c&&Length[list[[pCount]]]=1, j--, vec[[PolygonalNumber[i+j-2]+j]]=arr[[i, j]]]]; vec]
a357581T[n_, r_] := TableForm[width1Table[n, {r, r}]]
a357581[120000, 10] (* sequence data - first 10 antidiagonals *)
a357581T[120000, 10] (* upper left hand 10x10 array *)
a357581T[20000000, 11] (* 11x11 array - very long computation time *)

A347980 a(n) is the smallest odd number k whose symmetric representation of sigma(k) has maximum width n.

Original entry on oeis.org

1, 15, 315, 2145, 3465, 17325, 45045, 51975, 225225, 405405, 315315, 765765, 1576575, 2297295

Offset: 1

Hartmut F. W. Hoft, Sep 22 2021

The sequence is not increasing with the maximum width of the symmetric representation just like A347979.

Observation: a(2)..a(14) ending in 5. - Omar E. Pol, Sep 23 2021

			The pattern of maximum widths of the parts in the symmetric representation of sigma for the first four terms in the sequence is:
   a(n) parts  successive widths
     1:   1          1
    15:   3        1 2 1
   315:   3        1 3 1
  2145:   7    1 2 3 4 3 2 1

Cf. A174973, A237048, A237270, A237271, A237591, A237593, A238443, A249351 (widths), A250070, A262045, A341969, A341970, A341971, A347979.

a262045[n_] := Module[{a=Accumulate[Map[If[Mod[n - # (#+1)/2, #]==0, (-1)^(#+1), 0] &, Range[Floor[(Sqrt[8n+1]-1)/2]]]]}, Join[a, Reverse[a]]]
a347980[n_, mw_] := Module[{list=Table[0, mw], i, v}, For[i=1, i<=n, i+=2, v=Max[a262045[i]]; If [list[[v]]==0, list[[v]]=i]]; list]
a347980[2500000,14] (* long evaluation time *)

A348705 a(n) is the total length of all line segments in the symmetric representation of sigma(n).

Original entry on oeis.org

4, 8, 12, 16, 18, 24, 24, 32, 34, 40, 36, 48, 42, 54, 56, 64, 54, 72, 60, 80, 78, 82, 72, 96, 84, 96, 98, 112, 90, 120, 96, 128

Offset: 1

Omar E. Pol, Oct 30 2021

a(n) is also the number of toothpicks of length 1 needed to represent the symmetric representation of sigma(n) (see the examples).
The diagram is symmetric thus all terms are even.
If the symmetric representation of sigma(n) has only one part (cf. A174973) or if it has two parts and they meet at the center of the Dyck path (cf. A262259) then a(n) = 4*n, otherwise a(n) < 4*n. In other words: if n is a term of A279029 then a(n) = 4*n, otherwise a(n) < 4*n.

			Illustration of initial terms:
.                                                          _ _ _ _
.                                            _ _ _        |_ _ _  |_
.                                _ _ _      |_ _ _|             |   |_
.                      _ _      |_ _  |_          |_ _          |_ _  |
.              _ _    |_ _|_        |_  |           | |             | |
.        _    |_  |       | |         | |           | |             | |
.       |_|     |_|       |_|         |_|           |_|             |_|
.
n:       1      2        3          4           5               6
a(n):    4      8       12         16          18              24
.
.                                                  _ _ _ _ _
.                            _ _ _ _ _            |_ _ _ _ _|
.        _ _ _ _            |_ _ _ _  |                     |_ _
.       |_ _ _ _|                   | |_                    |_  |
.               |_                  |_  |_ _                  |_|_ _
.                 |_ _                |_ _  |                     | |
.                   | |                   | |                     | |
.                   | |                   | |                     | |
.                   | |                   | |                     | |
.                   |_|                   |_|                     |_|
.
n:              7                    8                      9
a(n):          24                   32                     34
.
Another way for the illustration of initial terms is as follows:
--------------------------------------------------------------------------
.  n  a(n)                             Diagram
--------------------------------------------------------------------------
            _
   1   4   |_|  _
              _| |  _
   2   8     |_ _| | |  _
                _ _|_| | |  _
   3  12       |_ _|  _| | | |  _
                  _ _|  _| | | | |  _
   4  16         |_ _ _|  _|_| | | | |  _
                    _ _ _|  _ _| | | | | |  _
   5  18           |_ _ _| |    _| | | | | | |  _
                      _ _ _|  _|  _|_| | | | | | |  _
   6  24             |_ _ _ _|  _|  _ _| | | | | | | |  _
                        _ _ _ _|  _|  _ _| | | | | | | | |  _
   7  24               |_ _ _ _| |  _|  _ _|_| | | | | | | | |  _
                          _ _ _ _| |  _| |  _ _| | | | | | | | | |  _
   8  32                 |_ _ _ _ _| |_ _| |  _ _| | | | | | | | | | |  _
                            _ _ _ _ _|  _ _|_|  _ _|_| | | | | | | | | | |
   9  34                   |_ _ _ _ _| |  _|  _|  _ _ _| | | | | | | | | |
                              _ _ _ _ _| |  _|  _|    _ _| | | | | | | | |
  10  40                     |_ _ _ _ _ _| |  _|     |  _ _|_| | | | | | |
                                _ _ _ _ _ _| |      _| |  _ _ _| | | | | |
  11  36                       |_ _ _ _ _ _| |  _ _|  _| |  _ _ _| | | | |
                                  _ _ _ _ _ _| |  _ _|  _|_|  _ _ _|_| | |
  12  48                         |_ _ _ _ _ _ _| |  _ _|  _ _| |  _ _ _| |
                                    _ _ _ _ _ _ _| |  _| |    _| |  _ _ _|
  13  42                           |_ _ _ _ _ _ _| | |  _|  _|  _| |
                                      _ _ _ _ _ _ _| | |_ _|  _|  _|
  14  54                             |_ _ _ _ _ _ _ _| |  _ _|  _|
                                        _ _ _ _ _ _ _ _| |  _ _|
  15  56                               |_ _ _ _ _ _ _ _| | |
                                          _ _ _ _ _ _ _ _| |
  16  64                                 |_ _ _ _ _ _ _ _ _|
...

Cf. A008586 (upper bounds).
Cf. A237271 (number of parts or regions).
Cf. A340833 (number of vertices).
Cf. A340846 (number of edges).
Cf. A239931-A239934 (illustration of first 32 diagrams).
Cf. A000203, A139250, A174973, A196020, A235791, A236104, A237270, A237271, A237591, A237593, A238443, A239660, A245092, A262259, A262626, A279029, A279228, A348854.

a(n) = 2*A348854(n).

a(n) = A008586(n) - A279228(n). - Omar E. Pol, Dec 13 2021

cp's OEIS Frontend

A249223 Triangle read by rows: row n gives partial alternating sums of row n of A237048.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

PARI

Formula

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

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

A239663 a(n) is the smallest number k such that the symmetric representation of sigma(k) has n parts.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Extensions

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

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

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

A280107 Numbers m with the property that the symmetric representation of sigma(m) has four parts.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

A357581 Square array read by antidiagonals of numbers whose symmetric representation of sigma consists only of parts that have width 1; column k indicates the number of parts and row n indicates the n-th number in increasing order in each of the columns.

Views