cp's OEIS Frontend

Numbers m = 2^k * q, k >= 0 and q > 1 odd, without odd prime factors p < 2^(k+1).

This sequence is a proper subsequence of A238524. Numbers 78 = A370206(1) = A238524(55) and 102 = A237287(72) are not in this sequence since their width pattern (A341969) is 1210121.

A000079 is not a subsequence since SRS(2^k), k>=0, consists of a single part of width 1.

Let m = 2^k * q, k >= 0 and q > 1 odd, be a number in this sequence and s the size of the first part of SRS(m) which has width 1 and consists of 2^(k+1) - 1 legs of width 1. Therefore, s = Sum_{i=1..2^(k+1)-1} a237591(m, i) = a235791(m, 1) - a235791(m, 2^(k+1)) = ceiling((m+1)/1 - (1+1)/2) - ceiling((m+1)/2^(k+1) - (2^(k+1) + 1)/2) = (2^(k+1) - 1)(q+1)/2. In other words, point (m, s) is on the line s(m) = (2^(k+1) - 1)/2^(k+1) * m + (2^(k+1) - 1)/2.

For every odd number m in this sequence, the first part of SRS(m) has size (m+1)/2.

Let u = 2^k * Product_{i=1..PrimePi(2^(k+1)} p_i, where p_i is the i-th prime, and let v be the number of elements in this sequence that are in the set V = {m = 2^k * q | 1 < m <= u } then T(j + t*v, k) = T(j, k) + t*u, 1 <= j and 1 <= t, holds for the elements in column k.

The width pattern (A341969) of the symmetric representation of sigma for a number with k >= 1 odd divisors has length 2*k - 1.

a(p) = p for any prime number p is realized by the m+1 numbers 3^(p-1), ..., 2^m * 3^(p-1) which contain m+1-p duplicates, where m = floor(log_2(3^(p-1))). Each width pattern first increases to a level 1 <= i <= p and then alternates between i and i-1 up to the diagonal of the symmetric representation of sigma resulting in p distinct patterns.

For some numbers n = 2^m * q, q odd and not prime, that are the least instantiations of a width pattern their odd parts q may not be the least instantiations of a width pattern, examples are 78, 1014, 12246 and 171366 with 4, 6, 8 and 10 odd divisors, respectively (see row 2 of the table in A367377).

Conjecture: a(9) = 28.

The least number instantiating the 28th width pattern, 12345654345654321, is n = 43356672, found in a search up to 5*10^9.

Table of width pattern counts of the symmetric representation of sigma and of all possible symmetric patterns:

# odd divisors 1 2 3 4 5 6 7 8 9 10 11 12

pattern count 1 2 3 6 5 16 7 40 28? >=47 11 >=223

A001405 1 2 3 6 10 20 35 70 126 252 462 924

The 4 symmetric patterns 10123232101, 10123432101, 12101010121 and 12123432121 cannot be instantiated as width patterns of numbers with 6 odd divisors.

30 of the 70 possible symmetric patterns of numbers n = 2^m * q, m>=0 and q odd, with 8 odd divisors cannot be instantiated as width patterns of the symmetric representation of sigma(n) since their sequence of widths contradicts the order of the odd divisors d_i of n and of the numbers 2^(m+1) * d_i and the positions of their corresponding 1's in the rows of the triangle of widths in A249223.

A298855 is a subsequence, number 147 = 3 * 7^2 is the first entry in A368949 not in A298855. This sequence is a subsequence of A174905 = A241008 union A241010.

Alternate definition: Every number n in this sequence has at least 2 distinct odd prime factors and its symmetric representation of sigma consists only of parts of width 1.

Every number in this sequence has the form 2^k * p^10, k >= 0, where p is an odd prime. Exactly 11 different width patterns (A341969) of the symmetric representation of sigma are instantiated by the numbers in this sequence. The width pattern becomes unimodal for k >= floor(log_2(p^10)), see A367370 and A367377.

Sequence a(n) is the subsequence of A375611 for which the symmetric representation of sigma(a(n)) has at least two parts. The width at the diagonal can be any of the 3 widths.

Let m = 2^k * q, k >= 0 and q odd, be a number in this sequence. Let c be the number of divisors s <= A003056(m) of q for which there is at most one divisor t of q satisfying s < t <= min( 2^(k+1) * s, A003056(m). Let w be the number of times width 2 occurs in the width pattern of m (row m in the triangle of A341960). Then c = (w + 1)/2 when the width at the diagonal is equal to 2 and c = w/2 otherwise.

Let the nonincreasing multiset cL = { c_1, ... , c_s } be a factorization of n, let dL = { d_1, ... , d_s } be any set of s distinct odd primes, let q = dL^(cL - 1) = d_1^(c_1 - 1) * ... * d_s^(c_s - 1), and let k satisfy 2^k < q < 2^(k+1). Then SRS(2^k * q) is unimodal of maximum height n, 2^k * q has 2n odd divisors and its width pattern has 2n-1 entries. The smallest possible choice for 2^k * q is with the increasing sequence of odd primes d_i = p_(i+1), 1 <= i <= s. The overall smallest 2^k * q is the minimum among all factorizations of n. The smallest number m for which SRS(m) has two unimodal parts of maximum width n requires the additional prime factor r > 2^(k+1) * q which yields m = 2^k * q * r.

This sequence is column 2 in the array of A367377 and a(2) = A370206(1).