A162284 -id:A162284 - cp's OEIS frontend

A326042 a(n) = A064989(sigma(A003961(n))), where A003961 shifts the prime factorization of n one step towards larger primes, and A064989 shifts it back towards smaller primes.

1, 1, 2, 11, 1, 2, 2, 3, 29, 1, 5, 22, 4, 2, 2, 49, 3, 29, 2, 11, 4, 5, 6, 6, 34, 4, 22, 22, 1, 2, 17, 55, 10, 3, 2, 319, 10, 2, 8, 3, 7, 4, 2, 55, 29, 6, 8, 98, 85, 34, 6, 44, 6, 22, 5, 6, 4, 1, 29, 22, 13, 17, 58, 1091, 4, 10, 4, 33, 12, 2, 31, 87, 3, 10, 68, 22, 10, 8, 10, 49, 469, 7, 12, 44, 3, 2, 2, 15, 25, 29, 8, 66, 34, 8

Offset: 1

Antti Karttunen, Jun 16 2019

For any other number n than those in A326182 we have a(n) < A003961(n).
Fixed points k (for which a(k) = k) satisfy A003973(k) = 2^e * A003961(k) for some exponent e >= 0. Applying A003961 to such numbers gives the odd terms in A336702, of which there are likely to be just a single instance, its initial 1. (Clarified Nov 07 2021).
Conjecture: There are no other fixed points than a(1) = 1. If true, then there are no odd perfect numbers. This condition is equivalent to the condition that if A161942 has no fixed points larger than one, then there are no odd perfect numbers. This follows as whenever k is a fixed point, that is, a(k) = k, then we should also have A003961(a(k)) = A003961(A064989(sigma(A003961(k)))) = A161942(A003961(k)) = A003961(k). Note that A003961 is an injective and surjective mapping from natural numbers to odd numbers, A064989 is its (left) inverse, and composition A003961(A064989(n)) is equivalent to A000265(n).
From Antti Karttunen, Aug 05 2020: (Start)
For any hypothetical odd perfect number x, we would have A003973(k) = 2 * A003961(k), with k = A064989(x) and x = A003961(k). Thus we would have a(k) = A064989(sigma(A003961(k))) = A064989(sigma(x)) = A064989(2*x) = A064989(x) = k. On the other hand, A003973(k) = sigma(A003961(k)) < A003961(A003961(k)) [see A286385 for the reason why], so a necessary condition for this is that x should be one of the terms of A246282. (Clarified Dec 01 2020).
(End)

Cf. A000037, A000203, A000265, A000593, A003961, A003973, A064989, A161942, A162284, A246282, A286385, A326041, A326182, A336702 (numbers whose abundancy index is a power of 2).
Cf. A348736 [n - a(n)], A348738 [a(n) < n], A348739 [a(n) > n], A348750 [= A064989(a(A003961(n)))], A348940 [gcd(n,a(n))], A348941, A348942, A351456, A353767, A353790, A353794.
Cf. also A332223 for another conjugation of sigma.

f1[p_, e_] := NextPrime[p]^e; a1[1] = 1; a1[n_] := Times @@ f1 @@@ FactorInteger[n]; f2[2, e_] := 1; f2[p_, e_] := NextPrime[p, -1]^e; a2[1] = 1; a2[n_] := Times @@ f2 @@@ FactorInteger[n]; a[n_] := a2[DivisorSigma[1, a1[n]]]; Array[a, 100] (* Amiram Eldar, Nov 07 2021 *)

A003961(n) = my(f = factor(n)); for (i=1, #f~, f[i, 1] = nextprime(f[i, 1]+1)); factorback(f); \\ From A003961
A064989(n) = {my(f); f = factor(n); if((n>1 && f[1,1]==2), f[1,2] = 0); for (i=1, #f~, f[i,1] = precprime(f[i,1]-1)); factorback(f)};
A326042(n) = A064989(sigma(A003961(n)));

a(n) = A064989(A003973(n)) = A064989(sigma(A003961(n))).
For k in A000037, a(k) = A064989(A003973(k)/2) = A064989((1/2)*sigma(A003961(k))).
Multiplicative with a(p^e) = A064989((q^(e+1)-1)/(q-1)), where q = nextPrime(p). - Antti Karttunen, Nov 05 2021
a(n) = A353790(n) / A353767(n) = A353794(n) / A351456(n). - Antti Karttunen, May 13 2022

Keyword:mult added by Antti Karttunen, Nov 05 2021

A161942 Odd part of sum of divisors of n.

Original entry on oeis.org

1, 3, 1, 7, 3, 3, 1, 15, 13, 9, 3, 7, 7, 3, 3, 31, 9, 39, 5, 21, 1, 9, 3, 15, 31, 21, 5, 7, 15, 9, 1, 63, 3, 27, 3, 91, 19, 15, 7, 45, 21, 3, 11, 21, 39, 9, 3, 31, 57, 93, 9, 49, 27, 15, 9, 15, 5, 45, 15, 21, 31, 3, 13, 127, 21, 9, 17, 63, 3, 9, 9, 195, 37, 57, 31, 35, 3, 21, 5, 93, 121, 63

Offset: 1

Franklin T. Adams-Watters, Jun 22 2009

It is conjectured that iteration of this function will always reach 1. This implies the nonexistence of odd perfect numbers. This is equivalent to the same question for A000593, which can be expressed as the sum of the divisors of the odd part of n.
Up to 20000000, there are only two odd numbers with a(n) and a(a(n)) both >= n: 81 and 18966025. See A162284.
For the nonexistence proof of odd perfect numbers, it is enough to show that this sequence has no fixed points beyond the initial one. This is equivalent to a similar condition given for A326042. - Antti Karttunen, Jun 17 2019

Cf. A000265, A000203, A000593, A162284, A326042, A336698. A348992, A351544.
Cf. A348741, A348742, A348743.
One less than A337194.

oddPart[n_] := n/2^IntegerExponent[n, 2]; a[n_] := oddPart[ DivisorSigma[1, n]]; Table[a[n], {n, 1, 82}] (* Jean-François Alcover, Sep 03 2012 *)

oddpart(n)=n/2^valuation(n,2);
a(n)=oddpart(sigma(n));

from sympy import divisor_sigma
def A161942(n): return (m:=int(divisor_sigma(n)))>>(~m&m-1).bit_length() # Chai Wah Wu, Mar 17 2023

(define (A161942 n) (A000265 (A000203 n))) ;; [For the implementations of A000203 and A000265, see under the respective entries]. - Antti Karttunen, Nov 18 2017

Multiplicative with a(p^e) = oddpart((p^{e+1}-1)/(p-1)), where oddpart(n) = A000265(n) is the largest odd divisor of n.
a(n) = A000265(A000203(n)).
a(n) = A337194(n)-1. - Antti Karttunen, Nov 30 2024

A348742 Odd numbers k for which A161942(k) >= k, where A161942 is the odd part of sigma.

Original entry on oeis.org

1, 9, 25, 49, 81, 121, 169, 225, 289, 361, 441, 529, 625, 729, 841, 961, 1089, 1225, 1369, 1521, 1681, 1849, 2025, 2205, 2209, 2401, 2601, 2809, 3025, 3249, 3481, 3721, 3969, 4225, 4489, 4761, 5041, 5329, 5625, 5929, 6241, 6561, 6889, 7225, 7569, 7921, 8281, 8649, 9025, 9409, 9801, 10201, 10609, 11025, 11449, 11881, 12321

Offset: 1

Antti Karttunen, Nov 02 2021

nonn

All odd squares (A016754) are present, but not all terms are squares. A348743 gives the nonsquare terms.

Odd terms of A336702 form a subsequence. Also all odd terms of A005820 would be present here, as well as any hypothetical quasi-perfect numbers (see comments and references in A332223, A336700), both in A016754. - Antti Karttunen, Nov 28 2024

Union of A016754 and A348743.
Cf. A161942, A162284 (subsequence), A336702, A348741 (complement among the odd numbers).
Cf. also A005820, A332223, A336700, A348739.

q:= n-> (t-> is(t/2^padic[ordp](t,2)>=n))(numtheory[sigma](n)):
select(q, [2*i-1$i=1..10000])[];  # Alois P. Heinz, Nov 28 2024

odd[n_] := n/2^IntegerExponent[n, 2]; Select[Range[1, 10^4, 2], odd[DivisorSigma[1, #]] >= # &] (* Amiram Eldar, Nov 02 2021, edited (because of the changed definition) by Antti Karttunen, Nov 28 2024 *)

A000265(n) = (n >> valuation(n, 2));
isA348742(n) = ((n%2)&&A000265(sigma(n))>=n); \\ revised by Antti Karttunen, Nov 28 2024

a(1) = 1 inserted as the initial term, because of the changed definition (from > to >=) - Antti Karttunen, Nov 28 2024

A348743 Odd nonsquares k for which A161942(k) >= k, where A161942 is the odd part of sigma.

Original entry on oeis.org

2205, 19845, 108045, 143325, 178605, 187425, 236925, 266805, 319725, 353925, 372645, 407925, 452025, 462825, 584325, 637245, 646425, 658125, 672525, 789525, 796005, 804825, 845325, 920205, 972405, 981225, 1007325, 1055925, 1069425, 1102725, 1113525, 1116225, 1166445, 1201725, 1245825, 1289925, 1378125, 1380825, 1442925

Offset: 1

Antti Karttunen, Nov 02 2021

The first non-multiples of 5 are a(103) = 6243237 and a(125) = 8164233.
From Antti Karttunen, Nov 28 2024: (Start)
This is not a subsequence of A228058. At least k = A000040(28)*(A002110(27)/2)^2 = 15388519572341080054329140040512468358441210638435506649120749687401476705908239675 is a number of the form 4m+3 such that A161942(k) >= k.
Another such number is A000040(28)*81*(A002110(25)/6)^2 = 1279741205456530915782536871495922949062895982530933679752838870798129159675.
Question: What is the smallest term of this sequence that is of the form 4m+3, and thus not in A386427 (in A191218 and in A228058)?
(End)

Intersection of A088828 and A348742.
Cf. A386427 (a subsequence, which agrees for a very long time).
Cf. A033630, A065205, A083206, A161942, A191218, A228058, A336702, A348741.
Cf. also A065235, A162284.

A000265(n) = (n >> valuation(n, 2));
isA348743(n) = ((n%2)&&!issquare(n)&&A000265(sigma(n))>=n); \\ Edited Nov 28 2024

Definition changed (from > to >=) to formally include also any hypothetical odd perfect numbers - Antti Karttunen, Nov 28 2024

Comment removed, because it was more related to sequence A386427. - Antti Karttunen, Aug 21 2025

cp's OEIS Frontend

A326042 a(n) = A064989(sigma(A003961(n))), where A003961 shifts the prime factorization of n one step towards larger primes, and A064989 shifts it back towards smaller primes.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

PARI

Formula

Extensions

A161942 Odd part of sum of divisors of n.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

PARI

Python

Scheme

Formula

A348742 Odd numbers k for which A161942(k) >= k, where A161942 is the odd part of sigma.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Maple

Mathematica

PARI

Extensions

A348743 Odd nonsquares k for which A161942(k) >= k, where A161942 is the odd part of sigma.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

PARI

Extensions