cp's OEIS Frontend

A191363 Numbers m such that sigma(m) = 2*m - 2.

%I A191363 #104 Oct 18 2024 06:17:01
%S A191363 3,10,136,32896,2147516416
%N A191363 Numbers m such that sigma(m) = 2*m - 2.
%C A191363 Let k be a nonnegative integer such that F(k) = 2^(2^k) + 1 is prime (a Fermat prime A019434), then m = (F(k)-1)*F(k)/2 appears in the sequence.
%C A191363 Conjecture: a(1)=3 is the only odd term of the sequence.
%C A191363 Conjecture: All terms of the sequence are of the above form derived from Fermat primes.
%C A191363 The sequence has 5 (known) terms in common with sequences A055708 (k-1 | sigma(k)) and A056006 (k | sigma(k)+2) since {a(n)} is a subsequence of both.
%C A191363 The first five terms of the sequence are respectively congruent to 3, 4, 4, 4, 4 modulo 6.
%C A191363 After a(5) there are no further terms < 8*10^9.
%C A191363 Up to m = 1312*10^8 there are no further terms in the class congruent to 4 modulo 6.
%C A191363 a(6) > 10^12. - _Donovan Johnson_, Dec 08 2011
%C A191363 a(6) > 10^13. - _Giovanni Resta_, Mar 29 2013
%C A191363 a(6) > 10^18. - _Hiroaki Yamanouchi_, Aug 21 2018
%C A191363 See A125246 for numbers with deficiency 4, i.e., sigma(m) = 2*m - 4, and A141548 for numbers with deficiency 6. - _M. F. Hasler_, Jun 29 2016 and Jul 17 2016
%C A191363 A term m of this sequence multiplied by a prime p not dividing it is abundant if and only if p < m-1. For each of a(2..5) there is such a prime near this limit (here: 7, 127, 30197, 2147483647) such that a(k)*p is a primitive weird number, cf. A002975. - _M. F. Hasler_, Jul 19 2016
%C A191363 Any term m of this sequence can be combined with any term j of A088831 to satisfy the property (sigma(m) + sigma(j))/(m+j) = 2, which is a necessary (but not sufficient) condition for two numbers to be amicable. [Proof: If m = a(n) and j = A088831(k), then sigma(m) = 2m-2 and sigma(j) = 2j+2. Thus, sigma(m) + sigma(j) = (2m-2) + (2j+2) = 2m + 2j = 2(m+j), which implies that (sigma(m) + sigma(j))/(m+j) = 2(m+j)/(m+j) = 2.] - _Timothy L. Tiffin_, Sep 13 2016
%C A191363 At least the first five terms are a subsequence of A295296 and of A295298. - _David A. Corneth_, _Antti Karttunen_, Nov 26 2017
%C A191363 Conjectures: all terms are second hexagonal numbers (A014105). There are no terms with middle divisors. - _Omar E. Pol_, Oct 31 2018
%C A191363 The symmetric representation of sigma(m) of each of the 5 numbers in the sequence consists of 2 parts of width 1 that meet at the diagonal (subsequence of A246955). - _Hartmut F. W. Hoft_, Mar 04 2022
%C A191363 The first five terms coincide with the sum of two successive terms of A058891. The same is not true for a(6), if such exists. - _Omar E. Pol_, Mar 03 2023
%H A191363 Gianluca Amato, Maximilian Hasler, Giuseppe Melfi, and Maurizio Parton, <a href="https://arxiv.org/abs/1803.00324">Primitive weird numbers having more than three distinct prime factors</a>, Riv. Mat. Univ. Parma, 7(1), (2016), 153-163, arXiv:1803.00324 [math.NT], 2018.
%F A191363 a(n) = (A019434(n)-1)*A019434(n)/2 for all terms known so far. - _M. F. Hasler_, Jun 29 2016
%e A191363 For n=1, a(1) = 3 since sigma(3) = 4 = 2*3 - 2.
%t A191363 ok[n_] := DivisorSigma[1,n] == 2*n-2; Select[ Table[ 2^(2^k-1) * (2^(2^k)+1), {k, 0, 5}], ok] (* _Jean-François Alcover_, Sep 14 2011, after conjecture *)
%t A191363 Select[Range[10^6], DivisorSigma[1, #] == 2 # - 2 &] (* _Michael De Vlieger_, Sep 14 2016 *)
%o A191363 (PARI) zp(a,b) = {my(c,c1,s); c = a; c1 = 2*c-2;
%o A191363 while(c<b, s = sigma(c); if(s == c1, print(c);); c1 = c1 + 2; c = c+1);}
%o A191363 (PARI) a(k)=(2^2^k+1)<<(2^k-1) \\ For k<6. - _M. F. Hasler_, Jul 27 2016
%o A191363 (Magma) [n: n in [1..9*10^6] | (SumOfDivisors(n)-2*n) eq -2]; // _Vincenzo Librandi_, Sep 15 2016
%Y A191363 Cf. A000203, A002975, A056006, A055708, A088831 (abundance 2).
%Y A191363 Cf. A033880, A125246 (deficiency 4), A141548 (deficiency 6), A125247 (deficiency 8), A125248 (deficiency 16).
%Y A191363 Cf. A295296, A295298.
%Y A191363 Cf. A014105, A237593, A246955.
%Y A191363 Cf. A058891.
%K A191363 nonn,hard,more
%O A191363 1,1
%A A191363 _Luis H. Gallardo_, May 31 2011