A364062 -id:A364062 - cp's OEIS frontend

A360015 Numbers whose exponent of 2 in their canonical prime factorization is equal to the maximal exponent.

1, 2, 4, 6, 8, 10, 12, 14, 16, 20, 22, 24, 26, 28, 30, 32, 34, 36, 38, 40, 42, 44, 46, 48, 52, 56, 58, 60, 62, 64, 66, 68, 70, 72, 74, 76, 78, 80, 82, 84, 86, 88, 92, 94, 96, 100, 102, 104, 106, 110, 112, 114, 116, 118, 120, 122, 124, 128, 130, 132, 134, 136, 138

Offset: 1

Amiram Eldar, Jan 21 2023

Numbers k such that A007814(k) = A051903(k).
The powers of 2 (A000079) are all terms.
The product of any two terms (not necessarily distinct) is also a term.
This sequence is a disjoint union of {1} and the subsequences of numbers m of the form 2^(k-1)*o where o = A000265(m), the odd part of m, is a k-free number, for k >= 2. These subsequences include, for k = 2, numbers of the form 2*o where o is an odd squarefree number (A056911); for k = 3, numbers of the form 4*o where o is an odd cubefree number; etc.
The asymptotic density of this sequence is Sum_{k>=2} 1/(zeta(k)*(2^k-1)) = 0.44541445377638761933... .
The asymptotic mean of the exponent of 2 in the prime factorization of the terms of this sequence is Sum_{k>=2} (k-1)/(zeta(k)*(2^k-1)) / Sum_{k>=2} 1/(zeta(k)*(2^k-1)) = 2.10346728882748723133... . [corrected by Amiram Eldar, Jul 10 2025]
Also numbers whose multiset of prime factors has low (i.e. least) mode 2. Here, a mode in a multiset is an element that appears at least as many times as each of the others; for example, the modes in {a,a,b,b,b,c,d,d,d} are {b,d}. - Gus Wiseman, Jul 14 2023

			From _Gus Wiseman_, Jul 14 2023: (Start)
108 = 2*2*3*3*3 is missing because its mode is not 2.
180 = 2*2*3*3*5 is present because it has low mode 2.
The terms together with their prime factorizations begin:
   1 =
   2 = 2
   4 = 2*2
   6 = 2*3
   8 = 2*2*2
  10 = 2*5
  12 = 2*2*3
  14 = 2*7
  16 = 2*2*2*2
  20 = 2*2*5
  22 = 2*11
  24 = 2*2*2*3
  26 = 2*13
  28 = 2*2*7
  30 = 2*3*5
  32 = 2*2*2*2*2
  34 = 2*17
  36 = 2*2*3*3
(End)

Amiram Eldar, Table of n, a(n) for n = 1..10000

Cf. A000079, A000265, A007814, A051903, A056911.
Partitions of this type are counted by A241131.
The case of unique mode is A360013, complement here A360014.
For unique minimal prime exponent we have A364061, counted by A364062.
For minimal prime exponent we have A364158, counted by A364159.
A027746 lists prime factors (with multiplicity).
A112798 lists prime indices, length A001222, sum A056239.
A362611 counts modes in prime indices, triangle A362614.
Cf. A002865, A327473, A327476, A356862, A359178, A362605, A362613, A363486.

q[n_] := IntegerExponent[n, 2] == Max[FactorInteger[n][[;; , 2]]]; q[1] = True; Select[Range[150], q]

is(n) = n == 1 || vecmax(factor(n)[,2]) == valuation(n, 2);

Disjoint union of A360013 and A360014.

a(n) = A360013(n)/2. - Gus Wiseman, Jul 14 2023

A360013 Numbers whose exponent of 2 in their canonical prime factorization is larger than all the other exponents.

Original entry on oeis.org

2, 4, 8, 12, 16, 20, 24, 28, 32, 40, 44, 48, 52, 56, 60, 64, 68, 72, 76, 80, 84, 88, 92, 96, 104, 112, 116, 120, 124, 128, 132, 136, 140, 144, 148, 152, 156, 160, 164, 168, 172, 176, 184, 188, 192, 200, 204, 208, 212, 220, 224, 228, 232, 236, 240, 244, 248, 256

Offset: 1

Amiram Eldar, Jan 21 2023

Numbers k such that A007814(k) > A051903(A000265(k)).
The powers of 2 (A000079), except for 1, are all terms.
The product of any two terms (not necessarily distinct) is also a term.
This sequence is a disjoint union of {2} and the subsequences of numbers m of the form 2^k*o where o = A000265(m), the odd part of m, is a k-free number, for k >= 2. These subsequences include, for k = 2, numbers of the form 4*o where o is an odd squarefree number (A056911); for k = 3, numbers of the form 8*o where o is an odd cubefree number; etc.
The asymptotic density of this sequence is Sum_{k>=2} 1/(zeta(k)*2*(2^k-1)) = 0.222707226888193809... .
The asymptotic mean of the exponent of 2 in the prime factorization of the terms of this sequence is Sum_{k>=2} k/(zeta(k)*2*(2^k-1)) / Sum_{k>=2} 1/(zeta(k)*2*(2^k-1)) = 3.10346728882748723133... . [corrected by Amiram Eldar, Jul 10 2025]
This sequence is a subsequence of A360015 and the asymptotic density of this sequence within A360015 is exactly 1/2.
Also even numbers whose multiset of prime factors has unique mode 2. - Gus Wiseman, Jul 10 2023

			From _Gus Wiseman_, Jul 09 2023: (Start)
108 = 2*2*3*3*3 is missing because its mode is not 2.
180 = 2*2*3*3*5 is missing because 2 is not the unique mode.
120 = 2*2*2*3*5 is present because its unique mode is 2.
The terms together with their prime factorizations begin:
   2 = 2
   4 = 2*2
   8 = 2*2*2
  12 = 2*2*3
  16 = 2*2*2*2
  20 = 2*2*5
  24 = 2*2*2*3
  28 = 2*2*7
  32 = 2*2*2*2*2
  40 = 2*2*2*5
  44 = 2*2*11
  48 = 2*2*2*2*3
  52 = 2*2*13
  56 = 2*2*2*7
  60 = 2*2*3*5
  64 = 2*2*2*2*2*2
(End)

Amiram Eldar, Table of n, a(n) for n = 1..10000

Cf. A000079, A000265, A007814, A051903, A056911.
Equals A360015 \ A360014.
Partitions of this type are counted by A241131.
Allowing any unique mode gives A356862, complement A362605.
Allowing any unique co-mode gives A359178, complement A362606.
Not requiring the mode to be unique gives A360015.
The opposite version is A362616, counted by A362612.
For co-mode instead of mode we have A364061, counted by A364062.
With least prime factor instead of 2, we have A364160, counted by A364193.
With a different factorization, we have the subsequence A335738.
A124010 gives prime signature, ordered A118914.
A362611 counts modes in prime factorization, triangle A362614.
A362613 counts co-modes in prime factorization, triangle A362615.
A363486 gives least mode in prime indices, A363487 greatest.
Cf. A001222, A002865, A327473, A327476, A362608, A362610, A363723, A363727.

q[n_] := Module[{e = IntegerExponent[n, 2], m}, m = n/2^e; (m == 1 && e > 0) || AllTrue[FactorInteger[m][[;; , 2]], # < e &]]; Select[Range[256], q]

is(n) = {my(e = valuation(n, 2), m = n >> e); (m == 1 && e > 0) || (m > 1 && vecmax(factor(m)[,2]) < e)};

a(n) = 2*A360015(n). - Gus Wiseman, Jul 10 2023

A364061 Numbers whose exponent of 2 in their canonical prime factorization is smaller than all the other exponents.

Original entry on oeis.org

2, 4, 8, 16, 18, 32, 50, 54, 64, 98, 108, 128, 162, 242, 250, 256, 324, 338, 450, 486, 500, 512, 578, 648, 686, 722, 882, 972, 1024, 1058, 1250, 1350, 1372, 1458, 1682, 1922, 1944, 2048, 2178, 2250, 2450, 2500, 2646, 2662, 2738, 2916, 3042, 3362, 3698, 3888

Offset: 1

Gus Wiseman, Jul 12 2023

nonn

Also numbers whose multiset of prime factors has unique co-mode 2. Here, a co-mode in a multiset is an element that appears at most as many times as each of the other elements. For example, the co-modes of {a,a,b,b,b,c,c} are {a,c}.

			The terms together with their prime factors begin:
    2 = 2
    4 = 2*2
    8 = 2*2*2
   16 = 2*2*2*2
   18 = 2*3*3
   32 = 2*2*2*2*2
   50 = 2*5*5
   54 = 2*3*3*3
   64 = 2*2*2*2*2*2
   98 = 2*7*7
  108 = 2*2*3*3*3
  128 = 2*2*2*2*2*2*2

Robert Israel, Table of n, a(n) for n = 1..10000

For any unique co-mode: A359178, counted by A362610, complement A362606.
For high mode: A360013, positions of 1's in A363487, counted by A241131.
For low mode: A360015, positions of 1's in A363486, counted by A241131.
Partitions of this type are counted by A364062.
For low co-mode: A364158, positions of 1's in A364192, counted by A364159.
Positions of 1's in A364191, high A364192.
A112798 lists prime indices, length A001222, sum A056239.
A356862 ranks partitions w/ unique mode, count A362608, complement A362605.
A362611 counts modes in prime indices, triangle A362614.
A362613 counts co-modes in prime indices, triangle A362615.
Cf. A000265, A007814, A327473, A327476, A362616, A360014, A363722, A363723, A363725, A363727, A363730.

filter:= proc(n) local F,F2,Fo;
  F:= ifactors(n)[2];
  F2,Fo:= selectremove(t -> t[1]=2, F);
  Fo = [] or F2[1,2] < min(Fo[..,2])
end proc:
select(filter, 2*[$1..5000]); # Robert Israel, Apr 22 2024

prifacs[n_]:=If[n==1,{},Flatten[ConstantArray@@@FactorInteger[n]]];
comodes[ms_]:=Select[Union[ms],Count[ms,#]<=Min@@Length/@Split[ms]&];
Select[Range[100],comodes[prifacs[#]]=={2}&]

from sympy import factorint
from itertools import count, islice
def A364061_gen(startvalue=2): # generator of terms >= startvalue
    return filter(lambda n:(l:=(~n&n-1).bit_length()) < min(factorint(m:=n>>l).values(),default=0) or m==1, count(max(startvalue+startvalue&1,2),2))
A364061_list = list(islice(A364061_gen(),30)) # Chai Wah Wu, Jul 14 2023

Sum_{n>=1} 1/a(n) = 1 + Sum_{k>=2} (1-1/2^(k-1))*(s(k)-s(k+1)) = 1.16896822653093929144..., where s(k) = Product_{primes p >= 3} (1 + 1/(p^(k-1)*(p-1))) is the sum of reciprocals of the odd k-full numbers (numbers whose prime factorization has no exponent that is smaller than k). - Amiram Eldar, Aug 30 2024

A364159 Number of integer partitions of n - 1 containing fewer 1's than any other part.

Original entry on oeis.org

0, 1, 1, 2, 2, 3, 4, 5, 7, 9, 11, 15, 20, 23, 32, 40, 50, 61, 82, 95, 126, 149, 188, 228, 292, 337, 430, 510, 633, 748, 933, 1083, 1348, 1579, 1925, 2262, 2761, 3197, 3893, 4544, 5458, 6354, 7634, 8835, 10577, 12261, 14546, 16864, 19990, 23043, 27226, 31428

Offset: 0

Gus Wiseman, Jul 16 2023

nonn

Also integer partitions of n with least co-mode 1. Here, we define a co-mode in a multiset to be an element that appears at most as many times as each of the others. For example, the co-modes in {a,a,b,b,b,c,c} are {a,c}.

			The a(1) = 1 through a(8) = 7 partitions:
  (1)  (11)  (21)   (31)    (41)     (51)      (61)       (71)
             (111)  (1111)  (221)    (321)     (331)      (431)
                            (11111)  (2211)    (421)      (521)
                                     (111111)  (2221)     (3221)
                                               (1111111)  (3311)
                                                          (22211)
                                                          (11111111)

For mode instead of co-mode we have A241131, ranks A360015.
The case with only one 1 is A364062, ranks A364061.
Counts partitions ranked by A364158.
Counts positions of 1's in A364191, high A364192.
A362611 counts modes in prime factorization, triangle A362614.
A362613 counts co-modes in prime factorization, triangle A362615.
Ranking and counting partitions:
- A356862 = unique mode, counted by A362608
- A359178 = unique co-mode, counted by A362610
- A362605 = multiple modes, counted by A362607
- A362606 = multiple co-modes, counted by A362609
Cf. A027336, A124943, A237984, A327472, A363486, A363487.

Table[Length[Select[IntegerPartitions[n-1],Count[#,1]

A364192 High (i.e., greatest) co-mode in the multiset of prime indices of n.

Original entry on oeis.org

0, 1, 2, 1, 3, 2, 4, 1, 2, 3, 5, 2, 6, 4, 3, 1, 7, 1, 8, 3, 4, 5, 9, 2, 3, 6, 2, 4, 10, 3, 11, 1, 5, 7, 4, 2, 12, 8, 6, 3, 13, 4, 14, 5, 3, 9, 15, 2, 4, 1, 7, 6, 16, 1, 5, 4, 8, 10, 17, 3, 18, 11, 4, 1, 6, 5, 19, 7, 9, 4, 20, 2, 21, 12, 2, 8, 5, 6, 22, 3, 2

Offset: 1

Gus Wiseman, Jul 16 2023

nonn

A prime index of n is a number m such that prime(m) divides n. The multiset of prime indices of n is row n of A112798.
We define a co-mode in a multiset to be an element that appears at most as many times as each of the others. For example, the co-modes in {a,a,b,b,b,c,c} are {a,c}.
Extending the terminology of A124943, the "high co-mode" in a multiset is the greatest co-mode.

			The prime indices of 2100 are {1,1,2,3,3,4}, with co-modes {2,4}, so a(2100) = 4.

For prime factors instead of indices we have A359612, low A067695.
For mode instead of co-mode we have A363487 (triangle A363953), low A363486 (triangle A363952).
The version for median instead of co-mode is A363942, low A363941.
Positions of 1's are A364061, counted by A364062.
The low version is A364191, 1's at A364158 (counted by A364159).
A112798 lists prime indices, length A001222, sum A056239.
A362611 counts modes in prime indices, triangle A362614.
A362613 counts co-modes in prime indices, triangle A362615.
Ranking and counting partitions:
- A356862 = unique mode, counted by A362608
- A359178 = unique co-mode, counted by A362610
- A362605 = multiple modes, counted by A362607
- A362606 = multiple co-modes, counted by A362609
Cf. A241131, A327473, A327476, A360005, A360015, A362612, A363740.

prix[n_]:=If[n==1,{},Flatten[Cases[FactorInteger[n],{p_,k_}:>Table[PrimePi[p],{k}]]]];
comodes[ms_]:=Select[Union[ms],Count[ms,#]<=Min@@Length/@Split[ms]&];
Table[If[n==1,0,Max[comodes[prix[n]]]],{n,30}]

a(n) = A000720(A359612(n)).

A359612(n) = A000040(a(n)).

A364160 Numbers whose least prime factor has the greatest exponent.

Original entry on oeis.org

1, 2, 3, 4, 5, 7, 8, 9, 11, 12, 13, 16, 17, 19, 20, 23, 24, 25, 27, 28, 29, 31, 32, 37, 40, 41, 43, 44, 45, 47, 48, 49, 52, 53, 56, 59, 60, 61, 63, 64, 67, 68, 71, 72, 73, 76, 79, 80, 81, 83, 84, 88, 89, 92, 96, 97, 99, 101, 103, 104, 107, 109, 112, 113, 116

Offset: 1

Gus Wiseman, Jul 14 2023

nonn

First differs from A334298 in having 600 and lacking 180.
Also numbers whose minimum part in prime factorization is a unique mode.
If k is a term, then so are all powers of k. - Robert Israel, Sep 17 2024

			The prime factorization of 600 is 2*2*2*3*5*5, and 3 > max(1,2), so 600 is in the sequence.
The prime factorization of 180 is 2*2*3*3*5, but 2 <= max(2,1), so 180 is not in the sequence.
The terms together with their prime indices begin:
     1: {}           29: {10}              67: {19}
     2: {1}          31: {11}              68: {1,1,7}
     3: {2}          32: {1,1,1,1,1}       71: {20}
     4: {1,1}        37: {12}              72: {1,1,1,2,2}
     5: {3}          40: {1,1,1,3}         73: {21}
     7: {4}          41: {13}              76: {1,1,8}
     8: {1,1,1}      43: {14}              79: {22}
     9: {2,2}        44: {1,1,5}           80: {1,1,1,1,3}
    11: {5}          45: {2,2,3}           81: {2,2,2,2}
    12: {1,1,2}      47: {15}              83: {23}
    13: {6}          48: {1,1,1,1,2}       84: {1,1,2,4}
    16: {1,1,1,1}    49: {4,4}             88: {1,1,1,5}
    17: {7}          52: {1,1,6}           89: {24}
    19: {8}          53: {16}              92: {1,1,9}
    20: {1,1,3}      56: {1,1,1,4}         96: {1,1,1,1,1,2}
    23: {9}          59: {17}              97: {25}
    24: {1,1,1,2}    60: {1,1,2,3}         99: {2,2,5}
    25: {3,3}        61: {18}             101: {26}
    27: {2,2,2}      63: {2,2,4}          103: {27}
    28: {1,1,4}      64: {1,1,1,1,1,1}    104: {1,1,1,6}

Robert Israel, Table of n, a(n) for n = 1..10000

Allowing any unique mode gives A356862, complement A362605.
Allowing any unique co-mode gives A359178, complement A362606.
The even case is A360013, counted by A241131.
For greatest instead of least we have A362616, counted by A362612.
These partitions are counted by A364193.
A027746 lists prime factors (with multiplicity).
A112798 lists prime indices, length A001222, sum A056239.
A362611 counts modes in prime factorization, triangle A362614.
A362613 counts co-modes in prime factorization, triangle A362615.
A363486 gives least mode in prime indices, A363487 greatest.
Cf. A098859, A327473, A327476, A360014, A360015, A362610, A364061, A364062.

filter:= proc(n) local F,i;
  F:= ifactors(n)[2];
  if nops(F) = 1 then return true fi;
  i:= min[index](F[..,1]);
  andmap(t -> F[t,2] < F[i,2], {$1..nops(F)} minus {i})
end proc:
filter(1):= true:
select(filter, [$1..200]); # Robert Israel, Sep 17 2024

Select[Range[100],First[Last/@FactorInteger[#]] > Max@@Rest[Last/@FactorInteger[#]]&]

A382856 Numbers whose prime indices do not have a mode of 1.

Original entry on oeis.org

1, 3, 5, 7, 9, 11, 13, 15, 17, 18, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41, 43, 45, 47, 49, 50, 51, 53, 54, 55, 57, 59, 61, 63, 65, 67, 69, 71, 73, 75, 77, 79, 81, 83, 85, 87, 89, 90, 91, 93, 95, 97, 98, 99, 101, 103, 105, 107, 108, 109, 111, 113, 115

Offset: 1

Gus Wiseman, Apr 07 2025

nonn

			The terms together with their prime indices begin:
   1: {}
   3: {2}
   5: {3}
   7: {4}
   9: {2,2}
  11: {5}
  13: {6}
  15: {2,3}
  17: {7}
  18: {1,2,2}
  19: {8}
  21: {2,4}
  23: {9}
  25: {3,3}
  27: {2,2,2}

The case of non-unique mode is A024556.
The complement is A360015 except first.
Partitions of this type are are counted by A382526 except first, complement A241131.
A091602 counts partitions by the greatest multiplicity, rank statistic A051903.
A112798 lists prime indices, length A001222, sum A056239.
A116598 counts ones in partitions, rank statistic A007814.
A240312 counts partitions with max part = max multiplicity, ranks A381542.
A362611 counts modes in prime indices, triangle A362614.
For co-mode see A359178, A362613, A364061 (A364062), A364158 (A364159).
Cf. A000265, A002865, A106529, A327473, A327476, A362605, A363486, A356862, A360013, A360014, A381437.

prix[n_]:=If[n==1,{},Flatten[Cases[FactorInteger[n],{p_,k_}:>Table[PrimePi[p],{k}]]]];
Select[Range[100],FreeQ[Commonest[prix[#]],1]&]

cp's OEIS Frontend

A360015 Numbers whose exponent of 2 in their canonical prime factorization is equal to the maximal exponent.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A360013 Numbers whose exponent of 2 in their canonical prime factorization is larger than all the other exponents.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A364061 Numbers whose exponent of 2 in their canonical prime factorization is smaller than all the other exponents.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

Python

Formula

A364159 Number of integer partitions of n - 1 containing fewer 1's than any other part.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

A364192 High (i.e., greatest) co-mode in the multiset of prime indices of n.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

Formula

A364160 Numbers whose least prime factor has the greatest exponent.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

A382856 Numbers whose prime indices do not have a mode of 1.

Views

Author

Keywords

Examples

Crossrefs

Programs

Mathematica