login
Conjectured list of sociable numbers.
8

%I #29 Aug 13 2022 11:30:39

%S 12496,14264,14288,14316,14536,15472,17716,19116,19916,22744,22976,

%T 31704,45946,47616,48976,83328,97946,122410,152990,177792,243760,

%U 274924,275444,285778,294896,295488,358336,366556,376736,381028,418904,589786

%N Conjectured list of sociable numbers.

%C Comments from David Moews, Sep 17 2021: (Start)

%C It is possible that there are quite small numbers missing from this sequence. There is no proof that 564 (for example) is missing.

%C Let s(n) = sigma(n)-n denote the sum of the divisors of n, excluding n itself. The aliquot sequence starting at n is the sequence n, s(n), s(s(n)), s(s(s(n))), ...

%C Starting at 564, the aliquot sequence continues for at least 3486 steps, reaching a 198-digit number after 3486 iterations of s. In the reverse direction, 563 = 564 - 1 is prime so s(563^2) = 564 and also s(7*316961) = 563^2, s(17*2218709) = 7*316961, etc.; given a strengthened form of the Goldbach conjecture (see Booker, 2018), one can continue iterating s^(-1) indefinitely.

%C Although it seems unlikely, I don't see any way to be completely certain that the forward aliquot sequence doesn't meet the backwards tree; if it did, 564 would be part of a (very long) aliquot cycle.

%C Many other numbers below 79750 are in a similar situation (although not 276, because it is not in the image of s).

%C (Added Sep 18 2021) The smallest uncertain number is 564. All smaller numbers either have known aliquot sequences (all except 276, 306, 396, and 552), are not in the image of s (276, 306, and 552), or are in the image of s but not the image of s^2 (396).

%C (End)

%H Andrew R. Booker, <a href="https://doi.org/10.1090/mcom/3299">Finite connected components of the aliquot graph</a>, Math. Comp. 87 (2018), 2891-2902.

%H Steven Finch, <a href="/A000396/a000396.pdf">Amicable Pairs and Aliquot Sequences</a>, 2013. [Cached copy, with permission of the author]

%H David Moews, <a href="http://djm.cc/amicable.html">Perfect, amicable and sociable numbers</a>

%H D. Moews, <a href="http://djm.cc/sociable.txt">A list of currently known aliquot cycles of length greater than 2</a> [This list is not known to be complete.]

%H Eric Weisstein's World of Mathematics, <a href="http://mathworld.wolfram.com/SociableNumbers.html">Sociable Numbers</a>.

%H Wikipedia, <a href="http://en.wikipedia.org/wiki/Sociable_number">Sociable number</a>

%e The smallest sociable number cycle is {12496, 14288, 15472, 14536, 14264, 12496}.

%Y Cf. A003416 (smallest member of each cycle), A063990 (amicable numbers), A052470.

%K nonn

%O 1,1

%A _Tanya Khovanova_, Sep 23 2006

%E Edited (including adding comments from David Moews that this is only conjectural) by _N. J. A. Sloane_, Sep 17 2021